CPDL

作品数：11被引量：0H指数：0
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：徐福培高杰毕厚杰李雅楠常亮更多>>
相关机构：南京大学桂林电子科技大学南京邮电学院辽宁大学更多>>
相关期刊：《数据采集与处理》《桂林电子科技大学学报》《小型微型计算机系统》《Journal of Computer Science & Technology》更多>>
相关基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于OBDD的Iteration-free CPDL判定算法
《桂林电子科技大学学报》2011年第3期221-225,共5页覃凤萍 古天龙 常亮 
国家自然科学基金(60963010)
命题动态逻辑是一种应用模态逻辑,用于程序行为的推理。Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑。对于给定的Iteration-free CPDL公式集,方法是应用NCNF变换和FLAT规则对其进行预处理,并对公式集重构模型,然后...
关键词：命题动态逻辑 可满足性判定 有序二叉决策图 
基于CPDL模型检验的装配序列规划
《桂林电子科技大学学报》2011年第2期115-119,共5页李雅楠 古天龙 常亮 
国家自然科学基金(60963010)
模型检验的智能规划方法具有较高的求解效率,是当今通用智能规划研究的热点。由于模型检验的命题动态逻辑规划方法无法从拆卸角度求解规划问题,给出了含逆反动作的命题动态逻辑的符号模型检验算法,开发了CPDL符号化模型检验工具;针对一...
关键词：装配序列规划 模型检验 命题动态逻辑 拆卸 
基于OBDD的Iteration-free CPDL判定算法研究
《湖北农机化》2011年第4期59-59,共1页邓刚 
命题动态逻辑是一种应用模态逻辑,用于程序行为的推理。Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑。PDL不但用于程序形式化描述和推理,而且还能够提供合适的形式框架对动作进行刻画和推理,可用其进行web服务组合。
关键词：命题 动态逻辑 研究 
中文页面描述语言解释器CPDL2中的文字处理技术
《中文信息学报》1996年第1期1-8,共8页徐福培 张炜 
页面描述语言（ＰＤＬ）已在电子出版等领域得到了广泛的应用，本文阐述了中文页面描述语言解释器ＣＰＤＬ２中文字处理的几项关键技术，包括中西文字库的组织、高速还原、解释流程和ｈｉｎｔｉｎｇ技术等．
关键词：面页描述语言 解释器 文字处理 CPDL 
A General Architecture Model of CPDL Interpreter
《Journal of Computer Science & Technology》1995年第5期463-469,共7页徐福培 罗驰 金亚东 
This paper puts forward'a general architecture model of CPDL Interpreter,profiles the logical structure of the modules, and analyses the burden distri-bution among the interpreter units. The work has significance in d...
关键词：CPDL Interpreter KU FRU RPU DM Font Render paral-lelism BANDING hinting 
中文页面描述语言解释器CPDL Level2 的设计与实现
《软件学报》1995年第A01期238-245,共8页徐福培 金亚东 
ＣＰＤＬ Ｌｅｖｅｌ２是一个面向彩色印刷的中文页面描述语文解释器，它与ＰｏｓｔＳｃｒｉｐｔＬｅｖｅｌ２兼容。本文介绍了ＣＰＤＬ Ｌｅｖｅｌ２的虚拟机模型，层次结构和执行流程，并讨论它的运行环境和效率。
关键词：页面描述语言 解释器 虚拟机 
中文页面描述语言解释器CPDL的设计与实现
《计算机学报》1994年第1期23-29,共7页徐福培 胡长原 高杰 
页面描述语言（ＰＤＬ）已广泛应用于打印机、电子出版等领域，且已经诞生了国际标准（ＳＰＤＬ）．因此，开发中文页面描述语言解释器具有十分重要意义．本文介绍了中文页面描述语言解释器ＣＰＤＬ的特点、功能、数据结构、字库的组织...
关键词：页面描述语言 解释器 CPDL 
CPDL解释器的实现模型
《小型微型计算机系统》1993年第12期30-35,共6页金亚东 高杰 徐福培 
本文从CPDL解释器设计者的角度分析了页面描述语言的功能,并提出了CPDL解释器的一个通用层次模型,阐述了解释器各部分结构与其执行效率、还原速度和可移植性之间的联系。最后,文章还简单介绍了WinCPDL解释器的层次结构。
关键词：CPDL语言 解释器 模型 
中西文页面描述语言解释器CPDL中的灰度技术
《小型微型计算机系统》1993年第7期52-56,64,共6页张炜 周栋 徐福培 
本文以中西文页面描述语言解释器CPDL为背景,详细论述了黑白打印机上实现灰度的半色调(Halftone)技术。
关键词：页面描述语言 CPDL 灰度 
一种适合于描述无限制手写字符图象的语言CPDL
《数据采集与处理》1990年第2期1-7,共7页毕厚杰 于锡建 
人们曾为解决特定的识别问题而提出了许多图象描述语言。但到目前为止,还没有任何一种能有效地克服手写字符的形状差异对句法识别的影响。本文在K.S.Fu的形状属性文法的基础上,发展了一种带有位置和形状属性的文法。它只需7个简单的模式...
关键词：手写 字符图象 CPDL语言 模式识别 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部