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

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

红花绿叶相映红政企共奏兴赣歌江西调味品行业的发展与"WTO"

一、入世时的中国调味品的行业大势 去年12月,中国正式成为世贸组织成员国之一,这一天,人们异常冷静,似乎并不像足球在世界杯出线那样令人鼓舞,但这并不意味着"WTO"与国人无关,相反,正是对中国每一个行业及每一个公民影响太大了,所以,人们才会以一种审视的冷静的目光注视其变化,作为一名业内人,我感到中国调味品行业将面临着一场大的震动,或者是更残酷的挑战与竞争,但也充满了新的生机.那么,究竟是一个什么样的挑战与机遇呢?     

锐意改革 保持稳定：2002年中国证券市场会有哪些热点？

入世之后的第一年，2002年对中国证券市场的发展至关重要。为了完善和发展壮大我国的证券市场，解决证券市场的历史遗留问题，以适应入世后证券市场对外开放的需要，同时也为了配合国家推行积极的财政政策和稳健的货币政策，防止通货紧缩局面继续恶化，以刺激内需促进经济继续保持较快发展速度，管理层可能会推出一系列重大政策，在股市的稳定发展与规范等方面加大工作力度。     

理想收敛理论的非标准刻画

为了用非标准分析方法进一步研究拓扑空间，在扩大模型下，对理想收敛的基本理论进行了非标准刻画：设X是拓扑空间，I是X中的理想，I收敛于点x，当且仅当v(x)包含v(I)．给出了理想的极限点和聚点的非标准特征，利用极限点对闭包进行了非标准描述，并讨论了理想收敛与伴随网收敛的相互关系．     

早日杜绝“接地气”

久住楼房的人常常没事就下到地面上来转转,说是“接地气”,可能是说,人不能长久地跟土地分开,必须多跟土地接触,否则就会生病,就会烦燥。 自古以来,人是离不开土地的,这是常识。土地养活了人类,人类也伤害了土地。如今,除了农民以外,还专门出现了一些靠土地直接吃饭的人,一大批疯狂的“接地气者”。 如今的房产开发商,自然是“接地气者”中的一个群体。有成功的,     

巴基斯坦厂商要求提高中国摩胎进口关税

据巴基斯坦媒体报道，目前，巴基斯坦每年进口中国产摩托车内胎数百万条，每条价格不到1美元，而巴基斯坦本国生产的摩托车内胎因进口原料关税提高、劳动力成本加大，价格已涨至每条1．48～1．86美元。为此，当地生产厂家要求巴基斯坦政府大幅提高进口关税，限制中国摩托车内胎大量进入巴基斯坦。