确定性自动机,deterministic automation

1)deterministic automation
确定性自动机

2)Determination
确定
1.
Discussions on Determination Method of Crude Oil Storage in Refinery;
炼厂原油库存确定方法探讨


2.
Determination of Retaining Speed of Φ159 mm MPM;
Φ159mm限动芯棒连轧管机组限动速度的确定


3.
Determination of the Optimum Condition of Cupric Salfate Production Engineering;
CuSO_4生产工艺最佳条件的确定



3)determine
确定
1.
To determine and promulgate the standard of《Cleaner production standard Dairy industry(pure milk and cream milk powder) 》will further promote ours' cleaner production in dairy industry,this article exposites the guiding principles,technology,indicators'determining in the work of development status and standard in ours'dairy industry.
《清洁生产标准乳制品制造业(纯牛乳及全脂乳粉)》标准的制订和颁布将进一步推动中国乳制品行业的清洁生产工作,本文就中国乳品行业发展现状及标准制订工作中的指导原则、技术路线、指标的确定等进行了论述,对于乳品制造企业参照该标准进行清洁生产审核,对标准中各项指标的理解和选取具有一定的指导意义。


2.
Rational reserve-production ratio is thus determined for different oils and reservoirs in Liaohe oil province.
在Arps递减曲线和产量预测数学模型理论研究的基础上,分别导出了油田产量遵循不同开发规律时储采比与时间的关系式及确定油田保持稳产时所需的储采比下限值,将其应用于辽河油区合理储采比确定中,效果较好。


3.
It also introduces the method which is used to determine the critical design parameters of cold punching die.
阐述了合理选择模具设计参数是提高冷冲裁模具使用寿命的基础 ,介绍了冷冲裁模具重要设计参数的确定方



4)define
确定
1.
How to Define the Power of Induction Motor with Constant Load;
恒定负载三相异步电动机功率的确定


2.
Define of Chinese Motor Products in African Market;
中国汽车产品出口非洲目标市场的确定──AHP模型在国际市场定位中的运用


3.
If we want to make an effective and rational study of national psychology and a cross-cultural study between national bodies,we must first of all define the basis on which to make the studies as well as the comparisons.
民族心理学研究中一个很大的特色就是跨文化研究,这种研究首先要解决的问题就是在比较研究中研究等值的确定。



5)definition
确定
1.
Study on the definition and optimization of the equipment scale, promotes the efficiency of the equipment reserve is the important work for promoting the battle effectiveness and winning .
因此 ,装备储备规模的确定和优化 ,提高装备储备效率 ,是提高战斗力和取得军事斗争胜利的重要保证。


2.
In this paper, through arranging of five sets of single pile vertical compression static test materials, in view of different shapes and features of Q?S curve and S?lgt curve, the writer makes analysis, introduces in detail definition of reinforced concrete precast static-pressure single pile bearing capacity in Coking Plant of Shanxi Yaxin Coal Coking Co.
通过对 5组单桩竖向抗压静载荷试验资料的整理 ,针对Q -S曲线及S～lgt曲线的不同形状和特征进行分析 ,详细介绍了山西亚鑫煤焦化有限公司焦化厂钢筋混凝土预制静压桩单桩承载力的确定方法 ,其中对单桩竖向抗压静载试验方法 ,试桩的施工概况及主要技术参数 ,试桩结果和结论等作了具体阐


3.
Meanwhile, it also gives the definition of the toppest per unit area yield and the quantity of appling nitrogerous fertilizer.
利用多项式回归方法给出了施氮量与玉米产量间的关系,并对最高单产量及其施氮量予以确定。



6)confirmation
确定
1.
Temperature confirmation for electrolysis reduction of TiO_2 to spongy titanium in molten CaCl_2;
熔盐电解TiO_2制备海绵钛过程中电解温度的确定


2.
Meanwhile,the confirmation for the beginning of the term for extinctive prescription influences the term of extinctive prescription,and links with the balances of interests among the obligee,the obligor and the third party,etc.
消灭时效期间起算点的确定直接影响到时效期间的届满,并关涉权利人、义务人、第三人等各方主体的利益平衡。


3.
Combining with understanding of reference sensitivity confirmation of steel plate ultrasonic detection that stipulated by Nondestructive testing of pressure vessels JB/T4730.
3-2005《承压设备无损检测》标准中有关钢板超声波检测中基准灵敏度确定方法的理解,提出了自己的见解,通过探讨分析有助于更好地将标准应用于实际工作中,使工作更加科学规范。



参考词条
确定原则 辊缝确定 现场确定 确定区域 配方确定 系数确定 确定系数 隧道协议 数据式输出格式
补充资料：ω-有限自动机


ω-有限自动机
ω-finite state automata

　　1094·。一youx一anz}dongJ-。.有限自动机(。一rinite state automata)一种在无限串上运行的有限状态自动机，是一种。一语言的识别模型。主要研究。一的各种识别方式以及在通常的五种识别条件下，识别的。一语言族之间的关系。特别，通过其中一种条件(即所谓CS)下识别的。一语言定义了QJ一正则语言，这是一种使。一自动机识别能力最强的识别方式。。一自动机理论的核心课题之一，是对。一正则语言的研究，包括对。一正则语言的描述及其性质的研究。 。一自动机最早在文献中出现的是J.R.Buchi(1960)利用工作在无限序列上的有限自动机获得关于受限二阶逻辑理论的一个判定过程。自此以后一些研究。一自动机的各种形式体系的论文陆续出现，其中J.R.Buchi，(1965，1969)，C.C.Elgot和M.0.Rabin(1966，1%9)等人的论文均受到这些模型与二阶逻辑理论之间的密切关心的启发，因此重点放在判定问题。D.E.Muller(1963)利用确定的。一有限自动机研究异步开关理论中的某些问题。R.MeNatlgllton(1966)首先发展了被。一有限自动机识别的。一语言的理论，即所谓的。一正则语言的理论。 。一有限自动机研究的内容包括。一有限自动机的定义，五种识别条件，。一正则语言的概念，对断正则语言的描述以及与五种识别模型相应的五个。-语言族之间的关系。 。.申与。一语言设乏是有限字母表，由乞中的字母组成的无限序列，称为艺上的沙串。用2表示艺上的所有。一串的集合。2的任意子集称为乏上的。一语言。 沙有限自动机一个五元组M=(K，乞，占，q0，F)，其中K为状态有限集，艺为输人字母表，占:Kx艺~ZK，q。(任K)为初始状态，F(里ZK)为指定状态集族。如果占:Kx艺~K，则M是确定的。一有限自动机。 设。=ala2’’·a，…，a，任乏，i=1，2，一。状态序列二={Q‘}，称为M在。上的一个运行，当且仅当q，任创q、一，，a*)，i=1，2，…。一个运行确定一个映射fr:N~K，井(i)=g，一l，i=1，2，…。令I(r)={，〔兀Icard(f厂1(。)))。}，o(二)=}、〔K If厂‘(g)半必}。 。一有限自动机的识别条件包括Cl，CZ，C3，C4与CS五个条件。。一有限自动机M在C，条件下识别。一串。，当且仅当存在M在。上的一个运行r，使满足C，i=1，2，3，4，5。其中 Cl:存在H任F，使I(二)nH共曰 CZ:存在H任F，使I(:)二H c3:存在H任F，使O(r)nH护曰 C4:存在H任F，使O(:)里H CS:存在H任F，使I(:)=H 设M=(K，乞，a，qo，F)是一。一有限自动机，称集合 界(M)=}。任2}存在M在。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。


确定性自动机,deterministic automation