1) field programmable logic array(FPLA)
现场可编程序逻辑阵列
2) spot
现场
1.
The First 330kV SF_6 Switch Spot Overhaul of Xining Power Supplying Bureau;
西宁供电局首台330k VSF_6开关现场大修总结
2.
The sopt investigation is the key point of treatment of agriculture pollution make the spot investigation timely,effectively,accurately in this paper,we analyses the problems noticed in the spot investigation,make sure the position and function and characteristics of the spot investigation,put forword the content and implementation plan of the work.
现场调查是处理农业污染案件的关键环节,如何在第一时间里及时、准确、有效地做好现场调查工作,本文分析了注意的问题,阐明其地位作用和特点,提出工作内容和实施方案。
3.
The working principle of winding temperature rise and spot calibration method of the pressure type temperature indicating controller were describe in brief.
简述了绕组温升工作原理以及现场校准压力式温度指示控制器的方法。
3) field
现场
1.
Field Application of Whole Blood Absorbed on Filter Paper to Detcet Antibody of Individual Infected with Schistosomiasis Japonicum;
干滤纸血片用于日本血吸虫病患者抗体检测的现场应用研究
2.
Study on the Efficacy of New Rodenticide Against Rodent in Field;
新型灭鼠药现场灭鼠效果试验研究
3.
Ointment poison bait against rodents in field;
油膏灭鼠毒饵现场灭鼠效果研究
4) site
现场
1.
Discussion on site safe supervisory examination;
浅谈电力系统现场安全监督检查
2.
Applying 5S to Site Management;
谈5S在现场管理中的应用
3.
The construction site management influences on the quality,speed and benefit of the engineering.
公路工程施工的现场管理是施工管理的核心,现场管理效果的好坏直接影响工程的质量、进度和效益。
5) on-site
现场
1.
Mud logging equipment on-site service status and management acts.;
录井设备现场使用状况与管理举措
2.
Large Power Transformer Temperature Rise and On-site Case Analysis;
大型电力变压器温升及其现场实例分析
3.
The on-site welding project's characteristics and difficulties of Baosteel Branch s No.
介绍了宝钢分公司4号高炉炉壳现场焊接的工程特点及难点,分析了现场需要解决的焊接技术难题,并采取了相应的技术措施及质量管理措施,取得了较好的效果。
6) scene
现场
1.
Take the aseptic Tetra Brik milk production craft as the master line,take the security target,the physics and chemistry target,the sense organ target,the packing target as the core content,carries on the quality possibility analysis,formulates the scene management control measure,uses in to instruct the production.
以利乐包牛奶生产工艺为主线,以安全指标、理化指标、感官指标、包装指标为核心内容,进行质量可能性分析,制定现场管控措施,指导生产。
2.
The result of colloidal Maxforce poison bait on the scene in 1993 proved this poison bait has notable effect (P <0.
1993年现场试验结果表明：美国猛力牌胶体杀蟑诱饵条杀蟑效果显著（P＜0。
3.
Bloodstain is one of the most common traces at the scene of crime.
血迹是命案现场上常见的痕迹之一。
参考词条
补充资料：程序逻辑
描述和论证程序行为的逻辑，又称霍尔逻辑。程序和逻辑有着本质的联系。如果把程序看成一个执行过程，它接收一些信息，又输出一些信息。用逻辑公式描述对输入和输出信息的要求，就可以建立逻辑公式和程序间的联系，表示为
｛P｝S｛Q｝
其中P和Q为有关程序变元的逻辑表达式；P称为S的前置条件；Q称为S的后置条件。此公式表示:如果程序S执行前程序变量的值满足前置条件P，且程序S终止，则程序S执行终止后，程序变量的值满足后置条件Q。如果进一步建立一套关于这类公式的推理规则，就能得到一个描述程序行为的逻辑系统，可以在此系统中研究程序的性质，这就是程序逻辑。
程序是在机器中执行的，程序中每个语句的执行导致机器状态的变化，因此程序的执行又可以由机器状态变化的序列表达。数理逻辑中的模态逻辑正是描述动态变元变化的一种逻辑，因此以模态逻辑为基础也可揭示逻辑与程序间的深刻联系。
历史和发展 美国R.W.弗洛依德于60年代中期把框图程序对应为逻辑公式，提出使用逻辑描述和分析程序的想法。1969年前后英国C.A.R.霍尔首次给出一类程序语言的逻辑系统，提出程序部分正确性的形式验证规则（见程序验证）。70年代初，波兰和瑞士一些学者提出使用算法逻辑描述和分析程序，这是第一次把模态逻辑引入程序逻辑的尝试。70年代中期，有些科学家进一步提出使用动态逻辑和时态逻辑，描述和论证程序，推动了程序逻辑的研究。
基本方法 程序逻辑的基本方法是先给出建立程序和逻辑间联系的形式化方法,然后建立程序逻辑系统,并在此系统中研究程序的各种性质，例如，在霍尔逻辑中，程序逻辑公式的形式为
｛P｝S｛Q｝
如上所述,这类公式不能表示S的终止特性，因此霍尔逻辑是讨论程序部分正确性的逻辑。如果在霍尔逻辑系统中可以证明｛P｝S｛Q｝,同时又能证明对满足前置条件的所有输入变量程序S都终止，则称程序具有完全正确性。
在公式｛P｝S｛Q｝中逻辑表达式P和Q实际上只是当作语句S的注释使用的,对逻辑公式｛P｝S｛Q｝不能进行逻辑运算，例如蕴含公式｛P1｝S1｛Q1｝→｛P2｝S2｛Q2｝就没有意义，因此霍尔逻辑还没有彻底把程序和逻辑统一起来。解决的方法之一就是使用动态逻辑，它是一种模态逻辑。在动态逻辑中除了通常的命题连接词 墯,∨,∧,→及作用于非动态变元的量词和凬外,还可以引入动态连接词,例如[ ]，[S]Q表示当S 终止时Q为真。这样墯[S]Q，[S1]P→[S2]Q等就都是有意义的逻辑公式,如果进一步令〈 〉表示墯[ ]墯，则>Q表示存在一个时刻S终止且Q为真。程序S的部分正确性问题就可以表示为
P →[S]Q
即P真蕴含当S终止时Q为真。如果S是确定性语句，则其完全正确性问题可以表示为
P →>Q
即P真蕴含S在某一时刻终止且Q真。
霍尔逻辑的基本思想是用逻辑描述程序的执行结果，与之对应的另一种方法是用逻辑刻画程序的全部行为，即把程序的执行过程看成机器状态的一个变化序列。自70年代中期，并发式程序设计逐渐成为程序理论的重要课题后，这种观点就显得十分必要，因为刻画在程序执行过程中，各任务之间的同步和信息交换常常是不可少的。时态逻辑是关于随着时间而不断改变其值的动态变元（叫作时序变元）的一种模态逻辑。因此它自然地被引入到程序逻辑中。时态逻辑以当前时间为基本出发点，除使用常用逻辑连接词及作用于非时序变元的量词外，还可以用引入时态连接词的办法刻画更复杂的动态性质。例如，可以引入连接词◇及□：
◇P 表示在将来某一时刻P真，
□P 表示P从此以后永真。
使用时态逻辑可以对每个程序构造出它所对应的一个逻辑系统，并可以在此系统中刻画终止（记作STOP）及无死锁等概念。而程序S 的部分正确性问题就可以表示为
P →□(STOP →Q)
在程序S 所对应的逻辑系统中成立,即程序开始执行时P真蕴含如果将来任一时刻程序终止则Q真,而其完全正确性则可表示为
P →◇(STOP&Q)
在该逻辑系统中成立,即程序开始执行时P真蕴含存在某一时刻S 终止并且Q真。
应用 由于程序逻辑使用逻辑系统描述程序的行为，它与具体执行程序的机器无关，因此程序逻辑的研究为公理语义学提供了理论基础。在逻辑系统中又可以分析和论证程序的性质，因此它又是程序验证的理论基础。
现代软件工程的一个重要方法是在程序设计之前，必须把程序要达到的目标即功能描述交待清楚。功能描述应当简洁明瞭，而不必关心执行细节，因此可以使用逻辑语言的全部公式。
程序设计的任务就是编制程序使其满足描述。程序逻辑的研究表明，程序和逻辑都可以作为逻辑系统的逻辑公式，所不同的是程序只出现在一部分特定的逻辑公式中。因此设计程序使之满足描述的过程，从逻辑演算角度看，就是如何将表示功能描述的逻辑公式转化成表示程序的逻辑公式问题，因此程序逻辑的研究又为软件工程中自动化设计提供了有力工具。
｛P｝S｛Q｝
其中P和Q为有关程序变元的逻辑表达式；P称为S的前置条件；Q称为S的后置条件。此公式表示:如果程序S执行前程序变量的值满足前置条件P，且程序S终止，则程序S执行终止后，程序变量的值满足后置条件Q。如果进一步建立一套关于这类公式的推理规则，就能得到一个描述程序行为的逻辑系统，可以在此系统中研究程序的性质，这就是程序逻辑。
程序是在机器中执行的，程序中每个语句的执行导致机器状态的变化，因此程序的执行又可以由机器状态变化的序列表达。数理逻辑中的模态逻辑正是描述动态变元变化的一种逻辑，因此以模态逻辑为基础也可揭示逻辑与程序间的深刻联系。
历史和发展 美国R.W.弗洛依德于60年代中期把框图程序对应为逻辑公式，提出使用逻辑描述和分析程序的想法。1969年前后英国C.A.R.霍尔首次给出一类程序语言的逻辑系统，提出程序部分正确性的形式验证规则（见程序验证）。70年代初，波兰和瑞士一些学者提出使用算法逻辑描述和分析程序，这是第一次把模态逻辑引入程序逻辑的尝试。70年代中期，有些科学家进一步提出使用动态逻辑和时态逻辑，描述和论证程序，推动了程序逻辑的研究。
基本方法 程序逻辑的基本方法是先给出建立程序和逻辑间联系的形式化方法,然后建立程序逻辑系统,并在此系统中研究程序的各种性质，例如，在霍尔逻辑中，程序逻辑公式的形式为
｛P｝S｛Q｝
如上所述,这类公式不能表示S的终止特性，因此霍尔逻辑是讨论程序部分正确性的逻辑。如果在霍尔逻辑系统中可以证明｛P｝S｛Q｝,同时又能证明对满足前置条件的所有输入变量程序S都终止，则称程序具有完全正确性。
在公式｛P｝S｛Q｝中逻辑表达式P和Q实际上只是当作语句S的注释使用的,对逻辑公式｛P｝S｛Q｝不能进行逻辑运算，例如蕴含公式｛P1｝S1｛Q1｝→｛P2｝S2｛Q2｝就没有意义，因此霍尔逻辑还没有彻底把程序和逻辑统一起来。解决的方法之一就是使用动态逻辑，它是一种模态逻辑。在动态逻辑中除了通常的命题连接词 墯,∨,∧,→及作用于非动态变元的量词和凬外,还可以引入动态连接词,例如[ ]，[S]Q表示当S 终止时Q为真。这样墯[S]Q，[S1]P→[S2]Q等就都是有意义的逻辑公式,如果进一步令〈 〉表示墯[ ]墯，则
P →[S]Q
即P真蕴含当S终止时Q为真。如果S是确定性语句，则其完全正确性问题可以表示为
P →
即P真蕴含S在某一时刻终止且Q真。
霍尔逻辑的基本思想是用逻辑描述程序的执行结果，与之对应的另一种方法是用逻辑刻画程序的全部行为，即把程序的执行过程看成机器状态的一个变化序列。自70年代中期，并发式程序设计逐渐成为程序理论的重要课题后，这种观点就显得十分必要，因为刻画在程序执行过程中，各任务之间的同步和信息交换常常是不可少的。时态逻辑是关于随着时间而不断改变其值的动态变元（叫作时序变元）的一种模态逻辑。因此它自然地被引入到程序逻辑中。时态逻辑以当前时间为基本出发点，除使用常用逻辑连接词及作用于非时序变元的量词外，还可以用引入时态连接词的办法刻画更复杂的动态性质。例如，可以引入连接词◇及□：
◇P 表示在将来某一时刻P真，
□P 表示P从此以后永真。
使用时态逻辑可以对每个程序构造出它所对应的一个逻辑系统，并可以在此系统中刻画终止（记作STOP）及无死锁等概念。而程序S 的部分正确性问题就可以表示为
P →□(STOP →Q)
在程序S 所对应的逻辑系统中成立,即程序开始执行时P真蕴含如果将来任一时刻程序终止则Q真,而其完全正确性则可表示为
P →◇(STOP&Q)
在该逻辑系统中成立,即程序开始执行时P真蕴含存在某一时刻S 终止并且Q真。
应用 由于程序逻辑使用逻辑系统描述程序的行为，它与具体执行程序的机器无关，因此程序逻辑的研究为公理语义学提供了理论基础。在逻辑系统中又可以分析和论证程序的性质，因此它又是程序验证的理论基础。
现代软件工程的一个重要方法是在程序设计之前，必须把程序要达到的目标即功能描述交待清楚。功能描述应当简洁明瞭，而不必关心执行细节，因此可以使用逻辑语言的全部公式。
程序设计的任务就是编制程序使其满足描述。程序逻辑的研究表明，程序和逻辑都可以作为逻辑系统的逻辑公式，所不同的是程序只出现在一部分特定的逻辑公式中。因此设计程序使之满足描述的过程，从逻辑演算角度看，就是如何将表示功能描述的逻辑公式转化成表示程序的逻辑公式问题，因此程序逻辑的研究又为软件工程中自动化设计提供了有力工具。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。