用逻辑方法验证移动Ad Hoc网络协议

针对移动Ad Hoc网络节点移动和无线广播通信特征,引入移动算子和广播算子,扩展形式逻辑LS2,提出了建模和分析移动Ad Hoc网络安全系统的逻辑ELS2.ELS2把网络模型化为不同位置上执行程序的线程复合,把攻击者模型化为与协议参与方并发运行的线程.ELS2中提出网络迹概念,描述网络节点内部计算和外部交互,以及节点移...     

基于IP网络构建视频会议系统技术

根据IP网络的主要特点,重点从网络带宽、压缩技术、多播技术、传输协议、QOS等五个方面论述了基于IP网络构建视频会议系统的技术要求.     

通信计费数据采集与传输模式的研究

计费数据采集与传输为计费系统采集必要的计费数据,并把数据准确地传送到目的地。计费数据采集与传输是计费系统的前提和基础,其性能直接影响着计费系统的好坏。错综复杂的网络和通信,对计费数据采集与传输的要求也越来越高：计费数据采集与传输要可靠、实时,要有友好的用户界面。针对以上要求,对它们的框架、模型及计费数据的采集方式、使用的协议等进行了研究和探讨。     

基于移动IP组播机制的研究

无线宽带的接入需要目前计算环境提供对固定IP网络主机移动性的支持.一方面,互联网工程专门小组(IETF,Internet Engineering Task Force)在现有IP协议的基础上设计了一种支持主机漫游的网络层协议—Mobile IP;另一方面,作为一种高效的多点通信方式,IP组播在固定IP网络中提供了支持分布式多媒体应用和海量数据传送的机制.以移动IP作为路由协议面向移动主机提供组播机制是一个极具理论和实践意义的研究课题.在对相关文献进行深入研究的基础上,提出了一个新的解决方案,与现有移动IP组播机制仿真试验结果的比较表明,在相同环境下具有较小的资源开销和较高的效率,从而提供更好的网络服务质量(QoS Quality of Service)保证.     

基于平台的SoC设计技术研究

文章分析了平台的概念及基于平台的SoC的设计流程,重点讨论了平台的构建方法及基于平台的产品开发过程中的2个关键问题,即IP(Intellectual Property)集成方法和参数化总线桥的设计,为构建平台库及顺利利用平台进行SoC产品开发积累了一定的经验。     

无线通信环境下VoIP的应用

目前,随着无线通信技术GPRS(General Packet Radio Service)和IEEE802.11 WLAN(WirelessLocal Area Networks)的应用越来越普及,如何将VoIP和无线通信技术有效地结合起来成为了下一代的无线网络的研究方向了.阐述了在无线广域网和无线局域网上VoIP的应用,并且展望了下一代的互连网协议IPv6在VoIP中的应用.     

一种双种群进化集成QoS组播路由算法

设计了一种IP/DWDM光Internet中的非NP类QoS组播路由算法,采用树形编码方式,基于双种群进化,寻找一棵带宽、延迟、延迟抖动与出错率受限的费用优化组播路由树,集成解决路由与波长分配问题.仿真结果表明,该算法是可行和有效的,不仅能够满足QoS约束,而且性能优于基于经典遗传算法设计的QoS组播路由算法,克服了算法易早熟、收敛慢等缺点,有效地解决了IP/DWDM光Internet中的QoS组播路由问题.     

Properties of strong hydrogen-bonded systems: The formation of hydrogen-bonded ion pair in amine·HCL systems

The hydrogen-bonded complexes between CH₃NH₂ and (CH₃)₂NH with HCl have been studied by the ab initio molecular orbital method using the 4–31G basis set. Calculations show that the proton potential curve has a single minimum near to the nitrogen atom in both complexes. This means that the proton has been transferred from HCl to the amine. ΔE and the dipole moment of the complexes studied are as follows: ?18.2 kcal mol^?1, 10.3 D for methylamine ·HCl, and ?21.7 kcal mol^?1 11.1 D for the corresponding dimethylamine complex. Other properties of the hydrogen-bonded ion pairs are discussed.     

A theoretical approach to substituent effects: Stabilities and conformational preferences in β-substituted ethyl radicals

Ab initio molecular orbital theory is used to study substituent effects in a series of β-substituted Et radicals XCH₂CH₂. For X = BH₂ (plan.), CH₃, NH₂, OH and F, only slight conformational preferences and weak stabilizations are indicated. Such behaviour may be rationalized, using a PMO model, in terms of opposing changes, accompanying variation in X, in positive and negative hyperconjugation between the XCH₂ group and the CH₂ centre. On the other hand, for groups containing an appropriately oriented, low-lying vacant orbital, viz. X = Li, BeH and BH₂ (perp.), there is a pronounced preference for the perpendicular conformation of the radical. This is attributed to 1,3-interaction between the singly-occupied 2p(C) orbital and the vacant 2p(X) orbital.     

Trace element determinations in shale oil products by neutron activation

Neutron activation offers some important advantages for the determination of selected trace elements in shale oil products. This paper gives techniques and results of a study of crude shale oil and naphtha, heavy distillate, and wax products of shale oil. The elements determined were Al, As, Au, Br, Ce, Cl, Co, Cr, Fe, Hg, I, K, Mn. Mo, Na, S, Sb, Se, V, and Zn. Some elements (Mn, Na, As) tend to accumulate in heavier fractions, whereas chlorine and iodine are concentrated in the more volatile fractions. The volatility of sulphur compounds in the shale oil products appears to be essentially uniform, with some tendency toward accumulation in distillation residues. The tendency for the trace elements to accumulate in the waxes that precipitated from cooled heavy distillates was very low.