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

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

通用雷达装备模拟训练系统及其关键技术研究

针对当前模拟训练系统功能单一、型号专用、开发效率低、水平参差不齐等问题，提出了基于PLSE（Product Line Software Engineering）理论的仿真平台概念、通用雷达装备全任务模拟训练系统概念和面向领域的研究方法。建立了外观模型、机理模型、人机交互模型、训练评估模型和系统结构模型的模拟训练系统模型体系，基于此提出了模拟训练系统的四种典型模式。攻克了全任务模拟训练系统研发中的四项关键技术：①提出并实现了面向维修案例的故障建模、仿真和评估方法；②采用USB（Universal Serial Bus）技术建立了基于实装专用部件的人机交互设备通用设计方法；③应用分布仿真高层体系结构HLA／RTI解决了模拟训练系统中的紧耦合交互问题；④建立了基于组件技术的模型规范和软件体系结构，实现组合式的仿真应用构建模式。最后介绍了针对通用雷达装备领域构建的仿真平台和一种虚拟式全任务模拟训练系统。     

浅谈高速公路施工中的工程质量管理问题

高速公路的设计标准和工程质量要求高,必须重视和加强高速公路现场施工中的工程质量管理问题。本文从提高全员质量意识、重视工地试验室建设、重视现场跟踪检查、采取有效的质量奖罚措施、提高设计质量等方面较详细地阐述了高速公路现场施工中的质量管理问题。     

图式对个体认知发展的影响

认知图式是认知心理学研究的一个重要领域,不同时期的心理学家对认知图式的作用进行深入的探索。本文从图式对认知活动的功能出发,探讨了图式在个体认知发展中的积极影响和消极影响。     

围长为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-可选择的.     

道德法则是德性的纲维——康德的道德教育原则及方法探微

在康德看来,道德教育必须秉承精确的原则和正确的方法。道德教育的核心是建立一种思维方式,即思入本体,体认自由和道德法则的实在性,并使之成为德性的纲维。道德教育不能采取培养道德习惯、道德情感和以幸福作为最高原理的方法,而应该引导和启发受教者逐渐获得经过一再提纯的原理,以道德法则直接决定自己意志的动机,而不使之杂入任何经验成分。这对当今的道德教育有极大的借鉴意义。     

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

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

贵阳市卷烟厂易地技术改造工程边坡失稳处理与稳定性分析

边坡稳定问题是岩土工程中经常遇到的问题边坡的稳定性直接决定着工程修建的可行性,影响着工程的建设投资和安全运行。边坡的地质构造往往比较复杂,影响滑坡的因素也很多,与此相对应的处理措施也不尽相同。本文通过贵阳市卷烟厂易地技术改造工程,对1#边坡失稳处理与稳定性进行分析。     

职高美术专业素描教学初探

素描是一切造型艺术的基础。是培养学生造型能力、观察能力、思维能力的手段。因此,我校装潢、幼师二个专业,对素描教学非常重视。 为解决好这一课题。笔者广泛吸取了他人的素描教学之长,结合自己多年来素描教学的体会。从教学实践中摸出一套“三结合”的教学法。它们是:(一)长期作业与短期作业相结合。(二)写实与默记相结合。(三)课内练习与课外创作实践相结合。下面我就这三个方面谈谈个人的看法及做法: