理论计算机科学专题前言 被引量：1

1

作者 尹一通 何琨 +2 位作者 张驰豪 操宜新 孙晓明 《计算机科学》 CSCD 北大核心 2020年第5期I0001-I0002,共2页

理论计算机科学是整个计算机科学的理论根基。自从Alonzo Church和Alan Turing分别使用形式语言与自动机来为人类的计算行为进行理论建模开始,理论计算机科学领域的学者们就将计算本身作为一种客观存在,以“格物,致知”的态度来探究计... 理论计算机科学是整个计算机科学的理论根基。自从Alonzo Church和Alan Turing分别使用形式语言与自动机来为人类的计算行为进行理论建模开始,理论计算机科学领域的学者们就将计算本身作为一种客观存在,以“格物,致知”的态度来探究计算的本质原理。现代计算机科学与技术及其相应工程与应用的蓬勃发展,为这一基础学科提供了创新的舞台,使其充满了活力。 展开更多

关键词 理论计算机科学 计算机科学与技术 形式语言 自动机 理论建模 基础学科 理论根基

在线阅读 下载PDF 职称材料

Java自动并行编译系统JAPS中表达式分离技术的研究

2

作者 王征 方斐 +1 位作者 陈道蓄 谢立 《计算机科学》 CSCD 北大核心 2000年第1期13-18,共6页

一、引言 1.1 自动并行编译的提出并行程序设计基本上有两种途径:显式途径和隐式途径。研究者设计了很多的并行程序设计语言,这就是所谓的“显式途径”。但是,并没有一种并行程序设计语言成为流行的语言,主要的问题在于并行程序的编制困... 一、引言 1.1 自动并行编译的提出并行程序设计基本上有两种途径:显式途径和隐式途径。研究者设计了很多的并行程序设计语言,这就是所谓的“显式途径”。但是,并没有一种并行程序设计语言成为流行的语言,主要的问题在于并行程序的编制困难,对程序员的要求高。相比较而言,隐式途径,即自动并行编译技术就有许多的优势。用户使用串行语言编制程序。 展开更多

关键词 JAVA语言 并行编译系统 JAPS 表达式分离

在线阅读 下载PDF 职称材料

程序切片技术的研究与应用 被引量：9

3

作者 张勇翔 李必信 郑国梁 《计算机科学》 CSCD 北大核心 2000年第1期31-35,共5页

软件逆向工程和维护通常是一种繁复的任务,它需要对程序的大量阅读,透切理解,耗费大量的人力物力。正是基于这种情况,产生了大量有关程序理解的技术,而程序切片技术是其中比较突出的一种。程序切片技术(Program slicing)最早由MarkWeise... 软件逆向工程和维护通常是一种繁复的任务,它需要对程序的大量阅读,透切理解,耗费大量的人力物力。正是基于这种情况,产生了大量有关程序理解的技术,而程序切片技术是其中比较突出的一种。程序切片技术(Program slicing)最早由MarkWeiser提出,他论述了通过遍历程序依赖图(ProgramDependence Graph,PDG)得到过程内切片(intrapro cedural slice)的技术。此后,Horwitz通过将PDG扩展为系统依赖图(System Dependence Graph,SDG) 展开更多

关键词 程序切片 面向对象 软件逆向工程 软件维护

在线阅读 下载PDF 职称材料

CIMS环境下基于面向对象技术的信息集成研究 被引量：2

4

作者 李必信 高同启 +1 位作者 王武荣 郑国梁 《计算机科学》 CSCD 北大核心 2000年第2期52-56,72,共6页

1 概述信息技术既给企业带来了严酷的市场竞争和挑战,也为企业带来了新的机遇。信息技术和现代化管理技术的结合可以为企业提供如下的生产模式、管理技术和设计、制造技术:①物料资源规划(MRP)、制造资源规划(MRP-Ⅱ)和企业资源规划(ERP... 1 概述信息技术既给企业带来了严酷的市场竞争和挑战,也为企业带来了新的机遇。信息技术和现代化管理技术的结合可以为企业提供如下的生产模式、管理技术和设计、制造技术:①物料资源规划(MRP)、制造资源规划(MRP-Ⅱ)和企业资源规划(ERP)。这是西方制造业管理技术的精华。借助产品和部件的构成数据、工艺数据和设备状况数据,将市场对产品的需求转变为对加工过程和外购原材料、零部件的需求,这样。 展开更多

关键词 CIMS 面向对象 信息集成 PDM系统

在线阅读 下载PDF 职称材料

主动攻击响应技术研究 被引量：1

5

作者 陆骏 丁剑 +1 位作者 吕志军 黄皓 《计算机应用与软件》 CSCD 北大核心 2005年第1期15-16,84,共3页

本文首先介绍了当前的入侵检测系统在攻击阻断方面所采用的主要技术 ,并分析了这些技术的局限性。然后提出了一个协同主动攻击响应机制 ,这种机制通过协同防火墙、入侵检测系统、特定攻击阻断代理、攻击取证与恢复系统等来提高攻击响应... 本文首先介绍了当前的入侵检测系统在攻击阻断方面所采用的主要技术 ,并分析了这些技术的局限性。然后提出了一个协同主动攻击响应机制 ,这种机制通过协同防火墙、入侵检测系统、特定攻击阻断代理、攻击取证与恢复系统等来提高攻击响应能力 ,特别是主动攻击响应能力。 展开更多

关键词 主动攻击 入侵检测系统 恢复系统 防火墙 响应能力 协同 代理 阻断 机制 特定

在线阅读 下载PDF 职称材料

机器辅助下的形式化规格说明求精技术

6

作者 袁晓东 郑国梁 《计算机科学》 CSCD 北大核心 1998年第6期19-23,共5页

形式化规格说明为我们提供一个简洁、精确且能被很好理解的系统描述。但我们还需要从规格说明得到其合适的代码实现,这一开发过程称为形式化规格说明的求精[lj。规格说明的求精技术已经有比较深入的研究,一般要通过数据求精和操作求精... 形式化规格说明为我们提供一个简洁、精确且能被很好理解的系统描述。但我们还需要从规格说明得到其合适的代码实现,这一开发过程称为形式化规格说明的求精[lj。规格说明的求精技术已经有比较深入的研究,一般要通过数据求精和操作求精逐步精化的过程,逐步降低抽象级,最终得到规格说明的程序实现代码。但现有的精化理论较少考虑机器辅助技术的应用。 展开更多

关键词 形式化规格说明 机器辅助 求精技术 形式语言

在线阅读 下载PDF 职称材料

量子测量与量子计算

7

作者 张云洁 《计算机科学》 CSCD 北大核心 2006年第10期216-220,255,共6页

本文的讨论主要集中在量子力学中测量部分,首先从量子力学的几大公设出发,着重分析测量公设的含义。然后提出量子力学争论的焦点问题之一——测量问题,并通过分别阐述塌缩原理、非塌缩原理以及对二者的比较来分析各种说法的合理性。接... 本文的讨论主要集中在量子力学中测量部分,首先从量子力学的几大公设出发,着重分析测量公设的含义。然后提出量子力学争论的焦点问题之一——测量问题,并通过分别阐述塌缩原理、非塌缩原理以及对二者的比较来分析各种说法的合理性。接下来简要讨论同时测量问题。最后简略描述测量在不同量子计算模型中的体现,并对测量带来的问题做了思考。 展开更多

关键词 测量 塌缩 非塌缩 同时测量 量子计算

在线阅读 下载PDF 职称材料

一种基于ORDB和软件构件的信息系统构造方法 被引量：3

8

作者 徐进 赵志宏 +1 位作者 骆斌 陈世福 《计算机应用研究》 CSCD 北大核心 2001年第2期63-65,共3页

提出了一种基于ORDB和软件构件的信息系统构造方法。该方法把对象关系数据库和软件构件结合在一起，解决了对象数据模型向关系数据库及其面向对象程序设计语言的转化，为提高信息系统开发效率提供了有效的解决办法。

关键词 面向对象 ORDB 软件构件 管理信息系统 软件开发

在线阅读 下载PDF 职称材料

Internet在线翻译浏览器技术探讨 被引量：3

9

作者 王少春 陈家骏 +1 位作者 王启祥 谢俊元 《计算机应用研究》 CSCD 北大核心 2001年第1期11-13,36,共4页

Internet在线翻译浏览器是机器翻译在Internet上的最新应用。探讨了Internet在线翻译浏览器设计与实现中的一些技术问题，其中包括：翻译浏览器应具有的功能和系统的体系结构、原文页面分析与译文页面生成、页面翻译控制等等。还给出了I... Internet在线翻译浏览器是机器翻译在Internet上的最新应用。探讨了Internet在线翻译浏览器设计与实现中的一些技术问题，其中包括：翻译浏览器应具有的功能和系统的体系结构、原文页面分析与译文页面生成、页面翻译控制等等。还给出了Internet在线日汉翻译浏览器WWWTrans的实例。 展开更多

关键词 机器翻译 在线翻译浏览器 INTERNET WEB 信息处

在线阅读 下载PDF 职称材料

Internet市场若干关键技术的研究

10

作者 杨凡 周笑波 +1 位作者 陈道蓄 谢立 《计算机科学》 CSCD 北大核心 1999年第12期31-34,共4页

1 引言如何集成Internet上异构、自治的资源是目前业界面临的挑战之一。传统集成异构数据资源的研究大都把注意力集中于在集成中出现的语义和模式上的异构性问题,提出的解决方法通常依赖于提出一种语义丰富的数据模型,这种数据模型使得... 1 引言如何集成Internet上异构、自治的资源是目前业界面临的挑战之一。传统集成异构数据资源的研究大都把注意力集中于在集成中出现的语义和模式上的异构性问题,提出的解决方法通常依赖于提出一种语义丰富的数据模型,这种数据模型使得分布式数据之间的语义连接表示变得更容易。如联合数据库采用一个由集成的联合模式和包装器(Wrapper) 展开更多

关键词 Interent网 数据集成 数据资源 INTERNET市场

在线阅读 下载PDF 职称材料

二次搜索系统的设计与实现 被引量：29

11

作者 肖建华 蒋明 +1 位作者 何瑗 柏文阳 《计算机应用研究》 CSCD 北大核心 2003年第9期123-126,共4页

Internet的快速增长使人们越来越依赖于搜索引擎来发现有用的信息。当前绝大多数中文搜索引擎都是基于文本的,其搜索效果通常不能令人满意。基于正在兴起的链接分析技术,借助文本式搜索引擎的搜索成果,设计并实现了一个二次搜索系统。... Internet的快速增长使人们越来越依赖于搜索引擎来发现有用的信息。当前绝大多数中文搜索引擎都是基于文本的,其搜索效果通常不能令人满意。基于正在兴起的链接分析技术,借助文本式搜索引擎的搜索成果,设计并实现了一个二次搜索系统。该系统通过对文本搜索引擎搜索结果的再次处理,为终端用户提供一个高质量的搜索结果。 展开更多

关键词 网络信息挖掘 搜索引擎 链接分析

在线阅读 下载PDF 职称材料

嵌入式软件建模、实现与验证:研究与进展 被引量：10

12

作者 胡军 张岩 +3 位作者 于笑丰 王林章 李宣东 郑国梁 《计算机科学》 CSCD 北大核心 2005年第12期16-23,共8页

随着计算机硬件设备计算能力的迅速提高,嵌入式系统中软件的规模和复杂度的急剧增大,软件可靠性在嵌入式系统中的重要性占据了统治地位。本文首先概要介绍了嵌入式软件不同于传统商业软件、科学计算软件的物理性、实时性、领域性等重要... 随着计算机硬件设备计算能力的迅速提高,嵌入式系统中软件的规模和复杂度的急剧增大,软件可靠性在嵌入式系统中的重要性占据了统治地位。本文首先概要介绍了嵌入式软件不同于传统商业软件、科学计算软件的物理性、实时性、领域性等重要特征,以及由此带来的困难和挑战。然后重点介绍目前在解决嵌入式软件系统开发过程中的问题时所采取的建模思想、实现技术和验证方法。最后对嵌入式软件及其相关技术的发展进行了展望。 展开更多

关键词 嵌入式软件 嵌入式系统 嵌入式建模 实时软件

在线阅读 下载PDF 职称材料

从汉语格关系表示生成日语 被引量：3

13

作者 戴新宇 陈家骏 王启祥 《中文信息学报》 CSCD 北大核心 2003年第6期17-24,共8页

本文介绍了一个基于转换翻译的汉日机器翻译系统中日语生成子系统的设计和实现。文章首先描述了一种基于格关系的汉语依存分析树 ,分析树结点记录语法语义以及格关系信息 ;然后 ,针对日语的特征 ,分析了日语生成中的主要问题 ,包括译词... 本文介绍了一个基于转换翻译的汉日机器翻译系统中日语生成子系统的设计和实现。文章首先描述了一种基于格关系的汉语依存分析树 ,分析树结点记录语法语义以及格关系信息 ;然后 ,针对日语的特征 ,分析了日语生成中的主要问题 ,包括译词选择、用言活用形确定、助词添加等 ;给出基于规则的日语生成系统的组织结构 ,重点介绍生成规则系统的设计和实现。最后 ,给出规则描述的实例以及翻译实例 。 展开更多

关键词 人工智能 机器翻译 格语法 汉语分析 日语生成

在线阅读 下载PDF 职称材料

Web智能信息服务系统的设计与实现 被引量：1

14

作者 陈康 奚伟鹏 +1 位作者 蒋凯 武港山 《计算机应用研究》 CSCD 北大核心 2004年第6期161-163,共3页

Web信息的快速增长和人们对信息需求的不断提高 ,使得用户越来越难获得其需要的信息。为了解决这些问题 ,介绍了一个智能化的Web信息服务系统的设计及其实现 ,它能够使用户更好地获得并使用信息。对系统的基本框架。

关键词 信息服务 关键词提取 信息分类 信息检索

在线阅读 下载PDF 职称材料

一个基于格语法和转换策略的日汉机器翻译系统 被引量：1

15

作者 陈家骏 戴新宇 +1 位作者 尹存燕 王启祥 《中文信息学报》 CSCD 北大核心 2006年第B03期61-65,共5页

本文介绍一个基于规则和转换翻译策略的日汉机器翻译系统的设计和实现。该系统的日语分析采用了基于短语结构文法和格语法的句法、语义分析技术。在句法分析中识别出动词短语时，利用动词格框架进行格短语的格角色识别。分析规则采用了... 本文介绍一个基于规则和转换翻译策略的日汉机器翻译系统的设计和实现。该系统的日语分析采用了基于短语结构文法和格语法的句法、语义分析技术。在句法分析中识别出动词短语时，利用动词格框架进行格短语的格角色识别。分析规则采用了复杂特征集和舍一运算，并按层次进行设计。日语分析结果为带格角色标记的日语分析树。基于得到的日语分析树，系统采用了转影生成一体化的汉语生成策略。按深度优先遍历分析树转换／生成汉语。另外，谊翻译系统在基于规则的主框架之上，还辅助以翻译记忆的方法。本文的系统参加了863组织的三次机器翻译评测，其中，在2005年的评测中，自动评测的结果（NIST）为：6．3052（对话）和6．7836（篇章）。 展开更多

关键词 机器翻译 日语 汉语 转换 规则 格语法

在线阅读 下载PDF 职称材料

采用遗传算法的手绘草图关系模板生成方法 被引量：1

16

作者 张莉莎 孙正兴 《计算机科学》 CSCD 北大核心 2004年第7期196-199,共4页

草图理解包含两个方面:草图图形识别和草图布局分析,但目前的研究大部分集中于一些特殊图形的草图识别上。实际上,草图布局分析对草图信息内容的发现,尤其是在获取其构思方面更为重要。本文为事实草图图形的布局分析提出了一种基于遗传... 草图理解包含两个方面:草图图形识别和草图布局分析,但目前的研究大部分集中于一些特殊图形的草图识别上。实际上,草图布局分析对草图信息内容的发现,尤其是在获取其构思方面更为重要。本文为事实草图图形的布局分析提出了一种基于遗传算法的模板生成方法,在定义和描绘了布局模式的基础上,本方法能找出有潜在语义的图形对象间的模式。实验表明:遗传算法能够有效找出明显或是潜在的模式,并能很减轻手工标注模式的负担。 展开更多

关键词 遗传算法 手绘草图 图形输入 布局模式模板 对象关系图 图形识别 布局分析

在线阅读 下载PDF 职称材料

轻量级开放式移动Agent系统:原理与实现

17

作者 余萍 马晓星 +1 位作者 曹春 吕建 《计算机科学》 CSCD 北大核心 2006年第7期5-10,共6页

移动agent计算模式是一种灵活的基于Internet的分布式计算模式,但是“黑盒”式的设计和“单体”结构使得既有移动agent系统过于冗余,且不能随着用户需求和计算环境的变化动态修改系统的结构和行为。因此提出利用反射技术将移动agent系... 移动agent计算模式是一种灵活的基于Internet的分布式计算模式,但是“黑盒”式的设计和“单体”结构使得既有移动agent系统过于冗余,且不能随着用户需求和计算环境的变化动态修改系统的结构和行为。因此提出利用反射技术将移动agent系统“构件化”使其能够支持系统的“可定制”或“可裁剪”,并采用开放式的实现为移动agent系统的使用者提供扩展系统的能力。反射架构下的移动agent系统能够在运行时刻无需关闭系统动态加载或卸载特定模块;通过移动agent和底层平台的反射特性能自然地实现agent和agent平台的自适应。遵循这个途径开发了具有反射特性的Artemis-Mogent原型系统,并通过试验示范了新系统应用反射后的效果。 展开更多

关键词 移动AGENT 轻量级 开放式 反射 自适应

在线阅读 下载PDF 职称材料

程序自动进化的探索与实验

18

作者 朱怀宏 俞扬 夏黎春 《小型微型计算机系统》 CSCD 北大核心 2003年第12期2327-2330,共4页

本文对程序自动进化进行了初步探讨 ,并用C ++语言对一个实例进行了进化的可行性实验与结果分析 .

关键词 人工智能 遗传进化 适应程度 程序自动进化 C++语言

在线阅读 下载PDF 职称材料

程序复杂度度量系统pgrmetrics的设计与实现 被引量：4

19

作者 丁炎炎 赵洋 +1 位作者 蔡志旻 潘金贵 《计算机应用研究》 CSCD 北大核心 2004年第1期167-169,共3页

介绍一种源程序度量系统的实现方法,它以可扩展程序对象模型作为其构建基础,将对源程序的 信息抽取变为对抽象对象模型的信息抽取,故而无论从设计和实现系统的角度看都显得较为简洁易行。

关键词 软件复杂度 度量模型 可扩展程序对象模型 McCabe方法

在线阅读 下载PDF 职称材料

基于Web Mining的推荐系统 被引量：2

20

作者 唐哲 丁二玉 +1 位作者 骆斌 陈世福 《计算机科学》 CSCD 北大核心 2005年第12期193-196,共4页

推荐系统(Recommender System)被电子商务站点用来向顾客提供信息以帮助顾客选择产品,其基本思想是以统计结果或者顾客以前的行为记录为依据,推测顾客未来可能的行为并给出相应的推荐。本文对基于传统技术和Web mining技术的推荐系统进... 推荐系统(Recommender System)被电子商务站点用来向顾客提供信息以帮助顾客选择产品,其基本思想是以统计结果或者顾客以前的行为记录为依据,推测顾客未来可能的行为并给出相应的推荐。本文对基于传统技术和Web mining技术的推荐系统进行了简要综述,同时描述了基于Web mining技术的推荐系统的工作流程,重点分析了应用于推荐系统的各种具体Web mining技术及其算法比较。 展开更多

关键词 推荐系统 WEB MINING

在线阅读 下载PDF 职称材料