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

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

围长为4的没有某些圈的平面图的3-可选择性

对于图G=(V,E),给G的每一顶点v一个颜色列表L(v),G称为L-可选择的,如果存在G的一个着色f,使得对于任意的uv∈E,都有f(u)≠f(v),而且f(v)∈L(v),对于任意的v∈V(G);G称为k-可选择的,如果G为L-可选择的对于任意的满足L(v)=k的L.本文我们证明围长为4的没有8-,9-和13-圈的平面图是3-可选择的.     

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

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

《MCAI课件设计与制作》 实验教学体系构建与实践

《MCAI课件设计与制作》是一门实践性很强的新课程，实验教学目前还是薄弱环节。实验教学体系的构建与实施包括确立科学的教学目标，模块化的教学内容，启发式的教学设计，注重实践的教学评价等。     

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

巴氏杀菌奶是国际上公认的由生鲜奶低热加工杀菌的风味新鲜纯正、营养全面的牛奶制品,欧美等发达国家和地区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-乙酰氨基己糖苷酶与保加利亚乳杆菌自溶的关系奠定了基础.     

4种农药对松梢斑螟的防治

利用百虫净、惠新净、阿维烟剂、灭幼脲4种无公害农药对松梢斑螟(Dioryctria pryeri Ragonot.)初龄幼虫进行了防治试验.实验结果表明:阿维菌剂对松梢斑螟的防治效果是73.8%,最适药量为225 mL/hm2.     

《机械原理》教材编写探讨

在知识经济时代人才的素质起决定性的作用,而素质教育教材是非常关键的一项。针对现在机械原理现有教材进行分析,提出现有教材所存在的问题,并对该问题进行分析提出教材编写的发展方向,加快大学中国教学改革。     

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

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