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

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

三维动画课件在案例教学中的应用

《生产与运作管理》案例教学的案例一般均为实际问题,涉及的因素广泛、复杂.受单纯文字表达或平面图形静态表达的限制,加之缺乏实践经验,使学生对案情的理解往往产生较大的偏差,以至于难以充分发挥案例的作用.本文对采用三维动画课件的形式,立体、动态地表达案情,建立更为接近实际情况的动态模型,开展案例教学进行了探讨.结论是三维动画课件特别适合于运作管理案例教学,有利于显著提高MBA学员的教学参与程度,提高案例分析和方案设计的水平.     

20世纪上半叶“扬黛抑钗”审美倾向浅探--钗黛形象接受史研究之三

“扬黛抑钗”的审美倾向贯穿于20世纪上半叶的四个历史阶段并各有特色，它鲜明地折射出每个时期的时代意识。     

FROM MANUFACTURING SCHEDULING TO SUPPLY CHAIN COORDINATION：THE CONTROL OF COMPLEXITY AND UNCERTAINTY

With time-based competition and rapid technology advancements, effective manufacturingscheduling and supply chain coordination are critical to quickly respond to changing marketconditions. These problems, however, are difficult in view of inherent complexity and variousuncertainties involved. Based on a series of results by the authors, decomposition and coordination byusing Lagrangian relaxation is identified in this paper as an effective way to control complexity anduncertainty.A manufacturing scheduling problem is first formulated within the job shop context withuncertain order arrivals, processing times, due dates, and part priorities as a separable optimizationproblem. A solution methodology that combines Lagrangian relaxation, stochastic dynamicprogramming, and heuristics is developed. Method improvements to effectively solve large problemsare also highlighted. To extend manufacturing scheduling within a factory to coordinate autonomicmembers across chains of suppliers, a decentralized supply chai     

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

该文针对河海大学幼儿园接受血铅调测的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-