期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
类JVML在线部分计值器的正确性证明 被引量:1
1
作者 李渊洁 侯忆铭 孙永强 《上海交通大学学报》 EI CAS CSCD 北大核心 2002年第9期1298-1300,共3页
定义了 JVML指令序列的程序语义 ,构造了相关的 JVML子集部分计值器并形式化地给出了计值规则 ,证明了计值规则的正确性 ,说明了表达式和语句在一定的环境下通过部分 /剩余( Partial/Residual)计值和全局 ( Total)
关键词 Java虚拟机语言 语义函数 计值规则 剩余计值 全局计值 JVML 在线部分计值 正确性证明
下载PDF
Java字节代码程序的部分计值
2
作者 侯忆铭 孙永强 《上海交通大学学报》 EI CAS CSCD 北大核心 2002年第9期1301-1303,共3页
为了有效地构造一个 Java部分计值器 ,并且形式化地描述计值规则 ,提出了 Java字节代码程序的静态语义 ,在此基础上构造了一个 online的 Java部分计值器 。
关键词 Java字节代码程序 静态语义 Java部分计值 程序转换 计值规则 语法范畴
下载PDF
Non-Rigid Image Registration Algorithm Based on B-Splines Approximation
3
作者 张红颖 张加万 +1 位作者 孙济洲 孙毅刚 《Transactions of Tianjin University》 EI CAS 2007年第6期447-451,共5页
An intensity-based non-rigid registration algorithm is discussed, which uses Gaussian smoothing to constrain the transformation to be smooth, and thus preserves the topology of images. In view of the insufficiency of ... An intensity-based non-rigid registration algorithm is discussed, which uses Gaussian smoothing to constrain the transformation to be smooth, and thus preserves the topology of images. In view of the insufficiency of the uniform Gaussian filtering of the deformation field, an automatic and accurate non-rigid image registration method based on B-splines approximation is proposed. The regularization strategy is adopted by using multi-level B-splines approximation to regularize the displacement fields in a coarse-to-fine manner. Moreover, it assigns the different weights to the estimated displacements according to their reliabilities. In this way, the level of regularity can be adapted locally. Experiments were performed on both synthetic and real medical images of brain, and the results show that the proposed method improves the registration accuracy and robustness. 展开更多
关键词 non-rigid image registration B-splines approximation REGULARIZATION
下载PDF
Nonlinear diffusion methods based on robust statistics for noise removal
4
作者 贾迪野 黄凤岗 苏菡 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 2007年第3期440-444,共5页
A novel smoothness term of Bayesian regularization framework based on M-estimation of robust statistics is proposed, and from this term a class of fourth-order nonlinear diffusion methods is proposed. These methods at... A novel smoothness term of Bayesian regularization framework based on M-estimation of robust statistics is proposed, and from this term a class of fourth-order nonlinear diffusion methods is proposed. These methods attempt to approximate an observed image with a piecewise linear image, which looks more natural than piecewise constant image used to approximate an observed image by P-M model. It is known that M-estimators and W-estimators are essentially equivalent and solve the same minimization problem. Then, we propose PL bilateral filter from equivalent W-estimator. This new model is designed for piecewise linear image filtering, which is more effective than normal bilateral filter. 展开更多
关键词 Bayesian regularization M-ESTIMATION nonlinear diffusion bilateral filter
下载PDF
Relativistic Continuum Random Phase Approximation and Applications Ⅱ. Applications
5
作者 杨丁 曹李刚 马中玉 《Communications in Theoretical Physics》 SCIE CAS CSCD 2010年第4期723-730,共8页
The fully consistent relativistic continuum random phase approximation (RCRPA) has been constructed in the momentum representation in the first part of this paper. In this part we describe the numerical details for ... The fully consistent relativistic continuum random phase approximation (RCRPA) has been constructed in the momentum representation in the first part of this paper. In this part we describe the numerical details for solving the Bethe-Salpeter equation. The numerical results are checked by the inverse energy weighted sum rules in the isoscalar giant monopole resonance, which are obtained from the constraint relativistic mean field theory and also calculated with the integration of the RCRPA strengths. Good agreement between them is achieved. We study the effects of the self-consistency violation, particularly the currents and Coulomb interaction to various collective multipole excitations. Using the fully consistent RCRPA method, we investigate the properties of isoscalar and isovector collective multipole excitations for some stable and exotic from light to heavy nuclei. The properties of the resonances, such as the centroid energies and strength distributions are compared with the experimental data as well as with results calculated in other models. 展开更多
关键词 Hartree-Fock and random-phase approximations giant resonances nuclear matter
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部