Noether整环上不同项序下的复合Groebner基

复合是指将多项式的每一个变元用新的多项式替换.对于Noether整环上的多项式环上某个项序下的Groeb-ner基,利用S-多项式及合冲条件,证明了当复合是另一项序下的一组首幂积为幂置换的首1多项式时,Groebner基的计算与复合可以交换.     

叶绿体DNA种内多样化

着重讨论了９科３２种植物叶绿体ＤＮＡ种内多样化，进而探讨叶绿体ＤＮＡ种内多样化的遗传学基础和意义。     

实三次域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基组时的速率常数,结果说明外推方法改进了势能面.     

基于DSC的连铸保护渣固体渣膜结晶比定量化分析

通过对差示扫描量热(DSC)曲线的分析,建立了渣膜结晶比计算模型。利用配制已知结晶比的标样,考察了差热分析法确定渣膜结晶比的准确性,并在实验室对工业用中碳钢和低碳钢板坯保护渣制备的渣膜结晶比进行了测定。结果表明:差热分析测量再结晶热焓的方法可以用于渣膜结晶比的判定,相对误差为0~5.03%;用于连铸中碳钢的保护渣渣膜结晶比为88.6%,而低碳钢保护渣的渣膜结晶比为55.0%,其大小趋势与实际要求一致。     

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.     

基于Pareto定律参数优化的径向基近似建模

针对传统留一交叉验证法计算量大不适用于大规模复杂系统的问题,借鉴经济学中的Pareto定律,选择对全局误差大小起决定性作用的样本点作为关键点,对留一交叉验证法进行了改进,提出了基于Pareto定律的留一交叉验证方法。针对径向基模型形状参数的优化选择问题,将基于Pareto定律的留一交叉验证方法应用于形状参数的优化,提出了基于Pareto定律参数优化的径向基模型构造方法。测试表明,该方法构造的径向基模型具有良好的近似精度和较高的计算效率,具有推广的价值。     

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

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

论国际法效力基础的构成

对于国际法效力基础问题的探究,国际法学者们作出了几个世纪的不懈努力。问题研究的复杂性导致了不同学者们的不同结论。应本着全局、科学和现实的态度,来审视国际法的效力基础,不能生硬地割裂国际法效力基础的各构成要素之间的联系。国际法的效力基础应由国际法的程序效力基础、实质效力基础和现实效力基础三部分构成。     

CaO、SiO_2、Al_2O_3和MgO四元渣系脱硫

根据石钢生产条件 ,研究了 Ca O、Si O2 、Al2 O3和 Mg O四元渣系脱硫性能 ,实验结果表明 :炉渣碱度在 1 .1 0～ 1 .2 0之间 ,Mg O≯ 1 0 % ,Al2 O3≯ 1 5%时能获得最佳的脱硫效果