排序方式: 共有7条查询结果,搜索用时 0 毫秒
1
1.
传统的软件开发在需求阶段多是采用自然语言描述,因为自然语言自身的矛盾性和语义的模糊性等,在后期的运行中,难以避免软件的很多漏洞。本文针对这一现状,分析和探讨了形式化方法的优势,以形式化语言Pi验算描述交互为例,演示了形式化方法的准确性和采用形式化方法的必要性。 相似文献
2.
何雪锋 《电脑编程技巧与维护》2017,(16)
HTML5和CSS3是Web前端开发必不可少的技术.针对更好地布局网页和设置网页样式,结合企业网站开发的经验,总结了这两门技术在网站开发过程中的使用技巧. 相似文献
3.
为了尾矿库的安全生产,需对尾矿坝的中期及终期运行状态进行稳定性评价,本文以福建省某矿山尾矿坝为例,采用瑞典圆弧法对其进行稳定性计算及分析。 相似文献
4.
辅助曝气式新型人工湿地模型处理污水的研究 总被引:1,自引:0,他引:1
何雪锋 《青岛理工大学学报》2012,33(4):84-88
人工湿地系统具有投资少、运行费用低、管理简单、处理效果稳定、便于就地回用等特点.在人工湿地的基础上增加曝气装置,推动了系统对COD的去除作用以及氨氮的硝化作用.研究表明,在进水COD为324mg/L、NH4+-N为34mg/L的条件下,出水平均浓度分别为25,3.8mg/L,达到了国家一级A标准. 相似文献
5.
何雪锋 《电脑编程技巧与维护》2018,(8):106-107,135
软件建模是把现实世界的需求抽象成概念模型,软件编码是把概念模型转变成能够运行的代码,在建模阶段,针对传统的UML即统一建模语言对信息系统业务流程的建模,无法严谨地定义和模拟信息系统的业务流程,不能保证流程本身的正确性和一致性等问题.以物流订单流程为例,研究BPMN表达业务流程及与形式化语言之间的转换,用形式化描述语言Pi演算描述和验证BPMN已描述的信息系统业务流程,通过JPDL直接定义出已通过Pi演算验证的订单流程,并应用于工作流引擎JBPM中,从而保证应用系统业务流程的正确性. 相似文献
6.
何雪锋 《青岛建筑工程学院学报》2012,(4):84-88
人工湿地系统具有投资少、运行费用低、管理简单、处理效果稳定、便于就地回用等特点.在人工湿地的基础上增加曝气装置,推动了系统对COD的去除作用以及氨氮的硝化作用.研究表明,在进水COD为324mg/L、NH4+-N为34mg/L的条件下,出水平均浓度分别为25,3.8mg/L,达到了国家一级A标准. 相似文献
7.
何雪锋 《电脑编程技巧与维护》2017,(5)
目前有很多数据库设计的理论知识,但是完整的数据库设计与实现的案例并不多,尤其Oracle是相对比较复杂的数据库.结合数据库设计的理论知识,完成了图书管理系统数据库的设计与实现. 相似文献
1