主管/主办:重庆西南信息有限公司
CODEN JKIEBK
-
信息语义学:一个新计算语义学的构想
陈祖舜. 信息语义学:一个新计算语义学的构想[J]. 计算机科学, 1995, 22(6): 1-6.
- 陈祖舜
- 计算机科学. 1995, 22 (6): 1-6.
- 摘要 ( 55 ) PDF(233KB) ( 377 )
- 相关文章 | 多维度评价
-
面向Agent的程序设计风范
姚郑 高文. 面向Agent的程序设计风范[J]. 计算机科学, 1995, 22(6): 7-11.
- 姚郑 高文
- 计算机科学. 1995, 22 (6): 7-11.
- 摘要 ( 80 ) PDF(193KB) ( 333 )
- 相关文章 | 多维度评价
-
遗传程序设计(之一)
陈火旺 吴少岩. 遗传程序设计(之一)[J]. 计算机科学, 1995, 22(6): 12-15.
- 陈火旺 吴少岩
- 计算机科学. 1995, 22 (6): 12-15.
- 摘要 ( 69 ) PDF(149KB) ( 304 )
- 相关文章 | 多维度评价
-
分布实时系统的概率规范和证明形式化
罗铁庚 陈火旺. 分布实时系统的概率规范和证明形式化[J]. 计算机科学, 1995, 22(6): 16-18.
- 罗铁庚 陈火旺
- 计算机科学. 1995, 22 (6): 16-18.
- 摘要 ( 94 ) PDF(114KB) ( 332 )
- 相关文章 | 多维度评价
-
基于背包问题的身份认证方案
郭宝安 卢开澄. 基于背包问题的身份认证方案[J]. 计算机科学, 1995, 22(6): 19-21.
- 郭宝安 卢开澄
- 计算机科学. 1995, 22 (6): 19-21.
- 摘要 ( 62 ) PDF(133KB) ( 404 )
- 相关文章 | 多维度评价
-
信息系统:智能,分布,协同化
钱炳炯 鲁东明. 信息系统:智能,分布,协同化[J]. 计算机科学, 1995, 22(6): 22-25.
- 钱炳炯 鲁东明
- 计算机科学. 1995, 22 (6): 22-25.
- 摘要 ( 62 ) PDF(167KB) ( 297 )
- 相关文章 | 多维度评价
-
并行查询中的进程分配与调度
杨利 周兴铭. 并行查询中的进程分配与调度[J]. 计算机科学, 1995, 22(6): 26-29.
- 杨利 周兴铭
- 计算机科学. 1995, 22 (6): 26-29.
- 摘要 ( 92 ) PDF(165KB) ( 437 )
- 相关文章 | 多维度评价
-
本文主要研究了并行查询中的多进程分配与调度技术,提出了并行查询的数据流执行图模型和并行进程的集中式两级调度模型。数据流执行图模型准确地刻画了并行进程间的同步关系,两级调度模型克服了单纯自上而下调度和单纯自下而上调度技术存在的不足。最后,用一个并行查询示例解释了并行进程调度中的控制信息流动。
-
OOEDBMS实现中一些全局性问题的考虑
寿宇澄 何志均. OOEDBMS实现中一些全局性问题的考虑[J]. 计算机科学, 1995, 22(6): 30-33.
- 寿宇澄 何志均
- 计算机科学. 1995, 22 (6): 30-33.
- 摘要 ( 78 ) PDF(163KB) ( 333 )
- 相关文章 | 多维度评价
-
地理信息系统中的数据库技术
田增平 周傲英. 地理信息系统中的数据库技术[J]. 计算机科学, 1995, 22(6): 34-38.
- 田增平 周傲英
- 计算机科学. 1995, 22 (6): 34-38.
- 摘要 ( 53 ) PDF(211KB) ( 308 )
- 相关文章 | 多维度评价
-
知识表达的发展状况和趋势
吴朝晖 潘云鹤. 知识表达的发展状况和趋势[J]. 计算机科学, 1995, 22(6): 39-44.
- 吴朝晖 潘云鹤
- 计算机科学. 1995, 22 (6): 39-44.
- 摘要 ( 92 ) PDF(259KB) ( 335 )
- 相关文章 | 多维度评价
-
知识表达是人工智能研究中最关键的分支之一。本文对知识表达的概念和任务进行深入的论述,分析了其发展历史和各阶段的研究特点,阐述了几个典型的知识表达系统,并预测了知识表达的今后发展趋势。
-
具有不确定性的时态模型
王家Xin. 具有不确定性的时态模型[J]. 计算机科学, 1995, 22(6): 49-54.
- 王家Xin
- 计算机科学. 1995, 22 (6): 49-54.
- 摘要 ( 63 ) PDF(180KB) ( 294 )
- 相关文章 | 多维度评价
-
基于模型的知识建模语言
叶文. 基于模型的知识建模语言[J]. 计算机科学, 1995, 22(6): 55-58.
- 叶文
- 计算机科学. 1995, 22 (6): 55-58.
- 摘要 ( 54 ) PDF(164KB) ( 344 )
- 相关文章 | 多维度评价
-
虚拟环境产生器中几何对象的描述及视觉处理
曾芬芳 王建华. 虚拟环境产生器中几何对象的描述及视觉处理[J]. 计算机科学, 1995, 22(6): 59-61.
- 曾芬芳 王建华
- 计算机科学. 1995, 22 (6): 59-61.
- 摘要 ( 58 ) PDF(116KB) ( 357 )
- 相关文章 | 多维度评价
-
分布式实时处理形式开发技术导论
刘键 朱晓梅. 分布式实时处理形式开发技术导论[J]. 计算机科学, 1995, 22(6): 62-73.
- 刘键 朱晓梅
- 计算机科学. 1995, 22 (6): 62-73.
- 摘要 ( 59 ) PDF(456KB) ( 353 )
- 相关文章 | 多维度评价
-
本文从程序设计的实质开始,讨论了形式方法的实质、作用、困难、克服困难的途径及若干关键问题等系列问题,提出了我们的看法并且论述了形式方法的分类,结合若干典型例子,对各类方法的特点也作了一些介绍。
-
软件可靠性建模的发展和存在的问题
郑骏. 软件可靠性建模的发展和存在的问题[J]. 计算机科学, 1995, 22(6): 74-78.
- 郑骏
- 计算机科学. 1995, 22 (6): 74-78.
- 摘要 ( 75 ) PDF(211KB) ( 412 )
- 相关文章 | 多维度评价
-
本文从软件可靠性的需求出发,讨论了软件可靠性建模发展史,建模新发展和当前存在的主要问题。
-
需求分析中的可跟踪性问题
雍信阳 蔡希尧. 需求分析中的可跟踪性问题[J]. 计算机科学, 1995, 22(6): 79-82.
- 雍信阳 蔡希尧
- 计算机科学. 1995, 22 (6): 79-82.
- 摘要 ( 50 ) PDF(154KB) ( 335 )
- 相关文章 | 多维度评价
-
需求分析中的可跟踪性问题和系统开发中的各阶段之间的平滑过渡问题是一个一致的问题。本文首先讨论保证需求可跟踪性的五个要素,分析了功能分解方法和Yourdon结构化方法在可跟踪性问题上所表现出的特征及存在的问题。最后,讨论了一些面向对象分析方法对可跟踪性的支持程度,还指出了非形式化跟踪技术的实用性。
-
面向对象系统中的共享机制
边平定 蔡希尧. 面向对象系统中的共享机制[J]. 计算机科学, 1995, 22(6): 83-86.
- 边平定 蔡希尧
- 计算机科学. 1995, 22 (6): 83-86.
- 摘要 ( 66 ) PDF(139KB) ( 380 )
- 相关文章 | 多维度评价
-
基于STEP的产品质量信息建模与共享技术
赵丽萍 要义勇. 基于STEP的产品质量信息建模与共享技术[J]. 计算机科学, 1995, 22(6): 87-88.
- 赵丽萍 要义勇
- 计算机科学. 1995, 22 (6): 87-88.
- 摘要 ( 56 ) PDF(84KB) ( 316 )
- 相关文章 | 多维度评价