Research on the Constitutional,Historical and Practical Logic of the Chinese Path of Human Rights Development——From the Perspective of the Inclusion of Human Rights Clause in the Constitution

The inclusion of the human rights clause in the Chi-nese Constitution is a concern and expression of the spirit of the Con-stitution,which has laid the institutional regulations of the fundamen-tal law for the development of human rights in China,provided the principles and value norms of the highest level of effectiveness for the legal protection of human rights,and built a profound constitutional basis for the formation and improvement of the Chinese path of human rights development.The human rights clause is not only a summariza-tion and affirmation of the historical practice of Chinese human rights development under the leadership of the Communist Party of China,but also a new starting point for the development of human rights in China under the leadership of the Communist Party of China.It marks that the development of human rights in China has entered a new era.The Party and the state have finally embarked on a path of human rights development with Chinese characteristics by formulating and implementing the Human Rights Action Plan of China,eliminating ab-solute poverty through the national poverty alleviation campaign,and promoting human rights protection through the rule of law.

Completeness of bounded model checking temporal logic of knowledge

In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge is introduced into the past tense operator, and then a new temporal epistemic logic LTLKP is obtained, so that LTLKP can naturally and precisely describe the system＇s reliability. Secondly, a set of prior algorithms are designed to calculate the maximal reachable depth and the length of the longest of loop free paths in the structure based on the graph structure theory. Finally, some theorems are proposed to show how to approximate the complete threshold with the diameter and recurrence diameter. The proposed work resolves the completeness threshold problem so that the completeness of bounded model checking can be guaranteed.

Nay or Jain Nyay 2： Logic of Atheism of Jain Dharm

Ethos and logos of the Jain thought and practice （world view） is based on reality perceived by senses. Atheistic roots of Jain Dharm have nourished growth, maintained viability and vitality, and kept it relevant for over the last five millennia. Unlike Judeo-Christian-Islam or Brahminical faith, it does not rely on omniscient supreme or god. Its atheistic and anti-theistic thrust is generally known, yet its followers do not call themselves Nastik （non-believers）. They emphasize action-consequence relations as guide for successful behaviors with ethical conduct. The basis of their arguments follows from the Jain logic （Saptbhangi Syad Nay） of evidence based inference with multiple orthogonal affirmed assertions （Jain 2011）. It conserves information by acknowledging the remaining doubt in an inference. It does not assume binary complementation to force closure for deduction with incomplete knowledge which leads to self-reference and loss of information. This approach offers a rational and practical alternative to conundrum of western atheism even though its arguments are logical and consistent with available evidence. It also obviates need to extract religious morality from social mores. Objective truth and knowledge of established generalizations is necessary but not sufficient for subjective searches to shape desires and for what the future ought to be.

Beyond Logic of Discovery and Paradigmatic Consensus： A Reanalysis of the Popper-Kuhn Debate in the Philosophy of Science

There is no patina of doubt that the central philosophical theories of Karl Popper and Thomas Kuhn concerning the nature, substance and method for acquiring scientific knowledge constitute milestones in 20th century philosophy of science. Just as Popper＇s fundamental work on the subject, The Logic of Scientific Discovery, marked a decisive break with inductivist epistemologies, Kuhn＇s magnum opus, The Structure of Scientific Revolutions （1962, enlarged ed. 1970）, inaugurated the coming of age of the historical turn in the philosophy of science. Some scholars seem to consider the main doctrines of both philosophers as irreconcilables or contradictories. This explains why, for example Popper and Popperians such as Imre Lakatos and John Watkins describe themselves as ＂critical rationalists＂, whereas they refer to Kuhn as an ＂irrationalist＂ or ＂relativist＂-appellations that the latter has consistently rejected. The debate between Popper and Kuhn, especially as contained in an important work, Criticism and the Growth of Knowledge （1970）, highlights some of the knotty problems connected with philosophical appraisals of science. It also demonstrates the strengths and weaknesses of logistic approaches in the philosophy of science, on the one hand, and of historically informed socio-psychological analysis of science, on the other. In this paper, we reexamine the Popper-Kuhn controversy from an experimentalist perspective. In other words, we argue that the ideas of testing and normal science can be systematically accommodated by fine-structure dissection of empirical research through which scientists learn about the world, based on the assumption that the progress of science is the growth of experimental knowledge-a fact often neglected in theory-dominated philosophies of science. Taking discovery of the cosmic background radiation by Arno Penzias and Robert Wilson as example, the paper argues that important scientific discoveries have been accomplished even in the absence of theory in any obvious sense, a situation that conflicts with the theory-dominated models of Popper and Kuhn. Thus, it offers an account of how practicing scientists learn from research to control errors and avoid blind alleys. The paper affirms, in conclusion, that going beyond the theories of Popper and Kuhn requires that philosophers of science should take what scientists learn from experiments seriously when theorising about science, by taking into account normal testing or error detection and control strategies through which scientific knowledge is acquired and extended

On the Triple Logic of Socialism with Chinese Characteristics in the New Era

Under the context of socialism with Chinese characteristics(shortened as SCC hereafter)has entered a new era,the analysis on the theoretical logic of the communist belief,and on the practical logic of the realistic society of China,as well as the historical logic that connects the historical context with the characteristics of the times,will enable us to better understand and feel China’s new historical position in the new era,accurately grasp the law of development of the times and features of the current stage of China’s development,so as to contribute to the great rejuvenation of the Chinese nation.

The Logic of Xi Jinping’s Ideas on Social Governance in the New Era

Since the 18th National Congress of the Communist Party of China,General Secretary Xi Jinping,with a long-term vision,has discussed social governance on different occasions in the face of contemporary issues,forming an ideological system with complete structure,rich content,rigorous exposition,and profound thinking.From the perspective of theoretical analysis,these expositions insist on people-centeredness in the value dimension,implement multiple subject participation in the practical dimension,consider promoting the legalization of social governance in the target dimension,draw on the essence of traditional cultural governance in the historical dimension,and focus on diversified governance measures in the method dimension.The important exposition of General Secretary Xi Jinping on social governance is the new development of Chinese Marxist social governance ideas,which will help the steady progress of socialist social governance with Chinese characteristics and the further improvement of socialist governance system with Chinese characteristics.

Tuo Shan Yan Dam and City Ningbo： Exploring the Historical Logic of Urban Water Management through a Big City of China

Tuo Shan Yan Dam is a small darn which was built above Yinjiang River at the Yinjiang Town, Ningbo City, Zhejiang Province of China in 833 AD, but it is greatly contributed to Ningbo City, a current big port city of China. The dam and the matched system had become a key hydro-infrastructure to the city＇s existence and development, and irrigation of the countryside nearby the city from ninth century up to 1987, a big dam was built at upper reach to control water of the river. Tuo Shan Yan Dam functioned an important role in the local water management and met a series of purposes perfectly, mainly as： （a） regulation of the river water; （b） save the flood; （c） stop the salinization; （d） urban water supply; （e） storage of flesh water; （f） irrigation; （g） ship transportation. And it is a miracle that it has been functioned for more than one thousand years. This dam also influenced the local social life and people＇s spiritual world simultaneously. The construction of the dam and its matched hydro-system is in line with the Chinese ancient logic of urban water management to manage river to meet a multi-proposes of urban development by a key project and a systemic engineering design. It is an important case for better understanding of ancient Chinese urban water management and to learn from the history for current water sustainability. Accordingly, the dam＇s design, construction and its influence on the local societies are studied in this article.

The Logic of Incarnation： Hegel＇s Use of Plato＇s Philebus in the Shorter Logic and in the Lectures on the Philosophy of Religion

Hegel uses Plato＇s classical text, Philebus, in two of his most important texts, the so called Shorter Logics, the first part of the famous Encyclopedia of Philosophical Sciences and in The Lectures on the Philosophy of Religion. The aim of this article is to analyze how can this two references be read together as to form a relationship between logic and religion in the very heart of Hegelian philosophy. In the first case, Hegel analyzes Plato＇s text within the context of his Doctrine of Being, specially from §§ 89 to 95, which deal with the question of determinate being. In The Lectures on the Philosophy of Religion, on the other hand, the reference appears in the 1824 Lectures in a particularly complex chapter called ＂The Transition to the Speculative Standpoint of Religion,＂ in which Hegel affirms not only that such a speculative standpoint is the only one in which religion can be truly grasped, but also that the Christian concept of ＂incarnation of God＂ is the ＂speculative midpoint＂ of religion. It will be argued, therefore, that the ontological question of determination and actuality, as exposed in the Shorter Logics, is fundamental to the metaphysics of Christian Religion as Hegel understands it not only in his Philosophy of Religion, but arguably in his whole philosophy.

Hybrid Energy Systems and the Logic of Their Service-Dominant Implementation: Screening the Pathway to Improve Results

The transition of the global economy to a low-carbon development path has led to dramatic changes in the organization and functioning of energy markets around the world,where hybrid energy systems(HESs)are one of the decisive active agents.At the same time,a number of problems facing the modern HESs are primarily due to the stochastic nature of the renewable energy they use,require further profound changes not only in the technologies they use and how they manage them,necessary to meet the needs of end consumers and interact with the unified energy system,but also to preserve the ability of the environment to self-heal.In order to make the process of changes more efficient and eco-deep,the article proposes to use and discusses the approach based on service dominant(SD)logic,which opens up new opportunities for solving the problems of HESs.First of all through:the implementation of closer service interaction with other participants in the energy markets,as well as with the environment;a systemically organized process of transforming the“product”economic activity of HESs into a service-dominant one;developing the generalized and engineering models for solving the problems of optimizing the technical and economic indicators of HESs,operation in steady-state and transient modes.The calculations confirm the effectiveness of the proposed approach and its ability to reduce the average daily costs for the system as a whole by 14.7%compared to the costs with a uniform distribution of power between the modules.

Ground-0 Axioms vs.First Principles and Second Law:From the Geometry of Light and Logic of Photon to Mind-Light-Matter Unity-AI&QI

Without the geometry of light and logic of photon,observer-observability forms a paradox in modern science,truthequilibrium finds no unification,and mind-light-matter unity is unreachable in spacetime.Subsequently,quantum mechanics has been shrouded with mysteries preventing itself from reaching definable causality for a general purpose analytical quantum computing paradigm.Ground-0 Axioms are introduced as an equilibrium-based,dynamic,bipolar set-theoretic unification of the first principles of science and the second law of thermodynamics.Related literatures are critically reviewed to justify the self-evident nature of Ground-0 Axioms.A historical misinterpretation by the founding fathers of quantum mechanics is identified and corrected.That disproves spacetime geometries(including but not limited to Euclidean and Hilbert spaces)as the geometries of light and truth-based logics(including but not limited to bra-ket quantum logic)as the logics of photon.Backed with logically definable causality and Dirac 3-polarizer experiment,bipolar quantum geometry(BQG)and bipolar dynamic logic(BDL)are identified as the geometry of light and the logic of photon,respectively,and wave-particle complementarity is shown less fundamental than bipolar complementarity.As a result,Ground-0 Axioms lead to a geometrical and logical illumination of the quantum and classical worlds as well as the physical and mental worlds.With logical resolutions to the EPR and Schr?dinger’s cat paradoxes,an analytical quantum computing paradigm named quantum intelligence(QI)is introduced.It is shown that QI makes mind-light-matter unity and quantum-digital compatibility logically reachable for quantumneuro-fuzzy AI-machinery with groundbreaking applications.It is contended that Ground-0 Axioms open a new era of science and philosophy—the era of mind-light-matter unity in which humanlevel white-box AI&QI is logically prompted to join Einstein’s grand unification to foster major scientific advances.

A LOGIC ORIGINATING FROM YIN-YANG AND FORMED IN DAO: A TENTATIVE STUDY OF THE LOGIC OF THINKING IN LAOZI

1.Introduction In the previous discussion on the logic of thinking of Zhou Yi,we have attempted to examine the evolution from the eight diagrams to the sixty-four hexagrams,in the hope of fi nding out what it tries to convey to its readers and how it achieves its aim.1Our conclusion is:Zhou Yi set up a thinking model which deeply infl uenced the Chinese traditional culture and we can see its infl uences in today’s China.Moreover,the interpretations of the symbolic diagrams provided

The Self-Reflexive Logic of Aesthetic Education and Its Mitigation

The core function of aesthetic education is to promote the free development of human beings,and the mechanism of realizing its function includes awakening the subjective consciousness of human beings,activating the rational self-consciousness of human beings and strengthening the reflective spirit of human beings.However,the problems of standardization of educational contents and intellectualization of educational models in aesthetic education have profoundly affected the promotion of human free development by aesthetic education and produced a serious self-reflexive logic.The discussion of the self-reflexive logic of aesthetic education is essentially a discussion of whether aesthetic education is possible or whether the concept of aesthetic education is valid.If this issue is not identified and clarified,then our aesthetic education may remain in educational misconceptions due to its self-reflexive logic.In order to mitigate the self-reflexive logic of aesthetic education,we should gradually weaken the compulsory nature of aesthetic education and try to transcend the intellectualization trap of aesthetic education.

The connotation, background and logic of existence of the modem university academies

With the popularization of the higher education in China. its advantages of the cultivation of talents are also weakening. The emergence of the university academies is the inevitable result of the contemporary university education seeking its own development. Starting from the connotation, background and logic of existence of the modem university academies, the author of this paper carries out researches on university academies, which is of certain reference values and promotion to the popularization and development of the university academies in the contemporary era.

The Action Logic of China's Human Rights Development in Three Dimensions

Building a moderately prosperous society in all respects is a milestone in China’s human rights development.It clearly reflects the profound action logic of the CpC leading the Chinese people to fight for and realize the protection of rights.At the level of values,the logic of rights for China’s human rights development is mainly manifested in four aspects:prioritizing the right to subsistence and the right to development in the rights system;importance given to citizenship and democracy by the goal of building a moderately prosperously society in all respects;advocating the right to unity and the right to participate in the common cause of the Chinese people;implementing the responsibility of leaders and managers to safeguard human rights.At the practical level,the protection logic of China’s human rights development mainly includes four links:firstly,gradual upgrading is a reliable procedure for the coordination of the human rights system;secondly,the rule of law is a solid foundation for the steady development of human rights;thirdly,the courage to explore is the important factor for the success of human rights practice;lastly,seeking common ground while shelving differences is the key consensus for mutual learning among human rights civilizations.In terms of time and space,China’s human rights development has achieved world-recognized success,laying a solid foundation for this endeavor to proceed,and providing experience and reference for people all over the world to pursue common human rights ideals.

The Binary Logic of the Compilation of the Ecological Environment Code and Its Unfolding

The Ecological Environment Code,as a significant legal instrument for the evolution of ecological civilization,possesses both substantive and formal dimensions.First,it aims to serve the national ecological civilization strategy.Second,it elucidates potential pathways for legal interpretation,development of legal rules,and promotion of judicial governance,restraining arbitrary behavior and disorder while facilitating systemic cohesion.The compilation of the Ecological Environment Code unfolds through the main threads of substantive and formal logic.By prioritizing conservation,protection,and restoring the natural environment,resource management,pollution prevention,and ecological protection are coordinated,integrating legislation on ecological protection with management of natural resources and pollution prevention to achieve both"harm avoidance"and"beneficial trends."Employing the formal logical main thread of the structure of the relationship between power and rights,we present four types of norms:ex post facto remedy,hazard prevention,risk prevention,and independent value selection.

Prediction of the undrained shear strength of remolded soil with non-linear regression,fuzzy logic,and artificial neural network

This study aims to predict the undrained shear strength of remolded soil samples using non-linear regression analyses,fuzzy logic,and artificial neural network modeling.A total of 1306 undrained shear strength results from 230 different remolded soil test settings reported in 21 publications were collected,utilizing six different measurement devices.Although water content,plastic limit,and liquid limit were used as input parameters for fuzzy logic and artificial neural network modeling,liquidity index or water content ratio was considered as an input parameter for non-linear regression analyses.In non-linear regression analyses,12 different regression equations were derived for the prediction of undrained shear strength of remolded soil.Feed-Forward backpropagation and the TANSIG transfer function were used for artificial neural network modeling,while the Mamdani inference system was preferred with trapezoidal and triangular membership functions for fuzzy logic modeling.The experimental results of 914 tests were used for training of the artificial neural network models,196 for validation and 196 for testing.It was observed that the accuracy of the artificial neural network and fuzzy logic modeling was higher than that of the non-linear regression analyses.Furthermore,a simple and reliable regression equation was proposed for assessments of undrained shear strength values with higher coefficients of determination.

Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems

Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system.

Frequency Regulation of Alternating Current Microgrid Based on Hierarchical Control Using Fuzzy Logic

An alternating current(AC)microgrid is a system that integrates renewable power,power converters,controllers and loads.Hierarchical control can manage the frequency of the microgrid to prevent imbalance and collapse of the system.The existing frequency control methods use traditional proportion integration(PI)controllers,which cannot adjust PI parameters in real-time to respond to the status changes of the system.Hierarchical control driven by fuzzy logic allows real-time adjustment of the PI parameters and the method used a two-layer control structure.The primary control used droop control to adjust power distribution,and fuzzy logic was used in the voltage loop of the primary control.The secondary control was added to make up for frequency deviation caused by droop control,and fuzzy logic was used in the secondary frequency control to deal with the dynamic change of frequency caused by the disturbances of loads.The proposed method was simulated in Matlab/Simulink.In the primary control,the proposed method reduced the total harmonic distortion(THD)of two cycles of the output voltage from 4.19%to 3.89%;in the secondary control,the proposed method reduced the frequency fluctuation of the system by about 0.03 Hz and 0.04 Hz when the load was increased and decreased,respectively.The results show that the proposed methods have a better effect on frequency maintenance and voltage control of the AC microgrid.

Implementation of Fuzzy Logic Control into an Equivalent Minimization Strategy for Adaptive Energy Management of A Parallel Hybrid Electric Vehicle

As government agencies continue to tighten emissions regulations due to the continued increase in greenhouse gas production, automotive industries are seeking to produce increasingly efficient vehicle technology. Hybrid electric vehicles (HEVs) have been introduced to mitigate problems while improving fuel economy. HEVs have led to the demand of creating more advanced controls software to consider multiple components for propulsive power in a vehicle. A large section in the software development process is the implementation of an optimal energy management strategy meant to improve the overall fuel efficiency of the vehicle. Optimal strategies can be implemented when driving conditions are known a prior. The Equivalent Consumption Minimization Strategy (ECMS) is an optimal control strategy that uses an equivalence factor to equate electrical to mechanical power when performing torque split determination between the internal combustion engine and electric motor for propulsive and regenerative torque. This equivalence factor is determined from offline vehicle simulations using a sensitivity analysis to provide optimal fuel economy results while maintaining predetermined high voltage battery state of charge (SOC) constraints. When the control hierarchy is modified or different driving styles are applied, the analysis must be redone to update the equivalence factor. The goal of this work is to implement a fuzzy logic controller that dynamically updates the equivalence factor to improve fuel economy, maintain a strict charge sustaining window of operation for the high voltage battery, and reduce computational time required during algorithm development. The adaptive algorithm is validated against global optimum fuel economy and charge sustaining results from a sensitivity analysis performed for multiple drive cycles. Results show a maximum fuel economy improvement of 9.82% when using a mild driving style and a 95% success rate when maintaining an ending SOC within 5% of the desired SOC regardless of starting SOC.

The Fundamental Theory of Artificial Intelligence—Logic Structure and Logic Engineering

The research purpose of this dissertation is threefold: to innovate artificial intelligence methods, to create the intersection of artificial intelligence and biological research, and to innovate human methodology. The work I have done in my research includes: improving logical structure and logical engineering, using my theory to study the innovation of the development path of artificial intelligence, using my theory to create biomimetic logic, a new intersection of artificial intelligence and biological research, and exploring the innovation of human methodology through the previous two works. The results of the research are as follows: 1) Introduction to bionic logic, incorporating simulations of people, society, and life as core principles. 2) Definition of the logical structure as the primary focus of research, with logic mechanics serving as foundational research principles. 3) Examination of the logical structure’s environment through logical fields and networks. 4) Study of logical structure communication via logical networks and main lines. 5) Proposal of data logic. 6) Investigation into the logic of logical structures, employing structural diagrams of logical equations. 7) Development of a theory of life activity within logical structures, encompassing information reasoning, its corresponding control structure, and structural reasoning. 8) Introduction of the lifecycle theory for logical structures and examination of the clock equation. 9) Exploration of logical structure intelligence. 10) Study of logical structures in mathematical forms. 11) Introduction of logic engineering. 12) Examination of artificial intelligence’s significance. 13) Investigation into the significance of human methodology.