一个具有链路层支持的快速Mobile IP切换算法

由于目前流行的Mobile IP切换都假定了IP层无法得到链路层信息,所以,只能通过周期性地广播代理广告来实现位置移动检测,因而浪费了无线带宽,延长了切换时间,降低了TCP性能.一方面随着无线网络带宽的不断增高(当前的带宽已达到2Mbps),无线链路上的信息传输延迟将越来越小;另一方面,在移动计算环境中,如果IP层能够及时获得一些无线链路层的信息,那么上述的缺点就能被有效地克服.本文提出了一种具有链路层支持的快速Mobile IP切换算法,分析了快速Mobile IP切换算法和三个已知切换算法的切换时间,并在我们已完成的宽带无线IP网络中对上述切换算法进行了对比实验.理论分析和对比实验均表明快速Mobile IP切换算法的延迟降低了一个数量级且极大地改善了TCP性能.     

移动P2P网络中超级节点的选择

针对移动P2P网络中节点移动性强、网络拓扑结构变化剧烈、导致系统的低效和不可靠问题,提出一种移动P2P网络中的超级节点选择算法,该算法能够选择性能好、在线时间长的节点作为超级节点,并且采用候补超级节点技术,有效改善移动P2P网络系统的效率。仿真实验结果表明,该算法可以有效降低超级节点的失效率和缩短查询延迟。     

话说梅花

梅花是我国传统名贵花木,栽培历史已有3000多年.始植于殷商,渐盛于隋唐,兴盛于宋代,明清发展更盛,近代梅花栽培和研究及梅文化飞速发展,人们称梅为"天下尤物".     

创建合同能源管理投融资交易平台

北京环境交易所（简称环交所）是经北京市人民政府批准设立的特许经营实体，是集各类环境权益交易服务为一体的专业化市场平台。经过北京环境交易所、中国节能协会节能服务产业委员会、中能联盟的共同努力，环交所最终确定以节能服务项目的未来收益权为转让标的。通过第三方专业评估来揭示技术风险和信用风险，通过共管账户来结算资金，通过未来收益权部分转让及优先支付受让人以降低买家的风险……     

“原电池电动势的测定”实验的几点改进

电动势的测定是物理化学实验教学中的重要内容,大多数国内高校都开展了关于电动势测定及其应用的实验。但在多年实验管理和教学中发现,实验存在如汞污染严重、甘汞电极损耗较多及实验数据时有不稳定等问题,该文针对上述问题对原电池电动势的测定实验做出几点改进,改进后实验数据更加稳定可靠,同时提高了实验室管理人员的工作效率,节省了实验经费。     

介绍一种新型基础实验教学用恒电位仪

介绍一种新型JH11型双数显恒电位仪的结构、工作原理与主要技术指标。该仪器操作方便,稳定性好,读数准确,结果更加可靠,非常适合用于金属钝化曲线测定的基础实验教学。     

三峡工程茅坪溪土石坝防渗设计

茅坪溪土石坝是三峡水利枢纽的重要组成部分，采用沥青混凝土心墙土石坝型，是目前国内兴建的第1座沥青混凝土心墙高土石坝，其技术难度很高，且无成熟经验借鉴。具体介绍了大坝防渗系统的布置、结构形式，各种不同防渗型式之间的连接及沥青混凝土心墙与周边建筑物的连接方法。工程建设中一些关键技术问题的研究，将为我国沥青混凝土坝积累宝贵经验，并推动我国沥青混凝土防渗技术的发展。     

龙首水电站枢纽布置设计

龙首水电站位于西北高寒地区，在设计过程中结合坝址处地形、地质、气候条件，进行了枢纽布置方案的比选。主要是对拦河坝方案、泄洪与冲沙方案和厂房及引水系统布置方案进行了比选，最终选择了拱坝、重力坝以及推力墩相结合的型式，全部采用碾压混凝土，其中双曲拱坝坝高80m，为目前世界上较高较薄的双曲碾压混凝土拱坝。     

膜与纸的联合 创新包装新选择 “亚太包装论坛创新研讨会”在沪举行

<正>日前,由希悦尔公司与毕瑞贸易(上海)有限公司联合主办的亚太包装论坛创新研讨会在上海青浦成功举行。此次研讨会以"膜与纸的联合–创新包装新选择"为主题,聚焦食品包装的可持续发展与创新问题。来自国内外知名的食品包装企业及学界代表包括中粮、双汇、六和、芬兰威凯集团以及上海大学的等代表参加了此次研讨会。希悦尔与毕瑞分别是食品包装和纸品行业的领导企业。双方此次合作主办此次绿色包装研讨     

面向形式化证明的命令生成技术

随着软件规模的不断增大,软件安全问题日益严重.作为软件系统安全检测的有效手段,形式化证明旨在利用数学方法完成对软件属性的严格验证.常用的形式化证明方法利用模式匹配来进行定理证明,但存在策略生成不完备等缺陷.本文提出一种基于注意力机制的命令预测框架,将LSTM与Coq结合,预测定理证明过程中的策略和参数.实验结果表明本文...