可视程序设计环境的研究——JT—VPE系统的设计与实现

可视程序设计（ＶｉｓｕａｌＰｒｏｇｒａｍｍｉｎｇ）允许用户使用图形或图表来创建和调试程序，目的在于减少人与计算机交流的障碍，改变系统的软件开发模型以解决需求分析这一瓶颈问题，它可能成为软件开发的新的有效模型，文中探讨了可视语言产生的背景，阐述了程序可视化技术的基本原理及研究现状，最后，比较详细地介绍了一个可视程序设计环境ＪＴ－ＶＰＥ的设计和实现。     

可视程序设计及其认知意义

传统的程序设计以一维文本表示法为基础，迎合了现行的串行机器的内部表示法，但不易于使用．可视程序设计是一种新的程序设计范型，为用户以二维或多维方式描述和表现程序提供各种环境和工具。可视程序设计主要沿着两个方向发展：可视环境和可视语言．本文试图对可视程序设计作一综述，并从视觉思维、意象表达、人类表达工具等方面讨论它的认知意义和发展前景，还简介了笔者设计实现的一个Ｐａｓｃａｌ程序可视执行环境原型．     

用面向对象方法实现基于图符的数据和知识可视接口

提出了综合多种知识表示模式特点的图符对象知识模型，并将该模型用于实现图符可视接口．给出了基于图符可视接口的程序运行模式，用面向对象方法设计并实现了图符可视接口设计系统，该系统的目标是生成应用程序的接口代码，提出的图符可视接口的特点是便于用户直接操纵应用系统，有较高的智能化程度     

用面向对象方法实现基于图符的数据和知识可视接口

提出了综合多种知识表示模式特点的图符对象知识模型，并将该模型用于实现图符可视接口，给出了基于图符可视接口的程序运行模式。用面向对象方法设计并实现了图符可视接口设计系统，该系统的目标是生成应用程序的接口代码，提出的图符可视接口的特点是便于用户直接操纵应用系统，有较好的智能化程度。     

可视的软件过程描述语言的研究与实现

讨论了用可视语言描述软件过程的问题，定义了一种可视的软件过程描述语言，提出了一种从软件过程模型自动推导个体视图的方法，设计了建立模型、推导和执行个体视图的支持系统。     

CASL语言可视化运行平台的研究与设计

随着可视化技术的不断发展,越来越多的程序设计语言和集成开发环境采用可视化技术,但是它们基本上只是采用了可视化编程,在软件开发阶段进行可视化,并未采用可视化动态运行程序,为此,我们进行了程序可视化运行的相关研究,设计出一个实现CASL语言可视化运行的平台.     

CASL语言可视化运行平台的研究与设计

随着可视化技术的不断发展,越来越多的程序设计语言和集成开发环境采用可视化技术,但是它们基本上只是采用了可视化编程,在软件开发阶段进行可视化,并未采用可视化动态运行程序,为此,我们进行了程序可视化运行的相关研究,设计出一个实现CASL语言可视化运行的平台。     

基于语义网络方法的三维可视人中医知识库

一个内涵丰富的解剖图谱应该同时包括清晰的图像模型与对应的知识库模型．针对三维可视人中医知识库的设计,从智能对象模型、语义网络结构的知识表示体系、中医学概念的显示方式和针灸临床知识的扩充多个方面进行了研究,探讨了腧穴和相关人体解剖结构间关系的组织形式．借助智能对象网络模型的中医知识库,实现了能表现多重医学知识的三维可视人体图谱．     

自适应菜单生成程序的设计思想及实现方法

ＶｉｓｕａｌＦｏｘＰｒｏ在其它方面已经提供了面向对象的编程方法，为软件开发提供了全新的手段，但在菜单制作上却没有多大进展．为此，笔者提出了一种设计“具有自适应能力的菜单生成程序”的基本方法，在ＶｉｓｕａｌＦｏｘＰｒｏ平台上，开发一种新的自动化编程器，使生成的菜单程序具有用户干预下的自完善能力，同时使整个操作过程更简洁．     

用可视工具sisotool设计电液伺服系统的补偿器

MATLAB6．0的控制系统工具箱提供了设计SISO系统补偿器的可视工具sisotool。本文提出了利用该工具设计电液伺服系统补偿器的方法，使补偿器的设计变得更加简便、直观，大大减少了设计的复杂性和重复性，提高了电液伺服系统的设计效率。     

可防止欺骗的可视密码分享方案

提出了一种可以检测出一个欺骗者的(k，n)门限的可视密码的定义和构造方法，并证明了其安全性．当存在一个欺骗者出示了假的分享时将导致秘密恢复失败，这种构造方法可以检测出谁是欺骗者，其特点如一般的可视密码分享方案．参与者手中只要保存一份分享图像，不需要额外的信息，并且检测欺骗者的过程只需要k次胶片叠加，体现了可视密码使用方便性的原则．     

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

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

Client／Server结构下分布式软件开发的工程化

分布式软件工程（ＤＳＥ）包括分布式软件开发的工程化和软件的分布式开发过程，文中偏重于前者，分别阐述了它的几个研究方向：分布式程序设计；分布式模型以及相关的说明和分析技术；分布式系统的设计．在此基础上，介绍了一个具体的分布式软件开发工具：Ｄｕｒｒａ，从而进一步说明了分布式系统的部件／交互作用的观点和新一代分布式软件开发的特点．     

一个基于AI产生式系统的软件开发新模型

在设计一个程序以前，应该完整地并且精确地说明要求解的问题．作为一个产品。软件相对于其形式规格说明来说应该是可靠和正确的．规格说明是程序变换方法的起点，程序变换方法保证了程序的正确性．本文给出了ＡＤＴＳＬ的简要描述，并提出了一个基于人工智能中的产生式系统的软件开发新模型．     

分布式LED大屏幕系统显示脚本模型

系统地研究了分布式LED大屏幕系统显示内容的表达、生成和存储技术，定义了分布式LED大屏幕系统显示脚本模型，给出了LED可视编辑技术的实现方案，探讨了信息在发布中心和发布终端分布存储策略问题．实际应用效果表明该模型有效地解决了分布式LED大屏幕系统显示内容柔性不足、编辑低效和管理困难等问题．     

用LabVIEW开发控制系统仿真程序

介绍了ＬａｂＶＩＥＷ软件开发环境的特点、ＬａｂＶＩＥＷ图形化软件系统的基本功能和编程方法．在此基础上较详细地叙述了在ＬａｂＶＩＥＷ环境下线性连续系统仿真程序的开发．     

基于源语言的过程行为实时可视技术设计与实现

给出基于源语言Visual Basic 6．0在线进行过程行为实时可视技术设计与实现原理，并提供应用实例。     

一种可视查询语言OSVQL的设计与实现

该文基于对象结构提出了一种可视查语言OSVQL,给出了其若干定义,讨论了OSVQL的设计思想与实现方法．     

可视信息建模及可视信息检索

介绍三种典型的可视信息建模方法，特别是逻辑图象建模方法；借用人机通信中轮廓与细节相分离的原理，提出轮廓与细节相分离的可视建模方法。最后给出了各种不同的可视信息检索方法。     

基于权重的可视分存方案研究

视密码学的可视分存方案仅关注权重相同的参与者,忽略了原图主次信息的区别,造成了方案应用的局限性．为解决该问题,构建更具适用性、一般性的可视分存方案,提出了一种基于一般存取结构的可视分存方案,并进行扩展,进一步提出了基于权重的可视分存方案．该方案生成的图像与原图相比几乎没有任何失真,适用于黑白、灰度、彩色等各类图像的秘密共享．