本文从业务模型分析、功能模块分析、系统结构和功能设计等方面，提出了输电线路管理信息系统的开发设计思想和方法。
This paper introduce the management information system design from the business model analyzing, function mold piece analyzing, system construction designing, system function designing, etc.
基于模型检测的形式化方法就是这样一种技术，并已成功地在实践中应用于对复杂的时序线路设计和通信协议的正确性验证。
Model checking based formal verification is a technique of this kind, and has been successful used in practice to verify complex sequential circuit designs and communication protocols.
介绍了支线公交在城市公交系统中的定位，提出一种基于区域交通模型的支线公交线路设计方法。
The paper introduces the orientation of feeder bus in urban bus system, and proposes a methodology for feeder bus route design based on regional traffic model.
应用推荐