XYZ／CFC与XYZ／PAD：图形—文本程序设计环境

ＸＹＺ系统是一个ＣＡＳＥ工具系统，它的核心是一个时序逻辑语言ＸＹＺ／Ｅ．ＸＹＺ／Ｅ有一基本的表示状态转换的低级形式ＸＹＺ／ＢＥ（或用于表示并发的ＸＹＺ／ＣＥ）及一个结构化的高级形式ＸＹＺ／ＳＥ。它们均有其相应的图形表示，ＸＹＺ／ＣＦＣ与ＸＹＺ／ＰＡＤ是分别以ＸＹＺ／ＢＥ（或ＸＹＺ／ＣＥ）及ＸＹＺ／ＳＥ用逐步求精方法进行程序设计的交互式的图形环境，每步均可由图形程序自动生成时序逻辑形式的程序。     

一种实现程序结构化转换的交互式图形工具*

本文介绍交互式图形工具XYZ/BESE，它能将任意时序逻辑语言XYZ/E的子语言XYZ/BE表示的程序转换成结构化程序．如以XYZ/BE作为中间语言，并将这工具与XYZ与系统中源语言转换系统XYZ/CCSS结合起来，即可将任意其它源语盲的程序转换成为结构化程序．本系统是用XYZ/E的交互式图形设计工具XYZ/CFC实现的。结构化转换过程用图形表示，可增加其直观性，使这变换易于理解．     

XYZ／CFC与XYZ／PAD：图形一文本程序设计环境

ＸＹＺ系统是一个ＣＡＳＥ工具系统．它的核心是一个时序逻辑语言ＸＹＺ／Ｅ．ＸＹＺ／Ｅ有一基本的表示状态转换的低级形式ＸＹＺ／ＢＥ（或用于表示并发的ＸＹＺ／ＣＥ）及一个结构化的高级形式ＸＹＺ／ＳＥ．它们均有其相应的图形表示．ＸＹＺ／ＣＦＣ与ＸＹＺ／ＰＡＤ是分别以ＸＹＺ／ＢＥ（或ＸＹＺ／ＣＥ）及ＸＹＺ／ＳＥ用逐步求精方法进行程序设计的交互式的图形环境．每步均可由图形程序自动生成时序逻辑形式的程序．     

XYZ系统在电信领域中的应用

最近几年，在软件工程界内部有一种趋势，这就是开发以面向具体领域的ＣＡＳＥ环境．作为这样的一种ＣＡＳＥ工具，ＸＹＺ系统是由一时序逻辑语言ＸＹＺ／Ｅ和一组基于该语言的工具集构成．在ＸＹＺ系统中有很多的工具，它们被用来满足不同的需要．众所周知，ＳＤＬ（ｓｐｅｃｉｆｉｃａｔｉｏｎａｎｄｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）是电信领域中的一个国际标准语言，而且有关基于该语言的环境已在开发，但是有关该语言的验证工作，特别是利用有关时序逻辑语言进行验证的工作还不多．作为一种尝试，本文将利用ＸＹＺ系统中的一个子系统ＸＹＺ／ＶＥＲＩ，对ＳＤＬ所描述的有关电信领域中的例子进行验证．     

一种面向软件工程的时序逻辑语言

ＸＹＺ系统由时序逻辑语言ＸＹＺ／Ｅ及一组基于该语言的ＣＡＳＥ工具集组成．ＸＹＺ／Ｅ语言的目的是欲使逐步求精，描述及验证、快速原型等一些软件工程方法更加有效．特别地，它还能表示实时通信进程中的动态成分．在统一的框架下，不仅能表示不同层次的抽象描述，而且能表示普通高级语言的各种重要性质．本文是关于这一时序逻辑语言最新、最完整的介绍．     

用XYZ／E语言描述和验证硬件的行为

本文考虑用时态逻辑语言ＸＹＺ／Ｅ描述硬件行为的可行性．作为实例，用ＸＹＺ／Ｅ语言描述了一个基于微处理器的容错计算机系统，这种描述可以在ＸＹＺ系统上执行，从而可对系统进行模拟．特别有意义的是利用ＸＹＺ／ＶＥＲＩ验证子系统对所期望的性质进行了形式化证明．本文还将ＸＹＺ／Ｅ描述与相应的ＶＨＤＬ（ＶＨＳＩＣｈａｒｄｗａｒｅｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）描述进行了比较．从中可以看出时态逻辑语言的描述具有其独特的优点.     

XYZ系统在动画设计中的应用

ＸＹＺ系统是一套以线形时序逻辑为基础的ＣＡＳＥ环境系统，其核心是时序逻辑语言ＸＹＺ／Ｅ．ＸＹＺ／ＡＤＬ（ａｎｉｍａｔｉｏｎｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）是ＸＹＺ系统在动画领域的应用．马华东博士采用基于时序逻辑的动画描述模型ＴＬＡＤ（ｔｅｍｐｏｒａｌ－ｌｏｇｉｃ－ｂａｓｅｄａｎｉｍａｔｉｏｎｄｅｓｃｒｉｐｔｉｏｎｍｏｄｅｌ），提出了动画剧本描述语言（ＳＤＬ／Ａ）．本文介绍的ＸＹＺ／ＡＤＬ语言是以ＸＹＺ／Ｅ的框架为基础扩充ＳＤＬ／Ａ而成．它使用ＸＹＺ／Ｅ中面向对象程序设计的基本结构——代理机构（Ａｇｅｎｔ）作为基本描述单元．代理机构由通讯进程和相应的包块构成，包块处理对象封装，进程处理通讯．从而能更方便地刻画动画过程中的复杂、多层次的角色（包括父子角色）的运动特征及多角色之间的同步协调关系，并且在统一的逻辑框架下实现了计算机动画中运动对象的行为抽象和运动的抽象描述，更具一般性．     

压铸模设计专家系统的实现

本文介绍压铸模设计专家系统ＹＺＭＥＳ．该系统是模块化结构，将ＣＡＤ与ＥＳ相结合，采用“框架＋规则”管理知识．其逆向推理机可以处理具有任意复杂分叉的与或推理树，其专家系统功能模块具有通用性．该系统人机界面良好，具有汉化下拉式菜单、用户接口保护、屏幕图形提示、可显示推理路径等特点．该系统以２８６以上微机、ＤＯＳ３．１０以上、ＣＣＤＯＳ４．０以上版本作为硬软件环境，以设计结果数据文件与图形系统接口．该系统全部程序用Ｃ语言（ＴＵＲＢＯＣ２．０Ｖ）编写．     

用C语言开发FOXBASE^＋的图形功能

用Ｃ语言开发ＦＯＸＢＡＳＥ￣＋的图形功能北京经济学院耿磊一、问题的提出目前，ＦＯＸＢＡＳＥ＋在国内比较流行，但是，由于它自身内部没有提供任何的图形功能，使得开发较高质量的系统受到很大限制。在高级语言中．如：ＴＵＲＢＯＣ、ＰＡＳＣＡＬ等都提供了功能非常...     

XYZ／SE程序的验证

ＸＹＺ／Ｅ的好处之一在于高级和低级的说明能够在同一框架下表示，因而使得软件的说明和实现变得容易一些．在这同时，开发验证工具以验证不同层次的说明是否满足所期望的关系是很重要的．谢洪亮等同志曾研究过ＸＹＺ／ＳＥ程序的验证规则．本篇文章增加了有关使用数组、过程说明和过程调用的规则．同时着重说明ＸＹＺ／ＳＥ程序验证的自动化方面的问题，且实现了一些化简验证条件的规则．     

彩色屏幕图形存取的汇编语言实现

本文在认真地分析了ＥＧＡ／ＶＧＡ图形控制器工作原理的基础上，编制了在图形方式下，屏幕保存和恢复的汇编语言程序，该程序经在ＴＵＲＢＯＣ，ＦＯＸＢＡＳＥ－ＰＬＵＳ和ＣＣＤＯＳ运行的各种语言环境下直接调用，效果良好。     

计算机图形管理系统的设计与实现

微机辅助绘图ＧＡＧＤ已进入普及阶段，但尚缺乏对计算机图形有效管理的方法和工具。本文提出了一种合理管理计算机图形的设计方法，并用ＴｕｒｂｏＣ和ＦＯＸＢＡＳＥ语言加以实现，目前本系统已成功地应用到实际中。     

电气成套装置3维设计系统的研究及实现

本文以ＡｕｔｏＣＡＤＲ１２／Ｗｉｎ为平台，以ＢｏｒｌａｎｄＣ＋＋４．０为工具，完成了电气成套装置３维设计系统ＥＬＥ３ＤＣＡＤ。它利用ＡｕｔｏＣＡＤＳＱＬ的程序接口ＡＳＩ，把Ｆｏｘｐｒｏ／Ｗｉｎ编制成的外部数据库与ＡｕｔｏＣＡＤ的图形数据库联系起来。ＥＬＥ３ＤＣＡＤ基于ＡｕｔｏＣＡＤＡＭＥ，是一种实体造型的３维设计系统。该系统可得到任意角度的视图和任意多个剖切平面下的剖视图，可对电气元件进行空间碰撞检测和电气碰撞检则。     

简易实用的中文菜单设计

简易实用的中文菜单设计胡道坤安徽省电力试验研究所（２３００２２）现在使用ＦＯＸＢＡＳＥ和Ｃ语言设计的中文菜单已屡见不鲜，许多书上多有介绍。但ＦＯＸＢＡＳＥ菜单的缺点是不能离开ＦＯＸＢＡＳＥ环境，并且运行速度很慢。而Ｃ语言所编中文菜单大多使用计算机图形...     

UNIX环境下非图形终端上数据全屏幕编辑通用软件的设计方法与实现

文章讲述了在ＩＢＭＲＩＳＣ／６０００ＡＩＸＶ３．２．５环境下利用ＣＵＲＳＥＳ库、Ｃ语言的指针机制和函数递归调用，开发非图形终端（ＨＴ－３８２）上通用数据全屏幕编辑软件的方法与实现。     

一个面向CAD／CAM的演绎数据库管理系统

演绎数据库管理系统ＤＥＤＢＭＳ是工程数据库管理系统ＥＤＢＭＳ／２中的一个子系统。本文着重介绍其产生式语言用户界面、工作流程及功能特点。ＤＥＤＢＭＳ系统的开发，使ＥＤＢＭＳ／２不仅具有工程数据据管理功能，而且具有数据演绎和知识处理能力，从而成为ＣＡＤ／ＣＡＭ系统集成化和智能化的有力支撑工具。     

XBASE数据库文件与ORACLE之间的数据交换

本文介绍了Ｆｏｘｂａｓｅ、Ｆｏｘｐｒｏ等ＸＢＡＳＥ数据库中的数据文件同ＯＲＡＣＬＥ之间数据交换的方法。首先介绍如何使用ＳＱＬ＊ＵＬＯＡＤＥＲ将ＸＢＡＳＥ数据库的数据转储到ＯＲＡＣＬＥ数据库中。由于ＯＲＡＣＬＥ没有提供将ＯＲＡＣＬＥ数据库中的数据传储到ＸＢＡＳＥ数据库文件的工具，因此，本文然后给出了解决这一问题的方法。     

UNIX环境下非图形终端上数据全屏幕编辑通用软件的设计方法

文章讲述了在ＩＢＭＲＩＳＣ／６０００ＡＩＸＶ３．２．５环境下利用ＣＵＲＳＥＳ库、Ｃ语言的指针机制和函数递归调用、开发非图形终端上通用数据全屏幕编辑软件的方法与实现。     

不同数据库环境中数据互用问题的探讨

重点介绍了两种典型数据库ＤＢＡＳＥ／ＦＰＸ与ＯＲＡＣＬＥ之间的数据互用技术。这种互用技术需要网络和嵌入式ＳＱＬ的支持。这一技术可在国内众多的拥有ＤＢＡＳＥ／ＦＯＸ与ＯＲＡＣＥ的用户中推广使用，其应用可大大提高工效。事实上，本文所述方法对支持ＳＱＬ语言的任何ＲＤＢＭＳ产品都是适用的。     

一种产品数据的图形表达方法──EXPRESS-G

一、概述国际标准化组织制定的标准ＩＳＯ１０３０３产品数据的表达与交换是当前在ＣＡＤ领域中的重要的数据交换标准,标准的第１１部分是进行产品建模的基础：ＥＸＰＲＥＳＳ语言参考手册。在参考手册中提出了一种与ＥＸＰＲＥＳＳ语言相对应的产品模型图形描述方法：ＥＸＰＲＥＳＳ－Ｇ,在标准中称为“ＥＸＰＲＥＳＳ语言的图形子集”。该表达方法支持ＥＸＰＲＥＳＳ语言的一个子集。ＥＸＰＲＥＳＳ—Ｇ的特点是用图形的方法描述概念和概念之间的关系,所以它对于理解用ＥＸＰＲＥＳＳ语言写出的数据模型有非常大的帮助。这个方法自成体…