a higher-order duration calculus and its completeness

National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office

Boundary knot method for 2D and 3D Helmholtz and convection-diffusion problems under complicated geometry

The boundary knot method (BKM) of very recent origin is an inherently meshless, integration-free, boundary-type, radial basis function collocation technique for the numerical discretization of general partial differential equation systems. Unlike the method of fundamental solutions, the use of non-singular general solution in the BKM avoids the unnecessary requirement of constructing a controversial artificial boundary outside the physical domain. The purpose of this paper is to extend the BKM to solve 2D Helmholtz and convection-diffusion problems under rather complicated irregular geometry. The method is also first applied to 3D problems. Numerical experiments validate that the BKM can produce highly accurate solutions using a relatively small number of knots. For inhomogeneous cases, some inner knots are found necessary to guarantee accuracy and stability. The stability and convergence of the BKM are numerically illustrated and the completeness issue is also discussed.

多媒体节目时序描述的完全性和协调性

完全性和协调性是形式规范的两个基本性质 .针对不同的形式规范 ,完全性和协调性的定义可能是不同的 .该文首先根据通信顺序进程的理论 ,把一个多媒体流用两个瞬时事件表示 ,并且定义了时间区间向量的概念和在它之上的一些运算 .基于这些准备工作 ,文中给出了多媒体系统中媒体对象时序关系描述的完全性和协调性的形式定义 .由于文中讨论的时序描述语言较简单 ,但是对于多媒体领域又是足够的 ,因此 ,与相关工作比较 ,该文研究的完全性和协调性的形式定义更直观 ,判定算法也更高效

Structural changes of TiO2 gel using Eu3+ ion as the fluorescence probe

Because of the extremely sensitivity to the local environment of the D-5(0) --> F-7(2) transition of Eu3+ ion, the fluorescence of Eu3+ ions was Studied by introducing Eu3+ ions to TiO2 gel by the sol-gel method, from which the structural changes of TiO2 gel were characterized. The results showed that the intensity of D-5(0) --> F-7(2) transition increased with the increasement of heat treatment temperature, which indicated the evaporation of molecular water and the completeness of the condensation reaction. Because of the quenching of the fluorescence induced by the cluster of Eu3+ ions, the addition of Al3+ ions greatly enhanced the emission intensity of Eu3+ ion.

理性遗传算法及其在运动规划中的应用

为提高理性遗传算法遗传信息的完备性、算法全局收敛性以及算法的整体结构,给出了一个更一般化的理性算子和算法结构,证明了算法的全局收敛性.理论分析和在运动规划问题中的应用结果验证了理性遗传算法的有效性.

含空值关系数据库中关系代数的实现

本文从空值的完全语义出发,依据空值环境下信息等价和信息相容的含义,全面定义了空值环境下运算结果完备的关系代数运算,并对空值环境下关系代数运算的有效性和完备性进行了讨论。

含有空值关系数据库的查询处理

本文在深刻理解空值语义的基础上，给出一种处理占位型空值的方法。讨论了空值环境下关系数据库的查询策略，定义了含三种查询操作的关系代数最小完备集中的关系代数运算，并对查询计算的有效性和完备性进行了分析。