Tongjilibo/CSL huggingface dataset:
基于Petri网的移动IPSec快速切换的建模与分析

使用IPSec对移动网络中的数据进行封装是保证无线网络传输安全的有效方法.这里提出了一种移动IPSec的快速切换模型,该模型通过减少移动节点在链路切换时重建IPSec隧道的过程消耗来降低IPSec与移动IP通信切换的复杂度.使用Petri网对该模型建模,利用Petri网分析器验证了模型的可行性,同时分析了移动节点在进行链路切换时易于遭受的两种攻击:拒绝服务攻击和重放攻击,并分别对攻击过程建模,验证了移动IPSec的快速切换模型对这两种攻击的防御能力.
GCC中内嵌函数实现剖析

GNU编译器集合(GCC)具有支持多种高级语言和多种目标处理器平台、文档及源代码开放等的特点,在工业界和学术界被广泛使用。GCC支持非常多的内嵌函数,内嵌函数是GCC编译器中非常重要的一部分实现。首先分析GCC中多种内嵌函数的目的和作用;之后结合实际工作,以使用向量扩展指令的内嵌函数实现为例,剖析了平台相关的内嵌函数的实现过程。本工作对深入理解GCC编译器中的内嵌函数实现机制,对基于GCC的研究和开发有较强的参考意义。
基于过程集成优化的复杂曲面数控铣削性能分析

针对复杂自由曲面变曲率、大扭曲的特征及其铣削性能难预测的问题,提出加工过程的集成优化的切削性能分析方法,在曲面多轴铣削工作流程中综合评价和提高切削加工效率和质量。建立了自由曲面体零件多轴加工集成优化铣削模型,集成切削加工刀位轨迹计算、切削仿真与机床运动仿真、切削力预测、工艺参数优化工作流程及其输入输出文件,实时从输出文件中解析提取计算结果参数,有效分析预测切削参数与切削力对加工效率和质量的影响,实现复杂自由曲面铣削过程的集成与全局优化。将该方法应用于大型混流式水轮机叶片的数控铣削性能分析,并与生产数据进行对比,进一步验证了所提加工过程集成优化方法可有效分析和预测大型自由曲面的数控铣削性能。
基于谱线插值FFT谐波电流检测的研究

提出了新型谱线插值FFT的谐波电流检测新方法,用于改善有源电力滤波器(APF)谐波检测的实时性和可靠性。新型谱线插值FFT主要是对检测波进行加余弦偶次幂窗,利用抽取幅值最大的频率附近的3根离散频谱确定谐波谱线的准确位置,可以得到谐波的幅值、相位和频率。基于该算法,通过多项式拟合的方式,提出了谐波修正的实用公式。仿真结果表明,该方法能够很好地抑制频谱泄露和栅栏效应,跟踪基波频率的变动,提高谐波的检测准确度。
车位图像畸变的矫正与拼接研究

为了实现停车场空车位的快速检测和查询,提出一种车位图像畸变的矫正与拼接方法,将相邻摄像头拍摄的具有一定重叠区域的视频图像拼接为一幅能够全面描述停车场车位信息的大视场图像,从而为停车场空车位的快速检测做准备。由于停车场摄像头安装的视角偏移和透视效应,造成拍摄的图片存在纵向和横向畸变,为了直观地显示整个停车场各个车位的占用、空闲信息,同时也为了方便车辆管理,先将各个车位逐一矫正成同视角图片,然后再进行拼接,从而便于用户直接观察停车场中的空车位,也有利于需要自动检测车位时进一步进行图像处理。
REAL:面向可靠性评估的软件架构描述语言

为提高软件质量减少软件开发成本,从软件可靠性评估的角度出发,对软件架构描述语言进行了研究,提出了一种基于XML和软件可靠性评估的软件架构描述语言(reliability evaluation oriented architecture description language,REAL),主要目的是用于描述软件架构以便进行给予架构的软件可靠性评估。REAL重点关注软件架构的构成关系及各组件、子架构的可靠性描述和计算。同时,实现了基于REAL语言的编译系统,并通过实例进行了测试。
问答类社区用户持续知识贡献模型构建

作为以知识分享为主要目的的社交网虚拟社群,问答类社区面临的最大挑战是用户是否愿意持续回答问题并贡献知识。基于"认知—情感—意向—行为"框架,以社会交换理论为基础,构建了问答类社区用户持续知识贡献行为的理论模型。利用结构方程模型对问答类社区中有回答他人问题经历的用户进行了实证分析,结果表明,用户在问答类社区中的持续知识贡献行为遵循了从认知到产生情感,然后萌生意向,再到最后采取实际行为的过程;回答问题的习惯在持续知识贡献意向与行为之间起到了明显的调节作用。研究结果丰富了虚拟社区用户行为理论的研究,对问答类社区的可持续发展具有重要意义。
PKI技术在空间信息网中的应用

介绍了空间信息网的结构,分析了其特点以及面临的安全威胁,提出了要达到的安全目标。将分层式PKI技术应用到空间信息网中,构建了一种多层次的CA模型,其达到了机密性、认证性、完整性、不可否认性等安全目标。
基于MSP430F149的弹匣计数器设计

针对当前现役步枪无法准确直观掌握弹匣内剩余弹药量问题,设计一种以MSP430F149单片机为核心,检测弹匣内剩余子弹数量的设备。弹匣内子弹的增减引起弹簧位移的变化产生电信号到MSP430F单片机,单片机对信号进行处理并实时传送到显示屏进行显示。试验表明,该设备检测精度高、操作方便、不影响枪械正常功能且制作费用低。
基于ZigBee的修正加权质心定位算法研究与实现

通过研究无线传感器网络中RSSI(Received Signal Strength Indicator)测距误差与距离的关系,对加权质心算法存在的不合理因素进行改进,提出修正方法。改进后的算法使加权因子的选择更加合理,RSSI信号易受环境(障碍物,多径等)的影响,所以针对具体实验环境建立信号传播模型函数使测距更加准确,利用CC2430搭建实验平台验证算法的可行性。用Matlab对实验数据进行质心算法,加权质心算法和修正加权质心算法误差分析,数据仿真显示,修正后的加权质心算法算法提高了定位精度,能满足基本的定位要求。
无线传感器网络中top-k连接查询处理

无线传感器网络是物联网核心组成部分之一,数据查询处理是无线传感器网络中很重要的一个研究领域.连接查询能在不同的位置监视相似的网络环境,top-k连接查询能进一步得出组合得分最大(或最小)的k个相似网络环境.top-k连接查询根据得分函数计算匹配结果的组合得分,并报告组合得分结果最大(或最小)的k个匹配节点对.文中提出了基本top-k连接算法BTJQ.该算法首先按照得分属性值从大到小对所有元组排序,然后依次取出元组,产生连接结果.对每个连接结果按照得分函数计算组合得分,如果满足停止条件,则停止取元组,并输出连接结果.在BTJQ基础上,作者提出了集中式top-k连接算法CTJQ和优化的集中式top-k连接算法OCTJQ.针对特定应用场景,作者进一步提出了分布式top-k连接算法DTJQ.最后,在真实数据集上验证了各算法.实验结果表明,文中算法好于经典连接算法SENS-Join.
基于嵌入式Linux的数控机床远程监控

为实现数控机床的网络化管理,针对目前一些老式机床无远程监控平台的问题,提出了基于嵌入式Linux的数控机床远程监控系统的设计与实现方案。该方案采用嵌入式Linux与ARM处理器为平台,软硬件结合,完成车间级监控主机与局域网内各机床之间的通信,并利用嵌入式数据库对机床状态信息进行实时备份,达到对局域网内多台机床进行集中监控管理的目的。该方案的智能控制模块可根据接收到的机床报警信息,向机床发送相应的控制命令,保护机床正常运行;车间级监控主机还可直接接入Internet,以便将机床的数据发送到远程进行故障诊断。实验结果表明,该方案可以有效的对老式机床进行集中监控,实现了数控机床的网络化管理。
基于Camera Link的串行图像采集系统设计

在设计测试系统时,要求高速、可靠地传输大量的图像信息至上位机进行存储和处理。采用LVDS或HOTLink信号格式,将远程CCD采集的图像信号进行串行传输,由FPGA乒乓操作进行缓存,通过CameraLink接口,将图像数据以串行方式高速传输至图像采集板卡PXI-1428。实验中以150fps的速度连续采集128×130大小的串行LVDS图像或500fps的HOTLink图像,最大传输速率达到320Mbps。实验结果表明,CameraLink是实现高速串行图像传输的便捷途径。
物联网体系结构与实现方法的比较研究

构建物联网设计与实现的统一方法是目前物联网研究领域亟待解决的问题之一.物联网体系结构是设计与实现物联网系统的首要基础.文中从功能角度将目前已经提出的物联网体系结构分为"后端集中式"和"前端分布式"两种类型,并以水平性、可扩展性、环境感知性、环境交互性和自适应性等为指标对这两类体系结构进行了比较分析,指出了USN和IoT-A具有更多符合物联网特征的属性,对未来物联网的设计与实现具有更好的参考价值.文中还从物品连接模式、通信协议和服务机制3个方面对这两类物联网体系结构指导下的物联网实现方法进行了分层归纳,总结了目前建立后端集中式和前端分布式物联网系统的常用方法.最后还指出,为形成物联网设计与实现的统一方法,未来还需要在物联网体系结构的形式化说明与验证、物联网服务机制的实现方面,深入开展一些研究工作.
小波融合的乳腺图像增强方法

针对医学乳腺图像特殊的结构特性和密度特性以及单一的图像增强方法局部和细微细节增强能力不足的缺点,提出了一种既能保留边缘细节信息,同时也能增强乳腺组织和钙化点的新方法。该方法先对原始图像分别进行直方图均衡化增强和高通滤波增强,然后再将这两个增强的图像进行小波分解,最后融合成一幅图像。实验显示,融合后的乳腺图像大大改善了图像的视觉效果,说明了该方法的有效性。
基于模糊蚁群收敛控制的通信网络路径优化

对通信网络路径进行优化,在提高通信网络利用率方面具有重要意义。传统的通信网络路径进行优化时,采用蜂群信息素释放追踪方法,随着蜂群个体中的扰动的变化,确定通信路径,导致路径选取精度差,效率低的问题。为此提出基于模糊蚁群收敛控制的通信网络路径优化算法。构建蚁群算法数学模型,采用重采样测量方法在通信网络路径规划过程中获取信息素浓度差异特征,引入基本蚁群个体滤波算法进行邻域变化调整,在通信网络动态决策范围内,得到每个个体避障的目标函数,实现模糊蚁群收敛控制,优化通信网络路径。仿真结果表明,采用改进的法进行通信网络路径优化,具有较好的通信性能,收敛性较好,误差降低,应用价值较高。
制造物联的内涵、体系结构和关键技术

为了探讨当前制造物联的定义、体系结构和关键技术等问题,通过分析现有制造模式,给出了制造物联的定义与特征;探讨了制造物联体系结构和关键技术,分析了制造物联与智能制造和云制造的关系,并展望了制造物联未来的发展前景。
基于直觉模糊熵的粒子群多目标优化

针对现有多目标算法存在的收敛性不强、分散性不高等问题,提出了一种基于直觉模糊熵的粒子群多目标优化算法(IFEMOPSO)。首先,计算出种群的直觉模糊熵(IFE),作为衡量种群在多目标空间下多样性的测度;其次,设计基于IFE的惯性权重动态变化、外部档案调用以及变异操作等3种增强算法探索力度的策略,建立了直觉模糊多目标规划模型,有效地提高了群体进化过程中的多样性,防止了算法陷入局部收敛;最后,仿真结果表明,所提算法很好地提高了所得非劣解集的收敛性和分散性,有效地解决了多目标优化问题。
基于遗传搜索算法热轧合同编制优化仿真研究

为解决钢铁企业多品种、小批量的热轧合同编制优化问题,针对规模大、约束复杂难以建模及求解等难点,以半旬为基本时间单位,在考虑各钢种炼钢能力、轧制能力等约束条件的基础上,建立以合同的提前期、拖期惩罚最小,各工序产能利用均衡,相邻排产合同的工艺约束惩罚费用最小以及各半旬的炼钢余材最少为优化目标的0-1非线性整数规划模型。由于所建模型具有多旅行商问题结构的特征及模型中约束条件复杂、数据规模较大,采用分段整数编码和启发式修复策略的遗传搜索算法进行求解。通过对实际生产数据进行仿真,验证了所提模型和算法的有效性,为科学合理地编制热轧合同计划提供了有效的解决方法。
基于质量引导的InSAR快速相位解缠方法

针对处理大型In SAR相位数据,由于传统质量引导的相位解缠方法在解缠过程中要进行大量的排序操作,其解缠效率非常低,提出一种索引分段堆排序相位解缠方法。通过结合传统质量图的优点,将QPDVC作为质量图,并利用索引分段堆排序法将大型相位数据分成多个小堆,从而节省了堆排序过程中调整为最小堆的时间。与传统方法相比,提高了解缠精度和效率。最后,通过相关实验数据仿真证明了该方法的高效性和可行性。
高效节能的能量异构传感器网络数据聚合协议

介绍了一种有效地用于能量异构传感网络的数据采集协议EDGA。EDGA在能量最小化的网内通信和均衡能量负荷等性能上有很好的表现。它通过基于权重选择概率选取的簇头获得了更好的处理能量异构环境的能力,并且利用一种简单但有效的方法解决了簇内的面积覆盖问题。仿真结果表明,该EDGA方法在能量异构无线传感网络的数据采集应用中比LEACH和HEED等方法有明显的优势。
堆栈型虚拟机代码入口点定位方法研究

在采用虚拟化技术保护的程序中定位x86代码和虚拟机代码的临界点是实现被虚拟机保护代码自动化提取和还原的前提,目前尚不存在能有效实现虚拟机代码入口点定位的方法。针对该问题,构建一个程序状态转移模型,并在此模型的基础上,提出基于栈监控的自建栈型虚拟机代码入口点定位方法和基于寄存器值聚类分析的复用栈型虚拟机代码入口点定位方法,有效解决了虚拟机代码入口点的定位问题。实验结果表明,该方法能有效实现堆栈型虚拟机代码入口点的准确定位。
浏览器缓存污染防御策略

浏览器缓存主要用于提高用户对网络资源的请求速度,然而攻击者可以通过中间人攻击等方式实施缓存污染攻击。传统的缓存污染防御策略无法全面覆盖各种攻击方式,为此提出一种可调控的浏览器缓存污染防御策略。这种策略部署于用户与服务器之间,对用户所请求的缓存资源进行随机数判断、请求相应延时判断、资源代表性判断、哈希验证和众包策略,可以有效防御浏览器缓存污染问题。实验选取200个JavaScript资源文件作为实验样本,利用中间人攻击的方式污染其中100个样本,在访问这些资源的同时启用防御脚本,分析污染样本的检测率和正常样本的误判率。实验结果表明,在松弛条件下,污染样本的命中率达到87%,正常样本误判率为0%;而在严格条件下,污染样本的命中率达到95%,正常样本误判率为4%。同时所有实验样本的请求响应时间差分别为5277ms和6013ms,均小于全部重新加载资源的时间差,在防御了绝大部分的受污染资源的同时还缩短了用户访问的时间。该策略简化了缓存污染攻击防御的流程并可以通过不同的参数在用户体验性和安全性中取得平衡。
基于Raptor码的视频多播跨层优化算法

在第4代移动通信中,人们更加关注移动宽带网络传输的服务质量(QoS),尤其是多输入多输出(MultipleInput-Multiple-Output,MIMO)系统下的视频多播方面。提出了一种基于Raptor码的视频多播跨层优化算法,通过Raptor码和其他纠错码的包误差率的对比分析,选择合适的Raptor码率和调解编码方案(MCS)模式进行优化组合,在增大系统吞吐量的同时可以提高信道资源(时隙)利用率。仿真实验表明,该算法在下行链路的吞吐量至少增加了28%,节约了至少18%的信道资源;在SNR=11.5时,BUS序列的客观重建质量(PSNR)的性能增益可达到4dB以上。
Vague集在多传感器信息融合中的应用

采用Vague集来表达传感器的模糊测量信息,提出了一种基于Vague集的多传感器信息融合方法。该方法利用Vague值的记分函数,构造传感器测量值的有序加权平均对,再结合诱导有序加权平均算子确定传感器的权重,根据综合记分函数给出了信息融合方法。仿真实例验证了方法的有效性和具有较高的可信度。
基于视频深度学习的时空双流人物动作识别模型

深度学习在人物动作识别方面已取得较好的成效,但当前仍然需要充分利用视频中人物的外形信息和运动信息。为利用视频中的空间信息和时间信息来识别人物行为动作,提出一种时空双流视频人物动作识别模型。该模型首先利用两个卷积神经网络分别抽取视频动作片段空间和时间特征,接着融合这两个卷积神经网络并提取中层时空特征,最后将提取的中层特征输入到3D卷积神经网络来完成视频中人物动作的识别。在数据集UCF101和HMDB51上,进行视频人物动作识别实验。实验结果表明,所提出的基于时空双流的3D卷积神经网络模型能够有效地识别视频人物动作。
基于Nios Ⅱ的光纤捷联惯导系统数据采集模块设计

针对光纤捷联惯导系统中采用传统技术的导航计算机需重复设计且效率低的现状,提出了一种基于NiosⅡ的光纤捷联惯导数据采集及预处理实现方案;运用verilog HDL语言完成了对光纤捷联惯导系统中挠性加速度计和光纤陀螺仪的数据采集功能IP核设计,采用SOPC(可编程片上系统)技术定制了Nios II软核处理器,并实现16阶FIR低通滤波器的设计;通过对捷联惯导系统的静态采集实验,验证了数据采集功能IP核的准确性和FIR低通滤波器滤除部分噪声的有效性。
基于ZigBee的文件传输研究

为了实现成本更低、功耗更小、不受环境限制、可以自组网实现数据传输的短距离无线通信技术,利用Zig Bee技术的低成本、低功耗、低速率、短距离的特性,文中提出了一种基于Zig Bee的文件传输技术,实现了两台计算机间文件传输的功能。介绍了系统的整体结构以及各个硬件节点的设计和各个模块软件程序的设计,以Zig Bee无线网络作为连接枢纽,将发送端计算机和接收端计算机连接起来,当数据量大时就要通过压缩、分包、合并、解压和停止等待协议等来确保数据的正确传输。通过实验测试,该系统可以可靠地传输文件,很好地满足了当数据传输量不是特别大时,追求成本最小化的应用需求。文中也对文件传输的关键技术进行了详细的介绍,当数据量不是很大时,对实现数据通过Zig Bee网络传输,具有一定的研究意义和实用价值。
业务对象平台无关模型建模方法及其完备性研究

为支持业务对象平台无关模型的设计,以支撑模型驱动的企业应用软件开发,扩展了业务对象概念的语义范畴和粒度,在可互操作可配置可执行的模型驱动体系结构研究的基础上,给出了业务对象形式化定义和业务对象的平台无关模型。从基本构成要素(数据集、操作集、状态集及其间关系)的角度,给出支持业务对象模型的语义完备性约束。实践表明,研究成果可为大粒度业务对象平台无关建模提供基础的理论支撑。
以Affordance和功能为共同基础的功能结构图方法拓展

当前功能结构图方法仅以意图域概念"功能"为基础,但同时暗含从现实域出发的考虑,这造成了复杂度耦合,使得绘制过程难以下笔。为解决这一问题,吸收现实域的Affordance概念与功能概念共同作为方法基础,并基于这两个概念将功能结构图方法的绘制分解为:从功能维度逆向思考"人想要发生什么"的倒逼功能结构图,以及从Affordance维度顺向思考"在其环境下可能发生什么"的Affordance功能结构图,从而完成复杂度解耦,得到改良功能结构图方法。该方法解除了绘制过程中的思维混乱,降低了绘制门槛,提高了实用性。
基于TextRank的文本情感摘要提取方法

为了能够快速准确把握评论文本的核心情感内容,提出一种融合多特征的TextRank中文文本情感摘要方法。通过构建TextRank文本网络图,迭代计算得到句子权重;应用句子的情感特征和自身特征修正句子权重,生成粗文摘;提取情感摘要。实验结果表明,该方法能够有效地识别文本中的情感主题句,在ROUGE-1、ROUGE-2和ROUGE-W指标上均有不错的效果。
基于遗传算法的最优城市垃圾收运路线探究

通过对垃圾收运路线的分析,可归结为组合规划问题。针对目前垃圾收运路线多采用TSP模型,建立了改进的遗传算法的垃圾收运优化模型,并运用计算机编程和搜索技术进行研究,并结合实例给出参数对运输路线进行计算机仿真。分别以垃圾收运车程最短和垃圾收运时间最少建立目标函数,并挖掘出约束条件,建立垃圾收运路线的数学模型。对传统的遗传算法进行改进,采用赌论策略选择个体进行遗传交叉操作,来求得目标函数的近似全局最优解。经实例仿真证明,建立的模型是合理的,表明赌论策略的遗传算法适合于复杂的垃圾收运路线的优化,运行收敛速度快,为优化路线提供了参考。
基于WebGIS的食品安全监管系统设计与实现

针对近年来食品安全事故频繁发生,食品安全问题日益突出,现有的食品安全监督管理方式日益不能满足社会大众要求的问题,本文提出将地理信息系统应用到食品安全领域,结合Web技术设计实现南昌市食品安全监督管理系统,解决目前执法人员少而被监管企业多的问题,提高食品安全监管效率,实际运行效果令人满意。
椭圆曲线窗口标量乘法的研究与Delphi实现

椭圆曲线加密算法是一种非常流行的方法,影响椭圆曲线算法执行效率的因素有很多,标量乘法就是一个重要因素,椭圆曲线标量乘法的方法很多,文中主要研究了NAF和NAFw的基本原理和算法,最后在VB环境下实现了椭圆曲线窗口标量乘法。
飞行器转向时的航迹起始算法

在飞行器转向优化控制的研究中,传统的逻辑法在飞行器高速机动转向时因外推点与真实量测点距离偏大且跟踪波门偏小而丢失航迹真实量测点,从而导致雷达对观测目标航迹起始的失败。为了解决传统航迹起始算法所存在的问题,提出了采用修正外推点的方位角和放大的跟踪波门的改进的航迹起始算法。与传统算法相比,改进算法能够使目标的真实量测点更准确地落在雷达跟踪波门内。仿真比较和性能分析表明,上述算法对于提高飞行器等高速目标转向时航迹起始的正确率是有效和可行的。
DBA~2COR:一种适合协同网络QoS路由算法

协同网络QoS路由是当前研究的一个热点.针对启发式算法在路由选择过程中,由于算法收敛和资源更新较慢,容易造成单一节点负载不均衡,不能有效提供QoS路由,提出一种适合协同网络QoS路由算法(DBA2COR),该路由算法在应用层和传输层之间设置智能服务路由节点,并在节点上部署启发式算法,自主构建路由选择模型,从负载均衡角度解决启发式算法收敛较慢而导致负载不均衡问题.实验表明,本路由算法自适应性和扩展性较好,在负载均衡方面,DBA2COR使得系统资源分布更加均衡;同时在路由选择方面,DBA2COR相比传统的路由算法,能提供更好QoS路由.
超声波泥水密度检测影响因素的研究

针对于优化超声波泥水密度检测准确性的问题,研究了泥水密度检测过程中信号参数和过程参数对检测的影响,信号参数包括超声波发射频率和幅值,过程参数包括泥水的温度和压力。根据超声波与泥水密度之间存在的函数关系,通过研究各因素对超声波衰减率的影响,来间接得知它们对检测的影响。利用有限元分析软件ANSYS仿真了超声波在检测时不同频率、幅值、温度和压力情况下穿过泥水的衰减率,分析了在不同参数的情况下超声波衰减率的变化,并拟合出相应的曲线。仿真结果表明:超声波衰减率与超声波的发射幅值无关,而与超声波发射频率、温度和压力有关,并在实验上验证了温度对超声波衰减率的影响,为水泥密度准确检测提供了依据。
基于视觉技术的三维指尖跟踪算法

基于手势的实时人机交互(HCI)在虚拟现实领域有着重要的理论和应用价值.通过双目摄像头,使用立体视觉技术可以实现指尖在三维空间的跟踪定位,进而实现指尖和虚拟空间三维物体的实时交互.这种技术可以实现三维鼠标以及用于虚实交互的三维游戏中.提出一种阈值结合混合多高斯的BGS算法,用它来得到手的区域,然后通过手轮廓K向量和手中心到指尖的距离判定指尖位置,再利用标记对摄像机进行标定,根据标定参数和两个图像中得到的指尖位置,重建指尖点三维坐标,最后在三维空间实施Kalman滤波来平滑指尖点轨迹并预测前景分割的范围.实验结果表明算法是有效的.
移动容迟传感网络拓扑覆盖建模与统计特征

移动容迟传感网络的拓扑覆盖研究对于相关工程系统设计具有重要意义。针对当前研究没有很好地刻画区域动态覆盖特征的问题,提出基于排队网络的建模方法。进而利用随机几何学和排队论方法,以定理形式提出关于二维平面上区域覆盖的首达时间、覆盖度分布等统计特征的理论结果。结合典型移动场景,仿真验证了上述结果的合理性和应用价值。
基于SC的多核处理器并行仿真机制的研究

针对SystemC(SC)原有串行仿真内核无法充分利用多核处理器的处理能力问题,提出了一种基本SC的多核处理器并行仿真方案.新方案充分利用多线程操作系统及线程池技术的并行处理能力,通过改进SC原有串行内核的线程调度方式,对其底层仿真过程进行改进,使改进后的SC能够更好地利用多核处理器的处理能力加速仿真模拟过程.此外,新方案还对原有SC仿真过程及框架进行了分层处理,从而简化了仿真系统内部的模块相互之间的连接及其数据传输,缩短了仿真系统的建模及处理时间,大幅提高系统的仿真效率.
头颈联合CT血管造影在头颈动脉狭窄中的应用

目的:探讨标准化头颈联合CTA检查在头颈动脉狭窄中的应用价值。方法:应用64层螺旋CT,对拟诊颅、颈动脉疾病的35例患者进行头颈联合CTA检查,均以九位法及自动旋转法来显示动脉的位置,对两种方法显示头颈动脉狭窄的能力进行对比分析。以常规DSA检查作为标准,评价CTA诊断头颈血管性病变的敏感性、特异性及准确性。结果:图像质量评分分别为2.81±0.32和2.83±0.36。九分法与自动旋转法对头颈动脉的显示差异有统计学意义(P&lt;0.05)。头颈联合CTA总体诊断的敏感性、特异性及准确性分别为83.1%、99.4%、97.5%。结论:智能触发增强扫描技术结合头颈动脉九位法显示,不受个体差异影响,可以实施标准化头颈联合CTA检查,对头颈动脉狭窄的诊断及手术方案的制订具有很高的临床应用价值。
fGn模型在结肠癌基因表达数据集去噪中的应用

基因表达数据集获取过程中容易掺杂噪声成分,噪声会干扰数据的正确表达从而影响其后期的分析与研究。基于中值计算法估计噪声标准差的经验模态分解(EMD)去噪存在一定的不足,从而影响去噪效果。分数阶高斯噪声(fGn)模型可提供EMD下较为准确的噪声标准差估计方法,在该模型下去噪可减少白色及有色噪声,进而增强去噪效果。因此在中值计算EMD去噪基础上,提出一种基于fGn模型的去噪方案,并对结肠癌基因表达数据集做去噪分析。实验结果表明,相比中值计算EMD去噪方法,改进方法的信噪比、噪声抑制比、t检验等值具有一定的优势,可作为基因表达数据集去噪的一种参考方案。
基于Louvain算法的图数据三维树形可视化

提出一种图数据的三维树形可视化方法,基于Louvain算法对图数据中的复杂的网络关系进行层次聚类,利用三维树形映射表达聚类结果,直观展示隐含于图数据中的结构关系,通过在三维场景中旋转、缩放、移动、拾取高亮等交互操作多视角地展示数据。集成开源图数据库Neo4j研发原型系统,并开展案例数据实验。实验结果表明,该方法不仅能够简洁灵活地展示图数据的总体层次结构,还能够多样化地表达数据细节,为利用虚拟现实技术探索图数据的潜在信息提供有效的技术支持。
基于动目标检测的视频监控智能节点设计

针对现有视频监控系统无效信息多造成存储资源严重浪费的现象,提出了基于动目标检测的视频监控智能节点设计方案;利用微波移动传感器检测运动目标多普勒信号,通过微控器采集调理后的多普勒信号完成运动目标识别,并控制传输设备将含有动目标的视频监控信息和多普勒频率数据传输到监控中心进行实时处理;实验结果表明,视频监控智能节点最大探测距离可达15m,该设计有效提高了视频监控的有效信息,减少了存储资源,具有广泛的应用前景。
基于结构的利用分布式计算的虚拟筛选（英文）

药物虚拟筛选的方法被广泛应用于从百万数量级的类药分子数据库中挑选出潜在的活性候选化合物,相比较于传统的流程可以显著降低研发成本和时间。为此,我们建立了一个大型分布式计算阵列,本论文详细说明了阵列系统的建立方法和对应的虚拟筛选流程。通过对以极光激酶A为药物筛选靶点的测试,我们从数据库中得到了包含已知的高活性分子等多个候选化合物,验证了系统的可行性。
Logistic回归分析在超声造影诊断乳腺浸润性导管癌中的应用价值

目的:探讨Logistic回归分析在超声造影多参数诊断乳腺浸润性导管癌的应用价值。方法:以手术病理结果为金标准,对术前行超声造影检查的35例乳腺浸润性导管癌患者及63例乳腺良性肿块患者进行Logistic回归分析,筛选出与乳腺浸润性导管癌相关度较高的造影参数,并建立Logistic回归方程。结果:Logistic回归分析显示最后进入模型的5个参数分别为造影剂增强速度、增强不均匀、造影剂渡越时间、造影剂消退速度、肿块增强程度,与乳腺浸润性导管癌有较高相关性(P&lt;0.05)。结论:超声造影多参数Logistic回归分析对诊断乳腺浸润性导管癌有重要价值。
适用于遮挡车辆检测的子块带权模板匹配方法

针对多车辆跟踪过程中的遮挡问题,提出一种基于梯度方向直方图的子块带权模板匹配方法。该方法先对目标分块,并提取每块的梯度方向直方图,然后利用核函数为各块赋予不同权值,并采用子块带权特征匹配度度量方法计算目标模型与搜索窗的匹配度,进而获取最佳匹配。最后将该方法应用于多车辆跟踪过程中的遮挡车辆跟踪与检测。实验表明,该方法具有良好的精确度和鲁棒性。
一类带形状参数的类四次三角Bézier曲线

本文给出了带形状参数的类四次三角多项式Bézier曲线。由五个控制顶点生成的曲线不仅具有类似于四次Bézier曲线的诸多性质,而且其形状可由一个参数进行调节,使得该曲线具有更强的表现能力。参数有明确的几何意义:参数越大,曲线越逼近控制多边形,具有比四次Bézier曲线更好的逼近性。曲线无需有理形式即可精确表示圆、椭圆、抛物线等二次曲线弧。为便于自由曲线的设计,还讨论了两段曲线的拼接性,并给出了曲线G2和C3连续的拼接条件。应用实例表明,该曲线在计算机辅助几何设计中具有较高的应用价值。
基于Stuttering等价技术的有界模型检测的优化

在讨论有界模型检测及其转换公式的基础上,对有界模型检测转换公式[[M,f]]k中的[[M]]k进行优化。通过在LTL有界模型检测中引入Stuttering等价技术,对状态转换路径优化,避免了SAT求解工具在有界Stuttering等价路径中的重复搜索。以安全系统验证为例,通过两个重要的模态算子G(p)和G(p→F(q)),验证优化方法,实验结果表明,该方法有效地提高了对安全系统保密性和认证性验证的效率。
基于图像质量等级的自动目标识别效果评估

通过对图像质量度量指标类型进行统计分析,提出一种简单的图像质量等级划分方法,在此基础上利用支持向量机对各图像子集进行目标识别,分析图像质量对目标识别效果的影响,结合传统的目标识别效果评估方法,给出一种基于图像质量等级的目标识别效果评估方法。实验结果证明,与传统方法相比,该方法的评估结果更准确。
关于湖泊轮廓变化趋势图像预测仿真研究

通过对图像变化的预测分析,研究了湖泊边缘的演变,预测得到下一步的湖泊轮廓图。针对影响湖泊演变的因素较多、众多影响因素与湖泊轮廓演变存在非线性关系、传统方法仅依赖于数字对湖泊演变进行预测的问题,提出了更加直观化的基于灰色预测的图像变化预测方法。以我国章江头木错湖为例,对其不同时期的Landsat MSS/TM/ETM+,CBERS CCD遥感影像进行边界信息提取,获得湖泊轮廓图谱。在研究区域中间选择一个原点,并以原点做射线,得到预测所需的原始数据。建立灰色预测模型,对所得数据进行预测分析,得到湖泊轮廓变化的预测图,并对预测结果进行验证,最终结果表明,改进方法对湖泊轮廓变化趋势的预测是可行的并且有较高的预测精度。
基于朴素贝叶斯Web新闻内容的抽取方法

针对网页信息自动抽取问题,提出一种将网页按标记分块并根据朴素贝叶斯理论从中识别新闻正文的方法。该方法将各分块的标记信息、文本相似度以及字长特征作为机器学习的特征属性。为提高标记属性的表征作用,减少相关标记之间的干扰,算法采用χ2检验法来检验标记属性之间以及标记属性与类别之间的相关性并实现属性约减。新闻正文抽取过程中同时考虑正文与非正文分块的后验概率,以提高抽取准确率。实验结果表明,选取适当的参数值,抽取新闻正文的准确率达到85%。
嵌入式系统板级支持包的研究与构建

针对嵌入式系统构建中应用环境差异性问题,采用层次化、模块化的设计思想,设计了一个适应性较强的板级支持包BSP(board support package)框架。介绍了BSP的原理,描述了BSP框架内部应遵循的组织、规范、约定以及外部关联结构,并具体分析了BSP与Bootloader之间的关系。在多个嵌入式开发平台的应用实践表明,该BSP框架的实现可支持不同应用环境中嵌入式系统的快速构建,有效缩短嵌入式产品的开发周期。
基于ELM-AE的迁移学习算法

极速学习机自动编码器（ELM-AE）可以提取数据特征,基于ELM-AE设计了一种新的迁移学习算法,并获得了更好的分类准确率。通过ELM-AE学习源域和目标域的特征空间,经过子空间对齐来完成迁移学习算法的设计。对of-fice[1]/caltech256[2]数据的实验结果表明,该算法明显优于传统的迁移学习算法。
基于数据驱动与GML的WebGIS数据传输效率优化算法研究

介绍影响WebGIS传输性能的众多因素,特别是在网络带宽不高或服务请求数较多时,GIS数据的网络传输延时会急剧增大。针对GML(Geography Markup Language)地图格式文件,以提高地图数据传输效率为优化目标,提出一种数据驱动的分类GML压缩方法 CGDC(Classified GML Data Compression),用以区分结构数据和值数据。通过实际数据的实验设计与对比,验证了提出算法的可行性与高效性。
HVPP算法在指针表盘视觉检测中的研究

选矿厂球磨机润滑油压力是一个至关重要的实时监测参数。基于FPGA采用了双线性插值法、Do G滤波器(高斯差分滤波器)、Marr-Hildreth边缘检测器及分水岭算法,并提出一种新算法——横竖端点寻点法(HVPP),对压力表图像进行分割、提取及数字识别,从而实现了对指针表盘图像的智能读数。实验结果表明采用基于逻辑电路的快速算法实现表盘图像的机器识别具有实时性好、识别率较高的优点。
基于变粒度的大规模真值表快速知识约简

在大规模逻辑电路的分析与设计中,直接由大规模真值表得到最简逻辑函数表达式的过程往往比较复杂。针对此问题,提出了一种基于变粒度的大规模真值表快速知识约简算法。随着真值表的输入逻辑变量的粒度变化,通过引入标记矩阵和启发式算子,对大规模真值表进行知识约简,从而得到最简逻辑函数表达式。最后,通过实例分析并详述算法过程,且通过数据集进行对比实验,验证了该算法的快速性与有效性。
一种基于服务簇网元模型的Web服务发现方法

定义了服务簇的网元模型,提出了一种基于服务簇网元模型的Web服务发现方法。首先,通过计算Web服务的功能描述及参数的语义相似度,对服务库中的服务进行聚类;其次,对服务参数进行统一标注,建立服务簇的网元模型,并对服务簇参数矩阵进行规范化处理;最后,基于服务簇参数矩阵,实现服务快速发现。基于Petri网,首次提出了服务簇的形式化模型,并在此基础上进行了服务快速发现。结果表明,利用网元模型建模服务簇是有效的、合理的,并且与传统的基于参数匹配的服务发现相比,所提方法有效地减少了参数匹配次数,提高了服务发现效率。
面向用例安全关键系统开发方法研究

面向用例模型的安全性分析方法是从系统需求文档中提取用例模型,给出其安全性分析规范,并将用例模型集成为合成使用模型。利用umlsec构造型描述安全性,并实现相应的安全性验证工具进行验证,从而避免后期考虑安全性的风险与成本,提高了系统开发的质量和效率。
基于多Agent学习机制的服务组合

服务Agent能够利用本身的功能以及来自外部的多个软件服务,向外界提供更为高层的服务。为了向用户提供综合的功能,服务Agent之间必须通过相互协同实现服务组合。提出了一种依靠多Agent学习机制进行服务组合的方法,其独特性在于通过学习,这些Agent能够对类似的输入迅速得到优化解。对基于多Agent协同进行服务组合的框架进行了介绍,在此基础上详细说明了如何利用多Agent学习机制进行服务组合,并对相关的实验进行了介绍。
一种个性化推荐方法

提出了一种新的个性化推荐方法。该方法来源于对个性化推荐技术本质的研究。产出的方法包括一种用正态分布卷积性质所得到的离线相似度计算方法;一种通过计算物品与物品之间无差别的相似性操作次数得到离线相似度的方法;一种用类似于贝叶斯的方法来综合不同的相似度结果的方法。另外还提到一些用于工程实施的方法和技巧。所提方法已经在数据挖掘领域得到了成功的应用。
基于MapReduce数据密集型负载调度策略研究

针对云计算环境中大规模数据集的处理,MapReduce集群已成为一个强大的处理平台。文中提出了一种基于虚拟化平台动态资源重配置的资源评价和动态资源重新配置调度算法。该算法动态地评估作业在截止时间内完成所需要的Map和Reduce计算资源数量,并在不违反用户设定的时间目标的情况下,通过动态地增加或减少独立虚拟机的方式来调整CPU资源,以实现提高数据本地性,同时提高系统在运行作业时的资源利用率。仿真实验结果表明,该算法可以使集群上的MapReduce作业的吞吐率有明显的提高。
基于ABCshift算法的目标检测与跟踪

针对Camshift算法需要人为定位的问题,利用帧间差分法检测运动目标的初始位置,采用ABCshift算法连续更新背景模型,自动降低类目标色在颜色概率分布图中的密度值,从而实现准确的目标检测与跟踪。实验结果表明,该方法可以解决Camshift算法进入大面积类目标色背景下目标跟踪效果不理想的问题,在复杂背景下具有较好的适应性。
知识包含度及其在粗糙集理论中的应用

提出一种新的集合包含度,并用新的集合包含度定义粗糙集理论中的知识包含度。研究了知识包含度的几个基本性质,给出了粗糙集理论中基于知识包含度的属性约简算法,通过一个汽车性能决策表的实例来表明算法的有效性。
一种子载波配对和功率分配联合最优算法

在基于正交频分复用的多载波两跳中继系统中有两个关键的问题亟需解决:子载波间的功率分配和子载波配对.子载波功率分配和配对之间存在复杂的耦合关系,通过现有的方法对子载波功率分配和配对进行联合优化比较困难.在深入研究这种耦合关系的基础上,针对解码转发,利用凸优化思想,提出一种功率受限下的子载波配对和功率分配联合最优算法.仿真结果表明,本算法可以有效提升中继系统的系统容量.
多端口自适应UDP通信协议的设计与实现

为解决嵌入式机载设备在UDP协议重建链路过程中丢失实时数据的问题,提出一种多端口自适应UDP通信协议MP-UDP。通过建链、数据确认、重传等机制进行正常通信,在当前链路重传3次失败需要重建时,利用RMP(Rank_Move_Program)算法以自适应的方式迁移到新的端口链路上进行通信。在Simulink中建立客户端和服务端模型,以图形化的方法实现MP-UDP协议。实验结果表明,与UDP协议相比,MP-UDP协议在链路重建时能自动进行链路迁移,丢包率远小于UDP协议,能够保证实时数据不丢失。
采用听觉外周模型改进电子耳蜗CIS方案

提出了一种改进的CIS电子耳蜗的脉冲刺激方案。利用听觉外周模型产生一种符合听神经发放机制的刺激脉冲序列来刺激电极,代替传统的均匀交替刺激方案,不仅可以通过包络而且可以通过脉冲间隔来传递语音信息,确保了语音的空间编码和时间编码。听觉仿真实验表明,相对于其他两种方案,方案可以有效地传递更多更丰富的语音信息,在汉语声调识别实验中至少提高19.2%识别率,在可懂度的对比实验中具有最高可懂度。
基于模糊三角数模糊神经网络的软件质量评价方法

用户对软件质量的评价与其体验密切相关,但由于软件产品的抽象性、复杂性以及用户需求的模糊性,目前软件质量评价方法都缺乏对该方面内容的关注,忽略了用户需求在软件质量评价中的作用。针对于此,考虑用户需求对软件质量的影响,将用户需求作为一种特殊的软件特性,构建了基于模糊三角数的模糊神经网络来处理软件开发过程中用户需求同软件特性之间的非线性关系,符合软件产品复杂性的特点,使软件质量评价结果更客观、全面。结果表明,基于模糊三角数模糊神经网络能够更好地反映用户需求同软件特性之间的非线性关系,是一种研究软件综合质量评价的有效方法。
双模态驱动的汉语语音与口型匹配控制模型

构建一种基于文本和朗读语音共同驱动的双模态语音与口型匹配控制模型,充分利用文本拼音提供正确的口型视位,利用朗读语音为口型视位提供正确的时序,在此基础上对口型几何参数和时间参数进行离散化,根据汉语语音发音机理,合理控制语音的口型动作过程。
改进的混合蛙跳算法

为提高混合蛙跳算法在优化问题求解中的性能,提出了一种改进混合蛙跳算法。改进算法在原算法基础上加入了变异算子,并根据算法进化过程的不同阶段和进化过程中候选解分布情况,利用模糊控制器对变异算子的变异尺度进行调整,实现了变异算子在解空间中搜索范围的动态调整。通过对优化问题中4个典型测试函数的仿真实验表明,与基本蛙跳算法和已有改进算法相比,改进算法在寻优精度、收敛速度和求解成功率上均有一倍以上的提高,尤其在高维复杂优化问题求解中体现出较强的寻优能力。
太阳黑子活动周期特征的神经网络和小波分析

太阳黑子数是描述太阳活动水平的主要指标,太阳活动直接影响日地环境。依据前人对太阳黑子数的观测资料,采用BP神经网络及小波分析和自相关相结合的方法,分析了1770-1869年的太阳黑子数年均值,得出了太阳黑子存在11-12年周期的结论,并对该算法及噪声鲁棒性进行了仿真。实验结果表明,该算法对研究太阳活动的本质规律是有效的。两种方法与其他方法,如自相关法、功率谱法等,进行了相比,不仅得出与实际一致的结论,而且对噪声有较强的鲁棒性,这对含噪信号的分析研究是很有意义的。
基于XML的信息安全风险评估系统研究与开发

针对典型的信息安全风险评估要求,提出了综合的评估流程,完成了系统的设计和实现。系统信息库设计时除去了大量繁冗的信息;评估识别时,对资产、威胁和脆弱点的内容进行了详细地分类;评估赋值时,在单一的系统赋值基础上扩展了用户和专家同时参与的功能。同时,在风险矩阵计算的前期工作中加入了对系统、用户和专家赋值综合考量的处理思想。基于JavaEE及XML等上乘主流技术开发方案为该系统的安全性、多平台适应性提供了良好的条件。
基于安全云平台和移动互联网的交通烟雾检测预警系统

为了提高交通火灾的控制及预防能力,有效减少交通火灾带来的不良影响,本文在交通领域内现有监控系统的基础上,设计一种基于安全云平台和移动互联网的交通烟雾预警系统。该系统主要由3个子系统构成:交通场景内摄像监控系统、云端烟雾检测系统和基于移动互联网的烟雾预警系统。1)交通场景摄像监控系统主要采集烟雾发生的事故现场视频,并将视频上传至云端的存储资源池,方便事后事故分析调查和追责;2)云端烟雾检测系统利用云端计算资源池强大的计算能力快速地运行视频烟雾检测算法,实现火灾的早期识别,防止火灾的进一步扩大;3)移动互联网预警系统及时地将火情信息推送给火灾发生地附近的相关人员和机构,尽可能地减小火灾带来的不良影响。本系统在各种环境下进行了大量的实验,其结果如下:烟雾的预警率高达93.75%,虚警率低至5.33%,平均预警时间为7.55 s。实验结果表明,该系统具有较好的实时性、准确率及鲁棒性。
基于模式融合的中继通信无人机定向天线对准

研究无人机中继通信系统中定向天线的实时高精度对准问题。为提高地面通信站的安全性,并克服传统对准算法难以实时确定高空高速无人机的精确位置而造成定向天线难对准的问题,提出了用于定向天线对准的基于异步双模式融合算法。上述算法按照不同的触发方式采用不同步长实现定向天线对准,首先利用基于目标的运动补偿预测对准算法实现天线对准角度的概略确定,之后采用基于信道增益的波束引导对准算法,进一步降低通信延迟对天线对准的影响,有效提高对准精度和可靠性。仿真验证表明,该融合算法通过综合两种算法的优点,能显著提高定向天线的对准精度和系统可靠性。改进算法能够满足实时确定无人机的精确位置,实现定向天线的高精度对准和高可靠通信。
流体模拟动画技术新进展

自然场景的模拟一直是计算机图形学研究的热点,随着动画影视、虚拟现实以及计算机游戏的飞速发展,对流体模拟技术的绘制速度与场景细节真实感的要求也在不断提高。通过描述最近几年来流体动画模拟领域的新技术,对流体模拟计算仿真的主要步骤细节技术进展进行分析讨论,并指出流体动画模拟技术进一步的发展方向。
一种Colored WF_logic Net的工作流过程建模

结合着色Petri网和WL_net相关理论,提出有色工作流逻辑网(CWL_net)这一概念来实现工作流的过程建模。最后以保险索赔业务过程为例,采用绘制可达树的方法分析了业务流程的合理性。利用CWL_net可以准确描述业务流程的工作流逻辑,且这种逻辑结构可以区分工作流具体流程中不同变迁产生的任务完成信息,避免了某些问题。
基于ZigBee的仓库温湿度监控系统设计

论文针对现有仓库温湿度检测存在的问题,结合ZigBee技术,使用超低功耗单片机与无线传感器,设计了一套根据库内外温湿度变化的实用仓库监控系统,并从无线通讯网络设计、系统的硬件及软件设计详细叙述了系统组成与设计原理。
异构平台上X86仿真的I/O框架

针对异构处理器平台进行X86体系结构仿真的问题,提出一种I/O框架,介绍该框架中的3个主要模块:总线与接口函数的注册与映射,桥芯片中数据结构的设计与函数体的布局,中断信号选择与传递的实现技术。根据不同框架结构,通过运行SPEC2000测试集,证明该I/O框架与其他同类框架相比,性能可提升10%~20%。
基于GPU的元胞自动机熔岩流动模拟

为解决基于元胞自动机进行熔岩流动模拟的计算效率问题,提出一种应用在元胞自动机上的GPU并行计算方法。将元胞自动机中每一个方形网格映射到GPU的一个逻辑计算单元上,通过并行计算,提高模拟的效率,解决传统串行计算方法的不足,使模拟达到实时性。模拟结果表明,在元胞自动机的物理模型理论基础上,用GPU并行计算进行加速,在模拟效果和时间效率上均取得了良好的效果。
移动支付领域安全标准的适用性研究

介绍移动支付业务的发展现状和移动支付领域可参考的安全标准,研究相关安全标准在移动支付领域的适用程度。重点以信息安全等级保护安全标准、PCI系列安全标准和移动支付安全规范这三个安全标准作为移动支付领域参考的安全标准,分析研究这三个标准在移动支付领域的适用性。在此基础上得出移动支付系统各个层次可参考的标准适用图,为我国移动支付安全标准的制定提供了一定的参考价值。
基于STL文件的Laplacian网格优化算法

针对直接重构得到且以STL文件格式存储的网格模型质量不高的问题,提出了一种基于Laplacian坐标的网格模型全局优化算法。该算法在提高三角面片质量的同时可以很好地保持原网格模型的局部几何特征,其核心思想是通过在最小二乘意义下求解由权重控制的包含顶点位置和拉普拉斯坐标双重约束的线性系统来对网格顶点进行重新定位。从实验结果可以看出,该算法较以往的Lapacian优化算法在对网格细节特征的保持上有一定优势。
基于时间Petri网的嵌入式系统中断建模与验证

嵌入式系统为中断驱动系统,但中断触发的随机性和不确定性导致中断缺陷很难被追踪发现,并且一旦发生中断故障,往往会使整个嵌入式系统陷入崩溃。因此必须保证中断系统软件的可信性,但是目前缺乏有效的中断系统资源冲突检测方法。针对上述问题,文中首先提出了一种基于时间Petri网的中断系统建模方法,其能够对中断的并发性和时间序列进行有效建模。然后,为方便后续形式化验证,将时间Petri网模型转化为与之等价的时间自动机模型,并提出一种符号编码方法对时间自动机进行形式化编码,将系统模型与所需验证性质编码为一阶谓词逻辑公式,从而能够通过SMT对时间自动机的不变属性进行BMC验证。最后,通过SMT求解器Z3进行实验,实验结果证明了所提方法的有效性。
量子粒子群优化智能算法的高精度分子对接方法研究

分子对接是药物发现与设计的重要方法,采用计算机优化和模式识别方法在三维结构数据库中搜索几何、化学特性与特定药物结合位点相匹配分子的计算机辅助药物筛选是当前分子对接的研究热点,这种问题可以归为参数优化问题。本文提出了一种基于改进的量子粒子群(quantum-behaved particle swarm optimization,QPSO)算法的分子对接方法,用于处理大自由度的分子对接计算,并与基于标准QPSO算法和经典拉马克遗传算法的分子对接方法进行了比较,实验结果表明新方法无论是在对接能量还是对接准确性上,明显优于其它2种方法,尤其是在配体复杂性不断增加的情况下,非常适用于高柔性分子对接问题。
基于认知流量的中继协作MAC机制

为了解决现有中继节点选取方法中,以信道状态信息作为中继节点的选取标准,忽略了节点业务的影响。在此基础上,提出了一种基于节点空闲时间的认知流量中继协作MAC(ITTC-MAC)机制。ITTC-MAC以节点等效数据传输速率作为中继节点的选取标准,建立和维护相关信息,动态选取最优的中继节点参与中继协作通信。NS2仿真结果表明,该机制可以有效提高网络的吞吐量。
基于部分微粒更新改进的具有非线性动态惯性因子的微粒群新算法

微粒群算法是基于群体智能的全局优化算法,在许多领域得到广泛的应用。该算法具有简单易于实现的优点,但是容易陷入局部极值尤其是采用动态惯性因子。采用动态惯性因子有利于提高微粒群算法的收敛速度,但降低了其全局搜索能力。针对具有惯性因子微粒群算法在进化过程中微粒群多样性减弱容易陷入局部最优值的问题,以非线性动态惯性因子的微粒群算法为基础,提出1种基于部分微粒更新的微粒群算法,以提高微粒群的多样性,进而提高了算法的全局搜索能力。新算法利用Sphere、Rastrigin、Rosenbrock、Schaffer、Freudenstein-Roth、Goldstern-Price 6个经典测试函数进行测试,并与基本微粒群算法和具有线性动态惯性因子微粒群算法比较。通过模拟优化比较,新算法寻优效率高、全局性能好、优化结果稳定,新算法能有效提高微粒群的多样性,具有较好的收敛性能和全局优化能力,尤其适合多峰函数的优化。
一种多接口多信道VANET动态信道分配算法研究

为了合理地实现多接口多信道车载自组织网络(VANET)车辆节点间通信信道的动态分配,提出了一种基于通信双方车辆节点信道切换队列的动态信道分配算法。定义了车辆节点的射频接口状态,给出了信道的性能因子以及信道切换队列的生成方法,通过综合考虑通信双方车辆节点的射频接口状态和信道切换队列,快速自主地建立通信链路,从而解决了信道公平接入和分配不合理的问题。通过软件仿真比较可以看出,该算法实现了信道的动态分配,减小了平均端到端时延,增加了网络平均吞吐量,显著提高了多接口多信道VANET的网络性能。
以培养计算思维为导向的大学计算机基础课程教学改革与实践

为培养大学生的计算机能力,计算机基础课程教育有必要改"知识传授为导向"为"计算思维能力培养为导向",重新构建凸显"面向应用、突出实践、着眼能力"特点的大学计算机基础课程体系和以信息素养和应用能力培养为主线的"模块化、多层次"的实验教学体系,对"大学计算机基础"课程和课程体系中第二层次的重点核心课程进行全面改革,在课堂教学中运用与专业相融合的多元化教学模式,并在建设多元化教学资源平台基础上将能力培养渗透整个专业学科课程教育中,全面提升大学计算机基础课程教育质量,对大学计算机基础课程的教学改革进行了初步的研究与实践。
基于DES和RSA加密的邮件系统

随着网络技术的发展,电子邮件的使用越来越多,其安全性也得到越来越多的关注。论文设计的安全电子邮件系统是以对电子邮件内容加以保护的方式,即采用DES加密算法,保证邮件内容在被发送到互联网上之前被加密成为密文,并将公开密钥技术RSA用在电子邮件系统中加密DES密钥,从而有效地实现了电子邮件内容的安全性和保密性以及密钥分配问题。
改进的暗原色先验去雾算法

为了更好的消除图像中部分雾气,解决传统暗原色先验去雾算法的不足,提出了一种改进图像去雾算法.采用自适应取界获取暗原色区域块,对大气光强进行区间估计,改进了透射率修复方法,通过引入一种容错方法,使算法能更好地处理不满足暗原色先验的强光区域.实验结果表明,改进算法能有效去除图像的雾气和强光区域.
基于多目标优化的机场行李运输车辆调度问题研究

行李装卸是指将旅客的托运行李装上飞机或从飞机上卸载下来的一种机场地面保障服务,行李运输车是民航使用的在机场地面运输旅客托运行李的特种车辆。目前机场普遍采用的单车服务单航班的车辆调度方式,车辆的使用成本高、效率较低,且无法保证任务量的均衡。在建立的机场行李运输车辆调度模型的基础上,首先利用最邻近算法构建由一个出港航班和一个到港航班组成的车辆行驶总路程最短的子路径集合;然后依据子路径间的时间衔接关系对子路经进行优化组合,将所有子路径任务合理分配给行李运输车,实现所需车辆数最少和车辆任务量均衡的目标;最后,应用机场实际算例进行仿真试验,通过对试验结果的分析,验证了所建模型及求解算法的合理性和有效性。
基于改进萤火虫算法PID控制器参数优化研究

PID控制器仍是现今应用最广的控制器。但由于其被控对象具有高阶非线性等特点,传统的PID参数整定方法使系统易出现超调、震荡,控制系统性能变差等问题。为改善系统性能,提出一种萤火虫算法的智能优化策略,引入非均匀变异算子和自适应步长策略改善全局搜索能力和局部求精能力。将PID的三个参数作为萤火虫,以误差的时间积分函数绝对值的倒数作为适应度,进行PID参数整定。利用MATLAB仿真软件进行仿真,并与传统的PID参数整定方法(Z-N法)进行比较。结果表明,萤火虫算法的PID参数整定方法可以提高系统的性能,实现最优整定。
基于HTML5大文件断点续传的实现方案

在Web应用中,文件上传是一个常用的功能,而目前的文件上传方式在处理大文件上传方面不尽人意,常常因为文件过大或者网络中断导致上传失败,不得不重新上传。随着HTML5相关技术的发展,出现了一系列对文件操作的API,如File List、Blob、File、FileReader等接口,使得Web端能够使用Java Script对本地文件进行分片操作进而实现文件断点续传功能。本文在此基础上解决了服务器端文件合并过程中用户等待超时问题以及如何保证合并文件正确性的问题。
基于自重构粒子滤波算法的目标跟踪

该文提出了一种对粒子滤波跟踪器进行分裂和合并的自重构算法.该算法能够通过分裂跟踪器以应对复杂多变的跟踪环境,同时,合并过程能够从多个跟踪器中选出最优跟踪器,合并冗余的跟踪器以达到减少计算量的效果.通过使用分裂和合并,能够在使用较少粒子的情况下达到很好的跟踪效果,在一定程度上解决了粒子滤波跟踪中计算量大的问题.分裂出来的多个跟踪器能够同时从多个位置多个方向跟踪目标,降低了复杂环境下目标跟踪丢失的概率,避免了粒子滤波中跟踪丢失时需重新选定目标的问题.通过和其他算法对比,文中提出的算法在跟踪准确性和跟踪效率两个方面表现优秀.
扩展粒子系统实时绘制逼真的龙卷风

龙卷风模拟一直是计算机图形学的热点之一,龙卷风的漩涡控制以及交互性尤其具体有挑战性.首先,为使粒子系统的粒子旋转起来,引入漩涡场,使得粒子在漩涡场作用下产生旋转效果;其次,在龙卷风的最外层添加一层高速旋转的透明的刚体,借助碰撞检测算法,将龙卷风与大物体的交互转化为刚体和物体的交互;然后,在光线投射算法生成纹理数据之后,给纹理数据进行光晕、太阳光等处理,采用GPU并行加速机制提高模拟实时性,模拟出逼真绚丽实时的龙卷风;最后,设计多组龙卷风以及龙卷风的交互实验实例,完成不同形态龙卷风及其交互效果验证.
基于频率的Snort规则集构造方法

为提高Snort入侵检测系统的规则匹配效率,提出一种基于频率的Snort规则集构造方法。Snort系统使用规则集对网络数据包进行匹配分析,发现入侵行为。通过计算数据包样本中各选项的频率,在构造规则树时,采用频率小先匹配的原则,减少匹配次数,提高系统效率。实验结果表明,与Snort2方法相比,该方法配合参数集合匹配的匹配效率较高。
面向分布式流体系结构的多副本积极容错技术

随着互联网环境下计算系统规模的不断扩大,分布式流体系结构的可靠性问题面临着严峻的挑战。以多模冗余容错技术为基础,针对软错误提出了一种面向分布式流体系结构的多副本积极容错技术TREFT,利用三个程序副本进行高效的检错与纠错。在分布式流体系结构原型系统上的实验结果表明,该技术能有效提高系统的可靠性,具有较低的容错成本,平均增加10.77%的容错开销。
在中国计算机自动测量与控制技术协会第五次会员代表大会上讲话

[正文]各位领导,各位代表,同志们,中国计算机自动测量与控制技术协会第五次代表大会,回顾总结了协会五年来的工作,特别是总结了第四届理事会的工作,确定了协会今后的工作目标和任务,选举产生了新一届理事会,我代表协会挂靠单位,中国航天科工集团公司,对大会成功召开表示热烈祝贺,对新一届理事会理事的当选表示热烈祝贺!我本人这次荣幸地在本次代表大会上,当选为理事会的理事长,过去对协会的建设贡献不多,一方面感到惭愧,另一方面也感到责任也很重,在此,我诚挚的感谢理事会成员,对
异构网中具有服务质量约束的高能效微基站部署方法

针对异构密集网络中基站密度增大带来的网络能耗过高问题,提出一种异构网络中高能效的微基站部署方法。首先,考虑微基站候选位置可行性以减轻环境条件的影响;其次,在不同的用户分布状态下对优化目依概率进行加权,增强了对不同用户分布场景的适应性;最后,通过对微基站部署数目、位置和功率配置的联合优化来提升系统能效,并提出了一种高能效的微基站部署算法。仿真表明,与仅优化微基站数量和部署位置的方法相比,所提方法提升能效最高达26%。实验结果表明,相对于不考虑功率的部署方法,所提出的联合优化方法能够有效提升系统能效,同时验证了微基站功率对异构网络能效的影响。