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

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

Actis设备瞄准高速应用

<正> 经过瓶壁阻隔处理的PET瓶正式开始进入大众市场并投入使用,例如针对德国廉价超市出售的啤酒,以及在美国出售的碳酸饮料用小型瓶。通过其新推出的Actis~(TM)48涂层设备,西得乐及其Actis~(TM)技术能够满足未来趋势的要求。 PET的优势已在水及碳酸饮料等市场中得到了高度的认可。如今,它已在啤酒这个新的产品市场中立足,德国市场便是其中的领导者。德国的廉价超市对此新包装类型表示欢迎,此外,它也提出产品质量要与玻璃瓶和金属罐包装相当的要求。为满足青睐PET包装并注重质量的客户的期望,西得乐开发出了Actis~(TM)技术。在德国,西得乐率先在Aldi、Lidl、Norma等廉价超市中推广了Actis~(TM)技术。     

《绝对女神》第二次技术性内测印象

由金玉天立代理运营的韩国网络游戏《绝对女神》经过一个月的内部测试后，于2月18日开始第二次技术性内测，虽然这一次也称为内测，不过所有玩家都可以在官方站点申请到游戏账号进行游戏。至于广大参与测试的玩家所关心的结束测试后账号是否保留的问题官方尚未有明确答复，不过按照目前的情况来判断，众多玩家都参与的测试，删除账号的可能性应该不大。     

起重豪门马尼托瓦克集团——访马尼托瓦克(亚洲)起重集团执行副总裁埃查特先生

没有一个起重机公司的阵容能像马尼托瓦克这样豪华,拥有马尼托瓦克、格鲁夫、波坦、纳维纳尔4个世界级品牌,且每一个品牌都有着悠久的历史。马尼托瓦克起重机公司1925年成立,格鲁夫公司成立于1947年,波坦则于1928年创立,中国的业内人士对这3个品牌及其产品已经非常了解,需要说明的是成立于1945年的纳维纳尔随车起重机,在世界直臂随车起重机和折臂式起重机领域数十年处于领先地位。我们的谈话从2001年马尼托瓦克集团的战略合作开始。2001年,发生了一件对世界起重领域产生重大影响的事件——美国的履带式起重机制造商马尼托瓦克和总部设在美国…     

195—B1型挖掘机初步试验情况

正在金堆城钼业公司露天矿试用的195-B_1型挖掘机是与美国B-E公司合作制造的。主要性能参数见表1。     

白云岩粉作坝的心墙材料（摘译）

对于筑坝用和常规材料来说,伊拉克海迪察坝心墙使用的细粒的淋滤白云岩是一种新材料。在该坝附近缺乏常规材料,需寻找一种新的料源。尽管对白云岩粉的特性了解很少,但因其数量丰富而引起了人们的注意。为研究此材料的水力的强度特性,已做了初步的野外和室内的试验,后来证明这样做是对的。在详细调查研究过程中,特别显示了这种材料的抗侵蚀与抗管涌的特性,促进了设计人员使用的信心。因为此种材料是第一次较大量地用于坝体施工,故对此十分谨慎。对此种及类似材料的进一步勘察研究,在水工和大坝工程中将会找到更广阔的用途。     

三相对称电力系统短路时动稳定度校验条件的计算

从理论上分析了三相对称电力系统发生三相短路时的短路冲击电流和最大电动力，从而给出动稳定度校验条件。     

2012世界电信和信息社会日:信息通信与女性

信息通信技术在为各行各业的人们,特别是易受伤害和弱势群体创造机遇方面发挥着催化剂的作用,同时可为长期的可持续发展提供框架。今年,值此世界电信和信息社会日来临之际,我们决意充分利用信息通信技术的潜力,通过消除性别差异,为女性增权赋能以实现其目标和理想,从而使女性获益。今年世界电信和信息社会日的主题"信息通信与女性"旨在确保占世界人口"半边天"的女性将和男性一样,同等进步。     

爱是绝色伤口,痛过才能开花

正生活给你关上了一道门,却总会在适当的时候打开一扇窗。谁在年轻的时候没有爱过一个人渣呢?人渣们没心没肺伤害了我们,可如果我们再自己给自己踩上两脚——那是傻子才会做的事。     

赛摩三埃阵列秤走进紫金矿业

紫金矿业集团是一家以金铜等矿产资源为主的大型跨国企业,对产品的质量以及计量量值的准确可靠性尤为重视.公司将计量的精准度视为量化管理的关键,没有准确的计量,量化管理无从谈起.提高计量检测能力,完善和配备计量设备,精准稳定是计量设备选型环节的重中之重.