论文部分内容阅读
本文在介绍形式化方法和统一系统概括、模型的基础上，比较了常规方法和形式化方法，探讨了形式化方法在统一系统中各个阶段的规范应用，以及需求建模，得出了形式化方法所具有的特点有助于系统的实现和完善，同时使用petri网模型验证了统一系统中案件办理流程的路由结构。
基于形式化方法在检察机关统一业务系统中的应用
【摘 要】
：
本文在介绍形式化方法和统一系统概括、模型的基础上，比较了常规方法和形式化方法，探讨了形式化方法在统一系统中各个阶段的规范应用，以及需求建模，得出了形式化方法所具有的
【出 处】
：
2014年科技强检电子信息系统研发与示范项目成果研讨会
【发表日期】
：
2014年期
其他文献
福堂水电站调压井的开挖直径为31m,井筒深度112m,所处地形及地质条件复杂,目前在我国尚缺乏类似工程的施工经验。为使工程施工安全、经济、快速地进行,有必要对施工过程中调压井及井周围岩的应力及变形进行研究。本文结合福堂调压井工程,就地下工程中的热点问题,选取了在理论上和工程实践中有实际意义的几个问题采用施工监测和数值仿真模拟相结合的方法进行了分析和探讨。1、以“新奥法”的基本思想为指导,提出了适合
目前,中国正处于传统农业向现代农业转变的初期,农村社会化服务体系还比较薄弱.为此,采用高新技术改造传统农业,提高劳动者的素质、推动农业生产发展和实现农业现代化,将产生
如何对特高拱坝中的大体积混凝土结构进行有效的温度控制一直是水利工程设计和施工中关心的核心问题。而通水冷却作为大体积混凝土工程最有效的温控措施，在其施工过程中通常存
新疆的宽浅游荡型河段河床、河岸多为细沙土,水流多成集中的股流,股流方向摆动不定,有时与岸坡防护工程呈较大的交角甚至是横流,股流淘刷严重,冲刷深度很大。这就要求调治构
本文介绍了全国检察机关统一业务应用系统决策支持系统的开发背景、设计思路、实现方式及其所依赖的数据仓库的设计与实现，并以公诉业务的一个常用统计报表为例全面展示了
会议