基于WF-net的工作流模式建模与仿真

针对当前工作流模型仿真方法的不足,提出了一种基于WF-net网的扩展WF-net的工作流模式模型,并对模型进行验证与仿真.首先讲述工作流网(WF-net),然后从时间和层次两方面对基于WF-net的工作流模型进行扩展研究,提出了扩展WF-net工作流模型,并对该模型进行仿真调度策略和冲突解决策略进行选择,给出了某产品开发过程的扩展WF-net工作流模型,设计了扩展WF-net工作流模型仿真流程.为了增强模型仿真的可信度和可视性,从Petri网到扩展WF-net工作流网算法和仿真流程,经过仿真可知该模型没有死变迁,是正确的工作流模式模型.     

嵌入式系统的安全启动机制研究与实现

针对目前移动智能平台系统面临的安全威胁,利用可信计算技术解决嵌入式系统的安全问题,是一种可行且高效的安全解决方案。在不改变现有移动设备硬件架构的前提下,提出了一种嵌入式平台系统的安全启动机制,将安全TF卡作为外置可信平台模块,构建了一条从Bootloader到上层应用程序的完整的信任链,该信任链的起点保护在安全TF卡的安全区域内,启动过程中各个组件的度量标准值由安全TF卡中的密钥签名存放。描述了该机制的实现过程,并对其安全性、效率进行了详细的分析测试。实验结果显示,该机制能够抵御针对嵌入式平台的多种攻击,有效保护嵌入式系统安全。     

国民经济动员仿真演练中的视景仿真研究

在仿真中加入虚拟现实技术可给人以身临其境的感觉,将视景仿真运用到国民经济动员仿真演练中,提出一种编程的方法来实现Vega与分布式仿真平台pRTI的接口,同时还详细阐述了使用Creator建立模型,在Vega里实现路径选择、多线程等关键技术。     

Reliable control for a class of uncertain singular systems with interval time‐varying delay

This paper is concerned with the reliable controller design problem for a class of singular systems with interval time‐varying delay and norm‐bounded uncertainties. A more practical model of actuator failures than outages is considered. First, by constructing a novel Lyapunov–Krasovskii functional combined with Finsler's Lemma, an improved delay‐range‐dependent stability criterion for the nominal unforced singular time‐delay system is established in terms of linear matrix inequality (LMI). Then, based on this criterion, an LMI condition for the design of a reliable state feedback controller is presented such that, for all parameter uncertainties and actuator failures, the resultant closed‐loop system is regular, impulse‐free and stable. Numerical examples are proposed to illustrate the effectiveness of the proposed method. Copyright © 2010 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

对ROMFS文件系统的分析和改进

随着嵌入式系统的发展．对小型化轻量级的文件系统也提出了更多的要求。ROMFS是一种典型的嵌入式文件系统，用于系统引导或者直接作为根文件系统用于各种嵌入式设备。本文通过对ROMFS代码的分析，详细阐述了ROMFS的原理，使用方法，并针对ROMFS的一些局限性做了改进。     

基于物理模型的实时卡通烟雾模拟算法

提出一种流体力学模型结合粒子系统的卡通烟雾实时模拟算法。通过Navier-Stokes方程建立烟雾流体场的物理模型,以保证运动轨迹真实感。为粒子属性引入浓度函数和作用半径,从而只需少量粒子就可快速获得浓度场分布。为了实现卡通化效果,使用代表动画师个人风格的卡通图元在不同浓度区域进行纹理贴图。试验结果证明,该算法高效快速,能实时生成自然生动的卡通烟雾效果。     

利用混沌搜索全局最优的一种混合算法

把共轭梯度法与混沌优化方法相结合，提出了一种混合优化算法，该算法能使共轭梯度法跳出局部最优，最终获得全局最优，算法的收敛性也进行证明，仿真表明算法是有效的。     

基于组件技术的手机管理软件的设计与实现

为实现计算机对手机的管理,给出了基于组件技术的手机管理软件的设计方案,采用VC 6.0 作为开发平台,基于Windows 串口通信、AT 指令、PDU编码、ActiveX 控件、动态链接库(DLL)、ADO智能指针、Windows消息钩子等技术设计和实现了该手机管理软件,系统采用了多线程技术.通过使用该软件,用户可以利用计算机进行手机电话簿管理、通话记录管理、短信息管理以及计划工具管理等,可较好地方便用户的使用.     

基于解码缓冲信息的IPTV QoE策略

提供一种可在IPTV用户的终端接收设备上评测QoE(Quality of Experience)的方法。该方法通过实时监测设备上的解码缓存的状态以及缓存中的媒体丢失率作为参数,并基于统计和实验数据建立这些参数和QoE的函数关系,最终给出它们之间的推算公式来量化当前流媒体视频的QoE等级(MOS值)。考虑到终端设备(如IPTV机顶盒)的处理能力在应用中还会对相应方法做一些优化。     

无内屏蔽彩管的地磁兼容性研究

地球存在着地磁场,地磁场对彩色显像管(CPT)的色纯度影响很大.为了减小地磁场对CPT色纯度的影响,通常在CPT内部装有磁屏蔽组件(简称为内屏蔽).本文介绍一种无内屏蔽组件的CPT,它既降低了CPT的成本,又不影响CPT的品位,还能满足全球地磁场的兼容性.