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