彩铃产业链危急

彩铃版权纠纷仅仅是电信增值业务中的冰山一角,但其中暴露出的问题,或许将会成为引发整个产业链崩掉的导火索。     

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

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

ROBUSTNESS OF AN UPWIND FINITE DIFFERENCE SCHEME FOR SEMILINEAR CONVECTION-DIFFUSION PROBLEMS WITH BOUNDARY TURNING POINTS

We consider a singularly perturbed semilinear convection-diffusion problem with a boundary layer of attractive turning-point type. It is shown that its solution can be decomposed into a regular solution component and a layer component. This decomposi-tion is used to analyse the convergence of an upwinded finite difference scheme on Shishkin meshes.     

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

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

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

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

具有非凸条件的单个守恒律初边值问题整体弱熵解的结构

在流函数具有有限个拐点,初始值为两段常数和边界值为常数的条件下,研究非凸单个守恒律的初边值问题整体弱熵解的结构、初等波与边界的相互作用情况以及弱熵解在边界附近的性态.     

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

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

EXACT CONTROLLABILITY FOR FIRST ORDER QUASILINEAR HYPERBOLIC SYSTEMS WITH ZERO EIGENVALUES＊＊＊

For a class of mixed initial-boundary value problem for general quasilinear hyperbolic sys-tems with zero eigenvalues, the authors establish the local exact controllability with boundary controls acting on one end or on two ends and internai controls acting on a part of equations in the system.     

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

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

用边界运算刻划拓扑空间

本文从定义边界运算出发，给出拓扑空间的一个新的定义。