基于MCU的SoC芯片版图设计与验证

设计应用于数字抄表系统的基于MCU的SoC芯片.芯片内部集成多个硬宏单元,采用数字和模拟分开放置的方式基于SMIC 0.18μm 1P6M工艺进行版图设计.进行等效验证、静态时序验证、后仿真和基于Virtuso环境采用Calibre工具进行的物理验证.研究和解决在版图设计和验证过程中碰到的问题.最终设计的SoC芯片满足...     

CalibreXC——基于项目反应理论的测验质量检验与数据分析软件

目前国内多数测量与统计软件均源于国外,对于多数一线教育工作者,尤其是中小学教师来说,使用起来十分不便。Calibre XC是由贵州师范大学教育科技协同创新中心自主开发的基于微软Excel的统计分析软件。该软件包含了项目反应理论的非参数模型—Mokken模型以及Rasch模型、等级计分模型—GRM、部分计分模型—PCM等参数模型,具有界面简单,操作方便,通用性强等特点。简要概括了Calibre XC的运行环境与软件构成,并以贵阳某中学某次考试成绩为例,分别对比了Calibre XC与RUMM2030、MSP5、Winsteps等专业心理统计软件的运算结果。     

基于顶层设计思维导图的初中物理课外作业有效设置

顶层设计是当代前沿的科学设计理念,思维导图是一种创新型的表达工具,课外作业是初中物理教学的一个重要环节,它的有效设置直接影响初中生物理学习的状态和成效。在顶层设计思维导图指导下,进行初中物理课外作业有效设置的模式和操作方法研究,切实减轻初中生作业负担,提高物理教学质量。     

浅谈素质教育下高中物理作业设计

物理作业是物理教学的重要环节,是物理课堂教学的延伸和补充,是强化课堂教学的一个途径和工具。学生做物理作业的过程是学生自主建构物理知识的过程,由于传统的物理作业设计存在随意、重复、低效等问题,制约了学生学习物理潜能的发挥。因此,教师应当通过巧妙设计物理作业,激发学生的学习兴趣,调动学生学习物理的积极性和主动性。     

基于Eggplant的Mac OS X平台上软件自动测试

Mac OS X tiger平台上的应用软件需要进行自动化的测试。Eggplant是Mac OSX平台上的一种自动测试工具。文中主要介绍了这个工具和运用此工具设计一个应用软件的版本验证测试。最后实现了这个设计的部分并表明此工具是一个便捷有效的自动测试工具。     

基于TSV的3D IC层次化物理实现技术

随着集成电路特征尺寸逼近物理极限,硅通孔（TSV）实现层间互连的三维集成电路（3D IC）成为延续摩尔定律的一种趋势.但现有集成电路设计工具、工艺库、设计方法尚不成熟,难以实现三维集成中超大尺寸基板芯片的时序收敛问题.为此,本文提出了一种利用现有传统的EDA工具完成基于TSV的3D IC物理设计的流程.首先,用热应力模型将三维硅通孔投影成二维阻挡层,从而将三维集成电路设计转化成若干含阻挡层的二维集成电路分别实现;其次,针对超大尺寸基板芯片的时序收敛困难问题,提出了一种标准单元布局方法,通过在版图中划定若干固定放置区用于限定关键时序单元的摆放,并迭代确定这些关键单元在固定放置区中的位置,实现大尺寸芯片的时序收敛.基于所提出的三维集成电路设计流程完成了一款三维集成的网络路由芯片基板芯片的设计,结果表明,相比传统的设计流程,提出的3D IC物理设计流程可使超大尺寸基板芯片从时序无法收敛优化到可收敛并满足时序要求,验证了所提出的3D IC物理设计流程的可行性.     

深水铺设托管架模型实验系统设计研究

深水管道S型铺设具有快速、经济、高效的优点,是当今深水管道铺设主流技术,关键在于其特殊装备托管架的设计,难点在于托管架设计及验证方法不足,模型实验是解决该问题的有力方法。通过对深水托管架失效原理、几何及物理参数研究和相似性分析,开展了深水托管架设计实验系统研究;该实验系统能够对不同设计形式的托管架开展室内大比尺实验,为托管架设计验证提供了有力工具,同时也能够为高校的专业实验教学和科学研究提供可靠平台,具有重要工程、科研和教学意义。     

基于攻击者的“角色冒充”的协议验证方法

网络的普及使得网络安全问题日益重要 ,协议的安全性和密码算法的安全性是网络数据安全的两个最基本的概念。介绍了几种具有代表性的安全协议的形式化验证工具 ,并提供了用 JAVA语言实现的基于攻击者和秘密的安全协议验证算法。提出了身份验证协议必须交换秘密的概念 ,还为协议的形式化验证过程设计了框架。实现的验证工具是证伪的     

ASIC设计中验证技术的研究

验证是Soc设计中最重要的阶段。在将设计交付给生产厂家之前，要想能够找出体系结构上，功能上或者物理实现上的错误只有通过验证。对于众多团队设计而言，验证占到了设计流群的50％至80％。本文主要介绍了功能仿真、静态时序仿真、形式仿真等相关验证技术。     

一种物理链路检测电路设计及仿真模型实现方法

检测电路用于动态检测多节点系统中节点间物理传输链路连接故障,以便系统采用链路降宽、冗余设计等手段提高系统可靠性。其仿真模型是指在系统级功能仿真验证阶段建立合理的检测电路软件模型,以保证设计验证的顺利进展,同时也为研制工作节省时间开销和设计成本。本文介绍了一种物理链路检测电路的设计方法,并且实现了其软件仿真模型的设计方法。     

一层半模式的宏单元阵列版图自动设计及验证系统MALS

本文提出的 ＭＡＬＳ系统，针对一层半模式门阵的特点，以线网均匀分配为主要目标 的布局和总体布线算法以及分区、定序、预测和并行横向的通道布线算法，提高了布图 的成功率。系统还提供了多种方式可进行人工干预的交互环境及布图正确性验证手段。 已用ＭＡＬＳ设计了若干芯片，表明该系统是有效的。     

基于分层设计的插装阀集成块CAD方法

为了实现插装阀液压集成块的智能优化设计,采用了一种基于功能块及分层设计的集成块CAD方法。全面研究并总结了插装阀结构特征及其集成块的设计规律,给出了功能块的概念,阐述了分层设计思想及其实现方法,构建了基于分层设计的插装阀集成块优化设计系统。设计实例表明,该方法能充分利用前人的设计经验和成果,满足各种工况的实际需求,并大大降低集成块CAD的设计难度,有效提高设计水平、质量及自动化程度。     

电路版图编辑器的实现

介绍了ＶＬＳＩ芯片ＣＡＤ系统中的版图编辑软件Ｃｉｒｇｒａｐｈ的作用和简单的使用,以及将它从工作站移植到ＰＣ环境下所做的工作。此外,还简单介绍了Ｃｉｒｇｒａｐｈ对版图的设计工作。     

TBM的滚刀布置优化设计研究

滚刀在刀盘上的布置问题是全断面岩石掘进机(TBM)设计的核心内容.基于刀盘的受力需满足空间力系平衡的原则,建立了非线性多目标滚刀布置模型.提出了利用协同进化算法优化滚刀布置的方法.以引洮隧道掘进机滚刀布置实例对所建立的模型和所采用的优化算法进行了验证.在多种岩石边界条件下,与原TBM滚刀布置方案进行了对比分析.结果表明,采用本文方法获取的滚刀布置方案具有更小的倾覆力矩和不平衡力,证明了该模型及所用的优化算法是可行的、有效的.     

产险公司资产负债管理的DFA方法实证分析

介绍了动态财务分析(DFA)这一主要适用于产险公司的资产负债管理工具.该工具运用Monte Carlo模拟方法在一系列不同情境下产生保险公司整体的财务结果.本文利用公共的DFA模型和中国市场上的实际数据参数化模型,建立起在中国市场上适用的DFA模型.在模拟过程中可以看出,DFA将外部环境等因素考虑进来,符合经营环境多变的情形;管理层可借由DFA模拟出的大量财务数据对公司经营状况进行分析,预测公司在未来几年中的财务进展状况,并由情景测试的方法来展示如何通过改变公司经营策略改善公司的经营状况及资产配置等.借助DFA模型可达到资产负债管理的目的,显示出其作为资产负债管理工具的巨大优势.     

基于价值流图的汽车TC装配线精益改进

价值流图是精益生产体系中分析流程浪费的有效工具,受到企业的重视与推崇。应用价值流图方法,在对某公司汽车副仪表台（TC）装配线现状分析的基础上,对装配线设施布局、工序安排、物料料架及成品包装等方面进行了精益改进。通过方法改进,减少了浪费,降低了生产成本,提高了生产效率。     

基于事件驱动的数字逻辑功能仿真工具

本文介绍了现代专用集成电路(ASIC)芯片的设计流程、详细讨论了对Verilog HDL所描述的数字电路网表进行逻辑功能仿真工具LGS的开发过程.主要包括分层建模、事件驱动算法和具体实现中的一些技术问题.也论述了面向对象技术及C 在EDA(Electronic Design Automation)工具开发中的应用.最后给出一个LGS应用于乘法器电路设计的仿真验证示例.     

单品种货物装车问题的两阶段优化算法

针对同种同规格货物的三维装车问题,基于分层思想,将三维装车问题进行降维,转化为二维布局优化问题,提出九种分层装车策略,在算法设计上,提出了两阶段优化算法,第一阶段沿车厢的长、宽或高进行分层,针对不同的层高,通过动态规划算法求解平面内的最大货物装载量,得到货物的最优布局;第二阶段结合背包算法对层进行组合,得到车厢每个维度下的最优层,最后择优选取可装货物数量最多的方案,即为最优装载方案;最后通过两个数据集共8个算例对算法进行测试。结果表明,对于数据集一来说,本文算法求得的平均装载率可达99.43%,优于带排列分层算法、动态规划算法,以及混合递归算法求得的平均装载率;而对于数据集二来说,本文算法求得的平均装载率也达到了96.11%,优于二维排列算法,说明本文提出的两阶段优化算法在一定程度上可以生成较好的装载方案。     

基于双闭环控制的SVG系统建模与仿真

静止无功补偿器(SVG)具有动态性、灵活性等特点,从而成为无功补偿的首选方案和发展方向.从SVG基本结构的拓扑模型出发,建立SVG数学模型,提出SVG双闭环控制策略——电流内环控制设计和电压外环控制设计,并运用Matlab/Simulink仿真工具进行电路建模和仿真验证,证实其可行性和正确性.     

某型直升机医疗地板的改装优化设计与适航符合性验证

由于通用航空的特殊功能、优势和对国民经济增长的巨大推动作用,其在我国迅速发展,通航公司规模也越来越大,直升机的业务种类也逐渐增多。然而普通构型的直升机只能进行运输功能,已经不能满足人们对直升机所执行的任务要求,特别是对于医疗救援类的直升机已经成为了地震灾区、火情灾区、海上救援等所必要的工具。所以需要对直升机进行改装设计,将其加装医疗设备来满足应急医疗救援的目的。本文为使直升机能够恢复出厂构型,研究并设计出直升机医疗地板,并且对其结构进行拓扑优化,其次对直升机医疗地板改装的适航审定流程进行了研究分析,并且对直升机加装的医疗地板进行了多种适航符合性验证方法的研究,进行强度试验验证,最终得出结论医疗地板满足适航法规要求。同时为通航公司在直升机改装医疗地板方面提供参考依据。可见直升机医疗构型改装设计及适航研究已成为实现直升机应急救援的重要依据。