一种基准制配合换算的新方法

本文通过对目前使用的基准制换算的两种规则和作者提出的整体移动规则作了论证、分析、比较 ,指出了整体移动规则在基准制换算过程中的科学性、可行性、简捷性。     

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

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定律参数优化的径向基模型构造方法。测试表明,该方法构造的径向基模型具有良好的近似精度和较高的计算效率,具有推广的价值。     

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

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

论国际法效力基础的构成

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

预框架算子在框架理论中的两点应用

阐述了预框架算子的态和框架分类之间的对应关系 ;讨论了框架的线性分解问题 ,特别是两个框架的线性组合在何时仍是框架的问题