未来医学概览

通过多种途径，分子和基因生物学取得了惊人的进展。最显著的成果是破译人类基因密码，可以预见，人们将会借此采取新的诊断和治疗方法。与此同时，医学领域精密技术的发展使我们能够想象，在像外科手术之类的领域里机器人将一展身手。     

关于π—正则半群的Green关系

给出了π－正则半群上一类广义的Ｇｒｅｅｎ关系中，若干关系类都含有唯一的幂等元的若干特征。     

一种基于语言评价信息的多指标群决策方法

针对一类带有自然语言评价信息的多指标群决策问题，给出一种新的群集结和方案优选方法。首先采用近年来最新发展的LWD算子和LOWA算子直接集结每个决策者给出的自然语言评价信息，以得到群的方案评价值，然后根据语言短语集的自身顺序进行方案优选。利用该方法不仅可以确定最优方案，而且还可得到群决策结果的可信程度。最后给出了一个算例。     

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

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

复合桩基中承台内区土阻力群桩效应系数的有限元分析

采用有限元方法，对复合桩基中承台内区土阻力群桩效应系数进行了分析，并编制了相应的有限元程序。应用该程序讨论了桩距、桩数、桩长、土类等对承台内区土阻力群桩效应系数的影响。     

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

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

群的子半群的n次方幂

本文首先给出群G的子半群A的n次方幂An的定义，然后着重讨论了An及由An生成的子半群（An）的性质，得到了比文［1］更为广泛的一些结论，最后得到了在同态满射下n次方闭群的几个重要性质。     

关于第四类超Cartan域上的Bloch函数

给出了第四类超Cartan域上的Bloch函数的充分条件以及必要条件。