基于约束构造算法的密码协议安全性分析

基于形式化方法开发自动分析工具是密码协议安全性分析的一种有效的方法，然而，由于密码协议参与主体的任意性、消息运算复杂性和运行的并发性，密码协议的安全性分析是高度计算复杂性的难题。基于最近提出的密码协议代数（CPA）模型，采用代数方法描述密码协议活动，精简密码协议描述，提出一个高效的密码协议安全性自动分析算法。该算法通过泛多项式方程求解技术，减少密码协议安全性分析过程中产生的冗余状态数量，并可提供在无限状态空间运行的协议安全性分析。根据该算法，实现了一个密码协议自动分析系统ACT-SPA，应用该系统分析了二十多个密码协议，结果显示系统显著提高了运行效率，并发现了新的密码协议攻击。     

时频分布中交叉项抑制的研究进展

从整个时频分析发展的历史来看，其发展过程是以克服Wigner-Ville分布（WVD）的缺陷为动力的。本文以抑制Wigner-Ville分布中的交叉项为线索，在简要介绍时频分析中已有的一些方法的基础上，综述了近年来在抑制交叉项干扰方面的研究进展，并对现存的有关问题进行了探讨。     

苯的衍生物的HQSAR研究

应用分子全息结构描述子表征69种苯的衍生物建立相关QSAR模型，并且对分子全息产生过程中的碎片区分参数及碎片长度与模型质量的关系进行了探讨．在最佳全息条件下产生的模型相关系数r^2为0．997、交叉验证相关系数q^2LOO为0．841，研究结果表明所建立模型具有良好的拟合效果，同时具有较高的预测能力．     

专利技术速递

1、双量自控互感器 本专利简称（双量互感器），是对已有电流、电压互感器的一种结构与应用改革是一项新颖的基础性技术，其特征是有两个任何频率、相位、数值的交变电势输入本互感器，在电磁电转换过程中合一输出，作为电力，电机、电器、电子、电讯设备运行状态的保护，计量、检测、控制、科教和信息传输等方面应用。     

药品检定动态及质量分析计算机管理系统的开发与应用

掌握、了解药品生产企业的制品质量，用微机进行动态的质量监测，是非常重要的环节。由于计算机运行速度快，信息量大，对随时跟踪显示检定进度和检定状态，及时反映制品质量和检定条件的变化，及早发现生产、检定中的问题，把握生产、检定中的各个环节起着明显的作用。通过对质品质量动态监测和复试制品的质量分析，有利于随时发现生产和检定中的隐患，明显地提高了生产和质量管理部门的工作效力。对加强产、供、销之间的联系，进行实时监控，起到了不可低估的作用。     

陶瓷晶粒生长仿真的最优化方法

针对陶瓷晶粒生长原子线度仿真数据量大、运行速度慢的问题，提出基于原子坐标信息而建立的最优化数据结构：三叉树．将较适用于晶粒生长仿真的空间离散化方法与利于数据编辑的树型方法结合在一起．以适应快速地增加、查找、删除原子数据的需要．针对存储量问题．提出只存储外部原子(边界原子)信息的方法．每个原子含一整型数(integer)．整型数的每一位记录其一个相邻原子是否是内部原子：1表示内部原子．0表示外部原子．程序实现证明．仿真速度比原无序的数据结构提高了一个数量级．为O(n^2/3)；对于n^3个原子。只需存储6n^2。个原子信息．节省了大量存储空间．     

电子装置的抗干扰措施

如今电子装置在煤矿生产中应用非常广泛。但由于煤矿生产中环境非常恶劣，各种干扰直接影响电子设备的正常运行，所以，在引进电子装置时，应考虑设备的干扰措施，使电子装置稳定运行。这里将各种干扰的种类及抗干扰技术加以分析说明。     

上海发布公共信息系统安全测评管理办法

为规范上海市公共信息系统安全测评，保障公共信息系统正常运行，2006年5月7日上海市政府58号令发布了“上海市公共信息系统安全测评管理办法》，于5月30日予以公布，并将于2006年7月1日起施行。     

拯救植物总动员

环顾你周围的一切，桌子、椅子是木头做的，衣服是棉花、羊毛和其他植物纤维做的，你吃的东西、喝的液体都来源于自然，家庭取暖、汽车运行的石油和石油制品在千百万年前是埋藏在地层之间的动植物的遗体……这一切都和生物多样性有关，缺少其中的任何一种，我们的生活都将有所不同。而植物多样性，正是生物多样性的重要组成部分。[编者按]     

浅谈上市公司会计信息披露存在的问题、成因及对策

社会越发展，会计越重要，会计作为社会经济支柱，从其内容到形式都体现着各个时代经济发展的主要面貌。会计信息是指通过会计凭证，把生长经营活动的各种信息，系统、全面、准确、及时的汇集起来，再通过一系列帐务处理，揭示反映经济活动真实情况的各种信息。上市公司会计信息披露，是指上市公司从维护投资者和资本市场运行和次序出发，按照法律要求将自身财务经营等会计信息情况向证券监管部门报告，并且向社会公众投资者公告。再现今证券市场，公平、公正、公开是它的运作基本原则。在实现这一原则目标的过程中，规范上市公司会计信息披露的意义不仪在于它对市场、管理层、公司和投资者行为的重要影响，更重要的是它对整个市场大环境的优化都有不可低估的作用。