自动导引车系统的有色时延PN-有向图建模

基于有色时延Petri网理论、有向图理论、PN的合成和简化技术,结合烟草行业的卷接包车间为典型实例对自动导引车系统(AGVS)进行分析,构造了AGVS的有色时延Petri网-有向图模型,包括适合于仿真软件开发的AGVS有色时延Petri网模型,适合于路径优化研究的AGVS有向图模型和从有向图模型得到有色时延Petri网模型的转换算法。利用该模型成功的开发了AGVS仿真软件系统AGVSim。     

珠穆朗玛峰地区东绒布冰川冰雪微生物群落及其季节变化

通过流式细胞计数和构建环境样品16S rRNA基因的克隆文库，分析了珠穆朗玛峰地区东绒布冰川冰雪微生物数量和菌群结构特征及其与季节变化的关系。珠峰地区冰雪微生物的16S rRNA基因序列分属于α、β、γ-变形菌纲，放线菌门，厚壁菌门，CFB, 蓝细菌, 真核质体，待定门TM7共 9大类，以γ-变形菌纲为主要类群，其中Acinetobacter和 Leclercia属是整个菌群中的优势属。微生物的数量和菌群结构具有明显的季节特征，夏季微生物的数量高于冬季；菌群结构具有一些共有属种的同时，在夏、冬季雪中具有各自特有的属种，共有属种推测是青藏高原局地源的微生物，序列同源性分析结果表明夏季较多细菌属种与海洋环境相关，冬季细菌则具有更强的耐冷性。微生物明显的季节变化可能是受珠峰地区夏季和冬季不同水汽来源的影响。     

分布交互仿真系统扩缩性模型研究

随着分布交互仿真规模及复杂度不断增加,系统可扩缩性是其面临的主要问题之一,影响系统可扩缩性的主要因素是系统资源受限,采用相应的技术手段可以提高系统的可扩缩性,本文深入研究了系统可扩缩性问题产生的根源,在此基础上提出了一个可扩缩性的数学模型,定性及定量地分析比较了当前各种技术措施的优缺点及效能,该模型对于指导仿真系统的设计具有重要的指导意义。     

基于UML和多线程的AGVS仿真工具设计

基于AGVS的有色时延Petri网和有向图模型，使用面向对象的方法，以基于多线程技术计算机动画仿真功能为目标；以统一建模语言(UML)Rational Rose为工具，Design View和Process View为重点进行了AGVS仿真工具的设计。按照该设计实现的仿真工具已经成功的应用于AGVS的仿真研究当中。     

用于复合服务的白盒加密算法

针对基于移动Agent的服务复合的脆弱性,给出一种白盒加密算法.通过引入有限域上的分块矩阵乘法和带输入输出变换的安全加法器,算法将密钥隐藏在一系列的数据表中,由此实现了基于加密函数的安全数据加密,能够应对白盒攻击环境下密钥泄漏的安全风险.该算法代码体积较小,适合于移动Agent在非固定式服务复合时使用.     

决策在科技创新工作中的应用

在经济全球化和科学技术突飞猛进的背景下,科技创新工作的开展十分重要。同时,决策理论作为管理学的重要理论,在科技创新工作中有着广泛的应用前景。本文根据科技创新和决策理论的相关知识,对两者的关系及决策理论在科技创新工作中的实际应用进行了研究,旨在提高科技创新工作的成效。     

混淆算法研究综述

首先对混淆算法的力量、弹性、执行代价和隐蔽性等性能及其度量作了介绍.随后对各种混淆变换作了简要的叙述和评论.混淆变换主要分为以下几种:第一,词法变换;第二,控制流变换,包括分支插入变换、循环条件插入变换、将可化简的控制流转换为不可化简的控制流,取消循环和控制流恶化;第三,数据变换,包括数组重构变换、变量重组变换、将静态数据转换为与程序相关的数据和数值变量混合变换;第四,类结构变换,包括类熔合、类分裂和类型隐藏.此外,对使用对象和别名的不透明谓词和利用并行技术构建不透明谓词进行了简介,并综述了对混淆算法的攻击方法以及混淆算法的应用.最后对反混淆和对混淆算法的攻击进行了总结,并提出了若干可能的研究方向.     

保护移动Agent的电子交易安全方案

根据对移动Agent在恶意主机上安全问题的分析 ,给出了一个安全的电子交易方案 .该方案改进了强代理签名安全机制 ,使用不可拆分数字签名技术、公钥加密算法和时间戳 ,可以保证客户身份不可仿冒且要求不可拆分、商家身份不可仿冒且开价不可拆分、商家的身份和开价信息对其他商家保密 ,同时还可以抵抗客户或商家通过重放攻击来迫使对方进行额外的交易 .     

水面舰艇编队对反舰导弹的威胁判断研究

现代海战中,对空防御已经成为水面舰艇编队防御的主要内容。对来袭空中目标的有效防御是建立在及时而正确的判断基础之上的,而对空中目标的威胁判断又是对空火力有效分配和积极防御的基础。水面舰艇编队面临的空中威胁以反舰导弹为首要,本文通过为编队划分威胁判断区域,并在不同区域选取合理的指标,建立基于模糊集合理论的水面舰艇编队对反舰导弹的威胁判断数学模型。