基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

化工设备使用与保养技术分析

化工行业是我国工业发展的重要组成部分,是我国重要的产业类型。化工设备安全平稳运行是保证企业完成生产任务的重要因素,也是保证企业安全生产和利益最大化的基础。本文对化工设备产生故障的原因、故障出现的规律及保养维护措施等进行了探讨分析。     

国家层面创新能力的评价

 综述了创新、创新监测与评价的研究进展，辨析了国家创新能力、创新型国家和科技强国的内涵特征，分析了中国创新能力在世界上的相对位置，探讨了建设科技强国的经验及启示。     

带变量核的分数次积分交换子在变指数Herz-Morrey空间上的有界性

证明了带变量核的分数次积分算子T_(Ω,μ)与Lipschitz函数b生成的高阶交换子[b~m,T_(Ω,μ)]在变指数Herz-Morrey空间MK_(q,p)~(α,λ)(·)(R~n)上的有界性.     

对高职数控专业毕业综合实训的探讨

本文探讨了数控技术专业毕业综合实训的改革思路，提出按职业资格标准强化技能培训，使学生在毕业前获得数控机床操作职业资格证书，切实提高学生的职业素质与就业竞争能力。     

区域旅游资源调查中遥感技术应用研究

针对遥感技术的特点，分析了遥感技术在区域旅游资源调查中的作用，阐述了目视解译法、类比法、典型地区调查法和资料汇集法，以及访问座谈、发放调查表和旅游制图等辅助方法在确立解译标志时的应用。     

H.A.别尔嘉耶夫技术哲学思想初探

介绍了俄国宗教哲学家别尔嘉耶夫对技术和机器以及现代文明的基本看法。从马克思主义唯物史观的角度，指出他对技术内在矛盾、技术对人类自身发展的制约等所做分析的合理性，同时指出他为摆脱技术奴役所做尝试的不可行性。     

简论技术价值合理性

本文从技术过程论观点出发,结合合理性理论研究成果,提出技术价值合理性概念.通过对技术价值活动过程的考察,揭示技术价值合理性的本质规定是:合目的性与合规律性的统一、合价值性与合工具性的统一、合需要性与合效应性的统一.     

科技编辑平衡范畴

从编辑学角度分析了平衡范畴的含义、类型和特性．认为质平衡是具有科技编辑特色的平衡范畴类型．平衡范畴具有方法论意义的特性在于：平衡态较易把握；非平衡态引导深化；平衡与非平衡始终是对立统一的．科技编辑应树立平衡意识，充分发挥平衡范畴及其方法的理论意义及实践价值．     

健康住宅建设技术要点分析

通过对健康住宅建设技术要点的分析介绍，阐述了它对我国人居环境、健康的影响，以及它的重要性和对生态环境可持续发展的影响。并结合国内外健康住宅发展状况，提出了我国建设健康住宅应注意采取的技术措施及评价指标。