-
题名基于XML的信息物理融合系统组件建模与仿真
被引量:5
- 1
-
-
作者
张程
陈付龙
刘超
齐学梅
-
机构
安徽师范大学计算机与信息学院
网络与信息安全安徽省重点实验室(安徽师范大学)
-
出处
《计算机应用》
CSCD
北大核心
2019年第6期1842-1848,共7页
-
基金
国家自然科学基金资助项目(61572036)~~
-
文摘
信息物理融合系统(CPS)涉及多种计算模型的集成和协同工作,针对CPS设计方法不统一、重塑性差、复杂度高、难以协同建模验证等问题,提出一种结构化、可描述行为的异元组件模型。首先,用统一组件建模方法进行建模,解决模型不开放问题;然后,用可扩展标记语言(XML)规范描述各类组件,解决不同计算模型描述语言不一致和不可扩展问题;最后,用多级开放组件模型的协同仿真验证方式进行仿真验证,解决验证的不可协同问题。通过通用组件建模方法、XML组件规范描述语言以及验证工具平台XModel对医用恒温箱进行了建模、描述和仿真。医用恒温箱的案例表明,这种模型驱动建立可重塑异元组件并确认其设计正确性的过程,支持信息物理协同设计和边构建边纠正,可避免在系统实现过程中发现问题时再进行反复修改。
-
关键词
信息物理融合系统
组件
可扩展标记语言
xmodel
开放模型
协同仿真
-
Keywords
Cyber Physical System(CPS)
component
eXtensible Markup Language(XML)
xmodel
open model
collaborative simulation
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名面向XML规范的复杂数字逻辑建模与验证
- 2
-
-
作者
汪迅宝
-
机构
安徽国际商务职业学院
-
出处
《安徽水利水电职业技术学院学报》
2018年第3期65-67,共3页
-
文摘
文章探讨面向XML规范的复杂数字逻辑建模与验证工具XModel的设计,XModel系统工具使用XML建模,可进行有效性验证,仿真验证通过后,可进行基于成熟第3方EDA工具的进一步时序验证、综合验证及FPGA验证。
-
关键词
可扩展标记语言
可扩展模型
复杂数字逻辑系统
数字系统设计教程
-
Keywords
XML
xmodel
Complex Digital Logic Systems
Verilog
-
分类号
TP3
[自动化与计算机技术—计算机科学与技术]
-
-
题名COPD患者家庭照顾者护理负担影响因素的路径分析
被引量:19
- 3
-
-
作者
孙以双
李谦
-
机构
哈尔滨医科大学附属第二医院呼吸内科三病房
-
出处
《中华现代护理杂志》
2016年第2期176-180,共5页
-
文摘
目的 以ABC-X模型为理论框架探讨COPD患者家庭照顾者护理负担的影响因素.方法 采用一般情况调查表、Zarit护理负担量表、心理一致感量表、家庭关怀度指数问卷、简易应对方式问卷及社会功能缺陷筛选量表对219名COPD患者家庭照顾者进行调查,采用路径分析的方法对假设模型进行检验和修正.结果 219名COPD患者家庭照顾者护理负担总分为(42.02±15.36)分,为中度水平;照顾者心理一致感、家庭关怀度与照顾者护理负担呈负相关(r值分别为-0.43,-0.25;P〈0.05).采用结构方程模型的方法对照顾者ABC-X假设模型进行检验,模型可以解释照顾者护理负担的变异度的58.9%.该模型提示,患者社会功能缺陷程度、家庭关怀度可以直接影响照顾者的护理负担,也可以通过心理一致感产生间接影响.心理一致感是照顾者护理负担的最强预测因素.结论 影响照顾者护理负担的因素是多方面的,包括患者社会功能缺陷程度,家庭关怀度和照顾者心理一致感,并且这些因素之间存在相互作用.
-
关键词
COPD
家庭照顾者
护理负担
ABC-X模型
路径分析
-
Keywords
Chronic obstructive pulmonary disease
Family caregivers
Care burden
ABC-xmodel
Path analysis
-
分类号
R473.5
[医药卫生—护理学]
-