一种基于通行需求度的单交叉口模糊控制算法

针对城市交通拥挤问题，提出一种根据通行需求度确定通行相位和通行时间的、可变相序的单交叉口模糊控制算法。仿真结果表明，在不同交叉口结构形式、不同相位构成和不同车流量组合的各种情况下，该方法均表现出良好的控制效果，是解决城市交通拥挤问题的有效途径。     

重大项目“生命科学中的单分子行为研究”即将启动

由国家自然科学基金委员会生命科学部、数理科学部和化学科学部组织的学科交叉重大项目“生命科学中的单分子行为研究”的论证会于2003年1月19～21日在北京外国专家大厦召开。来自清华大学、北京大学、第二军医大学和中国科学院生物物理研究所、力学研究所、化学研究所、上海有机化学研究所、物理研究所等8个单位的12位申请者参加了答辩。     

四符号动力学星花积的压缩特性

在四符号动力学星花积中，第2个符号序列的可选集合可从压缩的角度扩充至整个四符号空间，包括该空间中的点，线，面。     

一个快速的二进制多重精度gcd算法

求两个整数的最大公因子（gcd)的经典的Euclid算法时间复杂度为O（ln^3n)，不适宜于多重精度运算。论文证明了gcd的相关性质，提出了一个基于二进制的、适用于多重精度运算的改进算法，其时间复杂度为O（ln^2n)。     

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

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

一维单原子链空位的一种新统计方法

视一维单原子链中原子为谐振子，运用玻尔兹曼分布给出了空位的一种新统计方法．