Survivability is used to evaluate the ability of the satellite to complete the mission after failure,while the duration of maintaining performance is often ignored.An effective backup strategy can restore the constell...Survivability is used to evaluate the ability of the satellite to complete the mission after failure,while the duration of maintaining performance is often ignored.An effective backup strategy can restore the constellation performance timely,and maintain good network communication performance in case of satellite failure.From the perspective of network utility,the low Earth orbit(LEO)satellite constellation survivable graphical eva-luation and review technology(GERT)network with backup satel-lites is constructed.A network utility transfer function algorithm based on moment generating function and Mason formula is proposed,the network survivability evaluation models of on-orbit backup strategy and ground backup strategy are established.The survivable GERT model can deduce the expected mainte-nance time of LEO satellite constellation under different fault states and the network utility generated during the state mainte-nance period.The case analysis shows that the proposed surviv-able GERT model can consider the satellite failure rate,backup satellite replacement rate,maneuver control replacement ability and life requirement,and effectively determine the optimal sur-vivable backup strategy for LEO satellite constellation with limi-ted resources according to the expected network utility.展开更多
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 classi...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.展开更多
基金This work was supported by the National Natural Science Foundation of China(72271124,52232014,72071111,71801127,71671091).
文摘Survivability is used to evaluate the ability of the satellite to complete the mission after failure,while the duration of maintaining performance is often ignored.An effective backup strategy can restore the constellation performance timely,and maintain good network communication performance in case of satellite failure.From the perspective of network utility,the low Earth orbit(LEO)satellite constellation survivable graphical eva-luation and review technology(GERT)network with backup satel-lites is constructed.A network utility transfer function algorithm based on moment generating function and Mason formula is proposed,the network survivability evaluation models of on-orbit backup strategy and ground backup strategy are established.The survivable GERT model can deduce the expected mainte-nance time of LEO satellite constellation under different fault states and the network utility generated during the state mainte-nance period.The case analysis shows that the proposed surviv-able GERT model can consider the satellite failure rate,backup satellite replacement rate,maneuver control replacement ability and life requirement,and effectively determine the optimal sur-vivable backup strategy for LEO satellite constellation with limi-ted resources according to the expected network utility.
文摘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.
