可重用音乐IP核的设计

介绍了IP复用技术在ASIC设计中的重要性，探讨了IP核设计方法，并基于IP核可重用设计思想，创建了音乐IP硬核。IP核用Max plusⅡ EDA软件进行软件仿真、用GW48系列SoC／SoPC试验开发系统进行FPGA验证，在SUN工作站上用Cadence后端设计软件Virtuso完成版图设计，在INMEC 3.0μm metal gate process流片。芯片经测试完全符合设计要求。     

SoC设计中的IP核复用技术研究

论述了系统集成芯片设计中IP核复用的设计方法。以Estarl嵌入式微处理器设计为例，讨论了IP软核设计复用技术的应用方法及特点，并针对Estarl中IP核选择与实现进行了说明。     

电子技术重心转移

电子技术重心的转移，数字、摸拟、混合的可编程器件的迅猛发展，使得用标准IC搭积木式的设计方法已经过时．随着电子系统设计自动化(ESDA)的快速推行，系统芯片——SOC时代已经到来．现代硬件设计是根据设计规则，用软件联接已有的不同IP(知识产权)模块来实现的。IP复用技术必将流行．使用硬件描述语言(HDL)设计电子系统，是设计者必备的知识和技术．功能一结构的协同设计是PBD(基于平台的设计)的重要特征。系统设计和芯片设计将合二为一．硬件电子技术将转向软件电子技术。     

SoC及其IP核的设计与其在通信中的应用研究

提出现代集成电路技术中的SoC及其IP核的设计方法，在分析SoC的特点及其IP核的基本特征的基础上，给出了系统级设计软件、IP核开发流程和关键技术，并将其应用于NGN中综合业务接入系统的具有自主知识产权的集成电路设计中．     

可重用设计方法研究

可重用IP技术与软硬件协同设计和深亚微米设计技术是SoC设计的关键技术支撑．首先把片上系统的设计方法和传统的基于线负载模型的ASIC设计方法进行比较，然后探讨了可重用IP模块的定义、设计过程及其选择等．     

I2C总线接口IP核的设计研究

根据I^2C接口传输协议，用Altera公司的EDA设计软件Max plusⅡ和VHDL语言设计了可用于CPLD的IP核，该设计可用于将I^2C接口器件与8位MPU的并行总线相连接，以提高8位嵌入系统的工作性能．通过下载实验验证了该IP核的工作性能．     

针对SoC设计正确性和时间性的形式化协同验证方法

给传统嵌入式系统验证方法带来巨大挑战的是SoC设计中硬件部分采用IP核、软件部分采用构件技术，这就需要一种既能克服传统方法缺陷又能适合SoC的新方法。针对SoC提出了一种基于着色Petri网的数学模型，形式化定义了IP核、构件和用户自定义逻辑模块，并阐述了从SoC设计体系结构到着色Petri网模型的转换方法，还介绍了如何利用现有工具CPN Tods来分析Petri网模型。该方法不仅能验证SoC设计的正确性，还能验证其时间性，一旦给出SoC设计中IP核、构件和用户自定义逻辑的体系结构，那么就能够验证出整个系统的设计正确性和时间性，最后通过一个验证PDA手机音频和视频子系统的例子证明该方法行之有效，并给出了相应的实验结果。     

基于TCP/IP协议通信软件的分析与实现

从TCP／IP协议和Winsock控件两个方面进行分析，介绍了一种基于TCP／IP协议开发网络通信程序的方法，并给出了开发客户／服务器通信软件的设计实例。     

通用乘法器IP核可测性设计研究

为了改善所研制的运动视觉系统芯片(SOC)中乘法器IP的可测性，采用基于内建自测试的方法，在外围增如改进的线性反馈移位寄存器和多输入特征寄存器，对乘法器IP内部进行测试．所实现的测试结构对乘法器的内部结构和运算速度影响很小，而且测试结构所占的比例也很小．仿真实验的结果表明，这种乘法器IP的可测性设计方法对提高测试覆盖率非常有效．     

采用哈希算法改进IP地址查找的研究

分析了几种常见的IP地址查找的方法，详细介绍了一种采用特定哈希算法技术来尽量缩减IP转发表的大小的方法。通过完美哈希算式，将IP地址生成为哈希表，采用这种方法能够有效地减少查找时的内存访问次数。构造一个8—8—8—8路由表的数据结构，并采用哈希算法来改进IP地址查找。结果表明用此方法来访问大型路由表要比其他目前常见方法所需的内存少。     

Banach代数中的行列式理论

探讨了 Banach 代数中的行列式理论.给出了具有单位元的迹 Banach 代数具有行列式的充要条件.     

非织造布滤料性能及过滤过程的研究进展

对近年来非织造布滤料的研究进展做了简要综述,介绍了内部结构的研究及表征、过滤性能及其影响因素、过滤过程的计算机模拟,指出进一步发展所需要解决的问题。     

Towards Excellence in Science Chinese Academy of Sciences

<正>May 26,2014,BeijingScience is a human enterprise in the pursuit of knowledge.The scientific revolution that occurred in the 17th Century initiated the advances of modern science.The scientific knowledge system created by human beings,the tremendous productivity brought about by science,and the spirit,methodologies and norms formulated in scientific practice since the 17~(th)Century have long become essential elements of     

SCIENCE CHINA Technological Sciences SUBJECT INDEX TO VOLUME 57(2014)

<正>~~     

单面约束系统的微分变分原理与运动方程

研究单面约束力学系统的微分变分原理和运动方程。方法利用Ｄ＇Ａｌｅｍｂｅｒｔ原理建立Ｄ＇Ａｌｅｍｂｅｒｔ－Ｌａｇｒａｎｇｅ原理．Ｊｏｕｒｄａｉｎ原理和Ｇａｕｓｓ原理,结果与结论得到系统的微分变分原理和带乘子的Ｅｕｌｅｒ－Ｌａｇｒａｎｇｅ形式,Ｎｉｅｌｓｅｎ形式和Ａｐｐｅｌｌ形式的运动方程。     

q-树的重构性

q 是一个正整数,所谓 q-树的图是递归定义的:最小的 q-树是完全图 K_q,一个 n+1阶的 q-树是通过在 n 阶 q-树上加上一个新点并连接这点与 n 阶 q-树中任意 q 个互相邻接的点而获得,其中 n≥q.1-树我们通常称为树.在本文中,证明了对任意正整数 q,q-树是可重构的.     

β-环糊精-毛细管区带电泳分离扑尔敏对映体

采用毛细管区带电泳模式,以β-环糊精为手性选择剂分离了药物扑尔敏的光学对映体.考察了在不同背景电解质 pH 值尤其是较低 pH 值下环糊精浓度对对映体表观淌度差的影响,并研究了有机改性剂尿素在分离中的作用.     

层状球形夹杂复合材料的弹性模量

利用层状球形夹杂在无限大基体中的局部化关系及平均应力场理论,给出了一种方法来分析含 n 种层状球形夹杂所构成复合材料的弹性模量.对于文献给出的空心玻璃球和高分子基构成的复合材料,该理论的预测与实验吻合很好.当表层稍失时,该理论退化为传统的 Mori-Tanaka平均应力场理论.     

CVD涂层硬质合金刀具的失效机理

通过系统的实验研究和理论分析,揭示了 CVD(化学气相沉积)涂层硬质合金刀具在磨损和破损状态下的不同的失效机理,并在机理分析的基础上,阐明了涂层硬质合金刀具对于切削条件的特殊适应性.     

特征关系与工艺决策

从并行工程的原理出发,提出了一个基于特征的并行 CAPP 系统.在特征建模的基础上,系统能够推理特征之间的关系,产生零件的特征向量图;利用加工知识库,通过动态规则匹配,系统可以确定特征的加工方法、加工参数及其加工顺序;通过优化确定最佳的工艺计划.