[{"id":1003,"title":"Spacecraft cluster cloud high-frequency optimization computing theory","sha":"a91375e7bdfdeb706a67def2c0cff450","user_id":null,"state":"published","body":"The satellite-ground collaborative computing requires information transmission between the satellite and the ground, which will cause significant delay, resulting in a time from calculation to execution of more than milliseconds. In the best case, the spacecraft is 300km above the ground station, so the round-trip transmission between the satellite and the ground will cause a delay of 2 milliseconds. For cloud computing, if the distance between two spacecraft is 300 meters, the round-trip transmission of computing information between the two spacecraft will only cause a delay of 2 microseconds. Cloud computing refers to autonomous computing only by the spacecraft in the cluster, without the need for a ground station.\r\nCertain spacecraft swarm operations are extremely time-critical. This is just as high-frequency trading in the stock market places \"server clusters\" very close to the exchange's computers to shorten the distance that trading orders travel at the speed of light through fiber optic cables.\r\nSince the operation of the spacecraft obeys the laws of celestial mechanics, it is an important subject direction in the future to quickly optimize the allocation strategy of cloud computing and information transmission according to the changing relative position of the spacecraft.\r\n","created_at":"2022-09-10T13:41:02.313Z","updated_at":"2022-10-21T06:00:46.837Z","zenodo_id":7232600,"doi":"https://doi.org/10.5281/zenodo.7232600","subject":null,"tags":["computational science","spacecraft cluster","space"],"vote_count":0,"view_count":1,"score":0.1,"deleted":false,"muted":false,"tweeted":false,"attachment_file_name":null,"attachment_content_type":null,"attachment_file_size":null,"attachment_updated_at":null},{"id":103,"title":"Develop a human-readable formal language for complex scientific models","sha":"27deb8bb6d86c83d29f53320f02a22a5","user_id":250,"state":"published","body":"Much modern research is based on complex models for complex systems. Examples are biological macromolecules, climate models, or systems biology. These models are too complex for publishing in journal articles. They currently exist only in the heads of a few experts and embedded in simulation software, inaccessible for inspection by peers. Most users of simulation software have no precise knowledge of the models they are applying. See [here](http://dx.doi.org/10.12688/f1000research.3978.2) for an in-depth discussion.\r\n\r\nSuch models should be encoded in [formal languages](http://en.wikipedia.org/wiki/Formal_language) designed for this purpose. In contrast to programming languages, these languages are designed for simplicity and readability by humans. Formalized complex models can then be used for testing simulation software, and read as input by future simulation software. They can also be worked on by software tools similar to today's computer algebra systems, and published as datasets.\r\n\r\nThe idea is similar to the use of [specification languages](http://en.wikipedia.org/wiki/Specification_language) for software. A specification for scientific software would consist of several models plus a task to be performed based on these models. A formal language for scientific models would be a hybrid of a software specification language and a notation like [OpenMath](http://www.openmath.org/).\r\n","created_at":"2015-02-27T08:56:20.512Z","updated_at":"2023-04-22T15:39:45.301Z","zenodo_id":23586,"doi":"http://dx.doi.org/10.5281/zenodo.15700","subject":null,"tags":["computational science","complex systems","formal methods"],"vote_count":26,"view_count":1,"score":26.1,"deleted":false,"muted":false,"tweeted":true,"attachment_file_name":null,"attachment_content_type":null,"attachment_file_size":null,"attachment_updated_at":null}]