基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

基于被动行走原理的双足机器人步态规划

为解决四连杆双足机器人的平面步态规划问题, 提出基于被动行走的平面步态规划。基于3毅向下坡面完全被动行走的动力学方程, 利用角度不变控制方法施加控制力矩, 得到机器人在水平面上的动力学模型。结合常数时间放缩方法对平面参考轨迹进行时间放缩, 得到机器人在水平面上步幅不变, 周期可变的行走步态。通过Matlab 软件数值仿真结果表明, 该研究方法是可行、有效的。     

跟踪微分器改进算法的应用分析

为克服传统的跟踪微分器在进入稳态后出现的高频振颤现象,引入了一个新的综合控制函数.利用Matlab/Simulink软件中的S-函数对跟踪微分器进行了建模、封装,通过仿真技术进行了实验分析与研究.数值仿真结果表明,应用新的综合控制函数的跟踪微分器,不但能快速无超调地跟踪输入信号,而且消除了输入信号的微分稳态时的高频振颤...     

切口零件冲击破坏的SPH模拟

简要介绍了光滑粒子动力学方法的基本思想和基本方程，利用该方法编制程序对带长方形切口式样的冲击破坏过程进行了数值模拟。给出了用这种方法模拟三维冲击破坏的一个算例，并对有关问题进行相关的讨论。     

浅谈园林植物的配置

园林绿化的效果在很大程度上取决于园林植物的选择和配置,在配置园林植物时,我们要从协调性,美观性,符合生态要求等方面统筹考虑。     

运动品牌代言人可信度来源因素分析

代言人可信度是指消费者对代言人的信赖程度，它对运动产品的销售起着重要的作用，我们可以从专业性、可靠性、吸引力、知名度、曝光率五个方面考查代言人的可信度，选择合适的产品代言人，最大程度的发挥代言人广告的作用，促进产品的销售。     

巴氏杀菌奶加工技术及质量控制现状

巴氏杀菌奶是国际上公认的由生鲜奶低热加工杀菌的风味新鲜纯正、营养全面的牛奶制品,欧美等发达国家和地区90%以上的液体乳产品为巴氏杀菌奶。我国巴氏杀菌奶近年来发展迅速,年增长率保持25%以上,是今后乳业产品结构调整的重要产品类别,将成为城市乳业的主导产品,成为乳品工业发展新的经济增长点。对适合巴氏杀菌奶加工的原料乳选择、加工主要技术、货架期、巴氏杀菌奶中主要腐败微生物及检测、巴氏杀菌奶的鉴别及使用微滤技术提高巴氏杀菌奶品质和货架期等研究进展进行了综述。     

采煤机故障诊断专家系统的知识表示与知识获取

以 Ａ Ｍ５００ 采煤机故障推理网络为对象,讨论采煤机故障诊断专家系统中“规则架＋ 规则体”的知识表示方法及其知识库内部结构,以及专家系统的知识获取设计。     

帽儿山针阔混交林及纯林土壤碳代谢微生物群落特征研究

【目的】评价帽儿山地区纯林与混交林(红皮云杉纯林、长白落叶松纯林、胡桃楸和红皮云杉混交林、胡桃楸和长白落叶松混交林、水曲柳和红皮云杉混交林、水曲柳和长白落叶松混交林)土壤生态系统中参与土壤碳代谢的微生物群落特征。【方法】借助Biolog^MT技术,比较了纯林与混交林之间根际土壤微生物对不同碳源类型的利用情况。【结果】不同林型土壤微生物平均颜色变化率(AWCD)呈现阔叶林高于针叶林,胡桃楸针-阔混交林型中针叶林土壤微生物AWCD值优于与水曲柳混交林型。胡桃楸针-阔混交林中,针叶林的Shannon指数显著地高于水曲柳针-阔混交林。Simpson优势度指数与Shannon多样性指数变化趋势较为相似。羧酸、氨基酸和糖类这3类碳源是导致微生物代谢呈现差异的主要碳源。长白落叶松、红皮云杉与水曲柳混交后对糖类、羧酸和氨基酸3种主要碳源的利用程度均有所下降,可能是导致AWCD值较低的原因之一。【结论】胡桃楸针-阔混交林比水曲柳针-阔混交林以及针叶纯林更有利于土壤微生物群落的碳代谢功能发挥。     

简并引物法克隆保加利亚乳杆菌β-N-乙酰氨基己糖苷酶基因

β-N-乙酰氨基己糖苷酶(β-Hexcase)在细菌、植物和动物中广泛存在,具有典型的外切酶活性并可以催化切除β-N-乙酰氨基己糖的非还原性氨基己糖残基,在细菌细胞分裂中具有重要作用.选取与保加利亚乳杆菌LJJ亲缘关系近的菌种的β-N-乙酰氨基己糖苷酶蛋白序列,利用ICO-DEHOP和CODEHOP在线简并引物设计软件设计β-Hexcase简并引物,选取Hex1-f和Hex1-r引物对,以LJJ基因组DNA为模板经PCR扩增得到614 bp产物.PCR产物连接pGEM-T质粒载体后克隆至大肠杆菌DH5α中,筛选阳性克隆提取质粒进行测序.测序结果显示产物长度为614 bp,该DNA序列经blastx比对发现与其他已知β-Hexcase基因具有相似性,表明所克隆的序列即为LJJβ-Hexcase的基因片段.β-N-乙酰氨基己糖苷酶基因的获得为进一步研究β-N-乙酰氨基己糖苷酶与保加利亚乳杆菌自溶的关系奠定了基础.