部件寿命服从威布尔分布时典型系统的寿命与剩余寿命估计

在实际工程中,对系统寿命以及剩余寿命的估计非常重要。在已知系统中部件寿命与可靠度的前提下,关于如何快速得到系统级寿命与剩余寿命的相关研究比较缺乏。针对这一问题,首先研究了可靠度、寿命以及剩余寿命的关系,进一步假设部件寿命服从同一威布尔分布,根据部件的寿命与可靠度函数,推导得到串联、并联和表决系统寿命与剩余寿命期望的封闭表达式,并给出了相应的计算方法。对于冷备系统,当部件寿命服从同一指数分布时,推得了系统寿命及剩余寿命期望的封闭表达式,而当部件寿命服从同一威布尔分布时,给出了系统寿命与剩余寿命的数值计算方法。仿真试验证明本文所提出的方法是准确高效的。最后,以卫星中的动量轮r/n(G)表决系统为例开展了实例研究,证明了该方法在工程实践中的有效性。     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

平行递进式网球教学模式初探

通过将传授网球技术教学过程中，各项技术独立出现，逐一传授，改用为部分技术同时出现，分别按“程序”教学模式，平行推进逐级提高，形成了较为合理的平行递进式网球技术教学模式。经两轮(一轮两年)教学，效果良好。     

双寡头企业主动开发新产品或拷贝式模仿的博弈分析

主动开发新产品，还是等待其他企业先开发出来新产品然后进行模仿是企业R＆D的一个战略问题。本文在一定时间区间内客户是忠诚的假设下，分别计算主动开发和等待模仿在完全信息动态和不完全信息动态两种情况下双方的利润和利润均衡点，给出企业进行新产品开发或进行拷贝式模仿博弈的量化公式。     

任职经济责任审计系统设计与实现

该系统严格遵照国家干部经济责任审计的有关准则与规定，能够对企事业单位、行政单位等不同部门各个层次的领导干部，从内控制度、管理、经营、财务等多方面、多角度、全方位地进行跟踪审计，客观公正、实事求是地对有关报表数据进行科学分析，恰如其分地认定干部实绩和经济责任。     

4-(二甲胺基)苯甲醛缩-2,4-二硝基苯腙分子特性的预测研究

利用Gaussian98程序,采用密度泛涵方法(B3LYP/6-31G)对4-(二甲胺基)苯甲醛缩-2,4-二硝基苯腙化合物的晶体结构进行了量化计算,利用相关参数推测了它的分子特性,结果表明,该化合物的分子结构为一大平面结构,难与金属形成配合物.     

浅析基于电子商务网络安全PKI技术的角色访问控制模型

文本提出了一种区别于传统自主访问控制策略和强制访问控制策略的RBAC网络安全策略,并提出了RBAC的面向对象模型,实现用户身份认证与访问权限的逻辑分离,且易于控制,既能有效的改进系统安全性能,又极大地减少了权限管理的负担。     

Static extracting method of software intended behavior based on API functions invoking

The method of extracting and describing the intended behavior of software precisely has become one of the key points in the fields of software behavior＇s dynamic and trusted authentication. In this paper, the author proposes a specified measure of extracting SIBDS （software intended behaviors describing sets） statically from the binary executable using the software＇s API functions invoking, and also introduces the definition of the structure used to store the SIBDS in detail. Experimental results demonstrate that the extracting method and the storage structure definition offers three strong properties： （i） it can describe the software＇s intended behavior accurately; （ii） it demands a small storage expense; （iii） it provides strong capability to defend against mimicry attack.     

有限群的Laffey自同构

引入了Laffey自同构的概念，讨论了Laffey自同构的一些性质，所得结果推广了文献中关于交换自同构及中心自同构的相应结论．     

电子线路的数值优化设计

研究了电子线路的数值化设计方法.它是一种自动化程度高、通用性强、精度高的电路设计方法。介绍了电子线路数值优化设计软件系统YJX—1.它具有广泛的通用性和快速收敛的特点。