基于C/S下DHCP技术的实现

多媒体机房通常使用固定的IP地址通过局域网接入Internet,静态IP分配已暴露出许多弊端,DHCP动态主机配置技术能解决IP冲突等问题,提高了网络性能、简化了网络管理。     

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

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

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

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

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

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

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

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

要闻

国防科工委和天津签署建立全面战略合作关系框架协议，绕月探测工程领导小组第六次会议召开，国防科工委部署安全保密工作,国防科工委部署安全生产工作,     

能否不通过短信服务发送文本信息

声音和文本是作为比特流在手机和基站之间传送。短信息服务是一种协议,移动用户可利用它发送和接收文本。但是手机和个人数字助理(将计算机、手机、相机和音乐播放器合为一体)也可以通过GPRS(通用分组无线业务)来交换数据,例如 WAP     

分布式交互仿真(DIS)系统管理体系的分析和设计

本文主要阐述了DIS系统的产生背景 ,DIS系统的管理与网络管理的区别和联系 ,以及DIS管理系统的设计原则。最后提出了一个实用的DIS管理系统的体系结构。     

HJ—90总线控制协议设计

总线控制协议是高速多路串行数据总线的关键,它决定了多路串行数据总线的实时响应能力以及在高负载和低负载情况下的串行数据总线的特性。本文介绍舰载实时分布式系统的总线控制协议,即HJ-90总线协议。实验结果表明,该总线控制协议不论在高负载还是在低负载情况下,均具有良好的实时响应能力,能够满足舰载分布式指控系统的要求。同时,该协议还具有简洁性,便于实现,有利于提高系统的可靠性。     

因特网安全策略

用户日益增多的因特网长期以来受到安全问题的困扰,本文分析了因特网协议栈中的安全隐患,介绍了一些使用密码安全策略改进因特网的措施。