基于Petri网的柔性制造系统无死锁遗传调度算法

对以最小化加工时间为目标的柔性制造系统无死锁调度问题, 提出了一种遗传调度算法. 算法考虑到同类工件具有预先确定的相同加工路径, 而各工序的处理时间与工件有关. 用Petri网对工序和资源分配进行逻辑建模,利用遗传算法, 采用工序自然编码方式, 基于系统的最佳避免死锁Petri网控制器, 检测染色体的可行性, 修复不可行染色体使其对应的调度满足资源约束和无死锁控制约束, 从而保证算法所利用的所有染色体都对应系统的可行调度. 仿真结果表明了算法的可行性和有效性.     

在μC/OS-Ⅱ上实现动态电压调节技术

为了实现嵌入式实时操作系统对DVS的支持,本文在分析软硬件两方面节能原理的基础上,提出了一个在实际应用中实现DVS的通用模型.该模型在μC/OS-II上得到了具体的实现.实现后的μC/OS-II被移植到支持离散频率调整的开发板W90P710上.实验结果表明,改进后的μC/OS-II节能效果显著.     

环形激光陀螺零偏热效应补偿模型的研究

热效应对激光陀螺零偏的影响非常明显且难以精确建模。根据对环形激光陀螺的大量温度试验的数据,分析了温度变化、温度梯度与温变速率对陀螺零偏漂移影响的规律,进而提出了一种适用于工程应用的环形激光陀螺的零偏热效应补偿方法。经试验验证,此模型能在一定程度上改善热效应对环形激光陀螺零偏稳定性的影响,为建立最后的误差补偿模型,进一步提高环形激光陀螺的精度打下基础。     

环形激光陀螺的零偏热效应补偿模型

热效应对激光陀螺零偏的影响非常明显且难以精确建模。根据对环形激光陀螺的大量温度试验的数据,分析了温度变化、温度梯度与温变速率对陀螺零偏漂移影响的规律,进而提出了一种适用于工程应用的环形激光陀螺的零偏热效应补偿方法。经试验验证,此模型能在一定程度上改善热效应对环形激光陀螺零偏稳定性的影响,为建立最后的误差补偿模型,进一步提高环形激光陀螺的精度打下基础。     

源程序级和算法级嵌入式软件功耗特性的分析与优化方法研究

嵌入式系统的功耗优化可以在硬件和软件的多个层次进行,随着微电子技术的不断发展,各种底层先进硬件功耗优化技术的出现和应用,使得高层软件方面的功耗管理和优化技术逐步成为控制计算机系统功耗的重要手段.文中首先在完成嵌入式软件功耗度量的基础上,在硬件微结构级和电路级分析了软件功耗的产生原因和构成因素.然后,在软件源程序级和算法级两个层次上,采取相应措施改善影响嵌人式软件功耗特性的关联特征,以降低软件功耗.最后,针对"八皇后"典型算法问题进行了仿真实验,经过源程序级、算法级和源程序级与算法级混合3种优化,系统功耗最大降幅可以达到93.2%,实验结果表明软件功耗优化方法对于降低系统功耗是可行的和有效的.     

一种模型驱动的交互式信息可视化开发方法

设计与实现面向领域应用的交互式信息可视化软件十分困难.缺乏统一的开发方法与支撑工具箱,为非专家用户提供对层次、网络、多维等数据类型的统一支持,对各种可视化技术与交互技术的统一支持,以及对信息可视化任务的统一支持针对此问题,提出了一种模型驱动的交互式信息可视化开发方法Daisy.首先,提出了交互式信息可视化界面模型IIVM(interactive information visualization interface model);然后,提出了基于IIVM的交互式信息可视化开发方法Daisy,讨论了该方法的两个核心技术:IIVM建模与描述文件生成方法、系统自动生成方法.同时。给出了Daisy工具箱,包括Daisy建模工具、Daisy系统自动生成工具以及运行时框架与组件库.最后,给出了该开发方法与工具箱的应用实例.实例表明,该方法能够为交互式信息可视化开发的统一支撑方法问题提供一种有效的解决方案.     

网构软件的实现和测试方法的研究

对网构软件的形成和测试进行了理论的分析,并提出了具体的实现方法.综述了基于Internet平台上的新形态的软件,即网构软件的概念、特征及其生命力,网构软件形态和传统软件形态的区别,传统软件的测试前提、技术和步骤以及传统的测试方法.提出了网构软件在Internet平台上实现的雏形,及网构软件实现过程中的测试方法.     

面向海量层次信息可视化的嵌套圆鱼眼视图

针对海量层次信息可视化问题,提出嵌套圆鱼眼视图及实现方法.首先分析了相关工作;然后构造了针对同层兄弟节点的变形函数,给出了针对焦点节点同层兄弟节点的外切圆变形排列算法、变形后节点的子节点的嵌套圆递归排列算法及将二维鱼眼视图映射为三维鱼眼视图的方法;最后将该方法应用于计算机文件系统可视化.实验结果表明:该方法在相对小的显示空间内,既能显示海量信息的整体视图,又能突出局部焦点细节信息,具有较高的任务完成效率与用户满意度.