王岩冰
- 作品数:12 被引量:58H指数:3
- 供职机构:山东科技大学信息与电气工程学院更多>>
- 发文基金:国家自然科学基金国家重点实验室开放基金更多>>
- 相关领域:自动化与计算机技术经济管理语言文字更多>>
- 汉语语义结构的机器理解模型
- 王岩冰
- 算法语言L的指称语义
- 1998年
- 文中为算法语言L定义了动态指称语义,在描述中避免了含有函数空间构造运算的递归论域方程.指称语义可以说明L的一些良好的数学性质,也可以说明指称语义技术可以达到更好的直观性和实用性.
- 王岩冰张家重张家重
- 关键词:程序语言指称语义
- XML与CORBA的集成技术
- 2004年
- 在介绍XML技术和CORBA技术的基础上,分析了各自的特点及其不足,指出XML和CORBA在很大程度上的互补性,结合实例阐述了Rogue Wave XML-CORBA Link的工作流程和实现方案.该系统实现了XML与CORBA的集成,具有灵活性、安全可靠和可扩展性等优点,使得Web用户可以非常简单地进行访问和综合,轻松连接到Internet.
- 王玫王岩冰
- 关键词:XMLIDLCORBAORBSOAP
- 一种基于事务构件的ERP系统集成方法被引量:17
- 2001年
- 本文首先对事务构件的概念进行了讨论 ,然后设计了一种事务构件模型 ,提出了一种基于此模型的 ERP系统集成方法 ,这种方法支持跨平台、跨语言的软构件的集成 。
- 郑明春王岩冰杨立洁刘弘
- 关键词:ERPCORBA
- 算法语言L的设计与形式规范被引量:4
- 1996年
- 本文通过分析PASCAL语言作为算法设计语言而存在的主要缺陷,借鉴D.Watt的面之设计原则,而定义了一个小型的算法语言L。文中详细给出了它的具体文法、抽象文法和静态语义。通过L的设计和描述,对算法语言设计与规范的有关问题进行了有益的探索。
- 王岩冰张家重刘弘
- 关键词:算法语言PASCAL语言程序语言
- 汉语组合类型语法被引量:3
- 1991年
- 组合类型语法是从计算机处理汉语的角度,在范畴语法的基础上提出的一种汉语的形式语法理论。本文介绍了其基本思想及所建立的汉语语法体系,并给出了一些描述实例。
- 翟成祥王岩冰张家重徐家福
- 关键词:汉语语法计算机
- 回溯算法的形式模型被引量:29
- 2001年
- 讨论了回溯算法的形式模型 ,提出了刻画回溯的一些数学概念 ,以隐式搜索为背景提出了状态空间概念 ,给出了分别以邻接方阵和邻接表形式表示的有向图所对应的状态空间 ,从而说明显式搜索是隐式搜索的特例 ,通过展开空间概念揭示了问题求解的不同要求所对应的不同数据结构 ,提出了通用回溯算法 ,并以 N皇后问题、稳定婚姻问题、点着色问题、子集和数问题、跳马问题、最长路径问题和强连通分支问题等多种算法设计问题为例讨论了通用回溯算法的应用 .该文结果有助于扩大回溯算法的使用范围 ,提高回溯算法实现的正确性和效率 .
- 王岩冰郑明春刘弘
- 关键词:人工智能
- 显式与或图的一种新的贪心搜索算法被引量:3
- 1997年
- 文中提出了一种性能很好的能找出显式含圈与或图的最佳解图的贪心算法,给出了其严格的正确性证明,并简单分析了其复杂性.
- 谢青松王岩冰马绍汉
- 关键词:与或图搜索算法人工智能
- 基于轨迹的程序语义之一: 轨迹与语义对象被引量:2
- 1998年
- 本文提出一种基于轨迹的指称语义框架,该框架结合了操作语义和代数语义的特征,避免使用专门的数学理论,将静态语义和动态语义结合在一起统一处理.本文及其续篇将通过一个中等规模的过程式模型语言来说明上述语义框架更适合描述真正的程序设计语言.本文首先引入轨迹概念和模型语言,然后讨论该语言的各句法成分所对应的语义论域。
- 王岩冰陆汝占
- 关键词:程序语义语义对象程序设计语言
- 关于解释学习逻辑构架的一些扩充
- 1991年
- 近来,在机器学习研究领域中,解释学习倍受重视,而其中心机制——解释推广却受限于一阶逻辑,为支持高阶对象和模态概念,本文介绍了两种扩充 Horn 逻辑表示域的方法,并通过例子说明了解释推广在扩充表示域中的实现。
- 张家重费宗铭王岩冰
- 关键词:人工智能逻辑