搜索筛选:
搜索耗时0.1711秒,为你在为你在42,540,000篇论文里面共找到 87 篇相符的论文内容
类      型:
[期刊论文] 作者:刘椿年, 来源:北京工业大学学报 年份:1990
讨论了C-Meta-Ⅳ的设计方案,介绍了已实现部分的效果。C-Meta-Ⅳ是一个用于系统软件和应用软件自动化生产的VDM元语言编译系统。该系统以智能语言PROLOG为中间语言,可将用Met...
[期刊论文] 作者:刘椿年, 来源:财会通讯 年份:1989
现行合资企业会计制度规定,合资企业原则上采用人民币作为记帐本位币。发生外币经济业务时,外币折合为人民币的记帐汇率,制度规定均以外汇管理局公布的外汇牌价(买价或...
[期刊论文] 作者:刘椿年,李晨, 来源:计算机研究与发展 年份:1989
本文描述了PROLOG、关系型DBMS和过程性模块三者集成的专家系统开发环境ESDE 1的设计思想,特别强调了PROLOG编译优化技术在提高ESDE 1效率方面所具有的潜力....
[期刊论文] 作者:毛国君, 刘椿年,, 来源:计算机学报 年份:2002
最大频繁项目序列集的生成是影响关联规则挖掘的关键问题 ,传统的算法是通过对事务数据库的多次扫描实现的 .最新的研究已经开始通过减少事务数据库的扫描次数进而减少挖掘过...
[期刊论文] 作者:赵晔,刘椿年,, 来源:计算机系统应用 年份:2012
手机3D动画自动生成系统依据短信内容,自动生成相应的3D动画并随原短信一同发送给接收方.色彩规划是其中一个重要环节,它根据短信主题和动画场景信息对动画的色彩进行规划,修改场......
[期刊论文] 作者:陶意,刘椿年, 来源:北京工业大学学报 年份:1997
提出一个新的基于程序变换的Prolog程序部分演绎的方法。该方法以程序-目标对(P0,Q0)为输入,经过一系列程序变换后终止,输出结果程序-目标对(Pn,Qn),该方法保证结果程序-目标对(Pn,Qn)和输入程序-目标对(P0,Q0)计算等价......
[期刊论文] 作者:夏姗姗,刘椿年, 来源:北京工业大学学报 年份:2000
提出并讨论了从正负例和背景知识学习含有约束的一阶谓词公式的约束归纳逻辑程序设计方法。该方法以国际上具有代表性的LIP系统Progol为基础,加入我们自己的学习约束的新方法,...
[期刊论文] 作者:刘椿年,张昊,, 来源:北京工业大学学报 年份:2008
为解决动画制作过程中场景和布局问题,设计开发了Seed-matrix三维场景布局系统.该系统将场景构建与布局规划有机结合,通过随机播种划分策略将场景根据不同地形的特征和比例进行的自动构建.通过使用约束加权矩阵表示布局约束的方法。计算物体的布局位置.系统在实......
[期刊论文] 作者:吴中彪,刘椿年, 来源:计算机工程 年份:2011
在手机3D动画自动生成系统中,研究面向中文短信的信息抽取方法。设计一种基于上下文无关文法的模板定义方式,以及对应的模板知识库与模板解析器。在模板解析器处理数据的过程...
[期刊论文] 作者:高明霞,刘椿年, 来源:计算机工程 年份:2006
将现有网络搜索引擎过渡到网络问答系统是WI的基本目标之一,模糊问答系统是网络问答系统研究的重要问题。基于模糊描述逻辑,该义特化了PNL过程,提出了PNL式模糊网络问答系统。该......
[期刊论文] 作者:朱亮,刘椿年, 来源:计算机工程 年份:2008
提出一种处理区域查询流的新方法。选择并保存一些处理后的查询,将其进行区域聚类,构成较大的区域并检索和保存其元组。对新的查询,尽量使用内存中的元组,以减少对数据库I/O...
[期刊论文] 作者:孙容容, 刘椿年,, 来源:计算机工程 年份:2012
研究全过程动画自动生成系统中的自然语言处理模块,设计一种面向手机中文短信的信息抽取系统。根据中文语言处理的特殊性,抽取短信中可动画化的信息,并进行否定判断和否定内...
[期刊论文] 作者:陶意,刘椿年, 来源:计算机学报 年份:1997
约束逻辑程序的部分演绎是一个新兴的研究领域。本文提出了一个新的基于程序变换的CLP部分演绎的过程。该过程以程序-目标为输入,经过一系列程序变换后终止,输出结果程序-目标对。该......
[期刊论文] 作者:童梅,刘椿年, 来源:计算机研究与发展 年份:1996
本文给出了在逻辑程序抽象解释的理论框架下进行模式推导的方法,并就其中的别名处理问题和定点计算问题进行了详细的讨论提出了一种正确,有铲的别名自理方法以及基于”护展表“......
[期刊论文] 作者:毛国君,刘椿年, 来源:自动化学报 年份:2004
发现频繁项目序列集是关联规则挖掘中的一个重要步骤.该文提出两个发现最大频繁项目序列的算法Dfis和Dfisp.Dfis算法基于项目序列集操作理论,只有一次数据库扫描.Dfisp是Dfis...
[期刊论文] 作者:高明霞,刘椿年, 来源:北京工业大学学报 年份:2006
为了解决模糊Ontology的表示和推理问题,本文结合网络本体语言OWL的特点,在模糊描述逻辑的基础上,构建了RDF/XML式的模糊算子和公理,用来表达Ontology中的模糊概念和模糊声明;提出......
[期刊论文] 作者:刘椿年,宋霞, 来源:北京工业大学学报 年份:2005
为了对半结构化文本实现自动抽取信息,介绍了一种基于Boosting算法的信息抽取方法,它能够自动对一个训练例生成规则,将该规则应用于正例集并改变正例集权重分布,找到权重最大...
[期刊论文] 作者:李京悦,刘椿年, 来源:北京工业大学学报 年份:2000
描述了一个优化的约束逻辑程序设计(CLP)系统的编译方法和编译优化策略。该系统是一个多重论域的CLP系统,以区间算术和约束传播作为离散域和实数上约束求解的统一方法,具有求解非线性约......
[期刊论文] 作者:冀俊忠, 刘椿年,, 来源:计算机教育 年份:2008
本文针对目前计算机专业研究生培养面临的问题,首先指出加强研究生科研能力培养的重要性,然后诠释了研究生科研能力的内涵,最后对学校、导师和研究生在研究生科研能力的培养中应......
[期刊论文] 作者:苏依拉, 刘椿年, 来源:北京工业大学学报 年份:2005
为了完成在大规模、分布式环境下的问题查询,提出了分布式β-PSML语言.分布式β-PSML语言对β-PSML语言在复杂度适应性和分布式问题解决方面进行了扩展,使得它可以在语义Web...
相关搜索: