基于PC的电机云母槽自动下刻机测控系统的设计

采用工业用计算机实现自动下刻电机云母槽测控系统的设计方法.在加工工艺允许的情况下,系统采用接触式的检测方法能降低成本,提高可靠性,并提高其自动化的水平.在软件设计上,系统由找槽控制算法和下刻深度算法双闭环控制组成,槽控制算法与下刻深度算法之间相互切换直到加工完电机的所有槽.     

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

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

浅谈大学生择业与职业生涯规划

阐述了职业生活和大学生职业生涯规划的重要性,论述了择业方式对大学生择业的影响,分析了大学生择业价值取向的特点。     

我国检察民事公诉:问题与前瞻

检察民事公诉是指针对部分涉及国家利益和社会公共利益等方面的民事案件而由检察机关代表国家提起的诉讼。该制度已被世界许多国家民事诉讼制度所吸纳。在我国，由于危害公共利益的社会公害层出不穷，同时亦基于检察机关自身的性质，建立检察机关民事公诉制度已势在必行。我国现行立法在检察民事公诉方面存在严重局限，因此，探讨检察机关在民事公诉中的法律地位及其参与民事公诉的方式和范围将有着重大的现实意义。     

从Banzhaf指数看国有股减持

文章分析了我国股权结构现状、Banzhaf指数和股权结构间的关系.从Banzhaf指数角度出发,举例说明了几种常用的减持方式的异同.     

平面连杆机构动力平衡的研究进展

随着机构动力学研究的日渐深入,对机构动力平衡问题的研究也有了较深入的发展。从动平衡的方法、优化目标等几个方面总结了平面连杆机构动平衡问题的发展现状,并在此基础上提出了今后的发展方向。     

可燃气体爆燃转爆轰问题的研究

文章首先介绍了一种用于可燃气体爆燃转爆轰研究的实验方法,阐述了该方法的优点及前景。依据实验结果得到了DDT火焰的2点特性,建立了一个DDT火焰结构的模型,并且据此解释了DDT火焰加速传播,以致产生超趋爆轰的机理。     

HCl中咪唑衍生物复配对碳钢的缓蚀作用研究

研制了一种咪唑衍生物(BBIM),利用失重法、动电位扫描极化法及SEM研究了BBIM与碘化钾和甲醛在质量分数5%HCl中按一定比例复配对碳钢的缓蚀效果,讨论了浓度、温度对缓蚀性能的影响,同时对缓蚀机理进行了探讨.结果表明两种复配缓蚀剂在5%HCl腐蚀环境中对碳钢均具有良好的缓蚀作用,是一种混合型缓蚀剂,缓蚀作用机理为协同机理.     

并行流程式生产线调度问题的概率分析求解算法

并行生产线调度问题兼有并行机器和流程车间调度问题的特点 ,是一类新型的调度问题·针对工件在各工序具有任意加工时间的一般并行生产线调度问题 ,构造了整数规划模型 ,设计了基于概率分析的求解算法·对随机生成的测试问题进行求解的实验结果表明了算法的有效性     

基于XML的Web数据交换服务平台的设计与实现

依托Web提出了一种以XML文件作为中间结果实现异构平台数据交换的解决方案，满足了电子政务处理过程中对不同形式数据的处理要求．