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

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

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

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

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

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

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

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

空间绳网系统展开动力学特性分析

空间绳网系统是一种新型轻质空间柔性结构,具有很大的应用价值。针对地面环境和太空环境下的不同受力特性,推导空间绳网动力学模型;通过地面试验验证仿真模型的可信度;基于展开面积、飞行距离等性能参数,仿真分析空间绳网展开过程中的绳网位形、应力分布以及能量变化等动力学特性,分析轨道高度、捕获方向和发射参数对展开效果的影响。     

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

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

履带车辆地面牵引力的计算与试验验证

为研究履带车辆在砂土路的行驶特性,分析计算其直线行驶时的履带牵引力与滑转率的关系,根据履带车辆地面接地压力分布试验测试结果,建立了接地压力简化模型,提出了一种履带车辆地面牵引力的计算方法。结合土壤参数试验测试结果,计算得到履带车辆每个负重轮下地面牵引力以及整车的地面牵引力与滑转率的关系,并进行了地面牵引力实车试验,测试结果和计算结果的一致性验证了计算模型的可信性,为履带车辆行驶载荷的计算奠定了基础。     

视觉/言论

从反卫星到发射卫星美国曾在上世纪80年代开展过F-15发射导弹反卫星的研究,如今美国高级研究计划局正在开展用F-15发射小卫星的项目,名为"机载发射辅助进入空间"(ALASA)。项目已经取得阶段性成果,进入样机制造与系统验证阶段,计划制造12枚火箭。美军期望借助ALASA火箭,能够在接到通知24小时内,将不超过45千克的载荷送入轨道,成本不超过100万美元。     

多因素空间近距离巡查效能评估建模

空间近距离巡查可以开展对目标的近距离观测和监视,用于识别目标类型和工作状态等,对在轨服务、博弈对抗等军民领域均具有重要意义。分析了空间巡查任务的一般形式,并以近距离巡查最常用的光学观测为对象,构建了巡查观测的约束模型和相对距离因素评估模型、有效观测时间评估模型、目标观测角度评估模型等多因素的观测任务效能评估模型,解决了面向巡查任务全过程的综合效能评估问题,可以更好地支撑基于评估结果的巡查策略设计和巡查轨迹优化等。基于数值算例分析和半实物仿真实验,对提出的评估模型进行了仿真验证,结果显示实际观测效果和模型评估结果一致。     

美俄过境协议在俄惹不满

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