可重定位的基于事务的系统级验证

功能验证已经成为开发SoC的主要问题。随着一些复杂SoC的规模超过两千万门，以及对开发和集成嵌入式软件的需求持续增加，软件模拟器已经力所不及。在设计过程需要几百万个时钟周期来充分测试和验证软件功能的情况下，软件仿真器的性能下降到1-5Hz。按照这种速率，软件调试需要几年的时     

湖北省SDH传输网扩容工程中DXC的保护及网络优化

1概述2000年，为缓解湖北省内各地市至武汉以及地市之间通信紧张的局面，给各类业务的发展提供大容量、安全可靠的传输通道，湖北电信公司在全省范围内对原有的SDH传输网进行了一次空前规模的扩容，即省网扩容工程。此次扩容共兴建了12个线路速率为2郾5Gbit/s的子网，覆盖了全省31个地、市、州局，并在业务量较大的汉口、襄樊、荆门、荆州和宜昌5个局站部署了同步数字交叉连接设备（DXC），通过这5个DXC节点将12个子网连接起来，形成了一个具有自我保护功能的SDH传输网。省网扩容系统采用的保护方式有复用段保护和DXC保护两种。复用…     

下一代IP技术--GMPLS

通用多协议标签交换 ,不仅支持实行分组交换的设备 ,也支持在时域 ,波长域和空间域进行交换的设备 .GMPLS的发展需要对现有的MPLS的信令和路由作出修改 ,也产生了新的协议。     

送电线路最小交叉跨越距离问题的解决

针对新建送电线路出现的最小交叉跨越距离问题 ,提出了采用特殊塔型及控制弧垂的解决方法 ,并通过充分的数据及计算来论证方法的可行性     

酸解木薯淀粉在涤／棉织物上浆中的应用

用实验的方法验证了采用酸解木薯淀粉在涤／棉织物上浆中的可操作性，并证明了用酸解木薯淀粉可替代CMC、PTA和聚丙稀酸甲酯等浆料，可用作涤／棉织物的上浆剂。     

洛马公司验证多无人系统的智能自主控制概念

在2008年8月12日～14日进行的一次演习中，洛马公司成功进行了智能控制和自主重新规划无人系统（ICARUS）成套技术的验证试验．     

分置式牛津型斯特林制冷机的数值分析与实验验证

对分置式牛津型斯特林制冷机进行了数值计算 ,介绍了计算模型考虑到的众多不可逆因素。通过对计算结果与实验结果的对比 ,验证了本文数值计算的准确性 ,说明本文计算模型与数值处理方法是切实可行的     

WIZARD海军诱饵在北约实验中进行验证

2007年7月16日，以色列海法市，拉斐尔军事发展有限公司透露其WIZARD海军角反射器诱饵最近参加了北约海军每年举行的MCG／8电子战实验，该实验于上个月在挪威进行．