为了实现复杂航天器导航、制导与控制(guidance navigation and control,GNC)系统的快速设计与仿真验证,加快GNC系统从算法设计到产品实现的过程,解决数字仿真与实物仿真一致性的问题,提出了一种基于星载软件在环的GNC快速原型仿真系统...为了实现复杂航天器导航、制导与控制(guidance navigation and control,GNC)系统的快速设计与仿真验证,加快GNC系统从算法设计到产品实现的过程,解决数字仿真与实物仿真一致性的问题,提出了一种基于星载软件在环的GNC快速原型仿真系统。通过虚拟GNC计算机处理器内核和硬件接口的方式实现星载GNC计算机原型,解决了快速原型仿真系统GNC软件代码与实物星载计算机软件代码的一致性;利用Simulink/Matlab进行航天器动力学/运动学建模和GNC系统测量部件及执行部件的数字化建模,基于实时扩展(real time extension,RTX)系统和功能硬件板卡实现数字化模型与实物的转化,解决数字仿真与实物仿真GNC系统内部接口特性、时序和逻辑一致性的问题。应用实例表明,基于星载软件在环的GNC快速原型仿真系统仿真数据与GNC半物理仿真系统仿真数据高度一致,证实了仿真系统设计的有效性;同时基于该仿真系统可以实现GNC系统软件、算法和单机产品的并行开发,缩短系统研制周期。展开更多
BioNetSim,a Petri net-based software for modeling and simulating biochemistry processes,is developed,whose design and implement are presented in this pa-per,including logic construction,real-time access to KEGG(Kyoto ...BioNetSim,a Petri net-based software for modeling and simulating biochemistry processes,is developed,whose design and implement are presented in this pa-per,including logic construction,real-time access to KEGG(Kyoto Encyclopedia of Genes and Genomes),and BioModel database.Furthermore,glycolysis is simulated as an example of its application.BioNetSim is a helpful tool for researchers to download data,model biological network,and simulate complicated biochemistry processes.Gene regulatory networks,metabolic pathways,signaling pathways,and kinetics of cell interaction are all available in BioNetSim,which makes modeling more efficient and effective.Similar to other Petri net-based softwares,BioNetSim does well in graphic application and mathematic construction.Moreover,it shows several powerful predominances.(1)It creates models in database.(2)It realizes the real-time access to KEGG and BioModel and transfers data to Petri net.(3)It provides qualitative analysis,such as computation of constants.(4)It generates graphs for tracing the concentration of every molecule during the simulation processes.展开更多
文摘为了实现复杂航天器导航、制导与控制(guidance navigation and control,GNC)系统的快速设计与仿真验证,加快GNC系统从算法设计到产品实现的过程,解决数字仿真与实物仿真一致性的问题,提出了一种基于星载软件在环的GNC快速原型仿真系统。通过虚拟GNC计算机处理器内核和硬件接口的方式实现星载GNC计算机原型,解决了快速原型仿真系统GNC软件代码与实物星载计算机软件代码的一致性;利用Simulink/Matlab进行航天器动力学/运动学建模和GNC系统测量部件及执行部件的数字化建模,基于实时扩展(real time extension,RTX)系统和功能硬件板卡实现数字化模型与实物的转化,解决数字仿真与实物仿真GNC系统内部接口特性、时序和逻辑一致性的问题。应用实例表明,基于星载软件在环的GNC快速原型仿真系统仿真数据与GNC半物理仿真系统仿真数据高度一致,证实了仿真系统设计的有效性;同时基于该仿真系统可以实现GNC系统软件、算法和单机产品的并行开发,缩短系统研制周期。
基金supported by grants from the National Basic Research Program of China(973 Program)(Grant No.2012CB721000)the Key Project of Shanghai Science and Technology Commission(No.11JC1406400)the Research Innovation Project of Shanghai Education Commission(No.09YZ95).
文摘BioNetSim,a Petri net-based software for modeling and simulating biochemistry processes,is developed,whose design and implement are presented in this pa-per,including logic construction,real-time access to KEGG(Kyoto Encyclopedia of Genes and Genomes),and BioModel database.Furthermore,glycolysis is simulated as an example of its application.BioNetSim is a helpful tool for researchers to download data,model biological network,and simulate complicated biochemistry processes.Gene regulatory networks,metabolic pathways,signaling pathways,and kinetics of cell interaction are all available in BioNetSim,which makes modeling more efficient and effective.Similar to other Petri net-based softwares,BioNetSim does well in graphic application and mathematic construction.Moreover,it shows several powerful predominances.(1)It creates models in database.(2)It realizes the real-time access to KEGG and BioModel and transfers data to Petri net.(3)It provides qualitative analysis,such as computation of constants.(4)It generates graphs for tracing the concentration of every molecule during the simulation processes.
