一种从数据流图转换成软件结构图的方法

本文从对数据流图特点的分析和对模块结构图的特点分析并结合数据流图和结构图的关系,提出了一种新的数据流图转换成结构图的方法——添加边界节点法,并将添加的节点作为结构图的第二层,作为数据流传递的间接接口。根据这一原则,在计算机上实现了数据流图到结构图的转换。     

模块结构图自动生成算法

本文论述了从数据流程图(DFD)到模块结构图(MSC)自动转换的两个主要算法,提出了用于中间转换的有向控制图的概念.利用所给定的算法,首先把DFD图转换成有向控制图,然后再把有向控制图转换成MSC图,从而实现MSC图的自动生成.     

用动态模糊聚类方法实现数据流图向结构图的择优转换

以内聚耦合准则为基础．在常规数据流图转换为结构图的设计方法中引入模糊聚类思想．把静态相似矩阵与动态模糊聚类方法相结合．进行数据流图向程序结构图的择优转换．避免了常规设计方法中因多种因素变化而涉及的大量重复的组合和运算工作．     

基于UML的静态类图和ALSD实现建模与编码的统一的方法

统一建模语言UML(Unify Modeling Language)是面向对象软件建模的国际标准，但是UML中缺乏对过程的可视化静态建模部分。抽象逻辑结构图ALSD(Abstract Logical Structure Diagrams)是过程建模的有效表示工具。本文以程序代码的生成为目标，以UML的静态类图和ALSD为基础，结合UML的静态类图与ALSD，探讨了有关的代码生成机制，设计和实现了一个软件开发环境。它填补了类图中方法的可视化描述，实现建模和编码的有机统一，使整个程序的设计完全可视化。     

数据流图编辑器的设计与实现

数据流图是软件需求分析阶段十分有用的图形化工具，在面向ＭＩＳ的ＣＡＳＥ的环境的开发与研究中，数据流图编辑器的设计与实现是其中一项主要内容。本文介绍了数据流图编辑器的各种处理技术，并给出了编辑器系统的框架，该系统采用ＢＯＬＡＮＤＣ＾＃编程实现。     

基于知识的SA／SD智能转换系统KBSDT

本系统把人工智能技术引入ＣＡＳＥ工具研制，采用超文本模型管理文档，具体实现了数据流图到结构图的知识库设计和智能转换，能在很少人工干预下完成软件开发中ＳＡ／ＳＤ高效转换。     

程序到二级控制图转换工具的研制

二级控制图可很清楚地反映程序的模块间及模块内的逻辑控制关系,它是静态分析非常有用的辅助工具.本文详细描述了从COBOL程序到二级控制图的转换工具TTPCD(Tool for Transformation from Program in to Two LevelControl Diagram)实现原理、技术和功能,并指出该工具进一步发展的前景。     

数据流图描述语言的研究与设计

数据流图是软件设计开发过程中概念模型设计的重要图形表示法，作为一种需求分析的通用方法它直观而且简洁。文章对数据流图设计一个形式化描述语言，并给出示例说明此语言的使用，将图示的数据流图以语言的方式进行描述。用该语言可对用户需求进行语义描述，以此获取用户需求的知识。研究的目的既给用户提供易于理解需求分析的方法也为下一步的逻辑设计提供依据。     

一种确认控制的形式化方法

提出了一种基于事务的确认控制形式化方法.该方法在数据流图的基础上引入了数据流事务的概念,通过施加控制数据流规则和FSM语法,将数据流事务转换为FSM事务,消除了数据流图的歧义性;同时,将有限状态机作为FSM事务的控制原语,使事务的控制部分得以形式化,从而可实现确认控制自动化     

可视程序设计语言在CASE工具中的应用

从可视程序设计语言角度设计出了一个计算机辅助软件工程工具－数据结构图,并给出了该图的语法。     

多质点一步转移反应浓度对数图数学模型的应用

以实例详细讨论了多质点一步转移反应浓度对数图的作法,及不对称系数为2的不对称多质点一步转移反应浓度对数图的作法应用于重铬酸钾及其滴定体系。     

一种构造Hasse图的高效算法

目前在国内外的文献上,关于Hasse图的构造方法都是基于纯粹的数学矩阵变换方法,而非计算机算法,其缺点是不论最好还是最坏情况,其时间复杂度都是0（n3）,进而无法为特殊情况作出优化。这里给出一种构造Hasse图的通用高效算法。该方法从计算机算法的角度对矩阵中单个元素进行计算,当矩阵中所需计算的元素较少时,算法的时间复杂度会相应的降低,在最好的情况下,时间复杂度将接近O(n2),而在最坏的情况下,时间复杂度仍保持在0（n3）。     

改进的窗图法优化液相色谱分离二茂铁乙酰甲酰基类衍生物的条件

本文建立了二茂铁乙酰甲酰基类衍生物在高效液相色谱中的保留值与流动相组成的函数关系．对优化液相色谱分离条件的窗图法进行了改进,解决了窗留法在优化液相色谱分离条件中无法程序化的问题,并且根据此优化系统建立了分离该组化合物的最佳流动相体系．     

基于Petri网和UML的流水作业调度模型设计及实现

为了对流水作业调度的行为提供支持,需要对其进行有效的建模和模型分析。Petri网具有坚实的理论基础和易于使用的图形表示,是一种理想的建模和分析工具。UML是一种易于编程实现的面向对象建模工具。针对UML和Petri网建模的特点,本文采用Petri网与UML相结合的建模分析方法,融合了Petri网精确、严格的形式化描述和UML友善的用户界面的优点。并提出了将Petri网转化为一种可以表示对象间的同步、并发的扩展状态图的方法。利用Petri网描述系统的动态特性,经过分析、验证或仿真后,通过提供的转化规则将Petri网模型转化成相应的UML动态图、扩展的状态图,对流水作业调度问题建模。利用动态规划算法解决满足Johnson法则的最优作业调度问题,并用Java实现。     

基于小波变换的雷达信号特征提取方法

基于小波变换,提出了一种提取雷达信号特征的方法。通过对雷达信号进行小波分解,设置门限,将小波变换系数转换为二进制,然后将二进制小波系数再转换为十进制,这样就得到了雷达信号的特征。通过目标识别实验,证明本文提出的方法是有效的。     

A high capacity steganographic method based on quantization table modification

For the traditional steganographic method of Jsteg,the emmbedment of secret message is completed by dividing cover-image into nonoverlapping blocks of 8×8 pixels,discrete cosine transform(DCT) transforming,and using the standard 8×8 quantization table to quantize.In this paper,a novel steganogra-phic method based on the JPEG quantization table modification is presented.Instead of dividing cover-image into 8×8 blocks,nonoverlapping blocks of 16×16 pixels is used.Both theoretical anlysis and experiment results show that the new methods has larger steganography capacity and better stego-image quality,compared with the method of Jsteg and Chang’s.     

球面波照射下实现非精确分数阶傅里叶变换

利用菲涅耳衍射知识对球面波照射下物平面和观察平面光场分布问的非精确分数傅里叶变换关系进行了定量的分析,并将其与精确傅里叶变换相比较,得出结论：观察平面上的强度分布是相同的,但复振幅分布存在相位差．定量的给出了球面波照射下实现任意阶非精确分数傅里叶变换时系统参数的选择定则．     

不同CAD系统间图形相互转换的研究与实现

为了实现不同CAD系统之间图形的相互转换,首先必须以形式上通用、但格式细节上有差别的IGES文件为依据。在各自系统中选一种系统支持的软件为工具,对原图形文件进行扫描检索,再生成对方系统所能接受的IGES格式的文件。然后,利用局网通讯协议传送后,在对方CAD系统的屏幕上重现。本文介绍了两种方法。一种方法是生成只包含直线项目的IGES文件。重现的图形与原图形状完全相同,但占存储空间较大,有时不能利用对方的编辑功能进行修改。另一种方法是生成以各类基本图形项目为基础的IGES文件。它可以克服上述不足之处。但必须预处理某些信息。所开发的软件是用于AutoCAD与TekniCAD系统之间的图形相互转换。其设计思想同样可以解决不同CAD系统之间相互转换。     

吉布斯自由能图在水溶液体系中的扩展

本文提出了一种用于水溶液热力学计算的图解法,并详细阐述了这种图解法的作图原理、用途和使用方法.这种图解法是对吉布斯图的一种发展.     

因果图转换为信度网的算法

动态因果图理论是在信度网基础上发展起来的一种不确定推理模型,两者在知识表达上存在一定的差别,但大体结构类似,在一定的条件下可以进行相互转换.从分析信度网与因果图的知识表达方式的异同入手,最后推导出一种将因果图模型转换为信度网模型的算法,主要从构成信度网模型的两大要素--拓朴结构和条件概率表两方面的生成算法进行了推导和阐述.