计算机科学

信息语义学：一个新计算语义学的构想

陈祖舜

计算机科学. 1995, 22 (6): 1-6.

摘要 ( 55 )

PDF(233KB) ( 376 )

相关文章 | 多维度评价

面向Agent的程序设计风范

姚郑高文

计算机科学. 1995, 22 (6): 7-11.

摘要 ( 80 )

PDF(193KB) ( 332 )

相关文章 | 多维度评价

遗传程序设计（之一）

陈火旺吴少岩

计算机科学. 1995, 22 (6): 12-15.

摘要 ( 69 )

PDF(149KB) ( 303 )

相关文章 | 多维度评价

分布实时系统的概率规范和证明形式化

罗铁庚陈火旺

计算机科学. 1995, 22 (6): 16-18.

摘要 ( 94 )

PDF(114KB) ( 331 )

相关文章 | 多维度评价

基于背包问题的身份认证方案

郭宝安卢开澄

计算机科学. 1995, 22 (6): 19-21.

摘要 ( 62 )

PDF(133KB) ( 403 )

相关文章 | 多维度评价

信息系统：智能,分布,协同化

钱炳炯鲁东明

计算机科学. 1995, 22 (6): 22-25.

摘要 ( 62 )

PDF(167KB) ( 296 )

相关文章 | 多维度评价

并行查询中的进程分配与调度

杨利周兴铭

计算机科学. 1995, 22 (6): 26-29.

摘要 ( 92 )

PDF(165KB) ( 435 )

相关文章 | 多维度评价

本文主要研究了并行查询中的多进程分配与调度技术，提出了并行查询的数据流执行图模型和并行进程的集中式两级调度模型。数据流执行图模型准确地刻画了并行进程间的同步关系，两级调度模型克服了单纯自上而下调度和单纯自下而上调度技术存在的不足。最后，用一个并行查询示例解释了并行进程调度中的控制信息流动。

OOEDBMS实现中一些全局性问题的考虑

寿宇澄何志均

计算机科学. 1995, 22 (6): 30-33.

摘要 ( 78 )

PDF(163KB) ( 332 )

相关文章 | 多维度评价

地理信息系统中的数据库技术

田增平周傲英

计算机科学. 1995, 22 (6): 34-38.

摘要 ( 53 )

PDF(211KB) ( 307 )

相关文章 | 多维度评价

知识表达的发展状况和趋势

吴朝晖潘云鹤

计算机科学. 1995, 22 (6): 39-44.

摘要 ( 92 )

PDF(259KB) ( 334 )

相关文章 | 多维度评价

知识表达是人工智能研究中最关键的分支之一。本文对知识表达的概念和任务进行深入的论述，分析了其发展历史和各阶段的研究特点，阐述了几个典型的知识表达系统，并预测了知识表达的今后发展趋势。

表推演方法

孙吉贵刘叙华

计算机科学. 1995, 22 (6): 45-48.

摘要 ( 239 )

PDF(162KB) ( 469 )

相关文章 | 多维度评价

表推演方法作为一种经典逻辑和各种非经典逻辑统一的推理框架，近年来受到人们的普遍关注，并已用于实际推理系统中。本文旨在介绍经典逻辑的表推演方法，给出了表推演方法在经典逻辑中的几种基本形式，并指出它可以作为一种模型生成方法，用于知识库的一致性验证。

具有不确定性的时态模型

王家Xin

计算机科学. 1995, 22 (6): 49-54.

摘要 ( 63 )

PDF(180KB) ( 293 )

相关文章 | 多维度评价

基于模型的知识建模语言

叶文

计算机科学. 1995, 22 (6): 55-58.

摘要 ( 54 )

PDF(164KB) ( 343 )

相关文章 | 多维度评价

虚拟环境产生器中几何对象的描述及视觉处理

曾芬芳王建华

计算机科学. 1995, 22 (6): 59-61.

摘要 ( 58 )

PDF(116KB) ( 356 )

相关文章 | 多维度评价

分布式实时处理形式开发技术导论

刘键朱晓梅

计算机科学. 1995, 22 (6): 62-73.

摘要 ( 59 )

PDF(456KB) ( 352 )

相关文章 | 多维度评价

本文从程序设计的实质开始，讨论了形式方法的实质、作用、困难、克服困难的途径及若干关键问题等系列问题，提出了我们的看法并且论述了形式方法的分类，结合若干典型例子，对各类方法的特点也作了一些介绍。

软件可靠性建模的发展和存在的问题

郑骏

计算机科学. 1995, 22 (6): 74-78.

摘要 ( 75 )

PDF(211KB) ( 411 )

相关文章 | 多维度评价

本文从软件可靠性的需求出发，讨论了软件可靠性建模发展史，建模新发展和当前存在的主要问题。

需求分析中的可跟踪性问题

雍信阳蔡希尧

计算机科学. 1995, 22 (6): 79-82.

摘要 ( 50 )

PDF(154KB) ( 333 )

相关文章 | 多维度评价

需求分析中的可跟踪性问题和系统开发中的各阶段之间的平滑过渡问题是一个一致的问题。本文首先讨论保证需求可跟踪性的五个要素，分析了功能分解方法和Ｙｏｕｒｄｏｎ结构化方法在可跟踪性问题上所表现出的特征及存在的问题。最后，讨论了一些面向对象分析方法对可跟踪性的支持程度，还指出了非形式化跟踪技术的实用性。

面向对象系统中的共享机制

边平定蔡希尧

计算机科学. 1995, 22 (6): 83-86.

摘要 ( 66 )

PDF(139KB) ( 379 )

相关文章 | 多维度评价

基于STEP的产品质量信息建模与共享技术

赵丽萍要义勇

计算机科学. 1995, 22 (6): 87-88.

摘要 ( 56 )

PDF(84KB) ( 315 )

相关文章 | 多维度评价