基于共享模型的工作流表单系统设计

表单是应用系统中信息传递的主要载体.分别分析了表单系统和工作流系统的运行过程,分析了传统表单工作流系统中表单与工作流的结合方式,研究了基于建模的方式对表单模型和工作流模型进行定义,并在建模过程中对二者进行结合,同时采用分域的方式对工作流表单进行划分并在同一流程模型中共享同一表单,并提出了一种基于共享模型的工作流表单系统的开发方法,该方法采用表单引擎和工作流引擎技术,分离表单数据和工作流数据的处理,按表单模型和流程模型的结合点定义使工作流引擎处理表单数据,对该方法的过程和特点也进行了详细的介绍.      

模型驱动的嵌入式系统设计

随着嵌入式系统设计周期越来越短,功能越来越复杂,越来越多领域的设计人员参与设计,市场需求导向致使需求变更越来越多,以传统文档形式的需求来驱动开发已根本不能满足时间和成本方面的要求。本文提出了采用可执行模型、动态需求规格和接口控制文档共同作用的驱动嵌入式系统设计方法,它能够较好地满足目前系统设计的要求。在文中,我们首先介绍了当前嵌入式系统设计中存在的一些问题,然后介绍了模型驱动设计的方法、语言和优点,并对动态需求规格和接口控制文档的执行给出了建议,最后得出模型驱动的嵌入式系统设计是一种行之有效途径的结论。     

可复用的需求建模方法

提出了一种特征驱动的可复用需求建模方法(RRM,Reusable RequirementMethod),此方法定义了一个可复用的需求建模过程(RRMP,Reusable Requirement Modeling Process),在领域工程和应用工程两个层面上都提出了相对完整的需求建模方法并将两个阶段有机地融合在一起.将主要研究方向着眼于领域模型的正确建立、合理剪裁和对象化过程,从而得到针对于具体应用的需求模型.在RRMP的过程指导下还将设计一个需求定制与应用开发平台(RAP,Requirement customing Application developing Platform).RAP平台立足于需求获取阶段,以用户易理解的图形化方式灵活直观地与用户进行需求交互,根据用户定制的需求自动生成具体应用的标准需求开发文档和开发过程中所产生的统一建模语言(UML,Unified Modeling Language),并最终开发出用户所需的领域内特定应用的原型系统.RAP平台主要包含3个部分:图形化需求定制工具,需求开发文档生成工具和目标应用开发工具.     

主动隔振系统中驱动器的有限元分析

用于空间科学实验的主动振动隔离系统采用洛伦兹力驱动的方法, 将被隔振的平台 悬浮于空中. 对电磁驱动部分的动力学分析是各种设计和实验的基础. 提出了一种驱动器的结构, 并对驱动器的永磁部分进行了有限元分析, 包括模型的建立、 静力学分析、模态分析、瞬态分析、谐响应分析和谱分析, 由此验证其力学性能可以 满足设计要求. 为优化结构设计, 减小驱动器尺寸, 降低设计开发成本, 缩短设计开发周期, 提高产品质量奠定了基础.      

Digital simulation model piezoelectric cantilever design and analysis of beam smart elements

针对在薄壳结构上层合压电传感器与作动器的智能结构系统进行振动控制问题,提出了一种专用的数字电路化智能元仿真模型进行振动特性分析的新方法.以压电悬臂梁系统为例,利用有限差分方法将主体结构、压电传感信号及压电控制力矩的动力学偏微分方程转化为智能元差分方程;建立基于Newmark-β积分方法的智能元数学矩阵模型;在DSP数字电路系统上设计智能元仿真系统;对不同差分密度和积分时间步长下系统各个模态的输出特性进行了分析,并与相关文献中采用不同控制方法的模拟电路仿真结果进行了比较,取得了更精确的结果.该方法为压电结构系统的振动特性仿真分析提供了新途径.     

压电悬臂梁智能元数字仿真模型设计及分析

针对在薄壳结构上层合压电传感器与作动器的智能结构系统进行振动控制问题,提出了一种专用的数字电路化智能元仿真模型进行振动特性分析的新方法.以压电悬臂梁系统为例,利用有限差分方法将主体结构、压电传感信号及压电控制力矩的动力学偏微分方程转化为智能元差分方程;建立基于Newmark-β积分方法的智能元数学矩阵模型;在DSP数字电路系统上设计智能元仿真系统;对不同差分密度和积分时间步长下系统各个模态的输出特性进行了分析,并与相关文献中采用不同控制方法的模拟电路仿真结果进行了比较,取得了更精确的结果.该方法为压电结构系统的振动特性仿真分析提供了新途径.     

一种高稳定度帆板驱动系统的摩擦参数辨识

为了减少帆板驱动机构（SADA）对太阳帆板的激励作用和降低摩擦的影响,以永磁同步电机作为驱动源,提出了一种基于LuGre模型的摩擦参数辨识和补偿方法.为了能够准确的进行摩擦参数的试验辨识,设计了SADA系统摩擦力矩测试平台两者相结合进行了试验辨识,并将试验辨识所得到的摩擦模型参数代入SADA驱动系统模型中.通过仿真和试验表明：试验辨识较准确,且摩擦补偿后的SADA系统消除了正弦跟踪中速度过零时的波形畸变现象,能够有效改善SADA系统的动态性能     

帆板驱动时的卫星姿态前馈补偿控制

研究帆板驱动影响下的卫星姿态控制问题.帆板驱动时存在转速波动,从而影响卫星姿态.在已有帆板驱动模型的基础上,分析帆板转速特性,通过对帆板转速的离线拟合和在线估计,结合卫星姿态动力学模型,设计了卫星姿态的一般前馈补偿和自适应前馈补偿控制器.数学仿真结果表明,两种前馈补偿控制均能有效克服由帆板驱动不平稳而造成的对星体干扰,实现卫星姿态高精度控制.     

基于JUnit和元模型的模型存储测试设计与实现

在模型驱动测试中,针对测试模型的存储测试问题,提出了单元素、单个测试元模型、组合测试元模型等测试覆盖准则,并通过实例化的方法生成了测试用例,讨论了测试结果的判定方法.在Eclipse平台上,借助于JUnit框架实现了模型存储测试.通过分析不同数量级的测试用例对执行效率的影响以及不同测试覆盖准则和相应的JUnit测试代码规模之间的关系,为测试元模型的设计与存储提供了实践指导,并表明JUnit框架可以用于基于元模型的测试.提出了一个基于JUnit和元模型的自动测试框架——JMetamodel,可以用于模型存储以及模型转换的测试.      

模型数据混合驱动的航天器健康监测技术

针对现有纯数据驱动的航天器健康监测技术不能覆盖非测控弧段,遥测数据有限,无法满足功能复杂化、任务多样化、在轨时间长期化的航天任务需求的问题,提出一种模型和数据混合驱动的航天器健康监测系统架构.该系统以高保真的数字化模型为基础,通过遥测数据与模型的融合,实现对航天器全时间段、连续可靠的状态监控及状态预示.本文对架构中模型实现、遥测数据与模型数据融合、故障诊断等关键技术进行详细描述,并说明在某型号航天器任务过程中的应用验证情况.     

企业信息系统领域的软件建筑模型

将软件建筑的基本概念以及研究成果引入到企业信息系统建设中,提出了企业信息系统领域的软件建筑模型.首先对软件工程方法学的发展做了简要评述,指出了软件建筑在软件过程中的重要性.随后提出了企业信息系统领域的基于软件建筑模型,包括软件建筑模型、参考需求、参考建筑等.描述了基于该模型的软件开发过程,讨论了若干相关研究工作.     

基于软件重用技术的飞行模拟器软件生成系统

在计算机应用系统中,软件是灵魂。本文研究基于软件重用技术和系统组合技术的飞行模拟器软件生成系统的原理、实践与应用经验。这一方面是由于研究软件重用技术和系统组合技术对缩短软件开发周期、增加软件产量和提高软件质量有着重要的意义,另一方面是因为旧的飞行模拟器软件开发方法已不能适应该领域日益变化的需求。 所谓软件重用技术是指开发新的应用软件时,再次使用已有的软件、知识和方法的技术;所谓系统组合技术是指根据特定应用的需求规格说明和已有的软件、知识和方法,将零散的软构件组装成一个系统的技术。本文给出了结合两种技术的飞行模拟器软件生成系统原型的实现原理和示例。它主要由三大部分组成:可重用的软件库及其管理器、库的浏览/检索器和目标软件生成器。我们用面向对象式语言C++描述其软件结构,以“生产域/消费域”模型作为软件生产、组装的基础。由此原型系统实现的某型号飞行模拟器飞行系统软件的重用、组装及仿真结果表明:基于软件重用技术和系统组合技术的飞行模拟器软件生成系统在理论上与实践上都是可行的;使软件重用技术和系统组合技术结合在一起,用于软件的整个生存周期,是对软件工程过程模型的重大革新。     

基于模型架构的航天器控制软件研制方式研究

开展基于模型设计研究,旨在解决当前航天器控制软件研制所面临的需求描述准确性、设计验证充分性以及软件产品可靠性等问题.针对基于模型设计过程中的代码胶合接口复杂且操作繁琐问题,提出一种基于模型架构的航天器控制软件研制方式,搭建软件模型驱动框架,通过模型封装方式将既有代码资产或新编写代码嵌入到软件模型驱动框架,简化代码胶合过程.同时,建设航天器控制领域通用模型库来提高成熟算法模型的复用效率及自动生成代码可靠性.本方法研究为推进航天器控制软件向模型驱动开发方式转变夯实基础.     

CGF系统中多级智能决策实现方法

对于计算机生成兵力系统中上级指挥员决策模型的建模采用了一种基于似然比的方法;而对于下级指挥员的决策模型的建模采用了一种基于模糊逻辑的方法.基于似然比的方法能够有效完成信息融合,从而给出合理的决策结论.基于模糊逻辑的方法所得到的决策输出充分考虑到了指挥员个人的性格、经验以及战场的具体环境,并且这些决策输出将作为上级指挥员决策模型的信息来源.这些方法在计算机生成兵力系统舰艇兵力设计中的应用表明它们能够有效的完成多级智能决策模型的建模.      

产品协同设计中异构模型数据融合的有效策略

针对复杂产品设计中，不同设计工具产生的模型数据之间的融合问题，提出了一种工具间端到端的异构模型数据融合策略。利用数据库管理动态特性，通过模型信息共享，实现异构模型数据之间的融合。在OpenMBEE系统集成环境中，通过建模工具CREO二次开发，利用所提策略获取全生命周期设计中的动态模型属性信息，通过3D模型编辑及重用功能测试，验证了所提策略的有效性。利用自动获取可视化模型属性信息的智能算法，设计一种基于Transformer模型与双向长短期记忆(Bi-LSTM)模型相结合的模型属性智能提取算法，利用神经网络的多层感知特性，通过对模型中属性文本信息进行深度学习、特征分析，实现了对异构数据属性信息的自动提取功能。利用CAMEO建模工具设计的需求分析模型构建模型数据集，验证了智能模型信息自动提取功能的有效性。      

MBD模型本体建模及检索技术研究与应用

针对产品全三维数字化研制中产生的MBD历史建模数据重用性需求,提出了一种基于本体技术的MBD模型知识表达与管理方法,综合考虑几何信息与非几何信息进行检索应用。首先,根据MBD数据集规范性要求,以模型检索为目的,构建本体结构,分为几何信息层与非几何信息层进行具体阐述;其次,根据已构建本体结构,给出几何信息层与非几何信息层相似性对比方法;最终,综合几何信息与非几何信息,实现MBD模型检索。本文方法通过本体技术,将MBD模型数据进行结构化、语义化表达和存储,在此基础上,综合考虑几何信息相似度及非几何信息相似度,进行相似模型检索,实现MBD模型信息重用。     

软件协同开发活动管理的3个方面

针对网上软件协同开发活动,就如何建立一个支持它的开发环境和信息系统、如何在工作组内进行任务划分、如何进行协同管理等方面进行了研究,提出了协同活动管理中对象性、关系性和任务性这3个方面的分析模型,并进行了较为深入的设计和讨论.它以软件组件对象为核心描述了对象模型;以"最后离开者关门原则"讨论了关系模型;以任务划分方法分析了任务模型.     

需求模式

为了解决软件开发过程中需求重用的问题,对统一建模语言中的活动图进行了扩展,用以作为软件需求捕获和描述的工具,并以此为基础通过借鉴其它模式语言的通用描述方式,提出了基于过程模型的需求模式描述语言,其描述框架包括模式名称、所属领域集合、适用语境、所要解决问题、条件约束、解决方案、模式实施、应用实例以及相关模式等方面,详细定义了语境、解决方案和相关模式的描述方式,并在此基础上给出了需求模式开发和应用的指导性原则.提出的需求模式技术,使软件最高抽象描述层次的重用成为可能,其应用必将大大提高软件开发的效率.      

基于图像智能识别技术的拉力计自动检定系统

采用标准力值传感器、丝杆升降机及挂架结构取代砝码下挂方式，构成拉力计自动检定系统。采用步进电机驱动螺旋升降机丝杆解决了加载机构自动力值加载问题。系统自动采集标准传感器输出力值数据。采用摄像设备实时拍摄拉力计游标移动位置图片，上传到计算机，采用Hopfield神经网络智能识别软件进行识别处理，获得游标位移的数字信息，转化为测力计读数信息，由此构成拉力计自动检定系统，从而提高检定自动化水平和工作效率。