高频等离子体化学气相淀积法制备TiO2超细粒子

利用ＴｉＣｌ４＋Ｏ２体系，在高频等离子体化学气相淀积反应器中合成了纯度高、粒度细的ＴｉＯ２粒子。考察了工艺条件对ＴｉＯ２粒子物性的影响；探讨了ＴｉＯ２粒子晶型控制的方法，金红石型质量分数可通过工艺条件控制；探讨了ＴｉＯ２粒子晶型控制的方法。金红石型质量分数可通过工艺条件控制，减少ＴｉＯ２单体浓度可提高金红石型质量分数；也可通过在原料ＴｉＣｌ４中添加ＡｌＣｌ３等晶型转化剂，使可转化为单一金红石型Ｔｉ     

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

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

对农户生产职能与经营职能分工的超边际分析——对农业产业化的新兴古典范式分析

以报酬递增为前提，刻画农户生产职能与经营职能专业化的分工经济，运用超边际分析方法求解农户职能分工的一般均衡结构，认为农户职能专业化产生的分工经济是农业产业化发展的基本动力，降低交易费用是农业产业化兴起的基本经济条件。     

网的收敛与分离公理

用Ｍｏｏｒｅ－Ｓｍｉｔｈ收敛给出了一个拓扑空间分别是Ｔ０，Ｔ１，正则，正规空间的充要条件．     

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

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

基于随机Petri网的客户/服务器模型及其分析

提出了一种基于随机Petri网的客户 服务器模型 ,模拟了客户 服务器系统的基本工作原理 ,在此基础上 ,利用随机Petri网的时间特性对该模型进行了定量分析 .     

九十年代计算机网络发展趋势

本文详细介绍了国外计算机网络发展的最新技术，并阐明了计算机网络发展的五种趋势．     

关于“增乘开方及其相关问题的再探讨”一文的点评

中国传统数学历史悠久，成就辉煌，即使在明末《几何原本》前六卷(1607)、《同文算指》(1644)等西方几何知识与笔算方法传人中国以后，中国传统数学仍不断吸取西方数学精华以完善自身体系并不断有所发现．清代乾嘉以降的古算复兴所产生的诸多成果以及研究西方传人的新课题所得成果均可说明，中国传统数学以其自     

开互模拟的一条泛公理

π-演算公理化中较难处理的是有关局部化算子的等式, 传统的方法是使用带条件的推导规则或使用“区别”. 提出一条关于π-演算局部化算子的泛公理, 并证明它可在开互模拟的公理化中取代“区别”的作用. 本方法的好处是在公理化过程中我们只要处理一个互模拟, 而无须处理一族互模拟.     

超新星1987A的"珍珠项链"

1987年2月23日，对于天文学家来说，这是一个非常值得纪念的日子。这一天，他们发现了一颗超新星，它不是一般的超新星，而是四百多年来最亮的一颗。超新星现象本来就是极为罕见的，历史上的超新星记录资料很不完善，这一回天文学家终于有机会利用现代的观测设备对它进行研究了。