On the Proof of the Contradiction of Set Theory

The article is devoted to proving the inconsistency of set theory arising from the existence of strange trees. All steps of the proof rely on common informal set-theoretic reasoning, but they take into account the prohibitions that were introduced into axiomatic set theories in order to overcome the difficulties encountered by the naive Cantor set theory. Therefore, in fact, the article is about proving the inconsistency of existing axiomatic set theories, in particular, the ZFC theory.

Proof of Concept for a Twin Prime Number Universe Using Set Theory

The Fine Structure Constant (eFSC) Model attempts to give a classical definition to a magical number that underlies much of quantum physics. The Fine Structure Constant (α) value equal to 137.03599206 represents a dimensionless constant that characterizes the strength of the electromagnetic (EM) interaction between subatomic charged particles. Python-generated property counts for the twin prime force F{139/137} show that the adjusted ratio gives a value of α = 137.036. This implies a mathematical framework underlying this constant is based on twin prime numbers and set theory. This study attempts to demonstrate a proof of concept that a hierarchy of fractional twin prime (αII) forces replicates the quantum nature of the universe and is aligned with the Standard Model of Particle Physics. An expanded eFSC Model demonstrates that twin prime forces and their property sets are mathematically viable substitutes for nuclear reactions, as demonstrated for the Beta-minus decay of neutrons into protons. Most significantly, the positive and negative prime numbers define these nuclear reactants and products as positive or negatively charged ions. Furthermore, the eFSC Model provides new insights regarding the hierarchy of EM forces underlying the quantum nature of the universe.

About the Strange Tree Paradox and Possible Inconsistency of Set Theory

The existence of “strange trees” is proven and their paradoxical nature is discussed, due to which set theory is suspected of being contradictory. All proofs rely on informal set-theoretic reasoning, but without using elements that were prohibited in axiomatic set theories in order to overcome the difficulties encountered by Cantor’s naive set theory. Therefore, in fact, the article deals with the possible inconsistency of existing axiomatic set theories, in particular, the ZFC theory. Strange trees appear when uncountable cardinals appear.

Optimized numerical density functional theory calculation of rotationally symmetric jellium model systems

In real space density functional theory calculations,the effective potential depends on the electron density,requiring self-consistent iterations,and numerous integrals at each step,making the process time-consuming.In our research,we propose an optimization method to expedite density functional theory(DFT)calculations for systems with large aspect ratios,such as metallic nanorods,nanowires,or scanning tunneling microscope tips.This method focuses on employing basis set to expand the electron density,Coulomb potential,and exchange-correlation potential.By precomputing integrals and caching redundant results,this expansion streamlines the integration process,significantly accelerating DFT computations.As a case study,we have applied this optimization to metallic nanorod systems of various radii and lengths,obtaining corresponding ground-state electron densities and potentials.

The Application of Goal-Setting Theory in the Second Classroom Teaching Activities of College English

Interest is the precondition and motivation for people's accomplishment.However,due to the exam-oriented system,millions of parents and teachers neglect the interests of children,and our children nearly forget their interests or hobbies.Based on different interests of children,the thesis analyzes how to apply the goal-setting theory in the second classroom teaching activities of College English,using the example of Lushan College of Guangxi University of Technology.

Extracting Decision Rules for Cooperative Team Air Combat Based on Rough Set Theory

In order to reduce redundant features in air combat information and to meet the requirements of real-time decision in combat, rough set theory is introduced to the tactical decision analysis in cooperative team air combat. An algorithm of attribute reduction for extracting key combat information and generating tactical rules from given air combat databases is presented. Then, considering the practical requirements of team combat, a method for reduction of attribute-values under single decision attribute is extended to the reduction under multi-decision attributes. Finally, the algorithm is verified with an example for tactical choices in team air combat. The results show that, the redundant attributes in air combat information can be reduced, and that the main combat attributes, i.e., the information about radar command and medium-range guided missile, can be obtained with the algorithm mentioned above, moreover, the minimal reduced strategy for tactical decision can be generated without losing the result of key information classification. The decision rules extracted agree with the real situation of team air combat.

Automatic web services classification based on rough set theory

With development of web services technology, the number of existing services in the internet is growing day by day. In order to achieve automatic and accurate services classification which can be beneficial for service related tasks, a rough set theory based method for services classification was proposed. First, the services descriptions were preprocessed and represented as vectors. Elicited by the discernibility matrices based attribute reduction in rough set theory and taking into account the characteristic of decision table of services classification, a method based on continuous discernibility matrices was proposed for dimensionality reduction. And finally, services classification was processed automatically. Through the experiment, the proposed method for services classification achieves approving classification result in all five testing categories. The experiment result shows that the proposed method is accurate and could be used in practical web services classification.

Half-global discretization algorithm based on rough set theory

It is being widely studied how to extract knowledge from a decision table based on rough set theory. The novel problem is how to discretize a decision table having continuous attribute. In order to obtain more reasonable discretization results, a discretization algorithm is proposed, which arranges half-global discretization based on the correlational coefficient of each continuous attribute while considering the uniqueness of rough set theory. When choosing heuristic information, stability is combined with rough entropy. In terms of stability, the possibility of classifying objects belonging to certain sub-interval of a given attribute into neighbor sub-intervals is minimized. By doing this, rational discrete intervals can be determined. Rough entropy is employed to decide the optimal cut-points while guaranteeing the consistency of the decision table after discretization. Thought of this algorithm is elaborated through Iris data and then some experiments by comparing outcomes of four discritized datasets are also given, which are calculated by the proposed algorithm and four other typical algorithras for discritization respectively. After that, classification rules are deduced and summarized through rough set based classifiers. Results show that the proposed discretization algorithm is able to generate optimal classification accuracy while minimizing the number of discrete intervals. It displays superiority especially when dealing with a decision table having a large attribute number.

Autonomous Clustering Using Rough Set Theory

This paper proposes a clustering technique that minimizes the need for subjective human intervention and is based on elements of rough set theory （RST）. The proposed algorithm is unified in its approach to clustering and makes use of both local and global data properties to obtain clustering solutions. It handles single-type and mixed attribute data sets with ease. The results from three data sets of single and mixed attribute types are used to illustrate the technique and establish its efficiency.

Research on knowledge acquisition method about the IF/THEN rules based on rough set theory

The basic principles of IF/THEN rules in rough set theory are analyzed first, and then the automatic process of knowledge acquisition is given. The numerical data is qualitatively processed by the classification of membership functions and membership degrees to get the normative decision table. The regular method of relations and the reduction algorithm of attributes are studied. The reduced relations are presented by the multi-representvalue method and its algorithm is offered. The whole knowledge acquisition process has high degree of automation and the extracted knowledge is true and reliable.

New Image Recognition Method Based on Rough-Sets and Fuzzy Theory

A new image recognition method based on fuzzy rough sets theory is proposed, and its implementation discussed. The performance of this method as applied to ferrography image recognition is evaluated. It is shown that the new method gives better results than fuzzy or rough sets method when used alone.

Condition Monitoring and Fault Diagnosis Based on Rough Set Theory

In order to raise the efficiency,automatization and intelligentization of condition monitoring and fault diagnosis for complex equipment systems,rough set theory is used to the field. A feature reduction algorithm based on rough set theory is adopted to extract condition information in monitoring and diagnosis for an engine,so that the technology condition monitoring parameters are optimized. The decision tables for each fault source are built and the diagnosis rules rooting in rough set reduction is applied to carry through intelligent fault diagnosis. The cases studied show that rough set method in condition monitoring and fault diagnosis can lighten the work burden in feature selection and afford advantages for autonomic learning and decision during diagnosis.

AN INTRUSION DETECTION SYSTEM BASED ON EVIDENCE THEORY AND ROUGH SET THEORY

In this paper,we propose a novel Intrusion Detection System (IDS) architecture utilizing both the evidence theory and Rough Set Theory (RST). Evidence theory is an effective tool in dealing with uncertainty question. It relies on the expert knowledge to provide evidences,needing the evidences to be independent,and this make it difficult in application. To solve this problem,a hybrid system of rough sets and evidence theory is proposed. Firstly,simplification are made based on Variable Precision Rough Set (VPRS) conditional entropy. Thus,the Basic Belief Assignment (BBA) for all evidences can be calculated. Secondly,Dempster’s rule of combination is used,and a decision-making is given. In the proposed approach,the difficulties in acquiring the BBAs are solved,the correlativity among the evidences is reduced and the subjectivity of evidences is weakened. An illustrative example in an intrusion detection shows that the two theories combination is feasible and effective.

Seismic vulnerability assessment of urban buildings using the rough set theory and weighted linear combination

Seismic vulnerability assessment of urban buildings is among the most crucial procedures to post-disaster response and recovery of infrastructure systems.The present study proceeds to estimate the seismic vulnerability of urban buildings and proposes a new framework training on the two objectives.First,a comprehensive interpretation of the effective parameters of this phenomenon including physical and human factors is done.Second,the Rough Set theory is used to reduce the integration uncertainties,as there are numerous quantitative and qualitative data.Both objectives were conducted on seven distinct earthquake scenarios with different intensities based on distance from the fault line and the epicenter.The proposed method was implemented by measuring seismic vulnerability for the seven specified seismic scenarios.The final results indicated that among the entire studied buildings,71.5%were highly vulnerable as concerning the highest earthquake scenario(intensity=7 MM and acceleration calculated based on the epicenter),while in the lowest earthquake scenario(intensity=5 MM),the percentage of vulnerable buildings decreased to approximately 57%.Also,the findings proved that the distance from the fault line rather than the earthquake center(epicenter)has a significant effect on the seismic vulnerability of urban buildings.The model was evaluated by comparing the results with the weighted linear combination(WLC)method.The accuracy of the proposed model was substantiated according to evaluation reports.Vulnerability assessment based on the distance from the epicenter and its comparison with the distance from the fault shows significant reliable results.

Evaluation and Analysis of Battery Technologies Applied to Grid-Level Energy Storage Systems Based on Rough Set Theory

Interest in the development of grid-level energy storage systems has increased over the years.As one of the most popular energy storage technologies currently available,batteries offer a number of high-value opportunities due to their rapid responses,flexible installation,and excellent performances.However,because of the complexity,multifunctionality,and wide deployment of power grids,trade-offs in battery performance exist,especially when considering economics,environmental effects,and safety.Therefore,establishing a comprehensive assessment of battery technologies is an urgent undertaking.In this work,we present an analysis of rough sets to evaluate the integration of battery systems(e.g.,lead-acid batteries,lithium-ion batteries,nickel/metal-hydrogen batteries,zinc-air batteries,and Na-S batteries)into a power grid.Specifically,technological properties,economic significance,environmental effects,and safety of these battery systems are evaluated on the basis of rough set theory.In addition,some perspectives are provided to promote the development of battery technologies for grid-level energy storage.

ANALYSIS OF CIRCUIT TOLERANCE BASED ON RANDOM SET THEORY

Monte Carlo Analysis has been an accepted method for circuit tolerance analysis, but the heavy computational complexity has always prevented its applications. Based on random set theory, this paper presents a simple and flexible tolerance analysis method to estimate circuit yield. It is the alternative to Monte Carlo analysis, but reduces the number of calculations dramatically.

Ontology mapping approach based on set & relation theory and OCL

An ontology mapping approach based on set & relation theory and OCL is introduced,then an ontology mapping meta-model is established which is composed of ontology related elements,mapping related elements and definition rule related elements.This ontology mapping meta-model can be regarded as a unified mechanism to realize different kinds of ontology mappings.The powerful computation capability of set and relation theory and the flexible expressive capability of OCL can be used in the computation of ontology mapping meta-model to realize the unified mapping among different ontology models.Based on the mapping meta-model,a general mapping management framework is developed to provide a common mapping storage mechanism,some mapping APIs and mapping rule APIs.

Generalization Rough Set Theory

In order to avoid the discretization in the classical rough set theory, a generlization rough set theory is proposed. At first, the degree of general importance of an attribute and attribute subsets are presented. Then, depending on the degree of general importance of attribute, the space distance can be measured with weighted method. At last, a generalization rough set theory based on the general near neighborhood relation is proposed. The proposed theory partitions the universe into the tolerant modules, and forms lower approximation and upper approximation of the set under general near neighborhood relationship, which avoids the discretization in Pawlak's rough set theory.

Big Data Audit of Banks Based on Fuzzy Set Theory to Evaluate Risk Level

The arrival of big data era has brought new opportunities and challenges to the development of various industries in China.The explosive growth of commercial bank data has brought great pressure on internal audit.The key audit of key products limited to key business areas can no longer meet the needs.It is difficult to find abnormal and exceptional risks only by sampling analysis and static analysis.Exploring the organic integration and business processing methods between big data and bank internal audit,Internal audit work can protect the stable and sustainable development of banks under the new situation.Therefore,based on fuzzy set theory,this paper determines the membership degree of audit data through membership function,and judges the risk level of audit data,and builds a risk level evaluation system.The main features of this paper are as follows.First,it analyzes the necessity of transformation of the bank auditing in the big data environment.The second is to combine the determination of the membership function in the fuzzy set theory with the bank audit analysis,and use the model to calculate the corresponding parameters,thus establishing a risk level assessment system.The third is to propose audit risk assessment recommendations,hoping to help bank audit risk management in the big data environment.There are some shortcomings in this paper.First,the amount of data acquired is not large enough.Second,due to the lack of author’knowledge,there are still some deficiencies in the analysis of audit risk of commercial banks.

A NEW UNSUPERVISED CLASSIFICATION ALGORITHM FOR POLARIMETRIC SAR IMAGES BASED ON FUZZY SET THEORY

In this letter, a new method is proposed for unsupervised classification of terrain types and man-made objects using POLarimetric Synthetic Aperture Radar (POLSAR) data. This technique is a combi-nation of the usage of polarimetric information of SAR images and the unsupervised classification method based on fuzzy set theory. Image quantization and image enhancement are used to preprocess the POLSAR data. Then the polarimetric information and Fuzzy C-Means (FCM) clustering algorithm are used to classify the preprocessed images. The advantages of this algorithm are the automated classification, its high classifica-tion accuracy, fast convergence and high stability. The effectiveness of this algorithm is demonstrated by ex-periments using SIR-C/X-SAR (Spaceborne Imaging Radar-C/X-band Synthetic Aperture Radar) data.