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

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

Dynamic Characteristics of Inter-Satellite Links in LEO Networks

To establish an efficient inter-satellite link (ISL) in an LEO network, the effect of geometric characteristics of ISL on the ISLs and the devices on the LEO satellite should be examined. Because of the continuous movement of the LEO satellite, the time-varying behaviours of the ISL's geometric charactersistics continuously change with the changes of the satellite's position on the orbit. These dynamic geometric characteristics of the ISLs are important for ISL's performance analyzing and the design of the devices on the LEO satellite. This paper describes dynamic geometric characteristics of ISL, analyzes the impact of these regulations on the tracking system of the satellite's antenna and the power adjusting system of the satellite's transmitter, with the Iridium system as an example.     

统计分析在血铅检测中的应用

该文针对河海大学幼儿园接受血铅调测的337名幼儿,以对家长问卷调查的方式,运用方差分析、假设检验及区间估计的方法对这些幼儿的血铅超标情况进行了统计分析.结果表明,虽然各年级幼儿血铅浓度无显著差异,但是大、中班幼儿(4～6岁)由于受环境铅污染机会多于小班幼儿和托班幼儿,故血铅超标率稍高;幼儿经常挑食、外出方式以助力车或摩托车为主、家长经常吸烟、家长职业性接触铅及其化合物等是血铅浓度超标的主要因素.     

在UBBE框架下考虑不肯定的上界的估计方法

对目前的ＵＢＢＥ模型进行了适当的推广，使在解决估计问题时可以考虑那些可能是误差上界的数值，并在此基础上提出了一种方法，能够通过对估计精度和可靠性进行合理的权衡确定所需估计值，实际案例研究结果表明所提方法能够较好地解决估计精度和可靠性之间的矛盾。     

公共物流中心扩建规模优化模型研究

同时考虑物流规划部门及客户的利益,采用双层规划模型来描述物流中心扩建规模优化问题。上层规划从决策者的角度出发,使系统总费用最少;下层规划描述用户对物流中心的选择行为,在用户费用最少的情况下,向各个物流中心分配需求,以使扩建后的物流中心的能力得到最大程度的利用。并应用灵敏度分析方法进行了求解。最后用一简单算例验证了模型及求解方法的可行性和有效性。     

Face Recognition Based on Support Vector Machine and Nearest Neighbor Classifier

Support vector machine (SVM), as a novel approach in pattern recognition, has demonstrated a success in face detection and face recognition. In this paper, a face recognition approach based on the SVM classifier with the nearest neighbor classifier (NNC) is proposed. The principal component analysis (PCA) is used to reduce the dimension and extract features. Then one-against-all stratedy is used to train the SVM classifiers. At the testing stage, we propose an al-     

混凝土中钢筋锈蚀及其可靠性分析

本文介绍了混凝土中钢筋锈蚀的机理，分析了钢筋锈蚀的主要影响因素，对钢筋锈蚀造成的截面损失破坏的可靠性进行了分析，并推导出了钢筋锈蚀可靠性分析的相应计算公式。     

甘肃古代居民人类学特征的研究

本文对甘肃四坝文化的古代男性居民进行了人类学特征的多元统计分析,结果表明,人类学特征的定量结合定性研究,对一个群体内的体质类型分类效果很好,在该组古代居民内未发现西方人种个体,但在同一个大人种内具有不同体质类型的个体。     

板型燃料组件内部流场数值分析

为板型燃料组件的设计和实验研究提供参考 ,采用商用流体力学计算程序 CFX5对板型燃料组件内部流场进行了数值模拟 ,以获得各流速下的板间流场。数值计算结果表明 :板型燃料组件不同流道和单一流道内的流速分布基本均匀 ,在 2 0个流道中居中的 3～ 5流道内的流量比其它流道小一些 ,其中中间流道内的流量最小 ,其流量与平均流量的误差小于 10 % ;提梁对其后部速度场的影响较大 ,对其后部压力场的影响很小。当板间水隙的最大加工误差为0 .15 mm时 ,该流道内的流量与流道内平均流量的误差接近10 %。组件进出口差压计算值与实验值比较接近 ,证明了计算结果的可靠性     

Authorware中媒体的动态展示

Authorware以其独特的展示功能和良好的交互性日益受到广大教育工作者的青睐．针对在Authorware中动态的加载、媒体信息展示、动态添加过渡效果以及界面皮肤的选择所涉及的方法进行了论述．