网络协议中的时间约束测试

对协议实现的时间约束进行测试,是验证协议实现的实时特性的重要方法.本文考查了当前实时系统测试方面的进展,结合路由协议测试的实践,修正了现有方法几个不符合实际情况的假设,扩展了时间自动机的理论和思路,将时间约束下的状态机转换成非确定性有限状态自动机,运用Wp方法生成抽象测试集,讨论将抽象测试集参数化的方法.以路由协议RIP的时间约束为例说明了生成基于TTCN测试例的过程.     

新型高k栅介质材料研究进展

随着半导体技术的不断发展，MOSFET（metal-oxide-semiconductor field effect transistor）的特征尺寸不断缩小，栅介质等效氧化物厚度已小至nm数量级。这时电子的直接隧穿效应将非常显著，将严重影响器件的稳定性和可靠性。因此需要寻找新型高k介质材料，能够在保持和增大栅极电容的同时，使介质层仍保持足够的物理厚度来限制隧穿效应的影响。本文综述了研究高k栅介质材料的意义；MOS栅介质的要求；主要新型高k栅介质材料的最新研究动态；展望了高k介质材料今后发展的主要趋势和需要解决的问题。     

大功率UPS的并联控制技术

提出了一种新的N 1三相大功率UPS的并联控制方案，并且在4台40KVA三相在线式UPS上进行了实验研究，实际运行结果证明采用此方法可以获得良好的静态与动态特性。     

电子衡器特殊故障的分析及处理

因为电子衡器在安装与调试过程中出现的较为特殊的故障，难以找出正确的起因与处理方法，所以介绍了如何保证电子衡器的正常使用和计量准确性的工作体会。     

Pruning Redundant Alarm Correlation Patterns

1　ＩｎｔｒｏｄｕｃｔｉｏｎＴｈｅｓｔｉｃｋｉｎｇｐｏｉｎｔｏｆａｓｓｏｃｉａｔｉｏｎｒｕｌｅａｌｇｏｒｉｔｈｍｓｄｅｐｅｎｄｓｏｎｅｆｆｅｃｔｉｖｅｌｙｆｉｎｄｉｎｇａｌｌｃｏｒｒｅｌａｔｉｏｎｐａｔｔｅｒｎｓｔｈａｔｓａｔｉｓｆｙｖａｌｕｅｒｅｑｕｉｒｅｍｅｎｔｉｎｔｈｅｍａｇｎａｎｉｍｉｔｙｏｆｄａｔａ.Ｂｕｔｔｈｅａｌｇｏｒｉｔｈｍｓａｌｓｏｂｒｉｎｇａｎｅｇａｔｉｖｅｅｆ ｆｅｃｔ:ｔｈｅｎｕｍｂｅｒｏｆａｓｓｏｃｉａｔｉｏｎｒｕｌｅｓｉｓｖｅｒｙｌａｒｇｅ.Ａｌｓｏｉｎｆｏｒｍａｔｉｏｎ…     

MoSi2发热体在熔铝炉中的运用

以电阻熔铝炉技术改造实践为例，介绍一种高效、节能、不渗铁的新型熔铝炉——二硅化钼熔铝炉的设计。     

住宅产品与住宅设计相链接“二次技术开发”是关键

各位领导、各位专家、各位代表：上午好!首先，我代表中国房地产及住宅研究会住宅设施委员会，衷心感谢大家参加委员会一年一度的年会。刚刚周部长对委员会的工作做了重要指示，刘秀晨同志也发表了精彩的讲话，充分肯定了委员会的工作，指出了方向，提出了希望，我们深受鼓舞。刘秀晨同志给我们委员会做出了重要贡献，他从国务院参事和全国政协委员的角度提出了“推广绿色厨卫，     

基于B/S与C/S相结合的闸门自动调度系统

以上海市淀北片河网闸门为例,开发了以基于Web的B/S结构为主、B/S与C/S相结合的河网闸门自动调度系统,介绍了该系统的整体框架和各子系统的功能。经实践检验,基于B/S与C/S相结合的闸门自动调度系统发挥了B/S与C/S各自的优点,提高了防洪决策的及时性和准确性。     

薄板坯连铸连轧流程Ti微合金化高强钢开发与应用

在薄板坯连铸连轧流程上，经过对Ti微合金化技术研究，有效解决了Ti微合金化强度性能波动大的问题，开发出屈服强度450～700MPa高强钢。对试制钢组织性能和工业应用分析研究，表明该产品通板性能良好，通板强度差30MPa左右；成形性能良好，d=0时冷弯测试全部合格；同时还具有良好焊接性能，焊接后，强度波动较小，均在母材部位断开；试制钢显微组织为珠光体和铁素体，晶粒均匀细小，平均尺寸为4～8／μm；实物质量满足集装箱和汽车制造行业要求，具有广阔市场前景。     

合理开发利用钨矿资源 促进钨矿业可持续发展

简述了我国钨矿业概况、现有采选技术水平及钨矿加工利用率 ;从资源配置出发 ,阐述了钨矿业发展存在的几个主要问题 ,并且针对性地提出了可持续发展的几点建议。