中国科学院机构知识库网格系统: 检索

消息 ×
	loading..

中国科学院机构知识库网格

Chinese Academy of Sciences Institutional Repositories Grid

机构

采集方式

_filter

_filter

_filter

筛选

浏览/检索结果: 共4条，第1-4条

帮助

条数/页：排序方式：
	开发等式比较SQL查询语句的一种模型推理方法期刊论文 OAI收割计算机工程与应用, 2007, 卷号: 43, 期号: 22, 页码: 99-102,164 杨波; 薛锦云 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/07/01 等式比较 SQL查询语句模型推理一阶谓词逻辑开发过程查询语句逻辑表达式一阶谓词直觉推理有章可循推理方法固定形式对应关系类典型应用描述
	基于工作流网的实时协同系统模拟技术期刊论文 OAI收割计算机学报, 2004, 卷号: 27, 期号: 4, 页码: 471-481 杜玉越; 蒋昌俊 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2011/07/29 逻辑Petri网工作流逻辑工作流网实时协同系统模拟与验证逻辑工作流网实时协同系统状态空间爆炸问题企业销售系统模拟与分析逻辑表达式系统设计模拟分析继承问题组合网抑制弧形式化应用输入输出人员扩展技术概念Computer simulation Formal logic Petri nets Real time systems Specifications
	标记逻辑程序理论研究:说明语义与过程语义学位论文 OAI收割工学博士, 中国科学院自动化研究所: 中国科学院自动化研究所, 1994 作者: 周生炳收藏 \| 浏览/下载：53/0 \| 提交时间：2015/09/02 非单调推理容错推理标记逻辑程序支持模型诱导序列不循环程序多次极限多重极限表达式的复盖分解和划分 SLD-博弈树删除策略依赖团 nonmonotonic reasoning error-tolerated reasoning annotated logic program acyclic program supported model induced sequence coveri
	用计算机求取雅可比矩阵期刊论文 OAI收割计算机与应用化学, 1985, 期号: 03, 页码: 228-232 作者: 周维彪收藏 \| 浏览/下载：21/0 \| 提交时间：2014/08/27 雅可比矩阵中心差分函数矩阵非线性方程化工冶金数学方法牛顿法函数表达式逻辑框图局部函数