新型保真花样格式优化与多样式缝制控制

为解决现有缝制设备花样格式在复杂样式缝制控制、区域局部微调与修正,以及对特种缝制应用支持等方面的不足,同时满足日益发展的缝制个性化、多样化需求,在分析和比较目前国内外主流的花样格式基础之上,研究并提出了一种新型保真花样格式PSF,进而研究了相关的多样式矢量化转换、多模式定制算法。实验结果表明,PSF能满足新型复杂花样设计与特种缝制应用需求,目前已在新型电子花样机系统与电子花样机打版软件“兰花花V2．0”中得到应用和验证。     

智能空间中的用户饮食偏好获取与推荐系统

对用户饮食偏好获取技术进行研究,建立基于相似度的食物分类模型,在此基础上设计智能空间中的用户饮食偏好获取及饮食推荐系统。该系统通过压力传感器采集用户饮食数据,利用动态分割数据的方法获取用户饮食偏好上下文,根据食物分类模型进行饮食推荐。实验结果证明了该系统的有效性。     

面向安全关键实时应用的分层防危调度算法研究

针对现有防危调度算法在软硬件失效情况下防危能力不足的问题,具体进行了以下工作:构建了一种分层防危实时调度模型,该模型从功能组件和安全分区两方面描述了安全关键实时应用的防危性需求,并给出一种基于分层调度思想的三级防危调度器框架。以该模型和框架为基础,提出了一种新的分层防危调度算法(HSS),该算法对安全关键实时应用中不同关键度的功能组件采用空间隔离机制,对同一功能组件内的不同分区采用时间隔离机制,兼顾实现了时空隔离的防危效果。仿真实验结果表明,HSS算法与其他同类算法相比,在防危效果和应用负载承受能力方面具有较好的表现。     

面向分布式实时系统的安全驱动调度算法研究

针对现有实时调度算法无法适应动态安全需求的问题,构建了一种安全驱动调度模型,该模型从系统安全级别、系统安全服务和任务安全策略三个方面描述了实时系统的动态安全需求,并设计了一种基于安全驱动的实时任务调度器框架。以该模型和框架为基础,提出了一种安全驱动调度算法(Security Driven Scheduling Algorithm,SDSA)。从全局角度对新到达任务进行可调度性检查,并将可调度任务分配到合适的处理机上运行。按照系统安全级别来动态调整已分配到各处理机上实时任务的安全策略,使其达到安全性和可调度性的最优平衡。采用优先级抢占式策略对各实时任务进行调度。仿真结果表明,SDSA算法与其他同类算法相比,在系统动态安全需求的适应性、关键任务的可调度性以及安全防危能力等方面具有较好的表现。     

基于CORBA的分布实时对象计算技术研究

随着网络化的日益普及,现有计算机系统面临着复杂和难以集成的问题．以ＣＯＲＢＡ为主流技术的分布对象计算技术简单有效地降低了非实时应用的复杂度和集成难度．但是,现有的ＣＯＲＢＡ规范无法支持分布实时环境,因此,有必要研究基于ＣＯＲＢＡ的分布实时对象计算技术．本文分析了现有ＣＯＲＢＡ的规范的实时特性缺陷,以作者设计的基于ＣＯＲＢＡ的分布实时对象软件ＯＲＢａｓｅ为例,介绍了基于ＣＯＲＢＡ的分布实时对象计算的     

CORBA应用的连接管理技术研究

资源管理对于构造大型应用系统非常重要,其中连接管理是确保系统有效运行和负载均衡的关键。本文讨论了CORBA应用系统中的连接资源的管理问题,分析和研究不同的连接管理策略,对在应用级利用集线器实现连接资源管理进行了描述。     

适应动态安全需求的实时任务调度算法研究

现有的实时容错调度算法没有将实时任务的动态安全需求与其可调度性结合起来考虑.针对这一问题,文章展开以下研究工作:基于安全分级思想,构建了一个适应动态安全需求的实时调度模型,该模型详细地描述了实时任务、系统安全服务、任务容错等实时调度过程涉及的关键要素.以此模型为基础,提出了一种自适应实时容错调度算法(AFTS),该算法支持优先级抢占式调度策略,以牺牲普通任务的运行为代价来保证关键任务的可调度性,并采用主副本备份技术实现了关键任务的容错功能.当系统安全级别被动态调整时,该算法能够为实时任务选择满足当前安全需求的最优安全策略.仿真实验表明,文中提出的算法与同类算法相比,在系统动态安全需求的适应性,以及关键任务的可调度性和容错能力等方面有较好的表现.     

基于异常任务运行记录的WSN故障检测

针对传感器网络在资源受限部署后难以实施故障检测的问题,提出基于异常任务运行记录的故障检测方法。通过分析节点程序运行特征,建立节点行为状态模型,结合系统部署前的测试执行记录和卡方检验技术进行故障检测。实验结果表明,该方法与已有方法相比,能有效检测未知类型故障,且通信、存储和计算开销均较小。     

面向CPS系统仿真的建模方法研究与设计

CPS仿真建模在构建CPS系统时具有重要意义,不仅能够在系统开发过程中对系统进行验证和测试,而且是模型驱动开发中的重要环节。CPS系统通过精化和提炼可分为物理实体和计算实体,采用具有动态连续性、基于时间的运动状态行为模型构建物理实体;计算实体模型则采用基于有限状态机的离散系统行为模型进行构建。通过面向时间的状态精化对两种行为模型进行扩展,将两种扩展模型进行融合,完成CPS系统的建模仿真。分析了构建计算实体模型的统一建模语言(UML)以及构建物理实体模型的simulink/RTW建模工具的可行性,提出了基于UML框架的两种异质模型融合方法。     

基于网络处理器的紧急度轮循分组调度算法

描述了紧急度轮循分组调度算法和基于网络处理器高效的实现方法。基于紧急度的分组调度算法尽可能选出当前各流中最需要被服务的队列。在Intel IXP2400网络处理器实现中采用多层次位向量和紧急度索引表等特殊的方式以提高系统的效率。最后与传统的RR和WRR比较，给出了算法的仿真结果，并对算法将来的扩展进行了展望。