基于AADL的综合航电分区系统可调度性判定

综合模块化航电(IMA)系统中的分区系统提高了其可靠性和安全性,但在系统设计和实现过程中,应采用各种分析和验证方法确保系统的时间需求得到满足。为此,针对符合ARINC653规范的IMA系统,根据分区系统层级调度的特性,提出一种基于仿真的分区任务集可调度性判定方法。借助Cheddar工具及其自定义调度策略功能,使架构分析和设计语言(AADL)具有对分区系统进行建模的能力,并利用该工具对AADL模型进行仿真以判定系统的可调度性。实例分析结果表明,该方法能自动、准确、快速地进行可调度性判定,并以甘特图的方式绘制任务调度过程,得到直观、详细的结果。     

立卧两用电动轮椅车的设计

在研究坐姿对身体产生的不利影响的基础上,突破传统轮椅的功能和结构,提出了一种可实现站立及仰卧姿态的电动轮椅车的设计方案,阐明了轮椅机构的工作原理,并对站立机构进行了运动分析．在UG／Motion Simulation模块中建立了轮椅虚拟样机,并进行了运动仿真,结果验证了轮椅机构的合理性．     

政策导向型多agent协同系统研究*

为了使多agent协同过程可控、有序的进行,克服传统多agent系统灵活有余而可控制性不足的缺点,提出以动态约束和调整系统行为的政策为管控手段的政策导向型多agent协同系统。首先阐述了政策导向型多agent协同系统原理,给出该系统的体系结构以及各个子结构的描述;然后介绍该多agent的原型系统,通过对运行实例的描述,验证了系统的可控制和易管理特性。     

一种面向形式化表格需求模型的测试用例生成方法

现代安全关键性系统的软件规模和复杂性的快速增长给这类安全关键性软件系统的开发带来了很多挑战。传统文本文档的需求描述方法无法保证此类系统的开发进度和系统可靠性要求。为此文中提出了一种兼具可读性和可自动分析的形式化表格需求建模方法。文中介绍了一种针对这种表格模型测试用例的自动生成方法,工作包括对该形式化需求表格模型展开语义分析,建立需求模型的控制树结构,得到其测试等价类;为了减少不必要的测试,定义了不同安全级别的软件需求模型的测试覆盖标准,并针对不同覆盖率准则分别给出基于控制树结构的测试路径约束选择方法;对于每条路径约束测试等价类,提出了基于域错误的测试用例选择方法,能够自动生成所需的检测域错误的测试用例集。最后,通过一个需求模型实例展示了所提方法的有效性。     

新安江水电站三维逆向建模的研究与应用

随着数字化电站建设的快速发展,老水电站如何实现数字化成为一个新的挑战,新安江水电站作为中国第1个自主设计的电站,面临着同样的问题。在图纸资料不全的情况下,本文结合三维激光扫描技术和自主建模软件3Dmax完成对新安江水电站主厂房的三维逆向建模。采用该方法建立的新安江水电站主厂房模型精度高并能高度还原现场环境。实践证明该方法具有高效和准确的特点,这种水电站逆向建模的方法可以为老水电站三维逆向建模提供参考。     

特大型精密汽轮发电机定子芯片冲模设计

介绍了特大型精密汽轮发电机双扇形冲模的开发过程,指出了该类型模具的关键特殊点和特定的处理方法。模具经厂家使用,尺寸精度和尺寸一致性,毛刺等全部在0.02 mm的要求内,稳定性好,完全达到了要求,具有很高的技术经济性。     

基于协作度的分布式自动协商联盟形成机制

现有联盟形成的研究中大都没有考虑到不同Agent的协作资源和协作态度不同的异质性,而是假定所有Agent具有相同的协作资源和协作态度.为此提出一种基于协作度的分布式自动协商联盟形成机制(collaborative degree-based distributed automatic negotiation coalition formation mechanism,CDBDN),通过对处在网络拓扑结构中Agent的协作资源和协作态度的描述建立Agent协作度的概念.以分布式的应用环境为背景,建立分布式协商协议(distributed negotiation protocal,DNP)来实现分布式自动协商方式构建联盟.该机制建立了分布式协商协议和引入了Agent协作度,提出基于Agent 协作度的协商策略.实验结果表明,该机制在联盟形成的效率、Agent协商效率和个体效用方面都表现出有较好的性能.     

赣江水沙关系变化模拟

利用赣江上游坝上、峡山、翰林桥、居龙滩水文站、中游峡江水文站和下游外洲水文站1957~2010年径流量与悬移质泥沙输沙量监测资料,分析赣江水沙关系特征和水沙关系的多年变化情况;通过经验模拟,探讨水沙关系变化的原因与发展趋势.结果表明,无论是上游(赣州)、中游峡江站,还是下游外洲站,年输沙量与年径流量相关点群均呈双层分布,分层时间(年份)节点有所不同.     

基于Multigen Creator某飞行器视景仿真模型优化设计

根据飞行视景仿真和某飞行器模型的特点,利用Multigen Creator对导入的三维机械模型进行重新建模和优化。从如何修改模型数据库结构和减少模型复杂度和尺寸等方面入手,对飞行器的视景三维仿真模型的建立和优化方法进行了研究,解决了模型的逼真度和视景仿真的实时渲染速度之间的矛盾,最后对优化前后的模型通过在飞行视景仿真实验中的调用得到对比参数,表明了这种优化策略对提高复杂模型驱动速度、仿真效果和节省计算机资源开销有着很大必要性。     

《红楼办公室》之十一 宝玉夜奔

<正>~~