Reliability Analysis of Satellite Turntable System under Multiple Operation Modes Based on Multi-Valued Decision Diagrams

As a payload support system deployed on satellites,the turntable system is often switched among different working modes during the on-orbit operation,which can experience great state changes.In each mode,the missions to be completed are different,consecutive and non-over-lapping,from which the turntable system can be considered to be a phased-mission system(PMS).Reliability analysis for PMS has been widely studied.However,the system mode cycle characteristic has not been taken into account before.In this paper,reliability analysis method of the satellite turntable system is proposed considering its multiple operation modes and mode cycle characteristic.Firstly,the multi-valued decision diagrams(MDD)manipulation rules between two adjacent mission cycles are proposed.On this basis,MDD models for the turntable system in different states are established and the reliability is calculated using the continuous time Markov chains(CTMC)method.Finally,the comparative study is carried out to show the effectiveness of our proposed method.

MULTI-VALUED TOTALLY QUASI-φ-ASYMPTOTICALLY NONEXPANSIVE SEMI-GROUPS AND STRONG CONVERGENCE THEOREMS IN BANACH SPACES

The purpose of this article is first to introduce the concept of multi-valued to- tally Quasi-φ-asymptotically nonexpansive semi-groups, which contains many kinds of semi- groups as its special cases, and then to modify the Halpern-Mann-type iteration algorithm for multi-valued totally Quasi-cS-asymptotically nonexpansive semi-groups to have the strong convergence under a limit condition only in the framework of Banach spaces. The results presented in this article improve and extend the corresponding results announced by many authors recently.

Multi-valued responses and dynamic stability of a nonlinear vibro-impact system with a unilateral non-zero offset barrier

In this paper, multi-valued responses and dynamic properties of a nonlinear vibro-impact system with a unilateral nonzero offset barrier are studied. Based on the Krylov-Bogoliubov averaging method and Zhuravlev non-smooth trans- formation, the frequency response, stability conditions, and the equation of backbone curve are derived. Results show that in some conditions impact system may have two or four steady-state solutions, which are interesting and not mentioned for a vibro-impact system with the existence of frequency island phenomena. Then, the classification of the steady-state solutions is discussed, and it is shown that the nontrivial steady-state solutions may lose stability by saddle node bifurcation and Hopf bifurcation. Furthermore, a criterion for avoiding the jump phenomenon is derived and verified. Lastly, it is found that the distance between the system＇s static equilibrium position and the barrier can lead to jump phenomenon under hardening type of nonlinearity stiffness.

Multi-Valued Neuron with Sigmoid Activation Function for Pattern Classification

Multi-Valued Neuron (MVN) was proposed for pattern classification. It operates with complex-valued inputs, outputs, and weights, and its learning algorithm is based on error-correcting rule. The activation function of MVN is not differentiable. Therefore, we can not apply backpropagation when constructing multilayer structures. In this paper, we propose a new neuron model, MVN-sig, to simulate the mechanism of MVN with differentiable activation function. We expect MVN-sig to achieve higher performance than MVN. We run several classification benchmark datasets to compare the performance of MVN-sig with that of MVN. The experimental results show a good potential to develop a multilayer networks based on MVN-sig.

An Improved Method Based on TODIM and TOPSIS for Multi-Attribute Decision-Making with Multi-Valued Neutrosophic Sets

Due to the complexity of decision-making problems and the subjectivity of decision-makers in practical application,it is necessary to adopt different forms of information expression according to the actual situation of specific decision-making problems and choose the best method to solve them.Multi-valued neutrosophic set,as an extension of neutrosophic set,can more effectively and accurately describe incomplete,uncertain or inconsistent information.TODIM and TOPSIS methods are two commonly used multi-attribute decision-making methods,each of which has its advantages and disadvantages.This paper proposes a new method based on TODIM and TOPSIS to solve multi-attribute decision-making problems under multi-valued neutrosophic environment.After introducing the related theory of multi-valued neutrosophic set and the traditional TODIM and TOPSIS methods,the new method based on a combination of TODIM and TOPSIS methods is described.And then,two illustrative examples proved the feasibility and validity of the proposed method.Finally,the result has been compared with some existing methods under the same examples and the proposed method’s superiority has been proved.This paper studies this kind of decision-making problem from algorithm idea,algorithm steps and decision-making influencing factors.

Fixed Point of a Countable Family of Uniformly Totally Quasi- <i>&Oslash</i>-Asymptotically Nonexpansive Multi-Valued Mappings in Reflexive Banach Spaces with Applications

The purpose of this article is to discuss a modified Halpern-type iteration algorithm for a countable family of uniformly totally quasi- ? -asymptotically nonexpansive multi-valued mappings and establish some strong convergence theorems under certain conditions. We utilize the theorems to study a modified Halpern-type iterative algorithm for a system of equilibrium problems. The results improve and extend the corresponding results of Chang et al. (Applied Mathematics and Computation, 218, 6489-6497).

Importance Analysis of a Multi-state System Based on Direct Partial Logic Derivatives and Multi-valued Decision Diagrams

Importance analysis quantifies the critical degree of individual component. Compared with the traditional binary state system,importance analysis of the multi-state system is more aligned with the practice. Because the multi-valued decision diagram( MDD) can reflect the relationship between the components and the system state bilaterally, it was introduced into the reliability calculation of the multi-state system( MSS). The building method,simplified criteria,and path search and probability algorithm of MSS structure function MDD were given,and the reliability of the system was calculated. The computing methods of importance based on MDD and direct partial logic derivatives( DPLD) were presented. The diesel engine fuel supply system was taken as an example to illustrate the proposed method. The results show that not only the probability of the system in each state can be easily obtained,but also the influence degree of each component and its state on the system reliability can be obtained,which is conducive to the condition monitoring and structure optimization of the system.

The Uniform Convergence Topology On Multi-valued Mapping Space

ＴｈｅＵｎｉｆｏｒｍＣｏｎｖｅｒｇｅｎｃｅＴｏｐｏｌｏｇｙＯｎＭｕｌｔｉ－ｖａｌｕｅｄＭａｐｐｉｎｇＳｐａｃｅ￥ＸＩＮＹｕｍｅｉ；ＸＩＥＨｏｎｇｚｈｅｎｇ（辛玉梅，谢鸿政）（Ｄｅｐｔ．ｏｆＭａｔｈｅｍａｔｉｃｓＨａｒｂｉｎＩｎｓｔｉｔｕｔｅｏｆＴｅｃ...

ALGORITHMS FOR A SYSTEM OF GENERALIZED MIXED EQUILIBRIUM PROBLEMS AND A COUNTABLE FAMILY OF SOME NONLINEAR MULTI-VALUED NONEXPANSIVE-TYPE MAPS

In this paper, relaxed iterative algorithms of Krasnoselskii-type and Halpern-type that approximate a solution of a system of a generalized mixed equilibrium problem anda common fixed point of a countable family of totally quasi-C-asymptotically nonexpansivemulti-valued maps are constructed. Strong convergence of the sequence generated by thesealgorithms is proved in uniformly smooth and strictly convex real Banach spaces with Kadec-Klee property. Furthermore, several applications of our theorems are also presented. Finally,our theorems are significant improvements on several important recent results for this classof nonlinear problems.

Cotangent Similarity Measure of Consistent Neutrosophic Sets and Application to Multiple Attribute Decision-Making Problems in Neutrosophic Multi-Valued Setting

A neutrosophic multi-valued set(NMVS)is a crucial representation for true,false,and indeterminate multivalued information.Then,a consistent single-valued neutrosophic set(CSVNS)can effectively reflect the mean and consistency degree of true,false,and indeterminate multi-valued sequences and solve the operational issues between different multi-valued sequence lengths in NMVS.However,there has been no research on consistent single-valued neutrosophic similarity measures in the existing literature.This paper proposes cotangent similarity measures and weighted cotangent similarity measures between CSVNSs based on cotangent function in the neutrosophic multi-valued setting.The cosine similarity measures showthe cosine of the angle between two vectors projected into amultidimensional space,rather than their distance.The cotangent similaritymeasures in this study can alleviate several shortcomings of cosine similarity measures in vector space to a certain extent.Then,a decisionmaking approach is presented in viewof the established cotangent similarity measures in the case of NMVSs.Finally,the developed decision-making approach is applied to selection problems of potential cars.The proposed approach has obtained two different results,which have the same sort sequence as the compared literature.The decision results prove its validity and effectiveness.Meantime,it also provides a new manner for neutrosophic multi-valued decision-making issues.

COMMON FIXED POINT THEOREMS FOR MULTI-VALUED MAPS

We establish some results on coincidence and common fixed points for a twopair of multi-valued and single-valued maps in complete metric spaces. Presented theorems generalize recent results of Gordji et al [4] and several results existing in the literature.

Common Fixed Point Theorems of Multi-Valued Maps in Ultra Metric Space

We establish some results on coincidence and common fixed point for a two pair of multi-valued and single-valued maps in ultra metric spaces.

On the (<i>r</i>,<i>φ</i>,<i>ψ</i>)-Suzuki Contraction for the Multi-Valued Mappings

In this work we try to give a new contraction type in multi-valued mapping on complete metric spaces. We prove the existence of fixed point for (r,φ,ψ)-Suzuki contraction in such spaces. Around our paper, the function ψ is absolutely continuous, and in this case, the contraction proposed by as has a fixed point.

Design Technique of I^2L Circuits Based on Multi-Valued Logic

This paper proposes the use of the current signal to express logic values and establishes the theory of grounded current switches suitable for I2L circuits.Based on the advantage that current signals are easy to be added, the design technique of I2L circuits by means of the multi-valued current signal is proposed.It is shown that simpler structure of I2L circuits can be obtained with this technique.

CWA Formalizations in Multi-Valued Logics

To enhance the expressive power and the declarative ability of a deductive database, various CWA (Closed World Assumption) formalizations including the naive CWA, the generalized CWA and the careful CWA are extended to multi-valued logics. The basic idea is to embed logic formulas into some polynomial ring. The extensions can be applied in a uniform manner to any finitely multi-valued logics. Therefore they are also of computational significance.

Criteria for the Single-Valued Metric Generalized Inverses of Multi-Valued Linear Operators in Banach Spaces

Let X, Y be Banach spaces and M be a linear subspace in X x Y = {{x,y}lx E X,y C Y}. We may view M as a multi-valued linear operator from X to Y by taking M（x） = {yl（x,y} C M}. In this paper, we give several criteria for a single-valued operator from Y to X to be the metric generalized inverse of the multi-valued linear operator M. The principal tool in this paper is also the generalized orthogonal decomposition theorem in Banach spaces.

Stability of Periodic Orbits and Return Trajectories of Continuous Multi-valued Maps on Intervals

Let I be a compact interval of real axis R, and （L, H） be the metric space of all nonempty closed subintervals of I with the Hausdorff metric H and f ： I →L be a continuous multi-valued map. Assume that Pn = （x0, x1,..., xn） is a return trajectory of f and that p ∈ [min Pn, max Pn] with p ∈ f（p）. In this paper, we show that if there exist k （≥ 1） centripetal point pairs of f （relative to p） in {（xi;xi＋l） ： 0 ≤ i ≤ n- 1} and n =sk＋r （0 ≤ r ≤ k - 1）, then f has an R-periodic orbit, where R=s＋1 ifsiseven, and R =s if s is odd and r = 0, and R=s＋2 if s is odd and r 〉0. Besides, we also study stability of periodic orbits of continuous multi-valued maps from I to L.

Multi-Valued Solution and Level Set Methods in Computational High FrequencyWave Propagation

We review the level set methods for computing multi-valued solutions to a class of nonlinear first order partial differential equations,including Hamilton-Jacobi equations,quasi-linear hyperbolic equations,and conservative transport equations with multi-valued transport speeds.The multivalued solutions are embedded as the zeros of a set of scalar functions that solve the initial value problems of a time dependent partial differential equation in an augmented space.We discuss the essential ideas behind the techniques,the coupling of these techniques to the projection of the interaction of zero level sets and a collection of applications including the computation of the semiclassical limit for Schr¨odinger equations and the high frequency geometrical optics limits of linear wave equations.

Spectral representation of correspondence of multi-valued logical functions

In cryptology, it is an important topic to study the best affine approach of functions. The best affine approach of Boolean functions has been discussed in ref. [1] by using the Walsh spectrum, of which the key problem is how to represent the correspondence of Boolean functions by using Walsh spectrum. For the multi-valued logical functions so far, the spectral representation of their correspondence has not been presented yet. This let-

Fast Skyline Community Search in Multi-Valued Networks

Community search has been extensively studied in large networks,such as Protein-Protein Interaction(PPI)networks,citation graphs,and collaboration networks.However,in terms of widely existing multi-valued networks,where each node has d(d 1)numerical attributes,almost all existing algorithms either completely ignore the attributes of node at all or only consider one attribute.To solve this problem,the concept of skyline community was presented,based on the concepts of k-core and skyline recently.The skyline community is defined as a maximal k-core that satisfies some influence constraints,which is very useful in depicting the communities that are not dominated by other communities in multi-valued networks.However,the algorithms proposed on skyline community search can only work in the special case that the nodes have different values on each attribute,and the computation complexity degrades exponentially as the number of attributes increases.In this work,we turn our attention to the general scenario where multiple nodes may have the same attribute value.Specifically,we first present an algorithm,called MICS,which can find all skyline communities in a multi-valued network.To improve computation efficiency,we then propose a dimension reduction based algorithm,called P-MICS,using the maximum entropy method.Our algorithm can significantly reduce the skyline community searching time,while is still able to find almost all cohesive skyline communities.Extensive experiments on real-world datasets demonstrate the efficiency and effectiveness of our algorithms.