公平转换系统规范及其应用*

本文讨论了用于并发系统规范的2种方法；时序逻辑方法和状态自动机方法．由此，本文提出了一种新的规范形式——公平转换系统规范FTSS(fair transition system specification)．此规范方法集成了状态自动机方法和时序逻辑方法的优点，改进了时序逻辑方法通常较复杂、不易理解，特别是它不能用于描述并发系统的局部性质等不足．进一步对FTSS中的每一部分进行了讨论，得到结论；FTSS是机器封闭的，规范过程是相容的且是完全的．一个有丢失传输协议的例子表明作者的方法具有简单、直观、易于理解和便于使用等特点．最后给出了FTSS的一些应用．它为程序验证和并发系统的逐步求精提供了一个统一的框架，已成功地应用于程序验证中．     

连接三大陆的海底光缆

连接三大陆的海底光缆投资财团ＦＬＡＧ有限公司已把一项１２亿美元合同的主要份额授予ＡＴ＆ＴＳｕｂｍａｒｉｎｅＳｙｓｔｅｍｓ公司（ＡＴ＆Ｔ－ＳＳＩ），以敷设世界上最长的海底光缆系统。ＦＬＡＧ是Ｆｉｂｅｒ－ＯＰｔｉｃＬｉｎｋＡｒｏｕｎｄｔｈｅＧｌｏｂｅ的缩...     

FTAM网络软件的设计与实现

ＦＴＡＭ（ＦｉｌｅＴｒａｎｓｆｅｒ，ＡｃｅｓｓａｎｄＭａｎａｇｅｍｅｎｔ）是ＯＳＩ网络环境下的文件传输、访问及管理协议标准。本文首先论述了ＦＴＡＭ的基本工作原理，然后介绍ＦＴＳ文件传输系统的总体设计思想，ＶＦＳ的构造原理，以及系统实现技术。     

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

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

Super－Object模型：在分布存储器多计算机上实现共享存储器程序设计模式

Ｓｕｐｅｒ－Ｏｂｊｅｃｔ模型提出了一种新的方法，在分布存储器多计算机上实现语言级虚拟共享存储器以支持共享存储器通信模式．Ｓｕｐｅｒ－Ｏｂｊｅｃｔ模型引入新的概念ｓｕｐｅｒ－ｏｂｊｅｃｔ，不同于其它模型，基于ｓｕｐｅｒ－ｏｂｊｅｃｔ，它提出了新的共享数据定位方法，全局地址标识（ｎａｍｅ，ｏｆｆ－ｓｅｔ）．Ｓｕｐｅｒ－Ｏｂｊｅｃｔ模型与Ｆｏｒｔｒａｎ７７结合，我们实现了一个运行时间系统和库调用，支持程序员使用Ｆｏｒｔｒａｎ语言编写并行程序，最后介绍了系统的实现和取得的性能．     

自动FFT处理器设计

当前ＦＦＴ（ＦａｓｔＦｏｕｒｉｅｒＴｒａｎｓｆｏｒｍｓ）可以利用ＤＳＰｓ或微处理器以软件方式实现，也可用专用器件及通用的ＶＬＳＩ来获得高效能的ＦＦＴ。对于后者，主要的问题是资金开销、设计风险以及设计时间。本文介绍了用可编程逻辑器件自动实现ＦＦＴ处理器的设计工具，并介绍其设计方法与应用。     

Scandisk磁盘维护程序的应用

本文简要介绍了ＭＳ－ＤＯＳ６．０操作系统提供的ＳｃａｎＤｉｓｋ系统程序，如何对磁盘的文件分区表ＦＡＴ，目录结构，文件系统以及磁盘表面物理结构分析诊断，修复功能以及在使用中应注意的问题。     

关于并行FFT算法

关于并行ＦＦＴ算法魏公毅，蔡中善（中国科学院计算中心）ＯＮＰＡＲＡＬＬＥＬＦＦＴＡＬＧＯＲＩＴＨＭＳ￥ＷｅｉＧｏｎｇ－ｙｉ；ＣａｉＺｈｏｎｇ－ｓｈａｎ（ＣｏｍｐｕｔｉｎｇＣｅｎｔｅｒ．ＡｃａｄｅｍｉａＳｉｎｉｃａ）Ａｂｓｔｒａｃｔ：Ｔｈｅｐａｒａｌｌ...     

自适应模糊逻辑控制在直流调速系统中的应用

自适应模糊逻辑控制在直流调速系统中的应用郑红，高金泰ＴｈｅＡｐｐｌｉｃａｔｉｏｎｏｆＳｅｌｆ－ＡｄａｐｔｉｖｅＦｕｚｚｙＬｏｇｉｃａｌＣｏｎｔｒｏｌｉｎＤ．ＣＳｐｅｅｄＣｏｎｔｒｏｌＳｙｓｔｅｍ￥ＺｈｅｎｇＨｏｎｇ；ＧａｏＪｉｎｔａｉ１引言由于Ｆｕｚ...     

一个统一的程序验证框架

本文提出了一个简单的方法，其中程序和其性质都由一个逻辑：时序逻辑中的公式表示．文中给出了一个程序的转换模块的定义，提出了时序执行语义的概念．它是一个时序公式，精确地说明了一个程序．将时序逻辑作为规范语言，程序正确性就意味着说明程序的公式蕴含说明性质的公式，其中蕴含即为一般的逻辑蕴含．因此，本文的方法为并发程序的规范及验证提供了一个统一的框架．它允许充分利用现有的用于证明并发系统时序性质的各种完全证明系统．一个缓冲系统的简单例子用来说明本文的方法．此例子表明本文的方法是可行的.     

TCP／IP协议的通信程序设计

本文主要是在ＴＣＰ／ＩＰ协议下，从事基于Ｗｉｎｄｏｗｓ系统的客户端和基于Ｕｎｉｘ数据库服务器端利用Ｓｏｃｋｅｔ实现通信程序设计，讨论重复服务器的设计，并发服务器的设计，服务器通信程序和客户通信程序的设计。     

电脑文摘

电脑文摘９４０１１用ＰＣ－ＡＴ按口卡实现ＦＤＤＩ双联站∥Ｍｉｃｒｏｐｒｏ－ｃｅｓｓｏｒｓａｎｄＭｉｃｒｏｓｙｓｔｅｍｓ．—１９９３，１７（２）．—１０１～１０７介绍用ｐｃ－ＡＴ接口卡实现ＦＤＤＩ双联站的设计方法。研究采用的是供ＭＡＣ和ＰＨＹ控制器用的...     

EasyPack/S 8052F仿真器

ＥａｓｙＰａｃｋ／Ｓ ８０５２Ｆ仿真器是ＭＩＣＥＴＥＫ公司在Ｅａｓｙ－Ｐａｃｋ ８０５２Ｆ基础之上开发的新一代产品。 ＥａｓｙＰａｃｋ／Ｓ８０５２Ｆ仿真器继续支持８０５１系列的处理器,并在此基础上扩展了Ｂａｎｋ Ｓｗｉｔｃｈ功能。每个Ｂａｎｋ为６４ＫＢ,最多可将程序区扩大到２５６ＫＢ。其比较数据如表１所示。ＩＥａｓｘＰａｃｋ／Ｓ ８０５２Ｆ主模块 ＥａｓｙＰａｃｋ和ＥａｓｖＰａｃｋ／Ｓ主模块适用Ｂ前所有的ＥａｓｙＰａｃｋ ＩＣＥ ｃａｂｌｅ仿真头。主模块包括仿真控制模块（分别为ＥＣＢｌｌＳＡ－８０５２或…     

命题时态逻辑的分划式扩充

在ＰＴＬ（ｐｒｏｐｏｓｉｔｉｏｎａｌ ｔｅｍｐｏｒａｌ ｌｏｇｉｃ）上加入一个Ｕ算子的自然拓广－２分划算子，便导出了Ｗｏｌｐｅｒ－Ｖａｒｄｉ－Ｓｉｓｔｌａ之ＥＴＬ（ｅｘｔｅｎｄ ＰＴＬ）的一个完全的子逻辑，它有更简洁的语法及公理系统、更好地判定算法等，是研究有限状态并发程序的一种理想的规范语言。     

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

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

VSS在集体开发MIS中的应用

本文分析了Ｖｉｓｕａｌ ＳｏｕｒｃｅＳａｆｅ功能,讨论了在Ｖｉｓｕａｌ ＦｏｘＰｒｏ环境下,利用Ｖｉｓｕａｌ ＳｏｕｒｃｅＳａｆｅ实现了ＭＩＳ系统的项目,文件,数据库和类库的集体开发的方法。     

INTERFERENCE CHECKING IN COMPUTER-AIDED PLANT DESIGN SYSTEM

ＩＮＴＥＲＦＥＲＥＮＣＥＣＨＥＣＫＩＮＧＩＮＣＯＭＰＵＴＥＲ－ＡＩＤＥＤＰＬＡＮＴＤＥＳＩＧＮＳＹＳＴＥＭＷａｎｇＦｅｎｇＺｈａｏＨｏｎｇＮｉｕＪｕｎｙｕＡｂｓｔｒａｃｔＩｎｔｈｉｓｐａｐｅｒ，ｔｈｅｉｎｔｅｒｆｅｒｅｎｃｅｃｈｅｃｋｉｎｇｏｆｔｈｒ...     

带时间参数布尔函数的符号表示及其在计算电路时间延迟中的应用

本文提出了一种形式表示带时间参数布尔函数（Ｔｉｍｅｄ Ｂｏｏｌｅａｎ Ｆｕｎｃｔｉｎｏ或ＴＢＦ）的新方法－－－带时间参数的二叉判定图（Ｔｉｍｅｄ Ｂｉｎａｒｙ Ｄｅｃｉｓｉｏｎ Ｄｉａｇｒａｍ或ＴＢＤＤ），并将其应用于电路时间延迟的准确计算。ＴＢＤＤ是传统而尔函数的符号表示－－－有序二叉判定图（ＯＢＤＤ）的扩展，可以统一地描述电路的逻辑功能和时间特征。由于采用了有效的压缩和节点共享策略，在典型的应     

A FEATURE－BASED PRODUCT MODELLING SYSTEM ON PC （CASE STUDY OF PARTS DESIGN FOR PRESS MACHINE）

ＡＦＥＡＴＵＲＥ－ＢＡＳＥＤＰＲＯＤＵＣＴＭＯＤＥＬＬＩＮＧＳＹＳＴＥＭＯＮＰＣ（ＣＡＳＥＳＴＵＤＹＯＦＰＡＲＴＳＤＥＳＩＧＮＦＯＲＰＲＥＳＳＭＡＣＨＩＮＥ）ＹｏｎａｓＨａｇｏｓ；ＴｏｎｇＢｉｎｇｓｈｕＡｂｓｔｒａｃｔ：Ｔｈｉｓａｒｔｉｃｌｅｒｅｐｏ...     

基于遗传算法的多机多阶段的Flow Shop问题

讨论了多阶段多机的Ｆｌｏｗ Ｓｈｏｐ问题（Ｆｌｏｗ Ｓｈｏｐ ｗｉｔｈ Ｍｕｌｔｉｐｌｅ Ｐｒｏｃｅｓｓｏｒｓ总是），问题的目标是使工件的提前／拖期总成本最小。这是一个ＮＰ－难题。为此，首先给出了问题的数学模型，然后构造了一个有效的遗传算法。在本文的最后给出了实验结果和结论。