中国人民解放军总装备部“十五”预研基金
- 作品数:110 被引量:953H指数:17
- 相关作者:张友良夏春和宫云战汪惠芬曹元大更多>>
- 相关机构:南京理工大学哈尔滨工业大学北京理工大学更多>>
- 发文基金:国家自然科学基金江苏省高校自然科学研究项目中国航空科学基金更多>>
- 相关领域:自动化与计算机技术金属学及工艺机械工程电子电信更多>>
- 软件故障暴露率的计算方法被引量:8
- 2003年
- 软件的故障暴露率是软件测试和软件可靠性测试的一个重要参数 ,对高可靠性软件特别是军用软件的可靠性评估有关键的作用 根据PIE分析技术 ,给出软件单个故障或多个故障随机测试的效率分析 ,并以此为基础 ,给出软件故障暴露率的计算方法 。
- 宫云战高文玲李晓维
- 关键词:软件测试可靠性军用软件
- 2197铝-锂合金的组织和性能被引量:30
- 2004年
- 通过力学性能测试和显微组织观察研究了 2 197合金组织和性能之间的关系。结果表明 :2 197合金具有中等强度、各向异性小、热稳定性好等特点 ;该合金在T8状态下能获得最佳的强度和塑性配合 ,在T6时效状态以析出少量δ′、θ′和T1相联合强化为主 ;在 2 197合金的相组成中T1相析出数量不占主导地位 ,Al6Mn弥散质点的析出有利于减少各向异性 ;2 197合金中Li含量较低 。
- 黄兰萍郑子樵黄永平
- 关键词:显微组织各向异性热稳定性
- 基于广义随机Petri网的可视化建模与仿真工具被引量:13
- 2004年
- 为了满足Petri网理论的应用研究的需要,首先给出了层次对象广义随机Petri网模型的定义,并运用面向对象方法设计和开发了基于层次对象广义随机Petri网的可视化建模和仿真工具软件,详细介绍了该软件工具的设计方法,包括功能结构图、网模型对象类图和符合可扩展标记语言规范的中性文件格式存储模型数据结构。最后通过实例说明了该工具应用的有效性。
- 黄勇张友良汪惠芬王志亮
- 关键词:PETRI网面向对象方法可扩展标记语言
- 应用动态逆和三时标分离的飞航导弹过载控制离散化设计被引量:4
- 2006年
- 目的是选用普通舵系统来设计一种低成本高性能飞航导弹过载数字控制系统。这种情况下舵系统的动态特性将不能忽略。假设舵系统具有一阶动态特性,导弹的单通道(例如纵向通道)成为一个三阶的被控对象。应用三时标分离的方法将导弹动力学(含舵系统)分离为3个一阶的动力学子系统,这3个子系统分别对应于过载层(慢速子系统)、角速度层(中速子系统)和角加速度层(快速子系统),对这3个子系统分别采用Adams-Bashforth数值方法进行离散化、并进行离散化动态逆控制设计,应用李雅普诺夫综合法,分别设计出期望的慢、中、快离散动力学子系统。给出了各子系统带宽参数的选择方法。仿真结果验证了本文方法的正确性和有效性。
- 张友安王宏然程继红
- 关键词:导弹控制过载控制动态逆李雅普诺夫稳定性
- Use Case驱动的软件需求获取过程模型被引量:6
- 2005年
- 对UseCase建模进行分析后,提出了基于UseCase驱动的软件需求获取过程模型。该模型中通过不断迭代的两个阶段:分析阶段和综合阶段,来正确和完整地获取软件需求。文章对此模型进行了描述,并就一些关键问题展开了讨论,最后介绍了软件需求获取中的一些常用技术。
- 陈建明陈炬刚
- 关键词:USE需求文档
- 可生存性分析方法研究被引量:14
- 2002年
- 系统在受到入侵后依然能够提供必要服务,并在一定时间内恢复受侵害的服务是系统可生存性的本质要求。与传统的将可生存性作为非功能系统属性来描述的方法不同,将可生存性作为系统统一系统功能来研究,并用形式化语言来描述、定义和计算是一种全新的思路和方法。对可生存性分析阶段可以采用的方法进行了深入的研究、分析,其中重点阐述了工作流回溯、攻击树建立等可生存性需求分析的方法,并给出了可生存性量化分析的算法。
- 夏春和王继伟赵勇吴震
- 关键词:计算机网络网络安全防火墙攻击树
- 支持数字化装配系统的数据库技术被引量:4
- 2006年
- 通过对数字化装配系统数据存取的需求分析,在SQL Server平台下,建立了装配模型库、装配过程库、装配知识库和装配环境库。提出了产品装配模型的三部分信息的存储方式,建立原始信息库、动态添加库、动态记录库分别存储相应的零部件自身属性信息,提出了以配合零件对为基本存储单元的动态记录库记录零件间的配合特征信息。它们有效地支持了数字化装配系统的各功能模块。
- 戴国洪张友良王江涛
- 关键词:数据库SQLSERVER
- 中间层成分对TiAl/TiB_2金属陶瓷SHS连接的影响被引量:7
- 2006年
- 采用自蔓延高温合成(SHS)连接技术对TiB2金属陶瓷与TiAl进行连接试验,并研究工艺参数对SHS连接接头界面结构的影响。结果表明,不同成分的中间层发生SHS反应的放热量不同,从而会导致连接界面处的界面结构发生明显的变化。TiAl侧界面处出现的TiAl3反应层厚度与TiB2金属陶瓷侧出现的贫Cu层的厚度均随放热量的增加而明显增加,中间层环状结构的层数及尺寸也发生相应的变化。
- 李卓然曹健冯吉才谢凤春
- 关键词:TIAL
- 空心弹体垂直侵彻混凝土靶板的应变测试研究被引量:20
- 2002年
- 提出一种新型的测量实验弹侵彻混凝土靶板过程中的弹体变形的测试方法 .采用正向弹道技术 ,在空心弹体内壁粘贴应变片电桥电路和弹载存储器 ,测量、记录弹体的撞击变形行为 ,并通过地面计算机再现该过程 .利用这种测试手段 ,在 95 m m口径空气炮上进行了系列截卵形头部的 35 Cr Mn Si弹体以 15 0~ 30 0 m/ s的速度垂直侵彻无钢筋混凝土靶板的实验 ,成功测得应变时间历程曲线 ,并对应变曲线和侵彻过程弹体变形的对应关系进行了分析讨论 .实验结果表明弹体在侵彻靶板的过程中 ,材料承受交替的压缩、拉伸变形 .
- 王琳王富耻王鲁李树奎
- 路径覆盖测试的检错效果研究
- 本文首先讨论了两类错误,分析并给出了两类错误的故障暴露率的计算公式,然后给出了一个评估路径覆盖测试对程序故障覆盖率的计算公式。最后指出了路径覆盖测试的弱点,提出了一种组合测试方法,从而提高软件测试的可靠性。
- 曹文静宫云战李晓维
- 关键词:软件测试路径覆盖测试
- 文献传递