In the EasyDyn multibody open source project, computer algebra has been used from the beginning to generate the expressions of velocities and accelerations of the bodies, by symbolic differentiation of their position....In the EasyDyn multibody open source project, computer algebra has been used from the beginning to generate the expressions of velocities and accelerations of the bodies, by symbolic differentiation of their position. Originally, the MuPAD computer algebra system had been retained because it was freely available for non commercial purposes and showed very good technical features.Unfortunately, MuPAD is nowadays only available through commercial channels and needs to be replaced to keep EasyDyn publicly available. This paper presents why Xcas/Giac is finally selected,among other long-term promising projects like Axiom, Maxima, Sage or Yacas. Among the choice criteria, the accessibility, the portability, the ease of use, the automatic export to C language, and the similarity with the -MuPAD language are all considered. The performances of the MuPAD and Xcas/Giac implementations are also compared on some examples.C 2013 The Chinese Society of Theoretical and Applied Mechanics. [doi：10.1063/2.13013012]展开更多
Understanding of the cellular signaling pathways involved in cancer disease is of great importance.These complex biological mechanisms can be thoroughly revealed by their structure,dynamics,and control methods.Artific...Understanding of the cellular signaling pathways involved in cancer disease is of great importance.These complex biological mechanisms can be thoroughly revealed by their structure,dynamics,and control methods.Artificial intelligence offers rule-based models that favor the research of human signaling processes.In this paper,we give an overview of the advantages of the formalism of symbolic models in medical biology and cell biology of the uveal melanoma.A language is described that allows us:(1)To define the system states and elements with their alterations;(2)To model the dynamics of the cellular system;and(3)To perform inference-based analysis with the logical tools of the language.展开更多
文摘In the EasyDyn multibody open source project, computer algebra has been used from the beginning to generate the expressions of velocities and accelerations of the bodies, by symbolic differentiation of their position. Originally, the MuPAD computer algebra system had been retained because it was freely available for non commercial purposes and showed very good technical features.Unfortunately, MuPAD is nowadays only available through commercial channels and needs to be replaced to keep EasyDyn publicly available. This paper presents why Xcas/Giac is finally selected,among other long-term promising projects like Axiom, Maxima, Sage or Yacas. Among the choice criteria, the accessibility, the portability, the ease of use, the automatic export to C language, and the similarity with the -MuPAD language are all considered. The performances of the MuPAD and Xcas/Giac implementations are also compared on some examples.C 2013 The Chinese Society of Theoretical and Applied Mechanics. [doi：10.1063/2.13013012]
文摘Understanding of the cellular signaling pathways involved in cancer disease is of great importance.These complex biological mechanisms can be thoroughly revealed by their structure,dynamics,and control methods.Artificial intelligence offers rule-based models that favor the research of human signaling processes.In this paper,we give an overview of the advantages of the formalism of symbolic models in medical biology and cell biology of the uveal melanoma.A language is described that allows us:(1)To define the system states and elements with their alterations;(2)To model the dynamics of the cellular system;and(3)To perform inference-based analysis with the logical tools of the language.
