一种基于形式化描述的测试序列生成改进方法

动生成测试序列始终是软件工程中一项极为困难的工作．国际标准化组织（ＩＳＯ）一直致力于协议一致性测试方法与形式化描述技术的研究．本文讨论了基于形式化描述的协议测试序列生成方法中的问题,特别是提出了“部分Ｔ序列叠加算法”对使用ＵＩＯ序列生成测试序列的方法做了进一步改进,大大减少了测试开销．     

2008年是东软新征程元年

<正>最近我听到的讨论最多的话题就是全球经济衰退和美国金融风暴对中国的影响。几乎所有的人都认为中国的经济发展遇到了冬天。但我认为,东软的发展从来没有经历过春天,从创业的第一天开始,我们一直都在冬天里。如果跟17年前比,今天就是春天。     

构造——提升用户价值的解决方案

我们认为解决方案不仅仅是顾问咨洵,不仅仅是技术,也不仅仅是实施,它还涉及到服务,还涉及到为我们客户派遣并不断培养IT人才的一整套机制。东大阿尔派提供解决方案的目的是提升用户价值。     

一种多媒体通信机制--服务质量受控型管道

提出一种多媒体通信机制--服务质量受控型管道,作为基于服务质量的平台层点对点多媒体通信抽象,以支持分布式多媒体应用的描述与开发.给出了服务质量受控型管道的形式定义,详细讨论了其工作过程.该抽象已经成功地应用于分布式多媒体信息点播系统和分布式多媒体信息系统等.实践表明,服务质量受控型管道既可以直接支持点对点多媒体通信,也可以作为多媒体组通信抽象的基础.     

分布式多媒体系统服务质量管理实现支持机制

近年来，分布式多媒体系统中的服务质量QoS(quality of service)管理及其实现支持机制取得了很大进展.本文从接纳控制与资源预约、基于速率的流控、差错控制、调度与同步几个方面出发，讨论QoS管理实现支持机制，并展望今后的研究工作.     

效用驱动的多agent合作机制

提出了一种多agent合作机制,以效用为基础,利用效用函数计算agent在不同任务下与其他agent合作而产生的效用值,以此为依据得到agent对不同合作方式的偏好序列,并选择最大偏好参与合作。通过这种方法, agent 可以主动选择最适合自己的合作方式来完成任务,与此同时,以效用为驱动可以使群体的任务收益达到最优,提高了agent群体的合作效率。最后给出了用于方法验证的多agent原型系统,同时在该系统下证明了合作机制的有效性。     

基于网络的多媒体计算机辅助教学系统

多媒体计算机辅助教学（ＣＡＩ）系统的研制是当前ＣＡＩ研究的热点，本文结合我们研制并开发的网络多媒体计算机辅助教学系统，讨论了多媒体技术在ＣＡＩ等教育领域的应用特点及技术的关键所在，并对多媒体ＣＡＩ的应用前景作了探讨。教学本身的特征，就是人们通过视觉，听觉和语言交流而达到教与学的统一。这种视，听，说结合的形式正是多媒体技术的主要形式。我们相信多媒体ＣＡＩ的应用将是未来教育领域计算机应用的焦点。