搜索到22篇“ CPDL“的相关文章
全部数字资源类型
相关度排序
CPDL公司内部会计控制研究
内部会计控制是企业内部控制的重要组成部分，若可以有效地实施企业内部会计控制，就可以使企业财务信息的本质和内涵得以真正体现，实现会计资料的真实和完整。建立科学有效的内部会计控制体系，可以起到优化财务控制、提高企业的风险控制...
孙琦
关键词：内部会计控制
文献传递
基于OBDD的Iteration-free CPDL判定算法
2011年
命题动态逻辑是一种应用模态逻辑,用于程序行为的推理。Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑。对于给定的Iteration-free CPDL公式集,方法是应用NCNF变换和FLAT规则对其进行预处理,并对公式集重构模型,然后将其转化为布尔函数,并利用OBDD来表示,从而调用已有的OBDD软件包进行可满足性判定。最终结合实例验证了算法的可行性及正确性。
覃凤萍古天龙常亮
关键词：可满足性判定有序二叉决策图
基于CPDL模型检验的装配序列规划
2011年
模型检验的智能规划方法具有较高的求解效率,是当今通用智能规划研究的热点。由于模型检验的命题动态逻辑规划方法无法从拆卸角度求解规划问题,给出了含逆反动作的命题动态逻辑的符号模型检验算法,开发了CPDL符号化模型检验工具;针对一般智能规划问题中的机械装配序列规划问题,从装配体的拆卸出发,给出了基于CPDL模型检验技术的装配序列求解方法,并结合实例验证了该方法的可行性。
李雅楠古天龙常亮
关键词：装配序列规划拆卸
Iteration-free CPDL的符号判定算法及应用研究
命题动态逻辑(PDL)是一种应用模态逻辑,用于程序行为的推理。Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑。包括Iteration-free CPDL在内的各种命题动态逻辑在程序性质的...
覃凤萍
关键词：语义WEB服务组合有序二叉决策图
文献传递
基于CPDL符号化模型检验的装配序列规划研究
装配序列规划作为制造领域的研究热点之一,其好坏直接影响产品的可装配性、装配成本以及装配质量。自上世纪八十年代以来,国内外专家提出了各种各样的装配序列规划求解方法,但到目前为止装配序列规划问题仍然没有得到很好的解决。模型检...
李雅楠
关键词：装配序列规划
文献传递
中文页面描述语言解释器CPDL2中的文字处理技术
1996年
页面描述语言（ＰＤＬ）已在电子出版等领域得到了广泛的应用，本文阐述了中文页面描述语言解释器ＣＰＤＬ２中文字处理的几项关键技术，包括中西文字库的组织、高速还原、解释流程和ｈｉｎｔｉｎｇ技术等．
徐福培张炜
关键词：解释器文字处理CPDL
A General Architecture Model of CPDL Interpreter
1995年
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 developing practical interpreter products.
徐福培罗驰金亚东
关键词：KUBANDING
中文页面描述语言解释器CPDL Level2 的设计与实现
1995年
ＣＰＤＬ Ｌｅｖｅｌ２是一个面向彩色印刷的中文页面描述语文解释器，它与ＰｏｓｔＳｃｒｉｐｔＬｅｖｅｌ２兼容。本文介绍了ＣＰＤＬ Ｌｅｖｅｌ２的虚拟机模型，层次结构和执行流程，并讨论它的运行环境和效率。
徐福培
关键词：页面描述语言解释器虚拟机
中文页面描述语言解释器CPDL的设计与实现被引量：2
1994年
页面描述语言（ＰＤＬ）已广泛应用于打印机、电子出版等领域，且已经诞生了国际标准（ＳＰＤＬ）．因此，开发中文页面描述语言解释器具有十分重要意义．本文介绍了中文页面描述语言解释器ＣＰＤＬ的特点、功能、数据结构、字库的组织和ＣＰＤＬ解释器流程．讨论了提高速度和压缩代码的方法，并给出了应用前景．
徐福培胡长原高杰
关键词：页面描述语言解释器CPDL
CPDL2中的彩色空间技术与算法被引量：1
1994年
CPDL 2是一个面向彩色印刷的中文页面描述语言解释器,它与PostScript Level2兼容。本文介绍CPDI 2中的彩色空间的设计、还原技术与算法,并给出总流程。
徐福培饶俊英罗驰
关键词：页面描述语言解释器三刺激值印刷
加载更多 ∨

相关作者

徐福培
作品数：37被引量：92H指数：4
供职机构：南京大学计算机科学与技术系
研究主题：页面描述语言 解释器 CPDL 描述语言 中文页面
古天龙
作品数：486被引量：1,441H指数：18
供职机构：桂林电子科技大学
研究主题：OBDD 装配序列规划 有序二叉决策图 离散事件系统 景点
覃凤萍
作品数：5被引量：21H指数：2
供职机构：桂林理工大学南宁分校
研究主题：HTML5 ITERATION CPDL 有序二叉决策图 移动WEB
张炜
作品数：6被引量：118H指数：1
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室
研究主题：人脸识别 人脸检测 页面描述语言 CPDL 描述语言
毕厚杰
作品数：173被引量：389H指数：11
供职机构：南京邮电大学
研究主题：会议电视 视频编码 多媒体通信 ADSL 通信网