中文页面描述语言解释器CPDL2中的文字处理技术

页面描述语言（ＰＤＬ）已在电子出版等领域得到了广泛的应用，本文阐述了中文页面描述语言解释器ＣＰＤＬ２中文字处理的几项关键技术，包括中西文字库的组织、高速还原、解释流程和ｈｉｎｔｉｎｇ技术等．     

CPDL解释器的实现模型

本文从ＣＰＤＬ解释器设计者的角度分析了页面描述语言的功能，并提出了ＣＰＤＬ解释器的一个通和层次模型，阐述了解释器各部份结构与其执行效率，还原速度和可移植性之间的联系。最后，文章还简单介绍了ＷｉｎＣＰＤＬ解释器的层次结构。     

中文页面描述语言解释器中的复合字库技术

ＰｏｓｔＳｃｒｉｐｔ页面描述语言已在电子出版等领域得到了广泛应用。本文介绍了中文页面描述语言解释器中的复合字库技术，它能处理中、日、韩，并介绍了一个字库实例。     

中文页面描述语言解释器CPDL2中的文字处理技术

页面描迷语言（PDL）已在电子出版等领城得到了广泛的应用, 本文阐述了中文页面描述语言解释器CPDL 2中文字处理的几项关健技术, 包括中西文字库的组织、高速还原、解释流程和hinting技术等     

中文页面描述语言文本管理器的设计与实现

文本管理器是用于提高中文页面描述语言解释器效率而引入的前处理系统，它包括资源管理、异常处理、ＥＰＳＦ管理和文本优化等功能模块．本文详细论述了文本管理器的设计思想与相应实现方法．     

PDL格式矢量汉字轮廓库的一种自动生成算法

本文介绍了一种从高点阵字模自动生成和磁量汉字轮廓库的方法，讨论了离散点阵数据的向量化算法和根据该算法自动生成的矢量汉字在页面描述语言ＣＰＤＬ中的应用。     

基于DSP的PDL解释器的设计与实现

介绍了页面描述语言(PDL)的概念及其在印字输出设备中的应用，讨论了页面描述语言的处理过程及其解释器的原理和实现方法，提出了基于数字信号处理器(DSP)的页面描述语言解释器及打印控制器的设计方法，并给出了其硬件框图和软件流程。试验结果表明，这种PDL，解释器的性能较传统实现方法得到了大幅度的提高。     

中文页面描述语言解释器CPDL Level 2的设计与实现*

CPDL Level 2是一个面向彩色印刷的中文页面描述语言解释器，它与PostScriptLevel 2兼容．本文介绍了CPDL Level 2的虚拟机模型、层次结构和执行流程，并讨论了它的运行环境和效率．     

IHDL语言与测试生成系统

本文详细地介绍了一种集成式硬件描述语言（ＩＨＤＬ）和与ＩＨＤＬ相适配的门级电路测试生成系统，实现了从硬件描述语言编译器到自动测试生成的完整系统。从我们的理论分析和实验结果来看，这种完整的系统作为ＥＤＡＣＡＤ中的重要环节是可行的，也是有效的。     

面向agent的程序设计语言:DL-1

为适应协作分布式问题求解（ＣＤＰＳ）研究和应用的需要，我们研制了面向ａｇｅｎｔ的程序设计语言：ＤＬ－１语言。ＤＬ－１语言由二部分组成：ＤＬ－１／ｓｙｓｔｅｍ和ＤＬ－１／ａｇｅｎｔ。ＤＬ－１／ｓｙｓｔｅｍ主要用于显式地描述ＣＤＰＳ系统的行政管理结构。ＤＬ－１／ａｇｅｎｔ主要用于描述ＣＤＰＳ系统的ａｇｅｎｔ，并允许用户在描述ａｇｅｎｔ的同时，描述ＣＤＰＳ系统的问题求解结构。     

A General Architecture Model of CPDL Interpreter

This paper puts forward a general architecture model of CPDL Interpreter,Profiles the logical structure of the modules,and analyses the burden distribution among the interpreter units.The work has significance in developing practical interpreter products.     

Eliminating “converse” from converse PDL

In this paper we show that it is possible to eliminate the converse operator from the propositional dynamic logic CPDL (Converse PDL), without compromising the soundness and completeness of inference for it. Specifically we present an encoding of CPDL formulae into PDL that eliminates the converse programs from a CPDL formula, but adds enough information so as not to destroy its original meaning with respect to satisfiability, validity, and logical implication. Notably, the resulting PDL formula is polynomially related to the original one. This fact allows one to build inference procedures for CPDL, by encoding CPDL formulae into PDL, and then running an inference procedure for PDL.     

元计算环境中任务调度的深入分析

文章主要对元计算环境中任务调度进行了深入分析与研究。先概述了元计算系统对于科学领域的贡献,分析了元计算环境的特点;然后对元计算环境中的调度算法进行了分类说明,并对几种典型的调度算法行了具体的分析,评价了其特点与不足之处;最后分析了新兴的元计算环境—校园级元计算环境面临的挑战,借鉴各种调度算法,提出了与之相适应的任务调度策略,对其可行性进行了分析,并简要概括了其创新性。     

粒子滤波算法综述

对粒子滤波算法的原理和应用进行综述．首先针对非线性非高斯系统的状态滤波问题．阐述粒子滤波的原理;然后在分析采样-重要性-重采样算法基础上．讨论粒子滤波算法存在的主要问题和改进手段;最后从概率密度函数的角度出发．将粒子滤波方法与其他非线性滤波算法进行比较．阐明了粒子滤波的适应性．给出了粒子滤波在一些研究领域中的应用．并展望了其未来发展方向．     

数字喷泉码及网络喷泉码的最新进展

数字喷泉码和网络编码都是提高网络传输效率的有效技术方法,两者的有机结合形成的网络喷泉码具有重要的理论意义和应用价值。本文首先对数字喷泉码的最新研究进展进行了综述,分别介绍了几类常见的数字喷泉码的相关研究工作;其次对当前网络喷泉码的研究现状进行了系统的总结,重点介绍了同构网络喷泉码、异构网络喷泉码和无线网络喷泉码的相关理论及其最新研究成果,并分析了研究中存在的问题;最后对网络喷泉码的相关理论及其应用的发展趋势进行了分析和展望。     

Experiments with a program timing tool based on source-level timingschema

Analytic methods are employed at the source-language level, using formal timing schema that include control costs, handle interferences such as interrupts, and produce guaranteed best- and worst-case bounds. The timing tool computes the deterministic execution times for programs that are written in a subset of C and run on a bare machine. Two versions of the tool were written, using two granularity extremes for the atomic elements of the timing schema. All overview of the tool is given, timing schema and code prediction are discussed, and machine analysis and timing tool design are examined. Experimental and validation results are reported. It was found that all the predicted times are consistent, and most are safe. Some predictions are fairly tight, while others are a little loose. There are clear technical reasons that explain the differences between measured and predicted times, and technical solutions that should minimize these differences within the timing schema framework are seen     

基于粘贴模型的两类全排问题的DNA算法

基于粘贴模型的巨大并行性,分别给出了线性全排列和圆周全排列问题的粘贴DNA算法;分析了两类问题的DNA算法的不同之处;通过一个实例给出了实验操作步骤,并对生化实验进行了模拟,得出了正确的结果,从而证明了算法的可行性。最后,对算法的操作复杂度进行了分析。     

扰动模糊有限转换状态机

引入了扰动模糊有限转换状态机和扰动模糊有限状态机的（强）同态的概念,研究了它们的相关性质。给出了[Σ]的元素构成所有长度有限的词集上的两种同余关系,讨论商结构问题,证明了相应的所有等价类构成具有单位元的有限半群,并且这两个有限半群是同态的。给出了[Q]上容许关系及强同态的核的概念,研究了它们的相关性质。