CN108599834B - Method and system for analyzing utilization rate of satellite communication network link - Google Patents
Method and system for analyzing utilization rate of satellite communication network link Download PDFInfo
- Publication number
- CN108599834B CN108599834B CN201810187502.8A CN201810187502A CN108599834B CN 108599834 B CN108599834 B CN 108599834B CN 201810187502 A CN201810187502 A CN 201810187502A CN 108599834 B CN108599834 B CN 108599834B
- Authority
- CN
- China
- Prior art keywords
- communication network
- satellite communication
- link
- transition
- library
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Images
Classifications
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04B—TRANSMISSION
- H04B7/00—Radio transmission systems, i.e. using radiation field
- H04B7/14—Relay systems
- H04B7/15—Active relay systems
- H04B7/185—Space-based or airborne stations; Stations for satellite systems
- H04B7/1851—Systems using a satellite or space-based relay
- H04B7/18519—Operations control, administration or maintenance
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L41/00—Arrangements for maintenance, administration or management of data switching networks, e.g. of packet switching networks
- H04L41/14—Network analysis or design
- H04L41/145—Network analysis or design involving simulating, designing, planning or modelling of a network
Landscapes
- Engineering & Computer Science (AREA)
- Computer Networks & Wireless Communication (AREA)
- Signal Processing (AREA)
- Physics & Mathematics (AREA)
- Astronomy & Astrophysics (AREA)
- Aviation & Aerospace Engineering (AREA)
- General Physics & Mathematics (AREA)
- Radio Relay Systems (AREA)
- Monitoring And Testing Of Transmission In General (AREA)
Abstract
The invention discloses a satellite communication network link utilization rate analysis method and a system, wherein a satellite communication network model needing link utilization rate analysis is determined, a stochastic coloring Petri network model corresponding to the satellite communication network is established, the types of tokens are defined in the stochastic coloring Petri network model to indicate the flow direction of data, the flow directions of different types of tokens are limited in transition, parameters related to the satellite communication network are obtained finally, and the satellite communication network link utilization rate is calculated according to the established stochastic coloring Petri network model.
Description
Technical Field
The invention relates to the technical field of aerospace communication and computers, in particular to a satellite communication network link utilization rate analysis method and system based on a stochastic coloring Petri network.
Background
The modeling of the satellite communication network is complicated due to uncertain factors such as inherent mobility, node variability, parameter variability and the like of the satellite communication network. The modeling is carried out by using general knowledge of graph theory, the characteristics of the model are difficult to reflect, and the satellite network cannot be clearly described. At present, the performance evaluation of satellite networks at home and abroad mainly adopts queuing theory and Markov process. However, the queuing model cannot characterize the parallelism and asynchronization of information services in the satellite network, and therefore cannot accurately analyze the utilization rate of the satellite communication network link.
Disclosure of Invention
The invention aims to solve the technical problem that a random coloring Petri network-based satellite communication network link utilization rate analysis method and system are provided aiming at the defect that a queuing model in the prior art cannot depict the characteristics of parallelism, asynchronization and the like of information services in a satellite network, so that the satellite communication network link utilization rate cannot be accurately analyzed.
According to one aspect of the present invention, the technical solution adopted by the present invention to solve the technical problem is: a method for analyzing the utilization rate of a satellite communication network link is constructed, and comprises the following steps:
s1, determining a satellite communication network model needing link utilization rate analysis;
s2, establishing a stochastic coloring Petri net model corresponding to the satellite communication network; defining the types of the tokens in a stochastic coloring Petri network model to indicate the flow direction of data, and limiting the flow directions of the tokens of different types in transition;
s3, obtaining parameters related in the satellite communication network, and calculating the utilization rate of the satellite communication network link according to the established stochastic coloring Petri network model, wherein the calculation formula is as follows:
link bandwidth utilization is 1- (average number of toskens in the bandwidth pool)/(total number of toskens in the bandwidth pool);
wherein the average number of tokens in the library is the average number of tokens in the library in a system steady state.
Further, in the method for analyzing the link utilization rate of the satellite communication network of the present invention, the satellite communication network model in step S1 includes the following information: which nodes are in the satellite communication network, which nodes are communicable with each other, and which nodes have link utilization to analyze.
Further, in the method for analyzing the link utilization of the satellite communication network of the present invention, the parameters involved in step S3 include the following parameters: data volume to be transmitted, transmission delay among nodes and link bandwidth in the satellite communication network.
Further, in the method for analyzing the link utilization rate of the satellite communication network, the average number of the toskens in the library in the system stable state is solved according to a method based on monte carlo simulation, and the method is specifically solved through the following steps:
a1, acquiring simulation times N and simulation rounds C, and initializing a variable N and a variable r;
a2, judging whether the variable r is larger than the simulation round number C, if so, calculating the average value of the Token number of the simulation of the round C, and if not, executing the step A3;
a3, determining the transition which can be implemented according to the current identification, and sampling the delay time of the transition;
a4, selecting the transition with the shortest delay time from the samples, implementing the transition and determining the latest identification;
a5, recording the accumulated Token number delay time in the library and the accumulated transition implementation delay time, and updating n to n + 1;
a6, judging whether the variable N is larger than the simulation times N, if so, executing a step A7, otherwise, executing a step A3;
a7, calculating the average Token number of the current round: and accumulating the Token times/accumulated time delay in the library, initializing the system identifier and the recording parameters thereof, updating r to r +1, and returning to the step A2.
Further, in the method for analyzing the utilization rate of the satellite communication network link, the stochastic coloring Petri network model is a full-duplex model.
According to another aspect of the present invention, to solve the technical problem, the present invention further provides a system for analyzing a link utilization rate of a satellite communication network, comprising:
the satellite communication network model determining module is used for determining a satellite communication network model which needs to be subjected to link utilization rate analysis;
the SCPN model building module is used for building a random coloring Petri network model corresponding to the satellite communication network; defining the types of the tokens in a stochastic coloring Petri network model to indicate the flow direction of data, and limiting the flow directions of the tokens of different types in transition;
the link utilization rate analysis module is used for acquiring parameters related in the satellite communication network and calculating the link utilization rate of the satellite communication network according to the established stochastic coloring Petri network model, and the calculation formula is as follows:
link bandwidth utilization is 1- (average number of toskens in the bandwidth pool)/(total number of toskens in the bandwidth pool);
wherein the average number of tokens in the library is the average number of tokens in the library in a system steady state.
Further, in the system for analyzing link utilization of a satellite communication network of the present invention, the satellite communication network model in the satellite communication network model determination module includes the following information: which nodes are in the satellite communication network, which nodes are communicable with each other, and which nodes have link utilization to analyze.
Further, in the system for analyzing link utilization of a satellite communication network of the present invention, the parameters involved in the link utilization analyzing module include the following parameters: data volume to be transmitted, transmission delay among nodes and link bandwidth in the satellite communication network.
Further, in the system for analyzing the link utilization rate of the satellite communication network of the present invention, the average number of the toskens in the library in the system stable state is solved according to a method based on monte carlo simulation, and specifically, the average number of the toskens in the library is solved through the following modules:
the parameter acquisition module is used for acquiring simulation times N and simulation rounds C and initializing variables N and variables;
the first judgment module is used for judging whether the variable r is larger than the simulation round number C or not, if so, the average value of the average Turken number of the simulation of the round C is solved, and if not, the first processing module is called;
the first processing module is used for determining the executable transition according to the current identifier, sampling the transition delay time and then calling the second processing module;
the second processing module is used for selecting the transition with the shortest delay time from the samples, implementing the transition, determining the latest identification and calling the third processing module;
the third processing module is used for recording the accumulated time delay of the Token number in the library and the accumulated time delay of implementing transition, updating n to n +1 and calling the second judging module;
the second judgment module is used for judging whether the variable N is larger than the simulation times N, if so, the fourth processing module is called, and otherwise, the first processing module is called;
the fourth processing module is used for calculating the average Thanksgiving number of the current round: and accumulating the Token number delay time/accumulated delay time in the library, initializing a system identifier and a recording parameter thereof, updating r to r +1, and calling a first judgment module.
Further, in the system for analyzing the link utilization rate of the satellite communication network, the stochastic coloring Petri net model is a full-duplex model.
The method and the system for analyzing the utilization rate of the satellite communication network link can characterize the parallelism, the asynchronism and the like of information services in the satellite network, so that the utilization rate of the satellite communication network link can be accurately analyzed.
Drawings
The invention will be further described with reference to the accompanying drawings and examples, in which:
FIG. 1 is a flow chart of one embodiment of a method for analyzing link utilization in a satellite communication network of the present invention;
FIG. 2 is a diagram of an SCPN model;
FIG. 3 is a flowchart of solving the average Token number index of the library in a steady state based on the Monte Carlo simulation method of the present invention.
Detailed Description
For a more clear understanding of the technical features, objects and effects of the present invention, embodiments of the present invention will now be described in detail with reference to the accompanying drawings.
Brief introduction to Petri Net
The Petri net was first proposed by the German scholars Carl Adam Petri in 1962 in his doctor's paper "Communication with Automata", when he memorialized a parallel system with causal relationships. With the continuous development of the Petri network theory, the Petri network is widely applied to the fields of performance analysis, communication protocols, production systems and the like, and the Petri network becomes a powerful tool for describing and researching systems with the characteristics of asynchronization, concurrency, distribution, concurrency and non-determinacy. Stochastic Petri nets are developed by introducing the notion of time into basic Petri nets with the goal of integrating formal description, correctness verification and performance analysis.
A Petri net may be defined as a six-tuple of N ═ s (P, T, F, K, W, M0) Wherein:
P＝{P1,P2,…,Pmthe database is collected and represents resources or states;
T＝{t1,t2,…,tnthe } is a transition set and represents an event;
K:P→Z+∪ { ∞ } is the capacity (Z) of the library+Is a positive integer set);
W:F→Z+is a weight function of the directed arc;
M0and the system is in an initial state for initial identification.
The marks (Token) are positioned in the libraries, the distribution of the marks in all the libraries is called marks, the marks are used for representing the state of the system, the transition nodes can be implemented according to enabling rules, and the implemented transitions change the distribution of the marks in the library nodes according to the implementation rules, so that the dynamic behavior evolution of the system is described.
The Stochastic Petri Network (SPN) adds a delay attribute to the transition on the basis of the ordinary Petri network, namely, the transition t becomes implementable from the moment to the moment when the transition t is implemented is regarded as a continuous random variable and obeys a distribution function:
Ft(x)＝P{xt<x}
the distribution function for each transition is generally defined as an exponential distribution function:
wherein the parameter lambdat(λt>0) Is the average rate of occurrence of the transition t.
The random coloring Petri net (SCPN) adds a color attribute to the Token on the basis of the SPN (namely the Token is no longer of the same type and represents different types of resources), and also adds an attribute which can contain the Token type to the library, and adds a Token type attribute which can flow through the library when the Token type changes. The method mainly aims to increase the description capacity of the Petri net model and better depict some complex systems.
2. Satellite communication network link utilization rate analysis method based on stochastic coloring Petri network
The link utilization rate is the percentage of the effective working time of the satellite network link bandwidth in the whole working time, is a dynamic measurement of the use frequency of network resources, and is also a key parameter for measuring the cost performance of the network. Under the condition of different total transmission data, the utilization rate of the link bandwidth of the whole network is analyzed, so that the bottleneck in the network can be known, and a certain guidance suggestion is provided for the optimal scheme design of the inter-satellite link of the satellite communication network.
Referring to fig. 1, the steps of the analysis method proposed in this embodiment are as follows:
s1, determining satellite communication network model
First, a satellite communication network model that needs to be analyzed for link utilization is determined, for example: which nodes are in the satellite communication network, which nodes can communicate with each other, and which links between the nodes need to be analyzed;
s2, establishing SCPN model corresponding to satellite communication network
Establishing a Stochastic Coloring Petri Net (SCPN) model corresponding to the satellite communication network, for example: with some simplification of the satellite communication network, the following Petri net model can be established for a basic satellite network communication link "ground station 1-satellite 2-ground station 2" in the LEO satellite constellation:
an SCPN-based LEO satellite communication network model is established in the full-duplex model in the figure 2, and the problem that the original flow direction of data cannot be distinguished when the data reaches the satellite 1 or the satellite 2 and the data possibly returns to a ground station for sending the data before reaching another ground station exists in the SPN model is solved.
The P _ G1 and the P _ G2 of the libraries respectively represent a ground station 1 and a ground station 2, and the Token in the P _ G1 and the P _ G2 of the libraries represents the data volume needing to be transmitted; the library position P _ GS1 represents the link bandwidth between the ground station 1 and the satellite 1, the library position P _ GS2 represents the link bandwidth between the ground station 2 and the satellite 2, the P _ STS represents the link bandwidth between the satellite 1 and the satellite 2, and the Token in the library positions P _ GS1, PGS _2 and P _ STS represents the size of the bandwidth; the libraries P _ SAT1 and P _ SAT2 represent satellite 1 and satellite 2, respectively; repository P _ UT1 represents the ground station 1-satellite 1 link; repository P _ T1 represents a satellite 1-satellite 2 link; repository P _ DT2 represents the satellite 2-ground station 2 link; repository P _ UT2 represents the ground station 2-satellite 2 link; repository P _ T2 represents a satellite 2-satellite 1 link; repository P _ DT1 represents the satellite 1-ground station 1 link; t _ G1UT1 represents the entry of data from ground station 1 into the ground station 1-satellite 1 link; t _ UT1S1 represents the entry of data from the link into satellite 1; t _ S1T1 represents the entry of data from satellite 1 into the satellite 1-satellite 2 link; t _ T1S2 indicates that data is coming from the link into satellite 2; t _ S2DT2 represents the entry of data from satellite 2 into the satellite 2-ground station 2 link; t _ D2G2 represents the entry of data from the link into ground station 2; t _ G1UT2 represents the entry of data from ground station 2 into the ground station 2-satellite 2 link; t _ UT2S2 represents the entry of data from the link into satellite 2; t _ S2T2 represents the entry of data from satellite 2 into the satellite 2-satellite 1 link; t _ T2S1 indicates that data is coming from the link into satellite 1; t _ S1DT1 represents the entry of data from satellite 1 into the satellite 1-ground station 1 link; t _ D1G1 indicates that data is coming from the link into ground station 1.
S3 method for calculating utilization rate of satellite communication network link
According to the SCPN model established above, parameters related in the satellite communication network are given, that is, parameters such as data volume to be transmitted, transmission delay among nodes, link bandwidth and the like in the satellite communication network are given, and the calculation method of the link utilization rate of the satellite communication network is as follows:
link bandwidth utilization 1- (average number of bandwidth pool toskens)/(total number of bandwidth pool toskens)
The average number of tokens in the library is the average number of tokens in the library in a system steady state.
The main work here is to solve the average tobken number of the bandwidth library in the stable state, and since the tobken in the SCPN model has "color" and a custom implementation condition possibly existing in the transition, it is very complicated to analyze the average tobken number index of the library by using a mathematical analysis method, so this embodiment adopts a method based on monte carlo simulation to solve the average tobken number index of the library in the stable state, and referring to fig. 3, the specific flow is as follows:
a1, acquiring simulation times N and simulation rounds C, and initializing a variable N and a variable r;
a2, judging whether the variable r is larger than the simulation round number C, if so, calculating the average value of the Token number of the simulation of the round C, and if not, executing the step A3;
a3, determining the transition which can be implemented according to the current identification, and sampling the delay time of the transition;
a4, selecting the transition with the shortest delay time from the samples, implementing the transition and determining the latest identification;
a5, recording the accumulated Token number delay time in the library and the accumulated transition implementation delay time, and updating n to n + 1;
a6, judging whether the variable N is larger than the simulation times N, if so, executing a step A7, otherwise, executing a step A3;
a7, calculating the average Token number of the current round: and accumulating the Token times/accumulated time delay in the library, initializing the system identifier and the recording parameters thereof, updating r to r +1, and returning to the step A2.
When the set simulation times N are large enough, the system is in a stable state after the implementation of the transition of N steps, the average trust number of the library is calculated by a statistical method, and the average trust number of the C round is taken under the condition that the simulation round number C is larger, so that a more accurate calculation result can be obtained, and thus, the average trust number of the bandwidth library in the SCPN model can be calculated, and the bandwidth utilization rate of a satellite communication network link is calculated.
3. Experimental conditions
All the transition average delays in the experiment are set to be 1, the corresponding link bandwidth utilization rate change condition is mainly analyzed by changing the bandwidth of the link, and the specific experimental data are as follows:
TABLE 1 relationship between data volume and bandwidth utilization for ground stations
According to experimental data, under the condition of the same bandwidth, the bandwidth utilization rate is gradually increased and the increase amplitude is gradually reduced as the data of the ground station P0 is more.
TABLE 2 Bandwidth to Bandwidth utilization relationship between ground station 1 and satellite 1
TABLE 3 Bandwidth to Bandwidth utilization relationship between ground station 2 and satellite 2
TABLE 4 Bandwidth to Bandwidth utilization relationship between satellite 1-satellite 2
According to the experimental results, it can be known that, under the condition that the data volume required to be transmitted by the ground station is the same, the bandwidth of a certain link is independently increased, only the utilization rate of the current bandwidth is reduced, and the influence on the utilization rates of other bandwidths is small.
While the present invention has been described with reference to the embodiments shown in the drawings, the present invention is not limited to the embodiments, which are illustrative and not restrictive, and it will be apparent to those skilled in the art that various changes and modifications can be made therein without departing from the spirit and scope of the invention as defined in the appended claims.
Claims (8)
1. A method for analyzing the utilization rate of a satellite communication network link is characterized by comprising the following steps:
s1, determining a satellite communication network model needing link utilization rate analysis;
s2, establishing a stochastic coloring Petri net model corresponding to the satellite communication network; defining the types of the tokens in a stochastic coloring Petri network model to indicate the flow direction of data, and limiting the flow directions of the tokens of different types in transition;
s3, obtaining parameters related in the satellite communication network, and calculating the utilization rate of the satellite communication network link according to the established stochastic coloring Petri network model, wherein the calculation formula is as follows:
link bandwidth utilization is 1- (average number of toskens in the bandwidth pool)/(total number of toskens in the bandwidth pool);
in the formula, the average number of the Token in the library is the average number of the Token in the library in a system stable state; the parameters involved include the following: data volume to be transmitted, transmission delay among nodes and link bandwidth in the satellite communication network.
2. The method for analyzing link utilization of a satellite communication network according to claim 1, wherein the satellite communication network model in step S1 includes the following information: which nodes are in the satellite communication network, which nodes are communicable with each other, and which nodes have link utilization to analyze.
3. The method according to claim 1, wherein the average number of toskens in the library at the system steady state is solved according to a method based on monte carlo simulation, and the method comprises the following steps:
a1, acquiring simulation times N and simulation rounds C, and initializing a variable N and a variable r;
a2, judging whether the variable r is larger than the simulation round number C, if so, calculating the average value of the Token number of the simulation of the round C, and if not, executing the step A3;
a3, determining the transition which can be implemented according to the current identification, and sampling the delay time of the transition;
a4, selecting the transition with the shortest delay time from the samples, implementing the transition and determining the latest identification;
a5, recording the accumulated Token number delay time in the library and the accumulated transition implementation delay time, and updating n to n + 1;
a6, judging whether the variable N is larger than the simulation times N, if so, executing a step A7, otherwise, executing a step A3;
a7, calculating the average Token number of the current round: and accumulating the Token times/accumulated time delay in the library, initializing the system identifier and the recording parameters thereof, updating r to r +1, and returning to the step A2.
4. The method of claim 1, wherein the stochastic coloring Petri Net model is a full-duplex model.
5. A system for analyzing link utilization in a satellite communication network, comprising:
the satellite communication network model determining module is used for determining a satellite communication network model which needs to be subjected to link utilization rate analysis;
the SCPN model building module is used for building a random coloring Petri network model corresponding to the satellite communication network; defining the types of the tokens in a stochastic coloring Petri network model to indicate the flow direction of data, and limiting the flow directions of the tokens of different types in transition;
the link utilization rate analysis module is used for acquiring parameters related in the satellite communication network and calculating the link utilization rate of the satellite communication network according to the established stochastic coloring Petri network model, and the calculation formula is as follows:
link bandwidth utilization is 1- (average number of toskens in the bandwidth pool)/(total number of toskens in the bandwidth pool);
in the formula, the average number of the Token in the library is the average number of the Token in the library in a system stable state; the parameters involved include the following: data volume to be transmitted, transmission delay among nodes and link bandwidth in the satellite communication network.
6. The system for analyzing link utilization in a satellite communication network of claim 5, wherein the satellite communication network model in the satellite communication network model determining module comprises the following information: which nodes are in the satellite communication network, which nodes are communicable with each other, and which nodes have link utilization to analyze.
7. The system according to claim 5, wherein the average number of toskens in the library at the system steady state is solved according to a method based on Monte Carlo simulation, and the method comprises the following steps:
the parameter acquisition module is used for acquiring simulation times N and simulation rounds C and initializing variables N and variables;
the first judgment module is used for judging whether the variable r is larger than the simulation round number C or not, if so, the average value of the average Turken number of the simulation of the round C is solved, and if not, the first processing module is called;
the first processing module is used for determining the executable transition according to the current identifier, sampling the transition delay time and then calling the second processing module;
the second processing module is used for selecting the transition with the shortest delay time from the samples, implementing the transition, determining the latest identification and calling the third processing module;
the third processing module is used for recording the accumulated time delay of the Token number in the library and the accumulated time delay of implementing transition, updating n to n +1 and calling the second judging module;
the second judgment module is used for judging whether the variable N is larger than the simulation times N, if so, the fourth processing module is called, and otherwise, the first processing module is called;
the fourth processing module is used for calculating the average Thanksgiving number of the current round: and accumulating the Token number delay time/accumulated delay time in the library, initializing a system identifier and a recording parameter thereof, updating r to r +1, and calling a first judgment module.
8. The satellite communications network link utilization analysis system of claim 5, wherein the stochastic shading Petri Net model is a full-duplex model.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201810187502.8A CN108599834B (en) | 2018-03-07 | 2018-03-07 | Method and system for analyzing utilization rate of satellite communication network link |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201810187502.8A CN108599834B (en) | 2018-03-07 | 2018-03-07 | Method and system for analyzing utilization rate of satellite communication network link |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN108599834A CN108599834A (en) | 2018-09-28 |
| CN108599834B true CN108599834B (en) | 2020-05-22 |
Family
ID=63625697
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201810187502.8A Active CN108599834B (en) | 2018-03-07 | 2018-03-07 | Method and system for analyzing utilization rate of satellite communication network link |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN108599834B (en) |
Families Citing this family (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN114745254B (en) * | 2022-06-10 | 2022-08-26 | 中国地质大学（武汉） | Time-varying inter-satellite link coloring Petri net modeling method based on function separation |
Family Cites Families (14)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6751619B1 (en) * | 2000-03-15 | 2004-06-15 | Microsoft Corporation | Methods and apparatus for tuple management in data processing system |
| US20070124306A1 (en) * | 2005-11-09 | 2007-05-31 | Honda Motor Co., Ltd. | Method and system for transmitting data to vehicles over limited data links |
| CN100570634C (en) * | 2008-05-15 | 2009-12-16 | 王坚 | Enterprise energy consumption process model building and emulation mode |
| US20110250690A1 (en) * | 2008-11-11 | 2011-10-13 | Craig H Randall | Microfluidic Embryo and Gamete Culture Systems |
| CN101493857B (en) * | 2009-02-13 | 2010-08-18 | 同济大学 | Semiconductor production line model building, optimizing and scheduling method based on petri net and immune arithmetic |
| CN102004827A (en) * | 2010-11-08 | 2011-04-06 | 大连理工大学 | Design method of inter-satellite communication system of formation small satellites based on Petri net |
| US20130111430A1 (en) * | 2011-10-27 | 2013-05-02 | Yin Wang | Providing goods or services |
| CN103685025A (en) * | 2013-12-04 | 2014-03-26 | 中国空间技术研究院 | Cross-layer dynamic self-adapting routing method based on LEO satellite network |
| CN103796319B (en) * | 2014-01-16 | 2017-04-19 | 北京大学 | Frequency reuse method for multi-beam satellite mobile communication down link |
| CN104298843B (en) * | 2014-05-22 | 2018-06-15 | 北京航空航天大学 | A kind of complex mechanism dynamic cascading Reliability Modeling based on colored stochastic Petri net |
| ES2702229T3 (en) * | 2014-06-10 | 2019-02-28 | Sky Italia S R L | Monitoring of appropriate user terminals to receive signals from communication networks |
| CN105353384B (en) * | 2014-08-18 | 2017-08-25 | 中国人民解放军装备学院 | A kind of navigation constellation backup method |
| CN106385387B (en) * | 2016-09-27 | 2019-08-02 | 中国科学院空间应用工程与技术中心 | A kind of resource regulating method, system and the application of Information Network link |
| CN106971634B (en) * | 2017-04-28 | 2020-07-14 | 中国船舶重工集团公司第七0九研究所 | Airspace conflict detection method and system based on aircraft track prediction |
-
2018
- 2018-03-07 CN CN201810187502.8A patent/CN108599834B/en active Active
Also Published As
| Publication number | Publication date |
|---|---|
| CN108599834A (en) | 2018-09-28 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Hu et al. | Variance-constrained recursive state estimation for time-varying complex networks with quantized measurements and uncertain inner coupling | |
| CN111130839B (en) | Flow demand matrix prediction method and system | |
| Liu et al. | A new queueing model for QoS analysis of IEEE 802.11 DCF with finite buffer and load | |
| Shi et al. | Event-based state estimation of discrete-state hidden Markov models | |
| Aysal et al. | Distributed average consensus with dithered quantization | |
| David et al. | Time for statistical model checking of real-time systems | |
| Haas | Stochastic petri nets: Modelling, stability, simulation | |
| EP2266254B1 (en) | Available bandwidth estimation in a packet-switched communication network | |
| CN110740054B (en) | Data center virtualization network fault diagnosis method based on reinforcement learning | |
| CN109299160B (en) | Power CPS security analysis method based on monitoring big data mining | |
| US8990056B2 (en) | Method, computer program product, and apparatus for comparing traffic pattern models of a complex communication system | |
| Lu et al. | Heavy-traffic limits for a fork-join network in the Halfin-Whitt regime | |
| CN108599834B (en) | Method and system for analyzing utilization rate of satellite communication network link | |
| Aït-Salaht et al. | Stochastic bounds and histograms for network performance analysis | |
| CN115374019B (en) | Method and system for testing distributed UI test cases and computer storage medium | |
| CN115118610B (en) | Dynamic topology estimation method based on network tomography | |
| CN111030644A (en) | Finite time dissipation filtering method of nonlinear networked control system | |
| CN105022689A (en) | Method for discovering key test function of large object-oriented software system | |
| CN114331349A (en) | Scientific research project management method and system based on Internet of things technology | |
| CN108052768B (en) | Concurrent real-time system reliability evaluation method based on quantitative verification method | |
| Khudoyarova et al. | Using Machine Learning to Analyze Network Traffic Anomalies | |
| Li et al. | Distributed stochastic optimization with Unbounded subgradients over randomly time-varying networks | |
| Shekaramiz et al. | Window flow control systems with random service | |
| CN116683981B (en) | Low-orbit satellite path planning method based on multidimensional time-varying resource diagram | |
| CN109245954B (en) | Network service flow modeling method for EPON and LTE wireless dual-mode converged communication |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant |