异构计算系统的表调度式任务映射与调度算法

研究了在异构计算系统（ＨＣＳ）中利用表调度式算法进行任务映射与调度．给出两种异构静态优先级表调度式任务映射算法（ＨＳＰ和ＧＨＳＰ）,以及一种异构动态优先级表调度式任务映射算法（ＢＨＤＰ）．实验结果表明,ＧＨＳＰ算法对于粗中粒度ＤＡＧ的调度效果稍好于ＨＳＰ算法,而ＢＨＤＰ算法对于粗粒度和细粒度ＤＡＧ的调度效果均明显优于ＨＳＰ和ＧＨＳＰ算法．     

整机性逻辑图自动生成中某些问题的解决方法

该逻辑图自动生成系统是ＶＨＤＬ语言高级逻辑综合系统中的一个子系统，它从高级逻辑综合的结果提取出网表信息作为输入．文中针对系统实现中遇到的一些问题，提出了具体的解决办法．讨论了自动布局中的定级算法、反馈环的处理及自动布线中的轨道分配等问题．通过对实例的测试，给出了测试结果和验证结论．     

主动噪声抵消中初级传感器到次级声源间系统函数的辨识

提出了一种应用于主动噪声抵消系统中求解初级传感器到次级声源之间系统函数的辨识算法，简称ＰＳＩ，算法以频域最小二乘系统辨识算法为核心，首先根据实测数据用ＩＦＬＳ算法辨识出初级传感器到误差传感器之间的系统函数Ｈ，再根据实测数据用ＩＦＬＳ算法辨识出次级声源到误差传感器之间的系统函数Ｈ２，然后用模拟激励方法通过白噪声间接激发初级传感器到次级声源之间的各种模态；再次利用ＩＦＬＳ算法辨识初级传感器到次级声源之     

串行通信 HDLC/SDLC 规程之帧校验序列(FCS)及其软件生成

串行通信ＨＤＬＣ／ＳＤＬＣ规程之帧校验序列（ＦＣＳ）及其软件生成西安电子科技大学武岳山徐玉锁１引言ＨＤＬＣ为国际标准化组织ＩＳＯ制定的数据链路级通信规程，而ＳＤＬＣ则为ＩＢＭ公司的“同步数据链路控制”规程。ＨＤＬＣ和ＳＤＬＣ均为面向位的同步数据通信协...     

Verilog HDL语言RTL级描述的可综合性

所谓逻辑综合就是将较高抽象层次的描述自动转换到较低层次描述的一种方法。由于Ｖｅｒｉｌｏｇ ＨＤＬ（Ｖｅｒｉｌｏｇ Ｈａｒｄｗａｒｅ Ｄｅｓｃｒｉｐｔｉｏｎ Ｌａｎｇｕａｇｅ）本身的特点，许多面向仿真的语句虽符合语法规则却是不能综合的，这在设计中必须加以避免。同时讨论了如何写出Ｖｅｒｉｌｏｇ ＨＤＬ可综合风格的ＲＴＬ（Ｒｅｇｉｓｔｅｒ Ｔｒａｎｓｆｅｒ Ｌｅｖｅｌ）级语言描述的程序。     

在TMS320C80上实现的一种可变长解码算法

为提高在ＴＭＳ３２０Ｃ８０上开发Ｈ．２６３全软件解码系统的解码速度，减少片内ＲＡＭ与片外数据交换，提出了一种可变长解码（ＶＬＤ）算法．该算法根据Ｃ８０的高速并行处理能力和只有很小片内存储空间等特点，对ＶＬＤ码表进行设计．使用该算法，在Ｃ８０的一个片内ＲＡＭ中就能存放Ｈ．２６３的所有ＶＬＤ码表．为与目前较常用的逐位查找解码树方法和ＲｅｚａＨ方法比较，对ＭｉｓＡｍｅｒｉｃａｎ图象序列的７０帧图象进行实验，其解码速度是逐位查找解码树方法的２倍，比ＲｅｚａＨ方法快９．４％，最终可实现ＣＩＦ格式的１２．５帧／ｓ的解码速率．该方法同样适用于分析中需考虑内存及解码速度的其他系统中．     

麦洼牦牛LDH同工酶的组织特异性研究

对麦洼牦牛心、肝、肾、肌肉及血浆ＬＤＨ同工酶谱和相对活力、ＬＤＨ总活力进行了测定．结果表明,麦洼牦牛ＬＤＨ１存在Ｆ、Ｓ两种表型．Ｆ型和Ｓ型个体之间除肾脏中ＬＤＨ５和肝脏中ＬＤＨ３相对活力差异显著外,其余组织器官及血浆ＬＤＨ同工酶相对活力、ＬＤＨ总活力无显著差异;麦洼牦牛ＬＤＨ同工酶具有明显的组织特异性,肌肉中以ＬＤＨ５和Ｍ亚基为主．其余组织器官及血浆ＬＤＨ１相对活力和Ｈ亚基比例最大;ＬＤＨ同工酶谱和相对活力具有一定的个体差异．     

应用PLD设计控制器的新方法

控制器是数字系统的重要组成部分,它的设计是基础工作其传统设计方案繁杂。在应用可编程逻辑器件（ＰＬＤ）的控制器设计中,使用算法状态机图（ＡＳＭ图）进行控制过程描述,直接用硬件描述一种－－ＶＨＤＬ编程作为设计输入方式,借助设计自动化软件实现,使设计过程简化。     

用Blue一Sepharose·CL·6B亲和层析法分离纯化甲鱼和北京鸭LDH＿1、LDH＿5A亚基

用ＢｌｕｅＳｅｐｈａｒｏｓｅ·ＣＬ．６Ｂ亲和层析方法分离纯化的甲鱼ＬＤＨ＿５、甲鱼ＬＤＨ＿１和北京鸭ＬＤＨ＿５，进行比较研究。从分子量、等电点、氨基酸组成、平均摩尔差异百分比及在ＢｌｕｅＳｅｐｈａｒｏｓｅ·ＣＬ·６Ｂ层析柱上洗脱特性几方面进行比较，结果表明，两个不同纲的动物（甲鱼和北京鸭）的ＬＤＨ＿５的Ａ亚基之间的差异大于同一种动物的ＬＤＨ＿５的Ａ亚基和Ｂ亚基之间的差异，并说明不同纲的动物ＬＤＨ＿５之间具有同源性。     

LDH,MDH,G6PD同工酶与家鸡能量代谢特征

采用不连续缓冲系统的ＰＡＧＥ法结合组织特异性染色和酶谱区带活性扫描技术，对家鸡个体发生中三种重要酶类ＬＤＨ、ＭＤＨ、Ｇ６ＰＤＭ同工酶进行了测定，结果表明，ＬＤＨ在家鸡胚胎期以Ｂ型酶为主，生后期胸肌ＬＤＨ表现Ａ型酶占主导地位，而肝脏、肾脏、心、眼、脑等组织继续保持Ｂ型酶的优势地位，基本不随家鸡生长而改变，ＭＤＨ中Ｓ－ＭＤＨ无论是在胚胎期还是在生后期在表达的量上都高于ｍ－ＭＤＨ。Ｇ６ＰＤ在家鸡胚胎期和未成年之前不显示明显的同工酶区带，成年之后仅在部分组织中出现活性带，依据三种同工酶在家鸡各组织器官中的表现特征，对其参与家鸡体内能量代谢调节和相互比例关系进行了讨论。     

有限Atanassov逻辑代数及其广义重言式

讨论了有限Atanassov直觉模糊逻辑代数，给出判别其子代数的充要条件，并将王国俊教授在逻辑系统W，W^-，Wn中的广义重言式理论推广并用到Atanassov逻辑中，证明了在Atanassov逻辑中不存在绝对重（假）言式，广义重言式不随系统变大而增多和广义重言式前缀（α，β）具有不敏感性。     

未知逻辑的故障电路快速重构算法研究

针对未知逻辑的故障电路诊断与修复问题,研究了一种以同样功能的正常电路作为参考电路,然后利用电路逻辑快速重构算法进行故障修复的方法。该算法将对参考电路的逻辑功能采集与故障电路的逻辑功能重构同步进行,既能降低算法运行过程中的空间消耗,同时也避免了故障电路逻辑功能重构过程中,进行复杂的逻辑综合。此外该算法改进了传统的分块串行处理模式,解决了将采集数据分块并行逻辑综合的问题,提高了故障电路重构的速度。测试表明,相对直接的Q-M逻辑综合算法,该算法处理时间最快能减少70%。     

二值逻辑的D-条件真度理论

文章在二值命题逻辑中公式的D-随机真度和条件真度的基础上,在D-逻辑度量空间（F（S）,ρD）提出了D-条件真度的概念,同时讨论了D-条件真度的有关性质,并引入了基于Γ的矛盾式与重言式的概念和公式A与B基于Γ逻辑等价的概念;进一步给出了公式间D-条件相似度和D-条件逻辑伪距离的概念,同时讨论了它们的性质。     

基于多维体理论的生命线网络可靠性的不交和算法

根据生命线网络系统的图论模型,应用计算机辅助逻辑综合技术对网络可靠性的精确算法进行了探讨.采用多维体列阵表示网络可靠性的逻辑函数,应用锐积和二进制布尔运算实现网络的路经不交和算法和计算机编程.最后,通过算例验证了该算法的有效性.     

命题公式真值表的生成与公式类型的机械判定

在文[1]的基础上,给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法,实现了利用计算机对有限多个命题公式的真值表的直接计算和输出,以及对一个命题公式是重言式、矛盾式或可满足式的机械判定.     

量子力学中的守恒量

文章论述了量子力学中的守恒量与对称性的关系,具体讨论了空间平移不变性与动量守恒、空间转动不变性与角动量守恒、时间平移不变性与能量守恒的关系.     

有限区间值模糊逻辑代数及其广义重言式

讨论了有限区间值模糊逻辑代数 ,给出了判别其子代数的充要条件 ;并将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限区间值模糊逻辑系统In[0 ,1]中 ,证明了在In[0 ,1]中不存在 [1,1] - 重言式 ,广义重言式不随系统的扩大而增多 ,以及广义重言式前缀b的不敏感性     

带约束条件的DES的最优监控综合方法

基于ＤＥＳ的Ｄ－自动机模型，提出一种带约束条件的最优监控综合问题，然后分别讨论了逻辑监控与时序监控下该问题解的存在性与求解的方法．结果表明，时序监控优于逻辑监控方法．     

针对PAL器件分析的一种新型算法——PLS算法

本文针对 PAL 器件的分析提出一种新型逻辑综合算法,即 PLS 算法。算法应用 H—L 原理,采用自然组合生成立方,并可提前剔除与函数无关的变量,此外还运用了一种快速吸收算法。程序实现采用了位串式数据结构,并实行对变量分组化简,对组合反馈做了必要的处理。在时间和空间的占用以及求得函数的无冗余最小复盖方面都取得了满意的结果.     

计算机辅助气动系统逻辑设计的研究

对计算机辅助气动系统逻辑设计进行了深入研究，选择逻辑综合的方法作为计算机辅助气动系统逻辑设计的基础理论基本方法，采用立方符号表述逻辑函数，把逻辑运算表示为立方的相交、相容及锐积运算，提出用判断最小项来完成对给定程序的判和校正，进而实现了计算机辅助逻辑综合，得到了的逻辑设计结果。