UML 2．0状态图的XYZ/E时序逻辑语义研究

UML2.0状态图适合于描述软件体系结构中组件内部的动态行为及组件端口的行为,但UML2.0状态图的语义不够精确,使得它的描述结果不利于进行进一步的分析和验证。基于此,本文在定义UML 2.0状态图的语法的基础上,给出了UML 2.0状态图的XYZ/E时序逻辑语义,为使用UML 2.0状态图与XYZ/E相结合的方式来描述软件体系结构中组件内部的动态行为及组件端口的行为奠定了基础。     

异步时序逻辑电路的分析与探讨

用一个8421BCD码表示的十进制异步减法计数器的实例,说明各触发器状态方程的表达式,并用状态表、状态图表明其逻辑功能。     

基于状态变量法的AWG软件设计与实现

基于状态变量法构建任意波形发生器软件框架,解决仪器软面板中触摸按钮的复用问题,详细介绍了系统状态图和状态表的设计及开发流程,给出了关键源代码.该方法优化了设计,使软件框架与具体功能相互分离,易于实现,便于升级.     

PLD逻辑电路设计的CAD方法

介绍了可编程逻辑器件PLD在逻辑电路设计中的开发流程;论述了时序电路设计中状态最小化CAD方法,它能够依据原始状态表和初始化数据,自动完成状态最小化;实现逻辑图设计;为PLD的推广应用和新型状态机FSM的研制提供了方便。     

随机系统输出反馈控制中信息状态推导的一种新方法

研究了部分可观测随机系统在风险灵敏度指标下的最优输出反馈控制问题．通过引入信息状态概念来获得输出反馈控制律,对于状态和输出(测量)噪声带有一般相关系数的随机系统,推导求得了其显式的信息状态表达式。     

用矩阵方法分析同步时序电路

提出一种新的同步时序电路的分析方法。该方法引入输入矩阵、次态矩阵等概念，通过矩阵之问的运算求出状态转换图，为计算机辅助分析逻辑电路提供了一条简捷的途径。     

一种保险箱暗码锁控制线路的设计

用门电路和D触发器设计了一个保险箱暗码锁控制线路,并对其设计思路、设计方法和设计过程进行了全面详细地介绍。在设计时序线路时,要根据题目画出其框图和状态图,从而建立原始状态表,画框图和状态图没有系统的方法,完全靠设计者的经验和技巧,靠设计者在充分理解和消化具体设计题目的基础上的丰富想象力和智慧。     

由m序列生成非线性序列的C语言实现

对m序列线性移位寄存器的状态图进行状态重组可以得到一类非线性移位寄存器的状态图,从而获得一类非线性伪随机序列。本文首先将生成非线性伪随机序列的条件演绎成严谨的数学语言,然后将移位寄存器的状态表看成二维数组,给出了在C语言环境下生成m序列并进行状态重组生成非线性伪随机序列的编程方法,用这种方法可以生成大量的非线性伪随机序列。     

一种保险箱暗码锁控制线路的设计

用门电路和D触发器设计了一个保险箱暗码锁控制线路，并对其设计思路、设计方法和设计过程进行了全面详细地介绍。在设计时序线路时，要根据题目画出其框图和状态图，从而建立原始状态表，画框图和状态图没有系统的方法，完全靠设计者的经验和技巧，靠设计者在充分理解和消化具体设计题目的基础上的丰富想象力和智慧。     

电平异步时序逻辑电路的险态

电平异步时序逻辑电路中的险态会造成电路的错误转换,必须设法消除。本文介绍电平异步时序电路中可能出现的组合险态和时序险态,分析其产生的原因以及识别和消除的方法。     

苝四甲酸二酐PTCDA分子基态和激发态的密度泛函理论

利用密度泛函理论研究了PTCDA分子,计算并讨论了PTCDA分子的稳定几何构型、电子结构与前线轨道能级、激发态能隙（HOMO-LOMOgap）,并对于基态与激发态的能级做了一定的比较。结果表明,PTCDA是一种平面分子,其吸收光谱集中在紫外波段,HOMO、LUMO能隙约为2．5eV。     

The state of the Universe

The past 20 years have seen dramatic advances in cosmology, mostly driven by observations from new telescopes and detectors. These instruments have allowed astronomers to map out the large-scale structure of the Universe and probe the very early stages of its evolution. We seem to have established the basic parameters describing the behaviour of our expanding Universe, thereby putting cosmology on a firm empirical footing. But the emerging 'standard' model leaves many details of galaxy formation still to be worked out, and new ideas are emerging that challenge the theoretical framework on which the structure of the Big Bang is based. There is still a great deal left to explore in cosmology.     

锕系元素基态与激发态性质的量子拓扑化学

在基态原子价壳层电子隐核图的基础上,将拓扑理论和量子化学方法相结合,引入价电子的主量子数、角量子数、自旋磁量子数以及价电子的轨道能量等结构参数,得到一个新的量子拓扑指数Ym.利用线性回归方法分别建立了锕系元素16种基态与激发态性质的定量结构-性质关系（QSPR）模型,采用留一法和Jackknife检验相结合的方法,对定量结构-性质相关模型的稳定性和预测能力进行检验.研究结果表明,用新的量子拓扑指数Ym能较好地表征锕系元素的分子结构信息,且所建模型具有良好的稳定性和预测能力.     

光子双模压缩真空态及其叠加态的非经典特性

在光子双模压缩真空态|ξ〉上增加m个光子构成光子双模压缩真空态a m|ξ〉,利用量子力学的态叠加原理,构造出光子双模压缩真空态的叠加态|ψ〉,并通过数值计算研究了叠加态|ψ〉的非经典特性.结果表明:在一定的条件下,叠加态|ψ〉的平均光子数呈现出崩塌与复原的振荡现象,而且亚泊松特性和位相压缩都比单个a m|ξ〉态的情况强.     

第一种非对称叠加态光场的等幂次N-Y测不准态

利用多模压缩态理论,研究了多模叠加态光场|ψ(ab)I〉q的广义非线性等幂次N次方Y压缩特性,结果发现:在一些特定的条件下,态|ψ(ab)I〉q恒处于等幂次N-Y测不准态,而不呈现等幂次N次方Y压缩效应。     

邻-三氮杂苯-水复合物基态与最低激发态氢键结构

用密度泛函理论方法B3LYP和从头算方法MP2分别对邻-三氮杂苯和水形成1：1复合物的基态氢键结构进行几何优化和性质计算,结果表明复合物之间存在较强的氢键作用.在CASSCF（12,9）/6-31G^＊＊水平上对邻-三氮杂苯-水1：1复合物最低单重（n,π＊）激发态氢键结构的计算显示在对称氮原子N1（或N3）上形成了一个单氢键.     

风吹雪跃移运动的稳态数值模型

给出了定常充分发展流场中风、雪粒相互耦合的运动方程 ,并用简化的雪粒 床面碰撞过程求解了方程 .计算结果表明 ,跃移雪粒对贴地风速有重要影响 ,Magnus效应对贴地风速、雪粒跃移轨迹也有显著影响     

Viewpoints on the proinflammation state of leukemia

Proinflammation represents a pathophysiological state on the early stage of a number of diseases, especially the infectious and immunological ones. In recent years, proinflammation has attracted much attention, and the term 損roinflammation factors?appears frequently in the literature. While investigating leukemia and leukemic cells from the angle of 損roinflammation state? we got some intriguing findings, e.g. we detected the significantly elevated expression of proinflammation factor IL-18 in patients with acute myeloid leukemia (AML), which could up-regulate matrix metalloproteinases (MMP) and specific tissue inhibitors (TIMPs). The increased MMP may play a role in the aggressiveness of myeloid leukemic cells, and be associated with a poor prognosis. This phenomenon reflects an ignored aspect of leukemia. Investigations from the angle of 損roinflammation state?have broaden the fields of tumor and leukemia study.