-
题名多孔材料性能模型研究3:数理推演
被引量：19
- 1
-
-
作者
刘培生
杨春艳
程伟
-
机构
北京师范大学核科学与技术学院射线束技术教育部重点实验室
-
出处
《材料工程》
EI
CAS
CSCD
北大核心
2019年第8期59-81,共23页
-
基金
北京师范大学测试基金(C18)
-
文摘
基于三维网状多孔材料的八面体结构模型,本文介绍了多孔材料基本物理、力学性能数理关系的推演过程。此过程覆盖了多孔材料的单向拉伸、多向拉压、传导性和疲劳性能等方面。重点描述了多孔材料内部构成的等效电路、多孔材料单向拉伸的准刚体结构受力模型和变形体结构受力模型,在此基础上讨论了压缩强度问题,并对双向拉伸和三向拉压的有关数理关系展开推演和分析。根据本八面体模型,多孔材料在弯曲等非直接拉压受力形式下的力学性能数理关系,同样可由单向拉压的推演而获得。
-
关键词
多孔材料
泡沫金属
泡沫陶瓷
性能模型
数理推演
-
Keywords
porous material
metal foam
ceramic foam
property model
mathematical deduction
-
分类号
TB383
[一般工业技术—材料科学与工程]
-
-
题名Web交互模型的形式化验证研究
被引量：1
- 2
-
-
作者
李敏
罗惠琼
唐春玲
王强
-
机构
重庆广播电视大学电子信息工程学院
电子科技大学计算机科学与工程学院
-
出处
《计算机科学》
CSCD
北大核心
2014年第2期219-221,共3页
-
基金
重庆市教委(kj131607)资助
-
文摘
Web交互模型的形式化验证是对Web事件属性进行校验的十分可信的方法。通过一系列的系统模型建立、系统行为分析以及对于模型中关心属性的相关验证,能够让交互模型在设计阶段就能使形式化模型暴露出其所存在的缺陷,而不至于让缺陷保留到编码阶段或者更后面才能被真正地暴露出来,这样使系统模型的生存能力更加强大,同时避免了因后期缺陷暴露而出现的大代价修复。通过对Web系统的交互应用服务的过程模型化的体系进行研究,通过模型本身具有的属性进行相关正确性的校验,主要通过使用数学推理实现系统逻辑上的服务交互进程,从而进行过程的推演,并对系统服务的正确性进行过程的形式化验证,从而使系统服务模块的属性正确性可以通过逻辑上的演进来发现服务问题的存在,而不再是系统通过编码实现后才发现。对Web交互模型的形式化验证是基于IMWSC模型语义形成的IMWSC模型的验证机制。
-
关键词
Web交互模型
形式化验证
数理推演
模型语义
-
Keywords
Web interaction model, Formal Verification, Mathematical deduction, Model semantics
-
分类号
TP317.4
[自动化与计算机技术—计算机软件与理论]
-
