计算机科学若干概念的元数学刻划

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

CMM实践中的分布式软件工程管理框架

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

用Lorentz协变量计算辐射压力

由能量动量守恒的四维表达式导出了光压的普遍关系式 .计算论证了对于“云”状宇宙物阳光的辐射压力大于万有引力 ,给出了部分“Mathematica”软件系统表达式 .可广泛用于计算介质中的张力 .

CMM实践中的软件开发过程与过程裁剪

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

基于XML的工作流定义语言的研究

提出了一个基于 XML的工作流定义语言 (XWFDL) .此语言具有简单、自定义的优点 .使用此语言使得工作流过程定义转换变得容易、简单 。

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

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

ISO9001与CMM的比较研究

对 ISO90 0 1质量体系与能力成熟度模型 ( Capability Maturity Model,CMM)进行比较研究 ,得出结论 :对软件企业而言 ,这两种用于质量保证的模式都可行 ,但应不断完善 ,使它们相互结合 ,相互补充 .同时 ,还给出了作者开发的基于 ISO 90 0 1与

字符化大整数运算系统的构造与实现

大型数值运算常会遇到溢出或精度不够的问题 .该文提出一种字符化大整数运算的方法 ,构造了一套字符化大整数运算系统 ,并分析了算法的性能 .

基于神经网络的非线性系统的间接自适应控制

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

活动流程查看器的研究与实现

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

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

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

数据库技术在现代应用中的发展

随着现代应用领域的不断涌现 ,传统的数据库技术已不能满足现代应用的需求。本文给出了现代应用的一个范围 ,并分析了现代应用的复杂性、动态性、时间性、主动性、可靠性等特点 ,在此基础上讨论了数据库技术在现代应用中发展。最后 。

工作流定义工具的Delphi实现技术

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

一个工作流定义工具的设计及实现

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

一类MIMO非线性系统的自适应模糊滑模控制

研究了一类具有未知常数控制增益的 MIMO非线性系统的自适应模糊控制问题 .基于滑模控制原理 ,利用 型模糊系统的逼近能力 ,提出了一种分散自适应模糊滑模控制器设计的新方案 .通过理论分析 ,证明了闭环控制系统是全局稳定的 。

利用位序法求标准拉丁方算法

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

并行程序设计中的消息传递机制

阐述了在分布式存储的并行计算机系统上基于消息传递的并行程序设计技术 ,讨论了域分解和功能分解的方法 ,并以 MPI为例简要介绍了消息传递接口 .

基于多层神经网络的鲁棒自适应控制

针对一类不确定非线性动态系统 ,基于一种修改的 Lyapunov函数 ,并利用多层神经网络系统( MNNs)的逼近能力 ,提出了一种鲁棒自适应神经网络控制器的设计方案 .该方案不仅能够保证闭环系统的所有信号有界 ,而且可保证闭环系统的跟踪误差渐近收敛到零 .

平面构成中的几种特殊变换方案的研究

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

Web智能信息检索体系结构的研究

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