基于Pi验算的流程建模方法探讨

传统的软件开发在需求阶段多是采用自然语言描述,因为自然语言自身的矛盾性和语义的模糊性等,在后期的运行中,难以避免软件的很多漏洞。本文针对这一现状,分析和探讨了形式化方法的优势,以形式化语言Pi验算描述交互为例,演示了形式化方法的准确性和采用形式化方法的必要性。     

基于H5和CSS3的企业网站开发技术探讨

HTML5和CSS3是Web前端开发必不可少的技术.针对更好地布局网页和设置网页样式,结合企业网站开发的经验,总结了这两门技术在网站开发过程中的使用技巧.     

福建某矿山尾矿坝稳定性分析评价

为了尾矿库的安全生产,需对尾矿坝的中期及终期运行状态进行稳定性评价,本文以福建省某矿山尾矿坝为例,采用瑞典圆弧法对其进行稳定性计算及分析。     

辅助曝气式新型人工湿地模型处理污水的研究

人工湿地系统具有投资少、运行费用低、管理简单、处理效果稳定、便于就地回用等特点.在人工湿地的基础上增加曝气装置,推动了系统对COD的去除作用以及氨氮的硝化作用.研究表明,在进水COD为324mg/L、NH4＋-N为34mg/L的条件下,出水平均浓度分别为25,3.8mg/L,达到了国家一级A标准.     

辅助曝气式新型人工湿地模型处理污水的研究

人工湿地系统具有投资少、运行费用低、管理简单、处理效果稳定、便于就地回用等特点.在人工湿地的基础上增加曝气装置,推动了系统对COD的去除作用以及氨氮的硝化作用.研究表明,在进水COD为324mg/L、NH4＋-N为34mg/L的条件下,出水平均浓度分别为25,3.8mg/L,达到了国家一级A标准.     

基于Pi验算的信息化系统流程研究与设计

软件建模是把现实世界的需求抽象成概念模型,软件编码是把概念模型转变成能够运行的代码,在建模阶段,针对传统的UML即统一建模语言对信息系统业务流程的建模,无法严谨地定义和模拟信息系统的业务流程,不能保证流程本身的正确性和一致性等问题.以物流订单流程为例,研究BPMN表达业务流程及与形式化语言之间的转换,用形式化描述语言Pi演算描述和验证BPMN已描述的信息系统业务流程,通过JPDL直接定义出已通过Pi演算验证的订单流程,并应用于工作流引擎JBPM中,从而保证应用系统业务流程的正确性.     

基于Oracle的图书管理系统设计与实现

目前有很多数据库设计的理论知识,但是完整的数据库设计与实现的案例并不多,尤其Oracle是相对比较复杂的数据库.结合数据库设计的理论知识,完成了图书管理系统数据库的设计与实现.