Construction and Resource Locating of Semantic P2P Grid Based on Description Logics

This paper proposes an algorithm applied in se mantic P2P network based on the description logics with the purpose for realizing the concepts distribution of resources, which makes the resources semantic locating easy. With the idea of the consistent hashing in the Chord, our algorithm stores the addresses and resources with the values of the same type to select instance. In addition, each peer has its own ontology, which will be completed by the knowledge distributed over the network during the exchange of CHGs （classification hierarchy graphs）. The hierarchy classification of concepts allows to find matching resource by querying to the upper level concept because the all concepts described in the CHG have the same root.

Some non-classical logics seen from a variety of perspectives

Logicians have worked with so many different logical systems that it is not possible even to esti-mate the number. Of these, many are best seen as extensions of classical logic, including both thoseof interest to mathematics and those of interest to philosophy and computer science. (Henceforth Iwill use the term "intelligent systems theory" for the common ground of philosophical logic and

THE RELATIONS BETWEEN NONMONOTONIC TRUTH MAIN-TENANCE AND NONMONOTONIC LOGICS

ＩｎｔｒｏｄｕｃｔｉｏｎＣｏｎｖｅｎｔｉｏｎａｌｄｅｄｕｃｔｉｖｅｉｎｆｅｒｅｎｃｅｉｓｍｏｎｏｔｏｎｉｃ，ａｎｄｉｔｉｓｉｎｓｕｆｉｃｉｅｎｔｔｏｓｏｌｖｅｐｒｏｂｌｅｍｓｉｎｃｏｍ－ｍｏｎｓｅｎｓｅｒｅａｓｏｎｉｎｇｅｆｉｃｉｅｎｔｌｙ．Ｎｏｎｍ...

Cell bioenergetics:Simple logics,complex solut

Cells are open systems that exchange energy and molecules with their environment.As any material system,they perform all the complex activities required for homeostasis and reproduction,obeying the thermodynamic laws.This viewpoint will argue that the basic logic governing the energy flux required to preserve cell organization and function is simple:to decrease the activation energy(Ea)of specific processes.Almost none of the possible chemical reactions and energy transformations inside a cell occur at a measurable speed at room or body temperature.Enzymes or other macromolecular structures speed up particular transformations by decreasing the corresponding energetic barriers.However,to maintain the systems in a homeostatic state,capable of sophisticated functions based on this simple strategy requires an inconceivably complex solution.The conclusion will point to the challenging and intricate problems that cells have solved to carve the highly regulated channel through which the energy flows,fueling the work of these nanoscale machines.

Logics of Constructing Chinese Form of Human Civilization Facing the Future:CPC and Development of Chinese Culture

As one of the oldest human civilizations,the Chinese nation once created brilliant ancient and classical culture.However,in transition to modernity,as China became a late comer of modernization,the Chinese nation has chosen the Party as the leading force in constructing its modern culture.Guided by Marxism,the Communist Party of China(CPC)has advanced

Towards the Idealization Procedure of BAN-Like Logics

We demonstrate the flaws of Mao's method, which is an augmentation ofprotocol idealization in BAN-like logics, and then offer some new idealization rules based on Mao'smethod. Furthermore, we give some theoretical analysis of our rules using the strand spaceformalism, and show the soundness of our idealization rules under strand spaces Some examples onusing the new rules to analyze security protocols are also concerned. Our idealization method ismore effective than Mao's method towards many protocol instances, and is supported by a formalmodel.

A Comparison of Paraconsistent Description Logics

Description logics (DLs) are a family of logic-based knowledge representation formalisms with a number of computer science applications. DLs are especially well-known to be valuable for obtaining logical foundations of web ontology languages (e.g., W3C’s ontology language OWL). Paraconsistent (or inconsistency-tolerant) description logics (PDLs) have been studied to cope with inconsistencies which may frequently occur in an open world. In this paper, a comparison and survey of PDLs is presented. It is shown that four existing paraconsistent semantics (i.e., four-valued semantics, quasi-classical semantics, single-interpretation semantics and dual-interpretation semantics) for PDLs are essentially the same semantics. To show this, two generalized and extended new semantics are introduced, and an equivalence between them is proved.

A survey on temporal logics for specifying and verifying real-time systems

Over the last two decades, there has been an extensive study of logical formalisms on specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction. Although numerous logics have been introduced for formal specification of real-time and complex systems, an up to date survey of these logics does not exist in the literature. In this paper we analyse various temporal formalisms introduced for specification, including propositional/first-order linear temporal logics, branching temporal logics, interval temporal logics, real-time temporal logics and probabilistic temporal logics. We give decidability, axiomatizability, expressiveness, model checking results for each logic analysed. We also provide a comparison of features of the temporal logics discussed.

Using coalgebras and the Giry monad for interpreting game logics a tutorial

The stochastic interpretation of Parikh＇s game logic should not follow the usual pattern of Kripke models, which in turn are based on the Kleisli morphisms for the Giry monad, rather, a specific and more general approach to proba- bilistic nondeterminism is required. We outline this approach together with its probabilistic and measure theoretic basis, in- troducing in a leisurely pace the Giry monad and its Kleisli morphisms together with important techniques for manipu- lating them. Proof establishing specific techniques are given, and pointers to the extant literature are provided. After working through this tutorial, the reader should find it easier to follow the original literature in this and related areas, and it should be possible for her or him to appreciate measure theoretic arguments for original work in the areas of Markov transition systems, and stochastic effectivity func- tions.

A 16-bit 18-MSPS flash-assisted SAR ADC with hybrid synchronous and asynchronous control logic

This paper presents a 16-bit,18-MSPS(million samples per second)flash-assisted successive-approximation-register(SAR)analog-to-digital converter(ADC)utilizing hybrid synchronous and asynchronous(HYSAS)timing control logic based on an on-chip delay-locked loop(DLL).The HYSAS scheme can provide a longer settling time for the capacitive digital-to-analog converter(CDAC)than the synchronous and asynchronous SAR ADC.Therefore,the issue of incomplete settling or ringing in the DAC voltage for cases of either on-chip or off-chip reference voltage can be solved to a large extent.In addition,the fore-ground calibration of the CDAC’s mismatch is performed with a finite-impulse-response bandpass filter(FIR-BPF)based least-mean-square(LMS)algorithm in an off-chip FPGA(field programmable gate array).Fabricated in 40-nm CMOS process,the proto-type ADC achieves 94.02-dB spurious-free dynamic range(SFDR),and 75.98-dB signal-to-noise-and-distortion ratio(SNDR)for a 2.88-MHz input under 18-MSPS sampling rate.

Modeling habitat distribution of Cornus officinalis with Maxent modeling and fuzzy logics in China

Aims Predicting suitable habitat distribution is an effective way to protect rare or endangered medicinal plants.Cornus officinalis is a perennial tree growing in forest edge and its air-dried pericarp is one of the traditional Chinese medicines(TCM)with significant medicinal values.In recent years,C.officinalis has undergone severe degeneration of its natural habitat owing to growing market demands and unprecedented damage to the forests.Moreover,the degeneration of suitable habitat has threatened the supply of medicinal materials,and even led to the extinction of some engendered medicinal plant species.In this case,there is a great risk to introduce and cultivate medicinal plants if planners determine the suitable cultivation regions based on personal subjective experience alone.Therefore,predicting suitable potential habitat distribution of medicinal plants(e.g.C.officinalis)and revealing the environmental factors determining such distribution patterns are important to habitat conservation and environmental restoration.Methods In this article,we report the results of a study on the habitat distribution of C.officinalis using maximum entropy(Maxent)modeling and fuzzy logics together with loganin content and environmental variables.The localities of 106 C.officinalis in China were collected by our group and other researchers and used as occurrence data.The loganin content of 234 C.officinalis germplasm resources were tested by high-performance liquid chromatography(HPLC)and used as content data.79 environmental variables were selected and processed with multicollinearity test by using Pearson Correlation Coefficient(r)to determine a set of independent variables.The chosen variables were then processed in the fuzzy linear model according to the cell values(maximum,minimum)of localities with estimated loganin content.The SDMtoolbox was used to spatially rarefy occurrence data and prepare bias files.Furthermore,combined Maxent modeling and fuzzy logics were used to predict the suitable habitat of C.officinalis.The modeling result was validated using null-model method.Important Findings As a result,six environmental factors including tmin3,prec3,bio4,alt,bio12 and bio3 were determined as key influential factors that mostly affected both the habitat suitability and active ingredient of C.officinalis.The highly suitable regions of C.officinalis mainly distribute in a‘core distribution zone’of the east-central China.The statistically significant AUC value indicated that combined Maxent modeling and fuzzy logics could be used to predict the suitable habitat distribution of medicinal plants.Furthermore,our results confirm that ecological factors played critical roles in assessing suitable geographical regions as well as active ingredient of plants,highlighting the need for effective habitat rehabilitation and resource conservation.

Flexible planar micro supercapacitor diode

Supercapacitor diode is a novel ion device that performs both supercapacitor energy storage and ion diode rectification functions.However,previously reported devices are limited by their large size and complex processes.In this work,we demonstrate a screen-printed micro supercapacitor diode(MCAPode)that based on the insertion of a finger mode with spinel ZnCo_(2)O_(4) as cathode and activated carbon as anode for the first time,and featuring an excellent area specific capacitance(1.21 mF cm^(-2)at 10 mV s^(-1))and high rectification characteristics(rectification ratioⅠof 11.99 at 40 mV s^(-1)).Taking advantage of the ionic gel electrolyte,which provides excellent stability during repeated flexing and at high temperatures.In addition,MCAPode exhibits excellent electrochemical performance and rectification capability in"AND"and"OR"logic gates.These findings provide practical solutions for future expansion of micro supercapacitor diode applications.

A Survey on Type-3 Fuzzy Logic Systems and Their Control Applications

In this paper,we offer a review of type-3 fuzzy logic systems and their applications in control.The main objective of this work is to observe and analyze in detail the applications in the control area using type-3 fuzzy logic systems.In this case,we review their most important applications in control and other related topics with type-3 fuzzy systems.Intelligent algorithms have been receiving increasing attention in control and for this reason a review in this area is important.This paper reviews the main applications that make use of Intelligent Computing methods.Specifically,type-3 fuzzy logic systems.The aim of this research is to be able to appreciate,in detail,the applications in control systems and to point out the scientific trends in the use of Intelligent Computing techniques.This is done with the construction and visualization of bibliometric networks,developed with VosViewer Software,which it is a free Java-based program,mainly intended to be used for analyzing and visualizing bibliometric networks.With this tool,we can create maps of publications,authors,or journals based on a co-citation network or construct maps of keywords,countries based on a co-occurrence networks,research groups,etc.

Digital signal acquisition system for complex nuclear reaction experiments

A digital data-acquisition system based on XIA LLC products was used in a complex nuclear reaction experiment using radioactive ion beams.A flexible trigger system based on a field-programmable gate array(FPGA)parametrization was developed to adapt to different experimental sizes.A user-friendly interface was implemented,which allows converting script language expressions into FPGA internal control parameters.The proposed digital system can be combined with a conventional analog data acquisition system to provide more flexibility.The performance of the combined system was veri-fied using experimental data.

A Formal Model for Analyzing Fair Exchange Protocols Based on Event Logic

Fair exchange protocols play a critical role in enabling two distrustful entities to conduct electronic data exchanges in a fair and secure manner.These protocols are widely used in electronic payment systems and electronic contract signing,ensuring the reliability and security of network transactions.In order to address the limitations of current research methods and enhance the analytical capabilities for fair exchange protocols,this paper proposes a formal model for analyzing such protocols.The proposed model begins with a thorough analysis of fair exchange protocols,followed by the formal definition of fairness.This definition accurately captures the inherent requirements of fair exchange protocols.Building upon event logic,the model incorporates the time factor into predicates and introduces knowledge set axioms.This enhancement empowers the improved logic to effectively describe the state and knowledge of protocol participants at different time points,facilitating reasoning about their acquired knowledge.To maximize the intruder’s capabilities,channel errors are translated into the behaviors of the intruder.The participants are further categorized into honest participants and malicious participants,enabling a comprehensive evaluation of the intruder’s potential impact.By employing a typical fair exchange protocol as an illustrative example,this paper demonstrates the detailed steps of utilizing the proposed model for protocol analysis.The entire process of protocol execution under attack scenarios is presented,shedding light on the underlying reasons for the attacks and proposing corresponding countermeasures.The developedmodel enhances the ability to reason about and evaluate the security properties of fair exchange protocols,thereby contributing to the advancement of secure network transactions.

Complex Decision Modeling Framework with Fairly Operators and Quaternion Numbers under Intuitionistic Fuzzy Rough Context

The main goal of informal computing is to overcome the limitations of hypersensitivity to defects and uncertainty while maintaining a balance between high accuracy,accessibility,and cost-effectiveness.This paper investigates the potential applications of intuitionistic fuzzy sets(IFS)with rough sets in the context of sparse data.When it comes to capture uncertain information emanating fromboth upper and lower approximations,these intuitionistic fuzzy rough numbers(IFRNs)are superior to intuitionistic fuzzy sets and pythagorean fuzzy sets,respectively.We use rough sets in conjunction with IFSs to develop several fairly aggregation operators and analyze their underlying properties.We present numerous impartial laws that incorporate the idea of proportionate dispersion in order to ensure that the membership and non-membership activities of IFRNs are treated equally within these principles.These operations lead to the development of the intuitionistic fuzzy rough weighted fairly aggregation operator(IFRWFA)and intuitionistic fuzzy rough ordered weighted fairly aggregation operator(IFRFOWA).These operators successfully adjust to membership and non-membership categories with fairness and subtlety.We highlight the unique qualities of these suggested aggregation operators and investigate their use in the multiattribute decision-making field.We use the intuitionistic fuzzy rough environment’s architecture to create a novel strategy in situation involving several decision-makers and non-weighted data.Additionally,we developed a novel technique by combining the IFSs with quaternion numbers.We establish a unique connection between alternatives and qualities by using intuitionistic fuzzy quaternion numbers(IFQNs).With the help of this framework,we can simulate uncertainty in real-world situations and address a number of decision-making problems.Using the examples we have released,we offer a sophisticated and systematically constructed illustrative scenario that is intricately woven with the complexity ofmedical evaluation in order to thoroughly assess the relevance and efficacy of the suggested methodology.

Ethical Decision-Making Framework Based on Incremental ILP Considering Conflicts

Humans are experiencing the inclusion of artificial agents in their lives,such as unmanned vehicles,service robots,voice assistants,and intelligent medical care.If the artificial agents cannot align with social values or make ethical decisions,they may not meet the expectations of humans.Traditionally,an ethical decision-making framework is constructed by rule-based or statistical approaches.In this paper,we propose an ethical decision-making framework based on incremental ILP(Inductive Logic Programming),which can overcome the brittleness of rule-based approaches and little interpretability of statistical approaches.As the current incremental ILP makes it difficult to solve conflicts,we propose a novel ethical decision-making framework considering conflicts in this paper,which adopts our proposed incremental ILP system.The framework consists of two processes:the learning process and the deduction process.The first process records bottom clauses with their score functions and learns rules guided by the entailment and the score function.The second process obtains an ethical decision based on the rules.In an ethical scenario about chatbots for teenagers’mental health,we verify that our framework can learn ethical rules and make ethical decisions.Besides,we extract incremental ILP from the framework and compare it with the state-of-the-art ILP systems based on ASP(Answer Set Programming)focusing on conflict resolution.The results of comparisons show that our proposed system can generate better-quality rules than most other systems.

The rise of supercapacitor diodes:Current progresses and future challenges

Supercapacitor has been widely known as a representative electrochemical energy storage device with high power density and long lifespan.Recently,with the deeper understanding of its charge storage mechanism,unidirectional-charging supercapacitor,also called supercapacitor diode(CAPode),is successfully developed based on the ion-sieving effect of its working electrode towards electrolyte ions.Because CAPode integrates mobile ion and mobile electron in one hybrid circuit,it has a great potential in the emerging fields of ion/electron coupling logic operations,human–machine interface,neural network interaction,and in vivo diagnosis and treatment.Accordingly,we herein elucidate the working mechanism and design philosophy of CAPode,and summarize the electrode materials that are suitable for constructing CAPode.Meanwhile,some other supercapacitor-based devices beyond CAPode are also introduced,and their potential applications are instructively presented.Finally,we outline the challenges and chances of CAPode-related techniques.

Spin logic devices based on negative differential resistance -enhanced anomalous Hall effect

Owing to rapid developments in spintronics,spin-based logic devices have emerged as promising tools for next-generation computing technologies.This paper provides a comprehensive review of recent advancements in spin logic devices,particularly focusing on fundamental device concepts rooted in nanomagnets,magnetoresistive random access memory,spin–orbit torques,electric-field modu-lation,and magnetic domain walls.The operation principles of these devices are comprehensively analyzed,and recent progress in spin logic devices based on negative differential resistance-enhanced anomalous Hall effect is summarized.These devices exhibit reconfigur-able logic capabilities and integrate nonvolatile data storage and computing functionalities.For current-driven spin logic devices,negative differential resistance elements are employed to nonlinearly enhance anomalous Hall effect signals from magnetic bits,enabling reconfig-urable Boolean logic operations.Besides,voltage-driven spin logic devices employ another type of negative differential resistance ele-ment to achieve logic functionalities with excellent cascading ability.By cascading several elementary logic gates,the logic circuit of a full adder can be obtained,and the potential of voltage-driven spin logic devices for implementing complex logic functions can be veri-fied.This review contributes to the understanding of the evolving landscape of spin logic devices and underscores the promising pro-spects they offer for the future of emerging computing schemes.