教学课程资源库 更多>>

关键词： Rotary engines  

摘要： Radical aircraft propulsion concepts based on a Composite Cycle Engine architecture are presented to improve significantly the core efficiency of aero engines. Therefore, three different piston engine modes and configurations (a two-stroke and a four-stroke reciprocating piston configuration, as well as a Wankel-type rotary engine) are evaluated to identify the most promising piston engine concept in a Composite Cycle Engine application. The qualitative and quantitative assessment of the piston systems considers thermodynamic performance, weight and NOx emissions, as well as cooling, lubrication and integration aspects. To compare the performance of the different piston systems, models for the non-stationary thermodynamic cycle of the piston engines are presented and integrated in a turbo engine performance simulation framework. A turboshaft platform with 22-MW shaft power at typical take-off conditions and unified state-of-the-art turbo component characteristics are used for the evaluation of the piston configurations. Further, approaches for the prediction of piston engine weights, cooling fin design and NOx emissions are introduced. The four-stroke reciprocation piston engine configuration is identified as most promising option due to the best combination of thermal material requirements, NOx emissions and specific fuel consumption. It is found that the high scavenging efficiency and the lower temperature level compared to the two-stroke engine compensate the additional scavenging cycle. A preliminary geometric design of the four-stroke piston engines is illustrated for the investigated application case. © 2019, Deutsches Zentrum für Luft- und Raumfahrt e.V.

关键词： 形式化方法   精化理论   模型检测   Event-B方法   安全协议设计   网络攻击  

摘要： 设计对指定类型的网络攻击具有防御能力的安全协议,通常是一项重要且具有挑战性的任务。即使知道安全协议容易受到某种攻击,对其进行合理的改进也并不容易。本研究提出了一个基于Event-B方法的通用框架,用来指导安全协议的修改,并验证改进后的协议可以防御已知的网络攻击。首先用初始模型对攻击场景高度抽象,通过对抽象模型的精化,得到反映真实攻击过程的具体模型。然后将描述协议行为的事件从模型中分离出来,单独对其进行精化改进,如果改进后的协议事件重组的模型与具体模型不存在精化关系,则改进的合理性可以得到验证。最后通过NSPK协议被攻击的案例展示了本研究所提出方法的可用性。该框架可用于开发协议,以避免由逻辑漏洞引起的攻击,并验证协议补丁的正确性。

关键词： 软件工程专业   校企合作   人才培养   创新型应用人才  

摘要： 文章主要论述软件工程专业校企合作人才培养模式的开展现状,并在现状分析的基础上,对培养创新型应用人才的主要途径进行了探讨,以期为学生职业发展提供帮助。

关键词： 异构多核处理器   资源管理   形式化方法   离散控制器合成   模型检测  

摘要： 近年来,随着半导体技术的发展以及应用多样化的需求,异构多核处理器已被广泛应用于高性能嵌入式系统中。这类系统面临的一个主要挑战就是如何在运行时对系统的可用资源(包括处理核等)进行管理分配从而满足系统及其所运行应用在性能和功耗等方面的需求。然而,虽然目前一些主流的资源管理技术在性能和/或功耗优化等方面取得了良好表现,但却经常对所设计的资源管理部件缺乏严格的可靠性保证,因此提出了一种基于离散控制器合成(DCS)的方法来对异构多核系统的在线资源管理策略进行自动、可靠的设计,即将形式化的、能够自动构造管理控制部件的DCS应用到异构多核系统的在线资源管理部件设计中。该方法通过采用形式化模型来描述异构系统的运行行为(例如如何为应用分配处理核),并将在线资源管理问题转换为一个面向某个系统管理目标(例如最大化应用性能)的DCS问题。在此基础上,通过现有的DCS工具对提出的方法进行了示例演示和验证,并对所使用DCS方法的可扩展性进行了评估。

关键词： COM   CORBA   EJB   构件技术   软件开发  

摘要： 计算机技术的普及和推广,给社会发展和经济增速注入了全新动力.但计算机运行环境的开放性,加之其他因素的影响,导致了软件危机的出现.为维护和保障软件正常运行,基于构件的软件开发技术应运而生,并日益受到人们的青睐.基于此,文章首先介绍了软件构件技术,然后深入分析了基于构件的软件开发方法,希望能为解决计算机软件危机贡献绵薄之力.