基于串扰延时查找表的静态时序分析方法

提出了一种基于串扰延时查找表的静态时序分析方法.该方法首先由芯片版图提取出串扰线仿真电路,然后采用批处理仿真方式得到串扰延时库.之后采用串扰延时分析算法,通过算法自动计算出跳变时间差和负载,处理多攻击线等,最终基于串扰延时库的查找表法进行分析计算,得到精确的串扰延时值.实验结果表明,采用本文提出的基于串扰延时查找表的静态时序分析方法所留裕量在7.24%~37.70%之间,为业界可接受范围内.     

基于扩张方法的选播路由算法

根据选播地址数量不多、使用频率高、多主机的特点，提出了一种基于扩张方法的选播路由算法．路由器根据选播服务器发送的expand报文和网络的各项性能综合度量，计算它应该加入的组成员分区，并在路由表中建立相应的项；再由该分区内的路由器将目标地址为该选播地址的请求以直接方式或者隧道方式转发到这个组成员,用网络仿真软件NS-2对所提出的路由算法进行仿真，结果表明，它可以降低传输时延，提高服务的可扩展性．     

电力系统安全域方法研究述评

简明地综述了天津大学关于电力系统安全域方法学研究的成果．首先给出了电力系统安全域研究的推动力以及各种安全域的定义和概念．进而给出了3种实用的安全域,分别是：事故前系统注入功率空间上保证暂态稳定的实用动态安全域（PDSR）、割集功率空间上保证静态电压稳定的安全域（CVSR）和注入功率空间上保证不出现Hopf分岔的实用小扰动稳定安全域．它们是基于如下事实提出的：在工程关心的范围内,其稳定边界可用一个或少数几个超平面近似描述．这种形式的数学描述具有如下优点：便于开发计算安全域的快速方法,便于实现安全域的可视化,大大降低了计及节电注入功率不确定性时电力系统概率安全性评估的计算量,同时可使一大类电力系统最优化问题中稳定约束处理难的问题变得十分简易．基于PDSR和CVSR的研究成果,天津大学已成功地开发了综合安全域的可视化系统和电力系统概率安全监视系统,并在基于安全域的电力系统优化潮流、安全性综合控制、风险评估与优化、以及安全性定价等方面取得了令人鼓舞的成果．     

东盟自由贸易区形成与发展的经济效应问题探讨

自东盟自由贸易区形成以来,随着共同有效优惠关税等协定计划的制定与落实,不仅产生了使区内各成员国之间以对外贸易流量的增长速度加快和部分地优化了区内贸易的商品结构并进而有助于实现"贸易重整"等方面的静态经济效应;而且也取得了产业内贸易和产业间贸易水平也得到了一定程度提高的动态经济效应。然而,由于区内产业与贸易结构雷同化情况严重,再加之又缺乏似欧盟那样的"共同精神",因而从总体上看,东盟自由贸易区的一体化效应还有待进一步提升。     

磁性材料对高速电磁开关阀动静态特性影响的仿真研究

基于AMESim中建立的高速电磁开关阀的动态模型,在不同饱和磁感应强度、无磁滞磁化强度形状系数、可逆性系数、涡流系数情况下,对高速电磁开关阀的电流、阀芯位移特性、空载流量特性和空载压力特性进行了仿真。根据仿真结果,分析了磁性材料对高速电磁开关阀动静态特性的影响,提出了根据B-H曲线选择电磁高速开关阀磁性材料的原则。     

泡沫体系下起泡剂在河间东营油砂上的吸附

针对华北油田河间东营油藏所筛选优化出的泡剂体系,开展了泡沫体系下起泡剂在油砂表面上的静态吸附特征研究。研究结果表明,起泡剂在油砂上的吸附不符合Langmuir等温吸附曲线。当表面活性剂平衡浓度≤0.01%时,对应的油砂的吸附量仅为0.178 mg/g。随着表面活性剂浓度的增加,曲线的斜率增加很大,导致吸附量迅速增加。表面活性剂浓度继续增加,达到最大吸附量,此时浓度为0.30%,油砂吸附值为1.06 mg/g。随着表面活性剂浓度的进一步增大,油砂吸附量下降。随着矿化度的不断增加,泡沫体系下的起泡剂在油砂上的吸附量也逐渐增加。     

基于Windows XP的IPv6实验网的组建和隧道配置

介绍了IPv6实验网的组建,以及以此实验平台为基础进行的IPv6静态转发与GRE隧道配置实验。主要研究内容包括:通过捕获通信过程中的IPv6数据包,进行原理性分析,利用测试工具测试协议性能,IPv6协议栈加以安装和地址配置过程,IPv6静态转发配置与测试,并利用ping命令进行通讯测试。其中重点介绍了 GRE隧道及其配置过程。最后,展示了Windows XP下IPv6的部分实验成果。研究表明:GRE隧道在IPv6骨干隧道连接中,其通信安全性与稳定性得以充分展现。     

GPS-RTK技术在建筑轴线放样中的应用

全球卫星定位技术(GPS)作为一项高新技术,具有全天候、高精度、速度快等显著特点,在建筑业中已得到广泛应用,但是目前GPS-RTK技术(GPS实时动态定位技术)用于建筑轴线放样的还不多。通过实例将利用GPS-RTK技术放样结果与GPS静态观测结果进行对比分析,证实了GPS-RTK技术放样建筑轴线的精度能够满足要求。     

嵌入式静态随机存储器的低功耗设计

介绍了多种最新的嵌入式静态随机存储器低功耗设计技术。存储器的总功耗为动态功耗和静态功耗之和。动态功耗又分读周期功耗和写周期功耗。减少动态功耗的主要技术：（1）降低开关电容。（2）降低充放电电压摆幅等。减少静态功耗的主要技术是降低衬底电流和栅电流等。对多种低功耗技术做了分析和总结,并提出了改进意见。     

使用Formality中的几个问题

介绍了等效性验证以及等效性验证工具Formality在整个ASIC设计流程中的应用。针对在使用Fomality进行等效性验证中出现的仿真与综合逻辑不匹配的问题进行了讨论,并提出解决方案。