1.In this thesis, we first study systematically the effectiveness of the exchange format of formal language (Openmath and its extension OMDoc),based on which a brand new integration method is presented:Using OMDoc as the interlingua to translate SPARK verification language into PVS aiming at current point-to-point translation.
本文首先对形式化语言交换格式(OpenMath和它的扩展OMDoc)的有效性进行了系统的研究,并在此基础上针对目前点对点翻译的不足,提出了一种新的基于中间格式的集成方法,即以OMDoc作为中间语言,将SPARK验证语言FDL翻译为PVS,从而自动地实现了两个著名的验证系统—SPARK和PVS之间的集成。
2.Ti3AlC2/TiB2 composites were prepared by the spark plasma sintering(SPS)process with different volume fractions of TiB2,and the properties of Ti3AlC2/TiB2 composites were investigated.
采用放电等离子烧结(spark plasma sintering,SPS)工艺制备了Ti3AlC2/TiB2复合材料,并研究了复合材料的性能。
3.It has been examined from different angles, such as its reliability and validity, its theoretical construct, and its effect on different language skills (Aida, 1994;Ganschow & Spark, 1996;Horwitz, 1986;Trylong 1987;Young, 1986).
(Aida,1994;Ganschow & Spark,1996;Horwitz,1986;Trylong 1987;Young,1986)然而这一在西方广受关注的量表在国内并没有得到应有的重视。
4.Abstract: There are offered many ways how to improve work of a spark plug.But one of the m ost important problems has not been solved yet.This is a thermal mode operation of a spark plug.The ideal spark plug should be instantly heated at the moment of occurrence of a spark and instantly cooled down in expectation of the foll owing electrical pulse.Thus it balances between preservation of heat for self?c leaning from scale and its removal in avoidance self?ignition.In this article a uthor managed for this time to offer a spark plug with capability “self?regula tion” of heat flux removed from a zone of ignition.Essence of the offer is a t ip，which is transparent for heat flux.It is produced from single crystal of sap phire.
文摘:在如何提高火花塞的工作质量方面有多种方法,但是其中最重要的一个问题还没有得到解决,那就是火花塞工作的热学模型问题.理想的火花塞应该能在点火的瞬间被立刻加热,并且在接下来的电脉冲过程中迅速冷却,由此在热量的存储与散发之间取得平衡,以避免自点火.本文力图展示一种具有自动调节源于点火区域热流能力的火花塞,其技术的关键是顶部绝缘体材料,它是由蓝宝石单晶制作,而非传统的氧化铝陶瓷.
5.The results show that anodizing process can be divided into three stages:formation of dense film before sparking, formed porous film accompanied with a bit of small spark, and porous film stable growth along with bigger spark.
结果表明,在本研究给定工艺中,AZ91D镁合金的阳极氧化过程可分为三个阶段:电火花出现之前的致密层生成阶段,少量小电火花出现的多孔层生成阶段,出现较大电火花的多孔膜层稳定生长阶段。
6.Measurement and research on combustion knockings of BJ492Q engine with spark plu g optic fiber sensing and measuring system developed by Zhuzhou Spark Plug Insti tute and the influence of combustion knockings on light emission variation of fl ame is analyzed.
应用所研制的火花塞光纤传感测量系统对 BJ492 Q汽油机进行爆震燃烧测量和研究 ,分析了爆震燃烧对火焰光辐射变化的影响。
7.This paper presents the principle and developmentof the multiple-spark high-speed camera and YA-16 multiple-spark ca-mera, that has been developed recently.
本文介绍多闪光高速照相机的原理和发展,以及最近研制的YA-16多闪光照相机。
8.The results show that with the increase of excessive air coefficient n,the the concentration of the mixed gas around spark plug of the vehicle engine is the highest and the concentration of mixed gas is reduced with the increase of distance apart from spark plug,which lengthens the combustion time,and light-off time is advanced,the mixed gas is combusted quickly and when excessive air coefficient n=1.386 the combustion end time is lengthened.
结果表明,随着过量空气系数n的增加,四缸发动机火花塞附近混合气浓度最高,混合气浓度随离火花塞的距离的增大而降低,导致燃烧时间加长; 当过量空气系数n增至1.386时,起燃时间提前,起燃后快速燃烧,但燃烧结束的时间延长。
9.a spark of interest; a spark of decency.
我们试着他的聪明才智。
10.The minimum requirement for sensitivity shall be such that a succession of not less than 20 breakdowns of the spark gap shall cause the fault indicator to register neither more nor less than one cunt per breakdown when the spark gap is open and is of the length shown above, with the current limiting impedance in series with the gap.
在最底灵敏度测试的时候，应先接入上述要求的人工击穿装置，启动人工击穿装置，使金属板与金属针间的火花间隙被连续击穿20次，要求火花试验机的击穿计数器应记录20次，对每次击穿都应准确无误地计数，不应多计也不应少计。
