流媒体的RTP传输与QoS管理策略研究

应用RTP协议进行传输和实现QoS管理是当前数据传输方面的热点问题,通过分析RTP协议的结构和原理,提出了一种RTP的传输模型,实现了数据流的RTP传输,同时就RTCP协议(RTP协议的传输控制部分)对QoS的管理策略进行了理论探讨.     

CMP1协议的符号模型检验分析

提出采用模型检验方法研究电子商务协议的非否认性与公平性问题,建立了认证电子邮件协议CMP1的有限状态机模型,并用SMV检验工具对其非否认性与公平性进行了分析检验,经过分析发现了CMP1协议不满足公平性并对其进行了相应修改.结果表明,利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的.     

一个新的电子发票协议及其公平性分析

在克服著名电子发票服务IBS协议缺陷的基础上,提出了一个新的电子发票服务协议.同时,采用新的基于扩展Kailar逻辑的分析方法对新协议进行了公平性形式化分析与修改,最终得到一个可以工作在不可靠信道上的公平电子发票服务协议.     

美国海军陆战队新型H-1型直升机进行海试

据报道,美国为海军陆战队研制的新型H-1型直升机,已经完成了初步海上试验。今年5月份,远离弗吉尼亚海角,在USS巴丹两栖攻击舰上进行的舰载兼容性试验中,AH-1Z武装直升机和UH-1Y通用型直升机在30h飞行中做了267次着陆。计划今年晚些时间对两种型号直升机进行作战评估。美国海军陆战队将从贝尔直升机德克斯特朗公司购进90架新UH-1Y型通用直升机,而不是将UH-1N改造为UH-1Y。根据海军空中系统指挥部的说法,由伊拉克争取自由民主的作战步骤的加快、UH-1N的寿命、新的和改造直升机在价格上的差异,影响了国防部副部长迈克尔.温的决策。项…     

解除收养关系后养子女对养父母仍有给付生活费的义务

【案例】李某夫妇于1978年收养3岁的王某为养子,并将其抚养成年。1999年王某婚后,因生活琐事,与李某夫妇的关系日益恶化。2001年,李某夫妇同王某签订了解除收养关系的书面协议。现由于李某夫妇年迈体弱、缺乏生活来源,遂要求王某给付生活费用,而王某却以《收养法》第二十九条“收养关系解除后,养子女与养父母及其近亲属问的权利义务关系即行消除”为由拒绝。王某果真就可以不承担李某夫妇的生活费用了吗?     

南京机电与霍尼韦尔合资公司在美召开董事会

<正>近日,南京机电主任(总经理)焦裕松带领合资公司(凯信)中方董事与霍尼韦尔合资公司(凯信)美方董事在洛杉矶霍尼韦尔托兰斯工厂召开董事会。董事会上,南京机电主任(总经理)焦裕松表示,将全力支持合资公司的发展,利用南京机电在中航工业的影响,协助合资公司开拓相关航空业务,并就有关细节问题进行了讨论。凯信公司总经理汇报了合资公司在2014年运营情     

美俄过境协议在俄惹不满

作为俄美关系“重启”的重要成果,美国部队和军用物资过境俄罗斯输往阿富汗的协议一直备受瞩目。2月25日,俄杜马通过了这一俄美经由外交管道协商达成的合作方案。自此,美军将可以通过俄罗斯国境运送士兵及物资,其标志性意义不亚于“9·11”事件后美军在莫斯科默许下进入中亚。     

资讯

航天科技集团与山西省签署战略协议 近日,中国航天科技集团公司与山西省人民政府签署战略合作框架协议。这是集团公司积极响应中央有关中央企业与地方政府战略合作的战略思想取得的又一成绩,标志着双方将更加深化优势互补、互相促进、共同发展的战略合作关系。集团公司和山西省政府有关部门负责人出席了签约仪式。     

针对SCPS-NP的协议分析方法

描述了卫星通信协议中网络层协议SCPS-NP的基本结构,阐述了BM算法与ID3算法原理,提出了一种新的针对空间传输协议的有效分析方法———NP-BM-ID3算法,并通过仿真实验进行验证。实验结果表明：通过将原有的数据集分类,该算法不仅有效地解决了模式串长度不足问题,而且减少了规则总数,在条件属性数量不变的情况下降低了运算复杂度。     

《军事通信技术》2010年优秀论文获奖名单

一等奖(3名):李慧,沈越泓,陈士周.信源数动态变化的一种稳健超定盲分离算法(2—1);李海源,覃光成,吴泽民,田畅.基于预测的战场态势感知信息分发机制(1—1);颜伟,蔡跃明,陈华梁.多播中基于网络编码的协同ARO协议分析(3—1).二等奖(6名):李兴卫,王华力,孙磊,张磊.智能天线DBF算法可重构的SCA设计及其仿真实现