3D Fractals, Axiom of Algebra (Δn)n = +1

After having laid down the Axiom of Algebra, bringing the creation of the square root of -1 by Euler to the entire circle and thus authorizing a simple notation of the nth roots of unity, the author uses it to organize homogeneous divisions of the limited development of the exponential function, that is opening the way to the use of a whole bunch of new primary functions in Differential Calculus. He then shows how new supercomplex products in dimension 3 make it possible to calculate fractals whose connexity depends on the product considered. We recall the geometry of convex polygons and regular polygons.

The Evaluation of Risk-Based Resource Allocation Alternatives Based on Fuzzy Information Axiom

This paper presents an analysis of the challenges in risk-based resource allocation in engineering projects.Sub-sequently,an alternative resource allocation evaluation method based on language information and information axioms is proposed.Firstly,the evaluation team uses language information to give the evaluation information of the alternatives of risk resource allocation and provides the corresponding expected information for each resource.Secondly,according to the transformation formula of language information and fuzzy numbers,the above information is transformed into the evaluation information and expected information of the alternatives of risk-based resource allocation.Thirdly,according to the transformation formula of language information and fuzzy numbers,the above information is transformed into evalu-ation information and expectation information of alternative risk resource allocation.Finally,according to the information amount of each risk resource and the corresponding weight,the comprehensive information amount of the expected risk-based resource allocation alternatives is determined.

Separation axioms in topological ordered spaces

The Ti-axiom,the Ti-ordered axiom and Ti-pairwise axiom(i = 0,1,2,3,4) of topological ordered space are discussed and proved that they are equivalence under the certain conditions.

西门子AXIOM Artis数字减影X线机在肾外伤DSA中摄影参数的探讨

目的:探讨西门子AXIOMArtis数字减影X线机摄影参数(采集参数、血管造影技术参数)在肾外伤DSA中的选择。方法:选择5例肾外伤患者在常规消毒、铺巾、穿刺、插管下,分别行腹主动脉DSA检查和超选择性肾动脉DSA检查。结果:选择适当的数字减影X线机摄影参数行DSA造影检查,准确显示了肾外伤部位、程度、出血灶及其相邻血管的关系。结论:数字减影X线机摄影参数在肾外伤DSA中的正确选择,对肾外伤性肾内动脉的影像显示、肾外伤的诊疗及患者的安全性,具有重要意义。

Generalized covariant differentiation and axiom-based tensor analysis

This paper reports the new progresses in the axiomatization of tensor anal- ysis, including the thought of axiomatization, the concept of generalized components, the axiom of covariant form invariability, the axiomatized definition, the algebraic structure, the transformation group, and the simple calculation of generalized covariant differentia- tions. These progresses strengthen the tendency of the axiomatization of tensor analysis.

On an Axiomatic Foundation for a Theory of Everything

Whether a unified theory of everything(TOE)is possible or not is a philosophical question and yes or no can be chosen in a two-valued logic system.Currently the two schools are in conflict with each other.Based on the relativity of simultaneity axiom proposed in this paper,the present author suggests to use a midway philosophy to replace the present materialist philosophy for modern sciences;then this conflict together with many other conflicts among different theories such as classical mechanics(CM),general relativity(GR),and quantum mechanics(QM)can be solved and a unified theory of everything for the world we can observe can be constructed.In this paper,the axiomatic foundation for a TOE is proposed which contains six fundamental axioms.Various problems related to these foundational issues are discussed.It is hoped that the present paper might show a new promise and a new direction for TOE which would be helpful for the further development of modern sciences.

A MULTIDIMENSIONAL CENTRAL LIMIT THEOREM WITH SPEED OF CONVERGENCE FOR AXIOM A DIFFEOMORPHISMS

Let T：X → X be an Axiom A diffeomorphism,m the Gibbs state for a Hlder continuous function ɡ. Assume that f：X → R^d is a Hlder continuous function with ∫_X^（fdm） = 0.If the components of f are cohomologously independent, then there exists a positive definite symmetric matrix σ~2：=σ~2 （f ） such that S^fn √ n converges in distribution with respect to m to a Gaussian random variable with expectation 0 and covariance matrix σ~2 . Moreover, there exists a real number A 〉 0 such that, for any integer n ≥ 1,Π（ m＊（ 1√ nS f n ）,N （0,σ~2 ） ≤A√n, where m＊（1√ n S^fn）denotes the distribution of 1√ n S^fn with respect to m, and Π is the Prokhorov metric.

A New Minimal Rough Set Axiom Group

Rough set axiomatization is one aspect of rough set study, and the purpose is to characterize rough set theory using independable and minimal axiom groups. Thus, rough set theory can be studied by logic and axiom system methods. To characterize rough set theory, an axiom group named H consisting of 4 axioms, is proposed. That validity of the axiom group in characterizing rough set theory is reasonable, is proved. Simultaneously, the minimization of the axiom group, which requires that each axiom is an inequality and each is independent, is proved. The axiom group is helpful for researching rough set theory by logic and axiom system methods. Key words rough set - lower approximation - axioms - minimization CLC number TP 18 Foundation item: Supported by the 973 National Basic Research Program of China (2002CB312106) and Science & Technology Program of Zhejiang Province (2004C31G101003)Biography: DAI Jian-hua (1977-), male, Ph. D, research direction: data mining, artificial intelligence, rough sets, evolutionary computation.

Stability of Hausdorff dimension of Axiom A attractors under random perturbations

This paper proves that the Hausdorff dimension of an Axiom A attractor is stable under random perturbations.

On Axiom A + no-cycles

In this paper, we give another description of Axiom A plus no cycles condition.

Axiom Cosmology: A New Direction

In this work we have to deal with the axiomatization of cosmology, but it is only recently that we have hit upon a new mathematical approach to capitalize on our new set identities for the basic laws of cosmology. So our proposal of settlement is that we will propose some new laws (e.g., formation of the black hole). We introduce the concept of axiom cosmology. This principle describes the cosmology which can get freedom from the notion of the induction. We present a large-scale structure model of the universe, and this leads to successfully explanation of problem of closed universe or open universe (because from the outset it is theorem and its succinct proof). In this paper we prove that the non-singular point theorem means that a singularity cannot be mathematically defined nor physical. It allows us to overcome the mysterious, physical singularity conundrum and explain meaningful antimatter annihilations for general configurations.

The Physical Laws and Mathematical Axioms of the Brain’s OS and the Traditional Fundamental Laws of Thought of Logic and Philosophy

This article presents four (4) additions to a book on the brain’s OS published by SciRP in 2015 [1]. It is a kind of appendix to the book. Some familiarity with the earlier book is presupposed. The book itself proposes a complete physical and mathematical blueprint of the brain’s OS. A first addition to the book (see Chapters 5 to 10 below) concerns the relation between the afore-mentioned blueprint and the more than 2000-year-old so-called fundamental laws of thought of logic and philosophy, which came to be viewed as being three (3) in number, namely the laws of 1) Identity, 2) Contradiction, and 3) the Excluded Middle. The blueprint and the laws cannot both be the final foundation of the brain’s OS. The design of the present paper is to interpret the laws in strictly mathematical terms in light of the blueprint. This addition constitutes the bulk of the present article. Chapters 5 to 8 set the stage. Chapters 9 and 10 present a detailed mathematical analysis of the laws. A second addition to the book (Chapter 11) concerns the distinction between the laws and the axioms of the brain’s OS. Laws are part of physics. Axioms are part of mathematics. Since the theory of the brain’s OS involves both physics and mathematics, it exhibits both laws and axioms. A third addition (Chapter 12) to the book involves an additional flavor of digitality in the brain’s OS. In the book, there are five (5). But brain chemistry requires a sixth. It will be called Existence Digitality. A fourth addition (Chapter 13) concerns reflections on the role of imagination in theories of physics in light of the ignorance of deeper causes. Chapters 1 to 4 present preliminary matter, for the most part a brief survey of general concepts derived from what is in the book [1]. Some historical notes are gathered at the end in Chapter 14.

西门子AXIOM Aristo MX双板DR故障应急维修一例

西门子AXIOM Aristo MX双板DR,在使用过程中机器的扫描速度快、图像清晰,比较受科室的青睐[1]。DR属于精密度、集成度较高的设备,是临床诊断疾病的常用工具[2]。其在我院承担了大量的影像拍片工作,一旦停机,会严重影响放射科和临床科室正常工作,因此要求医院医学工程科掌握一些应急的故障解决办法,以防突发情况。本研究介绍1例DR故障的应急维修,供同行参考。

SIEMENS AXIOM Aristos VX Plus DR故障维修四例

SIEMENS AXIOM Aristos VX Plus DR是一种临床使用较为广泛的数字化X线摄影设备,也是采用Trixell Pixium4600平板探测器采集图像的通用胸片和四肢摄像系统,尤其适合于对立位与坐位患者实施检查[1-3]。在体检科,该设备多用于数字化胸片和骨骼摄影中,有效地提高了患者的流通量。

Pre—Separation Axioms in Fuzzifying Topology

In the present paper we introduce and study pre-T0-,pre-R0-,pre-R1-,pre-T2(pre-Hausdorff)-,pre-T3(pre-regularity)-,pre-T4(pre-normality)-,pre-strong T3- and pre-strong T4-separation axioms in fuzzifying topology and give some of their characterisations as well as the relations of these axioms and other separation axioms in fuzzifying topology introduced by Shen[7].

A minimal axiom group for rough set based on quasi-ordering

Rough set axiomatization is one aspect of rough set study to characterize rough set theory using dependable and minimal axiom groups. Thus, rough set theory can be studied by logic and axiom system methods. The classic rough set theory is based on equivalent relation, but rough set theory based on reflexive and transitive relation (called quasi-ordering) has wide applications in the real world. To characterize topological rough set theory, an axiom group named RT, consisting of 4 axioms, is proposed. It is proved that the axiom group reliability in characterizing rough set theory based on similar relation is reasonable. Simultaneously, the minimization of the axiom group, which requires that each axiom is an equation and each is independent, is proved. The axiom group is helpful for researching rough set theory by logic and axiom system methods.

An Equivalent Form of the Dedekind Axiomand Its Application(Ⅰ)——Also on theunity ofthe ContinuousInduction,theMathem aticalInduction and theTransfiniteInduction

In this paper,a converse and negated form of the continuous induction is indicated. We use it to prove six basic theorems of completeness of real numbers system,the existence theorem of limes superiores and limes inferiores of seqence and the properties of continuous function in closed interval by mode of unification.

An Equivalent Form of the Dedekind Axiomand Its Application(Ⅱ)——Also on the unity of the Continuous Induction,the Mathem atical Induction and the Transfinite Induction

In this paper,a common characteristic of real number system and well ordered set is revealed and proved to be an equivalent form of the Dedekind Axiom or the Continuous Induction in R. Basing on it,we get the unified form of the mathematical induction,the transfinite induction and the continuous induction and generalize induction to totally ordered set that has the same characteristic.

Lightweight axiom pinpointing via replicated driver and customized SAT-solving

In description logic,axiom pinpointing is used to explore defects in ontologies and identify hidden justifications for a logical consequence.In recent years,SAT-based axiom pinpointing techniques,which rely on the enumeration of minimal unsatisfiable subsets(MUSes)of pinpointing formulas,have gained increasing attention.Compared with traditional Tableau-based reasoning approaches,SAT-based techniques are more competitive when computing justifications for consequences in large-scale lightweight description logic ontologies.In this article,we propose a novel enumeration justification algorithm,working with a replicated driver.The replicated driver discovers new justifications from the explored justifications through cheap literals resolution,which avoids frequent calls of SAT solver.Moreover,when the use of SAT solver is inevitable,we adjust the strategies and heuristic parameters of the built-in SAT solver of axiom pinpointing algorithm.The adjusted SAT solver is able to improve the checking efficiency of unexplored sub-formulas.Our proposed method is implemented as a tool named RDMinA.The experimental results show that RDMinA outperforms the existing axiom pinpointing tools on practical biomedical ontologies such as Gene,Galen,NCI and Snomed-CT.

THE BOOLEAN-VALUED MODEL OF THE AXIOM SYSTEM OF GB

Scott formulated his version of Boolean-valued models in 1967, He proved that the V（B） is a Boolean-valued model of ZFC, i. e. every axiom of ZFC has Boolean value 1, and assumed the GCH. Then, if B satisfies ccc and |B|=2No, V（B） GCH （see [1]）. In this note we construct the model △（B） on the basis of V（B）. Our main results are:（1）△（B）) is a Booleanvalued model of GB. （2） Assume the GCH. Then, if B satisfies ccc and |B|=2No, △（B） GCH. （3） The maximum and minimum principle is true in △（B）. （4） △（B）（B≠{0, 1}） is a Boolean-valued model of QM.