改进的端到端实时CORBA调度模型可调度性分析算法

端到端实时CORBA系统调度模型的可调度性分析算法存在着一些缺陷和局限．针对其局限性，提出了改进的可调度性分析算法，采用时间需求分析方法，增加考虑了同一处理器上兄弟子任务对时间需求的影响，以及一个端到端任务在同一处理器上存在着2个以上子任务的情形。通过计算任务影响函数，分别推导出2类子任务的时间需求函数。新的可调度性分析算法不仅具有良好的通用性，而且提高了原有算法的判定能力。可适用于含有递归调用的实时CORBA任务集的可调度性分析和判定。     

基于AADL的汽车防滑控制系统可调度性分析

针对设计阶段难以对汽车防滑控制系统进行可调度性分析的问题,利用AADL为该系统建模.根据实时系统中任务调度与线程、计算时间、处理器性能之间的关系,在任务数不变的情况下选取不同性能的处理器,通过OSATE对该系统模型进行分析.结果表明此方法可有效解决这一问题,该建模方法为系统的可调度性分析和优化设计提供了一条新的途径.     

实时多通道话音雷达同步记录仪的RMA实时可调度性分析

作者分析了多种实时任务可调度单调速率分析法(RMA)的适应性，应用一种改进的RMA法分析了作为强实时系统的多通道语音雷达记录仪事件特点，实现了系统的实时可调度性．实验表明，这种单调速率分析法是有效和可行的．     

嵌入式实时系统中抢占控制策略及其优化

任务的抢占在保证了系统可调度性的同时,也带来了必然的抢占开销.而对于资源受限的嵌入式实时系统来说,控制任务的抢占次数,降低抢占引起的资源消耗具有重要的意义.提出了一种基于时间片的抢占控制模型,为每个任务分配一个可抢占次数的上限.由于抢占控制会对系统的可调度性造成影响,因此通过遗传算法对任务的抢占次数上限进行优化,使其在满足任务可调度的前提下取值最小.通过仿真实验,分析了优化算法的性能,并从对任务调度的统计结果中可以看出,采用本文提出的抢占控制策略可以有效地减少任务执行中的抢占次数.     

预调度与优先级调度的比较

实时系统的设计者经常采用优先级调度而不是考虑其他的替代方案，本文提出了一种替代方案-预调度，验证了并将其与优先级调度相比较，预调度有着不可忽视的优势。     

异构分布式实时系统中容错调度模型的研究

研究了基于异构分布式系统的实时容错调度算法,同构分布式系统中的处理机完全相同,而在异构分布式系统中各个处理机均不相同,各个处理有不同的处理能力和不同的健壮性。提出了可靠性成本概念,建立了一个基于异构分布式系统实时容错调度模型。基于该模型,设计了一种实时容错调度算法,算法在不增加系统硬件成本的情况下,提高了实时分布式系统的可靠性。     

基于TMO的实时系统节点时间性能分析

时间触发消息触发对象(TMO)模型是一个支持实时系统设计和实现的通用组件编程模型。文章中对基于TMO的实时系统中某个节点的时间性能进行了分析,有助于在实时系统的设计等早期阶段中,使实时系统更好的满足其时间要求。     

基于协同环境的混合实时任务调度模型

针对协同处理应用的混合实时任务调度需求,提出了基于预取时间的虚拟服务器调度模型,给出了模型调度中的相关算法,论证了算法的可调度性.该算法基于资源划分补给策略,可以实现多种调度算法在同一个实时调度系统中的并发工作.实验结果表明该模型具有很好的调度效果.     

形状记忆合金纤维层板固有频率可调性的有限元分析

采用有限元方法建立SMA纤维层合板的有限元动力学模型，通过矩阵特征值问题求解，得到板的固有频率，讨论了相奕激发温度的改变、SMA纤维的体积分数、SMA预拉伸变形等参数对结构固有频率的影响。研究结果对于实现SMA纤维复合材料减振降噪智能结构的自适应控制具有一定的参考价值。     

基于节点吸引力的可调参数复杂网络模型

针对真实网络的生长演化规律,以及BA无标度网络模型和原始的节点吸引力模型在择优连接以及生成网络统计特征方面所存在的问题,综合考虑复杂网络生长演化过程中节点度和节点吸引力的择优连接特性,提出了一种基于节点吸引力的可调参数复杂网络模型. 理论研究与仿真实验分析表明,基于节点吸引力的可调参数复杂网络模型可以有效生成结构稳定并与实际网络统计特征很接近的复杂网络,通过调节模型参数可以灵活调整网络的生长演化过程. 模型生成的网络度分布仍然服从幂律分布,并且具有较高的群集系数和平均路径长度.      

基于UML的高校选课系统优化分析

为解决选课管理系统中安全性低和信息拥堵的问题, 运用UML（Unified Modeling Language）建模方法, 结合网上选课的主要流程和系统用户实际需求, 通过Rational Rose 2003对高校选课系统进行了优化分析和设计, 并以此构建了系统的用例图、 类图、 活动图、 序列图、 组件图和部署图。UML建模应用表明, 该方法产生的模型易于理解, 便于系统修改与升级, 取得了很好的开发效果, 从而克服了传统方法可扩充性低的问题。     

基于RUP过程的并行测试建模分析与设计

传统的功能性模型由于其较低的抽象程度、过度简化的局限,不适合复杂并行测试系统建模。“Rational统一过程”（RUP）是一种基于统一建模语言（UML）,并-9UML一起可以构成一种建模方法。遵循RUP过程对并行测试系统进行建模,形成描述并行测试系统的一系列规范化建模分析和设计文档,为并行测试工程化奠定模型基础。     

基于UML的公路涵洞CAD系统的需求分析

采用统一建模语言（unified rnodding language，UML），对公路涵洞CAD系统进行了需求分析．模型中引入了查询道路工程数据库、涵洞标准图库等数据模块，使涵洞CAD系统在与外部系统数据传输上有了新的突破，系统不再成为封闭的孤岛．采用UML设计分析方法，可大大提高软件的复用性、可移植性、可扩展性和可维护性．     

液压机控制系统的多任务可调度性研究

针对嵌入式控制系统,通过液压机控制系统的设计与仿真,提出了控制与调度协同设计方法。首先,分析液压机控制系统功能和性能需求,研究了实时系统的选择和控制任务划分对嵌入式控制系统性能的影响;接着分析固定优先级算法、单调速率算法、最短时间限优先算法及抖动控制;最后,采用Matllab/Simulink和Truetime工具箱,通过调整任务划分、模型及调度算法等,对液压机控制系统的多任务进行仿真验证。仿真结果表明：可以获得最优的调度算法、任务划分及减小的输出抖动,这证明了控制与调度协同设计方法是有效的。     

基于UML的物流管理信息系统设计与实现

针对当前中小型物流企业的信息化管理,通过对整个系统架构的设计,将基于UML的可视化建模方法应用于物流信息管理业务过程的分析、软件设计和开发全过程,设计建立了若干业务过程模型,并介绍了系统具体实现过程.通过在实践中的具体应用,取得了预期的成效,具有良好的可行性和可推广价值.     

Schedulability Analysis Method of Timing Constraint Petri Nets

IntroductionTiming constraint Petri nets[1] (TCPNs) are a classof Petri nets that have general time constraints.They synthesize the common characteristics of timePetri nets[2 ,3] and timed Petri nets[4 ] with thetheoretical foundation of classical Petri nets (PNs)and the representation of timing constraints.TCPNs use weak firing rules,which means thatanenabled transition can either fire or not firedepending on the job scheduler. The schedulabilityanalysis of TCPNs was analyzed by Tsai …     

统一建模语言UML的研究及其系统建模实例

介绍了建模语言UML(Unified Modeling Language)的语言结构、Rational统一过程(Rational Unified Process．RUP)、RuP体系结构和UML图,并以手机销售系统开发为例,简要演示了应用UML图建模的思路．     

基于UML的专业市场网络管理系统设计

结合专业市场网络化的要求,分析了专业市场网络管理系统的需求,包括门户功能和后台功能,并确定了数据库的逻辑结构.利用基于UML的面向对象的软件开发方法,设计了系统的体系结构.该系统以IIS6.0+ASP.NET+Oracle的组合为技术支撑,结合Visualstudio.NET、Dreamweaver MX等软件,采用B/S模式三层体系结构,实现了专业市场的Web平台浏览及后台管理功能,满足了企业的业务需求.