基于JavaCC的JAVA程序模型逆向转换

针对软件的维护和更新问题,提出一种基于编译技术、以类图和过程蓝图作为抽象模型的Java程序模型逆向变换方法。从对逆向变换的核心思想——逆向变换规则和机制出发,提出了从Java源代码到UML类图和过程蓝图的逆向变化规则,并用数学的形式进行了精确的定义。针对面向对象语言Java设计了一个逆向变换支撑工具,应用编译技术动态分析了Java源代码,逆向转换生成UML类图和过程蓝图的可视化模型。     

基于过程蓝图的Web服务建模

基于模型驱动架构(MDA,model driven architecture)为Web服务开发提供了一个有效途径,但在使用统一建模语言(UML,unified modeling language)建模过程中缺乏严格的语义描述。对Web服务建模进行了研究,给出了新的web服务开发流程。利用过程蓝图对UML中的用例图、顺序图和类图进行了扩展,使得建模过程中包含了严格的语义信息。通过实例对新的服务开发流程进行验证,证明了其可行性。实验结果表明,这一开发流程具有较强的实用价值,有效提高了软件的开发效率。     

一种用于APLA→JAVA系统可靠性评估模型

软件可靠性问题是软件测试中的重要难题之一,由于程序语言的复杂性以及被测程序的多样性,一直没有一个好的可靠性模型来评价它。鉴于此,依据软件可靠性工程理论,参考APLA→JAVA系统的特点,提出了一种基于测试的软件可靠性评估模型,讨论了模型的参数评估和置信区间,并给出了模型的评价方案。数据分析表明该模型具有合理性和可行性。     

地震发生的双态泊松模型及其在地震危险性分析中的应用

本文将地震发生的双态泊松模型与地震动衰减的椭圆模型相结合,提出了一种可供工程应用的地震危险度评定方法.推导了基于以上模型的计算公式,编制了实用计算程序,给出了利用该程序对大连市地震危险性分析进行计算的结果。由计算结果可以看出,采用双态泊松模型进行地震危险性分析,改善了一般泊松模型对地震活动呈周期性变化区域的概率估计。该模型理论上合理,在工程应用上可行。     

桥梁健康监测系统中时钟同步的应用研究

基于桥梁健康实时监测系统的总体框架和现状,重点分析了该系统中存在的时钟不同步的问题。介绍了几种主要的时钟同步技术和方法。根据监测系统的实际情况、结合常用的时钟同步技术,设计提出了一种适用于小范围局域网内的高速实时数据采集系统的时钟同步模型,阐述了该模型的时钟同步过程。最后,讨论了该模型的时钟同步过程的误差来源及其系统的扩展性问题。     

基于环路拓展的三级集中供热系统原理与分析

现阶段供热中存在着水力不平衡和运行能耗高等方面的问题,基于环路拓展的集中供热系统研究是降低供热系统能耗的重要手段之一。文章在对现有几种集中供热形式比较的基础上,结合分布式供热系统与水力分压器,提出了一种基于环路拓展的集中供热系统,在已有散热器用户回水管路上再串联一级散热器用户和一级地暖用户,对该供热系统环路的供热模型进行了分析,建立了供热系统三级串联的计算模型。结果表明:该供热系统稳定性好,调节方便,输配能耗低,在供热过程中可降低供热能耗;为实现舒适和节能要求,该供热系统宜采用三级或三级以下的串联环路。     

基于CORBA与XML的课程实验程序自动测试系统

说明了课程实验程序自动测试系统的意义，提出并实现了该系统基于CORBA与XML的三层B／S结构模型，分析了XML的技术优势并用DTD构建了系统试题库的结构模型，实现了DOM技术访问XML试题库的方法，提出和实现了一种自动测试过程的控制模型。     

一种改进的支持外部Web服务集成的过程模型

围绕供应链管理系统的特点,针对跨企业过程中服务的集成需求,提出了一种支持外部Web服务集成的适合供应链管理系统的建模方法——基于Web服务的过程模型（Web Service-based ProcessModel,WSBPM）,并构建了一个基于WSBPM模型的供应链管理原型系统。该模型为虚拟企业实现供应链管理系统提供了一种框架,系统的运行结果表明,WSBPM模型具有良好的外部Web服务集成能力。     

基于BM3803的高可靠星载软件重注方法

为了适应航天器高可靠、长寿命的需求,以某实际项目应用为背景提出一种基于BM3803处理器的高可靠星载软件在轨重注方法。该方法通过1553B总线接收中央处理系统发送的重注程序,采用两个EEPROM实现原程序和重注程序存储,针对软件重注中接收、存储、固化和切换四个重要过程进行详细设计。设计了重注程序接收过程的多重校验,提高文件上传过程的可靠性;提出了基于包序号的重注程序存储方法,解决传输过程中包不连续的问题;采用了通过地面测控系统发送指令和引导程序相结合的方式进行重注程序加载,实现原程序和重注程序可靠切换。实验结果表明,该方案能够实现软件重注,并具有较高的可靠性。     

基于信息隐藏和信息分存的隐蔽通信系统模型

提出了一种安全的隐蔽通信系统模型。该模型主要是基于信息隐藏技术和信息分存技术，其基本思路是先把秘密信息加密，然后分存成若干份子信息，再把子信息分别嵌入到不同的掩护信息中进行传送。文章最后对该系统模型进行了仿真实验。     

基于SuperSAP的有限元前处理接口程序设计

基于ＳｕｐｅｒＳＡＰ软件的前处理功能,提出了两种有限元前处理的数据文件接口程序设计方法,一种是从ＡｕｔｏＣＡＤ中调入模型的接口设计方法,另一种是直接生成有限元分析数据文件的接口设计方法。采用该接口程序可以方便地进行结构、材料、边界复杂的工程问题的有限元前处理。     

直流电机双闭环调速系统的动态模型仿真

为了提高运动控制系统在实际工程中的应用效率,阐述了一种新的计算直流电机双闭环调速系统仿真模型参数的方法.概述了直流电动机双闭环调速系统的组成、工作原理、动态特性;介绍了直流调速系统的工程设计方法,应用Matlab/Simulink搭建直流电机双闭环调速系统仿真模型,并通过编写M程序文件设置模型器件的各参数,在模型中调用M程序文件进行仿真.仿真结果证明了该方法的正确性.     

基于Petri网的生产车间物料运输系统建模与仿真

提出了一种基于Petri网的生产车间物料运输系统Petri网模型,可以将该系统的物理过程通过网系统形象地表示出来,并反映出系统的动态特性。同时用ARENA仿真软件对该系统进行了模型仿真研究,仿真结果表明该模型是合理的。     

轮椅左右腿同步运动系统设计

为了解决轮椅在爬楼过程中左右腿不能同时着地受力,造成轮椅偏斜的问题,设计了一种基于PC与STC12LE系列单片机的轮椅左右腿同步运动系统.在系统硬件设计部分,介绍了该系统的硬件组成、连接关系和工作原理;在系统软件设计部分,主要介绍了单片机程序流程图和单输入模糊控制在同步运动控制过程中的应用.该系统在最近测试过中,实验结果符合设计要求,且表现出操作简单、反应灵敏、性能稳定等优点.     

用于图像超分辨率的轻量级残差平衡蒸馏网络

现有利用卷积神经网络的单幅图像超分辨率重建技术,普遍存在参数量大计算成本高等问题,阻碍了实际场景的应用,因此提出一种轻量级蓝图可分离残差平衡蒸馏网络(BSRBDN)。首先,引入蓝图可分离卷积并提出多尺度渐进特征蒸馏连接结构,在提取深层特征的同时减少冗余运算。其次,设计了对比度平衡注意块、大内核空间注意力块和像素融合模块,激活高频信息增强边缘细节特征。最后,设计了轻量级蓝图可分离残差平衡蒸馏网络快速精准的完成图像重建。实验结果显示网络在保持更好的性能和主观视觉效果的同时,大大降低了参数与计算量。     

基于模型检测的服务规则路由正确性验证方法

基于模型检测技术,提出了一种适用于集成了规则引擎的企业服务总线中的消息规则路由的正确性验证方法。首先将基于规则的消息路由转换为服务模型六元组,然后再将服务模型六元组转换为NuSMV输入程序,最后通过NuSMV工具实现自动化验证。给出了一个贷款审批业务的服务规则。路由的正确性验证实例证明了该方法的可行性。     

一种基于模型距离的改进的说话人识别技术

提出了一种测量高斯混合模型距离的方法。基于此方法提出一种改进的说话人识别系统:首先从语音中提取几种参数;再分别训练高斯混合模型;然后选择使说话人辨认系统模型平均距离较大的那种特征参数的高斯混合模型,作为该说话人的训练模型;最后在识别时提取此种特征参数进行识别。本文仿真了两种不同模型平均距离的特征参数的正确识别率。实验结果表明:对说话人辨认系统来说,采用使模型平均距离较大的特征参数,所对应的识别性能较好。     

考虑认知不确定性的风力发电机维护决策优化

风电清洁又安全,然而,风力发电机存在维护成本高、难度大的特点。在将风力发电机作为多状态系统进行维护决策优化时,其各个状态的性能水平、状态转移概率和维护成本等很难精准得知,因而模型中会产生认知不确定性。以特定型号风力发电机的实际运行情况为背景,利用其运行过程中可能出现的多个性能水平进行多状态退化建模,提出一种基于模糊马尔科夫决策过程的风力发电机维护决策优化方法,再用三角模糊数量化模型中的状态转移概率、设备单位时间收益等参数的认知不确定性,最终实现求解。该方法旨在考虑模型认知不确定性下优化合理的维护决策,在工程中更好地实现兆瓦级风力发电机系统的收益最大化。     

化工加热炉燃烧过程的优化控制策略研究

针对化工加热炉燃烧过程中存在的热效率低等问题,提出一种基于仿人智能的优化控制策略。探讨实现充分燃烧的条件、评判指标和优化控制策略,给出控制模型和工程控制算法。系统仿真试验结果表明,对燃烧过程实施智能控制是一种有效的优化控制策略。     

基于MRAC的矿山电动轮加油系统研究

以矿山电动轮汽车润滑油加油系统为研究对象,本文提出了一种基于Liapunov稳定性理论的模型参考自适应控制（MRAC）方法。分析了该加油系统的结构特点,建立对应数学仿真模型,再利用超稳定理论推导出加油系统自适应控制律,利用Matlab/Simulink对该数学模型进行仿真。模型仿真结果说明,该系统具有较高的稳态精度和较强的鲁棒性。