基于次态卡诺图的J、K激励函数最小化方法及时序逻辑电路自启动设计

分析了JK触发器的激励函数和次态函数的关系并在卡诺图上建立二者的联系,提出了在触发器的次态卡诺图上直接求解最小化J、K激励函数的方法,讨论了无效状态的赋值问题及自启动设计方法,对简化时序逻辑电路的设计过程具有实用意义.     

电性拓扑状态指数用于多氯联苯醚环境分配性质的QSPR研究

根据分子中的原子类型特征,计算了多氯联苯醚(PCDEs,包括联苯醚)所有210种可能分子结构的电性拓扑状态指数,并与其中107种PCDEs的环境分配性质蒸汽压(PL0)、辛醇/水分配系数(KOW)、水溶解度(Sw)建立了定量结构-性质相关(QSPR)模型,相关系数分别为0.9918,0.9915,0.9789,其计算值和实验值接近,优于文献结果.用Jackknife法检验了模型的稳健性,并对其余103种没有实验数据的PCDEs的性质进行了预测.结果表明,这些模型可以解释PCDEs环境分配性质的递变规律.     

抑制冗余优先编码器的逻辑设计

基于低功耗设计的要求,对传统设计的俦编码器中的冗余现象加以研究,利用冗余抑制技术重构基于门级设计优先编码器电路结构,该优先编码器经PSPICE模拟验证具有正确的逻辑功能,并且被证明它能达到降低功耗的目的。     

关于n-phantom-态射和n-Ext-phantom-态射的刻画

设n为正整数,讨论了模的短正合序列以及拉回图中态射的n-phantom性与n-Ext-phantom性。对正整数m?(m>n),研究了Tor_n-单态射与Tor_m-单态射以及Extⁿ-满态射与Ext^m-满态射之间的关系;研究了Tor_n-单态射（Extⁿ-满态射）与其示性态射之间的关系。     

氨态氮、亚硝态氮对罗氏沼虾血细及超微结构的影响

氨态氮和亚硝态氮是虾类养殖环境中最主要的外来和自身污染物.在1 mg/L非离子氨态氮和1 mg/L亚硝态氮的作用条件下,罗氏沼虾总血细胞计数均有减少,且亚硝态氮的短期作用大于氨态氮;透射电镜观察结果表明,在氨态氮和亚硝态氮作用前后,罗氏沼虾血细胞超微结构发生改变,透明细胞、半颗粒细胞和颗粒细胞这三种血细胞的粗面内质网、核糖体和线粒体数量减少,其中以氨态氮作用引起的血细胞超微结构的变化幅度较大.这说明1 mg/L的非离子氨态氮和亚硝态氮对罗氏沼虾总血细胞计数和超微结构具有显著的影响.     

基于冗余多线程的体系结构级容错措施的研究与发展

在总结各种体系结构级容错措施的技术特点以及目前的研究现状和发展趋势的基础上,论述了冗余多线程(RMT)体系结构研究的时代背景、典型架构设计方法和存在的问题,以及今后研究的方向和发展趋势.提出了今后应该从资源分配和线程调度的角度对RMT进行研究,提升其整体处理能力,包括:提高RMT的容错能力;降低容错运行所需要的软、硬件代价;以及提高资源利用的效率和公平性,缓解多线程并行对资源需求的巨大压力.     

氨态氮、亚硝态氮对罗氏沼虾免疫相关酶类的影响

氨态氮和亚硝态氮是虾类养殖环境中最主要的污染物.在1 mg/L非离子氨态氮和1 mg/L亚硝态氮的作用条件下,罗氏沼虾血清、肝胰腺和肌肉中的酚氧化酶、超氧化物歧化酶、碱性磷酸酶及酸性磷酸酶活力变化不同,经1、4、7及10天处理后,血清和肌肉酚氧化酶活力均有所降低,而肝胰腺的酚氧化酶活力则略有增高;各组织中的超氧化物歧化酶活力基本变化过程为,先增高后降低;各组织的两种磷酸酶活力则有不同程度的增高.酚氧化酶与超氧化物歧化酶活性可作为判断虾类免疫抗病能力的指标,而两种磷酸酶活性则仅可作辅助参数.     

氨态氮、亚硝态氮对罗氏沼虾免疫相关酶类的影响

氨态氮和亚硝态氮是虾类养殖环境中最主要的污染物. 在1 mg/L 非离子氨态氮和1 mg/L 亚硝态氮的作用条件下, 罗氏沼虾血清、肝胰腺和肌肉中的酚氧化酶、超氧化物歧化酶、碱性磷酸酶及酸性磷酸酶活力变化不同, 经1、4、7 及10 天处理后, 血清和肌肉酚氧化酶活力均有所降低, 而肝胰腺的酚氧化酶活力则略有增高;各组织中的超氧化物歧化酶活力基本变化过程为, 先增高后降低;各组织的两种磷酸酶活力则有不同程度的增高. 酚氧化酶与超氧化物歧化酶活性可作为判断虾类免疫抗病能力的指标, 而两种磷酸酶活性则仅可作辅助参数.     

冗余抑制的硬件实现及作用过程分析

基于低功耗设计的要求,本文对数字系统中冗余现象的普遍性进行分析,研究了实施冗余抑制功能的各种基本结构,并进行了抑制作用的时间分析,这些均为在电路的低功耗设计中有效地应用冗余抑制技术提供了研究基础。     

交通分配模型的仿射尺度内点解法

将路段无容董限制和路段有容量限制两类问题统一为形式一致的非线性规划问题，通过改进后的仿射尺度算法求解，给出了算法的实现过程，并通过一个实际交通分配问题算例，证明了算法是有效的、可行的，为解决平衡交通分配问题提供了简捷的求解方法。     

一种功控状态保持低功耗C单元设计

提出了一种新的具有状态保持功能的功控低功耗C单元, 该C单元采用高阈值NMOS管作为功控开关, 以减小C单元休眠期间的漏功耗, 并利用交叉耦合的高阈值反相器构成数据保持单元, 保持电路休眠状态时的数据. 版图后仿真结果表明: 该C单元具有正确的逻辑功能, 与传统弱反馈C单元相比, 其漏功耗下降86.6%, 动态功耗下降7.6%, 可在基于功控技术的低功耗异步电路设计中应用.     

一种新的分析和检查需求模型

由于ＳＣＲ（ＳｏｆｔｗａｒｅＣｏｓｔＲｅｄｕｃｔｉｏｎ）是较实用的定义软件系统需求的方法，以此方法为基础，提出一个形式化的分析和检查需求的模型．此分析和检查模型主要根据综合知识表示模型的一些基本原理，使用状态转换规则、语义计算规则和属性来形式化地描述ＳＣＲ中表格符号的语义，并通过执行规则来自动分析由ＳＣＲ定义的需求．为便于理解，给出了一个简单的实例来介绍如何分析和检查基于ＳＣＲ的需求的一致性和完整性．     

基于次态卡诺图的移位寄存器型计数器的自启动设计

分析了移位寄存器型计数器工作时的状态转换过程,提出了移位寄存器型计数器的设计可在保持右移移位寄存器内部结构不变的基础上,只求解第1位触发器激励函数的设计方法.分析了触发器次态函数与激励函数的关系,提出了在次态函数卡诺图上进行激励函数最小化求解与检查无效状态所赋次态值及逻辑修改同步进行的移位寄存器型计数器自启动设计方法.     

线性电压扫描下1VIIS器件瞬态的简单模型

本文用准平衡模型分析讨论了线性电压扫描下MIS器件的I/V瞬态.文中除了给出一般的处理方法以外，还给出了几种不同电压扫描率下I/Y特性的计算结果，并与已往的模型作了比较.     

AlB2的状态方程

在用ＬＭＴＯ方法计算ＡｌＢ_２的电子结构及其高压下变化的基础上,计算了Ｈ（ｘ）函数．计算表明ｌｎＨ（ｘ）与１－ｘ有很好的线性关系,说明有混合键型的化合物ＡｌＢ_２符合Ｖｉｎｅｔ等人提出的固体普适状态方程（ＵＥＯＳ）,并对等温压强与体积关系进行了计算．     

天然气水合物的研究和固态输送

天然气作为一种新的能源，越来越受到人们关注．天然气水合物作为天然气储运的新方法，比液化天然气具有可靠、安全、费用低的优势．本文就天然气水合物的生成条件以及水合物运输所具有的优势条件进行了介绍．     

Sr原子5snd1D2 Rydberg态的多重电离阈

对Ｓｒ原子５ｓｎｄ１Ｄ２（ｎ＝２２～２７）,｜ｍ｜＝０,１,２各Ｒｙｄｂｅｒｇ态的场电离阈作了实验测定和理论计算．讨论了原子场电离过程中的能级Ｓｔａｒｋ位移,电离的绝热或非绝热路径以及环境热辐射等因素对场电离可能产生影响     

k元de Bruijn-Good图的1-因子图与分配多面体图

本文首先修正了文献[2]中的定义1.2,然后给出了由κ元(?)级 de Bruijn-Good图的1-因子构成的变换图的结构,得到了它与分配多面体图(graph of assign-ment polytope)的关系,从而得知它具有一些好的性质.     

Sr原子5snd1D?Rydberg态的多重电离阈

对Sr原子5snd1D?(n=22～27),｜m｜=0,1,2各Rydberg态的场电离阈作了实验测定和理论计算．讨论了原子场电离过程中的能级Stark位移,电离的绝热或非绝热路径以及环境热辐射等因素对场电离可能产生影响．