摘要：随着应用软件体系结构风格变化和规模变大,其运行环境变得日趋复杂,对应用系统体系结构的设计及其正确性验证提出了新的挑战.现有的应用系统体系结构设计关于需求满足性验证在建模与验证中需要多种工具的支持.应用系统体系结构在设计阶段的需求满足验证,有助于客观评价应用系统部署方案和系统如期上线以及主动运维.面向应用系统体系结构设计及其验证,在模型驱动的软件工程背景下提出一种高阶类型化可验证应用系统体系结构建模语言(VASAML)与可验证应用系统体系结构建模方法(VASAMM).VASAML语言通过定义类型和项的语法和语义,描述构成应用系统体系结构的类型和对象的结构,通过定义两种类型规则及其类型检查算法,判定Γt:T和ΓR(T1,T2)是否成立,其中,结构类类型规则用于描述应用系统体系结构中的组成部分,关系类类型规则用于描述组成部分之间的关系和配置.VASAMM方法给出了应用系统体系结构建模过程,包括构建Mbd(基本数据类型)、Mbti(基本接口类型)、Mdev(设备类型)和Mfrwk(应用系统框架)这4层,以及自动生成层内与层间类型之间关系对应的类型规则,同时定义了设备类型服务调用图(GDSI)用以刻画部署要求,定义了类型序列及其正确性用以刻画需求期望性质,并给出了相应的基于类型检查的验证算法.设计实现了基于该方法的原型工具系统VASAMS,其中,建模编辑环境支持应用系统部署方案的设计过程,验证环境支持设计是否满足需求的自动验证.通过一个实际案例完成了某行业较大规模应用系统体系结构的建模和验证.

摘要：目的探究后现代主义影响下的中国平面设计发展历程。方法结合后现代主义思潮特征,对我国平面设计发展现状进行探究,分析后现代主义对中国平面设计产生的影响及对中国平面设计未来发展的启示。结论后现代主义思潮对中国平面设计所带来的影响值得思考,当进入视觉技术时代,思维方式也变得更加富有想象力。提高民族设计水平与广大民众的审美水平,要在考虑社会经济发展的同时,着眼于传统文化的传承,把后现代主义设计理念与中国平面设计有机融合在一起,形成一个良好的设计互动环境,才能使中国的设计达到国际水平。

摘要：根据权威统计数据,软件测试中发现的70%以上的错误由需求获取或体系结构设计引起.因此,应用软件体系结构在设计阶段的正确性验证非常重要.现有的软件体系结构设计方法不支持需求满足验证,需求满足验证需要其他验证工具的支持.面向主流Web应用软件的体系结构设计及其需求满足验证,提出了一种高阶类型化软件体系结构建模和验证语言(SAML)与软件体系结构建模和验证方法(SAMM).SAML语言通过定义类型和项的语法及语义,描述软件体系结构中类型和对象的构造,通过定义类型规则及其类型检查算法来判定Γ┝t:T和Γ┝R(T1, T2)是否成立.SAMM给出了软件体系结构建模范式,包括构建接口类型Mcls(typeinterface)、组件Mcmpt(component)、容器Mcont(container)、框Mfrm(frame)和框架Mfrwk(framework)这5层建模过程,以及生成层内与层间类型之间关系对应的类型规则,同时定义了接口类型方法调用图(GSA)用以刻画软件体系结构设计要求,定义了类型序列及其正确性用以刻画需求期望的性质,并给出了相应的验证算法.设计实现了基于该方法的原型工具系统SAMVS,其中,模型编辑环境支持应用软件的设计过程,验证环境支持设计满足需求的自动化验证.通过一个实际案例,完成了一个较大规模"互联网+"应用软件系统的体系结构建模和验证.

摘要：数字化舵机具有控制精度高、可靠性高、抗干扰能力强且便于调整和优化等优点,已成为导弹舵机的发展方向。通过实验验证,建立了数字化舵机的系统模型。根据相关技术指标的要求,将PID控制引入舵机系统,设计了PID校正控制器,并在系统空载和加载条件下进行性能的仿真与对比。以专用数字信号处理器(DSP)芯片为基础,设计完成了一套基于DSP的数字化舵机仿真系统。

摘要：针对水稻工厂化育秧播种完成的秧盘人工取盘和层叠堆放劳动强度大、效率低、后续运输不便等问题,该研究设计了一种水稻秧盘自动码垛机,可完成秧盘精确夹取、转移和码垛;阐述了码垛机的基本结构和工作原理,对关键部件进行设计,以可编程逻辑控制器(Programmable Logic Controller,PLC)作为控制核心,搭建了秧盘码垛层检测和码垛控制系统;采用Box-Behnken试验设计方法,对码垛机作业性能的主要影响因素(生产率、码垛层检测机构的检测时间和放盘高度)与码垛性能指标(码垛合格率和种子外露率)的关系进行研究,分析各影响因素及其交互作用对码垛性能指标的影响,并根据育秧播种生产线实际生产需求,设定生产率为400、500和600盘/h,采用多目标优化方法进行参数优化,得出主要影响因素间的最优参数组合为码垛层检测机构检测时间1.15 s和放盘高度1.10 cm,在最优参数组合下,进行秧盘码垛试验,得出码垛合格率分别为99.33%、99.50%和99.20%,种子外露率分别为0.40%、0.53%和0.70%。试验结果满足水稻工厂化育秧秧盘码垛作业要求,对提高水稻工厂化育秧的自动化水平具有实际应用价值。

摘要：对发动机瞬态工况空燃比进行控制时,由于单缸汽油机本身固有的非线性和时滞环节,传统PID控制很难取得满意的效果,本文构造了一种带动态补偿的模糊PID控制器.首先搭建了单缸机仿真模型,并将模糊PID控制算法应用于空燃比控制中,以适应系统的非线性;然后针对单缸机系统中固有的时滞环节提出一种动态时滞补偿器,以降低时滞环节对系统的影响;再将该时滞补偿器耦合于模糊PID控制器中,应用于单缸机瞬态工况下的空燃比控制.仿真结果表明,改进的模糊PID控制器不仅能补偿系统中时滞环节带来的非最小相位影响,而且能很好地适应发动机系统的非线性特征,从而使控制系统的稳定性、准确性、快速性均得到了很大的改善.

摘要：针对具有黑箱特性的昂贵约束优化问题及工程中计算资源利用率不高问题,提出了新的基于均值改进控制策略的并行代理优化算法.该算法为了减少仿真建模计算负担,选取Kriging近似模型对目标函数和约束函数进行近似估计.在Kriging模型基础上,利用均值改进与新增试验样本间的不等关系构建具有距离特性的控制函数.算法的均值改进控制策略通过控制函数调整最大改进值,实现样本设计空间的多点填充.算法适用范围:1)计算成本主要来自于仿真估计而非优化;2)复杂的工程或商业软件内部无法修改的昂贵仿真问题.数值算例和仿真案例表明:该算法可有效获取近似最优解,减少仿真试验次数的同时弱化均值改进准则的贪婪特性.相比于其他多点填充策略,均值改进控制策略可有效提升算法计算效率.此外,算法获取优化问题近似最优解的稳定性和精度均具有一定优势.

摘要：研究目的:研究铁路引入地区或枢纽,一般地,主要考虑的因素是线路走向、工程代价外,往往忽视功能定位和运输需求对引入方案的影响。研究承秦铁路引入承德地区,不仅要结合承德市的城市布局特点、经济发展方向,以及考虑工程难易程度和代价问题,尤其是要结合铁路线路的功能定位和运输需求。本次研究的是,如何从项目功能定位和运输需求的角度出发,研究承秦铁路引入承德地区的方案。研究结论:通过研究得出以下结论:(1)分别从项目的功能定位和运输需求,研究承秦铁路引入承德地区的方案,考虑的因素全面、无遗漏;(2)经研究,承秦铁路引入承德地区的方案,作出了7个引入方案,其中客运方案2个,货运方案5个;(3)该研究思路和成果可为新建客货铁路引入地区(枢纽)的方案研究提供参考。

摘要：针对现有加速器驱动核能系统概念设计中存在的安全隐患,采用MCNP程序设计了加装辅助停堆系统的次临界实验装置;通过改变热区栅距、热区厚度和控制棒的下插深度来改变堆芯参数,对反应堆有效增殖系数进行计算和比较分析,实现了不同堆芯参数下keff值可调;对几种不同热区栅距和热区燃料棒根数所对应的停堆深度和控制棒价值进行了计算,结果表明,辅助停堆系统提高了加速器驱动系统(ADS)的安全性。

摘要：针对LCL滤波器的谐振峰特性会导致系统不稳定、中大功率变流器中无源阻尼方法的阻尼损耗会引起严重发热问题,根据LCL滤波器的传递函数和电容支路电流对系统阻尼的影响,提出一种电容支路电流反馈有源阻尼策略和反馈参数设计方法。研究了电容支路电流反馈有源阻尼策略对系统谐振峰增益和开关频率处增益的影响,将该有源阻尼策略和无源阻尼法进行了对比研究,得出电容支路电流反馈有源阻尼控制策略反馈参数的设计方法。对带有LCL滤波器的并网逆变器进行了仿真研究,仿真结果表明这种有源阻尼策略能有效抑制LCL滤波器的谐振峰,降低输出电流在谐振频率处谐波,增加系统的稳定性。