英汉词汇的不对应现象

文章从语言与文化的关系角度出发，把因文化差异而引起的英汉两种语言在词汇意义方面的不对应现象的三类，即一对零的空缺现象；一对一的不对应现象；一对多的不对应现象；并阐述了这三类不对应现象的主要翻译处理策略及其发展趋势。     

模袋砼护坡的施工工艺及要求

介绍模袋产品及其发展历史，详细阐述模袋砼护坡的施工工艺及要求，包括边坡处理、模袋铺设、混凝土的生产、充灌及现场清理、养护。     

遗传算法求解JSP的核心问题

遗传算法（GA）作为全局搜索算法广泛应用于各种寻优操作中，并已成为求解车间作业调度问题（JSP）的主要方法，给出了JSP问题的数学模型和遗传算法的框架，提出遗传算法求解JSP问题要解决的两大核心问题；编码问题和处理不是可行调度问题，并探讨了其相应的解决方法。     

注塑模模架设计KBE系统及其智能关键技术

结合当前工程设计领域 KBE技术的发展和模架设计的数据流图 ,给出了注塑模模架设计KBE系统的基本框架 ,并对其关键技术进行了分析 :模架设计知识采用框架 -规则的方法表示 ,并给出了推理的流程图 ,通过面向子目标的方法提高了 KBE系统的知识表示和推理能力 ;将事例推理的方法结合在 KBE系统中 ,提高了系统对以往成功事例的参考能力 ;利用神经网络的自学习能力 ,解决了模架中镶块和前后模设计的计算问题 .通过实际的应用 ,该系统能够有效地提高模具企业的模具设计和分析能力     

离散广义系统的静态输出反馈H_∞控制

考虑离散广义系统的静态输出反馈H∞控制问题·利用线性矩阵不等式和广义Riccati不等式给出离散广义系统存在静态输出反馈H∞控制器,使得闭环系统是容许的并且其传递函数矩阵满足H∞范数约束条件的充分必要条件·在适当的假设下给出静态输出反馈H∞控制器存在的必要条件,并在一定条件下得到静态输出反馈H∞控制器存在的充分条件,同时给出相应的控制器构造·     

分次代数的分次Jacobson根

证明了对一般Monoid分次R－代数A（A未必有1，R是有1的交换环）的分次Jacobson根J'G（A）与作为分次环A的分Jacobson根相等，并给出了J'G（A）的几个特征。     

一种混凝土重力坝分区弹模反演新方法

建立了一种解决实际工程中测点数少于待反演参数个数的混凝土重力坝分区弹模反演问题的新方法。这种方法利用已知的补充信息作为反演问题的物理约束条件，建立参数反演的多目标优化数学模型，解决了反演结果的惟一性问题；并且使用改进的模拟退火算法这种全局最优算法来求解大坝的分区弹模。数值算例表明，这种方法对大坝反演问题具有较高的识别精度，反演结果可靠，可以应用于实际工程。     

粒子弱荷的研究

为了研究有质量的中微子，在理论上引入了粒子（基本费米子、中间玻色子和强子）弱荷的新概念首次报道了弱荷守恒定律，并提出了检验弱荷是否存在的实验方案，根据弱荷的手征性，合理地解释了宇称不守恒的原因，根据弱荷的对称性扩展了标准模型，指出所有的中微子都是有质量的Dirac粒子，但是右手中微子和左手反中微子的弱荷为零，它们不参与弱相互作用，因而称为暗粒子。     

关于Hardy-Littlewood-Polya定理

引入参数T ,考虑Hardy -Littlewood -Polya定理的一个推广 ,并给出一些特殊的结果     

Algorithms for semi on-line multiprocessor scheduling problems

In the classical multiprocessor scheduling problems, it is assumed that the problems are considered in off-line or on-line enviromnent. But in practice, problems are often not really off-line or on-line but somehow in between. This means that, with respect to the on-line problem, some further information about the tasks is available, which allows the improvement of the performance of the best possible algorithms. Problems of this class are called semi on-line ones. The authors studied two semi on-line multiprocessor scheduling problems, in which, the total processing time of all tasks is known in advance, or all processing times lie in a given interval. They proposed approximation algorithms for minimizing the makespan and analyzed their performance guarantee. The algorithms improve the known results for 3 or more processor cases in the literature.