中国人民解放军总装备部“十五”预研基金
- 作品数：110 被引量：954H指数：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需求文档
- 支持虚拟装配的装配约束关系信息动态生成被引量：9
- 2007年
- 分析了虚拟装配规划中装配模型重构对装配约束关系信息的需求,提出了装配约束关系信息动态生成的处理技术。通过分析装配特征及装配特征信息,建立了基于装配特征的装配关系模型。将装配约束关系信息以零件为单位构建零件装配约束关系集,以子装配体内所有零件装配约束关系集为集合元素,构建子装配体装配约束关系集族。通过子装配体装配约束关系集族的"广义并集"与"广义交集"的差运算,获取子装配体与其外部零件之间的装配约束关系信息;通过子装配体或装配体的装配约束关系集族的"广义交运算",并利用装配约束二元关系的传递性,获得零件之间未定义的装配约束关系信息,从而实现装配关系模型信息的动态生成,以支持虚拟装配中装配模型的重构、装配规划和装配仿真。
- 戴国洪张友良尤飞
- 基于指针分析的内存泄露故障测试方法研究被引量：9
- 2006年
- 提出了一种新的指针分析方法,通过静态分析程序中指针的映射关系来检测内存泄漏故障;给出了指针映射代数系统的概念,在此基础上分析了如何构造指针映射集,并详细叙述了测试步骤;最后通过实例分析了该方法的应用效果,讨论了需要进一步解决的问题。该方法还考虑了控制流图和路径条件,提高了测试结果的精度。
- 张威卢庆龄李梅宫云战
- 关键词：内存泄漏软件测试
- 面向序列规划的装配工艺APS树模型生成的研究被引量：5
- 2006年
- 分析了现有装配序列规划方法和装配序列表达模型的缺陷,提出了一种合理的装配工艺APS树模型,并用这种模型表达非线性的装配序列。利用产品功能结构树和零部件的信息,采用基于装配关系图分割的几何推理和基于规则的知识推理的方法来简化工艺子装配体的识别,以此生成装配结构树。然后,利用装配知识判定子装配体的装配优先约束关系,提高由装配结构树生成装配工艺APS树的效率。最后,基于装配结构树,通过不断添加数据节点和关系节点,自上而下分层规划,从而生成产品的装配工艺APS树。
- 戴国洪张友良尤飞
- 关键词：子装配体
- 可生存性分析方法研究被引量：14
- 2002年
- 系统在受到入侵后依然能够提供必要服务,并在一定时间内恢复受侵害的服务是系统可生存性的本质要求。与传统的将可生存性作为非功能系统属性来描述的方法不同,将可生存性作为系统统一系统功能来研究,并用形式化语言来描述、定义和计算是一种全新的思路和方法。对可生存性分析阶段可以采用的方法进行了深入的研究、分析,其中重点阐述了工作流回溯、攻击树建立等可生存性需求分析的方法,并给出了可生存性量化分析的算法。
- 夏春和王继伟赵勇吴震
- 关键词：计算机网络网络安全防火墙攻击树
- 支持数字化装配系统的数据库技术被引量：3
- 2006年
- 通过对数字化装配系统数据存取的需求分析,在SQL Server平台下,建立了装配模型库、装配过程库、装配知识库和装配环境库。提出了产品装配模型的三部分信息的存储方式,建立原始信息库、动态添加库、动态记录库分别存储相应的零部件自身属性信息,提出了以配合零件对为基本存储单元的动态记录库记录零件间的配合特征信息。它们有效地支持了数字化装配系统的各功能模块。
- 戴国洪张友良王江涛
- 关键词：数据库SQLSERVER
