机器翻译中语义块汉英变换处理

首先解释了要素句蜕的内涵,同时介绍了HNC理论的句蜕观,并依据HNC句类理论提出了汉英机器翻译中,要素句蜕处理的具体规则,还结合真实语料进行了验证。     

军校的改革在于开放

分析了我军院校发展中存在的问题,提出了培养合格军事人才军校必须采取的措施,阐明了军校教育必须从封闭走向开放,才能在世界军事斗争中处于不败之地。     

熙宁变法和元祐诗坛

文章从宋代元右时期的几位代表诗人的创作风格和处世心态两方面入手,阐述了元右诗坛和熙宁变法之间具有统一性与分离性的特点,统一性在于二者之间的变革精神,分离性表现为两点:一是,多元诗风对一元学术风气的背离;二是,以佛老为主导的处世思想对一元主导的荆公新儒学的背离.诗坛与政坛在新变上的统一性为元右诗坛的繁荣提供了宝贵的契机,而二者之间的分离性则让这种繁荣变成了现实.     

现代防空体系对防空导弹的需求分析

由于现代空袭体系通常是在预警机指挥下 ,实施防区外攻击 ,所以防空体系必须具有远程打击预警机、中程拦截空袭武器载机和末端防御空袭武器的能力。因此 ,现代防空体系需要三种类型的防空导弹 ,这就是远程防空导弹、中程防空导弹和末端防御用近程防空导弹。     

论新世纪教师的教育观

新世纪要求教师必须具有素质教育观,以教育目的衡量教育质量,以启发式、讨论式教学为主,以学生为教学的主体,以教师为教学的主导的观念来指导和实施学校的教育教学工作,以达到培养出适应社会发展要求的新人才之目的.     

有理真分式积分方法探析

利用配方法,待定系数法等方法求解有理真分式的积极分问题.     

试析解放初期新疆解放军工业之经济基础

解放初期中央和地方政府均无力投资新疆工业,解放军在缺衣少食的情况下发展了大批现代工业,其经济基础是自给立足、军费节约、个人积蓄和无偿劳动.     

一种调节阀式气体炮建模与分析

为研究气体炮各调整参数对其模拟性能的影响 ,笔者利用气体动力学相似理论的有关知识对双活塞调节阀式气体炮进行了数学建模与分析 ,采用四阶龙格—库塔法的思想进行计算 ,并利用MATLAB语言对其进行编程 ,通过在计算机上运行计算程序 ,得出模拟弹丸的加速度—时间模拟曲线。在对模拟曲线特征进行分析的基础上 ,指出了气体炮各调整参数对弹丸加速度—时间曲线的影响。     

主战坦克作战效能分析与模糊综合评价

主战坦克是我军地面战的重要武器,长期以来其作战效能的评价都采用单一的指标,无法全面、准确地进行评价。通过对影响主战坦克作战效能各因素的全面分析,建立了主战坦克作战效能综合评价的指标体系,并以模糊综合评价为手段,应用模糊集合和模糊数学,建立了主战坦克作战能力的综合评价与分析模型,并给出计算实例与分析。研究结果对全面而科学地评价坦克作战效能具有积极的指导作用和较强的实用性。     

Exact algorithms for scheduling multiple families of jobs on parallel machines

In many practical manufacturing environments, jobs to be processed can be divided into different families such that a setup is required whenever there is a switch from processing a job of one family to another job of a different family. The time for setup could be sequence independent or sequence dependent. We consider two particular scheduling problems relevant to such situations. In both problems, we are given a set of jobs to be processed on a set of identical parallel machines. The objective of the first problem is to minimize total weighted completion time of jobs, and that of the second problem is to minimize weighted number of tardy jobs. We propose column generation based branch and bound exact solution algorithms for the problems. Computational experiments show that the algorithms are capable of solving both problems of medium size to optimality within reasonable computational time. © 2003 Wiley Periodicals, Inc. Naval Research Logistics 50: 823–840, 2003.