In 1957, the launch of the first artificial satellite ushered in a new era for modern space science. The past 50 years' developments in China's space science have witnessed many major missions, and substantial...In 1957, the launch of the first artificial satellite ushered in a new era for modern space science. The past 50 years' developments in China's space science have witnessed many major missions, and substantial progress has been achieved in space science study, exploration technology as well as experiment technology. Strategic Priority Program on Space Science was officially started in 2011. Through both self-developed space science missions and those with international cooperation,it is expected that the innovative breakthroughs will be realized, leapfrog development of related high-tech will be achieved to establish the important strategic status of space science in national development. To sum up, the implementation of the Strategic Priority Program on Space Science will definitely promote the rapid development of China's space science endeavor, making contributions to China's development and the progress of human civilization.展开更多
CASC President Ma Xingrui was interviewed by a Hong Kong magazine recently and talked about the prospects of China's major space projects. Mr. Ma is the deputy Commander-in-Chief of China's Manned Space Progra...CASC President Ma Xingrui was interviewed by a Hong Kong magazine recently and talked about the prospects of China's major space projects. Mr. Ma is the deputy Commander-in-Chief of China's Manned Space Program, Commander-in-Chief of China's Lunar Exploration Program, and Commander-in-Chief of China's new-generation launch vehicles. Mr. Ma said that the LM-5 launch vehicle, with LEO loading capacity of 25t, will carry out its maiden flight around the end of 2014.展开更多
Path planning for space vehicles is still a challenging problem although considerable progress has been made over the past decades.The major difficulties are that most of existing methods only adapt to static environm...Path planning for space vehicles is still a challenging problem although considerable progress has been made over the past decades.The major difficulties are that most of existing methods only adapt to static environment instead of dynamic one,and also can not solve the inherent constraints arising from the robot body and the exterior environment.To address these difficulties,this research aims to provide a feasible trajectory based on quadratic programming（QP） for path planning in three-dimensional space where an autonomous vehicle is requested to pursue a target while avoiding static or dynamic obstacles.First,the objective function is derived from the pursuit task which is defined in terms of the relative distance to the target,as well as the angle between the velocity and the position in the relative velocity coordinates（RVCs）.The optimization is in quadratic polynomial form according to QP formulation.Then,the avoidance task is modeled with linear constraints in RVCs.Some other constraints,such as kinematics,dynamics,and sensor range,are included.Last,simulations with typical multiple obstacles are carried out,including in static and dynamic environments and one of human-in-the-loop.The results indicate that the optimal trajectories of the autonomous robot in three-dimensional space satisfy the required performances.Therefore,the QP model proposed in this paper not only adapts to dynamic environment with uncertainty,but also can satisfy all kinds of constraints,and it provides an efficient approach to solve the problems of path planning in three-dimensional space.展开更多
With the complete success of the 2nd stage of Chinese Manned Space Program(CMSP),several science researches have been performed on Tiangong-1 experimental spacelab, which was docked with three Shenzhou spaceships one ...With the complete success of the 2nd stage of Chinese Manned Space Program(CMSP),several science researches have been performed on Tiangong-1 experimental spacelab, which was docked with three Shenzhou spaceships one after another. The China's real spacelab, Tiangong-2 will be launched in 2015, docked with a Shenzhou spaceship soon. After six months, it will be docked with the first Chinese cargo ship(Tianzhou-1). More space science researches, involving with space biology, fluid physics, fundamental physics, materials science, Earth science, astronomy and space environmental science, will be operated on Tiangong-2 spacelab, and crewed and cargo spaceships. Furthermore, the considerable large-scale space utilization of Shina's Space Station is planned. The research fields include yet not limited to space medicine and physiology, space life science and biotechnology, fluid physics and combustion in microgravity, space material science,and fundamental physics in microgravity, space astronomy, Earth science, space physics and space environment utilization, technology demonstration.展开更多
This paper investigates the maximum network through- put for resource-constrained space networks based on the delay and disruption-tolerant networking （DTN） architecture. Specifically, this paper proposes a methodol...This paper investigates the maximum network through- put for resource-constrained space networks based on the delay and disruption-tolerant networking （DTN） architecture. Specifically, this paper proposes a methodology for calculating the maximum network throughput of multiple transmission tasks under storage and delay constraints over a space network. A mixed-integer linear programming （MILP） is formulated to solve this problem. Simula- tions results show that the proposed methodology can successfully calculate the optimal throughput of a space network under storage and delay constraints, as well as a clear, monotonic relationship between end-to-end delay and the maximum network throughput under storage constraints. At the same time, the optimization re- sults shine light on the routing and transport protocol design in space communication, which can be used to obtain the optimal network throughput.展开更多
First, this paper suggests a hypothetical formula that aims to explain how we are conditioned to think. Finding different ways to think about relevant decisions and problems through multilogical approaches could help ...First, this paper suggests a hypothetical formula that aims to explain how we are conditioned to think. Finding different ways to think about relevant decisions and problems through multilogical approaches could help make the decision-making or problem easier to understand and manage than any conventional one-directional way of thinking (or monological thinking). Secondly, one theory to help understand the quality of how we think is through associating ideas of reality with what we observe. This is helpful through a theory such as Memetics, or the study of memes (and evolutionary replicator points [genes, memes, tremes]), as coined by Richard Dawkins in his 1976 book, <i>The Selfish Gene</i>, and proposed by other authors including Dr. Susan Blackmore (“The meme machine”, 1999). Plenty of indications and evidences seem to show how we are entering the third replicator point (technomemes), consisting in a psycho-sociological process of merging human beings and societies (memeplexes) with technological advancement. Digital and non-digital relationships to our values/ideas/ideologies and beliefs make us think differently and often via manners that can damage our reasoning skills and proper ways to process information (see problematic topics such as “post-truth era”, disinformation, information overload, anti-science and anti-intellectual trends, conspiracies and so on), but we still do not have any educational and/or individual training to understand critically and apply such an understanding in such relationships (through states of mind). This paper intends to explore a theory of Metamemetics and Multilogical Thinking theorized by Diego Fontanive (<a href="https://en.wikipedia.org/wiki/Memetics">https://en.wikipedia.org/wiki/Memetics</a> see: *terminology, see: *Meta-memetic thinking). Lastly, this approach is explored and applied with examples of approaches to problems people hypothetically have. This exploration is put into the context of space exploration and studying the psychology of individuals who are in solitary situations for long periods.展开更多
PARCS (Parallel Asynchronous Recursive Control System) programming tools that allow unified add-on parallel extensions over traditional programming languages are described. The PARCS model is based on the conception o...PARCS (Parallel Asynchronous Recursive Control System) programming tools that allow unified add-on parallel extensions over traditional programming languages are described. The PARCS model is based on the conception of a control space, which is used to describe parallel interacting processes. Structurally, the control space consists of addressable “points” and “channels”. Executing modules are assigned to points and communicate through channels connecting points. Recursive embeddings of processes are allowed. The effective implementation of PARCS on cloud platforms Microsoft AZURE and Amazon EC2 is also presented.展开更多
The program OASIS4.0 has been released. Apart from the improved single-wavelength anomalous diffraction （SAD） phasing algorithm described in a separate paper, an important new feature in this version is the automati...The program OASIS4.0 has been released. Apart from the improved single-wavelength anomalous diffraction （SAD） phasing algorithm described in a separate paper, an important new feature in this version is the automation of the iterative phasing and model-building process in solving protein structures. A new graphical user＇s interface （GUI） is provided for controlling and real-time monitoring the dual-space iterative process. The GUI is discussed in detail in the present paper.展开更多
The National Space Science Center of the Chinese Academy of Sciences(NSSC,CAS),as the leading institute responsible for the overall management of scientific satellite missions in China,is China’s gateway to space sci...The National Space Science Center of the Chinese Academy of Sciences(NSSC,CAS),as the leading institute responsible for the overall management of scientific satellite missions in China,is China’s gateway to space science.NSSC is the cradle of China’s first artificial satellite“Dongfanghong-1”(DFH-1).In the course of more than 60 years’development,NSSC has led the implementation of“Double Star Program”,the first science-driven space mission in China,and successively implemented a fleet of scientific missions under the Strategic Priority Program on Space Science(Phase I and II),such as the Dark Matter Particle Explorer(DAMPE,or Wukong),the Quantum Experiments at Space Scale(QUESS,or Micius),the Hard X-ray Modulation Telescope(HXMT,or Insight),the Taiji-1,the Advanced space-based Solar Observatory(ASO-S,or Kuafu)and the Einstein Probe(EP).Currently,the space science satellite series has been established,yielding substantial scientific output.For the future,the Solar wind Magnetosphere Ionosphere Link Explorer(SMILE),a China-ESA joint mission,will be launched in 2025.In addition,the newly released National Mid-and Long-term Program for Space Science Development in China(2024-2050),the first of its kind at the national level,has identified five key scientific themes.A fleet of future scientific missions revolving these themes will deepen mankind’s scientific understanding of the universe.展开更多
Unmanned aerial vehicles(UAVs) may play an important role in data collection and offloading in vast areas deploying wireless sensor networks, and the UAV’s action strategy has a vital influence on achieving applicabi...Unmanned aerial vehicles(UAVs) may play an important role in data collection and offloading in vast areas deploying wireless sensor networks, and the UAV’s action strategy has a vital influence on achieving applicability and computational complexity. Dynamic programming(DP) has a good application in the path planning of UAV, but there are problems in the applicability of special terrain environment and the complexity of the algorithm.Based on the analysis of DP, this paper proposes a hierarchical directional DP(DDP) algorithm based on direction determination and hierarchical model. We compare our methods with Q-learning and DP algorithm by experiments, and the results show that our method can improve the terrain applicability, meanwhile greatly reduce the computational complexity.展开更多
In case of mathematical programming problems with conflicting criteria, the Pareto set is a useful tool for a decision maker. Based on the geometric properties of the Pareto set for a bicriteria linear programming pro...In case of mathematical programming problems with conflicting criteria, the Pareto set is a useful tool for a decision maker. Based on the geometric properties of the Pareto set for a bicriteria linear programming problem, we present a simple and fast method to compute this set in the criterion space using only an elementary linear program solver. We illustrate the method by solving the pig diet formulation problem which takes into account not only the cost of the diet but also nitrogen or phosphorus excretions.展开更多
During past 2 years, Chinese scientists have conducted a series of scientific,technical, and application research relating to earth observation for satellite and payload development, meteorological and environmental m...During past 2 years, Chinese scientists have conducted a series of scientific,technical, and application research relating to earth observation for satellite and payload development, meteorological and environmental monitoring, disaster reduction, resources surveying, and sustainable development of national economy and society. An short and incomplete review is given in this paper.展开更多
Every algorithm which can be executed on a computer can at least in principle be realized in hardware, i.e. by a discrete physical system. The problem is that up to now there is no programming language by which physic...Every algorithm which can be executed on a computer can at least in principle be realized in hardware, i.e. by a discrete physical system. The problem is that up to now there is no programming language by which physical systems can constructively be described. Such tool, however, is essential for the compact description and automatic production of complex systems. This paper introduces a programming language, called Akton-Algebra, which provides the foundation for the complete description of discrete physical systems. The approach originates from the finding that every discrete physical system reduces to a spatiotemporal topological network of nodes, if the functional and metric properties are deleted. A next finding is that there exists a homeomorphism between the topological network and a sequence of symbols representing a program by which the original nodal network can be reconstructed. Providing Akton-Algebra with functionality turns it into a flow-controlled general data processing language, which by introducing clock control and addressing can be further transformed into a classical programming language. Providing Akton-Algebra with metrics, i.e. the shape and size of the components, turns it into a novel hardware system construction language.展开更多
文摘In 1957, the launch of the first artificial satellite ushered in a new era for modern space science. The past 50 years' developments in China's space science have witnessed many major missions, and substantial progress has been achieved in space science study, exploration technology as well as experiment technology. Strategic Priority Program on Space Science was officially started in 2011. Through both self-developed space science missions and those with international cooperation,it is expected that the innovative breakthroughs will be realized, leapfrog development of related high-tech will be achieved to establish the important strategic status of space science in national development. To sum up, the implementation of the Strategic Priority Program on Space Science will definitely promote the rapid development of China's space science endeavor, making contributions to China's development and the progress of human civilization.
文摘CASC President Ma Xingrui was interviewed by a Hong Kong magazine recently and talked about the prospects of China's major space projects. Mr. Ma is the deputy Commander-in-Chief of China's Manned Space Program, Commander-in-Chief of China's Lunar Exploration Program, and Commander-in-Chief of China's new-generation launch vehicles. Mr. Ma said that the LM-5 launch vehicle, with LEO loading capacity of 25t, will carry out its maiden flight around the end of 2014.
基金supported by National Natural Science Foundation of China (Grant Nos. 61035005,61075087)Hubei Provincial Natural Science Foundation of China (Grant No. 2010CDA005)Hubei Provincial Education Department Foundation of China (Grant No.Q20111105)
文摘Path planning for space vehicles is still a challenging problem although considerable progress has been made over the past decades.The major difficulties are that most of existing methods only adapt to static environment instead of dynamic one,and also can not solve the inherent constraints arising from the robot body and the exterior environment.To address these difficulties,this research aims to provide a feasible trajectory based on quadratic programming（QP） for path planning in three-dimensional space where an autonomous vehicle is requested to pursue a target while avoiding static or dynamic obstacles.First,the objective function is derived from the pursuit task which is defined in terms of the relative distance to the target,as well as the angle between the velocity and the position in the relative velocity coordinates（RVCs）.The optimization is in quadratic polynomial form according to QP formulation.Then,the avoidance task is modeled with linear constraints in RVCs.Some other constraints,such as kinematics,dynamics,and sensor range,are included.Last,simulations with typical multiple obstacles are carried out,including in static and dynamic environments and one of human-in-the-loop.The results indicate that the optimal trajectories of the autonomous robot in three-dimensional space satisfy the required performances.Therefore,the QP model proposed in this paper not only adapts to dynamic environment with uncertainty,but also can satisfy all kinds of constraints,and it provides an efficient approach to solve the problems of path planning in three-dimensional space.
文摘With the complete success of the 2nd stage of Chinese Manned Space Program(CMSP),several science researches have been performed on Tiangong-1 experimental spacelab, which was docked with three Shenzhou spaceships one after another. The China's real spacelab, Tiangong-2 will be launched in 2015, docked with a Shenzhou spaceship soon. After six months, it will be docked with the first Chinese cargo ship(Tianzhou-1). More space science researches, involving with space biology, fluid physics, fundamental physics, materials science, Earth science, astronomy and space environmental science, will be operated on Tiangong-2 spacelab, and crewed and cargo spaceships. Furthermore, the considerable large-scale space utilization of Shina's Space Station is planned. The research fields include yet not limited to space medicine and physiology, space life science and biotechnology, fluid physics and combustion in microgravity, space material science,and fundamental physics in microgravity, space astronomy, Earth science, space physics and space environment utilization, technology demonstration.
基金supported by the National Natural Sciences Foundation of China(6113200261321061+3 种基金6123101161201183)the National Basic Research Program of China(2014CB340206)the Tsinghua University Initiative Scientific Research Program(2011Z05117)
文摘This paper investigates the maximum network through- put for resource-constrained space networks based on the delay and disruption-tolerant networking （DTN） architecture. Specifically, this paper proposes a methodology for calculating the maximum network throughput of multiple transmission tasks under storage and delay constraints over a space network. A mixed-integer linear programming （MILP） is formulated to solve this problem. Simula- tions results show that the proposed methodology can successfully calculate the optimal throughput of a space network under storage and delay constraints, as well as a clear, monotonic relationship between end-to-end delay and the maximum network throughput under storage constraints. At the same time, the optimization re- sults shine light on the routing and transport protocol design in space communication, which can be used to obtain the optimal network throughput.
文摘First, this paper suggests a hypothetical formula that aims to explain how we are conditioned to think. Finding different ways to think about relevant decisions and problems through multilogical approaches could help make the decision-making or problem easier to understand and manage than any conventional one-directional way of thinking (or monological thinking). Secondly, one theory to help understand the quality of how we think is through associating ideas of reality with what we observe. This is helpful through a theory such as Memetics, or the study of memes (and evolutionary replicator points [genes, memes, tremes]), as coined by Richard Dawkins in his 1976 book, <i>The Selfish Gene</i>, and proposed by other authors including Dr. Susan Blackmore (“The meme machine”, 1999). Plenty of indications and evidences seem to show how we are entering the third replicator point (technomemes), consisting in a psycho-sociological process of merging human beings and societies (memeplexes) with technological advancement. Digital and non-digital relationships to our values/ideas/ideologies and beliefs make us think differently and often via manners that can damage our reasoning skills and proper ways to process information (see problematic topics such as “post-truth era”, disinformation, information overload, anti-science and anti-intellectual trends, conspiracies and so on), but we still do not have any educational and/or individual training to understand critically and apply such an understanding in such relationships (through states of mind). This paper intends to explore a theory of Metamemetics and Multilogical Thinking theorized by Diego Fontanive (<a href="https://en.wikipedia.org/wiki/Memetics">https://en.wikipedia.org/wiki/Memetics</a> see: *terminology, see: *Meta-memetic thinking). Lastly, this approach is explored and applied with examples of approaches to problems people hypothetically have. This exploration is put into the context of space exploration and studying the psychology of individuals who are in solitary situations for long periods.
文摘PARCS (Parallel Asynchronous Recursive Control System) programming tools that allow unified add-on parallel extensions over traditional programming languages are described. The PARCS model is based on the conception of a control space, which is used to describe parallel interacting processes. Structurally, the control space consists of addressable “points” and “channels”. Executing modules are assigned to points and communicate through channels connecting points. Recursive embeddings of processes are allowed. The effective implementation of PARCS on cloud platforms Microsoft AZURE and Amazon EC2 is also presented.
基金Project supported by the Innovation Foundation of the Chinese Academy of Sciences,and the National Basic Research Program of China(Grant No.2002CB713801)
文摘The program OASIS4.0 has been released. Apart from the improved single-wavelength anomalous diffraction （SAD） phasing algorithm described in a separate paper, an important new feature in this version is the automation of the iterative phasing and model-building process in solving protein structures. A new graphical user＇s interface （GUI） is provided for controlling and real-time monitoring the dual-space iterative process. The GUI is discussed in detail in the present paper.
文摘The National Space Science Center of the Chinese Academy of Sciences(NSSC,CAS),as the leading institute responsible for the overall management of scientific satellite missions in China,is China’s gateway to space science.NSSC is the cradle of China’s first artificial satellite“Dongfanghong-1”(DFH-1).In the course of more than 60 years’development,NSSC has led the implementation of“Double Star Program”,the first science-driven space mission in China,and successively implemented a fleet of scientific missions under the Strategic Priority Program on Space Science(Phase I and II),such as the Dark Matter Particle Explorer(DAMPE,or Wukong),the Quantum Experiments at Space Scale(QUESS,or Micius),the Hard X-ray Modulation Telescope(HXMT,or Insight),the Taiji-1,the Advanced space-based Solar Observatory(ASO-S,or Kuafu)and the Einstein Probe(EP).Currently,the space science satellite series has been established,yielding substantial scientific output.For the future,the Solar wind Magnetosphere Ionosphere Link Explorer(SMILE),a China-ESA joint mission,will be launched in 2025.In addition,the newly released National Mid-and Long-term Program for Space Science Development in China(2024-2050),the first of its kind at the national level,has identified five key scientific themes.A fleet of future scientific missions revolving these themes will deepen mankind’s scientific understanding of the universe.
基金supported by the National Natural Science Foundation of China(91648204 61601486)+1 种基金State Key Laboratory of High Performance Computing Project Fund(1502-02)Research Programs of National University of Defense Technology(ZDYYJCYJ140601)
文摘Unmanned aerial vehicles(UAVs) may play an important role in data collection and offloading in vast areas deploying wireless sensor networks, and the UAV’s action strategy has a vital influence on achieving applicability and computational complexity. Dynamic programming(DP) has a good application in the path planning of UAV, but there are problems in the applicability of special terrain environment and the complexity of the algorithm.Based on the analysis of DP, this paper proposes a hierarchical directional DP(DDP) algorithm based on direction determination and hierarchical model. We compare our methods with Q-learning and DP algorithm by experiments, and the results show that our method can improve the terrain applicability, meanwhile greatly reduce the computational complexity.
文摘In case of mathematical programming problems with conflicting criteria, the Pareto set is a useful tool for a decision maker. Based on the geometric properties of the Pareto set for a bicriteria linear programming problem, we present a simple and fast method to compute this set in the criterion space using only an elementary linear program solver. We illustrate the method by solving the pig diet formulation problem which takes into account not only the cost of the diet but also nitrogen or phosphorus excretions.
文摘During past 2 years, Chinese scientists have conducted a series of scientific,technical, and application research relating to earth observation for satellite and payload development, meteorological and environmental monitoring, disaster reduction, resources surveying, and sustainable development of national economy and society. An short and incomplete review is given in this paper.
文摘Every algorithm which can be executed on a computer can at least in principle be realized in hardware, i.e. by a discrete physical system. The problem is that up to now there is no programming language by which physical systems can constructively be described. Such tool, however, is essential for the compact description and automatic production of complex systems. This paper introduces a programming language, called Akton-Algebra, which provides the foundation for the complete description of discrete physical systems. The approach originates from the finding that every discrete physical system reduces to a spatiotemporal topological network of nodes, if the functional and metric properties are deleted. A next finding is that there exists a homeomorphism between the topological network and a sequence of symbols representing a program by which the original nodal network can be reconstructed. Providing Akton-Algebra with functionality turns it into a flow-controlled general data processing language, which by introducing clock control and addressing can be further transformed into a classical programming language. Providing Akton-Algebra with metrics, i.e. the shape and size of the components, turns it into a novel hardware system construction language.
