计算机科学与技术一级学科面向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 职称材料

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

4

作者 刘椿年 李晨 董洁 《计算机研究与发展》 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－）

5

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

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

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

在线阅读 下载PDF 职称材料

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

6

作者 刘椿年 《北京工业大学学报》 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 职称材料

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

7

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

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

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

在线阅读 下载PDF 职称材料

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

8

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

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

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

在线阅读 下载PDF 职称材料

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

9

作者 王念永 刘椿年 聂文英 《北京工业大学学报》 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 职称材料

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

10

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

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

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

在线阅读 下载PDF 职称材料

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

11

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

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

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

在线阅读 下载PDF 职称材料

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

12

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

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

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

在线阅读 下载PDF 职称材料

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

13

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

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

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

在线阅读 下载PDF 职称材料

ESPRIT:欧洲信息技术研究与开发的战略计划 被引量：1

14

作者 刘椿年 《计算机应用研究》 CSCD 1989年第5期64-66,共3页

本文简要介绍欧洲信息技术研究与开发的战略计划ESPRIT的组织实施、和迄今已取得的效果,供国内计算机科技界参考。

关键词 ESPRIT 信息技术 欧州

在线阅读 下载PDF 职称材料

Web数据库访问中间件Easy　Web的研制及应用

15

作者 邸瑞华 冯国臻 +1 位作者 李维铭 包振山 《北京工业大学学报》 CAS CSCD 1998年第4期58-62,共5页

在全面简要介绍Web数据库技术之后，深入详细地阐述了作者自行开发的中间件EasyWeb的技术要点及应用情况．

关键词 INTRANET WEB 数据库 中间件 EasyWeb 接口

在线阅读 下载PDF 职称材料

一个基于抽象解释的部分演绎过程

16

作者 刘椿年 《软件学报》 EI CSCD 北大核心 1994年第11期31-37,共7页

本文提出一种新的基于抽象解释的逻辑程序部分演绎方法．在一遍预处理里，针对给定的程序Ｐ和目标Ｇ，同时进行Ｐ∪｛Ｇ｝的部分演绎和抽象解释，以抽象解释控制部分演绎的展开过程．只要抽象论域是有穷的，部分演绎必定终止，而且Ｐ＇... 本文提出一种新的基于抽象解释的逻辑程序部分演绎方法．在一遍预处理里，针对给定的程序Ｐ和目标Ｇ，同时进行Ｐ∪｛Ｇ｝的部分演绎和抽象解释，以抽象解释控制部分演绎的展开过程．只要抽象论域是有穷的，部分演绎必定终止，而且Ｐ＇带有抽象解释估算出的关于其运行性质的信息，便于对Ｐ作进一步优化． 展开更多

关键词 逻辑程序 部分演绎 抽象解释 程序设计

在线阅读 下载PDF 职称材料

基于WAM的Prolog编译优化 被引量：3

17

作者 钟宁燕 刘椿年 苗占禄 《北京工业大学学报》 CAS CSCD 1998年第4期43-49,共7页

描述了一个基于WAM的高度优化的全Prolog编译系统的设计与实现，本系统是在并行、约束逻辑程序设计等方向上扩充WAM的出发点和基本平台，系统能高效地进行算术表达式计算，支持各种预定义谓词，系统的键壮性和灵活性也令人满意．经过测... 描述了一个基于WAM的高度优化的全Prolog编译系统的设计与实现，本系统是在并行、约束逻辑程序设计等方向上扩充WAM的出发点和基本平台，系统能高效地进行算术表达式计算，支持各种预定义谓词，系统的键壮性和灵活性也令人满意．经过测试系统，比BPU－Prolog快7—8倍，优于国际上某些Prolog编译系统． 展开更多

关键词 Warren抽象机 编译优化 CLP Prolog编译系统

在线阅读 下载PDF 职称材料

立体矩阵论初步(Ⅰ)——体阵的加法、乘法、数乘、转置和么体阵 被引量：1

18

作者 周训伟 《北京工业大学学报》 CAS CSCD 1992年第4期71-83,共13页

提出了立体矩阵理论,包括立体矩阵的加法、乘法、数乘、转置和么阵等基本内容,将平面矩阵理论中相应内容处理成其特殊情况。

关键词 立体矩阵 加法 乘法 转置

在线阅读 下载PDF 职称材料

CLP（R）程序部分演绎的研究

19

作者 张秀珍 刘椿年 《计算机研究与发展》 EI CSCD 北大核心 1996年第5期347-354,共8页

本文从实例分析总结了在宽度优先语义下对ＣＬＰ（Ｒ）程序进行部分演绎的基本规则和两条特殊规则，首次提出了将抽象解释技术应用于ＣＬＰ（Ｒ）程序的部分演绎的新课题。本文的结果虽然是初步的，但它是在ＣＬＰ（Ｒ）程序的部分演绎... 本文从实例分析总结了在宽度优先语义下对ＣＬＰ（Ｒ）程序进行部分演绎的基本规则和两条特殊规则，首次提出了将抽象解释技术应用于ＣＬＰ（Ｒ）程序的部分演绎的新课题。本文的结果虽然是初步的，但它是在ＣＬＰ（Ｒ）程序的部分演绎这一研究方向上的首次尝试。 展开更多

关键词 程序设计 部分演绎 抽象解释 CLP(R)程序

在线阅读 下载PDF 职称材料

约束逻辑程序部分演绎过程的研究

20

作者 陶意 刘椿年 《计算机学报》 EI CSCD 北大核心 1997年第3期238-244,共7页

约束逻辑程序（ＣＬＰ）的部分演绎是一个新兴的研究领域．本文提出一个新的基于程序变换的ＣＬＰ部分演绎的过程．该过程以程序一目标对（ＰＯ，Ｑ０）为输入，经过一系列程序变换后终止，输出结果程序一目标对（Ｐｎ，Ｑｎ）．该过程... 约束逻辑程序（ＣＬＰ）的部分演绎是一个新兴的研究领域．本文提出一个新的基于程序变换的ＣＬＰ部分演绎的过程．该过程以程序一目标对（ＰＯ，Ｑ０）为输入，经过一系列程序变换后终止，输出结果程序一目标对（Ｐｎ，Ｑｎ）．该过程保证结果程序－目标对（Ｐｎ，Ｑｎ）和输入程序－目标对（ＰＯ，Ｑ０）计算等价，并且程序Ｐｎ解目标Ｑｎ比程序Ｐ０解目标Ｑ０效率更高．本文提出的方法已经实现，文中给出了一个ＣＬＰ（ＢＯＯＬ）程序部分演绎的运行实例． 展开更多

关键词 约束逻辑程序 部分演绎 程序设计

在线阅读 下载PDF 职称材料