一种新的网络协议测试生成方法

本文以UIO(Unique Input/Output)方法为核心,概述了基于自动机等多种协议测试序列生成方法的研究进展。把优化的T方法与UIO方法相结合,提出了一种新的全优的测试序列生成方法-扩展T方法,序列长度几乎等同于优化的T方法,而纠错能力要同改善的UIO方法一样好。     

协议一致性测试序列生成方法

本文讨论通讯协议的一致性测试推导问题.对(l)的修改,并借助于Unique Input/Output(UIO)列列和Rural Chinese Postman算法,本文提出了自动生成一致性测试序列的新结果.本文的工作表明,使用本文提出的“冗余叠加”算法,对照已有的工作结果,得到的测试序列的长度会显著减少,而计算这个序列所花费的时间并未太增加.     

一种集成的可伸缩的网络安全系统

常用的网络安全技术有防火墙、VPN(virtual private network)和NAT(network address translation)等,它们的作用各异.但现有的一些网络安全系统未能将上述技术有机地加以结合,不能很好地兼顾系统执行效率,对系统内部缺乏细粒度的安全管理.针对上述问题,提出了一种集成的可伸缩的网络安全系统--NEUSec(NEUsoft security system),它在Linux环境下将包过滤防火墙、VPN和NAT技术有机地融合在一起,结合NAT和代理服务技术组成了可伸缩的虚拟代理服务器,提出了基于改进型Radix树的安全策略查找机制,采用RBAC(role-based access control)技术解决了系统内部安全管理的问题.与其他安全系统相比,NEUSec是一个较为全面的、可伸缩的、兼顾效率的网络安全系统,在实际应用中取得了较好的效果.     

分布式多媒体系统服务质量管理机制的研究*

分布式多媒体系统的发展向服务质量QoS(quality of service)管理机制提出了新的挑战.本文从分析现有网络系统在QoS管理方面的不足出发,引出分布式多媒体系统中有关QoS管理的基本观点,讨论各层QoS参数和QoS管理机制的功能组成,并且给出一个实例,最后得出结论.     

一种分布式多媒体信息点播系统模型

分布式多媒体信息点播系统DMIoDS(distributed multimedia information－on－demand systems)作为对VoD(video－on－demand)系统的一种扩展，已经成为多媒体信息处理技术中的一个新的应用领域.本文从分析DMIoDS的几个特点出发，提出了一种DMIoDS的抽象功能层次模型，依据这个抽象模型，给出了一个原型系统，并对原型系统作了实现.     

21世纪全新“理念”——知识经济与中国IT产业发展的思考

知识经济是21世纪的经济模式。知识经济的重要组成是信息产业。知识是一种财富、一种资本,知识可以创造价值,然而,人们在掌握知识的同时却忽略了一个关键问题,即拥有知识的最大目标是什么?今天,中国IT产业要获得成功,仅靠“知识”和技术是不够的。     

风险投资——机制先行

提起美国硅谷高科技企业的繁荣发达,和搜狐、新浪网在中国市场上的异军突起,我们首先想到的是使硅谷企业一路飚升,使国内互联网公司一夜成名的风险投资。 风险投资,顾名思义,就是高风险的投资,它所追求的是一定时期内的高回报率与高风险领域的低风险投资。 众所周知,成熟的风险投资发源于美国,使硅谷成为世界一流高科技公司的摇篮,使美国长期执掌着世界经济的牛耳。许多世界著名的高科技公司如Cisco、     

东软十年随笔

<正> 东软走过了十年,在这个时候,我们很想为自己写一本书——不是表白成功,而是希望东软的员工能知道公司的来龙去脉,也让同行对东软多一些了解,因为这个从事信息产业的行业,实际上挺封闭。 我们又怕写这本书——中国的企业往往从写书和总结经验开始走向衰亡。 今天看到常迪先生写的书,我好像找到了替身。 如果应验了上面那个结论,我想,企业坏在他人的笔下,比坏在自己的笔下要坦然一些。所以,我衷心感谢常迪     

APEC区域医疗健康亟待改善

<正>医疗健康服务的平等和普及一直是全球范围内面临的巨大挑战,在A PEC区域医疗健康也是亟待改善的重点课题。近年来,A PEC地区医疗健康产业的发展非常迅猛,健康正在成为引领区域新经济发展和社会进步的重要产业之一。在一些发达国家,健康产业占经济的比例较高,已成为带动整个国民经济增长的强大动力之一;而在一些发展中国家,这一比例还很低,但这也意味着发展中国     

基于知识的协议验证方法

协议验证是一个时空耗费很高的问题，本文将人工智能技术引入协议验证，建立了验证的图搜索模型，定义了协议错误、协议正确程度、验证算法的复杂度等概念。本文还提出了一个基于知识的协议验证算法Ｚ，并分析了其复杂度。