1) tense modification
时态处理
1.
The important function of tense modification in the process of wording processing of scientific and technical English papers is described and some basic principles for treating the tenses of predicate verbs are proposed.
论述了时态处理在科技英语论文的文字加工中的重要作用,提出了处理谓语动词时态的基本原则,并通过实例探讨了常用时态的使用场合及主-从复合句中谓语动词时态的相互制约。
2) concurrent processing / temporal logic
并发处理/时态逻辑
4) aging treatment
时效处理
1.
Effect of aging treatment on corrosive wear characteristics of σ strengthening austenite stainless steel;
时效处理对σ相强化奥氏体不锈钢腐蚀磨损特性的影响
2.
Effect of aging treatment on residual resistance ration of beryllium;
时效处理对金属铍剩余电阻比的影响
3.
Microstructure Evolution of a New Biomedical Titanium Alloy with Aging Treatment;
新型生物钛合金时效处理组织演变
5) Ageing
[英]['eɪdʒɪŋ] [美]['edʒɪŋ]
时效处理
1.
The Effect of Re-solution and Re-ageing on Mechanical Properties and Microstructure of 7175 Aluminum Alloy;
低中高温再多级时效处理对7175铝合金组织和性能的影响
2.
Sn has strong effect on the ageing of AlSiMg alloy.
Sn对AlSiMg系合金的时效过程产生明显的影响,合金中加入Sn,若不进行时效处理,Sn作为夹杂降低合金的力学性能;若进行时效处理,Sn抑制Mg2Si沉淀相的聚集、长大,从而使其呈弥散状分布,因而合金的力学性能有较大幅度的提高。
6) aging
[英]['eidʒiŋ] [美]['edʒɪŋ]
时效处理
1.
Formation Mechanism of Twins in AZ61 Magnesium Alloy during Aging
时效处理AZ61铸造镁合金中孪晶的形成机理
2.
Effect of aging on Sn-Bi lead-free solder
时效处理对Sn-Bi系无铅焊料的影响研究
3.
The microstructures and properties of Mg-4Al-2Si alloy in reciprocating extrusion after solution and solution plus aging treatments were tested and studied.
研究了往复挤压态Mg-4A l-2Si合金经固溶处理及固溶+时效处理后的组织与性能。
补充资料：时态逻辑
| 时态逻辑 tense logic 非经典逻辑的分支学科。其研究对象是，把含有时态动词的语句形式化，并且把含有这种语句的推理系统化。早在古希腊时期，麦加拉-斯多阿学派在讨论模态概念时就已经涉及到时间概念，中世纪逻辑学家也探讨过时态语句。1947年H.赖兴巴赫专门对文法时态作了逻辑分析。同年，波兰逻辑学家J.洛斯建立了时态逻辑的第一个形式公理系统。英国逻辑学家A.N.普莱尔发展了洛斯的思想，于1957年建立了时态逻辑的两个系统。美国逻辑学家N.莱肖尔改进了普莱尔的工作，也于1966年建立了时态逻辑的两个系统。芬兰逻辑学家C.H.von莱特在1963年和1965年，独立于洛斯和普莱尔建立了较弱的时态逻辑系统。60年代以来，时态逻辑的成果逐渐增加，现已发展成为一门比较成熟的学科。它在对时态语句和包含时态语句的推理方面，以及在人工智能、科学哲学等方面都有很大的作用或影响。 构成时态逻辑的基本成分是时态语句。时态语句分为两种：时间上确定的语句；时间上不定的语句。时态逻辑主要研究时间上不定的语句。时态逻辑系统可以用两种方式构造：①把一组语句作为公理，这叫做语法地构造。②根据对时间相继的性质R所作的不同假定进行构造，这叫做语义地构造。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条