元逻辑的

基本解释 (translations)

metalogical

与元逻辑的相关的网络例句 [注：此内容来源于网络，仅供参考]

To process multi-dimensional discrete data,formal concept of meta-rule including connective "AND""OR" or "NOT" was proposed.

为实现对多维离散数据的挖掘，提出了包含"与"、"或"、"非"逻辑的元规则概念模型，定义了元规则实例及相应的支持度和置信度概念。

Discuss the relationship between fuzzy logic and probabilistic logic by comparing PL with the fuzzy logic based on distributive lattice with a boundary element and make clear some indiscriminations about this problem.

7给出值域为布尔代数的格值逻辑的概率解释；相对于值域为含分界元分配格的模糊逻辑作比较，讨论了模糊逻辑和概率逻辑的密切关系和根本区别，并据此澄清了逻辑文献中关于这一问题的某些混淆。

Cell routing is based on the principle of logical channels with dual identification: the cell header contains the identifier of the basic connection to which the cell belongs-called a virtual circuit and the identifier of the group of VCs to which the connection belongs-called a virtual path.

信元寻找路由是基于带有双重识别的逻辑信道原理：信元头包含了信元所属的基本连接识别符，这种基本连接称作虚电路，另一种是连接所属的 VC 组识别符，称作虚路径

The main contributions of the second part of this dissertation are focused on the cryptographic properties of logical functions over finite field, with the help of the properties of trace functions, and that of p-polynomials, as well as the permutation theory over finite field: The new definition of Chrestenson linear spectrum is given and the relation between the new Chrestenson linear spectrum and the Chrestenson cyclic spectrum is presented, followed by the inverse formula of logical function over finite field; The distribution for linear structures of the logical functions over finite field is discussed and the complete construction of logical functions taking on all vectors as linear structures is suggested, which leads to the conception of the extended affine functions over finite field, whose cryptographic properties is similar to that of the affine functions over field GF (2) and prime field F〓; The relationship between the degeneration of logical functions and the linear structures, the degeneration of logical functions and the support of Chrestenson spectrum, as well as the relation between the nonlinearity and the linear structures are discussed; Using the relation of the logical functions over finite field and the vector logical functions over its prime field, we reveal the relationship between the perfect nonlinear functions over finite field and the vector generalized Bent functions over its prime field; The existence or not of the perfect nonlinear functions with any variables over any finite fields is offered, and some methods are proposed to construct the perfect nonlinear functions by using the balanced p-polynomials over finite field.

重新定义了有限域上逻辑函数的Chrestenson线性谱，考察了新定义的Chrestenson线性谱和原来的Chrestenson循环谱的关系，并利用一组对偶基给出了有限域上逻辑函数的反演公式；给出了有限域上随机变量联合分布的分解式，并利用随机变量联合分布的分解式对有限域上逻辑函数的密码性质进行了研究；给出了有限域上逻辑函数与相应素域上向量逻辑函数的关系，探讨了它们之间密码性质的联系，如平衡性，相关免疫性，扩散性，线性结构以及非线性度等；讨论了有限域上逻辑函数各类线性结构之间的关系，并给出了任意点都是线性结构的逻辑函数的全部构造，由此引出了有限域上的"泛仿射函数"的概念；考察了有限域上逻辑函数的退化性与线性结构的关系、退化性与Chrestenson谱支集的关系；给出了有限域逻辑函数非线性度的定义，利用有限域上逻辑函数的非线性度与相应素域上向量逻辑函数非线性度的关系，考察了有限域上逻辑函数的非线性度与线性结构的关系；利用有限域上逻辑函数与相应素域上向量逻辑函数的关系，揭示了有限域上的广义Bent函数与相应素域上的广义Bent函数的关系，以及有限域上的完全非线性函数与相应素域上向量广义Bent函数之间的关系；给出了任意有限域上任意n元完全非线性函数存在性与否的完整证明，并利用有限域上平衡的p-多项式的性质给出了有限域上完全非线性函数的一些基本构造方法。

We can get complex individual terms produced by combination of simple individual terms and a functional expression.

个体变元与个体常元的逻辑性质不同，它们与谓词、量词组合的公式在一阶逻辑与模态逻辑中的表现也是不同的。

In this paper, firstly some theorems of fuzzy logic functions and the necessasy and sufficient condition of join-irreducible elements are proved secondly, the concept of relatively prime and join-irreducible elements and their conditions are established in principal disjunctive normal forms.

本文首先证明有关模糊逻辑函数的一些定理和并不可约元的充要条件。之后定义了模糊逻辑函数的"互素并不可约元"的概念，以及建立了在主析取范式"互素并不可约元"的条件。

The mutiple-input mutiput-output logic function of vertex in state transition graph represents output of related state and the single output logic function represents state transition condition; we use a 8-tuple NetList to represent the structure implement of the result of controller synthesis.

状态转换图顶点中的多输入多输出逻辑函数表示对应状态的输出，图中边上的单输出逻辑函数表示状态转移条件；用一个八元组NetList表示控制器综合结果的结构实现，八元组包括输入符号，输出符号，状态存储器的输入，输出网络，状态转换网络，状态存储器，状态存储器的输出和状态存储器的初始输出。

Based on the field work among the Azande and the analysis of ancient Chinese logic and the logic of Buddhism, this paper attempts to provide factual information for the argument for the "culture-based relativity of logic" in a descriptive way. Taking the deductive method as the classical research method, this paper argues for the existence of the culture-based relativity of logic in modern culture and other cultures. The validity of this argument is based on the findings of ethnographic as well as historical studies. This paper also seeks to prove by studying the interactions between different languages and ways of life that the classical research method was also built on cultural relativity.

对阿赞得人的田野考察报告，以及中国古代逻辑和佛教逻辑的研究成果，从描述的角度为&逻辑相对于文化&这一命题提供事实根据；采用演绎论证作为元方法说明现代文化中的逻辑和其他文化的逻辑在现代文化中的译本具有文化相对性；借助民族志和历史学研究成果说明其他文化的逻辑本身也具有的文化相对性；通过语言博弈和生活形式概念说明作为元方法的演绎论证同样具有文化相对性。

This is followed by a discussion from five aspects of QR.The following generalization is reached:QR applies obligatorily to a QP in an argument position and is optional otherwise;QR adjoins a QP into a non-argument position within its governing category;the corresponding LF is subject to MBR and CPB.

然后从5个方面对其进行比较研究，删除了量词提升规则在发展过程中的某些不合理因素，将这条规则概括为三点：(1)处于论元位置的量词必须提升，而处于非论元位置的量词不一定要提升；(2)位于量词之上的最小NP嫁接到管辖范畴内的非论元位置；(3)得到的逻辑式满足MBR和CPB。

The software is constituted a set to have three structures patterns (the customer level, the logical level and the data level) the distributional spatial data platform software, this software mainly by based on number according to the data searches the module, isomerism space data conformity module, the spatial data browser three big modules constitutions.The paper altogether divides five chapters.

软件由基于元数据的数据查找模块、异构空间数据整合模块、空间数据浏览器模块构成，利用该软件能开发出具有三层结构(分别为客户层、逻辑层和数据层)模式的分布式空间数据集成平台。

与元逻辑的相关的网络解释 [注：此内容来源于网络，仅供参考]

adhere：黏着

所谓明确即在传统的双元逻辑中,一个叙述非真则为假,网路之转置(Transition)开关输入值,以经济成本观点为基础,判断滚珠轴承(Balls Bearing)、黏著(Adhere)榫(Insert) 可以拆解零件使用数学方式计算零件间接合点数的总数,

Cartesianism：笛卡尔主义

如果说逻辑实证主义的元假设(meta-assumptions)包含在更总体的哲学派别"笛卡尔主义"(Cartesianism)或"理性主义"(rationalism)中,那么,存在主义现象学的产生则是为了克服传统笛卡儿主义的主客二元论,它的结果是基于背景的整体心理学(holistic psychology),

defy：蔑视

人类演进以去拥抱复合宇宙(multiverse),当它演进时,它发现了它的超宇宙以一些蔑视(defy)逻辑的方式,对人类心智来讲是可接取的(accessible). 这就是人类正要进入的舞台,而它不是在一种振动的显灵裡(in a vibratory epiphany)上升到一个更高的次元,

delicacy：精密度

这样元功能在语言系统中可以梳理为下图所示的情况:图2表示,语言系统可以分为六个轴,在级阶(rank)轴上有小句与词等单位,在精密度(delicacy)轴上有语法和词汇等单位,在系统轴上有系统和结构等单位,而在元功能轴上则有人际功能、语篇功能、经验功能和逻辑功能.

internal memory：内部记忆体

记忆体的存取的资料一般是以1个位元组(Byte)为单位记忆体的逻辑(logical)观念可以看成一栋高楼或方块来表示分类 记忆体一般可分类为主记忆体(Main Memory)和辅助记忆体(Secondary Memory)二大类主记忆体(Main Memory)为CPU运算和储存程式、资料用途之元件,是微电脑内部的储存装置,属於内部记忆体(Internal Memory).

logical：逻辑

在语言中还有"逻辑"(logical)功能,即以表现为并列关系和从属关系的线性的循环结构的形式出现. 由于两者都是建立于说话人对外部世界和内心世界的经验上,与其他功能相比较是中性的,因而可统称为"概念"元功能. (2)语言是社会人的有意义的活动,

metalogic：元逻辑

至于专门讨论二者的关系的学问,殷海光认为则应当是"关于逻辑的哲学"( on the philosophy) ,但它却是"元逻辑"(metalogic) ,而非逻辑本身. 殷海光认为,如不能作这种划界,那么就势必会导致研究哲学与逻辑的关联,总是在研究哲学而不是在研究纯逻辑.

NOT gate：反闸

Durham大学Russell Cowburn的研究小组说,这个铁磁性的反闸(NOT gate)是一种全新的元件,而且还可以做得更小. 研究人员还将几个元件连接成一个13位元的移位暂存器(shift register),并认为这个技术将可制造出一整组的逻辑闸.

predication：述谓结构

一个述谓结构(predication)包含论元(argument)和谓词(predicate), 论元是述谓结构的逻辑上的参与者,主要是一个句子中的名词性成分,谓词是对论元的述说,或者陈述一种与论元之间的逻辑关系.

symbolic：符号

(1)符号(Symbolic)主义 认为思维的基元是符号,因此强调以逻辑为基础. 这是人工智能的主流. (2)连结(Connection)主义 认为思维过程是神经网络的边疆活动,而不是符号的运算过程. (3)行为(Behavior)主义 认为智能取决于感知和行动,