计算机科学若干概念的元数学刻划 被引量：3

1

作者 邹姝稚 张再跃 郭振民 《现代电子技术》 2000年第6期37-40,共4页

简要介绍元数学的产生和发展历史以及她的基本思想 ,通过具体实例论述了元数学思想在计算机科学领域中多方面和多种形式的应用。阐述了元数学对计算机科学 ,特别是计算机科学理论的产生与发展所起的重要作用 。

关键词 元数学 计算机科学 概念

在线阅读 下载PDF 职称材料

基于神经网络的非线性系统的间接自适应控制 被引量：5

2

作者 杨月全 张天平 《系统工程与电子技术》 EI CSCD 北大核心 2002年第10期50-52,59,共4页

针对一类不确定非线性动态系统 ,利用多层神经网络系统MNNs的逼近能力 ,提出了一种间接鲁棒自适应神经网络控制器的设计方案。该方案不仅能够保证闭环系统的所有信号有界 ,而且理论分析证明了闭环系统的跟踪误差渐近收敛到零。仿真试验... 针对一类不确定非线性动态系统 ,利用多层神经网络系统MNNs的逼近能力 ,提出了一种间接鲁棒自适应神经网络控制器的设计方案。该方案不仅能够保证闭环系统的所有信号有界 ,而且理论分析证明了闭环系统的跟踪误差渐近收敛到零。仿真试验表明本控制算法是有效的。 展开更多

关键词 神经网络 非线性系统 间接自适应控制 滑模控制

在线阅读 下载PDF 职称材料

一个基于分布式多层结构的安全应用系统的实现 被引量：1

3

作者 严芬 汤克明 +2 位作者 张中林 殷新春 陈崚 《计算机应用研究》 CSCD 北大核心 2002年第11期79-83,共5页

给出了基于以COM/DCOM/COM +分布式对象技术为核心的分布式多层体系结构的、具有强大安全保障机制的公文系统的设计及实现方法 ,并介绍了系统的安全机制。

关键词 公文 COM DCOM COM+ 分布式 分布式多层应用系统 安全

在线阅读 下载PDF 职称材料

CMM实践中的分布式软件工程管理框架 被引量：2

4

作者 汤克明 殷新春 陈崚 《计算机工程与应用》 CSCD 北大核心 2002年第3期77-79,116,共4页

分布式计算机体系结构的进展,使得客户/服务器软件工程被分布式软件工程所代替。CMM(CapabilityMaturityModel)已被软件组织所认识和重视,CMM实践中的软件工程的管理机制是软件质量保障的关键因素。该文介绍一种符合CMM思想、支持CSCW... 分布式计算机体系结构的进展,使得客户/服务器软件工程被分布式软件工程所代替。CMM(CapabilityMaturityModel)已被软件组织所认识和重视,CMM实践中的软件工程的管理机制是软件质量保障的关键因素。该文介绍一种符合CMM思想、支持CSCW、适合分布式系统结构的管理框架,通过CMM角色定义、过程定义、过程流与文档流的管理以及对CMM角色行为的协同控制,帮助软件企业有效地控制软件过程、增强开发效率、改进软件产品质量。 展开更多

关键词 CMM 分布式软件工程 软件方法学 软件质量管理 计算机

在线阅读 下载PDF 职称材料

Web智能信息检索体系结构的研究 被引量：3

5

作者 严彩梅 《计算机应用研究》 CSCD 北大核心 2002年第11期51-52,158,共3页

利用XML建立了基于领域模型的Web信息集成系统 ,对Web信息进行了分割、组织和管理 ,并参考公共对象请求代理结构CORBA ,集成XML和移动Agent技术的优势 ,构造了一个Web智能信息检索体系结构。它不仅适合Web发展的需要 ,同时为用户获取网... 利用XML建立了基于领域模型的Web信息集成系统 ,对Web信息进行了分割、组织和管理 ,并参考公共对象请求代理结构CORBA ,集成XML和移动Agent技术的优势 ,构造了一个Web智能信息检索体系结构。它不仅适合Web发展的需要 ,同时为用户获取网络信息提供了一种有效的方法。 展开更多

关键词 XML AGENT 信息集成 CORBA 信息检索 Web

在线阅读 下载PDF 职称材料

基于L－系统的分形平面图案造型 被引量：1

6

作者 胡学龙 《南京理工大学学报》 CAS CSCD 1996年第4期302-305,共4页

对于反映自然景观的图象，由于没有易描述的规则，而难以实现计算机辅助设计。该文介绍了分形造型在平面造型中的地位，提出了在工业设计中利用分形造型进行平面设计的方法，特别对基于Ｌ－系统的分形造型方法进行了研究。文中用迭代规... 对于反映自然景观的图象，由于没有易描述的规则，而难以实现计算机辅助设计。该文介绍了分形造型在平面造型中的地位，提出了在工业设计中利用分形造型进行平面设计的方法，特别对基于Ｌ－系统的分形造型方法进行了研究。文中用迭代规则实现了一些自然形态图案的模拟，给出在高档微机及ＭＳ－ＷＩＮＤＯＷＳ３．１中文版环境下的模拟结果。实验表明，文中提出的方案具有交互性好、生成图案速度快。 展开更多

关键词 计算机图形学 分形造型 L-系统 平面造型

在线阅读 下载PDF 职称材料

直接数字频率合成(DDS)技术在ADC系统中的应用 被引量：1

7

作者 朱范德 《现代电子技术》 2002年第1期81-83,共3页

从介绍 DDS的原理出发 ,将 DDS与 PL L做一些比较 ,分析了直接频率合成技术和传统频率合成技术之间的不同 ,提出了一个用直接频率合成技术的方法来提高 DAC系统中时钟准确性。

关键词 直接数字频率合成 DDS ADC系统 模数转换 AD9850 工作原理

在线阅读 下载PDF 职称材料

利用Delphi构建分布式Web应用系统 被引量：6

8

作者 李济民 严芬 谢俊元 《计算机应用研究》 CSCD 北大核心 2002年第5期121-124,共4页

讨论了分布式Web应用系统构建的思想及关键技术，分析了Delphi对于开发分布式W eb应用系统的强劲支持，说明了MTS/COM+技术与Web服务器的结合，并给出了使用Delphi技 术开发分布式Web应用系统的方法。

关键词 DELPHI 分布式WEB应用系统 中间件 计算机网络

在线阅读 下载PDF 职称材料

CMM实践中的软件开发过程与过程裁剪 被引量：9

9

作者 殷新春 汤克明 +1 位作者 严芬 陈崚 《小型微型计算机系统》 CSCD 北大核心 2003年第2期207-210,共4页

CMM要求软件组织的软件过程标准化 .不同的项目有不同的需求 ,允许对标准过程进行裁剪来适合一个特定的项目 .裁剪被错综复杂地联系到过程定义上 ,必须把过程定义与裁剪放在一起讨论 .为了便于进行过程定义 ,本文剖析了开发过程的一般特... CMM要求软件组织的软件过程标准化 .不同的项目有不同的需求 ,允许对标准过程进行裁剪来适合一个特定的项目 .裁剪被错综复杂地联系到过程定义上 ,必须把过程定义与裁剪放在一起讨论 .为了便于进行过程定义 ,本文剖析了开发过程的一般特性 。 展开更多

关键词 CMM 软件开发过程 过程裁剪 软件质量保障平台 软件工程

在线阅读 下载PDF 职称材料

基于CMM的软件质量保障平台定义框架 被引量：6

10

作者 殷新春 严芬 +1 位作者 汤克明 陈堎 《小型微型计算机系统》 CSCD 北大核心 2002年第11期1302-1305,共4页

随着计算机软件产业的形成和发展 ,软件质量保证受到越来越多的重视 .于是 ,一种专门针对软件开发组织的软件质量保证模型 CMM逐渐成为研究热点 .本文介绍了 CMM的思想 ,提出了基于 CMM的软件质量保障平台定义框架 ,最后给出了基于定义... 随着计算机软件产业的形成和发展 ,软件质量保证受到越来越多的重视 .于是 ,一种专门针对软件开发组织的软件质量保证模型 CMM逐渐成为研究热点 .本文介绍了 CMM的思想 ,提出了基于 CMM的软件质量保障平台定义框架 ,最后给出了基于定义部分结果构筑的在分布式协同环境下实现的系统结构框图 . 展开更多

关键词 CMM 软件质量保障 软件开发组织 开发过程 成熟度模型

在线阅读 下载PDF 职称材料

活动流程查看器的研究与实现 被引量：2

11

作者 严芬 殷新春 陈崚 《计算机应用研究》 CSCD 北大核心 2002年第3期12-14,共3页

介绍了基于CMM和ISO 90 0 0族标准的分布式协同软件质量保障平台的工作过程和主要思想 。

关键词 软件质量保障 CMM ISO9000 软件开发过程 活动流程查看器

在线阅读 下载PDF 职称材料

工作流定义工具的Delphi实现技术 被引量：2

12

作者 严芬 殷新春 《计算机应用研究》 CSCD 北大核心 2004年第10期198-201,共4页

介绍了一个利用Delphi实现的工作流定义工具的功能,以及有关技术和算法。

关键词 工作流 流程定义 DELPHI 类 软件过程能力成熟度模型

在线阅读 下载PDF 职称材料

一个工作流定义工具的设计及实现 被引量：2

13

作者 严芬 殷新春 《计算机工程与应用》 CSCD 北大核心 2004年第15期110-113,共4页

该文介绍了一个适合于软件企业定义其项目开发流程的,基于图形方式的工作流定义工具的设计及实现。该工具是根据软件企业达到CMM三级标准的要求和对软件开发过程进行管理的一般思想来考虑的。

关键词 工作流 流程定义 CMM 项目过程定义标准过程 过程裁剪

在线阅读 下载PDF 职称材料

利用位序法求标准拉丁方算法 被引量：1

14

作者 汤克明 殷新春 陈崚 《计算机工程与应用》 CSCD 北大核心 2003年第20期107-109,共3页

文章根据排列与组合可计数的特点,给出了利用位序法求标准拉丁方的算法。在实现此算法时,构造了一套字符化的大整数运算系统,解决了随拉丁方阶数增大位序值剧增在计算机上无法表示或处理的问题。通过在分布式并行计算环境MPIBD中的实验... 文章根据排列与组合可计数的特点,给出了利用位序法求标准拉丁方的算法。在实现此算法时,构造了一套字符化的大整数运算系统,解决了随拉丁方阶数增大位序值剧增在计算机上无法表示或处理的问题。通过在分布式并行计算环境MPIBD中的实验,给出了所有4阶与5阶标准拉丁方。 展开更多

关键词 位序算法 拉丁方 标准拉丁方 分布式并行计算环境

在线阅读 下载PDF 职称材料

平面构成中的几种特殊变换方案的研究 被引量：1

15

作者 胡学龙 姜楠 《南京理工大学学报》 EI CAS CSCD 1998年第5期385-388,共4页

该文探讨和总结了在计算机辅助平面构成中的５种特殊变换：扇形变换、三角形变换、三角函数／三角波变换、调制变换、球面镜反射变换。这些特殊变换具有较高的实用价值，可供工业设计和工艺美术设计者选用。企业可以根据自己的实际需要... 该文探讨和总结了在计算机辅助平面构成中的５种特殊变换：扇形变换、三角形变换、三角函数／三角波变换、调制变换、球面镜反射变换。这些特殊变换具有较高的实用价值，可供工业设计和工艺美术设计者选用。企业可以根据自己的实际需要，在自己开发的构图软件中加以使用，以增强产品的竞争力。 展开更多

关键词 计算机图形学 平面构成 CAD 工业设计 图形变换

在线阅读 下载PDF 职称材料

Rosser公式对偶形的存在及推导

16

作者 邹姝稚 唐立中 《河海大学学报（自然科学版）》 CAS CSCD 2000年第3期99-102,共4页

G del定理是数理逻辑发展中的一个里程碑 ,但其最初表述并不完善 .Rosser公式克服了G del定理之不足 ,从而最终解决了形式数论系统的完备性 .本文深入分析了G del提出“ω无矛盾”的初衷和Rosser公式的构造思路 ,运用Rosser公式构造与... G del定理是数理逻辑发展中的一个里程碑 ,但其最初表述并不完善 .Rosser公式克服了G del定理之不足 ,从而最终解决了形式数论系统的完备性 .本文深入分析了G del提出“ω无矛盾”的初衷和Rosser公式的构造思路 ,运用Rosser公式构造与证明中所疏漏的信息 ,推导出了Rosser公式的对偶形式 ,并给出了与此相关的定理 .通过这一研究将深化人们对数学系统相容性、完备性的认识 . 展开更多

关键词 数理逻辑 元数学 相容性 Rosser公式 对偶形

在线阅读 下载PDF 职称材料

对Wirth一个不变式的修正

17

作者 邹姝稚 《河海大学学报（自然科学版）》 CAS CSCD 2000年第6期111-114,共4页

Wirth在《算法 +数据结构 =程序》一书中关于“对半检索”程序中给出了一个不变式 ,但该不变式是不完善的 .本文对此予以了修正 ,并通过一系列定理及其证明进行了完整的论证 .在论证过程中 ,也揭示出程序作为一种对象 ,其整体的一些性... Wirth在《算法 +数据结构 =程序》一书中关于“对半检索”程序中给出了一个不变式 ,但该不变式是不完善的 .本文对此予以了修正 ,并通过一系列定理及其证明进行了完整的论证 .在论证过程中 ,也揭示出程序作为一种对象 ,其整体的一些性质 .程序的这些特性 ,在一般测试时未必能被认识 .因而程序中的“不变式”及对“不变式”的论证 。 展开更多

关键词 对半检索 不变式 程序正确性 《算法+数据结构=程序》

在线阅读 下载PDF 职称材料