多目标灰色局势决策及其在通信业务开发中的应用

多目标决策是决策问题中一类复杂的、难度很大的决策问题。运用灰色局势决策的方法对邮电通信业务的开发进行多目标决策，可以使复杂的决策问题变得简洁和明晰，同时还能提高决策精度。     

水稻胚性悬浮细胞的玻璃化法超低温保存和可育植株再生

玻璃化法超低温保存(Cryopreservation by vitrification)是1980年代兴起的一种冷冻保存新技术,它的基本过程是将生物样品用一定配方的玻璃化法保护剂处理后快速投入液氮贮存。描述离体培养物或再生小苗高度含水化时也用“玻璃化”一词,但本文中的“玻璃化”是指一个生物物理学过程——细胞和溶液在快速降温时进入一种均一的无定形态,细胞里的水不转变成冰,而呈超冷液体状态,一种对细胞冷冻损伤最小的状态。为了使细胞呈玻璃化,首先要     

DEA中只改变输出使决策单元变为有效的方法

给出了在只改变输出的情况下使某决策单元变为ＤＥＡ有效或弱ＤＥＡ有效（Ｃ２Ｒ或Ｃ２ＧＳ２）的计算方法。     

多目标多阶段动态交互协调迭代决策方法

多目标多阶段决策是决策系统中常见的问题，本文介绍了一种似动态规划的交互协调迭代法，这种方法首先采用模糊综合评判技术确定迭代的指标值，并在交互协调迭代中引入了决策者的偏好性，使决策更加合理、可靠。     

试析传统教学论与现代教学论发展阶段及其特点

传统教学论与现代教学论是传统教育和现代教育的重要组成部分。它们的发展历史过程不是互相分割,而是有其内在的关联。本文试图就此把它们概括为三个阶段,且对各个阶段的特点进行分析。     

ψ∧BMV中函数的收敛速度

讨论了ＢＭＶ中函数的Ｆｏｕｒｉｅｒ级数部分和逼近及Ｆ（ａ，ｑ）平均逼近，给出了逼近阶的估计。     

开展“数学学习论”中现实问题的研究

本文着重探讨了建构学说、问题解决、竞赛数学、数学方法论、计算机等与数学学习的关系及需要研究的问题．     

规范场,引力场反常与Chern—Simons链

将规范场和引力场作为两个子流形从构成一个大的流形，利用Ｃｈｅｒｎ－Ｓｉｍｏｎｓ链自然地得到规模场反常，各种引力反常以及规范场和引力场之间的相互作用对反常所作的贡献，其表达形式简洁明了。     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.     

顺应论与翻译研究

本文从Verschueren的语用顺应理论出发重新审视翻译过程,认为只有从语境关系、结构客体等诸方面对源语和目标语做出动态顺应才能达到语用等值的翻译目标。语言顺应论作为Verschueren语用综观说的核心内容,将对翻译学的理论革新产生巨大的影响。