基于移动Agent的软件度量研究

结合软件度量理论对移动Agent的属性进行度量,通过对属性的不同定义来寻找影响移动Agent软件质量的因素。发展了面向对象、面向Agent的软件度量,提出面向移动Agent的软件度量方法,针对不同属性值的定义进行数据收集,采用统计比较分析的方法进行推理和决策,开发新的度e量模型。     

数学实验课的研究与认识

对数学实验这门课程的起源、目的、意义和作用做了明确的阐述。并对课程的内容和教法做了深入的讨论研究,建议数学实验课应该建设成为一门大学数学的技术基础课。     

AutoCAD中三维深沟球轴承的参数化设计

由于AutoCAD中没有专门绘制三维深沟球轴承命令,因此采用二次开发的方法可迅速绘制所需的三维轴承.该方法采用V isual LISP语言编制程序进行二次开发AutoCAD三维深沟球轴承绘制方法的功能,为AutoCAD新增绘制三维深沟球轴承功能的命令,使得在进行机械产品三维CAD时,绘制三维深沟球轴承更为方便,提高三维设计的绘图工作效率.     

力促CMM体系有效运转提高上海市软件企业质量管理水平

CMM认证体系的有效运转，要政府指导、中介实施，同时还要企业“意识”的配合。其最终促进的是软件企业质量管理水平的提高，对于各方而言，无疑会是一个“共赢”的大好结局。[编者按]     

Implementing Operating System Support for Extended Trusted Path in TPM-Capable Environments

Trusted path is one of the crucial features that operating systems must provide for fundamental security support. In order to explore the possibility of implementing a trusted path mechanism with the support of trusted platform module （TPM） technologies, and to support TPM capabilities in operating systems, the paper extended the scope of the conventional trusted path to cover the situation in which a user communicates with software residing on a remote host. The paper combined the concept of operating system support for trusted path with that for TPM platforms, and proposed the architecture of an extended trusted path mechanism in operating system with considerations on TPM-capable platforms support. As part of the author＇s research in secure operating systems, the work of the paper was carried out with Linux as an experimental prototype system. The research result shows that TPM capabilities can strengthen extended trusted path mechanisms of operating systems.     

浅谈软件开发中的复用技术

软件复用是在软件开发中避免重复劳动的解决方法。软件复用,被视为解决软件危机,提高软件生产效率和质量的现实可行的途径。同时,随着面向对象技术出现,为软件复用提供了基本的技术支持。使软件复用得以发展,提高软件开发效率和质量。     

改进的多版本软件扩展表决系统

本文提出了一种改进的扩展表决系统，该系统是利用自动分析表决系统可靠性等参数的工具来构建的。在软件容错中采用N模块冗余(N Modular Redundancy NMR)及N版本编程(N version Programming)，应用表决技术，可以屏蔽整个软件系统中出错的部分。在实践中直接应用理论的表决模型会发现很难得到理论分析的结果。针对这样的问题，本文提出一种基于多数(plurality)的扩展表决系统：使用构造决策树的方法和进行DFT遍历作为自动化的计算工具；通过对基本的多数表决系统进行模型扩展，加入指导性规则对决策树进行重构，以自动计算工具的结果作为参考，从而选择更加可靠的表决结果作为输出。最终的模拟测试表明，所提出的扩展表决系统能够提高系统输出的正确率。     

求解电力系统潮流方程全部解的LINGO方法

针对现有电力系统潮流方程全部实数解求解方法的不足,提出了一种用LINGO10.0软件求出全部解的方法。该方法是用LINGO10.0求出一个解后,将该解作为一个约束,使新解与该解不同,直至求出全部解。该方法简单、实用,为潮流方程全部解求解提供了全新的方法。     

弦线波振动实验的一种新的数据处理方法

运用Origin软件对弦线波振动实验的数据进行线性拟合与作图,并与传统的最小二乘法进行数据处理结果进行比较,以验证Origin软件对弦线波振动实验数据处理的可行性.实验表明,通过Origin软件拟合的结果与所作图形均与传统的最小二乘法进行数据处理结果相吻合.利用Origin软件处理数据与作图,简洁、快速、直观、精确,可以在教学过程中应用.     

1：10000数字线画图生产流程的探讨

以张家界市桑植县1:1万数字线画图(DLC)的生产为例,探讨了在中小型项目中应用Geoway数据加工平台进行DLC生产的加工流程、质量控制等问题,取得了一定的经验,为测绘部门和相关工作者提供参考。