控制传布图及其算法

本文引入控制传布图概念和求控制传布图算法,旨在实现从数据流图导出结构图的半自动化.这种图表示以所指定的主加工集合为控制源所引起的控制传布关系.它不是结构图,但它是结构图的雏形.只要从数据流图导出这种控制传布图,再由它导出结构图就比较容易了.     

控制传布图到结构图的转换算法

控制传布图是介于数据流图和结构图之间的图形工具,是实现从数据流图到结构图转换的中间产物。本文详细讨论了如何从控制传布图转换为结构图,给出了转换算法,从而,该算法与文[4]所提出的控制传布图算法一起完成了数据流图到初始结构图的半自动转换。     

从数据流图导出结构图

本文着重讨论从数据流图导出分层结构图的分层转換算法应该遵守的一般原则,给出了实现转換算法的若干策略和方法。从而把分析阶段的SA方法和设计阶段的HSD方法有机地结合起来。     

NP完全问题及有关的理论研究

当代计算机科学理论中,有一个有名的尚未解决的难题,叫作“P=NP”问题。从七十年代初期开始,发现了许多具体的问题,包括逻辑演算、图论、规划论等领域中的组合问题,它们都彼此等价;只要有一个得到解决,P=NP 问题就可得到解决。这就是所谓的 NP 完全问题。这篇文章是有关这个问题研究现状的一个综述。曾在去年长春“计算机科学署期讨论会”上宣读过,受到好评。这次发表,作者又作了一些修改。     

语义Web在Web服务中的应用

在分析了现有的Web服务标准和语义Web的基础上，介绍了一种把二者结合起来的语义Web服务（SwS）。它可以实现在不需要人的参与下，Web服务的自动发现、自动调用和自动组合。对于语义Web服务的开发有3种方法，文中重点介绍了实现SWS的一种基于本体的面向代理的OWL—S开发方法。     

目标驱动的软件测试度量方法研究

文中根据GSQM软件度量思想和相关软件度量理论结合软件测试过程的特殊性要求，提出基于目标驱动的软件测试度量方法（GSTM）。在度量信息需求的基础上主要研究了适合于软件测试度量的基本度量方法、派生度量方法和设计指示器的方法。文中是专门针对软件测试度量进行的研究，与传统的软件度量理论相比较，具有很强的针对性、实用性和可操作性。     

一种基于分类和预测技术的产品成本估算系统研究与应用

应用分类和预测技术对机械产品设计数据库进行数据挖掘,针对各种部件影响成本的关键因素建立了基于判定树的产品成本预测模型,并与专家系统相结合,通过数据挖掘来调整专家系统的规则库,从而使专家系统规则不仅可以来自专家经验的总结,而且可以来自对以往产品数据的挖掘,拓宽了知识获取的途径,提高了知识获取的效率.最后给出了一个基于分类和预测技术的产品成本评估系统的框架.