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

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

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

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

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

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

船舶自动化电站系统仿真

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

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

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

偏最小二乘相关算法在系统建模中的两类典型应用

讨论了偏最小二乘回归（PLSR）的相关算法对两类典型实际系统建模的有效应用。分析了传统的偏最小二乘回归批处理算法及由此产生的一种简化算法的基本原理和技术特点，在此基础上，对原有的递推算法进行了一定程度的改进，直接采用自变量主元t的回归系数矩阵P和R来取代旧的数据信息，从而进一步简化了计算过程，针对上述两种算法的特点，分别对无人机费用模型（少样本，多变量）和切削力峰值模型（多样本，少变量）参数进行了估计计算，说明了各自算法的应用优势。     

在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-