CHINESE PUBLICATIONS:
- 童頫,沈一栋(1992)《知识工程》, 科学出版社, 获1996年电子工业部优秀教材一等奖
- 沈一栋(1997)析取逻辑及析取逻辑程序的语义研究, 《中国科学E辑》, 1997年第2期
- 沈一栋(1989)一种基于关系数据模型的知识模型, 《计算机学报》, 1989年第12卷第8期
- 沈一栋(1988)Prolog/框架知识表达系统 PFKR, 《计算机学报》, 1988年第11卷第10期
- 沈一栋(1988)非Horn子句在Prolog中的表达与处理, 《计算机学报》, 1988年第11卷第2期
- 沈一栋(1987)基于知识的数据库概念模式自动设计系统, 《计算机学报》, 1987年第10卷第8期
- 刘启元, 张聪, 沈一栋, 汪成亮 (2002) 信度网结构在线学习算法,《软件学报》,2002年第13卷第12期
- 刘启元, 张聪, 沈一栋 (2001) 信度网推理—方法及问题(上),《计算机科学》,2001年第1期
- 刘启元, 张聪, 沈一栋 (2001) 信度网近似推理算法(上),《计算机科学》,2001年第1期
- 刘启元, 张聪, 沈一栋 (2001) 信度网推理—方法及问题(下),《计算机科学》,2001年第2期
- 刘启元, 张聪, 沈一栋 (2001) 信度网近似推理算法(下),《计算机科学》,2001年第2期
- 邢永康,沈一栋(2001)基于信度网的网站在线智能导航,《计算机科学》,2001年第7期
- 邢永康,沈一栋(2001)基于原因独立性的信度网推理研究,《计算机科学》,2001年第6期
- 邢永康,沈一栋(2001)基于桶消元的联合树算法,《计算机科学》,2001年第6期
- 邢永康,沈一栋(2001)基于互信息和学习信度网结构,《重庆大学学报》,2001年第1期
- 邢永康,沈一栋(2000)新的知识表达模型 — 信度网,《计算机科学》,2000年第9期
- 邢永康,沈一栋(2000)信度网中条件概率表的学习,《计算机科学》,2000年第10期
- 邢永康,沈一栋(2000)学习信度网的结构,《计算机科学》,2000年第10期
- 邢永康,沈一栋(2000)信度网分类器,《重庆大学学报》,2000年第5期
- 戎玫,张广全,沈一栋(1999) 第一原理与启发式知识协同作用的 故障诊断系统,《计算机工程》, 1999年第1期
- 戎玫,张广全,沈一栋(1999)一种基于第一原理的定性诊断 探测法,《重庆大学学报》, 1999年第22卷第3期
- 戎玫,张广全,沈一栋(1998)一个具有学习功能的故障诊断系统 《清华大学学报》,1998年第38卷第S2期
- 戎玫,张广全,沈一栋(1998) 一种新的混合式定性诊断推理模型,《重庆大学学报》, 1998年第21卷第4期
- 张广全,戎玫,沈一栋(1998)并发系统基本模型及其分析, 《重庆大学学报》, 1998年第21卷第3期
- 童頫,沈一栋(1991)《知识工程基础》(讲义), 重庆大学出版社, 获1991年重庆大学优秀教材一等奖
- 沈一栋(1991)面向演绎数据库的PROLOG并行处理系统, 《中国计算机学会88至91年度优秀论文奖论文》,北京
- 沈一栋(1989)多机环境下的PROLOG并行处理系统, 《计算机研究与发展》(增刊)
- 沈一栋(1989)共享变量的识别与智能回溯算法, 《计算机工程》, 1989年第4期
- 沈一栋(1988)PROLOG并行解释系统中AND/OR 并行成分选择策略, 《计算机工程》, 1988年第1期
- 沈一栋(1988)从数据库到知识库, 《计算机工程》, 1988年第4期
- 沈一栋(1988)多机环境下PROLOG并行解释 的子句分布策略, 《小型微型计算机系统》,1988年第9卷第8期
- 沈一栋(1988)PROLOG中否定知识的显示 表达及处理, 《小型微型计算机系统》,1988年第9卷第11期
- 沈一栋(1988)多机环境下PROLOG并行解释算法, 《小型微型计算机系统》,1988年第9卷第12期
- 沈一栋(1987)基于知识的极小覆盖自动生成, 《计算机工程》, 1987年第5期
- 沈一栋(1987)PROLOG的元级扩充:问题和方法, 《小型微型计算机系统》, 1987年第8卷第11期
- 沈一栋(1987)PROLOG处理高阶谓词的方法, 《重庆大学学报》, 1987年第10卷第4期
- 沈一栋(1987)PROLOG元解释器, 《计算机世界报》, 1987第10期
- 沈一栋(1986)PROLOG程序中无限循环的检测及处理, 《计算机工程》, 1986年第5期
- 沈一栋(1986)不确定演绎数据库向PROLOG 数据库的映射:问题和方法, 《计算机工程》,1986年第6期
Return
to Yi-Dong Shen's Home Page