The Einstein relation in nanostructured materials: simplified theory and suggestion for experimental determination

An attempt is made to study the Einstein relation for the diffusivity–mobility ratio (DMR) in quantum wells (QWs) and quantum well wires (QWWs) of tetragonal compounds on the basis of a newly formulated electron energy spectrum taking into account the combined influences of the anisotropies in effective electron mass, the spin–orbit splitting, and the presence of crystal field splitting, respectively. The results for quantum-confined III–V compounds form a special case of our generalized analysis. The DMR has also been studied for QWs and QWWs of II–VI and IV–VI materials. Taking QWs and QWWs of CdGeAs₂, InAs, CdS and PbSe as examples, it was found that the DMR increases with increasing carrier statistics and decreasing film thickness respectively in various oscillatory manners emphasizing the influence of dimensional quantizations and the energy band constants in different cases. An experimental method of determining the DMR in nanostructures with arbitrary dispersion laws has also been suggested and the present simplified analysis is in agreement with the suggested relationship. The well-known results for nanostructures with parabolic energy bands have also been obtained as special cases from this generalized analysis under certain limiting conditions.     

极大代数意义下幂矩阵的周期性特征

在分析一类离散事件动态系统的运行周期性及稳定性时,必须求解极大代数意义下矩阵的特征值。这一直被认为是十分困难的工作。直至目前为止,尚无一种能确定任一方阵全部特征值及特征向量的简易方法。本文对极大代数意义下任一方阵的幂矩阵的周期性特征进行了深入分析。本文的结果为寻求计算特征值及特征向量的新算法提供了十分有效的途径。     

P、V操作的新探讨

P、V操作的概念以及使用在操作系统中非常重要、这里从一些新颖的角度来分析P、V操作，用P、V操作来实现进程的同步与互斥以及一种简单易行的逻辑关系则可以解决P操作嵌套时的执行次序。     

质子和中子的单粒子效应等效性实验研究

通过实验方法确定了高能质子和中子引起的单粒子效应等效关系，实验中采用金箔散射法降低了质子束流强度，并利用热释光剂量计（TLD）进行质子注量的监测，采用新研制的存储器长线实时监测系统，进行了64K位至4M位的SRAM器件单粒子效应实验，确定了两种粒子引起单粒子效应等效关系。     

Locked discrete event systems: How to model and how to unlock

To model qualitative aspects of discrete event systems, i.e., the order of the events is of sole importance, we use a triple consisting of the set of all possible events (the alphabet), the set of all behavior (possible strings of events), and the set of all tasks (completed behavior). We use this view to model synchronous as well as asynchronous connection of systems. Moreover, it is easy to define notions like deadlock and livelock in this view. We give a method to construct a second system that, in connection with the original system, gets rid of its deadlock and/or livelock. A state-space representation is introduced. In this representation computations can be done effectively.     

具有面向对象特征的知识库系统

本文讨论了具有面向对象特征的知识库系统KBASE~ 的数据模型、语言及实现。KBASE~ 的数据模型可以方便地支持对象标识、类层次、多继承等面向对象概念。描述性查询语言KBL是DATALOG针对于非一范式关系模型的扩充。本文重构了KBL的语义理论框架,提出了通过计算相关类的下确界来解决属性继承中的冲突问题,通过在KBL程序中添加规则来实现实例继承的方案,本文说明了KBL程序可以转换成语义等价的DATALOG程序,描述了这种转换的基本思想,探索了知识库和面向对象数据库有机结合的可行途径。     

离散事件动态系统的代数模型及其控制器的分析计算

本文在离散事件动态系统的Ｐｅｔｒｉ网图形描述的基础上建立了相应的代数模型，该模型可以用来计算无竞争无回路Ｐｅｔｒｉ网的“最大状态”；该“最大状态”的计算在本文给出的动态反馈控制器中得到了应用。     

扩展有限递归进程模型

主要讨论离散事件动态系统的建模问题。由ＫＩｎａｎ和ＰＶａｒａｉｙａ提出的有限递归进程（ＦＲＰ）是描述并发离散事件动态系统的有力工具，但在其ＦＲＰ中，没有定义对数据变量的操作和条件转移算子。本文扩展ＦＲＰ包括这两方面内容。最后举例说明扩展ＦＲＰ的描述能力。     

CAD^2B—一个计算机辅助数据库设计系统

本文介绍了一个用Ｔｕｒｂｏ Ｃ语言在ＡＳＴ－２８６机器上实现的计算机辅助数据库设计系统ＣＡＤ＾２Ｂ。该系统提供了人机交互的环境，供设计者进行概念模型设计，并自动完成从概念模型逻辑模型的映射，创建满足规范化要求的关系表。该系统采用的概念模型是引入了事件和时间的扩展了的实体关系模型。该模型既能充分反映应用环境的静态和动态语义，又是向关系模式转化的基础。