基于支持向量回归机的航材周转件需求预测

将机器学习应用于航材库存管理之中,提出了基于支持向量回归算法的航材周转件需求预测模型。将聚合处理后的周转件月需求数据分为训练集和测试集,以训练集为输入,选取核函数和模型参数,对支持向量回归机进行训练。应用训练完成的支持向量回归机,以测试集对模型进行验证,预测结果证明了模型的有效性。     

基于模型的FADEC软件结构覆盖率分析

结构覆盖率分析是基于需求测试的补充和完善,能够发现软件中是否存在预期外的功能.在基于模型的软件开发过程中,模型覆盖率代替了传统的代码覆盖率,运用模型检查技术自动生成测试用例是形式化方法在模型覆盖率测试中的主要途径,涵盖了判定覆盖(DC)、条件覆盖(CC)、修改条件/判定覆盖(MC/DC)等多种方式.以航空发动机FADEC软件开发过程中的一个实际案例为例,结合Simulink Design Verifier分析验证工具,检验其生成的用例对模型的覆盖率,表明方法的实用性.     

基于MDA的工作流建模技术的研究与实现

为提高企业Web应用系统开发效率,弥补模型驱动架构在业务逻辑建模方面的不足,提出一种基于模型驱动的工作流建模方法。以Petri网为理论基础,提出基于XML的工作流过程定义,并将描述工作流模型的XML作为平台无关模型的一部分送交MDR环境来解释执行。实现了业务流程的可配置,极大提高了Web应用系统开发效率。应用实例表明,可以实现业务流程的自动生成,满足企业业务流程快速开发部署和灵活变更的需求。     

面向人机交互式软件的测试模型建模方法

从测试用例自动生成和自动执行的角度来探讨如何对人机交互软件建立测试模型。采用UML活动图模型来描述软件的人机交互过程。为了能够从活动图模型中生成一组确定的可执行的测试用例，给出了一组规则来细化基于活动图的测试模型所表达的语义，同时也对活动图做了一些扩展，以支持基于模型的测试用例自动生成及其自动执行。给出的建模方法，能够减少某些冗余的测试用例。     

基于MDA的快速软件开发框架的研究

通过研究基于MDA的软件开发理念,分析和探讨了软件开发效率、系统移植、互操作性以及软件维护等突出问题。提出了一种软件开发框架,采用XML建立平台无关模型（PIM）,建立模型驱动运行时环境（MDR）,对PIM模型进行解析和执行,最终生成HTML页面。框架能够极大地提高开发效率,方便系统扩展和后期维护,有利于开发人员进行Web应用程序的二次开发。     

基于JTAG的模块测试方法

简要阐述了边界扫描测试的基本用途,介绍了边界扫描的结构及特点;分析了JTAG的命令和使用方法、测试向量的生成方法;最后给出三个应用实例:使用JTAG对单个器件的测试,互连测试和对器件编程。     

基于UML的可执行模型实现机制研究

模型驱动开发(MDD)是由OMG提出的通用软件开发标准,旨在解决软件开发过程中遇到的需求多变以及重复开发等问题。模型驱动开发一般使用UML作为建模语言,然而UML是一种符号化语言系统,其语义采用自然语言描述,是半形式化语言,无法精确和严格描述模型行为从而实现模型的验证。为了解决这个问题,提出一种UML模型验证的方法,其核心是xUML的状态图,xUML是UML的增强子集,拥有精确的语义。并在分析Rhapsody可执行框架OXF的基础上,设计并实现了一个模型可执行框架。最后通过一个模型执行的例子验证了该框架的可用性。     

基于模型的系统工程设计方法在TCAS中的应用

针对传统空中交通防撞系统(TCAS)设计中基于文档描述的不足,采用基于模型的系统工程方法进行TCAS系统建模。在建模过程中使用SysML语言,通过多个视图来描述和分析系统需求,并通过模型的执行尽早验证需求。整个设计过程都是基于需求的,是可测试、可追溯的,是由经验研发向需求研发的转变。     

基于模型驱动的四余度信号表决系统设计

利用一种基于SCADE模型驱动的嵌入式软件开发方法,研究四余度信号表决系统的设计和实现,方法的主要优点在于基于图形化的软件建模、代码自动生成、具有开发周期短、安全性高,并在很大程度上实现了软件开发的自动化.通过测试和仿真,四余度信号表决系统软件模型设计合理可行,生成代码可嵌入到实时软件中使用.     

基于模型的系统工程在民机领域的应用

介绍了在民用飞机系统顶层设计中基于模型的系统工程方法的应用.该流程由需求分析、功能分析和设计综合阶段构成.对每一个用例的功能分析中得到活动图、顺序图和可执行的状态机.执行状态机可验证需求的符合性,同时形成系统功能和非功能性需求.储存在数据库中的需求逐条与模型元素建立链接关系,保证可追溯性.黑盒模型完成之后,将功能与流程分配系统架构中,形成子系统白盒模型和子系统接口.相比传统设计方法,该流程更好地保证了系统可测试性、可追溯性和功能的完整性.     

对沈阳市五所高校学生参与户外运动的调查与分析

文章采用文献资料法、问卷调查法、数理统计等方法,对沈阳市部分高校学生参加户外运动的现状及影响因素进行了较为全面、客观的调查与分析。得出结论：沈阳市高校普通学生对户外运动的参与意向较高,男女生对户外运动的选择表现出极大的差异,男生在攀岩、穿越、探险等项目上选择人数明显高于女生,女生在郊游、登山、徒步等项目上选择比例明显高于男生;愉悦心情为大学生参加户外运动的首选动机;但由于众多客观因素限制,导致参与情况不乐观。文章对沈阳市高校学生户外运动的健康发展与科学指导提供了一定的依据,并对如何培养沈阳市高校学生的终身体育思想与体育行为提出了相关建议。     

20世纪初年沈阳市近代私营工业的产生发展

沈阳市近代私营工业产生于20世纪初年,至“九一八”事变前夕初具规模。通过对历史文献资料的整理和分析,对私营工业的主要行业结构、发展规模及特点作了较为全面的阐述,指出私营工业在中国半殖民地化逐步加深的历史背景下,在外国资本和本国官僚资本的夹缝中艰难发展,不可能形成独立的工业体系,必然走上畸形的殖民地经济道路。     

美国HAAS机床国产化数控系统的改造

美国HAAS公司的VF-7数控铣床原配置HAAS数控系统,改造为沈阳高精GJ401国产数控系统.文中介绍了电气系统改造方案、沈阳高精GJS系列伺服器的调整和伺服参数的优化方法.     

方波幅度的测量不确定度

介绍了用众数法评价方波幅度时的不确定度分析和评价过程；讨论了主要的不确定度来源，包括众数判别区间的影响、波形测量系统幅度测量误差的影响等等；给出了减小不确定度的主要措施，并结合一个实例，给出了方波幅度的不确定度评价结果。     

电磁辐射干扰试验的测量不确定度评定

详细地分析了利用吉赫兹横电磁波室进行小体积受试设备(EUT)电磁场抗扰度测试的不确定度。     

高校图书馆期刊管理服务创新举措

高校图书馆期刊管理工作需立足本校实际情况,提高期刊信息服务意识及采购质量,建立合理的馆藏期刊结构,创新期刊管理服务措施,拓展期刊服务内涵。高效发挥期刊信息的作用,提高期刊资源利用率,更好地为读者服务。     

非线性方程迭代算法收敛性分析

从几何上分析了迭代格式xn+ 1=φ(xn)所产生的序列收敛于方程根的收敛条件 ,导出了不依赖函数可导性判断迭代序列收敛的收敛定理 ,给出了产生收敛的迭代序列的技巧。     

秒表检定的测量不确定度评定

介绍了用标准时间间隔发生器检定秒表时，测量结果不确定度分析和评定过程；讨论了测量不确定度的几个主要来源；通过一组实例，给出了秒表检定不确定度的分析和评定结果，该过程和结论可应用在对于计量标准进行相应指标的不确定度分析上，也可用于估计秒表检定本身的不确定度。     

数显测高仪示值误差的测量不确定度评定

针对数显测高仪各校准点示值误差的校准方法,给出了示值误差的数学模型,并以某校准点为例,对该校准点示值误差的合成标准不确定度和扩展不确定度进行了评定.     

高校廉洁文化教育的载体构建

作为构建反腐倡廉体系的基础性工作之一,高校廉洁文化教育是从源头上防治腐败的根本之策,关系到整个社会廉洁文化的建设。从打造廉洁文化教育教师主体团队,发挥党团组织的战斗堡垒作用,弘扬廉洁校园文化节、占据网络文化教育阵地等方面,对高校廉洁文化教育载体进行研究,旨在为高校廉洁文化教育提供些许参考意见。