The article is devoted to hitherto never undertaken applying an almost unknown logically formalized axiomatic epistemology-and-axiology system called “Sigma-V” to the Third Newton’s Law of mechanics. The author has...The article is devoted to hitherto never undertaken applying an almost unknown logically formalized axiomatic epistemology-and-axiology system called “Sigma-V” to the Third Newton’s Law of mechanics. The author has continued investigating the extraordinary (paradigm-breaking) hypothesis of formal-axiological interpreting Newton’s mathematical principles of natural philosophy and, thus, has arrived to discrete mathematical modeling a system of formal axiology of nature by extracting and systematical studying its proper algebraic aspect. Along with the proper algebraic machinery, the axiomatic (hypothetic-deductive) method is exploited in this investigation systematically. The research results are the followings. 1) The Third Newton’s Law of mechanics has been modeled by a formal-axiological equation of two-valued algebraic system of metaphysics as formal axiology. (Precise defining the algebraic system is provided.) The formal-axiological equation has been established (and examined) in this algebraic system by accurate computing compositions of relevant evaluation-functions. Precise tabular definitions of the evaluation-functions are given. 2) The wonderful formula representing the Third Newton’s Law (in the relevant physical interpretation of the formal theory Sigma-V) has been derived logically in Sigma-V from the presumption of a-priori-ness of knowledge. A precise axiomatic definition of the nontrivial notion “a-priori-ness of knowledge” is given. The formal derivation is implemented in strict accordance with the rigor standard of D. Hilbert’s formalism;hence, checking the formal derivation submitted in this article is not a difficult task. With respect to proper theoretical physics, the formal inference is a nontrivial scientific novelty which has not been discussed and published elsewhere yet.展开更多
Sensorial information is very difficult to elicit, to represent and to manage because of its complexity. Fuzzy logic provides an interesting means to deal with such information, since it allows us to represent impreci...Sensorial information is very difficult to elicit, to represent and to manage because of its complexity. Fuzzy logic provides an interesting means to deal with such information, since it allows us to represent imprecise, vague or incomplete descriptions, which are very common in the management of subjective information. Aggregation methods proposed by fuzzy logic are further useful to combine the characteristics of the various components of sensorial information.展开更多
For enhancing the control effectiveness,we firstly design a fuzzy logic based sliding mode controller(FSMC)for nonlinear crane systems.On basis of overhead crane dynamic characteristic,the sliding mode function with r...For enhancing the control effectiveness,we firstly design a fuzzy logic based sliding mode controller(FSMC)for nonlinear crane systems.On basis of overhead crane dynamic characteristic,the sliding mode function with regard to trolley position and payload angle.Additionally,in order to eliminate the chattering problem of sliding mode control,the fuzzy logic theory is adopted to soften the control performance.Moreover,aiming at the FSMC parameter setting problem,a DE algorithm based optimization scheme is proposed for enhancing the control performance.Finally,by implementing the computer simulation,the DE based FSMC can effectively tackle the overhead crane sway problem and avoid unexpected accident greatly.展开更多
To coordinate the various access technologies in the 4G communication system,intelligent vertical handoff algorithms are required.This paper mainly deals with a novel vertical handoff decision algorithm based on fuzzy...To coordinate the various access technologies in the 4G communication system,intelligent vertical handoff algorithms are required.This paper mainly deals with a novel vertical handoff decision algorithm based on fuzzy logic with the aid of grey theory and dynamic weights adaptation.The grey prediction theory(GPT) takes 4 sampled received signal strengths as input parameters,and calculates the predicted received signal strength in order to reduce the call dropping probability.The fuzzy logic theory based quantitative decision algorithm takes 3 quality of service(QoS)metric,received signal strength(RSS),available bandwidth(BW),and monetary cost (MC)of candidate networks as input parameters.The weight of each QoS metrics is adjusted along with the networks changing to trace the network condition.The final optimized vertical handoff decision is made by comparing the quantitative decision values of the candidate networks.Simulation results demonstrate that the proposed algorithm provides high performance in heterogeneous as well as homogeneous network environments.展开更多
The Syllabus for English Majors at Universities and Colleges(2000) makes it clear to further strengthen the English majors' critical thinking and logical reasoning ability.But how to effectively incorporate the cu...The Syllabus for English Majors at Universities and Colleges(2000) makes it clear to further strengthen the English majors' critical thinking and logical reasoning ability.But how to effectively incorporate the cultivation of critical thinking skills into English majors' core courses,such as the writing courses,remains one of the most important tasks of teaching reform for English majors.The present study is aimed at having a systematic analysis on the causal reasoning deficiencies in English majors' argumentative writing.Furthermore,the reasons resulting in the causal reasoning deficiencies and the implications for the teaching of second language writing are explored.展开更多
The aim of this paper is to extend the system of belief revision developed by Alchourron, Gardenfors and Makinson (AGM) to a more general framework.This extension enables a treatment of revision not only by single sen...The aim of this paper is to extend the system of belief revision developed by Alchourron, Gardenfors and Makinson (AGM) to a more general framework.This extension enables a treatment of revision not only by single sentences but also by any sets of sentences, especially by infinite sets. The extended revision and contraction operators will be called general ones, respectively. A group of postulates for each operator is provided in such a way that it coincides with AGM's in the limit case. A notion of the nice-ordering partition is introduced to characterize the general contraction operation. A comp ut ation- orient ed ap-proach is provided for belief revision operations.展开更多
By researching the ternary flip-tlop and the adiabatic Domino circuit,a novel design of low-power ternary Domino JKL flip-flop on the switch level is proposed.First,the switch-level structure of the ternary adiabatic ...By researching the ternary flip-tlop and the adiabatic Domino circuit,a novel design of low-power ternary Domino JKL flip-flop on the switch level is proposed.First,the switch-level structure of the ternary adiabatic Domino JKL flip-flop is derived according to the switch-signal theory and its truth table.Then the ternary loop operation circuit and ternary reverse loop operation circuit are achieved by employing the ternary JKL tlip-tlop. Finally,the circuit is simulated by using the Spice tool and the results show that the logic function is correct. The energy consumption of the ternary adiabatic Domino JKL flip-flop is 69%less than its conventional Domino counterpart.展开更多
文摘The article is devoted to hitherto never undertaken applying an almost unknown logically formalized axiomatic epistemology-and-axiology system called “Sigma-V” to the Third Newton’s Law of mechanics. The author has continued investigating the extraordinary (paradigm-breaking) hypothesis of formal-axiological interpreting Newton’s mathematical principles of natural philosophy and, thus, has arrived to discrete mathematical modeling a system of formal axiology of nature by extracting and systematical studying its proper algebraic aspect. Along with the proper algebraic machinery, the axiomatic (hypothetic-deductive) method is exploited in this investigation systematically. The research results are the followings. 1) The Third Newton’s Law of mechanics has been modeled by a formal-axiological equation of two-valued algebraic system of metaphysics as formal axiology. (Precise defining the algebraic system is provided.) The formal-axiological equation has been established (and examined) in this algebraic system by accurate computing compositions of relevant evaluation-functions. Precise tabular definitions of the evaluation-functions are given. 2) The wonderful formula representing the Third Newton’s Law (in the relevant physical interpretation of the formal theory Sigma-V) has been derived logically in Sigma-V from the presumption of a-priori-ness of knowledge. A precise axiomatic definition of the nontrivial notion “a-priori-ness of knowledge” is given. The formal derivation is implemented in strict accordance with the rigor standard of D. Hilbert’s formalism;hence, checking the formal derivation submitted in this article is not a difficult task. With respect to proper theoretical physics, the formal inference is a nontrivial scientific novelty which has not been discussed and published elsewhere yet.
文摘Sensorial information is very difficult to elicit, to represent and to manage because of its complexity. Fuzzy logic provides an interesting means to deal with such information, since it allows us to represent imprecise, vague or incomplete descriptions, which are very common in the management of subjective information. Aggregation methods proposed by fuzzy logic are further useful to combine the characteristics of the various components of sensorial information.
基金This work is supported by the Natural Science Foundation of Jiangsu Province(No.BK20160913)the Natural Science Foundation of the Jiangsu Higher Education Institutions of China(No.18KJB520035)+4 种基金the High Level Teacher Research Foundation of Nanjing University of Posts and Telecommunications(No.NY2016021)the Incubation Foundation of Nanjing University of Posts and Telecommunications(No.NY217055)Postdoctoral Foundation of Jiangsu Province(No.1701016A)Natural Science Foundation of China(No.61602259,No.61373135 and No.61672299)National Engineering Laboratory for Logistics Information Technology,YuanTong Express Co.LTD.
文摘For enhancing the control effectiveness,we firstly design a fuzzy logic based sliding mode controller(FSMC)for nonlinear crane systems.On basis of overhead crane dynamic characteristic,the sliding mode function with regard to trolley position and payload angle.Additionally,in order to eliminate the chattering problem of sliding mode control,the fuzzy logic theory is adopted to soften the control performance.Moreover,aiming at the FSMC parameter setting problem,a DE algorithm based optimization scheme is proposed for enhancing the control performance.Finally,by implementing the computer simulation,the DE based FSMC can effectively tackle the overhead crane sway problem and avoid unexpected accident greatly.
基金the National Natural Science Foundation of China(Nos.60832009,60872017 and 60772100)
文摘To coordinate the various access technologies in the 4G communication system,intelligent vertical handoff algorithms are required.This paper mainly deals with a novel vertical handoff decision algorithm based on fuzzy logic with the aid of grey theory and dynamic weights adaptation.The grey prediction theory(GPT) takes 4 sampled received signal strengths as input parameters,and calculates the predicted received signal strength in order to reduce the call dropping probability.The fuzzy logic theory based quantitative decision algorithm takes 3 quality of service(QoS)metric,received signal strength(RSS),available bandwidth(BW),and monetary cost (MC)of candidate networks as input parameters.The weight of each QoS metrics is adjusted along with the networks changing to trace the network condition.The final optimized vertical handoff decision is made by comparing the quantitative decision values of the candidate networks.Simulation results demonstrate that the proposed algorithm provides high performance in heterogeneous as well as homogeneous network environments.
文摘The Syllabus for English Majors at Universities and Colleges(2000) makes it clear to further strengthen the English majors' critical thinking and logical reasoning ability.But how to effectively incorporate the cultivation of critical thinking skills into English majors' core courses,such as the writing courses,remains one of the most important tasks of teaching reform for English majors.The present study is aimed at having a systematic analysis on the causal reasoning deficiencies in English majors' argumentative writing.Furthermore,the reasons resulting in the causal reasoning deficiencies and the implications for the teaching of second language writing are explored.
文摘The aim of this paper is to extend the system of belief revision developed by Alchourron, Gardenfors and Makinson (AGM) to a more general framework.This extension enables a treatment of revision not only by single sentences but also by any sets of sentences, especially by infinite sets. The extended revision and contraction operators will be called general ones, respectively. A group of postulates for each operator is provided in such a way that it coincides with AGM's in the limit case. A notion of the nice-ordering partition is introduced to characterize the general contraction operation. A comp ut ation- orient ed ap-proach is provided for belief revision operations.
基金supported by the National Natural Science Foundation of China(Nos.61234002,61076032)the Key Project of Zhejiang Provincial Natural Science of China(No.Z1111219)+1 种基金the State Key Laboratory of ASIC & Systemthe K.C.Wong Magna Fund in Ningbo University
文摘By researching the ternary flip-tlop and the adiabatic Domino circuit,a novel design of low-power ternary Domino JKL flip-flop on the switch level is proposed.First,the switch-level structure of the ternary adiabatic Domino JKL flip-flop is derived according to the switch-signal theory and its truth table.Then the ternary loop operation circuit and ternary reverse loop operation circuit are achieved by employing the ternary JKL tlip-tlop. Finally,the circuit is simulated by using the Spice tool and the results show that the logic function is correct. The energy consumption of the ternary adiabatic Domino JKL flip-flop is 69%less than its conventional Domino counterpart.