CN108599834A - A kind of satellite communication network link utilization analysis method and system - Google Patents
A kind of satellite communication network link utilization analysis method and system Download PDFInfo
- Publication number
- CN108599834A CN108599834A CN201810187502.8A CN201810187502A CN108599834A CN 108599834 A CN108599834 A CN 108599834A CN 201810187502 A CN201810187502 A CN 201810187502A CN 108599834 A CN108599834 A CN 108599834A
- Authority
- CN
- China
- Prior art keywords
- communication network
- satellite communication
- link utilization
- library
- tokken
- 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.)
- Granted
Links
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
Abstract
The invention discloses a kind of satellite communication network link utilization analysis method and systems, first determine the satellite communication network model for needing to carry out link utilization analysis, it resettles corresponding to the stochastic colored Petri net model for stating satellite communication network, defined in the stochastic colored Petri net model type of token shows the flow direction of data, and the flow direction of different types of token is limited in transition, parameter involved in satellite communication network is finally obtained, and satellite communication network link utilization is calculated according to the stochastic colored Petri net model of foundation.
Description
Technical field
The present invention relates to space communication technology and field of computer technology, specifically, being related to a kind of based on Stochastic colored
The satellite communication network link utilization analysis method and system of Petri network.
Background technology
Satellite communication network is made due to uncertain factors such as its intrinsic mobility, node changeability, parameter variabilities
The modeling comparison for obtaining satellite network is complicated.It is modeled using general graph theory knowledge, it is difficult to reflect its These characteristics, it cannot
Clearly description satellite network.Currently, mainly using queueing theory and markov mistake to the performance evaluation of satellite network both at home and abroad
Journey.However, queuing model cannot portray the features such as concurrency, asynchronism of information service in satellite network, therefore can not be to defending
Star communications network link utilization rate is accurately analyzed.
Invention content
The technical problem to be solved in the present invention is, cannot portray in satellite network and believe for queuing model in the prior art
The features such as concurrency of breath business, asynchronism, therefore accurate analyzing defect can not be carried out to satellite communication network link utilization,
A kind of satellite communication network link utilization analysis method and system based on stochastic colored Petri net are provided.
Wherein one side, the technical solution adopted by the present invention to solve the technical problems according to the present invention are：Construction one
Kind satellite communication network link utilization analysis method, comprises the following steps：
S1, the satellite communication network model for needing to carry out link utilization analysis is determined；
S2, the stochastic colored Petri net model that satellite communication network is stated described in corresponding to is established；In Stochastic colored Petri
The type of token defined in pessimistic concurrency control shows the flow direction of data, and limits the flow direction of different types of token in transition；
S3, parameter involved in satellite communication network is obtained, and is calculated according to the stochastic colored Petri net model of foundation
Satellite communication network link utilization, calculation formula：
Link bandwidth utilization rate=1- (the be averaged Tokken number in bandwidth library)/(the total Tokken number of bandwidth library institute)；
In formula, the be averaged Tokken number in library for library under system stable state in average Tokken quantity.
Further, in the satellite communication network link utilization analysis method of the present invention, the satellite in step S1 is logical
Communication network model includes following information：Have in satellite communication network between which node, which node be can communicate and which
Link utilization between a little nodes needs to analyze.
Further, involved described in step S3 in the satellite communication network link utilization analysis method of the present invention
And parameter include following parameter：Transmission delay and link bandwidth between data to be transmitted amount, node in satellite communication network.
Further, in the satellite communication network link utilization analysis method of the present invention, library under system stable state
In average Tokken quantity according to solved based on the method for Monte Carlo simulation, solved especially by following step：
A1, simulation times N and simulation runs C, initializing variable n and variable r are obtained；
Whether A2, judgment variable r are more than simulation runs C, if then finding out the average Tokken number average value of C wheel emulation, if
It is no, then follow the steps A3；
A3, the transition that can be implemented according to current identification determination, and transition delay time of sampling；
A4, the shortest transition of delay time are selected from sampling, enable the transition implement, determine newest mark；
Tokken number * delay times and accumulative implementation transition delay time in the accumulative library institute of A5, record, and more by n
It is newly n+1；
Whether A6, judgment variable n are more than simulation times N, no to then follow the steps A3 if so then execute step A7；
A7, it calculates epicycle and is averaged Tokken number：Tokken number * delay times/accumulative delay time in accumulative library institute, initialization system
System mark and its recording parameters, and r is updated to r+1, and return to step A2.
Further, in the satellite communication network link utilization analysis method of the present invention, the Stochastic colored Petri
Pessimistic concurrency control is full duplex model.
According to another aspect of the present invention, the present invention is to solve its technical problem, additionally provides a kind of satellite communication network
Link utilization analysis system, comprises the following steps：
Satellite communication network model determining module, for determining the satellite communication network for needing to carry out link utilization analysis
Model；
SCPN model building modules correspond to the stochastic colored Petri net mould for stating satellite communication network for establishing
Type；The type of token defined in stochastic colored Petri net model shows the flow direction of data, and limits in transition different
The flow direction of the token of type；
Link utilization analysis module, for obtaining in satellite communication network involved parameter, and according to foundation with
Machine Colored Petri Net model calculates satellite communication network link utilization, calculation formula：
Link bandwidth utilization rate=1- (the be averaged Tokken number in bandwidth library)/(the total Tokken number of bandwidth library institute)；
In formula, the be averaged Tokken number in library for library under system stable state in average Tokken quantity.
Further, in the satellite communication network link utilization analysis system of the present invention, satellite communication network model
Satellite communication network model in determining module includes following information：Have in satellite communication network which node, which node it
Between be that link utilization can communicating and between which node needs to analyze.
Further, in the satellite communication network link utilization analysis system of the present invention, link utilization analyzes mould
Involved parameter includes following parameter described in block：Transmission delay between data to be transmitted amount, node in satellite communication network
And link bandwidth.
Further, in the satellite communication network link utilization analysis system of the present invention, library under system stable state
In average Tokken quantity according to solved based on the method for Monte Carlo simulation, solved especially by following modules：
Parameter acquisition module, for obtaining simulation times N and simulation runs C, initializing variable n and variable；
Whether the first judgment module is more than simulation runs C for judgment variable r, if then finding out the average support of C wheel emulation
Number average value is agreed, if it is not, then calling first processing module；
First processing module, the transition for that can be implemented according to current identification determination, and transition delay time of sampling, so
After call Second processing module；
Second processing module enables the transition implement, determines newest for selecting the shortest transition of delay time from sampling
Mark, then call third processing module；
Third processing module, for record accumulative library in Tokken number * delay times and accumulative implementation become delay
When the time, and n is updated to n+1, then calls the second judgment module；
Whether the second judgment module is more than simulation times N for judgment variable n, no if then calling fourth processing module
Then call first processing module；
Fourth processing module is averaged Tokken number for calculating epicycle：Tokken number * delay times in accumulative library institute/accumulative prolong
When the time, initialize system banner and its recording parameters, and r is updated to r+1, and call the first judgment module.
Further, in the satellite communication network link utilization analysis system of the present invention, the Stochastic colored Petri
Pessimistic concurrency control is full duplex model.
The satellite communication network link utilization analysis method and system for implementing the present invention, can portray information in satellite network
The features such as concurrency of business, asynchronism, therefore satellite communication network link utilization can not accurately be analyzed.
Description of the drawings
Present invention will be further explained below with reference to the attached drawings and examples, in attached drawing：
Fig. 1 is the flow chart of one embodiment of satellite communication network link utilization analysis method of the present invention；
Fig. 2 is SCPN illustratons of model；
Fig. 3 is that the present invention is based on the methods of Monte Carlo simulation to solve the be averaged Tokken number index in the library under stable state
Flow chart.
Specific implementation mode
For a clearer understanding of the technical characteristics, objects and effects of the present invention, now control attached drawing is described in detail
The specific implementation mode of the present invention.
1.Petri net brief introductions
The doctoral thesis for being German scholar Carl Adam doctors Petri 1962 at him to Petri network《It is logical with automatic machine
Letter》It is proposed first in (Communication with Automata), at that time, he remembers parallel system using causality
Property description.With the continuous development of Petri network theory, at present to be widely used in performance evaluation, communication protocol and production
The fields such as system, Petri network has become description and research has the characteristics that asynchronous, concurrent, distribution, parallel and uncertainty is
The powerful tool of system.Stochastic Petri net is gradually grown up by introducing the concept of time in basic petri net
, its target is to integrate formalized description, verification of correctness and performance evaluation.
Petri network can be defined as hexa-atomic group of N=(P, T, F, K, W, a M0), wherein：
P={ P1,P2,…,PmIt is set of library, indicate resource or state；
T={ t1,t2,…,tnIt is transition collection, indicate event；
For link library with transition directed arc collection；
K:P→Z+∪ { ∞ } for library capacity (Z+For positive integer collection)；
W:F→Z+For the weight function of directed arc；
M0For initial marking, system initial state.
Label (token) is located in the institute of library, in the institute of all libraries the distribution that marks be known as mark, mark is for indicating system
State, the transition that transition node, which follows enabled rule, can implement, and implement will change the node acceptance of the bid of library institute according to code fo practice
The distribution of note, the dynamic behaviour for thus describing system are developed.
Stochastic Petri net (SPN) is then to increase delay attribute to transition on the basis of ordinary Petri net, i.e., from one
A transition t becomes the enforceable moment and implements to be regarded as a continuous random variable between moment to it, and obeys one point
Cloth function：
Ft(x)=P { xt＜ x }
Generally by the Distribution Function Definition of each transition at an exponential distribution function：
Wherein parameter lambdat(λt＞ 0) it is the average generation rate for changing t.
Stochastic colored Petri net (SCPN) is to increase " color " attribute (i.e. token to token on the basis of SPN
No longer it is same type, represents different types of resource), while library also increases " can include Tokken type " attribute, becomes
It moves, increases " the token types that can be flowed through " attribute.Main purpose be in order to increase the descriptive power of Petri net model,
Some complicated systems can preferably be portrayed.2. the satellite communication network link utilization analysis based on stochastic colored Petri net
Method
Link utilization refers to the percentage for the effective time of satellite network link bandwidth accounting for the entire working time, is
The dynamic measurement of Internet usage frequency, and weigh network performance price than key parameter.In different transmission datas
Under total quantity, the link bandwidth utilization rate of network entirety is analyzed, so that it may logical to satellite where to know the bottleneck in network
The optimal conceptual design of communication network inter-satellite link provides certain instruction.
With reference to figure 1, steps are as follows for the analysis method proposed in the present embodiment：
S1, satellite communication network model is determined
First, the satellite communication network model for needing to carry out link utilization analysis is determined, such as：In satellite communication network
Be between which node, which node can communicate, the link utilization between which node needs to analyze；
S2, the SCPN models for corresponding to satellite communication network are established
Stochastic colored Petri net (SCPN) model corresponding to above-mentioned satellite communication network is established, such as：To satellite communication
In the case that network has carried out some simplification, for " earth station 1- satellite 1- satellite 2- earth stations 2 " such one in LEO satellite constellation
The basic satellite network communications link of item, can establish following Petri net model：
It is full duplex model that a kind of LEO satellite communication network model based on SCPN is established in Fig. 2, and uses SPN moulds
There are the flow direction of data indistinguishable data script in arrival satellite 1 or satellite 2 in type, it may result in data and do not reach also
Another earth station is returned to the problem of earth station of transmission data, and this patent can define the kind of token using SCPN models
Class shows the flow direction of data, and the flow direction of different types of token is limited in transition, better analog satellite communication network
Actual conditions.
Library institute P_G1, P_G2 indicate earth station 1, earth station 2 respectively, and the Tokken expression in library institute P_G1, P_G2 needs to pass
Defeated data volume；Library institute P_GS1 indicates that the link bandwidth between earth station's 1- satellites 1, library institute P_GS2 indicate earth station's 2- satellites
2 link bandwidth, P_STS indicate the link bandwidth of satellite 1- satellites 2, and the Tokken in library institute P_GS1, PGS_2, P_STS indicates
The size of bandwidth；Library institute P_SAT1, P_SAT2 indicate satellite 1, satellite 2 respectively；Library institute P_UT1 indicates earth station's 1- satellites 1
Link；Library institute P_T1 indicates the link of satellite 1- satellites 2；Library institute P_DT2 indicates the link of satellite 2- earth stations 2；Library institute P_UT2
Indicate the link of earth station's 2- satellites 2；Library institute P_T2 indicates the link of satellite 2- satellites 1；Library institute P_DT1 indicates the ground satellite 1-
Stand 1 link；T_G1UT1 indicates data from the link that earth station 1 enters earth station's 1- satellites 1；T_UT1S1 indicate data from
Enter satellite 1 in link；T_S1T1 indicates data from the link that satellite 1 enters satellite 1- satellites 2；T_T1S2 indicate data from
Enter satellite 2 in link；T_S2DT2 indicates data from the link that satellite 2 enters satellite 2- earth stations 2；T_D2G2 indicates number
According to from link enter earth station 2；T_G1UT2 indicates data from the link that earth station 2 enters earth station's 2- satellites 2；T_
UT2S2 indicates that data enter satellite 2 from link；T_S2T2 indicates data from the link that satellite 2 enters satellite 2- satellites 1；
T_T2S1 indicates that data enter satellite 1 from link；T_S1DT1 indicates that data enter the link of satellite 1- earth stations 1 from satellite 1
In；T_D1G1 indicates that data enter earth station 1 from link.
S3, satellite communication network link utilization computational methods are provided
According to the SCPN models of above-mentioned foundation, parameter involved in satellite communication network is provided, that is, provides satellite communication
The parameters such as transmission delay, link bandwidth, the meter of satellite communication network link utilization between data to be transmitted amount, node in network
Calculation method is as follows：
Link bandwidth utilization rate=1- (the be averaged Tokken number in bandwidth library)/(the total Tokken number of bandwidth library institute)
The be averaged Tokken number in library for library under system stable state in average Tokken quantity.
Here groundwork is to solve for the be averaged Tokken number in the bandwidth library under stable state, due to Tokken in SCPN models
Self-defined implementation condition that may be present in having " color " and changing causes to be averaged using the method analysis library of mathematical analysis
Tokken number index can be sufficiently complex, therefore the present embodiment takes the method based on Monte Carlo simulation to solve under stable state
The be averaged Tokken number index in library, with reference to Fig. 3, specific flow is as follows：
A1, simulation times N and simulation runs C, initializing variable n and variable r are obtained；
Whether A2, judgment variable r are more than simulation runs C, if then finding out the average Tokken number average value of C wheel emulation, if
It is no, then follow the steps A3；
A3, the transition that can be implemented according to current identification determination, and transition delay time of sampling；
A4, the shortest transition of delay time are selected from sampling, enable the transition implement, determine newest mark；
Tokken number * delay times and accumulative implementation transition delay time in the accumulative library institute of A5, record, and more by n
It is newly n+1；
Whether A6, judgment variable n are more than simulation times N, no to then follow the steps A3 if so then execute step A7；
A7, it calculates epicycle and is averaged Tokken number：Tokken number * delay times/accumulative delay time in accumulative library institute, initialization system
System mark and its recording parameters, and r is updated to r+1, and return to step A2.
When the simulation times N of setting is sufficiently large, system is in stable state after the transition of experience N steps are implemented, and passes through
The method of statistics calculates the be averaged Tokken number of outbound, and the average Tokken number average value of C wheels is taken in the case that emulation wheel number C is bigger
Accurate result of calculation is acquired, so far, so that it may to calculate the be averaged Tokken number in bandwidth library in above-mentioned SCPN models,
And then calculate satellite communication network link bandwidth utilization rate.
3. experimental conditions
All transition average delays are set as 1 in this experiment, mainly corresponding to analyze by changing the bandwidth of link
Link bandwidth utilization rate situation of change, specific the experimental data are shown in the following table：
1 earth station's data volume of table and bandwidth availability ratio relationship
Shown under bandwidth same case according to experimental data, as earth station's P0 data are more, bandwidth availability ratio gradually increases
Greatly, and increasing degree tapers into.
Bandwidth and bandwidth availability ratio relationship between 2 earth station's 1- satellites 1 of table
Bandwidth and bandwidth availability ratio relationship between 3 earth station's 2- satellites 2 of table
Bandwidth and bandwidth availability ratio relationship between 4 satellite 1- satellites 2 of table
According to the above experimental result it is known that earth station needs under transmitted data amount same case, individually increase a certain
The bandwidth of link only can be such that the utilization rate of current bandwidth reduces, and be influenced on the utilization rate of other bandwidth smaller.
The embodiment of the present invention is described with above attached drawing, but the invention is not limited in above-mentioned specific
Embodiment, the above mentioned embodiment is only schematical, rather than restrictive, those skilled in the art
Under the inspiration of the present invention, without breaking away from the scope protected by the purposes and claims of the present invention, it can also make very much
Form, all of these belong to the protection of the present invention.
Claims (10)
1. a kind of satellite communication network link utilization analysis method, which is characterized in that comprise the following steps：
S1, the satellite communication network model for needing to carry out link utilization analysis is determined；
S2, the stochastic colored Petri net model that satellite communication network is stated described in corresponding to is established；In stochastic colored Petri net mould
The type of token defined in type shows the flow direction of data, and limits the flow direction of different types of token in transition；
S3, parameter involved in satellite communication network is obtained, and satellite is calculated according to the stochastic colored Petri net model of foundation
Communications network link utilization rate, calculation formula：
Link bandwidth utilization rate=1- (the be averaged Tokken number in bandwidth library)/(the total Tokken number of bandwidth library institute)；
In formula, the be averaged Tokken number in library for library under system stable state in average Tokken quantity.
2. satellite communication network link utilization analysis method according to claim 1, which is characterized in that in step S1
Satellite communication network model includes following information：Have in satellite communication network between which node, which node is that can communicate
And link utilization between which node need to analyze.
3. satellite communication network link utilization analysis method according to claim 1, which is characterized in that institute in step S3
It includes following parameter to state involved parameter：Transmission delay and link between data to be transmitted amount, node in satellite communication network
Bandwidth.
4. satellite communication network link utilization analysis method according to claim 1, which is characterized in that system stablizes shape
Under state library in average Tokken quantity according to solved based on the method for Monte Carlo simulation, come especially by following step
It solves：
A1, simulation times N and simulation runs C, initializing variable n and variable r are obtained；
Whether A2, judgment variable r are more than simulation runs C, if the average Tokken number average value of C wheel emulation is then found out, if it is not, then
Execute step A3；
A3, the transition that can be implemented according to current identification determination, and transition delay time of sampling；
A4, the shortest transition of delay time are selected from sampling, enable the transition implement, determine newest mark；
Tokken number * delay times and accumulative implementation transition delay time in the accumulative library institute of A5, record, and n is updated to n
+1；
Whether A6, judgment variable n are more than simulation times N, no to then follow the steps A3 if so then execute step A7；
A7, it calculates epicycle and is averaged Tokken number：Tokken number * delay times/accumulative delay time in accumulative library institute, initializes system mark
Knowledge and its recording parameters, and r is updated to r+1, and return to step A2.
5. satellite communication network link utilization analysis method according to claim 1, which is characterized in that described random
Color Petri net model is full duplex model.
6. a kind of satellite communication network link utilization analysis system, which is characterized in that comprise the following steps：
Satellite communication network model determining module, for determining the satellite communication network mould for needing to carry out link utilization analysis
Type；
SCPN model building modules correspond to the stochastic colored Petri net model for stating satellite communication network for establishing；
The type of token defined in stochastic colored Petri net model shows the flow direction of data, and limits in transition different types of
The flow direction of token；
Link utilization analysis module, for obtaining in satellite communication network involved parameter, and according to the random of foundation
Color Petri net model calculates satellite communication network link utilization, calculation formula：
Link bandwidth utilization rate=1- (the be averaged Tokken number in bandwidth library)/(the total Tokken number of bandwidth library institute)；
In formula, the be averaged Tokken number in library for library under system stable state in average Tokken quantity.
7. satellite communication network link utilization analysis system according to claim 6, which is characterized in that satellite communication network
Satellite communication network model in network model determining module includes following information：Have in satellite communication network which node, which
It is that link utilization can communicating and between which node needs to analyze between node.
8. satellite communication network link utilization analysis system according to claim 6, which is characterized in that link utilization
Involved parameter includes following parameter described in analysis module：It is passed between data to be transmitted amount, node in satellite communication network
Defeated delay and link bandwidth.
9. satellite communication network link utilization analysis system according to claim 6, which is characterized in that system stablizes shape
Under state library in average Tokken quantity according to solved based on the method for Monte Carlo simulation, come especially by following modules
It solves：
Parameter acquisition module, for obtaining simulation times N and simulation runs C, initializing variable n and variable；
Whether the first judgment module is more than simulation runs C for judgment variable r, if then finding out the average Tokken number of C wheel emulation
Average value, if it is not, then calling first processing module；
First processing module, the transition for that can be implemented according to current identification determination, and transition delay time of sampling, are then adjusted
Use Second processing module；
Second processing module enables the transition implement, determines newest mark for selecting the shortest transition of delay time from sampling
Know, then calls third processing module；
Third processing module, for record accumulative library in Tokken number * delay times and when accumulative implementation transition delay
Between, and n is updated to n+1, then call the second judgment module；
Otherwise whether the second judgment module is adjusted more than simulation times N if then calling fourth processing module for judgment variable n
Use first processing module；
Fourth processing module is averaged Tokken number for calculating epicycle：In accumulative library institute when Tokken number * delay times/accumulative delay
Between, system banner and its recording parameters are initialized, and r is updated to r+1, and call the first judgment module.
10. satellite communication network link utilization analysis system according to claim 6, which is characterized in that described random
Colored Petri Net model is 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 true CN108599834A (en) | 2018-09-28 |
| CN108599834B 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) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN114745254A (en) * | 2022-06-10 | 2022-07-12 | 中国地质大学（武汉） | Time-varying inter-satellite link coloring Petri net modeling method based on function separation |
Citations (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 |
| EP1786108A1 (en) * | 2005-11-09 | 2007-05-16 | HONDA MOTOR CO., Ltd. | Method and system for transmitting data to vehicles over limited data links |
| CN101276437A (en) * | 2008-05-15 | 2008-10-01 | 王坚 | Enterprise energy consumption process model building and emulation method |
| CN101493857A (en) * | 2009-02-13 | 2009-07-29 | 同济大学 | Semiconductor production line model building, optimizing and scheduling method based on petri net and immune arithmetic |
| WO2010056755A2 (en) * | 2008-11-11 | 2010-05-20 | Craig H Randall | Microfluidic embryo and gamete culture systems |
| 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 |
| CN103796319A (en) * | 2014-01-16 | 2014-05-14 | 北京大学 | Frequency reuse method for multi-beam satellite mobile communication down link |
| CN104298843A (en) * | 2014-05-22 | 2015-01-21 | 北京航空航天大学 | Complex mechanism dynamic cascading reliability modeling method based on colored stochastic Petri network |
| EP2955902A2 (en) * | 2014-06-10 | 2015-12-16 | Sky Italia S.R.L. | Monitoring of user terminals suitable for receiving signals from communication networks |
| CN105353384A (en) * | 2014-08-18 | 2016-02-24 | 中国人民解放军装备学院 | Backup method for navigation constellation |
| CN106385387A (en) * | 2016-09-27 | 2017-02-08 | 中国科学院空间应用工程与技术中心 | Resource scheduling method of information network links, system and application |
| CN106971634A (en) * | 2017-04-28 | 2017-07-21 | 中国船舶重工集团公司第七0九研究所 | A kind of spatial domain collision detection method predicted based on aircraft's flight track and system |
-
2018
- 2018-03-07 CN CN201810187502.8A patent/CN108599834B/en active Active
Patent Citations (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 |
| EP1786108A1 (en) * | 2005-11-09 | 2007-05-16 | HONDA MOTOR CO., Ltd. | Method and system for transmitting data to vehicles over limited data links |
| CN101276437A (en) * | 2008-05-15 | 2008-10-01 | 王坚 | Enterprise energy consumption process model building and emulation method |
| WO2010056755A2 (en) * | 2008-11-11 | 2010-05-20 | Craig H Randall | Microfluidic embryo and gamete culture systems |
| CN101493857A (en) * | 2009-02-13 | 2009-07-29 | 同济大学 | 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 |
| CN103796319A (en) * | 2014-01-16 | 2014-05-14 | 北京大学 | Frequency reuse method for multi-beam satellite mobile communication down link |
| CN104298843A (en) * | 2014-05-22 | 2015-01-21 | 北京航空航天大学 | Complex mechanism dynamic cascading reliability modeling method based on colored stochastic Petri network |
| EP2955902A2 (en) * | 2014-06-10 | 2015-12-16 | Sky Italia S.R.L. | Monitoring of user terminals suitable for receiving signals from communication networks |
| CN105353384A (en) * | 2014-08-18 | 2016-02-24 | 中国人民解放军装备学院 | Backup method for navigation constellation |
| CN106385387A (en) * | 2016-09-27 | 2017-02-08 | 中国科学院空间应用工程与技术中心 | Resource scheduling method of information network links, system and application |
| CN106971634A (en) * | 2017-04-28 | 2017-07-21 | 中国船舶重工集团公司第七0九研究所 | A kind of spatial domain collision detection method predicted based on aircraft's flight track and system |
Non-Patent Citations (2)
| Title |
|---|
| 孟佳洋，徐培德，伍国华: "基于Petri的卫星信息应用链数据处理效能评估", 《计算机仿真》 * |
| 洪志国: "基于随机Petri网模型的卫星网络性能分析研究", 《中国博士学位论文全文数据库》 * |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN114745254A (en) * | 2022-06-10 | 2022-07-12 | 中国地质大学（武汉） | Time-varying inter-satellite link coloring Petri net modeling method based on function separation |
Also Published As
| Publication number | Publication date |
|---|---|
| CN108599834B (en) | 2020-05-22 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN111242282B (en) | Deep learning model training acceleration method based on end edge cloud cooperation | |
| Liu et al. | Fluid Simulation of Large Scale Networks: Issues and Tradeoffs а | |
| CN111629380B (en) | Dynamic resource allocation method for high concurrency multi-service industrial 5G network | |
| CN102043674A (en) | Estimating service resource consumption based on response time | |
| CN106533778A (en) | Method for identifying key node of command and control network based on hierarchical flow betweenness | |
| CN101013955A (en) | Fast simulated annealing for traffic matrix estimation | |
| CN102571423B (en) | Generalized stochastic high-level Petri net (GSHLPN)-based network data transmission modeling and performance analysis method | |
| CN106059829A (en) | Hidden markov-based network utilization ratio sensing method | |
| CN113221475A (en) | Grid self-adaption method for high-precision flow field analysis | |
| CN108259195A (en) | The determining method and system of the coverage of anomalous event | |
| CN114389974B (en) | Method, device and medium for searching abnormal flow node in distributed training system | |
| CN101399708B (en) | Method and device for establishing network performance model | |
| CN103209102A (en) | Web quality of service distributed measurement system and method | |
| CN109413683A (en) | A kind of method and apparatus obtaining emission probability, transition probability and sequence positioning | |
| CN108599834A (en) | A kind of satellite communication network link utilization analysis method and system | |
| CN109117352B (en) | Server performance prediction method and device | |
| CN107608781A (en) | A kind of load predicting method, device and network element | |
| CN107682193A (en) | A kind of common communication multi-business flow method of estimation | |
| Shu et al. | The impact of self-similar traffic on network delay | |
| CN115567466A (en) | Time-sensitive traffic online scheduling method and device based on deep reinforcement learning | |
| CN109063335A (en) | Generation method, device and the computer readable storage medium of increment Density Estimator device | |
| CN112001571B (en) | Markov chain-based block chain performance analysis method and device | |
| CN115618532A (en) | Network system simulation method and related device | |
| CN110017844A (en) | Method, apparatus and calculating equipment for public transport path planning | |
| Che et al. | Dynamic Control of Queuing Networks via Differentiable Discrete-Event Simulation |
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 |