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

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

Perceptual learning of dot pattern

Dot pattern is a type of pattern defined by specific spatial relationship among some dots. As a compensation for concrete and meaningful visual stimuli, meaningless dot pattern can be used as stimuli in learning tasks. We performed an experiment for exploring the perceptual learning process of dot pattern against random-dot background. Participants were required to learn two types of dot patterns (9-dot and 11-dot). They were assigned to two groups: participants in Group 1 learned 9-dot pattern first and 11-dot pattern later, while those in Group 2 learned 11-dot pattern first and 9-dot pattern later. The results showed that participants could acquire the spatial relationship of dot pattern through perceptual learning in relatively short learning time. In comparison with 9-dot pattern, learning time of 11-dot pattern was slightly longer and its accuracy rate lower, but there was significant positive transfer effect from 11-dot pattern learning to 9-dot learning.     

一个Markov转移概率函数的确定

利用柯尔莫哥洛夫向前方程计算了电话呼唤次数的随机过程的转移概率函数。     

完全体外化牛细胞核移植的研究

本研究探讨了用体外成熟卵母细胞和体外受精胚胎进行核移植的可能性。本研究结果在我国首次获得牛核移植的成功。从屠宰场回收的卵巢中抽取卵球－卵母细胞复合体，采用以前报道的方法（石德顺等，广西农业大学学报’１９９４：１３：１－５）进行体外成熟（ＩＶＭ）和体外受精（ＩＶＦ），获得ＩＶＭ卵母细胞和ＩＶＦ胚胎，体外成熟２３－２４ｈ后，在含０．１％透明质酸酶的无钙镁ＰＢＳ（ＰＢＳ）内，用细管反复吹打去掉卵丘细胞。选择具有明显第一极体的卵母细胞通过显微操作移去第一极体及其附近约一半的细胞质进行去核，去核的卵细胞在成熟液内继续培养到ＩＶＭ３０ｈ．体外发育到８－３２细胞期的ＩＶＦ胚胎用作核供体．供体胚胎用含０．２５％Ｐｒｏｎａｓｅ（溶于ＰＢＳ￣－）溶解透明带，并用细管吹打将其分散成单个卵裂球，在ＩＶＭ３０ｈ将单个卵裂球显微注入去核卵母细胞的卵周隙内，并在ＩＶＭ３１ｈ用８０Ｖ／ｍｍ４０μｓ两次电脉冲（间隔１秒）来诱导卵裂球与去核卵母细胞的融合。融合卵在颗粒细胞单层培养滴内共培养，体外培养２４ｈ后观察卵裂结果，经体外培养５－８天后发育到桑椹和囊胚的核移植胚胎移植到同期发情的受体．２个月后直检妊娠情况．本实验中共操作１９４枚卵母细胞，     

The Experimental and Theoretical Research of “Local Resonance“ in Ultrasonic Honing System

In 1982, Professor Fang Guoliang found the “Non full resonance“ phenomenon in a tool system while he use the thin-long tool ultrasonically machining deep-small hole. He called it as “local resonance“. Also this “Non full resonance“ phenomenon was discovered in the ultrasonic drilling and the ultrasonic honing system later. To its mechanism, professor Fang thought that the coupling of long-thin tool bar and driving system is weak, so the tool bar can vibrate independently, but the quantitative relation betwe...     

实现自动化测试系统中串行通信若干问题的研究

本文讨论研究了计算机与智能仪器串行通信的主要问题,首先分析了这种串行通信的特点,阐述了计算机串行通信方式的选择,接口硬件的连接及软件的编程。重点讨论了实现串行通信中的通信协议、流量控制和差错检测,经在PC—386工控机与数种智能仪器的串行通信实验,得到了令人满意的良好效果。文中提出的内容是理论与实践结合的经验总结,它对从事于计算机与智能仪器串行通信工作的人员具有重要的参考价值。     

附带各类约束的单一型装配线的平衡

本文着重描述了附带各种约束的单一型装配线的平衡问题,讨论了如何在Thomopoulos无约束平衡搜寻方法的基础上,实施附带各类约束的单一型装配线的平衡过程,并给出了在计算机上成功运行的实例及其分析。     

HP3562A动态信号分析仪的计算机控制

本文在分别简要介绍ＨＰ－ＩＢ接口、ＨＰ３５６２Ａ和ＨＰ９０００／３２０及其控制之后，较详细地讨论了ＨＰ－ＩＢ接口总线控制ＨＰ３５６２Ａ和进行数据传输的四种有效方法，并给出了程序实例。本文所述的方法同样适用于对其它ＨＰ－ＩＢ（ＧＰ＿ＩＢ）仪器的控制。     

使用Java Web Start部署自己的Java应用程序

JavaWebStart是部署基于JavaTM技术的应用程序的一种新技术,是SUN公司提供的一个实现JNLP的软件。JNLP解决了很多先前用java开发针对客户端的功能的问题,可以实现将功能由基于浏览器的胖客户端转向瘦客户端。以我院自行开发的宽带网计费与安全管理系统为例,对JavaWebStart作了介绍。     

农村剩余劳动力转移中的深层次矛盾及政策取向

简析了农村剩余劳动力的成因及现状,对转移中的深层次矛盾加以剖析,提出了政策建议,以期就教与方家.