CRC计算方法的研究

本文丛面地介绍了ＣＲＣ的基本原理和计算方法，并给出了编程实例。     

Testing of multi-output circuits by means of signature analyzer

Let a circuit havem outputs,m>1. There are two ways to test this circuit by means of a signature analyzer: use a single input analyzer for each output or use anm-input analyzer to test all outputs simultaneously. The main goal of this letter is to demonstrate that for fault output sequences with small multiplicity of errors and long length the second approach is more effective.     

反应堆材料热物性数据库管理系统

衡量一个数据库的质量，不以要看其所包含的数据还应考虑数据库管理系统的使用功能。为了更有效地实施ＩＡＥＡ的ＣＲＰ（ＣｏｏｒｄｉｎａｔｅｄＲｅｓｅａｒｃｈＰｒｏｇｒａｍｍｅ）中有关建立反应堆材料热物性数据库的计划，并考虑到能使所收集的数据方便地为用户服务和进行广泛的国际交流，为此设计并编制了该数据库的软件管理系统ＴＰＳＹＳ。这个系统可在ＩＢＭ－ＰＣ（３８６，４８６）等兼容机上运行，采用人机对话、菜单提示、全屏幕操作。其主要功能有：数据库维护、数据检索、与大型计算程序ＭＡＴ－ＰＲＯ接口和与国际上现有的数据库ＴＨＥＲＳＹＳＴ接口。     

单片机控制泄漏电流测试仪

以8031单片机为核心的泄漏电流测试仪的硬件结构和软件设计。     

A Refinement Calculus for Shared-Variable Parallel and Distributed Programming

Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. Moreover, a large variety of very different parallel architectures exists. Porting an implementation from one machine to another may require substantial changes. This paper addresses some of these problems by developing a formal basis for the design of parallel programs in the form of a refinement calculus. The calculus allows the stepwise formal derivation of an abstract, low-level implementation from a trusted, high-level specification. The calculus thus helps structuring and documenting the development process. Portability is increased, because the introduction of a machine-dependent feature can be located in the refinement tree. Development efforts above this point in the tree are independent of that feature and are thus reusable. Moreover, the discovery of new, possibly more efficient solutions is facilitated. Last but not least, programs are correct by construction, which obviates the need for difficult debugging. Our programming/specification notation supports fair parallelism, shared-variable and message-passing concurrency, local variables and channels. The calculus rests on a compositional trace semantics that treats shared-variable and message-passing concurrency uniformly. The refinement relation combines a context-sensitive notion of trace inclusion and assumption-commitment reasoning to achieve compositionality. The calculus straddles both concurrency paradigms, that is, a shared-variable program can be refined into a distributed, message-passing program and vice versa. Received July 2001 / Accepted in revised form May 2002     

Running programs backwards: The logical inversion of imperative computation

Imperative programs can be inverted directly from their forward-directed program code with the use of logical inference. The relational semantics of imperative computations treats programs as logical relations over the observable state of the environment, which is taken to be the state of the variables in memory. Program relations denote both forward and backward computations, and the direction of the computation depends upon the instantiation pattern of arguments in the relation. This view of inversion has practical applications when the relational semantics is treated as a logic program. Depending on the logic programming inference scheme used, execution of this relational program can compute the inverse of the imperative program. A number of nontrivial imperative computations can be inverted with minimal logic programming tools.     

二阶A型Cooper变换的增强型

对二阶Ａ型Ｃｏｏｐｅｒ变换进行增强，放宽可用性条件，并证明了其正确性，最后举例说明其应用。     

峒室爆破CAD设计方法研究

本文对峒室爆破断面布药计算机辅助设计参数驱动方法进行了探讨围绕断面布药主要参数的变化，提出一种基于参数驱动的计算机辅助设计方法，利用ｗｉｎｄｏｗｓ操作系统下的动态数据交换特性，对断面布药进行布药参数优化，实现了交互调整布药，形成一套断面布的计算机软件，为工程爆破设计实现计算机提供了一种可行的方法。     

离散Hopfield神经网络和联想记忆的开关电流技术实现

研究了离散Ｈｏｐｆｉｅｌｄ神经网络（ＤＨＮＮ）和联想记忆神经网络的开关电流技术实现，利用多权输入跨导，开关电流延迟器（ＳＩＤ）和可编程电流比较器（ＰＣＣ）实现了离散Ｈｏｐｉｅｌｄ神经网络，并提出了利用离散Ｈｏｐｆｉｅｌｄ神经网络实现自联想记忆时相应的开关电流电路，所提出了开关电流神经网络适宜于超大规模集成，能在低电压（如３．３Ｖ）下工作。     

MS—Windows3.1下应用程序间数据交换方法及其选用策略

本文分析讨论了在ＭＳ－Ｗｉｎｄｏｗｓ操作系统下的应用程序间的数据交换的概念及方法，并给出了这些方法的选用策略。这些方法包括裁剪板，动态数据交换（ＤＤＥ），对象的连接及嵌入（ＯＬＥ），动态连接库（ＤＬＬ）。