The ZDPS-1A pico-satellites are the first satellites in China within the 1-10 kg mass range that are successfully operated on orbit. Unlike common pico-satellites, they are designed to be ＂larger but stronger＂ with ...The ZDPS-1A pico-satellites are the first satellites in China within the 1-10 kg mass range that are successfully operated on orbit. Unlike common pico-satellites, they are designed to be ＂larger but stronger＂ with more powerful platforms and unique payloads so as to bear a better promise for real applications. Through their space flight mission, the functionality and perform- ance of the two flight models are tested on orbit and validated to be mostly normal and in consistency with design and ground tests with only several inconforming occasions. Moreover, they have worked properly on orbit for one year so far, well exceed- ing their life expectancy of three months. Therefore, the space flight mission has reached all its goals, and verified that the design concept and the engineering process of the pico-satellites are sufficient in allowing them the desired functionality and perform- ance in, and the adaption to the launch procedure and the low-Earth orbit space environment. In the foreseeable future, the plat- form together with the design concept and the engineering process of the pico-satellites are expected to be applied to more com- plicated real space applications.展开更多
This paper proposes a generic high-performance and low-time-overhead software control flow checking solution, graph-tree-based control flow checking （GTCFC） for space-borne commercial-off-the-shelf （COTS） processo...This paper proposes a generic high-performance and low-time-overhead software control flow checking solution, graph-tree-based control flow checking （GTCFC） for space-borne commercial-off-the-shelf （COTS） processors. A graph tree data structure with a topology similar to common trees is introduced to transform the control flow graphs of target programs. This together with design of IDs and signatures of its vertices and edges allows for an easy check of legality of actual branching during target program execution. As a result, the algorithm not only is capable of detecting all single and multiple branching errors with low latency and time overheads along with a linear-complexity space overhead, but also remains generic among arbitrary instruction sets and independent of any specific hardware. Tests of the algorithm using a COTS-processor-based onboard computer （OBC） of in-service ZDPS-1A pico-satellite products show that GTCFC can detect over 90% of the randomly injected and all-pattern-covering branching errors for different types of target programs, with performance and overheads consistent with the theoretical analysis; and beats well-established preeminent control flow checking algorithms in these dimensions. Furthermore, it is validated that GTCGC not only can be accommodated in pico-satellites conveniently with still sufficient system margins left, but also has the ability to minimize the risk of control flow errors being undetected in their space missions. Therefore, due to its effectiveness, efficiency, and compatibility, the GTCFC solution is ready for applications on COTS processors on pico-satellites in their real space missions.展开更多
The marine biopharmaceutical industry(MBI)has been considered as an important part of the blue economy.The high-quality development of this industry depends on the high-level coordinated development of technological i...The marine biopharmaceutical industry(MBI)has been considered as an important part of the blue economy.The high-quality development of this industry depends on the high-level coordinated development of technological innovation system(TIS).In the present study,the coupling mechanism of industrial innovation input subsystem and innovation output subsystem was analyzed for the first time.On this basis,the development level and coupling coordination level of TIS in China’s MBI during 2008-2018 were empirically evaluated with the capacity coupling coordination model.Then,the obstacle factors were diagnosed and recognized with the obstacle model.The results showed that the innovation input index fluctuated at a low level in China’s MBI.The innovation output index has basically maintained a growth trend,whereas the quality of development was not high.Although the coupling coordination level of TIS showed a positive change as mild disordered→primary coordinated→well-coordinated,the development type of innovation system has changed from the lagging output of innovation into the lagging input of innovation.Insufficient input of innovation factors remained the main obstacle to the improvement of coordination level.Based on the above analysis,suggestions were put forward from the perspectives of policy and fund guarantees to improve the coupling coordination level in China’s MBI.展开更多
基金National Natural Science Foundation of China (60904090)
文摘The ZDPS-1A pico-satellites are the first satellites in China within the 1-10 kg mass range that are successfully operated on orbit. Unlike common pico-satellites, they are designed to be ＂larger but stronger＂ with more powerful platforms and unique payloads so as to bear a better promise for real applications. Through their space flight mission, the functionality and perform- ance of the two flight models are tested on orbit and validated to be mostly normal and in consistency with design and ground tests with only several inconforming occasions. Moreover, they have worked properly on orbit for one year so far, well exceed- ing their life expectancy of three months. Therefore, the space flight mission has reached all its goals, and verified that the design concept and the engineering process of the pico-satellites are sufficient in allowing them the desired functionality and perform- ance in, and the adaption to the launch procedure and the low-Earth orbit space environment. In the foreseeable future, the plat- form together with the design concept and the engineering process of the pico-satellites are expected to be applied to more com- plicated real space applications.
基金supported by National Natural Science Foundation of China (No. 60904090)
文摘This paper proposes a generic high-performance and low-time-overhead software control flow checking solution, graph-tree-based control flow checking （GTCFC） for space-borne commercial-off-the-shelf （COTS） processors. A graph tree data structure with a topology similar to common trees is introduced to transform the control flow graphs of target programs. This together with design of IDs and signatures of its vertices and edges allows for an easy check of legality of actual branching during target program execution. As a result, the algorithm not only is capable of detecting all single and multiple branching errors with low latency and time overheads along with a linear-complexity space overhead, but also remains generic among arbitrary instruction sets and independent of any specific hardware. Tests of the algorithm using a COTS-processor-based onboard computer （OBC） of in-service ZDPS-1A pico-satellite products show that GTCFC can detect over 90% of the randomly injected and all-pattern-covering branching errors for different types of target programs, with performance and overheads consistent with the theoretical analysis; and beats well-established preeminent control flow checking algorithms in these dimensions. Furthermore, it is validated that GTCGC not only can be accommodated in pico-satellites conveniently with still sufficient system margins left, but also has the ability to minimize the risk of control flow errors being undetected in their space missions. Therefore, due to its effectiveness, efficiency, and compatibility, the GTCFC solution is ready for applications on COTS processors on pico-satellites in their real space missions.
基金supported by the National Natural Science Foundation of China(Nos.42176126,42076221)the Department of Marine Strategic Planning and Economy,Ministry of Natural Resources of China,and Marine Development Research Society of China(No.CAMA201817).
文摘The marine biopharmaceutical industry(MBI)has been considered as an important part of the blue economy.The high-quality development of this industry depends on the high-level coordinated development of technological innovation system(TIS).In the present study,the coupling mechanism of industrial innovation input subsystem and innovation output subsystem was analyzed for the first time.On this basis,the development level and coupling coordination level of TIS in China’s MBI during 2008-2018 were empirically evaluated with the capacity coupling coordination model.Then,the obstacle factors were diagnosed and recognized with the obstacle model.The results showed that the innovation input index fluctuated at a low level in China’s MBI.The innovation output index has basically maintained a growth trend,whereas the quality of development was not high.Although the coupling coordination level of TIS showed a positive change as mild disordered→primary coordinated→well-coordinated,the development type of innovation system has changed from the lagging output of innovation into the lagging input of innovation.Insufficient input of innovation factors remained the main obstacle to the improvement of coordination level.Based on the above analysis,suggestions were put forward from the perspectives of policy and fund guarantees to improve the coupling coordination level in China’s MBI.
