The <i>general purpose of the research</i>—systematical clarifying and explicating the too vague proper philosophical concepts of space, void, matter, motion, inertia, for making a logical harmony between...The <i>general purpose of the research</i>—systematical clarifying and explicating the too vague proper philosophical concepts of space, void, matter, motion, inertia, for making a logical harmony between them and the corresponding notions of proper physics. The <i>special purpose of the research</i>—invention (construction) of a <i>formal inference of the well-known Newton’s first law of mechanics</i> within a logically formalized axiomatic epistemology system from a set of precisely defined presumptions. For realizing this aim <i>the following work has been done</i>: a two-valued algebraic system of metaphysics as formal axiology has been applied to philosophical epistemology and philosophy of nature;a formal axiomatic theory called Sigma has been applied to physics for realizing the above-indicated special purpose of the research. Thus, constructing a discrete mathematical model of relationship between universal epistemology and philosophy of physics has been done. <i>Research results</i>: The main hitherto not published significantly new nontrivial scientific result of applied investigations presented in this article is a <i>formal inference of the well-known Newton’s first law of mechanics</i> within the formal axiomatic epistemology system Sigma from conjunction of the <i>formal-axiological analog</i> of the proper-law-of-mechanics (which <i>analog</i> is the <i>formal-axiological law</i> of two-valued algebra of metaphysics) and the assumption of a-priori-ness of knowledge. For obtaining this main research result, a set of accessory nontrivial novelties has been used, for instance;a precise algorithmic definition is given for the notion “<i>law of metaphysics</i>” in the algebraic system of metaphysics as formal axiology;a <i>formal-axiological equivalence</i> in the algebraic system is defined precisely. Precise tabular definitions are given for relevant evaluation-functions determined by evaluation-arguments, for example;“movement of (what, whom) <i>x</i>”;“speed of <i>x</i>”;“vecto展开更多
The standard Kripke semantics of epistemic logics has been applied successfully to reasoning communication protocols under the assumption that the network is not hostile. This paper introduces a natural semantics of K...The standard Kripke semantics of epistemic logics has been applied successfully to reasoning communication protocols under the assumption that the network is not hostile. This paper introduces a natural semantics of Kripke semantics called knowledge structure and, by this kind of Kripke semantics, analyzes communication protocols over hostile networks, especially on authentication protocols. Compared with BAN-like logics, the method is automatically implementable because it operates on the actual definitions of the protocols, not on some difficult-to-establish justifications of them. What is more, the corresponding tool called SPV (Security Protocol Verifier) has been developed. Another salient point of this approach is that it is justification-oriented instead of falsification-oriented, i.e. finding bugs in protocols.展开更多
将形式背景与复杂网络分析结合,研究如何从网络节点之间的有向关系出发分析节点内涵属性之间的有向流动趋势。首先,定义知识流动算子和知识流动矩阵,研究有向对象之间的知识流动。其次,定义知识流动网络形式背景和知识流团,进一步研究...将形式背景与复杂网络分析结合,研究如何从网络节点之间的有向关系出发分析节点内涵属性之间的有向流动趋势。首先,定义知识流动算子和知识流动矩阵,研究有向对象之间的知识流动。其次,定义知识流动网络形式背景和知识流团,进一步研究网络中知识流团的网络特征值,用来描述网络中知识流团的平均影响力和影响力差异。另外,结合引文网络与标准加权直接引用(NWDC)方法构建知识流动矩阵和属性链接值,依次提出知识出入度矩阵构建算法、知识流动矩阵构建算法。针对链接值预测问题提出改进链路预测方法、链接值预测方法,并与6种ML算法结合应用于Web of Science核心期刊库下载的数据集中,结果表明这两种预测方法效果优于链路预测且链接值预测方法效果最好。最后,根据链接值预测方法预测冷热门知识,并由冷热门知识流团的网络特征值对该结果进行验证。展开更多
This paper introduces a new methodology for epistemic logic, to analyze communication protocols that uses knowledge structures, a specific form of Kripke semantics over hostile networks. The paper particularly focuses...This paper introduces a new methodology for epistemic logic, to analyze communication protocols that uses knowledge structures, a specific form of Kripke semantics over hostile networks. The paper particularly focuses on automatic verification of authentication protocols. Our approach is based on the actual definitions of a protocol, not on some difficultto-establish justifications. The proposed methodology is different from many previous approaches to automatic verification of security protocols in that it is justification-oriented instead of falsification-oriented, i.e., finding bugs in a protocol. The main idea is based on observations： separating a principal executing a run of protocol from the role in the protocol, and inferring a principal＇s knowledge from the local observations of the principal. And we show analytically and empirically that this model can be easily reduced to Satisfiability （SAT） problem and efficiently implemented by a modern SAT solver.展开更多
文摘The <i>general purpose of the research</i>—systematical clarifying and explicating the too vague proper philosophical concepts of space, void, matter, motion, inertia, for making a logical harmony between them and the corresponding notions of proper physics. The <i>special purpose of the research</i>—invention (construction) of a <i>formal inference of the well-known Newton’s first law of mechanics</i> within a logically formalized axiomatic epistemology system from a set of precisely defined presumptions. For realizing this aim <i>the following work has been done</i>: a two-valued algebraic system of metaphysics as formal axiology has been applied to philosophical epistemology and philosophy of nature;a formal axiomatic theory called Sigma has been applied to physics for realizing the above-indicated special purpose of the research. Thus, constructing a discrete mathematical model of relationship between universal epistemology and philosophy of physics has been done. <i>Research results</i>: The main hitherto not published significantly new nontrivial scientific result of applied investigations presented in this article is a <i>formal inference of the well-known Newton’s first law of mechanics</i> within the formal axiomatic epistemology system Sigma from conjunction of the <i>formal-axiological analog</i> of the proper-law-of-mechanics (which <i>analog</i> is the <i>formal-axiological law</i> of two-valued algebra of metaphysics) and the assumption of a-priori-ness of knowledge. For obtaining this main research result, a set of accessory nontrivial novelties has been used, for instance;a precise algorithmic definition is given for the notion “<i>law of metaphysics</i>” in the algebraic system of metaphysics as formal axiology;a <i>formal-axiological equivalence</i> in the algebraic system is defined precisely. Precise tabular definitions are given for relevant evaluation-functions determined by evaluation-arguments, for example;“movement of (what, whom) <i>x</i>”;“speed of <i>x</i>”;“vecto
基金the reviewers.an d the trem endous kind help from the editors.This work was supported by the National Natural Science Foundation of China(Grant Nos.64096327,10410638 , 60473004)Germ an Research Foundation(Grant No.446 CHV1 13/240/0.1) Guangdong Provincial Natural Science Foundation(Grant No.04205407)
文摘The standard Kripke semantics of epistemic logics has been applied successfully to reasoning communication protocols under the assumption that the network is not hostile. This paper introduces a natural semantics of Kripke semantics called knowledge structure and, by this kind of Kripke semantics, analyzes communication protocols over hostile networks, especially on authentication protocols. Compared with BAN-like logics, the method is automatically implementable because it operates on the actual definitions of the protocols, not on some difficult-to-establish justifications of them. What is more, the corresponding tool called SPV (Security Protocol Verifier) has been developed. Another salient point of this approach is that it is justification-oriented instead of falsification-oriented, i.e. finding bugs in protocols.
文摘将形式背景与复杂网络分析结合,研究如何从网络节点之间的有向关系出发分析节点内涵属性之间的有向流动趋势。首先,定义知识流动算子和知识流动矩阵,研究有向对象之间的知识流动。其次,定义知识流动网络形式背景和知识流团,进一步研究网络中知识流团的网络特征值,用来描述网络中知识流团的平均影响力和影响力差异。另外,结合引文网络与标准加权直接引用(NWDC)方法构建知识流动矩阵和属性链接值,依次提出知识出入度矩阵构建算法、知识流动矩阵构建算法。针对链接值预测问题提出改进链路预测方法、链接值预测方法,并与6种ML算法结合应用于Web of Science核心期刊库下载的数据集中,结果表明这两种预测方法效果优于链路预测且链接值预测方法效果最好。最后,根据链接值预测方法预测冷热门知识,并由冷热门知识流团的网络特征值对该结果进行验证。
基金This work is supported by the National Grand Fundamental Research 973 Program of China under Grant No 2005CB321902, the National Natural Science Foundation of China under Grant Nos. 60496327, 10410638 and 60473004, German Research Foundation under Grant No. 446 CHV113/240/0-1, Guangdong Provincial Natural Science Foundation under Grant No. 04205407, and KAISI Fund in Sun Yat-Sen University.
文摘This paper introduces a new methodology for epistemic logic, to analyze communication protocols that uses knowledge structures, a specific form of Kripke semantics over hostile networks. The paper particularly focuses on automatic verification of authentication protocols. Our approach is based on the actual definitions of a protocol, not on some difficultto-establish justifications. The proposed methodology is different from many previous approaches to automatic verification of security protocols in that it is justification-oriented instead of falsification-oriented, i.e., finding bugs in a protocol. The main idea is based on observations： separating a principal executing a run of protocol from the role in the protocol, and inferring a principal＇s knowledge from the local observations of the principal. And we show analytically and empirically that this model can be easily reduced to Satisfiability （SAT） problem and efficiently implemented by a modern SAT solver.
