复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

浅谈嵌入式移动数据库的应用

随着移动通信技术的进步,嵌入式移动数据库技术在许多领域中得到广泛应用.文章研究了嵌入式移动数据库的应用现状,分析了移动数据库应用的关键技术,并指出其发展前景.     

数字电视传输网络技术与标准

数字电视的传输手段主要有卫星、地面发射、HFC网络、SDH等,其中SDH主要用于数字电视节目的长距离传输。我国已完成了广播电视卫星传输的数字化改造,已经形成了以DVB-S技术构架的数字电视卫星广播网,DVB-T的实验播出正在准备之中,而作为数字电视广播在国内的主要覆盖手段的DVB-C,已在开始在HFC网络中大力推广。     

潜热型热功能流体强化换热分析

本文建立了分析带有相变微胶囊的潜热型热功能流体的流动和换热过程数理模型,应用有限差分法和移动热源法进行联合求解。计算结果表明,相变微胶囊的加入:较好地提高了流体的换热性能。获得了相变颗粒大小和体积分数对强化换热影响等结果。计算结果对该类流体的设计和应用提供了理论依据。     

移动IPV6中的DoS和DDoS攻击分析与对策

移动IPv6由于其移动性要求而引起了一系列新的安全问题.本文着重对移动IPv6的返回路由性过程的算法进行了分析,指出该算法导致DoS和DDoS攻击的原因,并根据此过程中的攻击特性提出了一种增强的返回路由过程来防御攻击的措施.     

省部产学研结合创新成果助力抗震救灾：“应急布控无线移动数字视频传输系统”显神威

由深圳清华大学研究院牵头，联合清华大学、深圳等地的企业共同承担的广东省教育部产学研结合项目“应急布控无线移动数字视频传输系统”的成果已进入产业化阶段，并在数次社会突发事件应对中取得显著成效，特别是在四川抗震救灾中发挥了重要作用。     

南屯矿63_上10面综采放顶煤开采覆岩移动变形破坏特征研究

本文根据使用新技术──双回路注（放）水系统在６３上１０工作面综采放顶煤开采覆岩破坏的探测结果，结合其它采矿方法的实测结果，应用断裂力学理论，研究了放顶煤开采覆岩移动变形破坏特征，为矿井安全生产提供了依据。     

关于刚体平动的判别法

刚体平动是刚体最基本的运动形式之一。关于刚体平动,国内各种理论力学教材大致采用下述统一的定义:在刚体运动过程中,其上任意直线始终平行于它的初始位置,这种运动称为刚体的平行移动,或简称为刚体平动。众所周知,该定义便于推知刚体平动的运动特性,即平动刚体上各点的运动轨迹相同,在同一瞬时各点的速度和加速度分别相等。在求这类刚体上任意一点的速度和加速度时,最基本的一项工作是首先判定该刚体作平动,然后代     

防手机病毒技术前景广阔

近些年来，随着电脑网络技术的发展，计算机病毒变得越来越猖獗，带来的破坏和危害也越来越大。虽然人们已经采取了许多安全保护措施。然而，“道高一尺，魔高一丈”，计算机病毒在互联网上四处横行，并有愈演愈烈之势。最近许多资料显示，计算机病毒的魔爪又伸向了手机和其他移动上网设备。