2) Post completeness
波斯特完全性
1.
The strenghtened Makinson s theorem which is established by the syntactital proof is equivalent to certain important propositions, in nature, concerning Post completeness and modal semantics.
一方面,通过这个语法证明所建立的加强的麦金森定理与波斯特完全性研究以及模态逻辑语义学中的几条基本原理等价。
3) full wave attributes
全波属性
1.
Then,the full wave attributes were analyzed and synthetic interpretation of P-wave and converted wave was carried out.
利用多分量地震资料和纵横波测井资料,建立了裂缝型正演地质模型,获得了裂缝各向异性介质中地震波传播特征;通过纵、横波井震联合标定,弄清了地震相与沉积相的关系,确定了纵波和转换波反射同相轴的地质含义;对纵、横波资料进行匹配处理,使纵波与转换波的同层反射时间、振幅、相位、频率和波形一致;通过全波属性分析和纵波与转换波联合解释研究等,形成了针对川西坳陷储层预测的转换波地震资料解释技术。
4) safety character
安全特性
1.
After analyzing the factors affecting its development, management problems, traffic characters, and safety characters and referring to foreign management policy, safety characters of electric bicycle are analyzed in detail.
笔者在详细分析其发展影响因素、管理问题、交通特性、安全特性等以及借鉴国外管理政策的基础上,对电动自行车的安全特性进行详细分析,指出电动自行车的设计时速与单车质量是影响其安全特性的主要因素;同时提出加大优先发展公交力度,合理调节城市交通结构,引导电动自行车发展和使用,对其要严格控制,规范电动自行车的出行行为;强调要实现电动自行车的管理和发展模式由事后治理型,逐渐向保障型、预防型交通方式转变,以促进电动自行车的健康发展。
5) safety characteristics
安全特性
1.
The good safety characteristics of advanced reactors MHTGR.
简要叙述了先进堆型模块式高温气冷堆(MHTGR)、先进沸水堆(ABWR)和中国实验快堆(CEFR)的良好安全特性并给出了它们某些系统和设备安全级别与现行压水堆PWR和沸水堆BWR的比较。
补充资料：波斯特对应问题
美籍波兰数学家E.L.波斯特于1944年提出的一个重要的判定问题。字符集A是字符的非空有限集合，A中字符的有限序列称为A上的字符串。设u1,u2,...,um是A上的字符串，用u1u2...um表示把这字符串中的m个字符连接在一起所得到的字符串。A上的表是A上的字符串的有限序列，序列的长度称为表的长度。例如,ab,∧,aa是字符集｛a,b｝上的长度为3的表，其中∧表示不含任何字符的空字符串。
设l1,l2,...,lk和m1,m2,...，mk是同一字符集A上的两个相同长度的表,如果存在小于或等于k的正整数i1,i2，...,in使l彨l彸...l拠＝m彨m彸...m拠，则称表l1,l2,...，lk和m1,m2,...,mk有匹配。例如,A＝｛0,1｝,l1＝1,l2＝10111,l3＝10,m1＝111,m2＝10,m3＝0,因l2l1l1l3＝m2m1m1m3＝101111110,因此,l1,l2,l3和m1,m2,m3有匹配。判定同一字符集上的任意两个相同长度的表有没有匹配的问题称为波斯特对应问题。
由于图灵机的停机问题是不可判定的，可以推出波斯特对应问题也是不可判定的，即不可能找到一个算法来判定同一字符集上的任意两个相同长度的表是否有匹配。
波斯特对应问题在形式语言理论和程序设计理论中有重要应用。由于波斯特对应问题是不可判定的，可推出形式语言理论和程序设计理论中的许多问题是不可判定的。例如，任意上下文无关语言是否有歧义，这个问题就是不可判定的。
参考书目
J. Hopcroft and J. Ullman, Introduction to Automata Theory, Languages, and Computation,Addison-Wesleg,Reading,Mass,1979.
设l1,l2,...,lk和m1,m2,...，mk是同一字符集A上的两个相同长度的表,如果存在小于或等于k的正整数i1,i2，...,in使l彨l彸...l拠＝m彨m彸...m拠，则称表l1,l2,...，lk和m1,m2,...,mk有匹配。例如,A＝｛0,1｝,l1＝1,l2＝10111,l3＝10,m1＝111,m2＝10,m3＝0,因l2l1l1l3＝m2m1m1m3＝101111110,因此,l1,l2,l3和m1,m2,m3有匹配。判定同一字符集上的任意两个相同长度的表有没有匹配的问题称为波斯特对应问题。
由于图灵机的停机问题是不可判定的，可以推出波斯特对应问题也是不可判定的，即不可能找到一个算法来判定同一字符集上的任意两个相同长度的表是否有匹配。
波斯特对应问题在形式语言理论和程序设计理论中有重要应用。由于波斯特对应问题是不可判定的，可推出形式语言理论和程序设计理论中的许多问题是不可判定的。例如，任意上下文无关语言是否有歧义，这个问题就是不可判定的。
参考书目
J. Hopcroft and J. Ullman, Introduction to Automata Theory, Languages, and Computation,Addison-Wesleg,Reading,Mass,1979.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条