计算机科学与技术一级学科面向21世纪系列教材一体化建设研究报告 被引量：10

1

作者 赵致琢 刘椿年 +1 位作者 许满武 陈国良 《计算机科学》 CSCD 北大核心 2002年第6期33-46,110,共15页

1引言 自从计算机科学与技术学科专业教育诞生之日起,学术界就开始了长期的、连续的教材创作工作,陆续推出了各式各样的教材.在中国,伴随着高等学校学科专业教育的兴起,采用翻译、编译、编写、编著、引进、创作等多种形式,大量专业教材... 1引言 自从计算机科学与技术学科专业教育诞生之日起,学术界就开始了长期的、连续的教材创作工作,陆续推出了各式各样的教材.在中国,伴随着高等学校学科专业教育的兴起,采用翻译、编译、编写、编著、引进、创作等多种形式,大量专业教材不断地进入这个领域.众所周知,无论是国内还是国外,长期以来学科专业教材的建设确实为培养一大批专业人才做出了巨大的贡献. 展开更多

关键词 计算机科学 计算机技术 教材一体化建设 研究报告

在线阅读 下载PDF 职称材料

计算机数据安全系统的研制

2

作者 刘惠珍 张民 周昕 《北京工业大学学报》 CAS CSCD 1998年第1期111-115,共5页

概述了计算机数据安全系统涉及的基本概念，基本理论和主要技术方法，建立了一个数据文件加密／解密工具箱．该工具箱具有良好的人机界面和多个功能模块，它为数据文件的安全系统继续研究提供了有效的工具．

关键词 密码 加密 解密 计算机 数据安全系统

在线阅读 下载PDF 职称材料

省市级科委科研项目管理计算机系统

3

作者 刘玉林 韩彦平 +2 位作者 付有名 沈晨浩 林晓兵 《北京工业大学学报》 CAS CSCD 1993年第1期80-87,共8页

介绍了一个实用的计算机辅助管理系统——省市级科委科研项目管理系统,系统是以dBASEⅢ为主,并辅之以C的混合语言实现的。除了一般管理系统所具有的咨询,统计等功能外,还具有图形分析功能,文章对图形分析模块功能和实现方法,以及两种语... 介绍了一个实用的计算机辅助管理系统——省市级科委科研项目管理系统,系统是以dBASEⅢ为主,并辅之以C的混合语言实现的。除了一般管理系统所具有的咨询,统计等功能外,还具有图形分析功能,文章对图形分析模块功能和实现方法,以及两种语言相互通信的方法和技巧作了重点介绍。 展开更多

关键词 科研项目 计算机管理

在线阅读 下载PDF 职称材料

基于网络的入侵检测系统的感应器组件 被引量：2

4

作者 曹元大 岳治宇 张海勇 《北京理工大学学报》 EI CAS CSCD 北大核心 2002年第5期615-617,625,共4页

从简化入侵检测系统的构造出发 ,设计和实现了一个基于网络的入侵检测系统的感应器组件 .该组件提供了较为全面的功能 ,包括采集网络数据、IP重组、TCP层重组和基于多种应用层协议的数据还原 .该组件具有灵活的模块化结构 ,提供了很好... 从简化入侵检测系统的构造出发 ,设计和实现了一个基于网络的入侵检测系统的感应器组件 .该组件提供了较为全面的功能 ,包括采集网络数据、IP重组、TCP层重组和基于多种应用层协议的数据还原 .该组件具有灵活的模块化结构 ,提供了很好的复用性和扩展性 ,并实现了自定义加载的功能 .用户可以根据实际需求定制组件的大小 ,或者添加自定义的模块到组件中 . 展开更多

关键词 组件 入侵检测系统 感应器 数据采集 IP重组 TCP层重组 网络安全

在线阅读 下载PDF 职称材料

PROLOG、DBMS和过程模块三者集成的专家系统开发环境

5

作者 刘椿年 李晨 董洁 《计算机研究与发展》 EI CSCD 北大核心 1989年第4期1-5,共5页

本文描述了PROLOG、关系型DBMS和过程性模块三者集成的专家系统开发环境ESDE 1的设计思想,特别强调了PROLOG编译优化技术在提高ESDE 1效率方面所具有的潜力.

关键词 专家系统 PROLOG 过程模块 DBMS

在线阅读 下载PDF 职称材料

用微机计算水中Fe（Ⅲ）_Ca^（2＋）_CO_3^（2－）_PO_4^（3－）

6

作者 任仁 周小兵 《北京工业大学学报》 CAS CSCD 1995年第3期120-124,共5页

编制了一个ＢＡＳＩＣ程序，用拟牛顿法求解非线性方程组，研究痕量元素的形态分布，经在微机上运行，得到令人满意的结果．采用该程序迭代次数少，运算速度快，求解精度高，具有一定的推广价值．

关键词 拟牛顿法 微机 痕量分析 水质监测

在线阅读 下载PDF 职称材料

一个用于软件生产自动化的VDM元语言编译系统

7

作者 刘椿年 《北京工业大学学报》 CAS CSCD 1990年第1期19-24,共6页

讨论了C-Meta-Ⅳ的设计方案,介绍了已实现部分的效果。C-Meta-Ⅳ是一个用于系统软件和应用软件自动化生产的VDM元语言编译系统。该系统以智能语言PROLOG为中间语言,可将用Meta-Ⅳ书写的软件规范说明自动翻译为可执行高级程序设计语言(如... 讨论了C-Meta-Ⅳ的设计方案,介绍了已实现部分的效果。C-Meta-Ⅳ是一个用于系统软件和应用软件自动化生产的VDM元语言编译系统。该系统以智能语言PROLOG为中间语言,可将用Meta-Ⅳ书写的软件规范说明自动翻译为可执行高级程序设计语言(如PASCAL)的程序。其优点是:从Meta-Ⅳ到PROLOG的翻译比直接翻译为过程性语言容易;从PROLOG到过程性语言的翻译可利用优化技术以提高目标程序的效率。 展开更多

关键词 程序 自动化 元语言 编译系统

在线阅读 下载PDF 职称材料

CLP系统中推理机与约束求解器的协调技术 被引量：6

8

作者 张秀珍 刘椿年 《软件学报》 EI CSCD 北大核心 1996年第7期415-421,共7页

本文讨论了我们自行开发的ＢＰＵ－ＣＬＰ（Ｒ）系统中推理机与约束求解器的协调技术．协调主要发生在回溯机制中．

关键词 CLP 存储优化 推理南 约束求解器 程序设计

在线阅读 下载PDF 职称材料

基于B－P网络环境污染物结构毒性关系模式 被引量：1

9

作者 秦红 白乃彬 《北京工业大学学报》 CAS CSCD 1994年第3期91-96,共6页

应用神经网络反向传播Ｂ－Ｐ模型，进一步探讨了８０种硝基多环芳烃的分子结构和对鼠伤寒沙门氏菌致变活性ＴＡ９８关系的规律。正确预报率与专家系统方法接近等同（０．９７）．特别是一些带有激活子结构４，４－二硝基联苯，苯并［ｅ... 应用神经网络反向传播Ｂ－Ｐ模型，进一步探讨了８０种硝基多环芳烃的分子结构和对鼠伤寒沙门氏菌致变活性ＴＡ９８关系的规律。正确预报率与专家系统方法接近等同（０．９７）．特别是一些带有激活子结构４，４－二硝基联苯，苯并［ｅ］芘等化合物的预报值与实验符合程度有了明显改进。这说明神经网络在包容“是”与“非”逻辑编码方面，具有自适应，自组织，自学习的容错能力，不失为良好的环境污染物的构效关系模式。 展开更多

关键词 神经网络 B-P模型 污染物 结构 毒性

在线阅读 下载PDF 职称材料

环境污染物分子结构与毒性关系专家系统 被引量：1

10

作者 全英 白乃彬 《北京工业大学学报》 CAS CSCD 1995年第1期104-110,共7页

介绍了用于环境污染物结构毒性关系研究的软件，做为软件性能的检验，也进行了６２种氮杂环芳胺及其致变活性关系的实例研究。发现：专家系统应用近于自然语言的规则形式易于表达特殊分子结构对毒性有明显激活或抑活效应的知识，而此种... 介绍了用于环境污染物结构毒性关系研究的软件，做为软件性能的检验，也进行了６２种氮杂环芳胺及其致变活性关系的实例研究。发现：专家系统应用近于自然语言的规则形式易于表达特殊分子结构对毒性有明显激活或抑活效应的知识，而此种作用是难于用数值描述的。专家系统不失为环境污染物构效关系的良好模式之一。 展开更多

关键词 专家系统 环境污染 毒性 环境监测

在线阅读 下载PDF 职称材料

实数域上的并行约束逻辑程序设计系统及其实现技术

11

作者 王念永 刘椿年 聂文英 《北京工业大学学报》 CAS CSCD 1998年第4期1-6,共6页

主要讨论了在线程模式下实数域上的约束逻辑程序设计系统CLP（R）的Herbrand域和实数域并行求解的两种可行策略：1）单约束求解器线程并行策略．2）多约束求解器线程并行策略。并着重介绍了基于前一种策略实现的BPU－PARCLP（R）系统的... 主要讨论了在线程模式下实数域上的约束逻辑程序设计系统CLP（R）的Herbrand域和实数域并行求解的两种可行策略：1）单约束求解器线程并行策略．2）多约束求解器线程并行策略。并着重介绍了基于前一种策略实现的BPU－PARCLP（R）系统的并行算法和实现技术． 展开更多

关键词 程序设计 线程 CLP 求解器 并行算法

在线阅读 下载PDF 职称材料

全一阶谓词程序设计系统NAD

12

作者 孔令勉 刘椿年 《计算机研究与发展》 EI CSCD 北大核心 1990年第6期10-15,共6页

NAD系统是以全一阶谓词逻辑作为程序设计语言,基于Gentzen类型的相继式演算的自然演绎系统。本文着重介绍了NAD系统实现的理论依据、实现策略及其运行实例,旨在提出一种改善PROLOG语言的描述能力的方法。

关键词 NAD系统 谓词逻辑 程序设计

在线阅读 下载PDF 职称材料

基于DOS的多线程实时系统的实现

13

作者 王建勇 宗大华 《计算机应用》 CSCD 1996年第2期17-19,共3页

本文结合作者开发实时多任务系统RTDOS的经验,具体讨论了在MS—DOS操作系统下引入多线程机制以实现一个实时系统的方法和实践。

关键词 线程 实时系统 DOS 操作系统

在线阅读 下载PDF 职称材料

模式信息在Prolog解释系统中的应用

14

作者 童梅 《北京工业大学学报》 CAS CSCD 1994年第2期57-61,共5页

给出了一种适用于变量分离型程序的简化合一算法，并就该算法在一个采用结构共享技术实现的Ｐｒｏｌｏｇ解释器中的应用进行了详细的探讨。

关键词 解释系统 模式信息 PROLOG程序

在线阅读 下载PDF 职称材料

虚拟人面部行为的合成 被引量：26

15

作者 高文 陈熙霖 +2 位作者 晏洁 宋益波 尹宝才 《计算机学报》 EI CSCD 北大核心 1998年第8期694-703,共10页

虚拟人是虚拟现实环境中很重要的一部分，对于虚拟人行为的研究除了应从宏观上考虑虚拟人的群体行为属性之外，对个体行为用性的研究也非常重要．个体行为包括自然行为和意识行为．自然行为主要是和脸部、头部以及四肢运动有关的行为．... 虚拟人是虚拟现实环境中很重要的一部分，对于虚拟人行为的研究除了应从宏观上考虑虚拟人的群体行为属性之外，对个体行为用性的研究也非常重要．个体行为包括自然行为和意识行为．自然行为主要是和脸部、头部以及四肢运动有关的行为．而意识行为则包括与语言和心理活动相关联的表情、发声以及对应的唇动手势动作等．本文旨在研究与意识行为有关的虚拟人面部图像合成技术，讨论了标准人脸图像的参数合成方法，给出了特定人脸图像与标准人脸图像的映射以及面部表情图像和发音口型的合成方法． 展开更多

关键词 虚拟现实 虚拟人 人脸图像合成 面部行为合成

在线阅读 下载PDF 职称材料

具有真实感的三维虚拟特定人脸生成方法 被引量：24

16

作者 晏洁 高文 尹宝才 《计算机学报》 EI CSCD 北大核心 1999年第2期147-153,共7页

三维人脸的计算机生成目前是一个具有挑战性的课题．如何在人脸复杂的、不规则的表面上建模以及如何反映出特定人脸间的个体差异是实现真实人脸模拟的两大主要困难所在．本文针对后者，提出了一种新的三维特定人脸生成方法，该方法基于... 三维人脸的计算机生成目前是一个具有挑战性的课题．如何在人脸复杂的、不规则的表面上建模以及如何反映出特定人脸间的个体差异是实现真实人脸模拟的两大主要困难所在．本文针对后者，提出了一种新的三维特定人脸生成方法，该方法基于人脸模型变形技术，允许模拟者在交互方式下将一般人脸几何模型和预先提供的特定人脸多方向图像之间进行特征校准，进而得到特定人脸三维模型．该模型将精确地反映特定人脸的诸特征，同时，这种变形技术还提供了一种获取特定人面部表情模型的有效方法．为了提高真实感，本文随之提出了一种新的纹理映射技术。 展开更多

关键词 人脸模型 纹理扭曲 图像处理 人脸生成 三维人脸

在线阅读 下载PDF 职称材料

区间算术在软件测试中的应用 被引量：19

17

作者 王志言 刘椿年 《软件学报》 EI CSCD 北大核心 1998年第6期438-443,共6页

程序结构测试可以分为４个阶段：静态分析、路径选择、测试数据生成和动态分析．本文应用区间算术在测试数据生成阶段对约束集求解．由于正则约束式的引入，能够处理复杂的逻辑表达式组，找到一组解以供第４阶段动态分析使用．文中提出... 程序结构测试可以分为４个阶段：静态分析、路径选择、测试数据生成和动态分析．本文应用区间算术在测试数据生成阶段对约束集求解．由于正则约束式的引入，能够处理复杂的逻辑表达式组，找到一组解以供第４阶段动态分析使用．文中提出的算法具有非常大的灵活性，可以处理非线性约束，经改进后。 展开更多

关键词 区间算术 区间削减 软件测试 软件开发

在线阅读 下载PDF 职称材料

有界域三角剖分的广义边界递归法 被引量：5

18

作者 孔德慧 朱笑冰 陈其明 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 1998年第2期112-117,共6页

提出了有界域的有限剖分问题，并设计出分步求解方案．首先用边界递归法对边界曲面进行剖分，剖分结果可作为有界域的近似边界；然后，在引入空间环表定义后，采用广义边界递归剖分法实现有界域的近似四面体网格剖分；最后，引入了附加... 提出了有界域的有限剖分问题，并设计出分步求解方案．首先用边界递归法对边界曲面进行剖分，剖分结果可作为有界域的近似边界；然后，在引入空间环表定义后，采用广义边界递归剖分法实现有界域的近似四面体网格剖分；最后，引入了附加离散点构造出附加四面体，它与区域的近似四面体网格一起构成了一个覆盖整个有界域的三角网格．应用表明该方法简单有效． 展开更多

关键词 有限三角剖分 广义边界递归法 图形处理

在线阅读 下载PDF 职称材料

FNN上的反向传播学习算法 被引量：2

19

作者 毛国君 宋广军 杨名生 《计算机应用与软件》 CSCD 1998年第4期34-38,共5页

近几年来,模糊神经网络(FNN)的研究引起了广泛的注意。本文对FNN上的反向传播学习方法加以讨论。使用输入均值和输出权重参量来进行模糊化和反模糊化处理,学习的目的是调整这两个参量到合适的值。

关键词 模糊神经网络 反向传播学习 算法

在线阅读 下载PDF 职称材料

一种路径覆盖的自动生成算法──剪枝法 被引量：1

20

作者 王志言 刘椿年 《计算机研究与发展》 EI CSCD 北大核心 1998年第2期169-172,共4页

程序结构测试可以分为四个阶段：静态分析，路径选择，测试数据生成和动态分析．文中提出了“层次树”的概念，用来表示一个由结构化程序设计语言书写的程序的结构，从而可以充分利用结构化程序设计语言的优点．以此为基础，提出了一种... 程序结构测试可以分为四个阶段：静态分析，路径选择，测试数据生成和动态分析．文中提出了“层次树”的概念，用来表示一个由结构化程序设计语言书写的程序的结构，从而可以充分利用结构化程序设计语言的优点．以此为基础，提出了一种路径覆盖的自动生成算法，称作“剪枝法”，在软件测试的第二阶段使用．该方法的最大优点是简单性和灵活性． 展开更多

关键词 路径覆盖 软件测试 剪枝法 软件开发

在线阅读 下载PDF 职称材料