基于云服务传递网络的弹性P2P VoD覆盖网构造方法

部署于云服务传递网络(Cloud Service Delivery Network,CSDN)基础设施的P2P VoD系统,在每个CSDN节点内将同一节目的所有用户构建成P2P覆盖网,但CSDN单节点内大量节目的并发用户稀少.因此,如何在兼顾流量本地化的前提下,解决CSDN架构下P2P VoD覆盖网构造中Peer资源稀疏问题是当前面临的一个挑战.为此,提出一种P2P覆盖网的弹性构造方法ECM( Elastic Construction Method).ECM依据资源索引来弹性扩展P2P覆盖网的构造范围,有效解决Peer资源稀疏问题;同时根据CSDN节点间距离来选择扩展路径,实现P2P流量本地化.最后模拟实验结果表明,ECM能有效均衡服务器负载和跨ISP流量.     

可信软件的构造与演化分析专刊前言

近年来,软件及其运行环境发生了质的变化,边界开放、规模巨大、行为复杂等特点使得软件系统在可信性方面面临许多新的挑战.如何构造和维护可信的软件系统受到了工业界和学术界越来越多的关注和重视,多国政府、组织、企业、科研机构纷纷提出了与可信软件构造与演化相关的研究计划.     

虚拟计算环境中基于重复博弈的惩罚激励机制

如何促进网络中自主元素自觉规范行为、积极有序协作从而形成“可信的计算平台”是下一代互联网亟需解决的重点问题.提出一种基于重复博弈的惩罚激励机制PETrust,旨在有效促进自主元素采取系统期望的诚实协作策略进行规范行为.PETrust根据自主元素信誉特征的变化动态调整惩罚力度.理论分析和实验结果表明,PETrust能够有效区分自主元素的不同行为特征,遏制和惩罚恶意行为,提高自主元素诚实交易的积极性和系统的整体效率,并具有更好的抵御共谋欺骗的能力.PETrust还同时具备计算复杂度低、报文通信量小的特点,利于部署实施.     

A formal framework of multi-agent systems with requirement/service cooperative style

Adopting three kinds of speech acts:request,promise,and inform,this paper analyses the interaction among agents in a kind of multi-agent systems with requirements/services cooperation style(MASr-s).The paper gives the objective model the theoretic satisfaction conditions of three kinds of speech acts in MASr-s.The formal definition of MASr-s has been presented.To evaluate concrete implementation architecture and mechanism of the variant MASr-s.including client/server computing architecture and mechanism,a spectrum of MASr-s has been proposed,which captures direct request/passive service mechanism,direct request /active service mechanism,indirect request/active service mechanism,and peer to-peer request /service mechanism.The Spectrum shows a thread to improve traditional client/server computing.     

支持高效ORB的IDL编译技术

随着远程通信系统、航空控制系统等新一代分布式应用的出现,对ＯＲＢ产品的性能提出了越来越高的要求,提供高效的ＯＲＢ产品迫在眉睫。本文提出了支持高效ＯＲＢ的ＩＤＬ编译技术。     

基于对开门冰箱的自动供水系统设计

为解决现有技术中冰箱供水系统存在的不足,以当今市场上主流的对开门冰箱为载体,提出一种冰箱自动供水系统,能够有效保证冰箱供水系统中的用水安全、卫生,保证供水系统中压力的稳定性,有效延长冰箱使用寿命。     

金融系统中的网络建设——人民银行驻马店地区帧中继金融区域网工程设计与实践

一、用户需求 为了实现人民银行驻马店地区中心支行与辖区内各金融机构和九个县级人行的广域网互连,完成组建驻马店地区金融区域网,使人行的各大应用系统如电子联行、资金清算以及连接各金融机构的信贷咨询系统上网运行,人行驻马店中心支行向集成商中软网络系统有限公司提出以下要求: 1、地级各金融机构和县级人行共16家单位与中支人行连接时,均采用帧中继通信线路;2、县、乡级金融机构采用X.25或PSTN方式与中支人行连接入网;3、金融区域网要支持TCP/IP、SNA和SDLC等多种通信协议,以便拓展业务;4、驻马店金融网作为中国国家网(CNFN)的一个区域网,是CNFN的扩充和延伸。它包括市一县网和城市网,系统中心设在人行驻马店地区中心支行;5、系统的设计、设备的选型遵从先进实用、安全保密、可靠方便、易维护、易扩充的原则。     

Horn逻辑上的范畴等价及方法推广

本文根据范畴等价的思想,讨论了Horn逻辑上的一种范畴等价,其中一个范畴是Horn范畴C_HT,其态射是保真关系,另一个范畴是Herbrand解释范畴C_HB,范畴等价可以描述作用于理论上元级操作的语义,本文一般性地描述了这一方法的思想。     

面向智能主体的程序设计

面向智能主体的程序设计是一种以计算的社会观为基础的新型程序设计范例。本文介绍我们在ＡＯＰ方面进行的研究工作。ＡＯＰ工作以多个智能主体的知识信息处理问题为背景，采用ＡＯＰ的语法途径，强调将知识本文首先讨论与ＡＯＰ相关的智能主体的体系结构。然后，以ＡＯＰ语言ＲＯＯＴ的技术支点（即面向对象程序设计技术、基于条件重写的逻辑程序设计技术和元级推理技术等）为线索介绍ＲＯＯＴ。最后通过一个简单例说明ＲＯＯＴ的Ａ     

分布计算技术

由于社会需要的牵引和使能技术的推动，分布计算模式正在深刻地影响着现代信息社会的形成和发展。本文从总体上讨论分布计算技术，试图说明分布计算环境的概念、分布计算技术的发展现状和趋势，以及发展分布计算应用面临的挑战。