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

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

数学实验课的研究与认识

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

力促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.     

基于时间轴小波变换的运动对象分割算法研究

对时间轴一维小波变换的视频运动对象分割算法进行了研究。将视频序列进行时间轴一维小波变换，利用变换后的高频帧信息提取出初步的运动掩模图像；进行数学形态学后处理，以消除各种噪声的影响和对象的不连通性，得到理想的运动掩模图像。实验结果表明该方法分割效果较好，分割出的运动对象可直接应用于基于对象的视频编码，且算法耗时较少。     

基于数字水印的经典图像认证算法分析

图像认证是近几年发展起来的新技术，目前主要有2种用于图像认证的技术：基于数字签名的图像认证和基于数字水印的图像认证技术。主要针对基于数字水印的图像认证算法分类详细介绍了几种经典算法，对这几种算法各自的优缺点作出比较分析，最后对未来算法的研究工作做出了展望。     

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

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

一种基于小波提升变换的多尺度边缘提取算法

提出了一种基于小波提升变换的改进图像边缘的检测算法.本算法首先对源图像进行小波提升分解,然后分别对高、低频子图像进行边缘提取.对于低频信息使用Canny算子进行边缘检测,而高频信息先用相邻尺度小波系数相乘的方法去除噪声,消噪后再对高频分量进行边缘检测.最后通过一定的融合规则进行融合,得到最终的边缘图像.实验结果表明,该方法具有运算速度快,能有效地抑制噪声,边缘检测精度高等特点,是一种有效的图像边缘提取算法.     

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

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

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

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