-
题名智能家居平台构件适应与协同模型及形式化分析
- 1
-
-
作者
李爱萍
马俊伟
段利国
-
机构
太原理工大学计算机科学与技术学院
-
出处
《太原理工大学学报》
CAS
北大核心
2016年第2期212-217,共6页
-
基金
山西省科技攻关资助项目(工业):遗留软件再工程的研究与实现(20120321030)
太原理工大学校科技发展基金资助项目(2012L067)
-
文摘
以解决智能家居平台运行过程中的构件适应与协同问题为目的,保证设备独立性与数据一致性为特点,提出一种基于构件适应与协同的智能家居平台逻辑模型,对平台及各构件进行形式化描述与建模,并结合平台功能需求对模型性质进行分析与验证。实验表明,在本模型下平台构件的适应与协同满足不死锁、不中止、不发散的必要性质,且在并行处理多用户请求的条件下能够实现数据一致性与操作有效性。本研究对智能家居平台的研发与验证有一定意义。
-
关键词
智能家居平台
构件适应
构件协同
形式化
-
Keywords
sart home frameworks
component adaptation
component interaction
formal methods
-
分类号
TP399
[自动化与计算机技术—计算机应用技术]
-
-
题名弧形钢闸门支承钢梁横向加劲肋布置研究
被引量：5
- 2
-
-
作者
肖阳
李守义
刘计良
杨勇
张紫璇
李浪
-
机构
西安理T大学水利水电学院
西北旱区生态水利国家重点实验室
-
出处
《水资源与水工程学报》
CSCD
2019年第5期189-193,共5页
-
基金
国家自然科学基金项目(51579208)
陕西省自然科学基金项目(2018JQ5102)
-
文摘
关于水工平面钢闸门主梁梁高的选取问题,规范未给出通用的取值范围,在工程中多以未考虑主梁与其他构件协同工作的理论求解公式为参考。在满足稳定性要求、考虑面板及隔板等构件与主梁协同工作的条件下,采用有限元分析理论,建立平面钢闸门空间有限元模型,计算分析主梁的强度和刚度的变化规律,给出合理的平面钢闸门主梁的最优梁高。结果表明:在考虑各构件协同工作时的主梁受力更贴合实际情况;在最小梁高与经济梁高之间存在最优梁高,与最小梁高的比值约为1.038,与理论公式计算的最优梁高相比,可使主梁翼缘、腹板等构件的应力减小,在此梁高下可使主梁工作性能发挥到最优。计算结果可为平面钢闸门梁高的设计提供参考。
-
关键词
平面钢闸门
主梁
最优梁高
最小梁高
经济梁高
构件协同工作
有限元分析
-
Keywords
radial steel gate
bearing steel beam
transverse stiffener
stittener arrangement
finite element
-
分类号
TV663.2
[水利工程—水利水电工程]
TU391
[建筑科学—结构工程]
-
-
题名基于构件协同工作的平面钢闸门主梁最优梁高研究
被引量：2
- 3
-
-
作者
杨勇
李守义
刘计良
肖阳
李浪
杨光
-
机构
西安理工大学西北旱区生态水利国家重点实验室
-
出处
《水资源与水工程学报》
CSCD
2019年第5期194-198,共5页
-
基金
国家自然科学基金项目(51579208)
陕西省自然科学基金项目(2018JQ5102)
-
文摘
关于水工平面钢闸门主梁梁高的选取问题,规范未给出通用的取值范围,在工程中多以未考虑主梁与其他构件协同工作的理论求解公式为参考。在满足稳定性要求、考虑面板及隔板等构件与主梁协同工作的条件下,采用有限元分析理论,建立平面钢闸门空间有限元模型,计算分析主梁的强度和刚度的变化规律,给出合理的平面钢闸门主梁的最优梁高。结果表明:在考虑各构件协同工作时的主梁受力更贴合实际情况;在最小梁高与经济梁高之间存在最优梁高,与最小梁高的比值约为1.038,与理论公式计算的最优梁高相比,可使主梁翼缘、腹板等构件的应力减小,在此梁高下可使主梁工作性能发挥到最优。计算结果可为平面钢闸门梁高的设计提供参考。
-
关键词
平面钢闸门
主梁
最优梁高
最小梁高
经济梁高
构件协同工作
有限元分析
-
Keywords
plane steel gate
main beam
optimal beam height
minimum beam height
economic beam height
component cooperative work
finite element analysis
-
分类号
TV663+.1
[水利工程—水利水电工程]
-
