一种基于LDA的在线主题演化挖掘模型

基于文本内容的隐含语义分析建立在线主题演化计算模型,通过追踪不同时间片内主题的变化趋势进行主题演化分析。将Latent Dirichlet Allocation(LDA)模型扩展到在线文本流,建立并实现了在线LDA模型;利用前一时间片的后验概率影响当前时间片的先验概率来维持主题间的连续性;根据改进的增量Gibbs算法进行推理,获取主题-词和文档-主题的概率分布,利用Kullback Leibler(KL)相对熵来衡量主题之间的相似度,从而发现主题演化中的"主题遗传"和"主题变异"。实验结果表明,该模型能从互联网语料中找出主题的演化趋势,具有良好的效果。

多目标优化的进化环境模型及实现

传统多目标进化算法主要是模仿生物自身的进化过程,没有考虑环境对进化的作用,缺乏能动的、指导性的搜索.提出一种基于进化环境的多目标进化模型,利用进化环境记录群体进化过程中产生的知识信息,并反过来指导群体搜索,实现环境与群体的共同进化.此外,给出基于进化环境的多目标进化模型的一种算法实现,利用环境域和单元域表示进化环境,设置了一组环境规则,从而实现进化环境对进化群体的约束、促进和导向作用.通过与5个代表性经典多目标进化算法,对12个具有不同特征和不同求解难度的测试函数,在Generational Distance、Hypervolume和Inverted Generational Distance三项性能指标上进行比较实验,验证了文中所提出的算法具有良好的收敛性和综合性能.

基于Qt的专用有限元软件GUI模块的设计与开发

在工业软件领域,图形用户界面(GUI)模块的友好交互性对于专用仿真软件的工程应用和推广至关重要。针对有限元分析流程和专用功能定制开发的设计需求,在 Windows操作系统下,以用户需求为中心,采用多窗口界面设计方式,基于 Qt技术开发一种专用有限元软件的图形用户界面模块,实现软件界面生成管理、界面元素布局管理、界面消息相响应、界面语言切换及模型视图交互操作等功能。通过 HAJIF实例验证,该模块具有易扩展性和可定制特性,可以很好地推动专用软件的研发进程,并且在跨平台移植方面具有一定优势。

支持强度分析的轻量级材料数据库的设计与开发

航空工业中,材料性能及相关数据作为飞机结构设计和产品研制的重要基础,在结构分析、强度计算、材料研制加工、产品设计、结构选材和失效分析等方面有大量应用。材料数据库及相关信息技术则是有效利用这一资源的关键和基础。然而商业材料数据库数据不完善,缺乏和工程分析的专业性结合,并且维护成本过高。因此,针对结构强度分析流程,采用面向对象的程序设计思想和SQLite数据库技术,完成了轻量级工程材料库的设计与开发,并实现了与HAJIF软件的无缝集成。既验证了数据库的可行性,又为实际工程应用提供了方便。

支持RFID对象包含关系追溯的几何向量编码策略

随着射频识别技术的成熟和制造成本的不断下降,现代供应链系统已开始应用RFID技术对流通对象进行实时跟踪和追溯.论文针对供应链环境中RFID对象的包含关系追溯需求及包含特征,提出一种有效的几何向量编码策略.首先,根据读写器自动探测到的记录设计一种时态包含树,以建立不同对象之间的时态包含关系.然后,基于两个向量之间可以插入无限向量的思想,根据容器对象向量包含的几何夹角对其所包含的对象进行向量计算和分配,并讨论了向量计算优化及向量更新策略.实验结果表明,与基本向量编码方法相比,所提出的几何向量编码策略在编码初始化时间、向量存储空间、向量更新时间及追溯查询等方面都具有较好性能.

UM L顺序图的形式化定义与特性分析

以统一建模语言(UML,Unified Modeling Language)规范为基础,给出UML顺序图及组合顺序图的形式化定义;并在此基础上,详细讨论了UML顺序图中对象的消息发送特性和消息接收特性,给出了发送消息集合和接收消息集合的形式化定义;同时进一步分析了对象消息发送和接收之间的一致性问题;最后,通过实例分析,对UML顺序图的特性作进一步的解释.该形式化定义与特性分析为基于UML顺序图的模型转换和模型验证提供了必要的前提条件,也为基于UML顺序图的测试用例的自动生成奠定了基础.UML顺序图的形式化描述可用于对软件结构的理解和构造可视化建模工具.

基于图过滤的快速密度聚类双层网络推荐算法

信息过载问题使得推荐系统迅速发展并广泛应用,同时也出现不法商家将虚假消费记录定量地输入到系统数据库从而改变推荐系统的推荐结果以获利.因此,本文围绕3个问题展开,即:为了提高推荐系统对虚假评论的鉴别能力,首先需要准确标注虚假评论的类标,如何能获取大量准确标定的虚假评论信息;如何有效过滤虚假评论从而提高推荐的可靠性;如何实现一种高效可靠的推荐系统.针对虚假评论信息难以准确标定,本文提出了一种基于文本生成式对抗网络的自动点评技术,依据历史评论文本自动生成虚假评论文本,并依据情感分析确定生成文本的对应评分;为了提高推荐系统对包含虚假信息数据的推荐效果,本文提出了一种基于图过滤的快速密度聚类双层网络推荐算法.该算法首先提出了一种能快速确定节点执行度阈值的基于图的过滤器,有效过滤数据内虚假信息,并设计了一种快速密度聚类双层网络推荐算法,提高推荐效果.将所提出的推荐算法应用到Yelp数据集上展开试验,验证本文提出的推荐方法的有效性.

新型指控系统军事信息服务QoS技术研究

随着军事变革和信息技术的发展,传统的指挥控制系统已经无法满足联合作战的需求,下一代指控系统必然是基于面向服务思想构建的。针对该情况,介绍了军事信息服务的概念,建立了军事信息服务QoS指标模型,详细分析了新型指控系统军事信息服务QoS应具备的各种关键属性。在此基础上,提出了军事信息服务QoS数据的处理方法,包括QoS数据的监控、管理、计算,并对组合服务QoS计算方法做了探讨,最后给出了结论。

采用R树和轨迹分段的HMM高效地图匹配方法

针对传统隐马尔可夫模型(hidden-Markov model,HMM)地图匹配算法无法高效处理大量轨迹数据的问题,提出了一种改进的HMM地图匹配算法。采用R树空间索引方法为路网建立空间索引,基于轨迹点位置变化率对GPS轨迹数据进行分段,并利用R树索引快速确定子轨迹所属的候选路段,在子轨迹中挑选关键点代替整段子轨迹判断所属路段,根据结果完成各子轨迹的地图匹配。仿真结果表明:与传统HMM地图匹配算法相比,改进算法可以同时减少道路搜索和轨迹点遍历的工作量,大幅提高算法效率。

基于Zigbee通信的室内定位系统

为解决常规的模型存在比较明显的误差,定位时通常不能实现预期定位的问题,设计了一类室内定位系统。该系统很大程度上结合了标准化的RSSI(Received Signal Strength Indicator)测距模型,并应用了高精度的3边定位算法。实验表明,该系统能在很大程度上解决定位误差问题,误差减小15%,得到可靠的定位结果。

基于时空注意力深度模型的动态链路预测

动态网络的链路预测在复杂网络的各个领域均有应用.动态网络的节点和链路随时间动态变化(出现或者消失),因此其链路预测比静态链路预测更具有挑战.本文提出一种时空注意力的深度模型(GLAT),通过提取动态网络的时空特征,实现端到端(end-to-end)的动态网络的链路预测.GLAT通过注意力长短时记忆网络(LSTM-attention)和注意力图卷积网络(GCN-attention)相结合,利用LSTM-attention学习网络节点连边状态的时序信息,利用GCN-attention学习每个时刻网络的结构特征,通过提出的两种时空注意力机制可有效关注与动态链路预测任务相关的时空特征.本文对四个真实世界的数据集展开实验验证,GLAT模型在AUC、GMAUC、误差率这几个指标上分别比对比算法提高了9. 41%、13. 76%、82. 41%.本文使用度中心性(DC)和链路介数中心性(EBC)来衡量每条链路的重要性,实验证明,GLAT模型在这两个重要性链路上的预测误差率上比对比算法分别提高了32. 2%、17. 77%.因此GLAT模型在预测准确性,错误率和动态跟踪方面优于现有方法.

信息化进程的研究

针对信息化发展中各个阶段的显著特点,将其划分为信息化建设、信息安全保障和信息安全评价指标体系3个重要过程;并针对每个过程进行了研究,说明了3个阶段之间的关联关系;提出了适应于中国国情的信息安全保障IA(Information Assurance)的"运筹"(Operational)机制;研究了以"安全基线政策"(Security Baseline Policy)为核心的信息安全评价指标体系(Indicator)。最后,总结了每个信息化过程的发展特征,分析了今后的发展方向。

机器人实时定位与导航系统的设计研究

机器人定位导航是机器人学的一个重要研究领域,是移动机器人实现完全自主的关键,精确的定位是完成导航任务首要必须解决的关键问题。本文提出了一种改进的机器人的定位和导航算法,提出的该方法可以有效的解决机器人导航过程中的定位、累计误差修正等问题,实验结果表明,本文提出的方法误差更小,使得机器人策略路线的制定更加方便可靠。

关于加快我国软件产业发展的几点思考

文章介绍了软件产业发展的现状以及存在的问题 ,探讨了影响软件产业发展的几个因素 。

不确定工人体能消耗的多目标U型拆卸线平衡问题

鉴于工人的体能消耗不但影响拆卸线生产效率,而且因其自身状态、熟练程度和操作习惯等存在不确定性,基于三角模糊数首次提出不确定工人体能消耗的U型拆卸线平衡问题,并建立以最小化工作站数量、空闲时间均衡指标和工人体能消耗指标为优化目标的数学模型。提出一种改进磷虾算法,结合模型问题特征设计磷虾附近个体感应、磷虾觅食和磷虾扩散3个操作,并设计了一种反向学习机制以增强算法的全局搜索能力。运用Pareto思想和拥挤距离机制筛选获得多个非劣解。通过求解19个基准算例并与现有文献的求解结果对比,验证了所提算法的优越性。最后,将所建模型和所提算法应用于拆卸电脑显示器的实际案例,通过对比验证了模型的实用性和改进磷虾的优越性。

基于邻居节点搜索的社团发现算法

社团结构是复杂网络中的一种重要结构属性.为快速准确的得到社团结构,提出一种基于邻居节点搜索的社团发现算法.由该算法得到的相应社团结构个数准确率较高,并且有较低的时间复杂度.算法从网络中度最大的节点出发,结合邻居节点搜索和邻居节点投票,将搜索从网络的局部扩展到整体,最后形成多个互不相交的社团.算法的运行时间接近O(m+n).算法在五个真实的基准数据集上进行了测试,并与其他算法从划分的社团个数、模块度值、运行时间和归一化互信息进行对比,实验结果表明该算法在划分准确性和运行时间上均有较好的表现.

一种基于椭圆曲线数字签名的可认证密钥分配方案

文章提出了一种基于椭圆曲线数字签名的可认证密钥分配方案,并对其安全性进行了分析、讨论。在此基础上提出了一种由会议主席产生会议密钥并秘密地传送给会议参加者,会议参加者可以对会议密钥及其签发者进行认证的会议密钥分配方案。

基于CAD与CAE异地协同的齿轮轴设计

利用机械设计中广泛使用的AutoCAD软件与工程分析ANSYS系统实现设计与分析的异地协同。AutoCAD设计绘制的齿轮轴经由局域网或互联网 ,传输至安装有ANSYS系统的微机终端 ,ANSYS系统对所传数据进行识别和转换后开展静力响应分析 ,并将分析结果反馈供设计方评估和组织改进 ,必要时可重复多次传递和分析过程 ,针对齿轮轴的协同设计研究 。

基于视觉的四旋翼飞行器稳定飞行控制

针对室内四旋翼搭载的常规惯性测量单元采集的速度具有很大误差,在实际飞行过程中无法定点悬停的问题,搭建了一套基于视觉的小型室内四旋翼飞行器,应用串级比例、积分、微分控制算法(PID:Proportion Integral Differential)控制飞行器。实验结果显示,此方法有效解决了室内或密闭环境下四旋翼在悬停飞行过程中水平漂移的问题,能使四旋翼飞行器在室内的环境下平稳飞行。

基于身份的代理签名方案

辫群是一种非交换的无限群,该群中有许多困难问题是不可解的,如字问题、共轭问题和根问题等,利用这些困难问题可以去设计一些密码协议。介绍了辫群的基本概念、两个重要性质和辫群中的困难问题,在此基础上,利用辫群上的共轭查找问题构造了一个基于身份的代理签名,并对它的安全性进行了分析。