期刊文献+
共找到60篇文章
< 1 2 3 >
每页显示 20 50 100
基于MaxEnt模型的北极村国家级自然保护区紫貂栖息地适宜性评价
1
作者 刘艳华 刘磊 +6 位作者 陈红 刘小慧 王启蕃 刘鑫鑫 张子栋 张宇 周绍春 《生态学报》 CAS CSCD 北大核心 2024年第2期559-569,共11页
在人类支配的景观中,生境退化已经导致多个物种种群数量不断减少,分布范围不断缩减。紫貂(Martes zibellina)为国家Ⅰ级重点保护动物,种群数量稀少,开展栖息地适宜性研究工作对制定科学的栖息地保护计划至关重要。于2021年1月—2022年8... 在人类支配的景观中,生境退化已经导致多个物种种群数量不断减少,分布范围不断缩减。紫貂(Martes zibellina)为国家Ⅰ级重点保护动物,种群数量稀少,开展栖息地适宜性研究工作对制定科学的栖息地保护计划至关重要。于2021年1月—2022年8月在黑龙江省北极村国家级自然保护区采用样线调查法、足迹链跟踪、远红外相机监测综合收集到紫貂和猎物(雪兔)活动点信息。利用最大熵(MaxEnt)栖息地建模分析方法,首次在多个分辨率尺度背景下对紫貂种群的栖息地适宜性进行评价,研究结果表明:(1)利用ArcGIS 10.4重采样后在6个分辨率尺度(30m、60m、120m、240m、480m、960m)进行栖息地建模分析,基于主要栖息地变量因子对模型的贡献率及稳定性影响,并综合考虑研究区域面积,最终选定30m分辨率尺度作为紫貂栖息地最佳分析建模尺度,在30m分辨率尺度栖息地预测模型的曲线下面积(AUC)值为0.881;(2)研究发现猎物资源、植被类型和地形变量是影响紫貂栖息地适宜性的主要变量因子:雪兔出现概率较高、距草地与河流较近、海拔约400—600m、距常绿针叶林1.5km、距落叶针叶林约200m、坡向为50—250°的区域为紫貂的适宜栖息地;(3)栖息地适宜性分析表明,北极村国家级自然保护区紫貂适宜栖息地和次适宜栖息地面积共计23.66km2,约占保护区的17.2%,主要集中在保护区中部,而东部和西北部区域,栖息地破碎化较严重。基于模型结果与野外调查,提出了三条建议:(1)应严格控制人为活动,避免因人类干扰造成不适宜栖息地面积的持续扩大;(2)建立生态廊道促进保护区西部与中部紫貂种群进行个体交流,降低紫貂种群局部区域灭绝概率;(3)对东部地区破碎化的栖息地进行修复,扩大东部适宜栖息地面积,使破碎化的栖息地连接为整体。为分布于我国最北端的紫貂种群恢复创造条件,这对于构建该地区相对稳定的生物多样性保护空间格局有着重要意义。 展开更多
关键词 紫貂 最大熵模型 最优分辨率尺度 栖息地适宜性
下载PDF
基于MDE的异构模型转换:从MARTE模型到FIACRE模型 被引量:9
2
作者 张天 Frédéric JOUAULT +2 位作者 Christian ATTIOGBE Jean BEZIVIN 李宣东 《软件学报》 EI CSCD 北大核心 2009年第2期214-233,共20页
通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的... 通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的转换实例,探讨了异构模型之间在语义和语法层的相互转换问题.在语义层,通过模型转换技术构造语义映射规则,实现元语言之间的转换;在语法层,通过构造元模型的具体语法,反映元语言的语法规则,从而产生目标模型的程序实体.基于此实例研究,探讨了通用转换途径的相关框架和关键技术,并讨论了转换工作的优缺点和实用性. 展开更多
关键词 模型驱动工程 形式化方法 martE(modeling and analysis of real time and embedded systems) FIACRE (intermediate format for the architectures ofembedded distributed components) 异构性
下载PDF
基于MDA的MARTE模型形式化转换 被引量:2
3
作者 王立杰 刘昌禄 俞烈彬 《指挥控制与仿真》 2012年第6期128-133,共6页
非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MD... 非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。 展开更多
关键词 模型驱动 martE模型 Object-Z规约 元模型 模型转换
下载PDF
基于MDA的MARTE模型形式化方法 被引量:4
4
作者 许海洋 王萍 《计算机应用研究》 CSCD 北大核心 2012年第8期3018-3021,共4页
针对嵌入式系统对可靠性和可预测性的要求,提出基于MDA对嵌入式系统的建模语言MARTE进行形式化描述的方法。建立Object-Z的元模型,定义了MARTE元模型与Object-Z元模型之间的模型转换关系,给出了MARTE模型到Object-Z模型的语义映射和语... 针对嵌入式系统对可靠性和可预测性的要求,提出基于MDA对嵌入式系统的建模语言MARTE进行形式化描述的方法。建立Object-Z的元模型,定义了MARTE元模型与Object-Z元模型之间的模型转换关系,给出了MARTE模型到Object-Z模型的语义映射和语法转换的具体过程。该方法支持将MARTE模型形式化转换为Object-Z模型,有利于软件开发早期的检验和验证。 展开更多
关键词 模型驱动体系 形式化方法 模型转换 martE元模型
下载PDF
基于MIMIC-IV构建及评估脓毒症患者近期和远期死亡风险预测模型
5
作者 严丹阳 谢茜 +3 位作者 付翔杰 徐道妙 李宁 姚润 《中南大学学报(医学版)》 CAS CSCD 北大核心 2024年第2期256-265,共10页
目的:鉴于脓毒症的高发病率和高病死率,早期识别高风险患者并及时干预至关重要,而现有死亡风险预测模型在操作、适用性和预测长期预后等方面均存在不足。本研究旨在探讨脓毒症患者死亡的危险因素,构建近期和远期死亡风险预测模型。方法... 目的:鉴于脓毒症的高发病率和高病死率,早期识别高风险患者并及时干预至关重要,而现有死亡风险预测模型在操作、适用性和预测长期预后等方面均存在不足。本研究旨在探讨脓毒症患者死亡的危险因素,构建近期和远期死亡风险预测模型。方法:从美国重症监护医学信息数据库IV(Medical Information Mart for Intensive Care-IV,MIMIC-IV)中选取符合脓毒症3.0诊断标准的人群,按7?3的比例随机分为建模组和验证组,分析患者的基线资料。采用单因素Cox回归分析和全子集回归确定脓毒症患者死亡的危险因素并筛选出构建预测模型的变量。分别用时间依赖性曲线下面积(area under the curve,AUC)、校准曲线和决策曲线评估模型的区分度、校准度和临床实用性。结果:共纳入14240例脓毒症患者,28 d和1年病死率分别为21.45%(3054例)和36.50%(5198例)。高龄、女性、高感染相关器官衰竭评分(sepsis-related organ failure assessment,SOFA)、高简明急性生理学评分(simplified acute physiology score II,SAPS II)、心率快、呼吸频率快、脓毒症休克、充血性心力衰竭、慢性阻塞性肺疾病、肝脏疾病、肾脏疾病、糖尿病、恶性肿瘤、高白细胞计数(white blood cell count,WBC)、长凝血酶原时间(prothrombin time,PT)、高血肌酐(serum creatinine,SCr)水平均为脓毒症死亡的危险因素(均P<0.05)。由PT、呼吸频率、体温、合并恶性肿瘤、合并肝脏疾病、脓毒症休克、SAPS II及年龄8个变量构建的模型,其28 d和1年生存的AUC分别为0.717(95%CI 0.710~0.724)和0.716(95%CI 0.707~0.725)。校准曲线和决策曲线表明该模型具有良好的校准度及较好的临床应用价值。结论:基于MIMIC-IV建立的脓毒症患者近期和远期死亡风险预测模型有较好的识别能力,对患者预后风险评估及干预治疗具有一定的临床参考意义。 展开更多
关键词 脓毒症 近期和远期死亡 美国重症监护医学信息数据库IV 预后因素 预测模型
下载PDF
基于MARTE模型的系统可靠性预测 被引量:2
6
作者 柴叶生 朱雪阳 +1 位作者 晏荣杰 张广泉 《计算机科学》 CSCD 北大核心 2015年第12期82-86,91,共6页
系统的可靠性是系统的重要非功能属性之一。传统的可靠性分析在系统开发结束后进行,可能会发现由于系统开发早期的架构设计不合理而导致的问题,这时再修改系统架构并重做后继开发步骤,将会浪费大量人力和物力。如果能在开发的早期阶段,... 系统的可靠性是系统的重要非功能属性之一。传统的可靠性分析在系统开发结束后进行,可能会发现由于系统开发早期的架构设计不合理而导致的问题,这时再修改系统架构并重做后继开发步骤,将会浪费大量人力和物力。如果能在开发的早期阶段,在系统模型层面进行分析并预测,则可以尽早地发现系统可靠性方面的问题并将其修复。UML是一种通用的、标准化的建模语言,MARTE是UML在嵌入式实时系统领域的扩展。提出了基于MARTE模型的系统可靠性预测方法,该方法考虑的MARTE模型包括用例图、活动图、部署图。先将MARTE模型转换为马尔可夫决策过程网络模型,再利用概率模型检测工具PRISM进行分析,得到系统可靠性的预测结果。实例研究表明,所提方法不仅能够预测系统可靠性的最大值和最小值,还能通过调整各个资源的可靠性值,考察其对系统可靠性的影响,为设计人员的进一步工作提供参考。 展开更多
关键词 系统可靠性 UML martE模型 马尔可夫决策过程
下载PDF
一种基于SysML/MARTE/pCCSL的信息物理融合系统协同建模方法 被引量:3
7
作者 黄平 杜德慧 《华东师范大学学报(自然科学版)》 CAS CSCD 北大核心 2019年第1期48-57,共10页
信息物理融合系统(Cyber-Physical Systems, CPS)是一个综合计算、网络和物理环境的多维复杂系统.针对这种异构系统的建模问题一直是人们研究的重点,但是,缺乏系统性的方法来建模CPS的特性,如异构性、不确定性、软硬协同和非功能属性(No... 信息物理融合系统(Cyber-Physical Systems, CPS)是一个综合计算、网络和物理环境的多维复杂系统.针对这种异构系统的建模问题一直是人们研究的重点,但是,缺乏系统性的方法来建模CPS的特性,如异构性、不确定性、软硬协同和非功能属性(Non-Functional Properties, NFP)等.提出了一种基于SysML (System Modeling Language)/MARTE (Modeling and Analysis of Real-Time and Embedded Systems)/pCCSL (p Clock Constraint Specification Language)的协同建模方法,实现了从不同视角建模CPS的不同特征,包括系统的结构、行为、时钟约束和NFP.该方法的新颖性在于使用pCCSL规约各模型之间的交互和同步,显式地建模模型之间的逻辑一致性.同时,为了捕捉CPS的特性如随机行为和连续行为,扩展了一些SysML/MARTE的元模型.最后,给出了一个智能建筑的案例以展示所提出的协同建模方法的可用性. 展开更多
关键词 信息物理融合系统 SysML/martE/pCCSL 协同建模 元模型 智能建筑
下载PDF
基于MARTE的面向混成系统的模型形式化转换
8
作者 李国拯 曹子宁 《计算机与现代化》 2015年第6期64-68,共5页
混成系统是离散逻辑跳转与实时连续行为交织的复杂状态变迁系统,形式化建模与验证是确保混成系统正确性和可靠性的重要途径。首先介绍一种混成ZIA形式规范;然后,基于建模语言MARTE建立扩展Object-Z的规范,即OZMARTE,该规范弥补了MARTE... 混成系统是离散逻辑跳转与实时连续行为交织的复杂状态变迁系统,形式化建模与验证是确保混成系统正确性和可靠性的重要途径。首先介绍一种混成ZIA形式规范;然后,基于建模语言MARTE建立扩展Object-Z的规范,即OZMARTE,该规范弥补了MARTE规范在形式化描述方面的不足,同时为了方便描述混成系统中连续动态行为属性,给出对混成系统中连续变量的描述转换规则,增强了MARTE对混成系统的描述能力;最后,给出OZ-MARTE规范到混成ZIA规范的转换方法,因此针对混成ZIA规范的验证技术同样适用于对MARTE模型进行形式化验证。 展开更多
关键词 混成系统 混成ZIA martE模型 Object-Z语言 模型转换
下载PDF
基于MART模型的辽宁“数字林业”建设
9
作者 冯琰 张鹏 《农业科技与装备》 2008年第2期36-37,40,共3页
电子政务是提高政府行政管理和公共服务能力的有效途径。"数字林业"是辽宁省林业现代化建设的重要内容,也是林业电子政务系统工程的重要组成部分。通过MART[1]模型在辽宁林业体系中的研究应用,指导全省"数字林业"... 电子政务是提高政府行政管理和公共服务能力的有效途径。"数字林业"是辽宁省林业现代化建设的重要内容,也是林业电子政务系统工程的重要组成部分。通过MART[1]模型在辽宁林业体系中的研究应用,指导全省"数字林业"的开发与设计,实现有效整合,避免重复建设。 展开更多
关键词 数字林业 电子政务 mart模型
下载PDF
Use of Logistic Regression Model for Prediction of Non-Timber Forest Products
10
作者 Alexandre Leandro Santos de Abreu Ricardo de Oliveira Gaspar +2 位作者 Mirella Basileu de Oliveira Lima Mauro Eloi Nappo Eraldo Aparecido Trondoli 《American Journal of Plant Sciences》 2017年第11期2847-2859,共13页
The use of non-timber is a valuable alternative for the conservation of tropical forests. Ju&#231;ara (Euterpe edulis Mart.) is considered one of the main alternatives in the Atlantic Forest for the production of ... The use of non-timber is a valuable alternative for the conservation of tropical forests. Ju&#231;ara (Euterpe edulis Mart.) is considered one of the main alternatives in the Atlantic Forest for the production of a&#231;aí pulp. However, there are few studies that aim to evaluate their production. The present study aimed to construct a probabilistic model to predict the production of Euterpe edulis bunches, using dendrometric variables and competition index. Twenty plots of 10 × 50 m were sampled in an area with said specie, showing the arboreal entities with diameter at breast height > 4.8 cm, and recording the Euterpe edulis phenomena. The main variables influencing the production of bunches were assessed using logistic regression model. The logistic regression showed the variables diameter breast height (DBH) and total height (h) as significant to explain the variation between productive and non-productive entities. The competition index tested was not significant (p-value = 0.221). The model of prediction of curl production in Ju&#231;ara can be written as: Zi = -6.878594 + 0.2522454 × DBH + 0.1951574 × h. The use of a logistic regression model showed potential for prediction of non-timber forest products. 展开更多
关键词 FOREST MANAGEMENT Regression model LOGIT Euterpe EDULIS mart
下载PDF
黑龙江省老爷岭南部黄喉貂栖息地适宜性评价与廊道构建
11
作者 田新民 刘小慧 +7 位作者 张超宇 张宇 张子栋 梁卓 陈红 宋雅祺 王鑫雪 周绍春 《生态学报》 CAS CSCD 北大核心 2023年第23期9621-9629,共9页
黄喉貂(Martes flavigula aterrima)为典型的林栖兽类,对栖息地干扰和破碎化极为敏感,被视为森林生态系统的指示物种。为了科学有效保护该物种,于2020—2021年在黑龙江省老爷岭南部区域布设红外相机642台收集黄喉貂活动位点信息,利用最... 黄喉貂(Martes flavigula aterrima)为典型的林栖兽类,对栖息地干扰和破碎化极为敏感,被视为森林生态系统的指示物种。为了科学有效保护该物种,于2020—2021年在黑龙江省老爷岭南部区域布设红外相机642台收集黄喉貂活动位点信息,利用最大熵(MaxEnt)建模方法开展黄喉貂栖息地适宜性研究,探究影响种群生存的关键环境因素,并利用最小成本路径方法构建潜在的种群扩散生态廊道,探讨研究区域黄喉貂种群的栖息地连通性。研究结果表明:(1)MaxEnt模型的受试者工作特征曲线(ROC曲线)评价结果的平均曲线下面积(AUC)值为0.861,能够较好的反映研究区域黄喉貂栖息地适宜性的实际分布情况;(2)本研究利用的13个变量中,距东北虎(Panthera tigris altaica)、东北豹(Panthera pardus orientalis)距离12 km黄喉貂出现概率最高,且贡献率达20.6%,是影响黄喉貂栖息地选择的关键变量,其次坡向(9.9%)、农田(9.5%)、草地(9.0%)、常绿针叶林(8.9%)、道路(7.0%)、河流(6.6%)、居民点(6.1%)和海拔(5.9%)是影响黄喉貂栖息地质量的次要变量;(3)研究区域黄喉貂适宜栖息地面积为793.54 km^(2),占研究区域总面积的21.4%,主要分布在黑龙江省绥阳林业有限公司的柳桥沟、青山和万宝湾林场。黄喉貂栖息地破碎化严重,因此通过栖息地适宜性分布图获得15块总面积为401.61 km^(2)的核心栖息地,并构建14条生态廊道利于黄喉貂栖息地生态恢复管理。研究综合分析了黑龙江省老爷岭南部黄喉貂栖息地现状及连通性,促进黄喉貂扩散、栖息地的连通性和适宜性。 展开更多
关键词 黄喉貂(martes flavigula aterrima) 最大熵模型 栖息地适宜性评价 生态廊道
下载PDF
脓毒症相关性脑病院内死亡风险预测模型的构建与验证
12
作者 牛昆仑 陈福进 +3 位作者 赵晶晶 王菁 徐跃文 姚莉 《中国现代医生》 2023年第20期53-57,共5页
目的建立脓毒症相关性脑病(sepsis-associated encephalopathy,SAE)患者的死亡风险预测模型并进行验证。方法提取2008—2019年重症医学信息数据库(Medical Information Mart for Intensive Care-Ⅳ,MIMIC-Ⅳ)中2767例SAE患者的临床数据... 目的建立脓毒症相关性脑病(sepsis-associated encephalopathy,SAE)患者的死亡风险预测模型并进行验证。方法提取2008—2019年重症医学信息数据库(Medical Information Mart for Intensive Care-Ⅳ,MIMIC-Ⅳ)中2767例SAE患者的临床数据作为训练集,构建死亡风险预测模型,并对其预测准确性及拟合优度进行评价。回顾性收集2018年6月至2021年6月合肥市第二人民医院重症医学科的134例SAE患者临床数据纳入验证集,代入预测模型进行外部验证。结果多因素Logistic回归分析显示,年龄、使用血管活性药物、格拉斯哥昏迷评分、国际标准化比值、动脉血氧分压、血乳酸、血尿素氮、白蛋白是SAE患者院内死亡的独立影响因素(P<0.05)。使用影响因素构建预测模型,受试者操作特征(receiver operator characteristic,ROC)曲线下面积为0.765,95%置信区间为74.45%~78.53%,Hosmer-Lemeshow检验显示预测模型的拟合优度良好(χ^(2)=13.090,P=0.109)。将预测模型代入验证集,敏感度为80.00%,特异性为61.60%,准确性为76.87%,ROC曲线下面积为0.757,提示模型外部数据验证中区分度良好。结论构建的预测模型可用于预测SAE患者的院内死亡风险,有助于临床及时调整治疗策略,降低死亡率,改善预后。 展开更多
关键词 脓毒症相关性脑病 院内死亡 预测模型 重症医学信息数据库
下载PDF
和谐型机车故障预测与健康管理系统总体设计 被引量:1
13
作者 李成龙 喻冰春 +2 位作者 李鑫 李佳懿 杨臻 《铁路计算机应用》 2023年第2期23-27,共5页
为推进和谐型机车周期性计划预防修向数字化精准维修转变、防范重大事故及故障发生,基于大数据和云平台等技术,采用视情维修的开放体系结构(OSA-CBM,Open System Architecture of Condition-Based Maintenance),设计和谐型机车故障预测... 为推进和谐型机车周期性计划预防修向数字化精准维修转变、防范重大事故及故障发生,基于大数据和云平台等技术,采用视情维修的开放体系结构(OSA-CBM,Open System Architecture of Condition-Based Maintenance),设计和谐型机车故障预测与健康管理(PHM,fault Prediction and Health Management)系统,包括系统的总体架构、技术架构和功能架构。旨在掌握机车及重要零部件性能演化规律、保证机车在途运行安全、实现精准维修、降低全寿命周期运用维修成本。 展开更多
关键词 和谐型机车 故障预测与健康管理系统 数据仓库 数据平台 模型集市管理
下载PDF
基于MIMIC-Ⅳ构建重症胰腺炎患者院内死亡风险预测模型
14
作者 吴嘉怡 柯键 沈俊 《广西医学》 CAS 2023年第24期3012-3017,共6页
目的 基于重症监护医学信息数据库(MIMIC-Ⅳ)构建重症胰腺炎(SP)患者院内死亡风险的预测模型。方法 在MIMIC-Ⅳ中筛选SP患者,提取其临床资料。根据患者住院期间是否死亡分为存活组和死亡组,比较存活组和死亡组患者的临床资料。按照8∶2... 目的 基于重症监护医学信息数据库(MIMIC-Ⅳ)构建重症胰腺炎(SP)患者院内死亡风险的预测模型。方法 在MIMIC-Ⅳ中筛选SP患者,提取其临床资料。根据患者住院期间是否死亡分为存活组和死亡组,比较存活组和死亡组患者的临床资料。按照8∶2的比例将SP患者随机分成训练集和测试集,基于训练集的资料,采用Logistic回归模型和支持向量机(SVM)算法构建SP患者院内死亡风险的预测模型,再基于测试集的资料,绘制受试者工作特征(ROC)曲线评价两个模型的预测效能。结果 死亡组和存活组患者的年龄、红细胞分布宽度(RDW)、阴离子间隙、HDL-C差异有统计学意义(P<0.05)。Logistic回归分析结果显示,年龄、RDW、阴离子间隙是SP患者院内死亡的独立危险因素,HDL-C是SP患者院内死亡的独立保护因素(P<0.05)。SP患者院内死亡风险预测模型的回归方程为■,其中P为SP患者院内死亡的概率,e为自然常数,a=-6.264+0.033×年龄+0.061×RDW+0.091×阴离子间隙-0.019×HDL-C。当核函数为Linear函数、松弛变量为0.1、容错率为0.42时,SVM模型预测SP患者院内死亡的准确率最高。两个模型预测SP患者院内死亡效能的评价结果显示,SVM模型预测SP患者院内死亡的准确率、灵敏度和ROC曲线下面积高于或大于Logistic回归模型,但差异无统计学意义(P>0.05),特异度与Logistic回归模型相当。结论 年龄、RDW、阴离子间隙是SP患者院内死亡的独立危险因素,HDL-C是其独立保护因素。基于上述因素构建的SVM模型和Logistic回归模型均可有效预测SP患者院内死亡风险,而SVM模型的准确率和灵敏度稍高,预测效能更优。 展开更多
关键词 重症胰腺炎 院内死亡风险 LOGISTIC回归模型 支持向量机 重症监护医学信息数据库 预测模型
下载PDF
基于血压及心率变异度预测重症患者院内死亡风险 被引量:2
15
作者 周益民 王玉妹 +3 位作者 段雨晴 苗明月 张琳琳 周建新 《中国急救医学》 CAS CSCD 2023年第1期37-42,共6页
目的 利用入住重症监护病房(intensive care unit, ICU)时的血压变异度(CV-MAP)及心率变异度(CV-HR)构建预测模型,预测ICU患者院内死亡的风险。方法 回顾性分析在美国重症监护医学信息数据库Ⅲ(medical information mart for intensive ... 目的 利用入住重症监护病房(intensive care unit, ICU)时的血压变异度(CV-MAP)及心率变异度(CV-HR)构建预测模型,预测ICU患者院内死亡的风险。方法 回顾性分析在美国重症监护医学信息数据库Ⅲ(medical information mart for intensive care, MIMICⅢ)中年龄≥18岁,且首次入住ICU患者的临床资料。通过多因素Logistic分析筛选危险因素并构建评分系统,采用受试者工作特征(receiver operator characteristic, ROC)曲线和校准曲线评估模型区分度和校准度,采用临床决策曲线评估模型实际应用价值。结果 共筛选符合标准的患者38 824例,院内死亡患者4075例(住院病死率为10.5%)。从危险因素中选择年龄、是否合并肝脏疾病、是否合并血液系统恶性肿瘤、是否合并转移癌、住院类型、24 h心率变异系数、24 h血压变异系数、是否使用血管活性药、是否接受镇痛治疗、是否接受镇静治疗、是否接受有创机械通气构建简化预测模型。模型预测院内死亡的ROC曲线下面积(AUC)为0.743(95%CI 0.735~0.750,P<0.001),Hosmer-Lemeshow检验χ^(2)=4.978,P=0.083。使用Bootstrap法进行1000次重复采样进行内部验证,校正曲线判断预测值与实际值一致性较好。决策曲线分析提示,在高阈值风险0.1~0.6时,预测模型具有较高的实用价值。结论 基于CV-MAP及CV-HR建立ICU患者院内死亡风险预测模型具有较好的临床预测价值,有助于识别高危患者。 展开更多
关键词 重症患者 美国重症监护医学信息数据库Ⅲ(MIMICⅢ) 预后 预测模型 血压变异度(CV-MAP) 心率变异度(CV-HR)
下载PDF
基于元建模的实时系统模型转换方法研究 被引量:8
16
作者 刘亚萍 黄志球 祝义 《小型微型计算机系统》 CSCD 北大核心 2010年第11期2145-2153,共9页
通过模型转换将UML模型转换为形式化模型并进行模型检验是软件工程研究领域的热点,然而传统的模型转换多是ad-hoc式的,转换规则复杂且难以重用.本文针对这一研究现状,通过元建模实现MARTE到时间自动机模型的转换,从而提出一种基于元建... 通过模型转换将UML模型转换为形式化模型并进行模型检验是软件工程研究领域的热点,然而传统的模型转换多是ad-hoc式的,转换规则复杂且难以重用.本文针对这一研究现状,通过元建模实现MARTE到时间自动机模型的转换,从而提出一种基于元建模的实时系统模型转换方法.该方法有效的分离了语法转换与语义转换,框架标准的支撑使得转换易于重用.最后通过一个实例来说明该方法的可行性与有效性. 展开更多
关键词 模型转换 martE(modeling and analysis of REAL TIME and embeded systems) 模型验证 时间自动机
下载PDF
模型驱动的安全关键系统重配置信息验证方法 被引量:4
17
作者 胡军 马金晶 +3 位作者 刘雪 程桢 石娇洁 黄志球 《计算机科学与探索》 CSCD 北大核心 2015年第4期385-402,共18页
近年来,在以综合模块化航电系统(integrated modular avionics,IMA)为代表的一类安全关键应用中,确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA系统配置信息的建... 近年来,在以综合模块化航电系统(integrated modular avionics,IMA)为代表的一类安全关键应用中,确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA系统配置信息的建模转换与验证方法。针对多个实时应用在IMA平台上以时间/空间多分区形式运行的系统特征,建立了从系统配置信息的核心元素(包括模块、分区、内存、进程、通信等)到MARTE模型元素的语义映射规则,设计了基于模型驱动架构的系统配置信息模型转换的方法,并给出了一种对模型转换构造得到的系统配置信息MARTE模型进行形式化验证的框架。最后,通过一个实例分析说明了此方法对验证重配置后系统配置信息的有效性。 展开更多
关键词 系统配置信息验证 martE 模型驱动工程 ARINC653 综合模块化航电系统(IMA)
下载PDF
面向CRM系统的数据仓库的设计与实现 被引量:11
18
作者 王小洁 朱程荣 《计算机工程与设计》 CSCD 北大核心 2007年第21期5088-5090,共3页
介绍了CRM系统的相关知识,阐述了数据仓库技术在CRM系统中应用的必然性,给出了一个基于数据仓库技术的分析型CRM系统的体系结构图,并且针对某网上书店,以客户购买主题为例,提出了该分析型CRM系统中客户信息数据仓库模型的设计方案,具体... 介绍了CRM系统的相关知识,阐述了数据仓库技术在CRM系统中应用的必然性,给出了一个基于数据仓库技术的分析型CRM系统的体系结构图,并且针对某网上书店,以客户购买主题为例,提出了该分析型CRM系统中客户信息数据仓库模型的设计方案,具体阐述了概念模型设计、逻辑模型设计和物理模型设计,并以MS SQL Server 2000平台为基础,给出了具体的实现,在企业引入分析型CRM系统时为构建数据仓库提供了参考依据。 展开更多
关键词 客户关系管理 数据仓库 数据集市 模型设计 联机分析处理
下载PDF
基于模型转换的IMA系统可调度性验证方法 被引量:2
19
作者 胡军 程桢 +2 位作者 马金晶 刘雪 石姣洁 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2015年第3期403-411,共9页
综合模块化航空电子系统(Integrated modular avionics,IMA)中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题。本文针对满足ARINC653规范的IMA系统的层级调度特性,结合IMA系统调度配置信息,提出了一种在模型驱动工程(... 综合模块化航空电子系统(Integrated modular avionics,IMA)中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题。本文针对满足ARINC653规范的IMA系统的层级调度特性,结合IMA系统调度配置信息,提出了一种在模型驱动工程(Model driven engineering,MDE)框架下,基于实时嵌入式系统建模与分析(Modeling and analysis of real-time and embedded system,MARTE)模型的ARINC653分区调度系统建模转换与可调度性验证的方法。借助MAST工具及其自定义调度策略功能,分析分区系统调度特性并利用MARTE对其进行建模,并利用该工具对MARTE模型进行仿真以验证其可调度性,最后给出了一个实例分析。 展开更多
关键词 综合模块化航电系统 可调度性验证 ARINC653 实时嵌入式系统与分析 模型驱动工程
下载PDF
跨国零售企业在华区位研究——以沃尔玛和家乐福为例 被引量:33
20
作者 贺灿飞 李燕 尹薇 《世界地理研究》 北大核心 2011年第1期12-26,共15页
与制造业外资高度集聚在沿海地区不同,服务业外资则沿着中国城市体系布局,消费者外资服务业在渗透大城市市场的同时,以等级式扩散方式向内陆地区城市扩张,以蔓延式扩散方式在都市圈内扩张。本文以沃尔玛和家乐福为例,研究跨国零售企业... 与制造业外资高度集聚在沿海地区不同,服务业外资则沿着中国城市体系布局,消费者外资服务业在渗透大城市市场的同时,以等级式扩散方式向内陆地区城市扩张,以蔓延式扩散方式在都市圈内扩张。本文以沃尔玛和家乐福为例,研究跨国零售企业在中国的空间扩张。截止到2009年,沃尔玛超市已经渗透到许多中等城市,主要以等级式扩散方式进行空间扩张。家乐福超市则主要集中在珠三角、长三角和京津冀都市圈,在各都市圈内部蔓延式扩张。二项式逻辑模型分析表明,家乐福更重视本地化零售业市场规模与潜力,偏好零售业开放时间较长的城市,同时也关注竞争对手沃尔玛新开门店的城市选择。沃尔玛则重视利用零售业集聚经济和规模经济以及家乐福门店城市选择策略,但不在意本地零售业市场规模及其开放政策制度的影响。综合其空间扩散模式、物流配送以及区位选择行为,本文认为两个企业在中国采取了全球化与本土化兼顾的战略,从而得以在中国实现快速扩张。 展开更多
关键词 跨国零售企业 区位 沃尔玛 家乐福 二项式逻辑模型
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部