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

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

电子测配色和分色制版技术在纺织印染工业中的应用

在纺织印染、染料等学科中，颜色的度量有着相当重要的作用和广泛的用途。纺织是最古老的行业之一，新的纺织技术不同于传统纺织技术，电脑测色与配色、电子分色制版等新技术又赋予了它新的内容。同时，古老的纺织业又为最现代的纺织技术提供了广阔的舞台。     

国内局部增氧助燃技术研究及应用进展

局部增氧助燃技术能用于各种燃料和大多数工业炉窑。介绍了局部增氧助燃技术的基本概念；然后通过国内有关典型应用实例说明：局部增氧助燃技术用于节能和环保时具有显著的综合效益；最后通过实测数据证明：用富氧助燃时，能明显降低燃料的燃点和燃尽温度，并大大缩短燃尽时间。     

Analysis and compare of location technologies supporting LBS

Location technology is the key part of location based service. Different technologies have different accuracy, modifying to network and cost of operating. Also these technologies have limitation to network. This paper compares existing popular location technologies and gives some suggestions about choosing of location technologies in GSM and CDMA systems.     

网络技术与伦理道德矛盾的化解

信息网络的发展，促进了社会生产、生活的深刻变革，同时也产生了一系列的网络技术与伦理道德之间的矛盾。网络道德具有自主性、开放性和多元性的特点，化解网络技术与伦理道德矛盾的对策主要包括加强网络主体的道德自律、加强社会主义网络体制改革、加强多元网络道德原则的支持三个方面。     

基因技术对传统伦理道德的冲击

基因技术的发展使许多传统的伦理道德观念面临着挑战，文章将其主要归结为生命观、公平观和家庭观三个方面，并将基因技术对此三个方面的冲击加以分析。     

技术视野下的人与自然关系

为构建人与自然的和谐相处,现代技术的“双刃剑”效应需要人们理性的思考和认真的对待。本文从马克思主义哲学的角度阐述了技术不同于科学的内涵、负面效应及人的责任;从分析技术悲观主义、技术乐观主义与技术现实主义的基础上审视技术价值观的选择,实施可持续发展的生态文明模式;并要求在意识、科教、法律与道德和国际合作等方面采取措施,促进人与自然关系的和谐发展。     

非形式逻辑视野下的论证评价理论

论证可分为形式论证(人工语言论证)与非形式论证(自然语言论证)。前者是形式逻辑的研究对象,后者是非形式逻辑的研究对象。我们从几个代表性逻辑学定义出发,分析了非形式逻辑产生的背景,讨论了形式逻辑与非形式逻辑的区别,并从非形式逻辑角度探讨了自然语言论证评价的标准。     

IA-32计算机技术课程的教学方法设计与应用

深圳职业技术学院计算机应用工程系对原微型计算机原理课程进行改革，经过对三届学生的教学实践，将《IA-32计算机技术》课程的教学方法归纳为“一个平衡点、一条主线、四个支撑”，并对这种教学方法的设计思想和应用情况进行了描述。     

纯棉针织物活性染料预碱法染色工艺研究

采用传统染色工艺和预减法染色工艺，对纯棉针织物进行染色实验。通过对各自固色率的分析比较，并从活性染料的染色原理进行分析，指出预减法染色可以提高活性染料的固色率。