共查询到18条相似文献,搜索用时 46 毫秒
1.
针对目前建模与仿真的现状和特点,分析了解决仿真模型重用的关键技术-面向对象的分析与设计方法的基本原则和重要作用。指出了面向对象技术中的抽象、信息隐藏、多态和继承等基本原则是隐藏复杂性、提高代码重用性和标准化的基础。进一步给出了模型重用的分类和前提,并重点论证了模型分类、公有属性提取、结构与参数分离、数据与处理方法的封装和VV&A技术是实现仿真模型可重用性的技术步骤。 相似文献
2.
串联有约束条件下的可重构性指标分配问题,针对考虑部件故障的系统给出了可重构度的概念和计算方法,并论证了其合理性.结合最优冗余分配理论和可重构度定义给出了可重构度最大化的冗余分配模型,在此基础上提出了基于启发式算法的可重构性指标分配方法,该方法可解决约束条件内资源优化配置问题,并得到系统最大可重构度的解.直接寻查法作为以往具有代表性的最优冗余分配方法,用作系统可重构性指标分配仿真,与所提方法作比较,结果显示基于启发式算法的可重构性指标分配方法较前者有更高的有效性. 相似文献
3.
提出了一种特征驱动的可复用需求建模方法(RRM,Reusable RequirementMethod),此方法定义了一个可复用的需求建模过程(RRMP,Reusable Requirement Modeling Process),在领域工程和应用工程两个层面上都提出了相对完整的需求建模方法并将两个阶段有机地融合在一起.将主要研究方向着眼于领域模型的正确建立、合理剪裁和对象化过程,从而得到针对于具体应用的需求模型.在RRMP的过程指导下还将设计一个需求定制与应用开发平台(RAP,Requirement customing Application developing Platform).RAP平台立足于需求获取阶段,以用户易理解的图形化方式灵活直观地与用户进行需求交互,根据用户定制的需求自动生成具体应用的标准需求开发文档和开发过程中所产生的统一建模语言(UML,Unified Modeling Language),并最终开发出用户所需的领域内特定应用的原型系统.RAP平台主要包含3个部分:图形化需求定制工具,需求开发文档生成工具和目标应用开发工具. 相似文献
4.
5.
自主导航是未来航天器的发展趋势,利用由太阳敏感器、月球敏感器和红外地球敏感器组成的一体化多传感器天文观测平台,构建了多传感器的天文测量模型,结合航天器动力学模型,分析了自主导航系统的可观测性. 基于UKF滤波算法,建立多传感器自主导航算法,并采用原始测量信息和单点解析定位信息两种模式分别进行了仿真验证. 仿真结果表明,基于原始天文测量信息的自主导航模式,其导航精度要高于单点解析定位数据的自主导航精度,在无系统误差情况下,导航精度约为200m. 采用系统误差估计的自主导航方法后,常值系统误差对导航精度基本不产生影响. 相似文献
6.
应用于行星探测车的路径规划算法需要根据地形环境信息和车体的越障能力两方面进行考虑。结合月面巡视探测器移动子系统的通过特性以及地形信息将地图栅格进一步细分,使用了四个安全性指标描述车体静止或运动时的通过性,并将其引入到A~*与D~*两种规划算法的代价当中,给出了算法的流程,并通过仿真进行了验证。 相似文献
7.
首先分析陀螺故障模式和陀螺功能模块的连接关系,建立陀螺的多信号流图,根据多信号流图得到陀螺的关联矩阵,结合关联矩阵利用可检测和可分离的准则得到陀螺可诊断性分析的初步结果;对关联矩阵得到的故障模糊组,进一步采用改进的BHS-树进行分离,得到陀螺可诊断性的最终分析结果,并给出提高可诊断性的建议,以及给出用程序实现可诊断性分析与验证面临关键问题的处理方法. 相似文献
8.
为了提高动量轮的故障诊断性能,采用定量与定性相结合的方法对故障可诊断性评价方法开展研究。在分析动量轮和控制器模型的基础上,建立定量的动量轮闭环系统模型;分析动量轮的各种故障模式,将其分为测量类、驱动类和控制器类故障,并在动量轮系统模型中进行表示;依据故障到输出的传递函数是否等于0以及不同故障到输出的传递函数是否相同的思路,研究各类故障的可检测性和可分离性判断条件,对动量轮的各故障模式进行评价,给出相应的评价结果对于不可分离的故障集合,研究基于定性模型的故障可诊断性评价方法,即根据动量轮各功能模块之间的关系,结合动量轮的故障模式影响分析结果,建立故障与征兆之间的关联矩阵,通过分析各故障对应的数据,进一步给出动量轮故障可诊断性的评价结果。最后,提出故障可诊断性相关的定量指标,根据动量轮故障可诊断性评价结果,给出各故障以及动量轮的可检测度和可分离度等,为后续故障可诊断性设计提供依据。 相似文献
9.
针对可诊断性指标分配的特点,提出了一种新的可诊断性指标分配方法.首先对影响可诊断性指标分配的参数和因子进行分析与量化;接着对不同量纲、不同取值范围的物理量进行了归一化,并且求解出分配权重;然后给出了可诊断性指标分配方法;最后通过实例仿真,说明了此方法具有合理以及简捷的优点. 相似文献
10.
基于模拟月壤扫描电镜显微照片,建立土颗粒的几何模型,提出不规则形状颗粒群系统的生成策略,构建模拟月壤颗粒间接触的简化本构模型,并利用量纲分析法和双轴压缩试验离散元模拟,建立土宏观力学特性与细观模型参数的关系,结合模拟月壤的三轴压缩试验数据确定离散元模型参数.在月球重力环境下,对轮-土交互作用进行离散元模拟,推导土壤推力的细观表达式,定性分析不同滑转率时土颗粒的动态行为,定量分析模拟月壤的可行驶性.研究结果表明,土壤推力随滑转率的提高而增大;当车轮以高滑转率行驶时,土壤推力相对行驶时间存在瞬态和稳态2个阶段,并且瞬态值高于稳态值. 相似文献
11.
基于对象关系模型的C++程序静态分析器 总被引:4,自引:1,他引:4
面向对象程序设计技术给软件的测试和维护来了新困难。针对这些困难,提出了用于描述程序中对象类之间三种依赖的对象关系图模型,并研究了这一模型在软件测试和维护中的两个具体应用及其相应算法,为了从特定的面向对象程度设计语言C++编写的程序中提取ORD较信息,构造了一个逆向工程工具-C++程序静态分析器,并对其实现上的一些关键技术进行了介绍。 相似文献
12.
刘超 《北京航空航天大学学报》1998,24(4):411-414
研究了逆向构造程序类模型的基本规则, 并且提出了一种可以自动绘制的、基于继承关系的层次型类图结构(inheritance-layered class diagram).在这种层次型类图上,可以清晰地展示程序中的对象类及其相互之间的继承关系、组成关系和关联关系等,并可以直观方便地对程序中定义的对象类进行各种相关性或依赖性分析.文中还介绍了一个根据上述规则和方案实现的实用工具SafePro/Re-OM. 相似文献
13.
姚淑珍 《北京航空航天大学学报》1998,24(4):415-417
基于对象Petri网,提出了层次化并发软件模型,这种模型在结构上参考了统一建模语言UML的描述机制,并用一种扩展Petri网ECPN分层描述对象的内部状态,以及对象间的相互作用,易于仿真与程序生成.模型的实际应用将有利于保证并发软件,特别是Ada95并发软件的质量,提高开发效率. 相似文献
14.
分析了面向对象软件测试和度量的特点,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型(ERM),介绍了从基于MFC(Microsoft Foundation Class)的Visual C+ +6.0源程序中构造ERM模型的算法,据此构造了一个基于基元关系模型的VC+ +6.0程序静态分析器.对分析器实现中采取的名称空间符号表、增量式开发和增量式分析等关键技术进行了介绍.实践证明,该分析器可以高效正确地提取出模型中描述的各种关系,有助于面向对象软件测试和度量方面的进一步研究. 相似文献
15.
任爱华 《北京航空航天大学学报》1998,24(4):491-494
介绍了一种基于面向对象Petri网的并发系统建模方法. 该方法把面向对象技术与Petri网理论相结合, 构成一种面向对象Petri网,可以解决用Petri网建立并发程序模型所遇到的状态爆炸问题,又使得建模系统具有可重用性且易于维护, 是一种具有数学和图形方式相结合的形式化描述. 相似文献
16.
张莉 《北京航空航天大学学报》1998,24(4):407-410
从当前对软件工程过程的需求出发,结合软件工程领域的最新成果统一建模语言UML(Unified Modeling Language),重点讨论了适应需求变化的迭代式软件开发过程,提出了柔性软件开发模型.在此研究的基础上,设计了集成化UML软件开发环境的框架,指出其组成应包括UML可视化建模系统、UML模拟系统、UML代码生成系统和UML逆向变换系统4个部分,并提出了需要解决的问题. 相似文献
17.
荚伟 《北京航空航天大学学报》1998,24(4):434-437
测试数据生成是软件测试中的关键环节,它的实现对于软件测试过程的自动化具有重要意义.本文阐述了用遗传算法作为核心搜索算法来生成软件结构测试数据的方法和技术,其中讨论了编码策略、评价函数构造及插装等问题的解决方案,并重点说明了如何对遗传算子进行改进,使算法在解决本问题时更加有效.实验数据证明该方法是高效的. 相似文献
18.
对象Petri网模型的并发软件仿真技术的研究 总被引:2,自引:0,他引:2
唐发根 《北京航空航天大学学报》1998,(4):311
并发软件的性能评价是提高软件开发质量的重要手段之一.本文重点讨论了将面向对象与Petri网相结合的思想用于并发软件开发中的系统建模,以及基于对象Petri网(OPN)的并发软件系统的仿真技术,同时,也探讨了实现一个基于OPN的动态仿真工具所面临的关键技术和解决方法.实践结果表明,文中讨论的实现机制与处理方法是有效和可行的. 相似文献