行为级DSP算法描述的阵列处理器综合方法研究

本文提出了针对递归DSP算法的高层次系统综合流程,并以脉动(systolic)式处理器阵列结构实现.从DSP算法的FDDL行为级描述开始,经由编译及划分,产生数据相关流图(Data Dependency Graph),然后实现对算法流图的空间映射及时域规划,得到算法的信号流图(Signal Flow Graph),经时序重构,生成脉动阵列,最后实现对处理器单元的数据路径综合及控制器综合,并对处理器单元定位,本文同时提出了各设计阶段的算法策略及优化策略,并给出综合结果。     

用一个初始状态生成伪穷尽测试集

本文给出了一种适合于级敏扫描方法（ＬＳＳＤ）的伪穷尽测试集生成方法。通过测试码生成电路中增加状态跳变控制电路，使得只需要一个初始状态就可生成整个伪穷尽测试集。由于这个特点，消除了必须在ＲＯＭ中存储多个初始状态的要求，从而简化了测试控制电路及测试过程。     

天然药物在现代医疗保健中的地位和作用

世界天然药物市场主要集中在美国、欧洲和亚洲三大区域,全球植物药市场的年销售额已达270亿美元。在过去的10年间,以植物制剂为主体的天然药物开始走俏西方。面对“回归自然”的世界潮流,采用现代科学技术,实现中药现代化和国际化,将为人类现代医疗保健做出重大贡献。     

基于性能的LUT结构的FPGA的再设计算法

本文提出一个基于性能的LUT结构的FPGA的再设计算法,该算法采用特征函数以及对原布尔网络进行相应的约束实现电路的再设计。因为不改变网络的拓扑结构,从而避免了在再设计过程中重新考虑电路的时延和布局布线结果。     

动静态结合排序决策的可满足性问题解决器

采用冲突驱动回溯、两观察变量法等思想,静态分析和动态更新相结合的排序决策,鼓励冲突,尽早剪除不满足解空间,提高算法速度.根据变量正反文字出现次数的乘积进行初始排序,优先考虑正反文字出现次数较多变量的赋值;采用冲突驱动、动态更新变量顺序、优先考虑发生冲突子句中变量的赋值,尽可能避免当前冲突.实验结果表明：与采用其他决策策略的解决器相比,文中的解决器拥有一定的速度优势.     

凝汽器铜管残碳膜腐蚀实例分析

对蒲山电厂凝汽器铜管的腐蚀泄漏原因进行了试验和腐蚀过程分析，找出了原始铜管存在的残碳膜和品体缺陷是腐蚀的诱发因素，采取了针对性的镀膜处理和一系列运行管理措施，达到了预期的效果。     

Synthesis and characterization of solid-phase super acid catalysts and their application for isomerization of n-alkanes

In the present work, first, the reference catalyst super acidic nanostructured sulfated zirconia (SZ) and super acidic nanostructured aluminum chloride impregnated sulfated zirconium oxides in mole ratios of Zr⁴⁺:Al³⁺ as 2:1 (ACSZ-1), 1:1 (ACSZ-2), and 1:2 (ACSZ-3) were synthesized by a simple precipitation method. The catalytic performance of these four catalysts were evaluated during the isomerization of n-hexane, n-heptane, and n-octane to their corresponding branched chain isomers at low temperature and pressure conditions. ACSZ-2 shows high activity toward isomerization of n-hexane, n-heptane, and n-octane into their corresponding branched chain isomers. The reference catalyst SZ was proved to be less effective compare to the other three synthesized ACSZ catalysts. Ammonia-temperature-programmed desorption of these two materials ensures that the super acidity of ACSZ-2 is higher than that of SZ. Atomic force microscopic and scanning electron microscopic pictures predict the nature of the surface of the catalysts. Transmission electron micrographic analysis indicates the presence of particle-bulks having average size 12–20?nm, presenting an amorphous nature and having no definite surface morphology of ACSZ-2. Fourier transform infrared provides an outline regarding different linkages and bond connectivities between atoms and groups in ACSZ-2 and SZ. After catalyst evaluation and characterization a probable reaction mechanism has been proposed theoretically. The reactivity and selectivity of ACSZ-2 and SZ as well as the order and activation energy of the isomerization reactions in presence of ACSZ-2 have been calculated. The use of ACSZ-2 is beneficial from the point of cost efficiency as well as its use is energy saving.     

超深亚微米集成电路串扰估计及优化

采用RLC模型来估计互连线间的耦合噪声并对模拟结果进行分析,在此基础上,提出了几种不同的算法实现了带串扰约束的集成电路布线结果调整.     

VLSI版图验证算法的固化研究

ＶＬＳＩ电路芯片集成度的不断增加，使得设计趋于复杂化，这就对版图验证工具的处理能力与性能提出了进一步的要求，运用特殊的硬件将版图验证的某些算法固化，利用其中内在的并行性来获得处理速度的提高是一类非常有效的方法，本文提出了一种用于在版图验证算法中得到广泛运用的线扫描算法中边排序操作的硬件实现。并且在ＦＰＧＡ上进行了验证，整个系统实现于一块ＰＣ机的扩展卡上，测试的结果表明，对于排序的操作，硬件实现的速     

基于混合图的总体布线调整

本文提出了一种基于混合图的总体布线调整方法。混合图是对表示布局的有向图进行一系列精确的顶点分解而产生的。用得到的图模型来表示总体布线信息,从而可以在总体布局优化的同时估计布线对芯片面积的影响,并对总体布线进行调整。由于总体布线是自动更新的,所以布局同时随着布线的调整和模块的移动而改进。本文还提出了多种瓶颈的概念和瓶颈间走线随模块旋转而变化的规律。最后给出的实验结果表明,这种算法在减小芯片面积上获得比较好的结果。