基于Petri网的联锁系统进路处理过程建模

本文采用有Petri网对铁路信号计算机联锁系统的进路控制过程进行建模,确保系统逻辑定义的一致性、完整性和精确性,并对所建立的模型进行仿真,以验证所建模型的性质。结果表明该方法在系统设计阶段可以提高系统的安全性和可靠性。     

探月飞行中太阳帆航天器帆面光学性能演化

介绍了太阳帆航天器在进行探月飞行时,非理想帆面的推力计算;重点分析了在轨长时间运行时空间环境对帆面光学系数及轨道漂移的影响.计算结果表明,太阳帆光学性能的退化对总推力、特征加速度和光压数的演化不可忽视,高精度深空探测轨道的设计要考虑空间环境因素.     

安阳市水务公司综合信息管理系统

本文结合城市供水，论述了城市供水计算机辅助调度系统、内部办公系统、营业收费和视频监控系统。逐步形成了计算机综合信息管理系统，取得了较好的经济和社会效益。