共查询到10条相似文献,搜索用时 46 毫秒
1.
2.
3.
利用CCS的协议描述与验证技术的研究 总被引:3,自引:0,他引:3
龚正虎 《计算机研究与发展》1995,32(3):61-65
本文讨论的CCS在协议描述与验证方面的应用技术和两个案例分析表明,通讯系统演算CCS在协议描述、协议验证等方面有巨大应用潜力。 相似文献
4.
5.
基于多代理的动态联盟基础框架 总被引:1,自引:0,他引:1
全球化市场的形成和客户需求的变化提出了组建企业动态联盟的要求,而企业信息系统的现状决定了需要新的技术来支持企业的信息集成。多代理系统的特征使它成为了构造动态联盟的有利工具。文章分析并介绍了多代理系统的结构特点,多代理间协同工作的方法,提出了基于代理的企业资源集成方案。 相似文献
6.
介绍响水铺水电站集散型控制系统的构成和 372 0ACM高级电力综合监控仪的优良性能 ,以及用它实现系统通讯的过程。 相似文献
7.
本文对现代远程教育的现状进行了讨论,研究了计算机辅助教学课件中个别辅导型课件的教学特点及其教学过程,建立一个个别辅导型课件的互操作数据模型,并通过一个实例验证了该模型的可行性与可靠性。 相似文献
8.
为对象代理数据库的虚属性查询提出两种优化方法---表达式提升和虚属性合并。表达式提升将虚属性查询转换为对源类中实属性的查询;虚属性合并是对查询涉及的属于相同源对象的多个虚属性,一次性获取相应源对象的属性值用于虚属性值的计算,避免多次访问同一源对象。通过实验分析了这两种方案对虚属性查询的性能影响,实验结果表明,对于虚属性和代理层数较多的查询,表达式提升和虚属性合并的方法极大提升了查询效率。 相似文献
9.