Verilog RTL模型

VLSI集成电路芯片测试技术正在向高层次测试推进，针对Verilog硬件描述语言，提出了一种在寄存器传输级（register transfer level,RTL)上的电路模型VRM，该模型着重于实际应用，可输出文本格式文件，便于开发实用的RTL级故障模拟和RTL级测试生成等软件。基于该模型。还实现了一个简单的RTL逻辑模拟程序以验证VRM模型的可行性。     

ABS/PVC/Rubber合金的微结构和表面反射率关系研究

用分析电子显微镜的TEM和SEM模式观测了高分子合金材料ABS／PVC／Rubber的微观结构，并使用电子测色配色仪测定其表面对不同光波波长的反射率，试图说明其微结构形态与表面反射率之间的关系。     

大蒜根尖分生组织核仁纤维中心形态结构扫描电镜研究

报道了大蒜（Allium Sativum L.)根尖生分组织细胞核仁纤维中心（FC．）的亚微结构，为在扫描电镜下研究植物细胞核及核仁的形态结构提供参考资料。     

掺纳米Al2O3的纳米8YSZ相变及电导率

掺8mol%Y2O3的纳米ZrO2粉体中加入0－5wt%纳米Al2O3，在1100℃、1200℃、1300℃不同温度下烧结2h，烧结样品在烧结温度达1200℃以上，掺1wt%以上的纳米Al2O3的四方相完全转变为立方相。初步探讨掺纳米Al2O3的8YSZ陶瓷烧结体相变机理及纳米Al2O3对8YSZ烧结体的晶参数和电导率影响。     

CaF2掺杂ZnNb2O6微波介质陶瓷的结构特征

用传统固相法合成了CaF2掺杂ZnNb2O6微波介质陶瓷,通过XRD、SEM、EDS等对其微结构进行了系统的研究,结果显示,Ca2 已经固溶到晶格中取代Zn2 形成CaNb2O6没有发现晶界玻璃相,0．5?F2掺杂可使ZnNb2O6陶瓷的烧结温度从 1150℃降到1080℃,并且具有较好的微波介电特性。     

固体微结构物理国家重点实验室

南京大学固体微结构物理国家重点实验室始建于1984年,1985年被批准对外开放,1987年正式通过国家验收,是国内首批建设、开放的国家重点实验室之一。著名的物理学家冯端院士、闵乃本院士以及邢定钰教授等曾先后担任实验室主任。现任实验室主任是王牧教授,学术委员会主任为闵乃本院士。在科技部、教育部、国家自然科学基金委员会和前国家计划委员会的直接领导下,在南京大学的大力支持下,实验室艰苦创业、励精图治,已经逐步发展成为在国内外具有重要影响的微结构物理研究中心和高水平科技人才的培养中心。自实验室建立以来,在国家组织的历次评估…     

Influence of polymer addition on performance and mechanical properties of lightweight aggregate concrete

The influence of polymer addition on microstructure, performance and mechanical properties of lightweight aggregate concrete was investigated. It was found that the addition of polymer improved the performance and mechanical properties of lightweight aggregate concrete. It was ascertained that the modification of microstructural uniformity and densification with the addition of polymer is responsible for the enhancement of mechanical properties.With respect to compressive strength and bending strength, the lightweight aggregate concrete added with 13% ethylene-acetate ethylene interpolymer ( EVA ) exhibits preferred mechanical properties.     

Charge dynamic characteristics in corona-charged polytetrafluoroethylene film electrets

In this work, the charge dynamics characteristics of injection, transport and decay in porous and non-porous polytetrafluoroethylene (PTFE) film electrets were investigated by means of corona charging, isothermal and thermal stimulating surface-potential decay measurements. The results showed that the initial surface potential, whether positively or negatively charging, is much higher in non-porous PTFE than in porous PTFE. For porous film the value of initial surface potentials increases with increase of film thickness. Higher charging temperature can remarkably improve charge stability. The charge dynamics are correlated to materials microstructure according to their scanning electron micrographs. For non-porous PTFE films, polarizability change of C-F bonds is the main origin of electret charges; but for porous PTFE film a large number of bulk and interface type traps are expected because of the greater area of interface and higher crystallinity.     

几种常用ECAD工具的特点和应用举例

介绍了用于计算机辅助逻辑电路分析设计的几种常用方法及其特点，并给出了分析设计的实例。事实证明，随着电路规模的增大和功能的增强，采用计算机辅助分析和取代传统的手工方法，是实现逻辑电路分析设计的不可缺少的重要手段。     

Z++a:Z++的AOP扩展

为了适应面向Agent技术的发展及其系统设计的需求，提出一种基于面向Agent程序设计(AOP)风范的形式描述语言具有重要的理论指导价值和实际意义。在Z++的基础上，讨论其AOP扩展问题，从而提出具有AOP风范的形式描述语言Z++a,同时还给出了一个关于高度智能化、人格化生物机器人的Z++a形式描述简例。