赵珊
- 作品数：5 被引量：5H指数：2
- 供职机构：西安建筑科技大学更多>>
- 发文基金：国家自然科学基金陕西省教育厅科研计划项目更多>>
- 相关领域：文化科学自动化与计算机技术建筑科学电气工程更多>>
- 基于UML和Petri网模型验证框架的设计与实现
- 设计初期的错误,严重的影响着实现阶段的代码验证、测试、及运行维护期的成本和工作量。在应用建模阶段尽量减少错误,对提高整个软件开发的效率和质量,具有重要的理论研究意义和广泛的实际价值。论文介绍了统一建模语言UML的基本概念...
- 赵珊
- 关键词：PETRI网UML可达图关联矩阵
- 文献传递
- 基于分层Petri网的仓储管理建模与验证被引量：3
- 2010年
- 文中综合理论研究和仓储管理项目的维护经验。应用Petri网理论,介绍了Petri网的存储机制,并提出了基于工作流和Petri网分层建模的实施策略、操作步骤和一套简明案例。详细介绍并给出了采用自动工具WoPeD2.0对部分建模实例的验证分析和修改过程,分析讨论了Petri网的存储机制及在模型验证中的支柱作用。经分析验证,得出实验结果正确无误。研究工作重点是提供一套基于Petri网建模分析的实施步骤和简明案例,旨在推动这一形式化方法在工程领域的广泛应用。
- 赵珊马光思毛宏燕
- 关键词：仓储管理工作流
- 高等学校建筑物能耗预测技术研究与建模
- 2021年
- 为规范绿色校园建设,推进校园建筑能耗绿色经济运行管理,提高绿色校园运行管理的经济性、科学性、规范性,住建部出台《绿色校园评价标准》国家标准,在能源与资源管理评价指标中,建模预测及针对性管理是一种有效的管理方法。本文针对高等学校建筑能耗预测及节能管理需求,从建筑电耗入手,经过对电耗消费数据的采集与统计,借助机器学习数据预测技术构建建筑物电耗回归模型,形成高校各种类型建筑物的电能消耗预测模型,为绿色校园运行、建设提供技术基础。
- 张龙卜长安赵珊李洋
- 关键词：绿色校园神经网络
- 高校后勤服务质量监督管理体系建设被引量：2
- 2018年
- 为提高高校后勤管理和服务水平,建立一套与后勤管理的地位、作用、职能相适应的服务质量监督管理体系,使之能更专业、更系统、更完善、更有理论体系地支撑高校后勤为学校及师生提供优质服务,对此,本文进行了探讨。
- 赵珊李金丽白翠红
- 关键词：高校后勤服务后勤服务质量监督管理体系社会化
- 基于Petri网的高校后勤工程管理建模与验证
- 2018年
- 综合高校后勤管理理论研究和工程管理项目的经验,提出了基于工作流和Petri网分层建模的实施策略、操作步骤和简明案例,给出了采用自动工具Wo Pe D2.0对部分建模实例的验证分析和修改过程,分析验证了高校后勤工程管理的步骤和内容。
- 赵珊
- 关键词：后勤管理工作流
