图视编程语言实用化的关键技术

图视编程语言是区别与普通文本编程语言的一种重要语言，其实用化的前景很大。本文着重从图视表达式、编程语言、编码以外的问题等三方面讨论图视编程中妨碍实用化的若干问题。     

用户接口管理系统UIGMS的图视编程环境

本文介绍了用户接口管理系统ＵＩＧＭＳ中图视编程环境的实现技术，介绍了它的设计思想、总体结构、特点等。     

图视编程技术的展望

本文较全面地总结了图视方程技术的历史和现状,尤其是作者所在的研究室的研究成果,对图视编程技术今后的发展动态进行了预测。     

图视化消息传递模型

本文提出了一种图视化的消息传递模型及其接口和弧类型的概念。在这个模型中，对象之间 消息传递与对象内部的运算相独立，程序员不仅可以快速地构造对象之间通过消息传递建立起来的联系，方便地修改重新配置这种联系，而且还可以集中精力于对象内部算法的构造。     

用户接口管理系统UIGMS的图视编程环境

本文介绍了用户接口管理系统ＵＩＧＭＳ中图视编程环境的实现技术，介绍了它的设计思想，总体结构，特点等。     

微机环境下的图视信息系统MVIS

目前微型机的性能十分可观,用户也相当普遍。微机本身快速的处理和高精度的显示已使高级图形处理走向实用。本文研究了在微型机一般环境下的图视信息系统 MVIS,并已在有 TVGA 卡的 AT286兼容机上实现。这是一个集图文处理于一体的综合性信息系统,现在正作为外壳应用到福建永安市土地资源评价的地理信息系统上。由于 MVIS 无特殊的硬件环境要求,故有很好的移值性和通用性,从而会有更广泛的应用。     

图视秘密的任意分布

在图视秘密分散存储（简称分存）中，任意分存方案可比一般的分存方案更有效地隐蔽秘密信息，因而有着重要的实用意义，本文在Ｓｈａｍｉｒ提出了图视码的基础上，明确出了任意分存的概念，并提出了根据（ｋ，ｎ）分存方案构造任意（ｋ，ｎ）分存方案的方法，此外，还给出由（ｋ，ｋ）分存方案构造任意（ｋ，ｋ）分存方案的简便方法，并证明了其有效性。     

UML语言的建模应用

统一建模语言（UML）是一个通用的可视化建模语言,用于对软件进行描述、可视化处理、构造和建立软件系统。UML适用于各种软件开发方法、软件生命周期的各个阶段、各种应用领域以及各种开发工具。UML标准并没有定义一种标准的开发过程,但它适用于迭代式的开发过程。它是为支持大部分现存的面向对象开发过程而设计的。     

图视秘密的任意分存

在图视秘密分散存储（简称分存）中，任意分存方案可比一般的分存方案更有效地隐蔽秘密信息，因而有着重要的实用意义．本文在Ｓｈａｍｉｒ提出的图机密码的基础上，明确给出了任意分存的概念，并提出了根据（ｋ，ｎ）分存方案构造任意（ｋ，ｎ）分存方案的方法，此外，还给出了由（ｋ，ｋ）分存方案构造任意（ｋ，ｋ）分存方案的简便方法，并证明了其有效性．     

基于改进键合图方法的层次机电系统的测试性建模与分析

现有层次化机电系统测试性建模与分析方法,存在着测试性参数值较小的缺陷,为了解决上述问题,提出基于改进键合图方法的层次化机电系统测试性建模与分析方法;引入改进键合图方法,将其有效的融合到贝叶斯网络中,以此为基础,搭建系统测试性模型,通过插值获取测试性参数;以搭建的系统测试性模型为工具,描述层次化机电系统结构,构建层次化机电系统键合图,检测并隔离层次化机电系统故障,实现了基于改进键合图方法的层次化机电系统测试性的建模与分析;通过实验结果显示:与现有的3种层次化机电系统测试性建模与分析方法相比较,提出的层次化机电系统测试性建模与分析方法极大地提升了测试性参数,充分说明所提方法具备更好的测试性效果。     

多层多视多体建模方法研究

仿真是一种基于模型的试验行为,从某种意义上,模型的正确和准确,决定了仿真的效率和质量。但一组好的模型的诞生,必须有一套正确的建模方法作支持。从这个角度讲,一种科学有效的建模方法比一组好的模型更重要。该文在归纳目前国内外仿真界较为流行的多种建模方法并进行对比分析的基础上,提出了多层多视多体建模的思想,并给出了该建模方法的具体应用过程。最后,采用该文方法,建立了一组仿真模型。     

软件图语言的形式描述

本文从语言学和形式化角度对软件领域中广泛使用的软件图进行了研究，提出了软件图语言这一概念。本文首先提出了关于软件图语言的一组基本概念，其次研究软件图语言的同态和同构，以构成软件图形式描述的基础；最后讨论了软件图语言的形式表示法，并提出了基于图符网的文法，使图文法更适合于表示软件图语言。本文工作可以作为设计面向软件图语言的软件工具的基础。     

文本检索的统计语言建模方法综述

统计语言建模技术（statistical language modeling,SLM）已逐渐成为当前语言信息处理的主流技术之一.近几年的研究和实验表明,SLM技术在文本检索领域有着广阔的发展前景和拓展空间.对基于SLM的文本检索方法（SLMTR）进行了综述,重点论述SLMTR的主要方法和关键技术.首先对查询似然检索模型进行形式化的描述;然后详细论述语言模型的估计和数据平滑问题;并讨论了平滑对检索性能的影响;之后简要介绍了对查询似然模型的一些主要的扩展和改进工作;最后的总结部分讨论了SLMTR所面临的一些挑战.     

HCDFG-II—面向C语言系统描述的控制/数据流图表示

介绍了基于C语言系统描述的面向软硬件划分的一种中间表示———层次化控制 /数据流图HCDFG II及其转换方法 HCDFG II根据C语言的特点对HCDFG进行了扩充 ,通过引入内存访问结点来表示和处理C程序中的数组及指针 ,通过定义并发结构来表示C程序中的可并发部分 同时 ,由于HCDFG II采用以控制流为主的结构 ,从C语言进行转换十分容易 这使得它能有效地作为C语言系统描述的中间表示 ,并为软硬件划分提供了更加精确的信息     

WPDL语言编译制导的工作流建模

业务流程重组(BPR)是90年代产生的一种新的管理思想,其本质特征在于对企业的业务流程进行彻底的重新设计,以期最终提高企业的经营效益。它是一种着眼于长远和全局,突出发展与合作的变革理念。工作流(Workflow)作为一种群体协同技术,是在计算操作层次上考虑组织中的工作个体,支持业务的信息库和知识库、支持个体间的信息传递、任务处理和协议达成,实现组织成员间的协同工作以期达到组织     

基于CSPN的图视化离散事件系统模拟支持环境

在离散事件模拟领域中存在着大量的模拟软件，但由于它们所采用的建模方式都不够形式化，缺乏统一的，简洁的模型描述方法，从而促使人们寻找新的更具有潜力的方法。本文提出了一个新的基于ＣＳＰＮ模型的离散事件模拟支持环境ＣＳＰＳＥ，对它的思想方法，系统设计以及实现技术进行了较为系统的阐述，显示出ＣＳＰＳＥ在离散事件模拟领域的广阔前景。     

HCDFG-Ⅱ-面向C语言系统描述的控制/数据流图表示

介绍了基于C语言系统描述的面向软硬件划分的一种中间表示——层次化控制／数据流图HCDFG—Ⅱ及其转换方法．HCDFG—Ⅱ根据C语言的特点对HCDFG进行了扩充,通过引入内存访问结点来表示和处理C程序中的数组及指针,通过定义并发结构来表示C程序中的可并发部分．同时,由于HCDFG—Ⅱ采用以控制流为主的结构,从c语言进行转换十分容易．这使得它能有效地作为C语言系统描述的中间表示,并为软硬件划分提供了更加精确的信息．     

武器系统的层次化、组合化建模方法

由于传统的武器系统仿真建模方法受到所使用理论的局限,无法满足武器系统层次化、组合化建模的要求,因此武器系统乃至装备体系的层次化、模块化、组合化建模研究,已成为武器系统建模与仿真研究的热点问题之一.该文在消化吸收美国Arizona大学Zeigler教授创立的建模与仿真理论成果的基础上,分析了系统分类的层次,给出了不同层次系统结构的一般表述,归纳了系统的原子模型和耦合模型的形式化描述,以及相互间的依存关系.给出了一个用于武器系统层次化、组合化建模的框架和思路.初步应用尝试表明,该方法有着较好的应用前景.     

系统建模方法比较及DFD图方法的改进

本文对比研究了几种不同的系统建模方法，认为ＩＤＥＦ方法适用于复杂系统的设计。针对采用ＩＤＥＦＩＸ方法建立的信息模型不能表达状态和操作信息的缺陷，作者提出了一种改进ＤＦＤ图方法，用以辅助描述信息的运动特性，该方法有助于解决从信息模型向程序设计过渡的困难。