基于有色Petri网的安全协议安全性仿真

如何验证安全协议的安全性是一项非常重要的工作。提出了一种基于有色Petri网的安全协议形式化描述与安全性仿真验证方法。给出协议的有色Petri网模型,分析协议运行过程中可能出现的不安全状态,利用Petri网的状态可达性判断这些不安全状态是否可达从而验证协议的安全性。针对Diffie-Hellman协议给出了具体的仿真分析过程,证明了这种方法的有效性。     

仿真概念模型的开发过程研究

仿真概念模型是为了满足仿真应用目标而对真实世界进行的首次抽象,它为领域专家、开发人员和VV&A人员提供了关于真实世界的一致规范的描述,它把具体的仿真需求转化成为详细的设计框架.仿真概念模型包括仿真背景,任务空间和仿真空间三个组件,针对它们各自的特点,提出了工程上可用的仿真概念模型的开发过程.     

一种基于前缀广义表的快速间接关联挖掘算法

间接关联是数据挖掘领域中一种数据项之间的关联关系,可有效地应用于市场营销及Web日志分析等领域.现有的间接关联挖掘算法采用Apriori算法框架,需挖掘出所有的频繁项目集,因而存在挖掘效率低的缺陷.为此,提出了一种基于前缀广义表的快速间接关联挖掘算法,该算法无须生成所有的频繁项目集且仅须扫描数据库2遍,可有效提高间接关联的挖掘效率.     

基于故障树加权的柴油机供给系统的可靠性分析

要计算故障树顶事件的概率,必须知道各个底事件的分布类型和参数估计值,由于机械元件的失效数据在过去和将来都是难以获得的,尤其在中小企业的条件下更是如此,从而使设计人员陷入困境.采用故障树加权方法,即使只知道故障树中一、二个事件的失效概率也能预测整个系统的可靠性,并通过柴油机供给系统的可靠性分析得到验证.     

企业收益波动程度的对比分析

应用两种方法：(1)假定销售量为随机变量；(2)假定销售增长率为随机变量，研究企业收益的变化．结果表明：在企业收益波动程度方面，期间成本和债息的使用产生了类似的结果．当销售量大于分界点时，期间成本、债息的应用将增加企业收益的波动程度．但是当销售量小于分界点时，期间成本、债息的应用将会降低企业收益的波动程度．     

用国产全息材料制作假彩色反射全息图技术

利用改变光栅空间频率的方法在国产银盐全息版上制作假彩色反射全息图的技术,给出了国产银盐干版制作的全息图的重现色段同三乙醇胺溶液浓度之间的量化关系.在制作H2的过程中,通过控制乳胶的膨胀程度来改变光栅的条纹间距,并同时调整记录光路,从而使全息图在某一特定照明光角度下,图像的不同区域可重现出不同颜色,达到假彩色编码的目的,并给出相应的理论分析和实验结果.     

黄、东海中华哲水蚤种群遗传的初步研究——I:等位酶分析

采用等位酶分析技术对采自黄、东海4个站位的中华哲水蚤进行了种群分化的研究.共检测了4种酶(EST,MDH,ME和SDH)的5个多态位点.等位基因的有效数目Ae为2.1459,来自4个站位的中华哲水蚤均有较高的杂合度,实际杂合度为Ho=0.5776,预期杂合度He=0.5264;种群间的遗传相似度(I)很高,平均为0.9815,平均遗传距离(D)为0.0193,种群遗传分化程度很低.本研究结果推论,黄、东海之间中华哲水蚤的遗传多样性较高,其差异应为地理种群间的差异.     

黑子南瓜的抗逆性初探

比较了黑子南瓜(Cucurbitaficifolia)和普通南瓜(Cucurbitamoschata)两者根系等形态差异和老幼叶中氨基酸成分和含量和一些元素差异,探讨差异的原因与其抗逆性之间的关系.     

一种基于关联规则的缺省规则挖掘算法

传统的基于Rough集的缺省规则挖掘算法须计算差别矩阵并生成大量的条件属性类，挖掘效率低．为此，本文引入相容关联规则和决策关联规则的概念，提出基于关联规则的缺省规则挖掘算法——DRMBAR，该算法借助FP-tree存储结构挖掘出决策关联规则，并用相容关联规则性质对决策关联规则进行有效修剪后生成相应的缺省规则,DRMBAR可有效地过滤噪声、提高缺省规则挖掘效率，且克服了传统算法依赖于主存的限制，为缺省规则的挖掘提供了一种新的框架。实验结果表明该算法是有效且可行的。     

引人注目的基因减肥法

肥胖基因与抗肥胖基因 1994年12月某日的下午,在美国纽约街头,有一个男人遭到一群年轻女人的“围攻”:“听说可通过基因减肥,这是真的吗?”那个男人就是因发现了肥胖基因而成了新闻人物的弗里德曼博士。 弗里德曼在对肥胖进行研究时,发现体重是正常体重3倍的异常肥胖的老鼠缺少某种基因,他由此推测这种基因是不是就是引起肥胖的“肥胖基因”。