元逻辑的
- 与 元逻辑的 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
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.
软件由基于元数据的数据查找模块、异构空间数据整合模块、空间数据浏览器模块构成,利用该软件能开发出具有三层结构(分别为客户层、逻辑层和数据层)模式的分布式空间数据集成平台。
- 推荐网络例句
-
For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether
年美国个人破产法的一个改动使得破产登记急速下降,而后引起了信用卡大规模的亏损。
-
Eph. 4:23 And that you be renewed in the spirit of your mind
弗四23 而在你们心思的灵里得以更新
-
Lao Qiu is the Chairman of China Qiuyang Translation Group and the head master of the Confucius School. He has committed himself to the research and promotion of the classics of China.
老秋先生为中国秋阳翻译集团的董事长和孔子商学院的院长,致力于国学的研究和推广。