面板坝周边缝控制点坐标新思维

运用空间解析几何理论知识与CAD制图工具及常用的工具软件EXCEL,解决了以往在面板坝设计中周边缝控制点难以精确定位的问题,该法在紫坪铺水利工程中的实际运用,取得了满意的设计成果。     

基于PDCA循环模型的项目管理系统的设计与实现

PDCA循环是一个持续改进模型,它包括持续改进与不断学习的四个循环反复的步骤,即计划(Plan)、执行(Do)、检查(Check/Study)、处理(Act)。通过构建中国银联某项目管理信息系统的实例,介绍了在,NET平台下,采用PDCA循环模型构建应用系统的设计思想和实现方法。     

关于选煤厂集控系统的探析

针对选煤厂的生产特点和各种数据管理的特点，得出集控系统的基本设计思想。该系统可以实现对生产流程的自动控制、生产调度、信息管理，并把生产调度系统纳入管理系统，可实现科学的生产经营管理和高效办公自动化。该系统对提高选煤厂的生产质量、效率和自动化程度起到促进作用。     

紫坪铺水利枢纽工程左岸堆积体稳定分析

紫坪铺水利枢纽工程左岸堆积体所处地理位置距大坝及厂房进水口很近,其稳定的可靠性对大坝及进水口的正常运行起着关键作用,左岸堆积体的稳定分析涉及的因素比较复杂,介绍了对堆积体稳定性进行的核算。     

基于Spin的SysML活动图验证框架

系统建模语言（systems modeling language,SysML）缺乏精确的形式化分析和验证手段,造成模型存在死锁、活锁等诸多问题,可以通过形式化验证方法来提高模型的正确性。然而,受制于传统的形式化方法需要复杂的公式推理,并且不易理解等方面局限性,大多数验证仅限专家使用并且很耗时。为了克服SysML模型中存在的问题,提出了一种针对SysML多层次活动图的分析验证框架。它可以根据已构建的模型,将多层次活动图分解转换为Spin的输入模型,并对相关子图进行重组和验证。实验表明,该方法可以有效识别多层次活动图,并准确实施转换,为模型验证的演化提供支持。