The minimum linear arrangement problem on proper interval graphs
索赔谈判
慢出货的理由罗列本周没有船there is no vessel available this week生产期排得太满//前批货的生产超出了计划//订单接得太多,无法准时完成生产there is too many orders to be fulfilled /the production line is over booked due to too tight schedule/because the previous order was postponed/because这个月假日太多there are too many holidays不良率太高,要翻修the defective rate is too high.-------CasesA: This is the phone call from Bob Johnson. MayI talk with the sales manager, Mr. George Chen?B: Yes, speaking. What can I do for you?A: George, we need to know if you have shippedour order no.SE SE-012 by the end of July. Haveyou sent us the shipping advice?B: Sorry, this order will be delayed to August 15,because of原料短缺The serious shortage of the raw material人力短缺The serious labour shortage台风造成的损失The damage caused by typhoon生产不顺The problem on our production line模具晚交The delay on tooling/making dieL/C 慢开The delay of your L/C opening客供辅料晚到The delay of accessories supplied by your sideB: we are doing our best to ship this order as early as we can.A: George, our customer needs this shipment within this week. Otherwise, their production will be shut down and we have to pay for all of their loss. Please do your bestto help us.B: We will try our very best, but it it‟s not possible to ship it s this week. The soonest delivery time will be in the early of next week.A: In this case, you have to make the shipment by air freight instead of original sea freight. Also, you have to pay the difference between air freight and sea freight.B: 承担费用–这不是我方的错,很抱歉,我们无法承担–since this is not our fault, we are sorry we cannot acceptit./bear the charge/cover/share– 我们无法控制,但是费用既然发生了,你我双方一半一半吧– Since this is out of our control, however, the loss was there, let’s share half of the cost– 好吧,是我方的错,我方愿意尽快安排空运,费用由我方承担– Ok, since it is our fault, we will make production and effect delivery by air as soon aspossible, and we will pay the difference/balance of freight charge.A: O.K. we we‟ll discuss it with our customer and let ll you know the result so on. But, please doyour best to work day and night to catch the schedule, or we will be in a serious trouble.B: We know your hard position and have arranged three shifts to work 24 hours a day now品质不符的洽谈 (讨论)减价出运(植绒面料) 退还修理再出货(毛厂) 在国外修理(提供配件) 销毁补货(太阳帽) 承诺下次提供品质更好的产品 直接退货卖方:最好不要退货,费用高,手续麻烦买方:也不希望退货(马的例子) -------Useful expressions 直接了当地向对方提出质疑是解决问题的上策。
离散数学英中名词对照表
离散数学英中名词对照表英文Abel categoryAbel group (commutative group) Abel semigroup Abelian groupabsorption property accessibility relation acyclicaddition principleadequate set of connectives adjacentadjacent matrixadjugateadjunctionaffine planealgebraic closed field algebraic element algebraic extensionalphabetalternating groupannihilatorantecedentanti symmetryanti-isomorphismarc setargumentarityarrangement problem associateassociativeassociative algebraassociatorasymmetricatomatomic formulaaugmenting pigeon hole principle augmenting path automorphism automorphism group of graph auxiliary symbol A 离散数学英文—中文名词axiom of choiceaxiom of equalityaxiom of extensionalityaxiom of infinityaxiom of pairsaxiom of regularityaxiom of replacement for the formulaaxiom of the empty setaxiom of unionB balanced imcomplete block designbarber paradoxbase (base 2 exponential function)base (logarithm function to the base 2)Bell numberBernoulli numberBerry paradoxbiconditionalbijection (one-to-one correspondence)bi-mdulebinary relationbinary operationbinary symmetric channel (BSC)binary treebinomial coefficientbinomial theorembinomial transform bipartite graphblockblockblock codeblock designBondy theoremBoolean algebra Boolean expression Boolean functionBoole homomorophism Boole latticeBoolean matrixBoolean productbound occurrencebound variablebounded latticeBruijn theorem Burnside lemmaC cagecancellation property canonical epimorphism Cantor conjecture Cantor diagonal method Cantor paradoxcapacitycardinal number cardinalityCartesion product of graph Catalan numbercatenationCayley graphCayley theoremceiling functioncell (block)centercertain eventchain (walk) characteristic function characteristic of ring characteristic polynomial check digitsChinese postman problem chromatic number chromatic polynomial circuitcirculant graph circumferenceclassclassical completeness classical consistent cliqueclique numberclose with respect to closed termclosureclosure of graphcode elementcode lengthcode wordcoefficientcoimageco-kernalcoloringcoloring problemcombinationcombination numbercombination with repetationcommon divisorcommon factorcommutativecommutative diagramcommutative ringcommutative seimgroupcomparablecompatible withcomplementcomplement elementcomplement of B with respect to A complementary relation complemented latticecomplete bipartite graphcomplete graphcomplete k-partite graphcomplete latticecomplete matchcomplete n-treecompositecomposite operationcomposition (molecular proposition) composition of graph (lexicographic product) compound statementconcatenation (juxtaposition) concatenation graphconditional statement (implication) congruence relationcongruent toconjectureconjunctive normal form connected component connective connectivityconnectivity relation consecutively consequence (conclusion) conservation of flow consistent (non-contradiction) constructive proofcontain (in)contingencycontinuumcontraction of graph contradiction contravariant functor contrapositiveconversecoproductcorankcorresponding universal map countable (uncountable) countably infinite set counter examplecountingcovariant functorcoveringcovering numbercrossing number of graph cosetcotreecutcut edgecut vertexcyclecycle basiscycle matrixcycle rankcycle spacecycle vectorcyclic groupcyclic indexcyclic permutation cyclic semigroupD De Morgan's law decision procedure decoding table deduction theorem degreedegree sequence derivation algebra Descartes product descendant designated truth value deterministic diagonal functor diagonal matrix diameterdigraphdilemmadirect consequence direct limitdirect sumdirected by inclutiondisconnecteddiscrete Fourier transform discrete graph (null graph) disjoint setdisjunctiondisjunctive normal form disjunctive syllogism distancedistance transitive graph distinguished element distributivedistributive lattice divisibilitydivision subringdivison ringdivisor (factor) dodecahedrondomaindual categorydual formdual graphdual principledual statementdummy variableE eccentricityedge chromatic number edge coloringedge connectivityedge coveringedge covering numberedge cutedge setedge-independence number eigenvalue of graph element (entry) elementary divisor ideal elementary product elementary sumempty graphempty relationempty set endomorphismendpointentry (element) enumeration function epimorphismequipotentequivalenceequivalent category equivalent class equivalent matrix equivalent object equivalent relationerror functionerror patternEuclid algorithmEuclid domainEuler characteristicEuler circuitEuler functionEuler graphEuler numberEuler pathEuler polyhedron formula Euler tourEuler traileven permutationeventeverywhere defined excess capacity existence proof existential generalization existential quantification existential quantifier existential specification explicitextended Fibonacci number extended Lucas number extensionextension field extension graphexterior algebraF facefactorfactorablefactotialfactorizationfaithful (full) functor Ferrers graphFibonacci numberfieldfilterfinite dimensional associative division algebra finite extensionfinite field (Galois field )finite groupfinite setfinitely generated modulefirst order theory with equalityfive-color theoremfive-time-repetitionfixed pointfloor functionflowforestforgetful functorfour-color theorem (conjecture)F-reduced productfree elementfree monoidfree occurrencefree R-modulefree variablefree-Ω-algebrafull n-treefunction schemeG Galileo paradoxGauss coefficientGBN (G?del-Bernays-von Neumann system) GCD (Greatest Common Divisor) generalized Petersen graphgenerating functiongenerating proceduregeneratorgenerator matrixgeneric elementgenusgirthG?del completeness theoremgolden section numbergraceful graphgraceful tree conjecturegraphgraph of first class for edge coloring graph of second class for edge coloring graph rankgraph sequencegreatest common factorgreatest elementgreedy algorithmGrelling paradoxGr?tzsch graphgroupgroup codegroup of graphgrowth of functionHajós conjectureHamilton cycleHamilton graphHamilton pathHarary graphhash functionHasse diagramHeawood graphheightHerschel graphhom functorhomemorphism homomorphism homomorphism image homomorphism of graph hyperoctahedronhypothelical syllogism hypothesis (premise)idealidempotentidentityidentity functionidentity natural transformation imageimbeddingimmediate predcessor immediate successorimpossible eventincidentincident axiomincident matrixinclusion and exclusion principle inclusion relationindegreeindependentindependent number independent setindependent transcendental element indexindirected method H Iindividual variableinduced subgraphinfinite extensioninfinite groupinfinite setinitial endpointinitial objectinjectioninjection functorinjective (one to one mapping) inner faceinner neighbour setinorder searchintegral domainintegral subdomaininternal direct sum intersectionintersection of graph intersection operation intervalinvariant factorinvariant factor idealinverseinverse limitinverse morphisminverse natural transformation inverse operationinverse relationinversioninvertableinvolution property irreflexiveisolated vertexisomorphic categoryisomorphismisomorphism of graphjoinjoin of graphJ Jordan algebraJordan product (anti-commutator)Jordan sieve formulaj-skewjuxtapositionk-chromatic graphk-connected graphk-critical graphk-edge chromatic graphk-edge-connected graphk-edge-critical graph Kanaugh mapkernelKirkman schoolgirl problem Klein 4 groupKonisberge Brudge problem Kruskal's algorithm Kuratowski theoremlabeled graphLah numberLatin rectangleLatin squarelatticelattice homomorphismlawLCM (Least Common Multiple) leader cosetleast elementleafleast upper boundleft (right) identityleft (right) invertible element left (right) moduleleft (right) zeroleft (right) zero divisorleft adjoint functorleft cancellableleft cosetlengthlexicographic orderlLie algebraline- grouplinear array (list)linear graphlinear order (total order)K Llinear order set (chain)logical connective logical followlogically equivanlent logically implies logically valid loopLucas numbermagicmany valued proposition logic map coloring problem matchingmathematical structure matrix representation maximal element maximal idealmaximal outerplanar graph maximal planar graph maximum flow maximum matching maxtermmaxterm normal form (conjunctive normal form)McGee graph meetMenger theorem Meredith graph message word mini term minimal -connected graph minimal polynomial minimal spanning tree Minimanoff paradox minimum distance Minkowski summinterm (fundamental conjunctive form)minterm normal form (disjunctive normal form)M?bius function M?bius ladder M?bius transform (inversion)modal logic modelmodule homomorphismMkmoduler latticemodulusmodus ponensmodus tollensmodule isomorphismmonic morphismmonoidmonomorphismmorphism (arrow)M?bius functionM?bius ladderM?bius transform (inversion)multigraphmultinomial coefficientmultinomial expansion theoremmultiple-error-correcting codemultiplication principlemutually exclusivemultiplication tablemutually orthogonal Latin squareN n-ary operationn-ary productn-ary tree (n-tree)n-tuplenatural deduction systemnatural homomorphismnatural isomorphismnatural transformationnearest neighbernegationneighbour setnext state transition functionnon-associative algebranon-standard logicNorlund formulanormal formnormal modelnormal subgroup (invariant subgroup)n-relationnull graph (discrete graph)null objectnullary operationobjectodd permutationoffspringone to oneone-to-one correspondence (bijection) onto optimal solutionorbitorderorder (lower order,same order) order ideal order relationordered pairOre conditionorientationorthogonal Latin square orthogonal layoutoutarcoutdegreeouter faceouter neighbourouterneighbour setouterplanar graphpancycle graphparallelismparallelism classparentparity-check codeparity-check equationparity-check machineparity-check matrixpartial functionpartial ordering (partial relation) partial order relation partial order set (poset)partitionpartition number of integerpartition number of setPascal formulapathperfect code O Pperfect t-error-correcting code perfect graph permutationpermutation grouppermutation with repetation Petersen graphp-graphPierce arrowpigeonhole principleplanar graphplane graphPolish formPólya theorempolynomailpolynomial codepolynomial representation polynomial ring positional treepossible worldpostorder searchpower functorpower of graphpower setpredicateprenex normal formpreorder searchpre-ordered setprimary cycle modulePRIM's algorithmprimeprime fieldprime to each otherprimitive connectiveprimitive elementprimitive polynomialprincipal idealprincipal ideal domainprinciple of dualityprinciple of mathematical induction principle of redundancy probabilisticprobability (theory)productproduct categoryproduct partial orderproduct-sum formproof (deduction)proof by contraditionproper coloringproper factorproper filterproper subgroupproperly inclusive relationproposition (statement)propositional constantpropositional formula (well-formed formula,wff) propositional functionpropositional variablepseudocodepullbackpushoutquantification theoryquantifierquasi order relationquaternionquotient (difference) algebraquotient algebraquotient field (field of fraction)quotient groupquotient modulequotient ring (difference ring , residue ring) quotient set Ramsey graph Ramsey number Ramsey theorem rangerankreachability reconstruction conjecture recursive redundant digits reflexiveregular expression regular graph R Qregular representationrelation matrixrelative setremainderreplacement theoremrepresentationrepresentation functorrestricted proposition formrestrictionretractionreverse Polish formRichard paradoxright adjoint functorright cancellableright factorright zero divisonringring of endomorphismring with unity elementR-linear independencerooted treeroot fieldrule of inferenceRussell paradoxS sample spacesatisfiablesaturatedscopesearchingsectionself-complement graphsemantical completenesssemantical consistentsemigroupseparable elementseparable extensionsequencesequentsequentialSheffer strokesiblingssimple algebraic extensionsimple cyclesimple extensionsimple graphsimple pathsimple proposition (atomic proposition) simple transcental extension simplicationsinkslopesmall categorysmallest element Socrates argument soundness (validity) theorem sourcespanning subgraph spanning treespectra of graphspetral radiussplitting fieldsquare matrixstandard modelstandard monomil statement (proposition) Steiner tripleStirling numberStirling transformstrong induction subalgebrasubcategorysubdirect product subdivison of graph subfieldsubformulasubdivision of graph subgraphsubgroupsub-modulesubmonoidsublatticesubrelationsubringsub-semigroup subscript。
数学论文中常用的英文缩写词
数学论文中常用的英文缩写词杨 巍 纳(河南大学数学季刊编辑部,475001,河南开封)摘 要 参照《2000数学主题分类表》,将数学论文中常用的数学英文缩写词列表予以说明,表中并附有常用的与数学密切相关的英文缩写词,以期对书刊编辑处理数学稿件时有所裨益。
关键词 数学论文;英文缩写词;数学英文缩写词中图分类号 G237.5;H313.6E nglish abbreviations in common use for mathematical papers∥Y ang WeinaAbstract This paper enumerates some English abbreviations in common use for mathematical papers in a form with a reference to The Classif ication Forms on M athem atical S ubject,2000.This form includes some English abbreviation words in common use for mathematics,in order to help the editors deal with mathematical manuscripts.K ey w ords mathematical papers;English abbreviation; mathematical English abbreviationAuthor’s address Editorial Board of Chinese Quarterly Journal of Mathematics,475001,K aifeng,Henan,China数学词汇的英文缩写词及那些与数学密切相关的英文缩写词(以下简称为数学英文缩写词)在数学论文中,特别是在英文数学论文中出现的频次相当高,而往往作者稿件中数学英文缩写词使用混乱,疏误较多或书写不规范,给编辑的审、编造成诸多困难。
GMAT数学Problem Solving题型介绍
GMAT数学Problem Solving题型介绍〔GMAT〕数学Problem Solving题型介绍Problem Solving主要测试考生以下四方面的能力:basic mathematical skills(基本数学技巧)understanding of elementary mathematical concepts(理解基本的数学概念)the ability to reason quantitatively and solve quantitative problems(数量推理和解决数量问题的能力) interpret graphic data(解释图表数据)下面是这类题型的Directions:〔易藤教育〕Solve the problem and indicate the best of the answer choices given.Numbers:All numbers used are real numbers.Figures:A figure accompanying a problem salving question is intended to provide information useful in solving the problem. Figures are drawn as accurately as possible EXCEPT when it is stated in a specific problem that the figure is not drawn to scale. Straight lines may sometimes appear jagged. All figures lie in a plane unlessotherwise indicated.上面的Direction说明了以下几点:题目所有用到的数都是实数。
所有伴随Problem Solving问题的图形都是为了给解题提供有用的信息.除非题目中指出该图形不是按比例画出的,否则所有图形都将尽可能地按比例画出;题目中假设无专门指出,图形都假设在同一个平面内。
新视野研究生英语第一单元课文翻译
1.大学课堂:还有人在听吗?Toward the middle of the semester, Fowkes fell ill and missed a class. When he returned, the professor nodded vaguely and, to Fowkes’s astonishment, began to deliver not the next lecture in the sequence but the one after. Had he, in fact, lectured to an empty hall in the absence of his solitary student? Fowkes thought it perfectly possible.在学期中间,Fowkes 因病缺了一次课。
他回到课堂的时候,教授毫无表情地向他点了点头。
接着令Fowkes大吃一惊的是,教授并没有按照顺序讲下一课,而是讲了后面一课。
难道他真的在他唯一的学生缺席的情况下对着空教室讲了一课?Fowkes认为这太有可能了。
Today American colleges and universities (originally modeled on German ones) are under strong attack from many quarters. Teachers, it is charged, are not doing a good job of teaching, and students are not doing a good job of learning. American businesses and industries suffer from unenterprising, uncreative executives educated not to think for themselves but to mouth outdated truisms the rest of the world has long discarded. College graduates lack both basic skills and general culture. Studies are conducted and reports are issued on the status of higher education, but any changes that result either arelargely cosmetic or make a bad situation worse.今天美国的大学(原本是以德国的大学为模型的)受到了各方面的严厉指责。
集装箱码头泊位、岸桥协调调度优化外文文献翻译
文献出处:Martin E。
The optimization of container berths and shore bridge coordination scheduling [J]. Journal of the Transportation Research Board,2015,6(3):40-50.原文The optimization of container berths and shore bridge coordination schedulingMartin EAbstractThe global economic development, the container quickly raised up into exports。
Rapid growth of the import and export cargo throughput brings to the container terminal larger benefits at the same time increase the burden of the port,have higher requirements on the terminal operation efficiency. How is the existing equipment of container terminals, reasonable resource allocation and scheduling, is common problem facing the container terminal. Therefore,how to improve the terminal facilities such as the maximum utilization of resources,to meet the increasing port demand,improve their competitive advantage,and has more practical meaning to improve the working efficiency of the container terminal. The main content of this study is berth, gantry cranes and set card co—allocation research,has plans to all ship to the port assignments during mathematical model is established with the target of minimum cost,according to the characteristics of the scale model by genetic algorithm,finally validates the effectiveness of the model.Keywords: System engineering; Water transportation; Gantry cranes allocation;Dynamic scheduling;1 IntroductionContainer terminal logistics is an organic system, made of interactive and dy namic components, such as containers, ships, berths, yards, tracks, quay cranes an d yard cranes trucks, labors and communications,in a limited terminal space。
常微分方程双语课程常用词汇表#
《常微分方程》双语课程常用词汇表acceleration n. 加速度constant acceleration常加速度downward acceleration向下的加速度gravitationalacceleration重力加速度total acceleration 总加速度upward acceleration向上的加速度account(for)v. 占去algebra 代数algebraic equation 代数方程linear algebra 线性代数thefundamental theorem of algebra 代数学基本定理amount v. 总计n. 总数amplitude n. 振幅application n. 应用by repeated application of 反复应用apply v. 应用approach v. 趋近于approach zero 趋近于零approach infinity 趋近于无穷area n. 面积cross-sectional area 横截面积the horizontal cross-sectional area 水平方向的截面积arrange v. 安排、整理、排列arrangement n. 安排、整理、排列rearrangement n. 重新安排、重新整理、重新排列associate v. 联系associated a.. 相应的associated with 对应于…的associated homogeneous linear equation 相应的齐线性方程associativity n. 结合律assume v. 假设assumption n. 假设asymptote 渐近线oblique asymptote 斜渐近线[əˈbli:k]axis 数轴negative x -axis 负x 轴positive y -axis 正y 轴x -axis x 轴y -axis y 轴base n. 基be present v. 出现body 天体boundary n. 边界bounded a. 有界的unbounded a. 无界的brine 盐水calculus 微积分elementary calculus 初等微积分capacitor 电容器case 情形exceptional case 例外情形chain rule (求导的)链式法则circuit 电路clockwise 顺时针clockwise direction 顺时针方向counterclockwise 逆时针counterclockwise direction 逆时针方向close v. 闭closed container 封闭的容器closed interval 闭区间coefficient 系数constant coefficient 常系数leading coefficient 首项系数undetermined coefficient 待定系数variable coefficient 变系数collect v. 整理collect coefficients 整理系数column 列commute v. 交换commutative a. 交换的commutativity 交换性property of commutativity 交换性质complete a. 完备的incomplete a. 不完备的complex a. 复的complex conjugate 复共轭的complex conjugate pairs 复共轭对complex conjugate roots 复共轭根component n. 分量componentwise 分量形式composition 复合compress v. 压缩compute v. 计算concentration n. 浓度condition 条件a given initial condition 一个给定的初始条件initial condition初始条件necessary condition 必要条件sufficient condition 充分条件the given condition 给定的条件conjugate 共轭的constant 常数arbitrary constant任意常数constant multiple 数乘constant of integration 积分常数constant speed 常速度damping constant阻尼常数positive constant正的常数continuity n. 连续性discontinuity 不连续性continuous 连续的continuous function 连续函数continuous partial derivative 连续偏导数discontinuous 不连续的piecewise continuous 分段连续的convention 惯例converge v. 收敛convergence n. 收敛absolute convergence 绝对收敛uniform convergence 一致收敛coordinate 坐标coordinate axis 坐标轴polar coordinates 极坐标corresponding a. 相应的cube 立方,立方体current 电流cylinder 柱,柱面dashpot 减震器decomposition 分解partial fraction decomposition 部分分式分解defect n. 亏量defective v. 亏损的define v. 定义definition n. 定义degenerate a. 退化的denominator 分母derive v. 导出derivation n. 求导(数)derivative n. 导数[diˈrivətiv]antiderivative 原函数first derivative 一阶导数second derivative 二阶导数the highest derivative 最高阶导数determine v. 确定determinant 行列式determinant of coefficients 系数行列式operational determinant算子行列式diagonal 对角线principal diagonal 主对角线differ v. 不同difference n. 差differentiable 可微的differentiable function 可微函数differentiability 可微性differentiability condition 可微性条件differential n. 微分differential form 微分形式differentiate v. 微分differentiate term wise逐项微分differentiation n. 微分(运算)term-by-term differentiation 逐项微分displacement 位移distance 距离distinct 不同的distinct real roots 不同的实根distributives分配性diverge v. 发散divide v. 划分,除subdivide 细分domain 定义域double 重,二重,双double root 二重根duplicate v. 复制、重复duplication n. 复制、重复eliminate v. 消去elimination n. 消元法、消去the method of elimination 消元法、消去法eigenvalue n. 特征值complex conjugate eigenvalue 复共轭特征值defective eigenvalue 不完备的特征值multiple eigenvalue 多重特征值zero eigenvalue 零特征值eigenvector 特征向量generalized eigenvector 广义特征向量rank generalized eigenvector r 阶广义特征向量element 元素diagonal element 对角元off-diagonal element 非对角元element wise逐个元素地ellipse 椭圆elliptical orbit 椭圆型轨道employ v. 利用employ the technique of 利用…技术enable v. 使能够entry n. 元素equate v. 使相等equation 方程Bernoulli equation 伯努利方程Bessel’s equation 贝赛尔方程characteristic equation 特征方程cubic equation 三次方程differential equation 微分方程eigenvector equation 特征向量方程exact differential equation 恰当微分方程higher-degree equation 高次方程homogeneous equation 齐次方程Legendre’s equation 勒让德方程linear first-order equation 一阶线性方程Logistic equation 逻辑斯蒂方程natural growth equation 自然增长方程ordinary differential equation 常微分方程partial differential equation 偏微分方程quadratic equation 二次方程reducible equation 可降阶方程second-degree equation 二次方程separable differential equation 可分离变量方程simultaneous equations 联立方程组equilibrium position 平衡位置equivalent 等价的be equivalent to 等价于equivalently 等价地error 误差average error 平均误差existence 存在existence-uniqueness theorem 存在唯一性定理exponent 指数negative exponent 负指数exponential 指数(的)exponential function 指数函数matrix exponential 矩阵指数factor n. 因式,因子v. 分解因式common factor 公因式,公因子integrating factor 积分因子linear factor 一次因式irreducible quadratic factor 二次不可约因式factorization n. 因子分解field 场、域direction field 方向场first 第一的the first two… 前两(个)……flow v. 流动n. 流量inflow n. 流入(量)outflow n. 流出(量)focus 焦点following 下面的force 力external force 外力external period ice force 周期性外力frictional force 摩擦力form 形式decimal form 小数形式explicit form 显式形式implicit form 隐式形式polar form 极坐标形式the standard form 标准形式upper triangular form 上三角形式former a. 以前的the former 前者formula 公式fraction 分式,分数frequency 频率function 函数analytic function 解析函数coefficient function 系数函数complementary function 补函数component function 分量函数constant-valued function 常数值函数continuous function 连续函数piecewise continuous function 分段连续函数decreasing function 单调减函数differentiable function 可微函数n times differentiable function n 阶可微函数twice differentiable function 二阶可微函数sufficiently differentiable function 足够阶可微函数discontinuous function 不连续函数elementary function 初等函数factorial function 分式函数increasing function 单调增函数matrix-valued function 矩阵值函数position function 位置函数rational function 有理函数real-valued function 实值函数trigonometric function 三角函数unknown function 未知函数vector-valued function 向量值函数generalize (to) v. 推广generalization n. 推广graph 图象hemispherical 半球形的hold v. 成立homogeneous 齐(次)的nonhomogenous 非齐(次)的hyperbolic 双曲型的hyperbolic cosine 双曲余弦hyperbolic sine 双曲正弦hypothesis n. 假设hypotheses n. 假设(复数形式)identity 恒等式identity principle 恒等原理trigonometric identity 三角恒等式illustrate v. 说明imaginary part 虚部immaterial a. 不重要的, 不相干的imply v. 意味着, 暗示impulse 脉冲independent a. 独立的, 不相关的independent of 独立于……inductor 电感器initial 开始的, 最初的initial condition 初始条件initial position 初始位置initial population 初始人口数initial velocity 初始速度integer 整数nonnegative integer 非负整数integral 积分definite integral 定积分improper integral 非正常积分indefinite integral 不定积分integral sign 积分号integrate v. 积分integrate by parts 分部积分integration n. 积分integration of both sides 两边积分interior n. 内部in terms of 根据interval 区间closed interval 闭区间interval of real number 实数区间open interval 开区间subinterval 子区间bounded subinterval 有界子区间the ends of the interval 区间的端点the whole interval 整个区间involve v. 包含,涉及Kepler’s laws of planetary motion 开普勒行星运动定律latter a. 后期的,末期的the latter 后者left-hand side 左边like 类似,相似like powers 同次幂like term 同类项limit 极限take the limit 取极限upper limit 上极限line 线,线条line segment 线段real line 实数轴straight line 直线tangent line 切线the line tangent (to) 与…相切的直线the entire real line 整个实轴linear 线性的linear combination 线性组合linear dependence 线性相关linear independence 线性无关nonlinear 非线性的linearly 线性地linearly dependent 线性相关的linearly independent 线性无关的linearly independent solutions 线性无关解linearity线性性liter 升logarithm 对数logarithmic term 含有对数的项long division 长除法major semi axis长半轴mass (物体的)质量mathematical model 数学模型mathematical modeling 数学建模matrix 矩阵augmented matrix 增广矩阵coefficient matrix 系数矩阵diagonal matrix 对角矩阵exponential matrix 指数矩阵fundamental matrix 基解矩阵identity matrix 单位矩阵inverse matrix 逆矩阵matrix addition 矩阵加法matrix multiplication 矩阵乘法nonsingular matrix 非奇异矩阵singular matrix 奇异矩阵square matrix 方阵upper triangular matrix 上三角矩阵zero matrix 零矩阵mean value theorem for integral 积分中值定理method 方法straightforward method 直接的方法minimum 最小值minus prep. 减,减去;负的minus sign 负号motion 运动free undamped motion 无阻尼自由运动simple harmonic motion 简谐运动multiply v. 乘,倍增multiplication n. 乘法multiplicity n. 重数nature 自然, 本质nilpotent 幂零的number 数complex number 复数imaginary number 虚数negative number 负数nonnegative number 非负数positive number 正数real number 实数unknown number 未知数numerator (分数的)分子operate v. 运算,作用operation n. 运算,操作elementary row operation 初等行变换operator 算子polynomial operator 多项式算子orbit 轨道order 阶first-order equation 一阶方程fourth-order equation 四阶方程of exponential order 指数阶的second-order equation 二阶方程nth-order equation n 阶方程the mixed second-order partial derivative 二阶混合偏导数the order of a differential equation 微分方程的阶origin 原点original 原来的the original equation 原方程the original form 原来的形式oscillate v. 振动oscillation n. 振动forced oscillation 强迫振动free oscillation 自由振动parabola 抛物线 [pə'ræbələ]parameter 参数variation of parameters 常数变易法parameterize v. 参数化parameterization n. 参数化particle 粒子phase angle 相角phase portrait 相图plane 平面point 点end point 端点isolated point 孤立点ordinary point 常点singular point 奇点regular singular point 正则奇点irregular singular point 非正则奇点polynomial多项式n th-degree polynomial n 次多项式a polynomial of degree n n 次多项式a polynomial of lower degree 次数较低的多项式Taylor polynomial 泰勒多项式possible 可能的possibility 可能性power 幂power function 幂函数in powers of x x 的幂in powers of x −a x −a 的幂presence 出现, 在场preceding 前面的prime 求导符号“撇”problem 问题mathematical problem 数学问题initial value problem 初始值问题proceed v. 继续进行, 继续下去product 乘, 积dot product 点积product rule 乘法法则scalar product 点积,数积,内积property 性质proposition 命题quotient 商radius 半径radius of convergence 收敛半径rate 速率at a rate of 以…的速率at a rate proportional to 以与…成正比的速率birth rate 出生率death rate 死亡率time rate of change o f (something) …关于时间的变化率interest rate 利率reactant 反应物readily 容易地real part 实部recall v. 记起,回顾rectangle 长方形, 矩形open rectangle 开矩形recurrence relation 递推关系many-term recurrence relation 多项间的递推关系two-term recurrence relation 两项间的递推关系recursion formula 递推公式reduce v. 化简, 简化, 约简reduction n. 化简, 简化, 约简reduction of order 降阶resistor 电阻器result n. 结果v. 导致(in)revolution n. 旋转right-hand side 右边root 根characteristic root 特征根complex root 复根double root 二重根equal roots 相等的根k-fold root k 重根rational root 有理根real root 实根repeated root 重根the square root 平方根triple root 三重根rotation n. 旋转counterclockwise rotation 逆时针旋转routine 例行的; 平凡的a routine matter 平凡的情形row 行scalar 纯量(的), 数量(的), 标量(的)series 级数binomial series 二项式级数geometric series 几何级数harmonic series 调和级数infinite series 无穷级数power series 幂级数convergent power series 收敛的幂级数power series representation 幂级数表示power series in x x的幂级数power series in x −a x −a 的幂级数power series solution 幂级数解Taylor series 泰勒级数set 集合show v. 证明side 边left-hand side 左边right-hand side 右边simple 简单的simplify v. 简化, 化简simplification n. 简化, 化简singularity奇异性slope 斜率slope field 斜率场smooth 光滑的piecewise smooth 逐段光滑的solute n. 溶质,溶解物solution n. 解explicit solution 显式解implicit solution 隐式解infinitely many solutions 无穷多解negative-valued solution 负值解period ice solution 周期解positive-valued solution 正值解singular solution 奇解solution curve 解曲线the (a) genera l solution 通解the particular solution 特解solve v. 解solvent n. 溶剂some 某个some open interval 某个开区间spring 弹簧spring constant弹性系数step 步骤finitely many steps 有限多步stretch 拉伸subject(to) a. 易受…的ad.在…条件下subscript 下标even subscript 偶下标odd subscript 奇下标substitute v. 代入substitution n. 代入direct substitution 直接代入back substitution 回代subtract v. 减去subtraction n. 减去suffice v. 足够sufficient n. 足够的, 充分的sufficient condition 充分条件sum n. 和sum zero 总和为零summand 被加数summation 求和(法), 累加, 加法the index of summation 求和的指标the sum of…and … …与…的和superposition叠加symmetry 对称symmetric form 对称形式system 方程组,系统first-order system 一阶方程组higher-order system 高阶方程组two-dimensional system 二维系统upper triangular system 上三角方程组take 取, 实行take the Laplace transform 取拉普拉斯变换take the limit 取极限tangent 正切(的),切线(的)be tangent to 与…相切time 时间per unit of time 单位时间time lag 时滞tank 箱, 柜, 罐water tank 水箱term 项constant term 常数项termwise addition 逐项相加term by term 逐项the first term 第一项the first few terms 前几项the genera l term 通项, 一般项the leading term 首项terminology 术语trajectory 轨道, 轨迹transform v. 转化n. 变换Laplace transform 拉普拉斯变换inverse Laplace transform 拉普拉斯反变换transformation n. 变换,转化transpose v. , n. 转置,移项triangle 三角(形)right triangle 直角三角形triple 三重的, 三次的, 三倍的triple eigenvalue 三重特征根trivial 平凡的, 不重要的trivial case 平凡情况nontrivial 非平凡的tuple 组n -tuple n 元组unique唯一的uniqueness 唯一性unique solution 唯一解unknown 未知的the unknown 未知量value 值numerical value 数值absolute value 绝对值variable 变量dependent variable 因变量independent variable 自变量variable of integration 积分变量vector 向量acceleration vector 加速度向量column vector 列向量constant vector 常数向量position vector 位置向量radius vector 向径, 矢径row vector 行向量solution vector 解向量unit vector 单位向量verify v. 证明vanish 等于零vanish identically 恒等于零variable 变量dependent variable 因变量independent variable 自变量separation of variable 变量分离voltage 电压volume 列Wronskian 伏朗斯基行列式yield 产生zero 零nonzero 非零。
船舶英语——精选推荐
船舶英语floating launch飘浮下⽔gravity launch重⼒下⽔grease launch油脂下⽔steel ball method of launch钢珠下⽔mechaniz launch机械化下⽔end launch纵向下⽔side launch横向下⽔incline launch倾斜下⽔jump launch跳跃式下⽔dipp launch跌⼊式下⽔two-point support launch两⽀点下⽔up to slipway上排marine slipway下⽔重量launch weight下⽔重量launch grease下⽔油脂pressure bear layer乘压层transitional layer过渡层slid layer滑动层weight of up to slipway上排重量lift by the stern尾浮lift尾浮fore poppet pressure前⽀架压⼒zone of pivot pressure action前⽀架压⼒作⽤区way end pressure滑道末端压⼒dropp⾸落bow drop⾸落dipp⾸沉tipp尾落launch poppet下⽔⽀架fore poppet前⽀架after poppet后⽀架launch beam下⽔横梁trigger⽌滑器check arrangement制动设施sub-assembl部件装配section assembl分段装配unit assembl分段装配berth assembl船台装配unit erection at berth船台装配sectional method of hull construction分段建造法block method of hull construction总段建造法horizontal method of hull construction⽔平建造法pyramid method of hull construction塔式建造法island method of hull construction岛式建造法upright method of hull section construction正装法upsidedown method of hull section construction倒装法sideward method of hull section construction侧装法join ship sections afloat⽔上合拢mould bed胎架jig胎架fixed mould bed固定胎架adjustable mould bed可调胎架positioner摇摆胎架tilt jig回转胎架tilt device回转装置specialized mould bed专⽤胎架bed mould胎板fabrication platform装焊平台electromagnetic platform电磁平台position strip定位马shore定位马electromagnetic strip电磁马jip for fitt-up T-sectionsT型材装焊机temporary stiffen bar临时加强材assembly frame假舱壁sub-assembly船体部件panel板列section分段assembly分段unit分段basic section基准分段join section嵌补分段flat section平⾯分段curved section曲⾯分段three-dimensional unit⽴体分段two-dimensional unit半⽴体分段block总段complete cross section总段section assembly flow line分段装配流⽔线lay-out for assembl装配划线sequence of erection and weld装配焊接顺序plate alignment拼板position定位frame r肋⾻框架reference line for assembl装配定位线seperate method of assembl分离装配法cell method of assembl放射式装配法interpolate method of assembl插⼊装配法centerlineof berth船台中⼼线sight column望⼴柱positioner for unit erection at berth船台装配定位器frame station line on berth船台肋⾻线light target光靶pre-set焊接反变形manual loft⼿⼯放样scale loft⽐例放样full scale loft实尺放样longitudinal shrink scale loft纵向缩尺放样fair光顺fairness光顺性deviation from offsets修正值coincide in three projection planes三⾯吻合lay off of hull lines型线放样mathematical loft数学放样mathematical lines数学型线mathematical fair of lines型线数学光顺sectional curved method剖⾯线法least square method最⼩⼆乘法linear programm method线形规划法variational method变分法curved surface method曲⾯法point by point method of modification逐点修改法local linear interpolation直尺卡样法elastic local linear interpolation卡尺回弹法bend-modify relaxation method弯调松弛法interpolation point正插点inversed interpolation point反插点line of intersect points⾓点线line of tangential points切点线line of centers圆⼼线localized fair局部光顺circular spline圆弧光顺spline function样条函数fitt拟合fitt to curved surface曲⾯拟合parametric curve with sle flecnode单拐参数曲线criterion of fairness光顺判别准则inflexion preservation保凹凸recurrent force回弹⼒coincident recurrent force正回弹⼒incoincident recurrent force返回弹⼒recurrent magnitude回弹量bend direction of curve弯向chang of curvature弯势excess flecnode多余拐点bad point坏点bad point interval坏点区discriminat function定改函数mathematical development of shell plate外板数学展开equation of frame肋⾻⽅程equation of longitudinal seam纵缝⽅程equation of transverse seam横缝⽅程differential geodesic line method微分测地线法tangential development method切⾯展开法thickness modification in plate development板厚修正shipbuild information data process造船信息数据处理系统mathematical loft system for pip管路数放系统graphic data process system图⽰数据处理系统line fair program型线光顺程序seam arrangement program板缝排列程序shell plate development program外板展开程序mathematical seam arrangement板缝数学排列nest program套料程序structural process program结构处理程序nest mathematical process套料数学处理structural mathematical process结构数学处理tape out-put program纸带输出程序draw process program绘图处理程序numerical controlled draw 数控绘图data treatment and memory program数据处理和存储程序station No站号frame No肋⾻号contour line外廓线shell pate development外板展开dutum line准线mean normal method准线展开法center spot squar method⼗字线展开法geodesic line测地线geodesic line development method测地线展开法frame section surface肋⾻平⾯normal plane of shell plate外板法⾯trible of buttock lines纵剖线族tribe of body lines横剖线族tribe of water lines⽔线族camber table梁拱表frame interpolation肋⾻插值frame body plan肋⾻型线图returned table of offsets完⼯型值表finished table of offsets完⼯型值表draft mark吃⽔标志paint line⽔线标志structural member loft结构放样edge line接⼝线upper edge line上⼝线lower edge line下⼝线seam arrangement板缝排列longitudinal seam纵向接缝transverse seam横向接缝curved surface development曲⾯展开structural member development构件展开curvature of frame肋⾻弯度jig for plate development外板展开器selected mould sectionprojected frame line on selected mould section改型肋⾻型线diagonal check methods对⾓线检查法sketch for mark off号料草图template draw样板图scale draw transparency投影底图glass negative投影底⽚profile draw仿形图bridge line连割线template样板mould样板mock-up样箱cradle mould样箱batten样条mould bar洋棒multi-shape template格⼦样板adjustable mould可调样板triangular template三⾓加⼯样板beam mould梁拱样板frame mould肋⾻洋板section mould加⼯洋板template for secondary mark装配划线样板angular template for assembl装配夹⾓样板adjustable angular template可调⾓度样板template for mark-off号料样板loft office放样间loft floor样台scale loft table⽐例放样台manual mark-off⼿⼯号料mark-off from templates样板号料mark-off from mould bars样棒号料mark-off from moulds样箱号料mark-off from sketches草图号料secondary mark-off⼆次号料nest套料mark signs号料符号fram line构架线automatic mark-off⾃动号料projection mark投影号料projection tower投影塔projection room投影室projection mark table投影号料台positive projection正⽚投影negative projection负⽚投影image distortion影像畸变absolute distortion绝对畸变relative distortion相对畸变pincushion distortion枕形畸变barrel distortion桶形畸变photosensitive mark感光号料facsimile mark电传真号料facsimile mark machine电传真号料机electro-print mark电印号料electro-print mark apparatus电印号料装置synchronized scann projection同步扫描投影photo-conductive powder光电粉末electrostatic latent image静电潜像NCshapes mark machine数控型材号料pneumatic mark punch风动号料冲头shipbuild technolgy造船⼯艺two-part construction两段造船法method of build ship in two sections两段造船法tandem shipbuild method串联造船法technology of hull construction船体建造⼯艺loft放样mark off号料hull steel fabrication⾦属船体加⼯assembly and erection船体装配weld焊接launch下⽔outfitt and machinery installation船舶设备和系统安装pre-erection outfitt预安装outfitt and machinery installation on berth船台安装quay outfitt and installation码头安装dock outfitt and installation船坞安装unit outfitt单元安装unit pre-outfitt单元预装bollard test系泊实验sea trial航⾏实验construction start date建造开⼯⽇time on build berth船台周期shipbuild period造船周期launched displacement of ships下⽔量ship output船舶产量ship delivery交船operation stage⼯艺阶段operation items⼯艺项⽬operational path⼯艺路线technological process⼯艺过程technological instruction⼯艺规程method plann of ship construction原则⼯艺standard technological procedure典型⼯艺operation items detail chart⼯艺项⽬明细表master schedule总⼯艺进度表"positional flow" method流⽔定位法"specialized gang" method流⽔定员法edge preparation边缘加⼯individuals of hull structure船体零件symbols for hull steel fabrication船体加⼯符号groove preparation坡⼝加⼯edge plann刨边edge mill铣边edge grind磨边carbon arc air goug碳弧⽓刨plate-edge planer刨边机plate-edge miller铣边机shear剪切roll shear滚剪blank冲切scarf削斜flame cutt⽕焰切割plasma cutt等离⼦切割arc air cutt电弧⽓割gas cutt⽓割oxy cutt氧⽭切割oxy-flux cutt氧熔剂切割laser cutt激光切割under water cutt⽔下切割stack cutt迭板切割shear squence剪切顺序drag后拖量shear machine剪床guillotine龙门剪床roll shear machine滚剪机disk shear圆盘剪circular shear圆盘剪nibbl machine振动剪床shear and punch machine联合冲剪机semi-automatic gas cutt machine半⾃动⽓割机gantry type semi-automatic gas cutt machine半⾃动桥式⽓割机semi-automatic gas cutt machine for mark circular shape半⾃动割圆机semi-automatic multitorch gas cutt machine半⾃动多炬⽓割机全位置仿形⽓割机all position copy gas cutt machine全位置仿形⽓割机automatic gas cutt machine⾃动⽓割机profile gas cutt machine靠模⽓割机copy gas cutt machine靠模⽓割机photo-electric trac gas cutt machine光电跟踪⽓割机photo-electric linefollow gas cutt machine光电跟线⽓割机NCgas cutt machine数控⽓割机NCuniversal gas cutt machine数控通⽤⽓割机cutt torch割炬cutt nozzle割嘴preheat⽓割预热roll bend滚弯press bend压弯knuckle折⾓angle bend less than 90折锐⾓angle bend greater than 90折钝⾓flang折边die bend强制弯曲free bend⾃由弯曲concave bend of frame⾻材内弯convex bend of frame⾻材外弯length wise wavws around edge皱折minimum bend radius最⼩弯曲半径pre-bend预弯surplus straight edge剩余直边spr back弯曲回弹rubber mold form橡⽪模成型spinn旋压flow form旋压bulg胀形shot blast form喷丸成型stretch metal in center portion of sheet放中tight metal in center portion of sheet收中stretch metal around edges of sheet放边tight metal around edges of sheet收边hammer solidly around edges of sheet拨缘channell压筋rectification of distortion矫形rectification of distortion by flame⽕⼯矫形rectification of distortion by flame heat and water cool⽔⽕矫形hot form⼤⽕成形line heat form⽔⽕成形heat line加热线heated-side cool method正⾯⽔冷法back-side cool method背⾯⽔冷法width of heat affect zone热影响区宽度length of heat line焰道长度heat speed热源速度flame power⽕焰功率angular distortion⾓变形explosion form爆炸成形unconfined system explosion form⽆模爆炸成形three-roll bend machine三辊弯板机shipyard roll press造船⽤滚压两⽤机shipyard combined plate bend and flang machine造船⽤滚压两⽤机four-roll bend machine四辊弯板机press压⼒机hydraulic press with adjustable head for ship use造船⽤压头可移式液压机three-row plunger type press三排柱塞式弯板机multi-plunger hydraulic press多柱塞式弯板机NChydraulic press数控成形液压机sail-shaped plate帆形板saddle-shaped plate鞍形板screw-shaped plate螺形板corrugated plate波形板channelled plate槽形板cylindrical shaped plate桶形板conical shaped plate锥形板spherical shaped plate球形板pure bend纯弯板concentrated force bend集中⼒弯曲stretch bend拉弯torsional deflection旁弯变形cold frame bend machine肋⾻冷弯机frame roll machine肋⾻滚弯机frame stretch bend machine肋⾻拉弯机cold frame bend machine with-adjustable die可调模具式肋⾻冷弯机cold frame bend machine with multiplungers多压头式肋⾻冷弯机three cylinder frame bend machine三缸肋⾻冷弯机frame pure-bend machine纯弯曲肋⾻冷弯机frame bend machine of medium frequency induction heat中频肋⾻热弯机NCcold frame bend machine数控肋⾻弯曲机concave bend frame内弯肋⾻convex bend frame 外弯肋⾻s-bend frameS-形肋⾻steel pretreatment刚材预处理steel levell and straighten钢材矫正levell of piates钢板矫平mangle辊式矫平机plate straightener辊式矫平机straighten of shapes型钢矫直shapes straighten machine型钢矫直机steel preheat钢材预热rust removal of steel钢材除锈abrasive blast喷射除锈abrasive磨料shot blast抛丸除锈shot blast machine抛丸除锈机shot blast room抛丸室abrasive impeller抛丸器automatic primer spray⾃动喷涂底漆chemical clean化学除锈acid clean of steel酸洗除锈pickl酸洗处理dip pickl浸渍酸洗spray pickl喷淋酸洗neutraliz中和处理passivat钝化处理phosphat磷化处理pickl bath酸洗池pickl waste treatment废酸液处理acid pickl inhibitor酸洗缓蚀剂vacu-blast clean真空喷射除锈arc rust removal电⽕花除锈mechanical rust removal机械除锈secondary rust removal⼆次除锈shot peen喷丸除锈sand blast喷沙除锈wet sand blast湿喷沙除锈spray pickl in circulation循环喷射酸洗acid paste pickl化学膏除锈hydroblast⾼压⽔除锈flame clean⽕焰除锈remote control descal machine遥控除锈机adjust needle cleaner针束除锈器stripp film clean可剥性薄膜除锈section shot-blast分段抛丸除锈section shot-peen分段喷丸除锈section pickl分段酸洗除锈shot-peen room喷丸间brush paint刷涂spray pant喷涂airless spray paint⽆空⽓喷涂electrostatic spray静电喷涂agent for electrostaic spray静电喷涂助剂electrocoat电泳涂漆flow line of pickl酸洗磷化电泳涂漆流⽔线phosphat and electrocoat酸洗磷化电泳涂漆流⽔线abrasive磨料abrasive blast喷射除锈abrasive impeller抛丸器absolute distortion绝对畸变acceptance document验收移交书acceptance of shaft轴系安装验收acid clean of steel酸洗除锈acid paste pickl化学膏除锈acid pickl inhibitor酸洗缓蚀剂actual throat thickness焊缝厚度additional test复验adjustable angular template可调⾓度样板adjustable block机械墩adjustable mould可调样板adjustable mould bed可调胎架adjust needle cleaner针束除锈器after poppet后⽀架agent for electrostaic spray静电喷涂助剂ahead and astern reach measurement惯性试验air tight test of pipeline管路⽓密实验airless spray paint⽆空⽓喷涂alignment找正alignment by flanges直接找正alignment of bottom cas and bear seat下⽓缸和轴承座找正all position copy gas cutt machine全位置仿形⽓割机all position weld全位置焊接anchor test in trial锚设备效⽤实验angle bend greater than 90折钝⾓angle bend less than 90折锐⾓angular distortion⾓变形angular template for assembl装配夹⾓样板anneal weld退⽕焊approved certificate for product产品合格证arc air cutt电弧⽓割arc blow磁偏吹arc clean action阴极破碎arc length弧长arc rust removal电⽕花除锈arc strike引弧arc weld电弧焊arcvoltage电弧电压argon arc weld氩弧焊assembl error装配误差assembl on board上船组装assembly分段assembly and erection船体装配assembly frame假舱壁automatic gas cutt machine⾃动⽓割机automatic primer spray⾃动喷涂底漆automatic weld⾃动焊automatic weld in vertical position垂直⾃动焊auxiliary boiler test辅锅炉试验average linear load平均线负荷back chipp清根back goug清根back run打底焊back settl回淤back weld打底焊backfire回⽕back weld封底焊bad point坏点bad point interval坏点区band test弯曲试验bank slope驳岸barrel distortion桶形畸变base line基准线base metal母材basic covered electrode碱性焊条basic section基准分段basin港池batten样条beam mould梁拱样板beams gate迭梁式坞门bear metal cracks轴承龟裂bed mould胎板bend direction of curve弯向bend of pipewith core有芯弯管bend prior to weld先弯后焊berth船台berth assembl船台装配berth force挤靠⼒bevel angle坡⼝⾓度bilge block舭墩blade rust叶⾯锈斑blade tip deflection螺旋桨叶稍上翘blank冲切block总段block load搁顿负荷block method of hull construction总段建造法block sequence分段多层焊blocks墩blocks with sand box沙箱墩blowhole⽓孔blow吹车boat tank跳船boiler burner test锅炉燃烧器试验boiler water fill上⽔(锅炉)bollard test系泊实验bonded flux陶质焊剂bonded slag粘渣bond of plastic pipe塑料管粘接bond of propeller to shaft螺旋桨胶合联接bor for shaft line轴系镗孔bow drop⾸落box包⾓焊braz钎焊braz filler metal钎料braz flux钎剂break test for anchor chain锚链拉断实验breakwater防波堤bridge approach引桥bridge gauge桥规bridge line连割线brush paint刷涂build berth造船台build dock造船坞bulg胀形burn loss烧损burn of bear metal⽩合⾦烧熔butt joint对接接头butt weld对接焊缝butter预堆边焊caisson坞门camber table梁拱表cambered way弧形滑道canalled dock运河式船坞cantilever end load悬臂端负荷carbon arc air goug碳弧⽓刨carbon equivalent炭当量cargo handl test起重设备负荷试验cast of propeller in metal patten螺旋桨⾦属型铸造cell method of assembl放射式装配法center block for shaft alignment轴系中⼼定位块center line strip on berth船台中⼼线板center spot squar method⼗字线展开法center校中center of mov parts运动件校中center of shaft by indicators指针法轴系校中center of shaft by light光学法轴系校中center of shaft by ruler and gauge直尺和厚薄规法轴系校中center of shaft轴系校中center of shaft by calculation method计算法轴系校中center of shaft by direct connection平轴法轴系校中center of shaft by load method轴承负荷法轴系校中center or rotor转⼦校中centerline of berth船台中⼼线centrifugal cast of propeller螺旋桨离⼼铸造ceramic flux陶质焊剂chain intermittent fillet weld对称间断焊缝chang of curvature弯势channelled plate槽形板channell压筋check of axial clearance轴向间隙确定check of dynamic balance of rotor转⼦校动平衡check of play between piston and cylinder cover校⽓缸余隙check of propeller pitch螺旋桨螺距校正check of reference center line中⼼线测量check of the tappet clearance校⽓门间隙check arrangement制动设施check of bear clearance with lead压铅法check of propeller pitch螺旋桨螺距检验check of surface in contact by mark compound涂⾊油法chemical analysis化学分析chemical clean化学除锈circular shear圆盘剪circular spline圆弧光顺circumferential weld环焊缝CO2 weld⼆氧化碳⽓体保护焊coat药⽪coincide in three projection planes三⾯吻合coincident recurrent force正回弹⼒cold bend of pipe管⼦冷弯cold crack冷裂缝cold frame bend machine肋⾻冷弯机cold frame bend machine with multiplungers多压头式肋⾻冷弯机complete cross section总段complete engine set installation整机安装complete fusion焊透compressed air test⽓压实验concave bend frame内弯肋⾻concave bend of frame⾻材内弯concentrated force bend集中⼒弯曲configuration of bent pipe管⼦弯势conical shaped plate锥形板connection weld联系焊缝construction start date建造开⼯⽇consumable guide electroslag weld熔嘴电渣焊consumables焊接材料continuous weld连续焊缝continuous weld连续焊contour line外廓线convex bend frame 外弯肋⾻convex bend of frame⾻材外弯copper back铜垫copper shoe铜滑块copy gas cutt machine靠模⽓割机core wire焊芯core wire diameter焊条直径coreless bend of pipe⽆⼼弯管corner joint⾓接接头corrugated plate波形板course keep test航向稳定性试验covered berth室内船台covered electrode焊条cover药⽪crack sensitivity焊接裂缝敏感性crack test抗裂试验crack test with 500x2000mm test pieces⼤板对接抗裂试验cradle mould样箱crater弧坑crater crack弧坑裂缝cribb井字墩criterion of acceptance of radiographic examination of welded seam焊缝质量射线检查评定标准criterion of fairness光顺判别准则criterion of ultrasonic examination of welded seam焊缝超声波探伤标准cruciform crack test⼗字接头抗裂试验cruciform joint⼗字接头curvature of frame肋⾻弯度curved section曲⾯分段curved surface development曲⾯展开curved surface method曲⾯法cutt nozzle割嘴cutt torch割炬cylindrical shaped plate桶形板data treatment and memory program数据处理和存储程序dead center gauge⽌点规defective items after inspection废品通知单deflection of main journal主轴颈下沉量degree of mechanization in weld焊接机械化程度deposited metal熔敷⾦属deposition rate熔敷系数depth of fusion熔深design element of weld焊缝结构要素design throat thickness焊缝计算厚度design water lever设计⽔位destructive examination破坏性检验detectaphone侦听起detection sensitivity探伤仪灵敏度determination of center line and axis找中determination of center line or axis找中determination of shaft linep轴系找中deviation from offsets修正值diagonal check methods对⾓线检查法dial gauge for measur of crank spread曲轴量表die bend强制弯曲differential geodesic line method微分测地线法diffusible hydrogen content扩散氢含量dip pickl浸渍酸洗dip transfer短路过渡dipp⾸沉dipp launch跌⼊式下⽔discriminat function定改函数disk shear圆盘剪dock船坞dock bottom坞底dock entrance坞⼝dock head坞⾸dock outfitt and installation船坞安装dock sill坞坎dock wall坞壁dockgate坞门dockgate channel门槽dock weight进坞重量dolphin pier靠船墩double bevel grooveK型坡⼝draft mark吃⽔标志drag后拖量draw process program绘图处理程序drop test for anchor锚投落试验dropp⾸落dry dock⼲坞dry extension of electrode焊丝⼲伸长dutum line准线dynamic characteristic电源动特性dynamic test of propeller螺旋桨浆动平衡试验dynamometer测功器eccentricity偏⼼度edge grind磨边edge joint端接接头edge line接⼝线edge mill铣边edge plann刨边edge preparation边缘加⼯elastic local linear interpolation卡尺回弹法electric dynamometer电⼒测功器electrocoat电泳涂漆electrode diameter焊条直径electrode extension焊丝伸出长度electrode for vertical down weld下⾏焊条electrode negative正接electrode positive反接electromagnetic platform电磁平台electromagnetic strip电磁马electronbeam weld电⼦束焊electronic indicator电⼦⽰功器electroslag weld电渣焊electroslag weld with plate electrode板极电渣焊electroslag weld with wire electrode丝极电渣焊electrostatic latent image静电潜像electrostatic spray静电喷涂elevation⽔位emergency drain test应急疏⽔实验enclosed weld强迫成形焊end launch纵向下⽔equation of frame肋⾻⽅程equation of longitudinal seam纵缝⽅程equation of transverse seam横缝⽅程equilibrium tide平潮evaluation test of power plant on board动⼒装置实船鉴定试验examination of opened up parts拆验examination of ream紧配螺栓配合检查excess flecnode多余拐点excess of water过⽔excess weld metal加强⾼expander胀管器explosion expand of pipe爆炸胀管explosion form爆炸成形explosive weld爆炸焊接exposed berth露天船台external characteristic电源外特性fabrication platform装焊平台facsimile mark电传真号料facsimile mark machine电传真号料机fair光顺fairness光顺性fatigue test疲劳试验filler metal填充⾦属filler wire焊丝fillet weld⾓焊缝fillet weld in flat position船形焊fillet weld Tee bend testT型接头弯曲试验fillet weld⾓焊final cutt of pipe割管finished table of offsets完⼯型值表firecracker weld躺焊first product inspection⾸件检验FISCO type crack test加压固定对接抗裂试验fishbone crack test鱼⾻型抗裂试验fitt拟合fitt of compreg层压胶⽊镶嵌fitt of lignumvitae铁梨⽊镶嵌fitt of rubber seal r in stern tube尾轴管衬套橡胶嵌套fitt to curved surface曲⾯拟合fixed foot bridge固定引桥fixed mould bed固定胎架flame bend of pipe⽕焰弯管flame clean⽕焰除锈flame cutt⽕焰切割flame power⽕焰功率flangeless joint⽆法兰联接flang折边flap gate卧倒式坞门flash back回⽕flat position weld平焊flat section平⾯分段flatten test⾦属管压扁试验float caisson浮箱式坞门float launch飘浮下⽔float spar fender浮式护⽊flood dock注⽔式船坞flood test灌⽔法flow form旋压flow line of pickl酸洗磷化电泳涂漆流⽔线flow rate of shield gas保护⽓体流量flux焊剂flux back焊剂垫fog test⽓雾法fore poppet前⽀架fore poppet pressure前⽀架压⼒formation of weld寒风成形frame bend machine of medium frequency induction heat中频肋⾻热弯机frame body plan肋⾻型线图frame interpolation肋⾻插值frame lines肋⾻检验线frame mould肋⾻洋板frame No肋⾻号frame r肋⾻框架frame roll machine肋⾻滚弯机frame section surface肋⾻平⾯frame station line on berth船台肋⾻线frame stretch bend machine肋⾻拉弯机fram line构架线free bend⾃由弯曲free runn空车运转freeboard measurement of life boat救⽣艇⼲舷测定full penetration焊透full scale loft实尺放样fume of weld焊接烟尘furnace brickwork炉墙砌筑furnace explosion dur light up冷爆fused flux熔炼焊剂gallery廊道gantry龙门架gap两轴曲折gas cutt⽓割gas inflation liferaft test⽓胀式救⽣筏试验gas metal arc weld熔化级⽓体保护焊gas mixture metal arc weld混合⽓体保护焊gas pore⽓孔gas tightness⽓密性gas tungsten arc weld⾮熔化级⽓体保护焊gas weld⽓焊gate chamber门库gate channel for repair修理门槽gate pier门墩generat set portion of bollard test发电机组系泊试验generat set portion of trial test发电机组航⾏试验geodesic line测地线geodesic line development method测地线展开法glass negative投影底⽚globular transfer⼤滴过渡graphic data process system图⽰数据处理系统gravity launch重⼒下⽔gravity weld重⼒焊grease launch油脂下⽔groove坡⼝groove angle坡⼝⾓度groove depth坡⼝深度groove preparation坡⼝加⼯groove radius坡⼝半径guided bend of pipe靠模弯管guillotine龙门剪床hammer solidly around edges of sheet拨缘handl test of life boat救⽣艇和⼯作艇降落试验hard solder钎料hardness test硬度试验hardness test of weld zone焊接接头硬度试验heat affected zone热影响区heat input线能量heat line加热线heat speed热源速度hell test倾斜试验high frequency bend of pipe⾼频弯管hogg拱曲horizontal build berth⽔平船台horizontal method of hull construction⽔平建造法horizontal position weld横焊hot bend of pipe管⼦热弯hot crack热裂缝hot form⼤⽕成形hot wire submerged arc weld预热焊丝埋弧焊hull steel fabrication⾦属船体加⼯hydraulic bend of pipe液压弯管hydraulic dynamometer⽔⼒测功器hydraulic press with adjustable head for ship use造船⽤压头可移式液压机hydraulic subassembly for crankshaft曲轴液压套合hydraulic test of boiler锅炉⽔压实验hydraulic test of pipeline管路液压实验hydroblast⾼压⽔除锈hydrogen content in welds焊缝氢含量idl惰转image distortion影像畸变impact force撞击⼒impact test冲击实验imperfection in bond轴承脱壳incline launch倾斜下⽔inclined build berth倾斜船台inclined Tee joint斜接接头incoincident recurrent force返回弹⼒incomplete fusion未焊透indicator⽰功器individuals of hull structure船体零件inflexion preservation保凹凸insert pipe嵌补管inspection勘验inspection of levelness⽔平度测量inspection by mould bar样条法检验inspection by sketch method草图法检验inspection by templet样板法检验inspection dur hull steel fabrication船体零部件加⼯检验inspection of abutt edges of block总段对接检验inspection of block总段装配检验inspection of center line of build berth船台中⼼线测量inspection of draft mark and loaded water linesinspection of frame spac肋⾻间距测量inspection of groove坡⼝测量inspection of hull deformation after launch全船校正检查inspection of hull form after completion船体完⼯测量inspection of hull lines线型检验inspection of hull loft船体放样检验inspection of install of propeller螺旋桨安装检查inspection of mould bed胎架检验inspection of mount of bear seats轴承座安装检验inspection of panel平⾯分段检验inspection of permanent ballast before launch下⽔压载检查inspection of preassembled frame r肋⾻框架装配检验inspection of ship structure全船结构检查inspection of squar accuracy⾓尺线检查inspection of three dimensional unit⽴体分段检验inspection of thrust block推⼒块厚度检查inspection of vertical surface垂直度测量inspection on development of structural members船体构件展开检验inspection on shell plate development外板展开检验installation of boiler锅炉安装installation of desel engine柴油机安装installation of main engine主机安装installation of marine power plant船舶动⼒装置安装installation of pip管系安装installation of pip unit管系单元安装installation of shaft轴系安装installation of turbine汽轮机安装interlayer temperature层间温度intermittent weld间断焊缝interpass temperature层间温度interpolate method of assembl插⼊装配法interpolation point正插点inversed interpolation point反插点iron powder electrode铁粉焊条iron wedge楔铁island method of hull construction岛式建造法items for acceptance of vessel验收项⽬jetty突堤码头jig胎架jig for plate development外板展开器join lines for hull assembly船体装配对合线join section嵌补分段join ship sections afloat⽔上合拢jump launch跳跃式下⽔keel block龙⾻墩knuckle折⾓knuckl line slipway折线滑道lack of fusion未焊透lagg of boiler锅炉绝热层包扎lamellar tear层状撕裂land tie拉桩lap joint搭接接头laser alignment激光找正laser cutt激光切割launched displacement of ships下⽔量launch下⽔launch beam下⽔横梁launch grease下⽔油脂launch poppet下⽔⽀架launch way滑道launch weight下⽔重量layer焊层lay off of hull lines型线放样least square method最⼩⼆乘法leg of fillet weld焊脚length of heat line焰道长度length wise wavws around edge皱折levell找平levell by level gauge液⾯法找⽔平levell of engine bed机座找平levell of foundation机座找平levell of piates钢板矫平lifebuoy test救⽣圈试验lift by the stern尾浮lift尾浮light target光靶line fair program型线光顺程序line heat form⽔⽕成形line of centers圆⼼线line of intersect points⾓点线line of tangential points切点线line outs of ship equipments船舶综合放样linear porosity链状⽓孔linear programm method线形规划法listen侦听listen rod听⾳棒local linear interpolation直尺卡样法localized fair局部光顺localized porosity密集⽓孔loft放样loft floor样台loft office放样间longitudinal bead bend test纵向焊道弯曲试验longitudinal bead notched bend test纵向焊道缺⼝弯曲试验longitudinal seam纵向接缝longitudinal shrink scale loft纵向缩尺放样longitudinal slipway纵向滑道longitudinal weld纵向焊缝low pressure cast of propeller螺旋桨低压铸造lower edge line下⼝线lowest pressure curve of compartments舱室最⼩压⼒曲线magnetic detection磁性探伤main boiler test主锅炉试验main engine portion of bollard test主机系泊试验main engine portion of trial test主机航向实验mangle辊式矫平机manipulation of electrode运条⽅式manual bend of pipe⼿⼯弯管manual emergency anchor test⼈⼒应急起锚试验manual emergency steer test⼈⼒应急操舵试验manual loft⼿⼯放样manual metal arc weld⼿弧焊manual weld⼿⼯焊marginal wharf顺岸码头marine slipway下⽔重量mark for pipes管⼦划线mark for shaft bor轴系孔划线mark off号料mark signs号料符号master schedule总⼯艺进度表match key on propeller shaft推进器轴配件mathematical development of shell plate外板数学展开mathematical fair of lines型线数学光顺mathematical lines数学型线mathematical loft数学放样mathematical loft system for pip管路数放系统mathematical seam arrangement板缝数学排列maximum linear load最⼤线负荷mean normal method准线展开法measurement of curvature of frame肋⾻弯度测量measurement of finished propeller螺旋桨完⼯测量measurement of fit clearance of propeller螺旋桨配合间隙测量measurement of fit clearance of shaft轴系安装间隙测量measurement of fit clearance of sterntube推进器轴安装间隙测量measur error测量误差measur of crank spread曲轴臂距差测量mechanial bend of pipe机械弯管mechanical blocks机械墩mechanical expand of pipe机械胀管mechanical indicator机械⽰功器mechanical rust removal机械除锈mechanized slipway机械化道脂mechanized weld机械化焊接mechaniz launch机械化下⽔medium frequency bend of pipe中频弯管melt rate熔化系数metal transfer熔滴过渡method of build ship in two sections两段造船法method plann of ship construction原则⼯艺MIG weld熔化级⽓体保护焊mill铣切。
Journal of Algorithms () –
Graph minimum linear arrangement by multilevel weighted edge contractions
Ilya Safro ∗ , Dorit Ron, Achi Brandt
Faculty of Mathematics and Computer Science, The Weizmann Institute of Science, POB 26, Rehovot 76100, Israel Received 1 October 2003
* Corresponding author.
E-mail addresses: ilya.safro@weizmann.ac.il (I. Safro), dorit.ron@weizmann.ac.il (D. Ron). 0196-6774/$ – see front matter 2004 Elsevier Inc. All rights reserved. doi:10.1016/j.jalgor.2004.10.004
[DTD5] P.2 (1-18) by:Vita p. 2
Originally the MinLA problem was formulated in 1964 by Harper in [15]. His aim was t
继电保护专业英语词汇
call for capacitance capacitor capacitors bank cascade case catenary CB ceiling (crest)voltage change-over changeover relay characteristic equation characteristic impedance charge charge density circuit circuit breaker circuit breaker circuit breaker monitoring clearance clock phase and anti-clock phase clock synchronisation close command close-up fault closing relay closing and opening time closing time codes cold load cold load pickup commissionning common test voltage communication links compatible complex conductance configurable configure connectors
I ideal transformer identification IED immunity to eraledciatrtoesdtaetliecctdriosmchaagrngetic energy impedance impedance relay impedance earthed impedance grounded impulse voltage inductance induction motor inductive inductor industrial substations and co-generation infinite bus inhibition time initialize instantaneous instantaneous instantaneous power instantaneous phase overcurrent instantaneous trip instantaneous trip instrument transformer insulated insulating property insulating string insulating transformer insulation insulation level insulator integrate
船舶专业英语
船舶专业英语1 The Naval Architect 12 Definitions, Principal Dimensions 53 Merchant ship Types 124 Ship Design 185 General Arrangement 226 Ship Lines 277 Ship Equilibrium, Stability and Trim 318 Estimating Power Requirements 369 Ship Motions, Manoeuvrability 4110 The Function of Ship Structural Components 44 11Structural Design, Ship Stresses 48 12Classification Societies 5413 Shipyard, Organization, Layout 5914 Planning, From Contract to Working Plans 6215 Lines Plan and Fairing, Fabrication and Assembly 6416 Launching and Outfitting 6817 Sea Trials 7018 Marine Engines 73Lesson OneThe Naval ArchitectA naval architect asked to design a ship may receive his instructions in a form ranging from such simple requirements as ―an oil tanker to carry 100 000 tons deadweight at 15 knots‖ to a fully detailed specification of precisely planned requirements. He is usually required to prepare a design for a vessel that must carry a certain weight of cargo (or number of passengers ) at a specified speed with particular reference to trade requirement; high-density cargoes, such as machinery, require little hold capacity, while the reverse is true for low-density cargoes, such as grain.Deadweight is defined as weight of cargo plus fuel and consumable stores, and lightweight as the weight of the hull, including machinery and equipment. The designer must choose dimensions such that the displacement of the vessel is equal to the sum of the dead weight and the lightweight tonnages. The fineness of the hull must be appropriate to the speed. The draft------which is governed by freeboard rules------enables the depth to be determined to a first approximation.After selecting tentative values of length, breadth, depth, draft, and displacement, the designer must achieve a weight balance. He must also select a moment balance because centres of gravity in both longitudinal and vertical directions must provide satisfactory trim and stability. Additionally, he must estimate the shaft horsepower required for the specified speed; this determines the weight of machinery. The strength of the hull must be adequate for the service intended, detailed scantlings (frame dimensions and plate thicknesses ) can be obtained from the rules of the classification society. These scantings determine the requisite weight of hull steel.The vessel should possess satisfactory steering characteristics, freedom from troublesome vibration, and should comply with the many varied requirements of international regulations. Possessing an attractive appearance, the ship should have the minimum net register tonnage, the factor on which harbour and other dues are based. (The gross tonnage represents the volume of all closed-in spaces above the inner bottom. The net tonnage is the gross tonnage minus certain deductible spaces that do not produce revenue. Net tonnage can therefore be regarded as a measure of the earning capacity of the ship, hence its use as a basis for harbour and docking charges. ) Passenger vessels must satisfy a standard of bulkhead subdivision that will ensure adequate stability under specified conditions if the hull is pierced accidentally or through collision.Compromise plays a considerable part in producing a satisfactory design. A naval architect must be a master of approximations. If the required design closely resembles that of a ship already built for which full information is available, the designer can calculate the effects of differences between this ship and the projected ship. If, however, this information is not available, he must first produce coefficients based upon experience and, after refining them, check the results by calculation.TrainingThere are four major requirements for a good naval architect. The first is a clear understanding of the fundamental principles of applied science, particularly those aspects of science that have direct application to ships------mathematics, physics, mechanics, fluid mechanics, materials, structural strength, stability, resistance, and propulsion. The second is a detailed knowledge of past and present practice in shipbuilding. The third is personal experience of accepted methods in the design, construction, and operation of ships; and the fourth, and perhaps most important, is an aptitude for tackling new technical problems and of devising practical solutions.The professional training of naval architects differs widely in the various maritime countries. Unimany universities and polytechnic schools; such academic training must be supplemented by practical experience in a shipyard.Trends in designThe introduction of calculating machines and computers has facilitated the complex calculations required in naval architecture and has also introduced new concepts in design. There are many combinations of length, breadth, and draft that will give a required displacement. Electronic computers make it possible to prepare series of designs for a vessel to operate in a particular service and to assess the economic returns to the shipowner for each separate design. Such a procedure is best carried out as a joint exercise by owner and builder. As ships increase in size and cost, such combined technical and economic studies can be expected to become more common.(From ―Encyclopedia Britannica‖, V ol. 16)Technical terms1.naval architect 造船工程(设计)师naval architecture造船(工程)学2.instruction 任务书、指导书3.oil tanker 油轮4.deadweight 载重量5.knot 节6.specification 规格书,设计任务书7.vessel 船舶8.cargo 货物9.passenger 旅客10.trade 贸易11.machinery 机械、机器12.hold capacity 舱容13.consumable store 消耗物品14.light weight 轻载重量、空船重量15.hull 船体16.dimension 尺度、量纲、维(数)17.displacement 排水量、位移、置换18.tonnage 吨位19.fineness 纤瘦度20.draft 吃水21.breadth 船宽22.freeboard 干舷23.rule 规范24.tentative 试用(暂行)的25.longitudinal direction 纵向26.vertical direction 垂向27.trim 纵倾28.stability 稳性29.shaft horse power 轴马力30.strength 强度31.service 航区、服务32.scantling 结构(件)尺寸33.frame 肋骨34.classification society 船级社35.steering 操舵、驾驶36.vibration 振动 register tonnage 净登记吨位38.harbour 港口39.dues 税收40.gross tonnage 总吨位41.deductible space 扣除空间42.revenue 收入43.docking 进坞44.charge 费用、电荷45.bulkhead 舱壁46.subdivision分舱(隔)、细分47.collision 碰撞promise 折衷、调和49.coefficient 系数50.training 培训51.fluid mechanics 流体力学52.structural strength 结构强度53.resistance 阻力54.propulsion 推进55.shipbuilding 造船56.aptitude (特殊)才能,适应性57.maritime 航运,海运58.polytechnical school 工艺(科技)学校59.academic 学术的60.shipyard 造船厂61.electronic computer 电子计算机62.owner 船主,物主63.encyclop(a)edia 百科全书Additional Terms and Expressions1.the Chinese Society of Naval Architecture andMarine Engineering (CSNAME) 中国造船工程学会2.the Chinese Society of Navigation中国航海学会3.“Shipbuilding of China‖中国造船4.Ship Engineering 船舶工程5.“Naval 安定Merchant Ships”舰船知识6.China State Shipbuilding Corporation (CSSC) 中国船舶工业总公司7.China offshore Platform Engineering Corporation(COPECO) 中国海洋石油平台工程公司8.Royal Institution of Naval Architects (RINA) 英国皇家造船工程师学会9.Society of Naval Architects and MarineEngineers (SNAME) 美国造船师与轮机工程师协会10.Principle of naval architecture 造船原理11.ship statics (or statics of naval architecture) 造船静力学12.ship dynamics 船舶动力学13.ship resistance and propulsion 船舶阻力和推进14.ship rolling and pitching 船舶摇摆15.ship manoeuvrability 船舶操纵性16.ship construction 船舶结构17.ship structural mechanics 船舶结构力学18.ship strength and structural design 船舶强度和结构设计19.ship design 船舶设计20.shipbuilding technology 造船工艺21.marine (or ocean) engineering 海洋工程Note to the Text1.range from A to B 的意思为“从A到B的范围内”,翻译时,根据这个基本意思可以按汉语习惯译成中文。
一线串珠式结构的作文800
一线串珠式结构的作文800英文回答:The beaded structure is a type of architectural design that resembles a string of beads. It is characterized by a linear arrangement of buildings or structures, creating a continuous and interconnected urban fabric. This design approach is often seen in high-density urban areas where space is limited and there is a need to maximize land use.The beaded structure offers several advantages. Firstly, it allows for efficient land use as buildings are closely connected, minimizing gaps and unused spaces. This is particularly beneficial in densely populated cities where land is scarce. Secondly, the linear arrangement ofbuildings creates a sense of continuity and connectivity, making it easier for people to navigate and accessdifferent areas within the structure. Additionally, the beaded structure can promote social interaction and community engagement, as people are more likely to interactand gather in the shared spaces between buildings.中文回答:串珠式结构是一种建筑设计,其形态类似于一串串的珠子。
形容人有条理的英语单词
In the world of adjectives, describing a person who possesses order and structure can be quite rewarding. Such individuals are often seen as organized, methodical, and efficient. Below is a comprehensive list of English words that can be used to describe someone with these qualities, accompanied by explanations and examples.1. Organized- Definition: Having everything in a systematized order; well arranged.- Example: She is known for her organized approach to work, ensuring everything is in its proper place.2. Methodical- Definition: Following a logical and systematic arrangement.- Example: He approaches his studies with a methodical mindset, ensuring no topic is overlooked.3. Structured- Definition: Having a clear and logical framework or plan.- Example: Her structured daily routine helps her manage her time effectively.4. Systematic- Definition: Arranged or conducted in a well-ordered, logical manner.- Example: The systematic way he tackles problems makes him a valuable team member.5. Disciplined- Definition: Showing a controlled and purposeful behavior.- Example: Her disciplined work ethic is evident in her consistent and high-quality performance.6. Systematic- Definition: Marked by a methodical approach; logical and consistent.- Example: He has a systematic approach to his health, eating well and exercising regularly.7. Sequential- Definition: Following in order or sequence.- Example: She prefers to do tasks in a sequential manner, ensuring one is completed before moving on to the next.8. Linear- Definition: Proceeding in a straight line or following a single route.- Example: Her linear thought process helps her analyze situations logically and step by step.9. Hierarchical- Definition: Arranged in a hierarchy or a system of ranks.- Example: The company's hierarchical structure helps in managing tasks efficiently.10. Coherent- Definition: Clear in meaning; logical.- Example: Her argument was coherent and easy to follow, making it persuasive.11. Consistent- Definition: Regular in quality or performance; unwavering.- Example: He is consistent in his work, delivering high-quality results every time.12. Logical- Definition: Based on or agreeable to reason or logic.- Example: Her logical reasoning skills make her a great problem solver.13. Clear-headed- Definition: Having a calm and clear mind.- Example: He remained clear-headed in the face of adversity, making level-headed decisions.14. Punctual- Definition: Keeping to the correct time; timely.- Example: She is known for her punctuality, always arriving on time for meetings and appointments.15. Efficient- Definition: Producing good results with a minimum of waste of time and effort.- Example: His efficient work habits make him a valuable asset to the team.16. Streamlined- Definition: Simplified for greater efficiency.- Example: The new process streamlined the workflow, reducing the time needed to complete tasks.17. Thorough- Definition: Carried out completely and carefully; meticulous.- Example: She is thorough in her research, leaving no stone unturned.18. Detailed- Definition: Having a lot of detail; comprehensive.- Example: He provided a detailed explanation of the project's requirements, ensuring everyone was on the same page.19. Structured- Definition: Having a clear and logical framework or plan (repeated for emphasis).- Example: Her structured planning ensures that she never misses any important deadlines.20. Ordered- Definition: Having a logical or coherent arrangement.- Example: The ordered manner in which she handles her tasks is a testament to her efficiency.21. Methodical- Definition: Following a logical and systematic arrangement (repeated for emphasis).- Example: Her methodical approach to life has helped her achieve great success.22. Sequential- Definition: Following in order or sequence (repeated for emphasis).- Example: She prefers to work sequentially, as it helps her maintain focus on one task at a time.23. Linear- Definition: Proceeding in a straight line or following a single route (repeated for emphasis).- Example: His linear thinking helps him understand complex problems in a step-by-step manner.24. Hierarchical- Definition: Arranged in a hierarchy or a system of ranks (repeated for emphasis).- Example: The hierarchical structure of the company ensures that tasks are assigned and completed efficiently.25. Coherent- Definition: Clear in meaning; logical (repeated for emphasis).- Example: Her coherent thought process is evident in her well-structured presentations.26. Consistent- Definition: Regular in quality or performance; unwavering (repeated for emphasis).- Example: Her consistent performance is a testament to her dedication and hard work.27. Logical- Definition: Based on or agreeable to reason or logic (repeated for emphasis).- Example: His logical approach to problem-solving is a key factor in his success.28. Clear-headed- Definition: Having a calm and clear mind (repeated for emphasis).- Example: Her clear-headedness in critical situations has saved the day on several occasions.29. Punctual- Definition: Keeping to the correct time; timely (repeated for emphasis).- Example: Her punctuality is one of her most admired traits.30. Efficient- Definition: Producing good results with a minimum of waste of time and effort (repeated for emphasis).- Example: His efficiency in handling projects has earned him thetitle of "go-to" person in the office.By using these adjectives, you can vividly describe a person who is known for their order and structure. Whether in the workplace, education, or personal life, such qualities are highly valued and can lead to success and respect among peers and colleagues.。
时空交错手法的作文400字以上
时空交错手法的作文400字以上英文回答,Time and space are two fundamental elementsin storytelling, and the technique of time-spaceinterlacing, also known as time-space dislocation, is often used to create a sense of complexity and depth in a narrative. This technique involves the non-linear arrangement of events, where the story jumps back and forth between different time periods or locations. It is a powerful tool for creating suspense, revealing character motivations, and exploring the interconnectedness of events.One of the most famous examples of time-spaceinterlacing is in the novel "Slaughterhouse-Five" by Kurt Vonnegut. The protagonist, Billy Pilgrim, becomes "unstuckin time" and experiences different moments of his life in a non-sequential order. This technique allows the reader to see the full scope of Billy's experiences and the impact of war on his psyche.Another notable example is the film "Pulp Fiction"directed by Quentin Tarantino. The movie tells several interconnected stories out of chronological order, creating a sense of mystery and intrigue as the audience pieces together the timeline of events.Time-space interlacing can be a challenging technique for both writers and audiences. It requires careful planning and execution to ensure that the narrative remains coherent and engaging. When done successfully, it can add layers of complexity to a story and offer new perspectives on familiar events.中文回答,时空交错手法是一种常用于创作中的技巧,它能够给故事增添复杂性和深度。
EC351Lecture4
Lecture4:Non-Linear Programming(Concave Programming)Introduction(a)Lecture Outline:(4.1)Introduction to concave programming.(4.2)The Effect of Nonnegativity Restrictions.(4.3)The Effect of Inequality Constraints.(4.4)Kuhn-Tucker Conditions(4.5)Example(b)Essential Reading:•Hoy:Chapters15.1,15.24.1Introduction to Concave Programming•So far in this course we have been considering Classical Optimization Problems:•i.e.the function constraints were always equalities such that the con-straints were always binding.•However,sometimes we are interested in economic problems were the constraints are weak inequalities.•Such constraints may not be binding in the solution such that they may be satisfied as inequalities in the solution.•Because it is assumed that the objective function and constraint func-tions are all concave such problems are generally referred as concave-programming problems.•Problems in which the objective function or constraint functions are convex can be handled by noting that if a function is convex then its negative is concave.•Since the Kuhn-Tucker conditions are the single most important an-alytical result in non-linear programming,in order to develop a clear understanding of these conditions will require two steps:1.understanding the effect of nonnegativity restrictions and2.understanding the effect of inequality constraints.4.2The Effect of Nonnegativity Restrictions•First consider a problem with nonnegativity restrictions on the choice variable x1but with no other constraints.maxπ=f(x1)s.t.x1≥0where f is a differentiable function.•In view of the restriction x1≥0three possible solutions may arise.Figure1Figure2Figure3•Interior solution:dπ/dx1=f′(x1)=0and x1>0(point A in Figure 1).•Boundary solution:x1=0and f′(x1)=0(point B in Figure2)•Boundary solution:x1=0and f′(x1)<0(a point like C or D in Figure 3).•Therefore to qualify as a local maximum the candidate point merely has to be higher than the neighboring points within the feasible set.•Consequently,for a value of x1to give a local maximum ofπit must satisfy the following three conditions:(1)f′(x1)≤0;(2)x1≥0;(3)x1f′(x1)=0.•Note that the conditions automatically exclude a point like K in Figure 1which is not a maximum,because f′(x1)>0.•Condition(3)is referred to as the complementary slackness condition i.e.at least one of the two quantities x1and f′(x1)must have a zero value so that the product of the two must be zero.•Taken together equations(1)to(3)constitute thefirst-order necessary conditions for a maximum.Section4.3The Effect of Inequality Constraints•Now consider a problem that includes inequality constraints as well.•Suppose we have a maximization problem with three choice variables x1,x2,x3and two constraints:maxπ=f(x1,x2,x3)s.t.g1(x1,x2,x3)≤r1g2(x1,x2,x3)≤r2and x1,x2,x3≥0•We can convert the inequalities of the constraints by defining slack vari-ables s1,s2:s1=r1−g1(x1,x2,x3)s2=r2−g2(x1,x2,x3)•Therefore the original problem can be transformed into the equivalent form:maxπ=f(x1,x2,x3)s.t.g1(x1,x2,x3)+s1=r1g2(x1,x2,x3)+s2=r2and x1,x2,x3,s1,s2≥0•If the nonnegativity restrictions are absent we can form the Lagrange function Z:Z=f(x1,x2,x3)+λ1[r1−g1(x1,x2,x3)−s1]+λ2[r2−g2(x1,x2,x3)−s2]and write thefirst-order condition as:∂Z ∂x1=∂Z∂x2=∂Z∂x3=∂Z∂s1=∂Z∂s2=∂Z∂λ1=∂Z∂λ2=0•But since x and s variables do have to be nonnegative the F.O.C.s for these variables need to be modified:∂Z ∂x j ≤0;x j≥0;x j∂Z∂x j=0∂Z ∂s i ≤0;s i≥0;s i∂Z∂s i=0∂Z∂λi=0where i=1,2and j=1,2,3.•Inasmuch as∂Z/∂s i=−λi we can eliminate the slack variables from the F.O.Cs to obtain:s i≥0;λi≥0;s iλi=0•Since s i=r i−g i(x1,x2,x3)we get:r i−g i(x1,x2,x3)≥0;λi≥0;λi[r i−g i(x1,x2,x3)]=0•Therefore we can express the F.O.Cs in an equivalent form without the slack variables:∂Z ∂x j =f j−(λ1g j1+λ2g j2)≤0;x j≥0;x j∂Z∂x j=0(1)r i−g i(x1,x2,x3)≥0;λi≥0;λi[r i−g i(x1,x2,x3)]=0 where g j i denotes∂g i/∂x j.•For a constraint to bind requires that its Lagrange Multiplier to be strictly positive.For a constraint to be non-binding,its Lagrange multiplier equals zero.•This is one version of the Kuhn-Tucker conditions for this problem.Section4.4Kuhn-Tucker Conditions•We can obtain the same set of conditions set out in equation(1)more directly by setting up the Lagrange function without using slack variablesDefinition1(Kuhn-Tucker conditions)To derive the Kuhn-Tucker con-ditions for solution of the problemmaxπ=f(x1,x2,x3)s.t.r1−g1(x1,x2,x3)≥0r2−g2(x1,x2,x3)≥0and x1,x2,x3≥0where all functions are concave and differentiable,wefirst form the Lagrange functionL(x1,x2,x3,λ1,λ2)=f(x1,x2,x3)+λ1[r1−g1(x1,x2,x3)]+λ2[r2−g2(x1,x2,x3)]and then maximize with respect to the variables x1,x2and x3subject to the nonnegativity restrictions x1,x2,x3≥0∂L ∂x j =f j−(λ1g j1+λ2g j2)≤0;x j≥0;x j∂L∂x j=0and minimize with respect to the variablesλ1andλ2subject to the nonnegativity restrictionsλ1,λ2≥0∂L ∂λi =r i−g i(x1,x2,x3)≥0;λi≥0;λi∂L∂λi=0•Notes:1.To derive the Kuhn-Tucker conditions the constraint(s)is always ex-pressed as greater than or equal to zero.Unlike classical programming, the order of subtraction is important in concave programming.e.g.For less than or equal to constraints in maximization problems,max f(x,y)s.t.g(x,y)≤Bsubtract the variables in the constraint from the constant of the con-straintmax f(x,y)s.t.B−g(x,y)≥0and therefore the Lagrange function is written as:L=f(x,y)+λ[B−g(x,y)]2.For minimization problems convert the problem into a maximizationproblem by multiplying the objective function by-1.For the corre-sponding greater than or equal to constraints in minimization prob-lems subtract the constant of the constraint from the variables in the constraint.e.g.min f(x,y)s.t.g(x,y)≥Bmax−f(x,y)s.t.g(x,y)−B≥0and therefore the Lagrange function is written as:L=−f(x,y)+λ[g(x,y)−B]Theorem1(Kuhn-Tucker Theorem)Given the problem:max f(x1,...,x n)subject to:g1(x1,...,x n)≥0,...,g m(x1,...,x n)≥0andx1,...,x n≥0if all functions f and g j,j=1,...,m are concave and differentiable and if Slater’s condition holds,that is if there exists a point(x01,...,x0n)such that g j(x01,...,x0n)>0,all j=1,...,m then there exists m Lagrange Multiplierλ∗j such that the Kuhn-Tucker conditions are both necessary and sufficient for the point(x∗1,...,x∗n)to be a solution to the problem.Section4.5Example•Consider the following linear-programming problem:max U=4S+Ds.t.S+D≤10S+2D≤12S,D≥0•Since a linear function is concave and convex,though not strictly concave or strictly convex,a concave-programming problem consisting solely of linear functions that meet the Kuhn-Tucker conditions,will always satisfy the necessary and sufficient condition for a maximum.•To solve a concave programming problem,first derive the Kuhn-Tucker conditions and then through trial and errorfind if the guess leads us to a solution or to a contradiction that informs us to try something else.•Either start by assuming one of the constraints to be non-binding since the related Lagrange multiplier will be zero by complementary slackness, thereby eliminating a variable.•Or start by trying a zero value for a choice variable since this simplifies the marginal conditions.•In this example the Lagrange function is:L=4S+D+λ[10−S−D]+µ[12−S−2D]•The feasible set is depicted belowand the Kuhn-Tucker conditions are:S∗∂L∂S=0;S∗≥0;∂L∂S≤0;D∗∂L∂D=0;D∗≥0;∂L∂D≤0;λ∗∂L∂λ=0;λ∗≥0;∂L∂λ≥0;µ∗∂L∂µ=0;µ∗≥0;∂L∂µ≥0;Since:∂L∂S=4−λ−µ∂L∂D=1−λ−2µ∂L∂λ=10−S−D∂L∂µ=12−S−2Dwe obtain:S∗[4−λ−µ]=0;S∗≥0;4−λ−µ≤0;D∗[1−λ−2µ]=0;D∗≥0;1−λ−2µ≤0;λ∗[10−S−D]=0;λ∗≥0;10−S−D≥0;µ∗[12−S−2D]=0;µ∗≥0;12−S−2D≥0;•Let’s guess thatµ>0andλ>0i.e.both constraints are binding (point A in the above diagram).This implies that:10=S+D12=S+2D•Solving for S and D we obtain that S∗=8>0and D∗=2>0.This implies that:4−λ−µ=01−λ−2µ=0in order to satisfy the complementary slackness conditions.•Solving forλandµwe get thatλ∗=7>0andµ∗=−3<0which contradicts our initial guess thatµ>0!•Next guess:Let’s now guess thatµ=0andλ>0.This implies that10=S+D(2)12>S+2D(3)•Try S>0and D=0for the choice variables(point B in the above diagram).From equation(2)this implies that S∗=10.it is clear to see that equation(3)is also satisfied when S=10and D=0.This also implies that4−λ−µ=0(4)1−λ−2µ<0(5)•Since we guessedµ=0this implies from equation(4)thatλ∗=4>0 and this implies that equation(5)is satisfied since−3<0.Therefore we have satisfied all the Kuhn-Tucker conditions for this max-imization problem and the solution D=0,S=10,λ=4,µ=0is a maximum.。
The Linear Arrangement Problem Parameterized Above Guaranteed Value
1
Introduction
All graphs considered in this paper do not have loops or parallel edges. A linear arrangement of a graph G = (V, E ) is a one-to-one mapping α : V → {1, . . . , |V |}. The length of an edge uv ∈ E relative to α is defined as λα (uv ) = |α(u) − α(v )|. The cost c(α, G) of a linear arrangement α is the sum of lengths of all edges of G relative to α, i.e., c(α, G) = λα (e).
∗ Corresponding author. Department of Computer Science, Royal Holloway University of London, Egham, Surrey TW20 OEX, UK, gutin@ and Department of Computer Science, University of Haifa, Israel † Department of Computer Science, Royal Holloway University of London, Egham, Surrey TW20 OEX, UK, arash@ ‡ Department of Computer Science, Durham University Science Labs, South Road, Durham DH1 3LE, UK, stefan.szeider@ § Department of Computer Science, Royal Holloway University of London, Egham, Surrey TW20 OEX, UK, anders@
压力容器,中英文对照
化工设备常用词汇和缩写中英文对照缩写/ 英文/中文AB Anchor Bolt 地脚螺栓Abs Absolute 绝对的Abs Abstract 文摘、摘要A/C Account 帐、帐目AC Alternating Current 交流电Add Addendum 补充、补遗、附录ADL Acceptable Defect Level 允许的缺陷标准Adpt Adapter 连接器、接头AE Absolute Error 绝对误差AET Acoustic Emission Examination 声发射检验AISC American Institute of Steel Construction 美国钢结构学会AISI American Iron and Steel Institute 美国钢铁学会AL Aluminium 铝Alk Alkaline 碱的、强碱的ALM Alarm 报警Alt Alternate 交流、改变Amb Ambient 周围的Amt Amount 数量、金额Anh Anhydrous 无水的ANSI American National Standard Institute 美国国家标准学会API American Petroleum Institute 美国石油学会App Apparatus 设备App Appendix 附录、补遗Appl Applied 应用的Appl Applicable 适当的、合适的Approx Approximate 大约、近似Appx Appendix 附录、附件Arrgt Arrangement 布置AS Alloy steel 合金钢Asb Asbestos 石棉ASL Above Sea Level 海拔高度ASM American Society for Metals 美国金属学会ASME American Society of Mechanical Engineers 美国机械工程师学会Assem Assembly 装配ASTM American Society for Testing and Materials 美国材料试验学会Atm Atmosphere 大气atm Atmosphere pressure 大气压Auto Automatic 自动Aux Auxiliary 辅助设备、辅助的Avail Available 有效的、可用的Avg Average 平均AW Arc welding 电弧焊AW Automatic Welding 自动焊A.W.G. American Wire Gauge 美国线规AWS(AWI) American Welding Society(Institute) 美国焊接学会BAB Babbitt Metal 巴氏合金Baf Baffle 折流板、缓冲板BB Ball Bearing 滚珠轴承BC Between Centers 中心距、轴间距BC Bolt circle 螺栓中心圆BD Blow down 放空、放料BEDD Basic engineering design data 基础工程设计数据Bet Between 在…之间Bev Bevel 斜角、坡口BF Back face 背面、反面BF Blind flange 法兰盖(盲法兰)BHN Brinell hardness number 布氏硬度值BL Battery Limit 界区BL Battery Line 界区线B/L Bill of Loading 载荷数据表Bld Blind 盲板Blk Black 黑色Blk Blank 空白BM Bench Mark 基准标志BM Bending Moment 弯矩B/M (BOM) Bill of Material 材料表Bot Bottom 底BP Back Pressure 背压BP Base plate 底板BR Basic Requirements 基本要求BRG Bearing 轴承BRKT Bracket 支架Brs Brass 黄铜BS Both Side 两边BS British Standard 英国标准BS Balance Sheet 平衡表Bskt Basket 筐BTU British Thermal Unit 英国热量单位BV Back View 后视图BV Butterfly Valve 碟阀BW Brine Vater 冷冻盐水BW Butt Welding 对焊BWG Birmingham Wire Gauge 伯明翰线规BWRA. British Welding Research Association 英国焊接研究协会C Centigrade(degree) 摄氏度数CA Chemical Analysis 化学分析CA Corrosion Allowance 腐蚀裕量Calc Calculate 计算Cap Capacity 能力、容量CAS Cast Alloy Steel 铸造合金钢Cat Catalyst 触媒、催化剂Catg Catalog 目录、样本C-C(C/C) Center to center 中心距cc carbon copy 复写(纸复制)本cc cubic centimeter 立方厘米CCW Counter clockwise 反时针方向CD Cold Drawn 冷拉的、冷拔的CE Covered Electrode 焊条Cent Centrifugal 离心的CF Centrifugal Force 离心力CFW Continuous Fillet Weld 连续角焊缝CG Center of Gravity 重心CH Case-Hardening 表面硬化Ch Chapter 章节Cham Chamfer 倒角、斜角、斜面Chan Channel 通道、沟槽、管箱、槽钢Chk Check 检查CI Cast Iron 铸铁CIF Cost,Insurance and Freight 到岸价格Circ Circumference 圆周、环向CL Class 等级、类别CL Center Line 中心线CL Clearance 间隙CLAS Cast Low Alloy Steel 低合金铸钢CM Center of Mass 质量中心Cnds Condensate 冷凝液CO Clean Out 清除Co Company 公司Coef Coefficient 系数Col Column 柱、塔Comb Combination 组合Comp Compare 比较Comp Compound 化合物、复合的Compn Composition 组分Conc Concrete 混凝土Conc Concentration 浓度Cond Conductor 导体Cond Condition 条件Conn Connection 联接、接口Const Constant 常数、恒定的Const Construction 结构Cont Control 控制Cont Contain 包含Cont Content 内容、含量Corp Corporation 公司Corr Corrosion 腐蚀CP Centipoise 厘泊CP Center of Pressure 压力中心Cpl Coupling 管箍Cplg Coupling 联轴节CR Chloroprene Rubber 氯丁橡胶CS Carbon Steel 碳钢CS Center Section 中心截面CSTG Casting 铸造、铸件Ctr Center 中心CW Cooling Water 冷却水CW Continuous Welding 连续焊Cy Cycle 循环Cyl Cylinder 气缸、圆筒D Density 密度Dbl Double 二倍、双DEDD Detail Engineering Design Data 详细工程设计数据Def Definition 定义Deg Degree 度、等级Dept Department 部门Des Design 设计Det Detail 详细Detn Determination 确定、决定Dev Deviation 偏差Dev Device 装置DF Design Formula 设计公式Df Deflection 偏斜Dia Diameter 直径Diag Diagram 图Dim Dimension 尺寸Dir Direction 方向Disch Discharge 排出、出口Distr Distribution 分布Div Division 部分、区分DL Dead load 静载荷、自重Doc Document 文件、资料DP Design Pressure 设计压力DP Differential Pressure 压差、分压Dr Drill 钻孔Dr Drive 驱动DW Dead weight 静重、自重DW Demineralized Water 脱盐水Dwg Drawing 图E East 东EC Elasticity Coefficient 弹性系数Ecc Eccentric 偏心EF Electric Furnace 电炉Eff Efficiency 效率eg exempli gratia 例如EHP Effective Horsepower 有效功率EJ Expansion joint 膨胀节EL Elevation 标高Elb Elbow 弯头Elec Electric 电的Elem Element 元素、元件Ellip Ellipsoidal 椭球的、椭圆的Emer、Emerg Emergency 事故、紧急Encl Enclosure 密封、封闭Engrg、Eng Engineering 工程、设计EP Explosion Proof 防爆Eq Equipment 设备Eq Equation 公式、方程式Eq Equivalent 当量ES Electrostatic 静电EST Estimate 估计ESW Electro-Slag Welding 电渣焊ET Eddy Current Examination 涡流检验etc et cetera (and so on) 等等Evap Evaporate 蒸发Ex Example 例如Ex Excess 过剩、超过Exam Examination 检验Exh Exhaust 废气、排气Exp Expansion 膨胀Exptl Experimental 实验的Ext External 外部Ext Extreme 极端的FAO Finish All Over 全部加工FAX Facsimile 传真FB Flat Bar 扁钢FCAW Flux Cored Arc Welding 熔剂芯弧焊(手工焊)Fdn Foundation 基础FDW Feed Water 给水FF Flat Face 平面F/F Field Fabricated 现场制造Fig Figure 图Fin Finish 加工、完成FL Full Load 满载Flex Flexible 挠性Flg Flange 法兰FOB Free On Board 离岸价格FOC Free Of Charge 免费Forg Forging 锻件FOS Factor Of Safety 安全系数FREQ Frequency 频率FST Forged Steel 锻钢Ft Feet 英尺Ftg Fitting 管件、装配F.V. Full Vacuum 全真空FW Fresh Water 新鲜水FW Field Weld 现场焊接FW Fillet Weld 角焊缝GA General Average 平均值Gal Gallon 加仑Gen General 一般、总的Genr Generator 发电机、发生器GF Groove Face 槽面Gl Glass 玻璃GL Ground Level 地面标高GMAW Gas Metal Arc Welding 气体保护金属极电弧焊Gnd Ground 接地、地面Govt Government 政府GP General Purpose 一般用途、通用Gr Grade 等级Gr Gravity 重力Grd Ground 地面Grp Group 分组、类Gr- wt Gross weight 总重、毛重HB Brinell Hardness 布氏硬度HC Hydrocarbon 烃类HC High Capacity 大容量HD Head 压头Hex Hexagon 六角HH Hand Hole 手孔Hor Horizontal 水平、卧式hp Horsepower 马力HP High Pressure 高压HR Rockwell Hardness 洛氏硬度HR(hr) Hour 小时HRC Rockwell C Hardness C级洛氏硬度HS High Pressure Steam 高压蒸汽HS Shore Scleroscope Hardness 肖氏硬度HSC High Pressure Condensate 高压蒸汽凝液HT High Temperature 高温HT Heat Treatment 热处理HT Hydrostatic Test 水压试验HV Vickers Hardness 维氏硬度Hvy Heavy 重的、重型的HW Hot Water 热水ICW Inter Cooling Water 中间冷却水ID Inside Diameter 内径IF Interface 交接面Illus Illustration 说明、图解IN Inlet 进口in Inch 英寸incl Including 包括Ind Indicate 指示Ins Insulation 保温INSP Inspection 检验Instl Installation 安装Int Internal 内部的Int Intermediate 中间的Intmt Intermittent 间歇的、间断的I/O Input/Output 输入/输出Jt Joint 连接、接头KG Kilogram 公斤KW(kw) Kilowatt 千瓦LAS Low Alloy Steel 低合金钢lb pound 磅LC Level Control 液位控制器Leng Length 长度LF Female Face 凹面Lg Long 长的LG Level Glass 液位计LH Left Hand 左手Lin Linear 线性的Liq Liquid 液体Lj Lap joint 搭接LJ Lapped Joint 松套LM Male Face 凸面LMTD Logarithmic Mean Temperature Difference 对数平均温差LN Liquid Nitrogen 液氮LN Level Normal 正常液位Lng Lining 衬里LNG Liquefied Natural Gas 液化天然气Lo Lubrication oil 润滑油Lo Low 低LOA Length Over-All 全长\总长LOC Location 位置Log Logarithm(to the base 10) 对数(以10为底)Long Longitudinal 纵向LP Low Pressure 低压LPG Liquefied Petroleum Gas 液化石油气LT Low Temperature 低温LT Leak Testing 气密试验Ltd Limited 有限Ltr Letter 字母、信Lub Lubricate 润滑LW Lap Welding 搭接焊LWN Long Welding Neck 对焊长颈LWS Longitudinal Welded Seam 纵向焊缝M(m) Meter 米、公尺Mach Machine 机器Maint Maintenance 维修Mat(Mat’l) Material 材料MAWP Maximum Allowable Working Pressure 最大允许工作压力Max Maximum 最大MDMT Min. Design Metallic Temperature 最低设计金属温度Mech Mechanical 机械的Mfd Manufactured 制造的Mfr Manufacturer 制造商MG(mg) Milligram 毫克MH Manhole 人孔MI Melt Index 熔融指数MIG Metal Inert Gas Arc Welding 熔化极惰性气体保护焊Min Minimum 最小MIN(min) Minute 分钟MJG Metallic Jacketed Gasket 金属包复垫片Mk Mark 标志ml Milliliter 毫升mm Millimeter 毫米MP Medium Pressure 中压MPC Maximum Permissible Concentration 最大许用浓度MS Medium Pressure Steam 中压蒸汽MS Medium Steel 中碳钢MSL Mean Sea Level 平均海平面MT Magnetic Particle Examination 磁粉检测MTD Mean Temperature Difference 平均温差Mtd Mounted 安装、装配MTR Material Testing Report 材料试验报告MU Measurement Unit 测量单位MV Mean Value 平均值MW Mineral Wool 矿渣棉N North 北NA Not Applicable 不适用的NAT Natural 天然的Natl National 国家的NC America National Coarse Thread 美制粗牙螺纹NDT Nondestructive Testing 无损检验Neg Negative 负NF American National Fine Thread 美国细牙螺纹Nip Nipple 螺纹管接头、短节Nom Nominal 名义Nor Normal 正常NOZ Nozzle 接管NPS American Standard Straight Pipe Thread 美国标准直管螺纹NPSHA Net Positive Suction Head Available 有效汽蚀裕量NPSHR Net Positive Suction Head Required 要求汽蚀裕量NPT American Standard Taper Pipe Thread 美国标准锥管螺纹NT Net Tonnage 净吨数NTP Normal Temperature and Pressure 标准温度和压力NTS Not To Scale 不按比例Num Number 数、编号、号码Obj Object 目标、对象OC Operating Characteristic 操作特性OD Outside Diameter 外径OH Open Hearth 平炉Oper Operating 操作Opp Opposite 对面、相反OR Outside Radius 外半径OR Outside Ring 外环Orien Orientation 方位Ovhd Overhead 高架的、顶部的Oxyg Oxygen 氧P Page 页P Pressure 压力Par Parallel 平行Para Paragraph 节、段Pc Piece 件PE Polyethylene 聚乙烯PFD Process Flow Diagram 工艺流程图Perform Performance 性能PF Power Factor 功率因素PID Piping & Instruments Diagram 管道和仪表流程图Pl Plate 板Pneum Pneumatic 气、气动PO Purchase Order 订货单Port Portable 便携式、轻便Posit Positive 正Posit Position 位置ppb Parts per billion 十亿分之几ppm Parts per million 百万分之几Prod Product 产品Proj Project 项目、工程PS Polystyrene 聚苯乙烯psf Pounds per square feet 磅/平方英尺psi Pounds per square inch 磅/平方英寸PT Liquid Penetrants Examination 液体渗透检测PTFE Polytetrafluoroethylene 聚四氟乙烯PV A Polyvinyl Acetate 聚醋酸乙烯PV AL Polyvinyl Alcohol 聚乙烯醇PVC Polyvinyl Chloride 聚氯乙烯PWHT Post Weld Heat Treatment 焊后热处理QA Quality Assurance 质量保证QC Quality Control 质量控制Qty Quantity 数量Qual Quality 质量R Radius 半径Rad Radial 径向RC Rockwell Hardness 洛氏硬度Recip Reciprocate 往复式Recirc Recirculate 再循环Recom Recommended 建议、推荐Ref Reference 参照、基准Refract Refractory 耐火材料Reg Regulator 调节器Regen Regenerator 再生器、再生塔Reinf Reinforce 加强Rel Relative 相对Rep Report 报告Rep Repeat 重复Reqd Required 要求、需要的REV Revision 修改、版次Rev Review 评论、检查Rev Revolution 旋转、转数RF Raise face 突台面RH Relative Humidity 相对湿度RH Right Hand 右手RMS Root Mean Square 均方根ROT Rotating 旋转rpm revolutions per minute 转/分rps revolutions per second 转/秒RT Radiographic Examination 射线照相检验S South 北SAW Submerged Arc Welding 埋弧焊Sc Scale 刻度、比例SC Standard Condition 标准状态(温度压力)SCH Schedule 表号、管厚号、进度Sec Second 秒Sec Section 剖面、节、段Seg Segment 节、段Sep Separator 分离器Seq Sequence 次序、顺序SG Specific Gravity 比重SHP Shaft Horsepower 轴马力SI Standard International 国际单位制Sig Signal 信号Sld Solid 固体SMAW Shield Metal Arc Welding 手工焊Smls Seamless 无缝的SO Slip on 平焊(法兰)Sol Solution 溶液SP Spare parts 备件Sp Special 特殊的、专门的SP Static pressure 静压力Spec Specification 说明、规定SpGr Specific Gravity 比重Sq Square 方形、平方SR Stress Relief 消除应力SS Stainless Steel 不锈钢Sta Station 站STD Standard 标准STDWT Standard Weight 标准重量STL Steel 钢STP Standard Temperature and Pressure 标准温度和压力Suc Suction 吸入Suppl Supplement 补充SW Shop Welding 车间焊接SW Spot Weld 点焊SW Socket Welding 承插焊(法兰)SWP Safety Working Pressure 安全工作压力SYM Symbol 符号、标志SYM Symmetry 对称SYS System 系统T Ton 吨TC Tungsten Carbide 碳化钨Tech Technique 技术TEMA Tubular Exchanger Manufacturers Association 管壳式换热器制造商协会(美国)Temp Temperature 温度Term Terminal 终端、接头Thk Thickness 厚度TIG Tungsten Inert Gas Arc Welding 钨极惰性气体保护焊TL Tangent line 切线Tol Tolerance 公差Tot Total 总Trans Transfer 输送器TW Total Weight 总重TW Tack Welding 定位焊Typ Typical 典型、标准UNC Unified National Coarse Thread 统一标准粗牙螺纹UNF Unified National Fine Thread 统一标准细牙螺纹US Undersize 尺寸过小UT Ultrasonic Examination 超声波探伤UTS Ultimate Tensile Strength 抗拉强度极限Vac Vacuum 真空Vap Vapor 蒸汽Var Variable 变化、变量Vel Velocity 速度Vert Vertical 垂直V ol Volume 体积VT Visual Testing 宏观(目测)检查W Watt 瓦WL Welding Line 焊缝线WL Water Line 水线WPS Welding Procedure Specification 焊接工艺规程WP Working Pressure 工作压力WRC Welding Research Committee 焊接研究委员会(美国)WS Water Supply 供水WT Weight 重量W/V Wind Velocity 风速XR X-Ray X射线Yd Yard 码YP Yield Point 屈服点Yr Year 年[此文档可自行编辑修改,如有侵权请告知删除,感谢您的支持,我们会努力把内容做得更好]。
运筹学英语词汇
运筹学英语词汇《运筹学》英语单词1 0-1 programming problem 0-1规划问题2 Artificial variable 人工变量3 Assignment problem 分派问题4 Augmenting path 增广路5 Bases 基6 Basic feasible solution 基可行解7 Basic solution 基解8 Basic variable 基变量9 Big-M method 大M法10 Bipartite graph 二分图11 Branch-and-bound method 分枝定界法12 Capacity 容量13 Chinese postman problem 中国邮递员问题14 Circuit 回路15 Combinatorial optimal problem组合优化问题16 Cone 锥17 Connected graph 连通图18 Constraint 约束19 Convergence 收敛20 Convex programming problem凸规划问题21 Cut edge 截边22 Cutting plane method 切平面法23 Cycle 圈24 Cycling 循环25 Decision variable 决策变量26 Degenerate 退化27 Degree 次28 Directed arc 有向弧29 Discrete optimal problem 离散优化问题30 Dual problem 对偶问题31 Dual simplex algorithm 对偶单纯形算法32 Dynamic programming 动态规划33 Edge 边34 Euler tour 欧拉迹35 Feasible flow 可行流36 Fesible region 可行域37 Flow conservation constraint流量守恒条件38 Flow value 流量39 Global optimal solution 全局最有解40 Goal programming 目标规划41 Hyperplane 超平面42 Initial solution 初始解43 Integer programming problem 整数规划问题44 Labeling algorithm 标号算法45 Linear programming problem线性规划问题46 Local optimal solution 局部最有解47 Mathematical programming problem数学规划问题49 Maximal flow 最大流50 Network flow problem 网络流问题51 Nonbasic matrix 非基矩阵52 Nonlinear programming problem非线性规划问题53 Northwest corner rule 西北角法54 Objective function 目标函数55 Optimal solution 最优解56 Optimality criterion 最优性准则57 Optimization 最优化58 Parametric analysis 参数分析59 Path 路60 Pivot column 旋转行61 Pivot element 旋转元62 Pivot row 旋转列63 Pivoting 转轴运算64 Polyhedral convex set 凸多面体65 Potential 势66 Preflow 初始流67 Primal problem 原问题68 Quadratic programming problem二次规划问题69 Rank 秩70 Revised simplex algorithm 修正单纯形算法71 Revised simplex method 改进单纯形法72 Saturated arc 饱和弧73 Sensitivity analysis 灵敏度分析74 Shadow prices 影子价格75 Shortest path 最短路76 Simple path 简单路77 Simplex algorithm 单纯形算法78 Simplex multipliers 单纯形乘子79 Simplex tableau 单纯形表80 Sink 汇点81 Slack constraint 松约束82 Slack variable 松弛变量83 Slackness Condition 松弛条件84 Smallest subscript rule 最小下标规则85 Souce 源点86 Spanning tree 支撑树87 Standard form 标准型88 Strong theorem of complementary slackness 强对偶定理89 Subgraph 子图90 Surplus variable 剩余变量91 Tight constraint 紧约束92 Tourism promblem 旅行商问题93 Transportation problem 运输问题94 Tree 树95 Two-Phase Method 两阶段法96 Unbounded solution 无界解97 Vertex 顶点98 Walk 路99 Weak theorem of complementary slackness 弱对偶定理100 Weighted graph 赋权图。
银氨离子的空间构型
银氨离子的空间构型The spatial configuration of silver ammonia ions, also known as the [Ag(NH₃)₂]⁺ion, is a topic of significant interest in inorganic chemistry. This ion, formed through the coordination of two ammonia molecules to a silver ion, exhibits a unique geometry that reflects the underlying principles of molecular bonding and electronic structure.银氨离子,即[Ag(NH₃)₂]⁺离子,在无机化学中是一个备受关注的话题。
这种离子通过两个氨分子与银离子的配位形成,展现出独特的几何构型,这反映了分子键合和电子结构的基本原理。
The central silver ion in the [Ag(NH₃)₂]⁺complex adopts a linear coordination geometry, with the two ammonia ligands positioned at opposite ends of a straight line passing through the silver atom. This linear arrangement is stabilized by the strong dative bonds, or coordinate covalent bonds, between the silver ion and the nitrogen atoms of the ammonia molecules.在[Ag(NH₃)₂]⁺络合物中,中心的银离子采用线性配位几何构型,两个氨配体位于通过银原子的直线两端。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
a rXiv:cs /0688v1[cs .D M]2A ug26The Minimum Linear Arrangement Problem on Proper Interval Graphs Ilya Safro ∗February 1,2008Abstract We present a linear time algorithm for the minimum linear arrangement problem on proper interval graphs.The obtained ordering is a 4-approximation for general interval graphs.1Preliminaries Let F be a family of nonempty sets.The intersection graph of F is obtained by representing each set in F by a vertex and connecting two vertices by an edge if and only if their corresponding sets intersenct.The intersection graph of a family of intervals on a linearly ordered set (like the real line)is called an interval graph .If these intervals are constructed such that no interval properly contains another then such graph is called a proper interval graph .The families of interval and proper interval graphs are widely studied and used in different fields.In this chapter we present an algorithm which produces an optimal solution of the MinLA on proper interval graphs.Let us construct graph G =(V,E )in a following way (algorithm A ):•set n as number of vertices in a graph •drop n vertices on an axis with integer coordinates from 1to n •take a subset of successive vertices and make a clique from them •return to the previous step t times As a result of this construction we obtain a graph with the representation like onFigure 1.If we have a situation with nested cliques,we can ignore the clique that is placed inside of some other clique.We solve the problem for a family of graphs obtained by applying the algorithm A and then show that there is an algorithm which produces such representation for proper interval graphs.In the following claims we will work with a graph G =(V,E )that is a chain of k cliques C 1...C k constructed using algorithm A .In all following orders we index the vertices from 1to n ,where |V |=n .The orders of the vertices that preserve the order of cliques C 1,C 2,...,C k and full rotation C k ,C k −1,...,C 1will be called ’natural orders’(or N −order )of G .Denote by d v the degree of vertex v .C1C2C k-1C kFigure1:Schematic example of the chain of cliques2The AlgorithmLet us formulate and prove two claims that will serve as the basis of induction for Claim2.3.Claims2.1and2.2refer to a graph G=(V,E)that is a union of two cliques C1 and C2whose intersection is not empty and no clique contains the other(all other cases of union of two cliques are trivial).Claim2.1Given a graph G=(V,E).If G is a union of two cliques C1and C2then in every optimal linear order of G the last vertex will not be from the intersection of C1and C2.Proof:Take any optimal orderϕ.Assume that the claim is false and the last vertex u in optimal arrangementϕcomes from the intersection.Let us take vertexv that is not in the intersection andϕ(v)=max x∈(C1∩C2)ϕ(x).Suppose thatϕ(v)=n−k and w.l.o.g.v∈C1\(C1∩C2).Exchange u and v.SinceN(v)⊂N(u),by exchanging u and v,the connections to N(v)do not increase the cost ofϕafter theflip.However u is connected to the vertices from C2\(C1∩C2)too.By moving u to the position n−k we reduce the cost of these edges,and does not change the cost of edges from u to the vertices at[n−k+1,...,n−1]positions(because they are from C1∩C2).So u⇄vflip must reduce the cost of the optimal arrangement and this is a contradiction to the assumption.Claim2.2Given a graph G=(V,E).If G is an union of two cliques C1and C2 then every optimal linear order of G has the following structure<{v|v∈C1\(C1∩C2)},{u|u∈(C1∩C2)},{w|w∈C2\(C1∩C2)}>or<{v|v∈C2\(C1∩C2)},{u|u∈(C1∩C2)},{w|w∈C1\(C1∩C2)}> Call the order of this type N2C−order.Proof:Let us prove the claim by induction on a number of vertices in G.•The basis of induction is when|V|=1and the claim in this case is true.•Suppose that if|V|=n−1the claim is true.•Let|V|=n.Take some optimal orderϕof G.Suppose,that w.l.o.g.the last vertex inϕis v∈C1\(C1∩C2)(as was proved in Claim2.1).Remove v fromG with all adjacent edges.We obtain a new graph G′with n−1vertices.Look at its arrangementψsuch thatψ(u)=ϕ(u).There are two possible cases:ψis optimal andψis not optimal.2Ifψis optimal then,by induction hypothesis,it has N2C−order type and, after returning v to G,we save an N2C−order type.Since we started with the optimal order thenϕhas N2C−order type.Assume thatψis not optimal.Then there exists some optimal orderρfor G′and C G′,ψ>C G′,ρ.ThusC G,ϕ≥C G′,ψ+α>C G′,ρ+d v(d v+1)2.So we obtain a strict inequality for given optimal orderϕand this is a contradiction.Thusψcannot be not optimal.Let us switch to the main claim.Claim2.3Given a graph G=(V,E)constructed using algorithm A then every minimum linear order of G is an N-order.Proof:Suppose that after removing all nested cliques,the graph will remain with k different cliques.We can assume that G is connected,otherwise the problem can be divided into the similar subproblems per connected component.Let us prove it by induction on k.•When k=0or1the claim is trivial and when k=2we prove it in claims2.1 and2.2.•Suppose that the claim is true for k−1and let us prove it for k cliques chain.Here we use the second induction on the number of vertices in T=C k\∪k−1i=1C i(call it l).1.When l=0there are k−1cliques in G and the claim is true by inductionhypothesis.2.If l=1there exist unique vertex v in T.We will call vertex u∈Gp-vertex if it belongs to the intersection of C k with some other clique.Assume that we have some optimal orderφ.Ifφis N-order then the claim is true.Suppose thatφis not an N-order.Then there exist two possible cases ofφ’s structure depicted in Figure2.p p p p vORp p p v p p p pFigure2:Possible cases of structure ofφFirst case:Ifφ(v)>φ(p i)(or less)for any i thenC G,φ=C G\v,φ+αwhereα≥d v(d v+1)2(1)3ThenC G\v,φ+α≤C G\v,N−order+d v(d v+1)2≤C G\v,N−orderSo we obtain thatφis at least good at G\v as N−order.The situation when it is better is impossible by induction hypothesis and if it is not better then it is exactly N−order and then on G it will be also N−order. Second case:v is placed between p-vertices.Suppose w.l.o.g.that there are L p-vertices p i such that∀p iφ(p i)<φ(v),1≤i≤Land R p-vertices q i such that∀q iφ(q i)>φ(v),1≤i≤RthenC G,φ≥C G\v,φ+R(R+1)2+LR.From the other hand we have bining them we obtain C G\v,N−order+d v(d v+1)2≥≥C G\v,φ+R(R+1)2+LR(2)and thenC G\v,N−order≥C G\v,φ.(3)If inequality3is strict,this is a contradiction to the induction hypothesis and if there is an equality,φshould be an N−order by induction.How-ever,placing v in the middle of the N−order cannot allow the optimal order and this is a contradiction too.3.Suppose the claim is true for|T|=l−1and now we need to prove it forl.Let v be the l-th vertex in T.Assume thatφis some optimal order.Ifφis an N−order then the claim is true.Suppose thatφis not an N−order.If v is the last(orfirst,the same proof in this case)vertex in φthenC G,φ=C G\v,φ+αwhereα≥d v(d v+1)2Then4C G\v,φ+α≤C G\v,N−order+d v(d v+1)2≤C G\v,N−orderSo we obtain thatφis at least good at G\v as N−order.Ifφis better then it is impossible by the induction hypothesis.Otherwise,if it is not thenφis exactly N−order and then on G it will be also N−order. Suppose that v is not last(orfirst)and no other vertex from T is(in this case we canflip them and obtain the same optimal order).Then there are two indexes i and j s.t.1<i<j<n,where i is afirst occurrence of some vertex from T inφand j is a last.Let usflip v with j-th vertex and call the new orderφ′.The cost ofφ′is remained the same as it was inφbecause theflipped vertices have the same set of neighbors.Like in a previous case,there are L p-vertices to the left of v and R to the right. If R=0,we remove v like in the case of l=1and obtain a contradiction to the induction on l.Otherwise,if R>0thenC G,φ′≥C G\v,φ′+R(R+1)2+(L+l−1)R.From the other hand we have bining them we obtain C G,N−order=C G\v,N−order+d v(d v+1)2≥≥C G,φ′≥C G\v,φ′+R(R+1)2+(L+l−1)R(4)This case is similar to the case of l=1but while removing v we use theinduction on l and the claim is true.Now we can define a process of calculation of the MinLA on proper interval graphs in polynomial time.Claim2.4The minimum linear order of proper interval graph is calculated in polynomial time.Proof:Proper interval graphs can be recognized by a linear order:their vertices can be linearly ordered such that the vertices contained in the same clique are consecutive.The recognition works in linear time and produces such order[2]. Graphs with such possible order may be created with algorithm A.Then the minimum linear arrangement of proper interval graphs is calculated in polynomial time.Thus,the algorithm for calculation of the MinLA is following:1.Apply any polynomial algorithm for proper interval graph recognition whichproduces an N−order of vertices,2.This order is a minimum linear arrangement.534-Approximation for interval graphsThe complexity of the MinLA problem on general interval graphs is not known. The order of vertices by their start(orfinish)time is not optimal already on the example at Figure3.In this chapter we introduce4-approximation algorithm foruv wFigure3:Counterexample of interval graph.the problem on interval graphs.Before we will start with the algorithm let us look at some preliminary facts:Theorem3.1(Gilmore-Hoffman[1964])The following are equivalent:1.G is an interval graph.2.It is possible to order the maximal cliques in G so that for every v∈V thecliques that contain v appear consecutively in this order.The polynomial algorithms that construct such orders are introduced in many sources(for example in[1])given an interval graph(possibly with no interval rep-resentation).Suppose we have such clique orderφC1,C2,...,C k.Then for every vertex v∈V it is possible to define a segment[C i,...,C i+l]inφthat contains the maximal cliques of v.Let us call the corresponding i and i+l by s v and f v respectively(start andfinish).Now we can order the vertices of the graph by their s v values(call the order byπand ordered vertices by v1,...,v n). Theorem3.2Linear orderπis a4-approximation for the Minimum Linear Ar-rangement problem on general interval graphs.Proof:Let us estimate the cost of arbitraryπ-order.We call an incident to u edge e=(uv)in orderπ–“right oriented edge”ifπ(v)>π(u).The similar definition will be for“left oriented edges”.Every vertex inπhas “right oriented edges”and/or“left oriented edges”as well.Every edge inπis right oriented and left oriented for its different ends.We will pass vertex by vertex in orderπand estimate the total cost of right oriented edges for every vertex and this will give the estimation of the total cost of the orderπ.Denote by R j the set of right oriented edges of vertex v j in orderπ.C G,π= v i∈V e∈R i costπ(e).Since the vertices are ordered by their s v valuese∈R i costπ(e)≤d v i(d v i+1)ThusC G,π≤ v∈V d v(d v+1)2(d v2 2(d v2.(5)Combining previous results we obtainA= v d v2+1)2= B.(6)Clearly that forα=4B≤αAand this proves that anyπ-order gives4-approximation for the Minimum Linear Arrangement problem on general interval graphs.Easy to see that given some interval representation of interval graph,theπ-order is equivalent to the order by start(orfinish)time of the intervals. References[1]M.Golumbic,Algorithmic graph theory and perfect graphs,Academic Press,1980.[2]Celina M.Herrera de Figueredo,Joao Meidanis and Celia Picinin de Mello.AlexBFS Algorithm for Proper Interval Graph Recognition,Instituto de Com-putago,UNICAMP,Technical Report DCC-04/93,1993.[3]I.Safro,M.Sc.Thesis.The Minimum Linear Arrangement Problem,TheWeizmann Institute of Science,2002.http://www.wisdom.weizmann.ac.il/˜safro/thesis.ps7。