SET协议的可追究性分析与改进

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.     

牢固树立和认真落实科学发展观推动部队思想政治建设创新发展

坚持用科学发展观统领部队思想政治建设创新发展,一要抓好用党的创新理论武装官兵这一基础性工程,兴起学习贯彻科学发展观热潮;二要紧贴时代和实践的新发展,提升思想政治建设的起点和标准;三要着眼部队全面建设和可持续发展要求,不断提高基层建设质量;四要加大组织指导力度,促进思想政治建设各项任务的有效落实。     

中锰铸钢坦克履带板连接筋的喷丸强化处理

针对新研制的中锰铸钢坦克履带板装车考核中的特点,提出了对连接筋实施喷丸强化处理的预强化方案.分析了喷丸强化层的组织和硬化特性;还通过连接筋的3点弯曲疲劳试验,探讨了喷丸强化对连接筋疲劳裂纹形成的影响.研究认为,对中锰铸钢坦克履带板连接筋进行喷丸强化预处理,是提高其整体使用寿命的重要途径.     

Integrating decisions with advance supply information in an assemble-to-order system

We study a periodic-review assemble-to-order (ATO) system with multiple components and multiple products, in which the inventory replenishment for each component follows an independent base-stock policy and stochastic product demands are satisfied according to a First-Come-First-Served rule. We assume that the replenishment for various component suffers from lead time uncertainty. However, the decision maker has the so-called advance supply information (ASI) associated with the lead times and thus can take advantage of the information for system optimization. We propose a multistage stochastic integer program that incorporates ASI to address the joint optimization of inventory replenishment and component allocation. The optimal base-stock policy for the inventory replenishment is determined using the sample average approximation algorithm. Also, we provide a modified order-based component allocation (MOBCA) heuristic for the component allocation. We additionally consider a special case of the variable lead times where the resulting two-stage stochastic programming model can be characterized as a single-scenario case of the proposed multistage model. We carry out extensive computational studies to quantify the benefits of integrating ASI into joint optimization and to explore the possibility of employing the two-stage model as a relatively efficient approximation scheme for the multistage model.     

谈谈军工企业自主创新中知识产权的管理

介绍了军工企业单位自主创新中知识产权管理现状、存在的问题以及知识产权管理的意义,探讨了研究开发中知识产权利用和管理的方法、模式。     

基于蒙特卡罗方法的多散射修正模型

针对现有的基于蒙特卡罗方法的非视线传输模型的不足和局限性,提出了基于蒙特卡罗方法的多散射修正模型,给出了模型的数学描述。利用坐标系变换方法,得出了光子迁移的坐标递推公式。设计了接收判断机制,给出了到达时间的计算公式。通过跟踪大量光子的随机迁移,验证了光子传输的多散射现象。绘制了接收天线功率密度曲线,模拟了脉冲展宽效应。比较结果表明,在满足单散射近似的条件下,该模型与Luett-gen单散射模型吻合较好;在不满足单散射近似条件时,该模型得出的接收功率密度大于Luettgen单散射模型的接收功率密度,分析了结果的正确性,并指出了现有模型信道零延迟的错误。理论分析表明,模型能准确反映信道的时延特性。     

新疆高校发展留学生教育的SWOT分析

随着经济贸易的全球化,高等教育国际化已经成为当代高等教育发展的必然趋势。留学生教育已经成为衡量高等教育发展状况的重要指标。本文用SWOT分析法剖析新疆高校发展留学生教育所具有的优势、劣势以及面临的机遇和威胁,为新疆高校制定适合本地留学生教育的未来发展战略提供依据,以推动新疆高校留学生教育的快速发展。     

新疆高等教育资源配置的现状及问题研究

高等教育资源的合理配置是提高高校办学质量和效益的前提和关键。本文通过梳理新疆高等教育资源配置现状及存在的具体问题,进一步提出优化高等教育资源配置的对策建议,以期充分发挥高等教育在新疆社会发展中的巨大作用。     

SPC技术在导弹厚膜混合电路生产中的应用

SPC(统计过程控制)作为一种先进的质量管理方法,在国外企业被广泛采用,目前国内也有众多企业开始推行.分析了实施SPC的重要性,根据SPC技术在推广应用中的主要工作内容,给出了导弹厚膜混合电路生产中SPC技术的应用方法,包括关键工序节点和工艺参数的确定、工艺参数数据的采集、控制图的使用、工序能力评价以及所采用的控制技术等实际应用方面的内容.     

对转涡轮用于水下航行器的初步研究

阐述了对转涡轮在航空航天领域的发展现状,总结出对转涡轮的优点和应用前景,提出了一种可用作水下航行器动力主机的涡轮机类型.分析了水下航行器涡轮机与航空航天涡轮机的差别,论证了对转涡轮使用在水下航行器上的可行性,建立了水下航行器对转涡轮机的设计框架.