Formally Deriving the Third Newton’s Law from a Pair of Nontrivial Assumptions in a Formal Axiomatic Theory “Sigma-V”

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.

Some Fuzzy Logic Based Methods to Deal with Sensorial Information

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.

Designing and Optimization of Fuzzy Sliding Mode Controller for Nonlinear Systems

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.

A Novel Vertical Handoff Algorithm Based on Fuzzy Logic in Aid of Grey Prediction Theory in Wireless Heterogeneous Networks

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.

An Analysis of the Causal Reasoning Deficiencies in English Majors' Argumentative Writing

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.

Belief Revision by Sets of Sentences

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.

Design of ternary low-power Domino JKL flip-flop and its application

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.