论文部分内容阅读
利用有穷自动机理论对＂企业车辆管理＂的生命周期状态转化进行了形式化描述.通过分析车辆管理的流程,得到了车辆管理所涉及的各项业务流程,并对各项业务进行了说明,使得车辆管理的业务流程更加清晰.
有穷自动机在车辆管理系统开发中的应用
【摘 要】
：
利用有穷自动机理论对＂企业车辆管理＂的生命周期状态转化进行了形式化描述.通过分析车辆管理的流程,得到了车辆管理所涉及的各项业务流程,并对各项业务进行了说明,使得车辆管理
【机 构】
：
哈尔滨工业大学（威海）
【出 处】
：
哈尔滨商业大学学报：自然科学版
【发表日期】
：
2012年4期
【基金项目】
：
国家自然科学基金（60803092）
其他文献
将蒸汽发生器的线性参数变化模型作为预测模型,设计H2/H∞多目标模型预测控制器.根据鲁棒模型预测控制算法,在线求解多目标优化问题获得控制器.求解时指定一个性能指标优化另
在自来水厂水处理工艺中,砷质量浓度是一个重要的控制参数,它直接影响供水质量与人民群众的身体健康.除砷是自来水生产过程中重要的环节,具有时变、带迟滞、非线性的特点,本
9月16日,《湖南省天岳幕阜山国家森林公园森林康养认证实践》项目启动暨森林认证培会在天岳幕阜山景区开幕。本次活动由湖南省林业科学院与湖南省森林认证研究与推广中心联合
为探讨亚硝酸型同步硝化反硝化SND过程中的生物脱氮特性,以实际生活污水为对象,通过连续运行移动床生物膜反应器MBBR系统,研究了溶解氧质量浓度DO和水力停留时间HRT对亚硝酸