摘要：目前综合模块化航空电子系统(IMA)在资源配置方面有非常高的安全可靠性需求,其中时间资源的可调度性配置验证也显得至关重要。本文在AFDX网络架构下提出了一种IMA系统时间相关概念的MARTE建模和时间资源可调度配置的正确性验证方法。建立了IMA系统通信虚拟链路、AFDX终端、分区以及进程等相关元素到MARTE模型元素的建模规则,并设计了基于可调度分析工具MAST的时间资源可调度配置验证框架,最后利用相关实例进行仿真和分析得到验证结果。

摘要：基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及安全性建模与分析语言AltaRica的语义模型GTS的元模型;然后建立了从SysML/MARTE状态机模型分别到时间自动机模型以及AltaRica模型的语义映射模型转换规则,并基于AMMA平台和时间自动机验证工具UPPAAL设计实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证的框架。最后给出了一个飞机着陆控制系统设计模型的安全性验证实例分析。

摘要：研究运用机械传动原理,通过对变速自行车变速系统(档位)的改进和加入等动控制装置,使其实现"等动运动";继而设计和制造出等动训练器。其工作原理:(1)将由传统训练器械的杠铃片产生的重量阻力替换为档位阻力,从而使训练者训练更加安全,也缩小了较多杠铃片所占的体积;(2)设计出的等动训练器可以灵活移动、安装,便于携带;(3)设计出的等动训练器可以通过移动固定点、安装变向滑轮、安装不同的手拉杆、套绳等,实现人体多部位的综合训练目的。

摘要：近年来,在以综合模块化航电系统(integrated modular avionics,IMA)为代表的一类安全关键应用中,确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA系统配置信息的建模转换与验证方法。针对多个实时应用在IMA平台上以时间/空间多分区形式运行的系统特征,建立了从系统配置信息的核心元素(包括模块、分区、内存、进程、通信等)到MARTE模型元素的语义映射规则,设计了基于模型驱动架构的系统配置信息模型转换的方法,并给出了一种对模型转换构造得到的系统配置信息MARTE模型进行形式化验证的框架。最后,通过一个实例分析说明了此方法对验证重配置后系统配置信息的有效性。

摘要：《建筑工程质量控制》作为专业核心的课程旨在让学生熟悉工程质量控制的流程和方法,为其日后工作奠定足够的理论知识基础。为了让该课程更加符合现今工程建设质量管理的需求,本文将以该课程的改革作为研究点,通过了解课程改革的设计思路,以课程案例的形式进行一系列的课程改革研究工作。

摘要：我国标准教育模板下培养的工程师在经过本科、硕士、博士等阶段的教育后,在实际的生产工作中缺乏实践能力,无法快速进入工作角色。针对存在的问题教育部在2009年推出了一项重大的教育实践改革措施,也就是卓越工程师计划。卓越工程师计划通过校企合作等手段提高工程师教育的实际操作水平,通过借鉴国际化工程师教育理念培养工程师国际化视野及工作素养,设计符合各个工程专业特点的培养模式并进行试点实验,创建一种符合中国国情具有中国特色的工程师教育模式。当前的工程造价职业教育同样也面临着类似的一系列问题,他山之石可以攻玉,是否可以利用卓越工程师的培养理念来解决工程造价专业职业教育中的问题,并获得一些新的思路。

摘要：广告策划就是对广告的谋划、筹划、决策与打算,这是整个广告活动的核心和灵魂。进行广告活动,应该事先进行策划,没有经过策划的广告,大都是盲目的,其实际效果是不确定的。广告策划的具体内容包括:

摘要：随着人们生活水平的提高,对于日常生活居住质量的要求更加严格,在建筑建设系统中,外墙工程质量是建筑节能发展的重要关键,外墙外保温技术作为一种先进的保温形式,得到用户的广泛认可,但也出现很多问题。特别是在寒冷地区,容易造成一些工程的一般性或者很少的严重性缺陷。本文对外墙内保温和外墙外保温两种外墙保温技术的特点进行阐述,对寒冷地区外墙外保温的施工控制进行研究。

摘要：由于嵌入式系统模型设计周期越来越短,功能越来越复杂,其安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。针对这种情况,文中提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性分析验证方法。具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及高级安全性建模与分析语言AltaRica的语义模型GTS的元模型,然后建立了从SysML/MARTE状态机模型到AltaRica模型的语义映射模型转换规则,并基于AMMA平台和故障树分析工具XFTA实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证框架的构建。最后给出了民用飞机系统中的机轮刹车系统设计模型的例子进行实例验证分析。实验结果表明,提出的嵌入式系统设计模型的安全性分析与验证方法是具有代表性和可执行性的。

摘要：心理学家认为,儿童告状是心理发育和人际交往的正常现象。告状不仅是学生独立处理问题能力缺乏的表现,也是学生之间相互沟通的方式之一。通过平时的观察和思考,我发现学生告状有的是宣泄情绪。