摘要：以时间Petri网为模型,验证系统功能性和实时性,在此基础上,提出了一种由子任务的能耗变化率驱动的启发式能耗优化算法,并针对一类特殊形式的网模型———可组合时间Petri网,设计了相应的简化算法·实验说明,上述算法时间复杂度低,且优化效果接近最优值,能够为实时系统低能耗高层综合提供有力支持·

摘要：针对嵌入式系统软件设计过程中对编译器的可重定向性提出的新要求,提出了一种基于体系结构描述语言XpADL的可重定向编译器生成方法。XpADL是一种基于XML的体系结构描述,它为编译器提供进行代码生成所需的目标机器相关信息。编译器与XpADL解析模块之间的接口设计使得编译器具有良好的可重定向性。在基于XpADL的编译器框架中,对指令的调度算法进行了性能的评估,说明了本编译器框架的实用性。

摘要：DICOM协议是医学影像系统PACS中被广泛采用的标准,但目前医学图像数据源中很多是非DICOM标准的。文章结合广州医学院附属第二医院PACS实践经验,设计并实现了DICOM网关,将非DICOM图像融入PACS中,对于PACS的实现具有重要的意义。

摘要：为了适应分布式构建化操作系统对性能调试的需求,采用了对构件化对象建立日志服务和增加构件化系统调用对进程的访问控制的方法,从而为构件化操作系统设计出一种兼具逻辑性调试和性能调试功能的跟踪调试构件。该调试构件的设计已经在实验室开发出的一个具有构件化概念的系统中得到了具体的实现,并体现出良好的功能扩展性和可移植性。

摘要：针对基于动态电压调整技术的调度算法在任务切换时大幅度的频率调整给系统带来较多的额外能耗这一问题,提出了一种均匀化任务利用率的启发式资源分配方法。该方法选用时间Petri网对分布式实时系统建模,并根据时间Petri网状态空间的变化规律,简化系统状态空间的生成过程,提高了资源分配算法的实现效率。实验表明,上述方法能够降低目标系统频率调整带来的系统能耗开销。

摘要：键位设计是实现藏字编码输入的关键步骤。由于藏字构件数多于标准键盘的可用键位数,较好地解决方法是把几个构件归并到一个键位上,但键位的归并可能会带来重码。为了有效地解决这一矛盾,本文采用了键位布局的优化设计方法,利用图论和概率方法求出藏字构件的极大独立集,以使得键位归并所产生的重码现象降到最低。文中详细介绍了求极大独立集的算法、矛盾构件的查找法、极大独立集数目的控制法、极大独立集最优划分的选择以及算法的流程图。并根据工程心理学方法把现代藏字的构件布局到标准键盘上,使得该布局的标准键盘可以一键一构件地输入现代藏字,且仅产生二对重码。

摘要：指令系统是决定计算机体系结构特征的最核心因素．本文首先对近几年发展起来的超长指令字（ＶＬＩＷ）技术的基本原理进行了简短的介绍，进而结合Ｉｎｔｅｌ公司研制的ＩＡ－６４超长指令字计算机的设计描述了超长指令字计算机的性能特点．最后简述了ＶＬＩＷ技术对计算机体系结构发展的影响及其最近发展概况．

摘要：规范语言是整个嵌入式系统设计方法学的核心 归纳总结了嵌入式系统规范语言的发展过程 ,并针对当前嵌入式系统的发展趋势 ,说明了嵌入式系统规范和规范语言的设计需求 ,进而介绍比较了两种重要的基于C/C ++语言的新的规范语言SystemC和SpecC ,最后阐述了基于C/ C ++的规范语言的看法 。

摘要：可重构硬件和指令集处理器构成的混成系统兼有运算速度高和编程灵活的优点,是近年来学术界研究的热点.已有的面向该类系统的操作系统由于受到传统抽象模型的制约,不能充分发挥可重构硬件的优势.文中在分析该类系统对操作系统的需求和已有运行模型缺陷的基础上,提出了一种基于服务体/执行流模型的操作系统SEF-OSHRS.它具有统一的系统对象抽象和通信接口,并可支持控制流的直接转换,因而能充分发挥混成系统的优势.文中详细介绍了该操作系统的基本抽象、系统结构和运行方式,并通过实验结果说明了该系统的可用性和高效性.

摘要：采用构件化模型是当前操作系统设计新的发展趋势.构件化操作系统设计的关键技术集中反映在其内核的设计与实现中.本文首先介绍已有的内核结构以及操作系统新的抽象——服务体/执行流模型(SEFM),进而介绍基于SEFM的构件化操作系统Minicore中内核(核心服务体)的设计技术.最后以实际的测试数据验证了所采用技术的有效性.