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

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

北京市旅游产业发展战略研究

用灰色系统关联分析方法 ,测算了北京市旅游产业及三个主要旅游行业经济要素对收益的关联序 ,找出了各行业发展的关键因素和优势因素 ,进而以此为依据提出了旅游产业投资的方向和重点 .     

水泥处理的沉积淤泥膨胀试验及其矿物机理分析

为研究经过水泥掺合处理的河道沉积淤泥作为路基填料的膨胀性能，对不同初始含水量（质量分数分别为90％，130％和170％）的淤泥经不同掺合比（按湿质量计分别为9％，11％和13％）的水泥处理后形成的多种不同的水泥土试样进行了为期一个月的初次膨胀试验及试样干燥三个月后重新浸水的二次膨胀试验。试验结果表明试样的初次膨胀值很不显著，但二次浸水膨胀试验表明试样的总膨胀量有增大的趋势。试样的X射线衍射分析从矿物形成方面解释了水泥土膨胀性能的内在机理。     

船舶自动化电站系统仿真

应用系统建模技术和计算机系统仿真技术，在研究了某大型船舶电力系统的基础上，运用MATLAB软件，结合船舶柴油机发电机组和异步电动机的特性，完成了船舶自动化电站系统的建模。实现的船舶自动化电站仿真器系统特性与实际系统特性接近。该系统对船舶轮机员技术培训和船舶电力系统的故障分析具有很高的价值。     

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

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

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

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

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

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

1999—2001年《系统工程理论与实践》载文统计分析

对1999－2001年《系统工程理论与实践》所载论文从数量、内容、地区分布、系统分布和引文分布情况进行计量分析，各项统计结果显示，该杂志：1）载文信息量大，论文内容具有很强的导向和推动作用；2）期刊定位准确，具有独特的学术风格；3）作者体覆盖面广，但又集中于经济、科技较发达的地区；4）近期引文率高，载文内容新颖。     

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-     

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

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