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

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

电子超市易用性评估及链接结构优化模型

用无权有向图来描述网站结构，提出以网站是否方便顾问访问相关商品网页为标准的网站评估方法，建立了一种网站结构优化的数学模型，并采用禁忌搜索算法（TS）对问题进行求解，通过一个随机网站结构的例子，说明更新算法比布尔矩阵乘法以及重复调用广度优先算法进行TS领域搜索具有更高的效率，实例研究表明所述方法可以帮助网站设计者通过减少量的链接得到更加方便顾客使用的网站结构。     

时间词义赋值的个别差异的初步研究

运用模糊统计对１０个持续时间词进行了初步研究，然后选出其中２个，让不同个性特征的男女被试对其赋值。结果表明：在时间词的估计值和估值范围上，Ａ型行为类型者的赋值都小于Ｂ型行为类型者；低焦虑者的时间词的估值范围大于高焦虑者；在赋值特征上性别差异不显著．     

系统可靠性优化的离散多目标决策方法

工程实际中 ,人们往往在追求系统的可靠性达到最大的基础上 ,又追求系统的造价到达最小。另外 ,系统中单元的可靠性有时需从给定的离散集中选取。针对上述现象 ,提出了离散多目标决策方法 ,用于选取大型复杂系统中单元可靠性的最优值。算例表明所提出文方法有效     

广义互补问题及其约束优化问题的转化形式

对于广义互补问题，本文给出了它的约束优化问题的两种转化形式，讨论了它们的KKT点为原问题的解的充分条件．     

基于改进等分节点法的启发式布局算法

针对集成电路标准单元模式的布局问题，提出了一个全新的基于改进等分节点法的启发式标准单元布局算法(TETP)，该算法在优化布局过程中采用改进的等分节点法寻找单元目标位置，同时结合局部寻优的启发式算法，对MCNC(Microelectronics Centre of North-Carolina)标准单元测试电路进行实验。结果表明，与布局工具Timber Wolf7．0和FengShui相比，电路布局的总线长度分别平均减少了16％和17％。     

陕西省产业结构的现状及其优化

分析陕西省产业结构的特点及其优化途径.认为陕西省产业结构的特点是第一产业总量缓步增长而比重下降,第二产业总量增长迅速,比重快速上升,而第三产业快速增长.陕西省产业结构趋向合理,但也存在着第二产业发展滞后,竞争力低下,缺乏集群效应和主导产业模糊等问题.产业结构的优化可通过技术创新改造传统产业,培育主导产业,发挥集群效应等途径实现.     

下山兰的驯化

下山兰是指从山林与杂草丛中采掘回来,进行家庭栽培的兰花。从野生到家养,由于场地、基质、光照、温度、湿度、养分等方面的差异,需要一个较长时间的驯化过程才能适应。所谓驯化,是在下山兰的栽培与养护过程中,采取一系列措施,使其逐渐适应新的生长环境。驯     

先导化合物的发现和优化

先导化合物的设计、发现及先导化合物结构优化是创新药物研究成败的关键。本文介绍了先导化合物发现和优化的一些新技术和新方法。