实三次域K=Q((a~2)b~(1/3)中的单位

本文给出了实三次域K的一组整基，讨论了域K中的单位，并给出了基本单位的特征及其与某个重要丢番图方程的密切关系．     

基组外推方法构建O(~3P)+H_2体系1~3A″的全维势能面

使用基于全活化空间自洽场(CASSCF)的多参考组态相互作用方法(MRCI+Q)和基组aug-cc-pV5Z构建了O(3P)+H2体系能量最低的13 A″和13 A′两个态的势能面,对13 A″态使用Varandas小组的外推方法,将基组aug-cc-pVQZ和aug-cc-pV5Z外推到完备基组极限(complete-basis-set limit).使用含时波包方法对新势能面进行动力学计算,并对比了只使用aug-cc-pV5Z基组时的速率常数,结果说明外推方法改进了势能面.     

Software Maintainability Prediction with UML Class Diagram

Software system can be classified into many function modules from the perspective of user. Unified modeling language( UML) class diagram of each function module was extracted,and design characteristic metrics which influenced software maintainability were selected based on UML class diagram.Choosing metrics of UML class diagram as predictors,and mean maintenance time of function module was regarded as software maintainability parameter. Software maintainability models were built by using back propagation( BP) neural network and radial basis function( RBF) neural network, respectively and were simulated by MATLAB. In order to evaluate the performance of models,the training results were analyzed and compared with leaveone-out cross-validation and model performance evaluation criterion. The result indicated that RBF arithmetic was superior to BP arithmetic in predicting software maintainability.     

关于施密特正交化的一点注释与应用

高等代数中求标准正交基、求正交阵都要用到施密特正交化。欧式空间的基中向量的位置不同,经过施密特正交化所得到的标准正交基的结果也不同,并且计算量的大小也不同。用施密特正交化法求实对称矩阵的逆矩阵是一种新的方法。     

易切削钢连铸工艺开发

随着我国机械工业的迅速发展,易切削钢受到越来越多的关注。为了满足日益发展的机械工业和汽车工业对易切削钢产量和质量的要求,国内外各钢铁企业积极开展提高易切削钢质量的相关工作。通过对易切削钢钢种特性的研究,找出了影响易切削钢连铸工艺顺行的关键环节和影响连铸坯质量的主要因素,在立足于原有冶炼设备和轧制设备,不增加投资的情况下,成功开发了易切削钢连铸工艺。     

基于阻抗矩阵归一化基函数的表面积分方程矩量法

提出了一种基于阻抗矩阵归一化的新型基函数,其构造过程简单易行、计算量和内存需求少且构造过程具有普适性.通过计算实例表明,基于RWG基函数的阻抗矩阵归一化基函数有效地改善了具有边缘、尖顶、精细结构理想导体目标电场积分方程矩量法的阻抗矩阵条件数、显著地降低了阻抗矩阵方程迭代法求解的迭代次数.     

无网格法求解分段连续型延迟偏微分方程

考虑了一类分段连续型延迟偏微分方程.首先分析了方程的解析解,给出了级数形式的解.其次采用无网格法求解了该类方程的数值解.利用θ-加权有限差分法对方程的时间变量进行离散,并利用Multiquadric(MQ)径向基函数和配点法建立了全离散格式.采用傅里叶分析法给出了数值方法稳定的条件.通过数值算例给出了方法的误差及验证了方法的有效性.     

基于加权L1最小化的图像小波域压缩感知重构

压缩感知理论因为能以少量的采样精确地重构原始信号而得到广泛关注.通过在压缩感知的框架下研究小波域图像重构问题,提出了一类小波域的加权l1最小化方法.该方法不仅利用了信号稀疏性的先验信息,而且在重构模型中,通过对不同小波子带上的系数施加不同的权重,从而整合了图像小波域的结构信息,与经典的压缩感知算法相比具有更好的信号可恢复性.仿真实验结果表明,选用该方法能够以更少的采样得到同等精度的重构图像,验证了该方法的有效性.     

Constructing a quasi-Legendre basis based on the C-Bézier basis

In the spaceГn = span{sint, cost, 1, t, t2, …, tn- 2[, a C-Bezier basis is constructed by an integral approach. However, the C-Bezier basis is not orthogonal. For some applications, we construct an orthogonal basis based on the C-Bezier basis, which has remarkable properties similar to that of the Legendre basis. Then we derive the transformation matrices that convert the C-Bezier basis and the orthogonal basis into each other. As an example of application, we apply this orthogonal basis to the degree reduction approximation of the C-Bezier curves.     

论刑事证据开示制度的价值基础——基于公正与效率的分析

刑事证据开示制度集中体现了刑事诉讼的公正价值和效率价值。在对公正价值和效率价值进行分析的基础上 ,对刑事证据开示制度的价值基础进行探讨。