期刊文献+
共找到19篇文章
< 1 >
每页显示 20 50 100
一种基于AADL的IMA系统配置信息的正确性检测方法 被引量:2
1
作者 胡军 马金晶 +1 位作者 袁翔 刘雪 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2014年第6期920-930,共11页
综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC65... 综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC653规范的IMA系统重配置信息的正确性检测方法,展开了基于架构分析和设计语言(AADL)模型转换与分析的研究。给出了一系列从ARINC653系统配置信息到AADL模型元素的映射规则,包括模块、分区、进程、健康监控、通信等核心概念,并设计了一个模型转换的方法,然后采用一个第三方的工具对所得到的AADL模型展开配置信息正确性的语义验证。最后本文还给出了一个实例分析。 展开更多
关键词 软件可靠性测试 综合模块化航电系统 ARINC653配置信息 AADL REAL osate
在线阅读 下载PDF
基于AADL的航电系统建模技术 被引量:2
2
作者 田丹 霍峰 《航空计算技术》 2010年第3期116-118,共3页
新一代航电系统的高度综合化,模块化,采用分布式结构,实现容错/重构等特点,对可靠性,可验证性提出更高的要求。较为全面的介绍了以AADL为基础的航电系统建模的技术,给出具体的实施方案和步骤,开发出结构分析与设计工具创建及管理模型,... 新一代航电系统的高度综合化,模块化,采用分布式结构,实现容错/重构等特点,对可靠性,可验证性提出更高的要求。较为全面的介绍了以AADL为基础的航电系统建模的技术,给出具体的实施方案和步骤,开发出结构分析与设计工具创建及管理模型,检查模型的完整性和正确性,并为安全性分析、可靠性分析以及可调度性分析等验证工具提供了良好的接口。 展开更多
关键词 航电系统 建模技术 模型验证 AADL osate
在线阅读 下载PDF
2013年夏季典型光化学污染过程中长三角典型城市O_3来源识别 被引量:59
3
作者 李浩 李莉 +12 位作者 黄成 安静宇 严茹莎 黄海英 王杨君 卢清 王倩 楼晟荣 王红丽 周敏 陶士康 乔利平 陈明华 《环境科学》 EI CAS CSCD 北大核心 2015年第1期1-10,共10页
城市化、工业化、机动化的高速推进以及大气活性物质的大量排放,使得长江三角洲地区在夏秋季节面临严峻的以高浓度O3为典型特征的光化学污染问题.然而,O3与其前体物之间的高度非线性反应过程使得其来源识别变得十分复杂,因此针对高浓度O... 城市化、工业化、机动化的高速推进以及大气活性物质的大量排放,使得长江三角洲地区在夏秋季节面临严峻的以高浓度O3为典型特征的光化学污染问题.然而,O3与其前体物之间的高度非线性反应过程使得其来源识别变得十分复杂,因此针对高浓度O3的控制途径仍不清楚.本文以2013年7月长三角地区发生的一次持续时间长、波及范围广、强度高的高浓度O3污染过程为研究案例,基于CAMx空气质量数值模型中耦合的臭氧来源追踪方法(OSAT),采用物种示踪的方法对长三角3个代表性城市上海、苏州、杭州近地面O3的污染来源开展了模拟研究,探讨了4个源区(上海、浙北、苏南和长距离输送)、7类排放源(工业锅炉和窑炉、生产工艺过程、电厂、生活源、流动源、挥发源和天然源)对上海、苏州和杭州城区地面O3的浓度贡献.研究结果表明:长距离输送以及区域背景产生的O3约在20×10-9~40×10-9(体积分数)之间;加上上海及苏南、浙北地区排放的前体物在长三角城区地区二次生成O3,可使O3上升至40×10-9~100×10-9(体积分数)乃至更高.模拟时段内日间8 h O3浓度的地区贡献分析结果显示,长距离传输对于上海、苏州、杭州的浓度贡献分别为42.79%±10.17%、48.57%±9.97%和60.13%±7.11%;上海城区O3来源中,上海本地污染贡献平均为28.94%±8.49%,浙北地区贡献约19.83%±10.55%;苏州城区O3来源中,苏南地区贡献约26.41%±6.80%;杭州城区O3来源中,浙北地区贡献约29.56%±8.33%.从各受点日最大O3小时浓度贡献来看,长距离传输贡献比例显著下降(35.35%~58.04%),而本地污染贡献上升.区域各类污染源贡献分析结果表明,长三角地区对O3污染贡献最为突出的几类污染源分别是工业锅炉和窑炉(浓度贡献约18.4%~21.11%)、生产工艺过程(19.85%~28.46%)、流动源(21.30%~23.51%)、天然源(13.01%~17.07%)和电厂排放(7.08%~9.75%).研究结果表明,工业燃烧排放、生产工艺过程中产生的VOC排放以及流动源大气污染物排放,是造成长三角区域夏季高浓度O3的主要人为源. 展开更多
关键词 O3 来源追踪 长三角 城区 OSAT
原文传递
珠江三角洲秋季典型光化学污染过程中的臭氧来源分析 被引量:42
4
作者 陈皓 王雪松 +2 位作者 沈劲 陆克定 张远航 《北京大学学报(自然科学版)》 EI CAS CSCD 北大核心 2015年第4期620-630,共11页
利用区域空气质量模型CAMx模拟珠江三角洲地区(简称珠三角)2009年11月臭氧浓度演变过程,运用臭氧源识别技术(OSAT)对其中两个典型的光化学污染日进行臭氧来源识别,并与清洁日的情况做对照分析。结果表明,广州市区和东莞的排放对本... 利用区域空气质量模型CAMx模拟珠江三角洲地区(简称珠三角)2009年11月臭氧浓度演变过程,运用臭氧源识别技术(OSAT)对其中两个典型的光化学污染日进行臭氧来源识别,并与清洁日的情况做对照分析。结果表明,广州市区和东莞的排放对本地及珠三角西南部臭氧贡献很大(15-30μL/m3),深圳宝安区排放对珠江口有明显的贡献(15-25μL/m3)。流动源和溶剂使用源是珠三角臭氧生成最主要的两类前体物排放源,主要影响范围覆盖珠三角的中部和西部,流动源对佛山和江门交界地区的臭氧小时浓度贡献可达50μL/m3。较高的边界外传输使得珠三角在出现不利污染气象条件的情况下更易发生臭氧污染,但珠三角的前体物排放是造成污染时段臭氧浓度升高的主要原因,控制珠三角内的污染源排放对控制臭氧污染具有关键作用。 展开更多
关键词 珠江三角洲 CAMX 臭氧 OSAT
在线阅读 下载PDF
基于OSAT方法对上海2010年夏季臭氧源解析的数值模拟研究 被引量:24
5
作者 王杨君 李莉 +6 位作者 冯加良 黄成 黄海英 陈长虹 王红丽 盛国英 傅家谟 《环境科学学报》 CAS CSCD 北大核心 2014年第3期567-573,共7页
上海夏季臭氧浓度超标现象频繁出现,危害人体健康,已成为一个重要的大气环境问题.本文采用CAMx模型并使用OSAT方法对上海2010年夏季(8月)地面臭氧的源贡献进行了数值模拟研究,探讨了上海本地、浙江、江苏和远距离传输对上海徐汇站O3浓... 上海夏季臭氧浓度超标现象频繁出现,危害人体健康,已成为一个重要的大气环境问题.本文采用CAMx模型并使用OSAT方法对上海2010年夏季(8月)地面臭氧的源贡献进行了数值模拟研究,探讨了上海本地、浙江、江苏和远距离传输对上海徐汇站O3浓度的贡献,同时还详细分析了上海本地8类源(农业源、工业过程、工业锅炉、电厂、生活源、交通源和挥发源)的贡献特征.结果表明:在白天O3低浓度污染时段和夜间,上海徐汇站O3主要来自外围(最内层模拟区域之外)的贡献.而在白天高浓度O3污染时段,来自上海市本地污染源排放的贡献率显著地升高.从2010年8月6—31日期间徐汇站O3小时浓度贡献百分率的平均值来看,外围贡献了61.2%,上海本地、江苏和浙江对上海徐汇站的平均贡献率分别为22.8%、7.4%和8.6%.工业过程是上海本地O3的最大贡献源,其次是挥发源和交通源,因此,降低上海本地O3污染浓度的有效措施为控制来自工业过程、挥发源和交通源的O3前体物的排放.另外,通过OSAT方法模拟计算还得出,上海市交通源、上海电厂和工业过程是徐汇站NO x浓度(O3的重要前体物之一)的三大主要贡献源,实施针对该三大重点排放源的减排措施将有效减少上海市的NO x大气环境浓度. 展开更多
关键词 CAMX 臭氧 OSAT 上海
原文传递
1980-2014年中国台风大风和台风极端大风的变化 被引量:32
6
作者 陆逸 朱伟军 +1 位作者 任福民 王昕 《气候变化研究进展》 CSCD 北大核心 2016年第5期413-421,共9页
基于1980—2014中国670站日最大风速资料,利用改进的客观天气图分析法(OSAT)分离出中国陆地的台风大风(6级以上,≥10.8 m/s),并定义了台风极端大风,进而研究了台风大风和台风极端大风的变化特征。分析表明:在地理分布上,台风大风... 基于1980—2014中国670站日最大风速资料,利用改进的客观天气图分析法(OSAT)分离出中国陆地的台风大风(6级以上,≥10.8 m/s),并定义了台风极端大风,进而研究了台风大风和台风极端大风的变化特征。分析表明:在地理分布上,台风大风年均日数和占比均自海岸线向内陆迅速减小,在海南、华南和东南沿海省份以及江苏南部,台风大风占比一般为30%-70%台风极端大风年均日数大值主要分布在沿海省市(除河北和天津),特别是华东和华南沿海,局部地区台风极端大风日数占比达100%。从季节变化看,在台风活跃的7—9月,中国台风极端大风频次总体上超过了季风极端大风;就全国而言,当阈值从最低值(11.5m/s)提升至12级(32.7m/s)时,台风极端大风频数占比则从12%急剧攀升至77%。1980—2014年,中国台风大风和台风极端大风年日数均显著减少,而台风极端大风年平均强度增强;这期间引起中国台风大风和台风极端大风的台风频数均显著减少,但引起台风极端大风的台风在生命期和影响期的平均强度均显著增强,这可能是上述显著变化特征的主要原因。 展开更多
关键词 台风大风 台风极端大风 OSAT
在线阅读 下载PDF
AADL对月球车导航系统的设计与建模 被引量:2
7
作者 陈明铝 张立臣 《计算机应用与软件》 CSCD 北大核心 2013年第11期235-237,265,共4页
使用体系结构分析和设计语言AADL(Architecture Analysis and Design Language)对月球车导航系统进行分析与建模,把整个导航系统合理地拆分成三个分系统,并定义分系统之间的交互接口。每个分系统的建模实现都是根据月球车具体需求合理使... 使用体系结构分析和设计语言AADL(Architecture Analysis and Design Language)对月球车导航系统进行分析与建模,把整个导航系统合理地拆分成三个分系统,并定义分系统之间的交互接口。每个分系统的建模实现都是根据月球车具体需求合理使用AADL构件,并使用OSATE制作了系统的图形表示。 展开更多
关键词 AADL 月球车 导航系统 构件 osate
在线阅读 下载PDF
西北太平洋热带气旋降水特征分析 被引量:12
8
作者 韦青 任福民 +1 位作者 张庆红 王长金 《热带气象学报》 CSCD 北大核心 2010年第3期293-300,共8页
利用1997—2006年GPCP(Global Precipitation Climatology Project)逐日卫星降水资料、上海台风研究所西北太平洋热带气旋资料,研究了近10年西北太平洋热带气旋降水的时空分布特征。发现整个西北太平洋区域多年平均TC(tropical cyclone... 利用1997—2006年GPCP(Global Precipitation Climatology Project)逐日卫星降水资料、上海台风研究所西北太平洋热带气旋资料,研究了近10年西北太平洋热带气旋降水的时空分布特征。发现整个西北太平洋区域多年平均TC(tropical cyclone)降水为175 mm,TC降水占总降水的比率为12%。年均TC降水场有两个极大值区域,分别位于菲律宾北部和菲律宾以东洋面。纬带平均的经向分布显示,总降水呈双峰分布,主、次峰值分别出现在6°N和35°N;而TC降水呈单峰分布,峰值出现在16°N。10年中TC降水以2004年最强;El Ni?o年TC降水在135°E以东偏多,而在南海中部和菲律宾至台湾等地区偏少;La Ni?a年TC降水在南海地区偏多,在菲律宾以东地区则显著偏少。 展开更多
关键词 西北太平洋 热带气旋降水 特征分析 客观天气图分析法(OSAT)
在线阅读 下载PDF
水稻基因OsATS的克隆及功能鉴定 被引量:1
9
作者 李晓旭 王蕊 +3 位作者 张利霞 宋亚萌 田晓楠 葛荣朝 《作物学报》 CAS CSCD 北大核心 2021年第10期2045-2052,共8页
植物胚胎特异性蛋白ATS3和植物的渗透胁迫响应有密切关系,本文对水稻OsATS基因的抗逆相关功能进行了初步研究。qRT-PCR检测发现,水稻在盐胁迫后OsATS基因表达量显著增加。构建OsATS基因过表达载体,转化拟南芥植株,抗逆性检测表明, OsAT... 植物胚胎特异性蛋白ATS3和植物的渗透胁迫响应有密切关系,本文对水稻OsATS基因的抗逆相关功能进行了初步研究。qRT-PCR检测发现,水稻在盐胁迫后OsATS基因表达量显著增加。构建OsATS基因过表达载体,转化拟南芥植株,抗逆性检测表明, OsATS基因的过表达可以显著提高拟南芥在萌发阶段和成株阶段的耐盐性。随后将过表达载体p1300-35S:OsATS和RNA干涉载体pTCK303-OsATS-RNAi转入水稻,抗逆性分析表明,OsATS过表达水稻株系在萌发阶段和苗期的耐盐性显著提高,而OsATS基因RNAi水稻株系耐盐性则明显下降。qRT-PCR和生理指标检测表明,OsATS基因的表达可能通过调节OsP5CS1、OsLEA3-1、OsPDH基因的表达,调控了水稻细胞中的脯氨酸、LEA蛋白质含量,进而影响了水稻植株整体的耐盐性。本研究初步揭示了OsATS基因的抗逆功能,后续可通过调整该基因的表达量,改良水稻的抗逆性。 展开更多
关键词 水稻 OsATS基因 过表达 RNAi干扰 生理指标
在线阅读 下载PDF
专科医师规范化培训中腹腔镜直肠癌手术OSATS量表的建立与效果研究 被引量:2
10
作者 查郎 彭旭东 +2 位作者 魏正强 张宏宇 王子卫 《现代医药卫生》 2022年第8期1367-1369,共3页
目的建立专科医师规范化培训中腹腔镜直肠癌手术客观结构化临床技能评估客观结构化临床技能评估(OSATS)量表并评价其效果。方法通过问卷调查的形式由结直肠癌手术量超过500台以上主任医师结合中国抗癌协会结直肠癌腹腔镜手术操作指南制... 目的建立专科医师规范化培训中腹腔镜直肠癌手术客观结构化临床技能评估客观结构化临床技能评估(OSATS)量表并评价其效果。方法通过问卷调查的形式由结直肠癌手术量超过500台以上主任医师结合中国抗癌协会结直肠癌腹腔镜手术操作指南制定OSATS量表,并对40名学员进行一次性考核,按照评分结果将40名学员的分数等级分为A、B、C和D 4组,比较A、B、C和D 4组学员手术时间、出血量、术后排气时间、住院时间、淋巴结清扫数量的差异。结果在评分量表中不同分数的学员其手术时间[B组(292.0±16.8)min,C组(232.5±26.9)min,D组(188.6±14.9)min]和出血量[B组(140.0±37.4)mL,C组(87.5±15.8)mL,D组(35.7±19.0)mL]差异有统计学意义(P<0.05),评分越高的学员手术时间和出血量均明显低于评分低的学员;各组在排气时间、住院时间及淋巴结清扫数量方面比较,差异均无统计学意义上(P>0,05)。结论通过对OSATS量表的验证当学员等级分数达到80分时,其手术安全性和效果可达到该中心平均水平,有独立开展腹腔镜直肠癌手术的能力。 展开更多
关键词 专科医师规范化培训 腹腔镜直肠癌手术 OSATS 全直肠系膜切除
暂未订购
客观结构化临床技能评估在外科临床技能培训中的作用 被引量:7
11
作者 余雪丰 但洁 +3 位作者 赖维菊 蔡兰萱 刘林 刘泉 《现代医药卫生》 2021年第24期4292-4294,共3页
目的将客观结构化临床技能评估(OSATS)应用于临床实习时期外科技能培训中,评价其应用效果。方法通过随机数字表法抽取2019年1月至2020年1月在该院参与OSATS教学的临床实习医师48名(OSATS教学组)和进行传统外科技能培训教学临床实习医师4... 目的将客观结构化临床技能评估(OSATS)应用于临床实习时期外科技能培训中,评价其应用效果。方法通过随机数字表法抽取2019年1月至2020年1月在该院参与OSATS教学的临床实习医师48名(OSATS教学组)和进行传统外科技能培训教学临床实习医师48名(传统教学组)。分别在3个月培训结束后,进行客观的评估和成绩考核,对2组结果进行评价分析。结果OSATS教学组在外科主要技能考核中成绩明显优于传统教学组,差异有统计学意义(P<0.05)。结论OSATS教学方法用于实习医师临床外科技能培训中效果显著,能提高实习医师的兴趣、临床操作技能、技能竞赛成绩等,还能提高实习医师对培训教师的满意度,有效提升技能培训质量。 展开更多
关键词 OSATS教学 临床外科 技能培训
在线阅读 下载PDF
基于AADL的无人机导航系统设计与分析 被引量:2
12
作者 田光曙 《现代计算机》 2014年第11期48-52,共5页
分析无人机导航系统的功能特点,把其分为三个子系统:测量系统、计算系统、执行系统。采用AADL对整个系统进行建模,使用OSATE工具,定义子系统之间的接口。根据无人机导航系统的具体需求,各个系统建模使用合理的AADL组件,并用AADL系统数... 分析无人机导航系统的功能特点,把其分为三个子系统:测量系统、计算系统、执行系统。采用AADL对整个系统进行建模,使用OSATE工具,定义子系统之间的接口。根据无人机导航系统的具体需求,各个系统建模使用合理的AADL组件,并用AADL系统数据流分析系统延迟性和可靠性。 展开更多
关键词 无人机导航系统 AADL osate
在线阅读 下载PDF
京津冀地区典型月O_3污染输送特征 被引量:40
13
作者 王燕丽 薛文博 +1 位作者 雷宇 武卫玲 《中国环境科学》 EI CAS CSSCI CSCD 北大核心 2017年第10期3684-3691,共8页
基于空气质量模型CAMx的臭氧溯源技术(OSAT),对2015年7月京津冀13个城市O_3污染及传输规律进行定量模拟,建立了京津冀13个城市间的O_3相互影响矩阵,并分析了北京、天津、石家庄3个典型城市O_3污染逐日输送特征.研究表明,京津冀13个城市... 基于空气质量模型CAMx的臭氧溯源技术(OSAT),对2015年7月京津冀13个城市O_3污染及传输规律进行定量模拟,建立了京津冀13个城市间的O_3相互影响矩阵,并分析了北京、天津、石家庄3个典型城市O_3污染逐日输送特征.研究表明,京津冀13个城市O_3污染受传输贡献显著(>80%),而受本地源贡献相对较小,仅占6.9%(廊坊)~19.7%(北京),传输贡献中由京津冀区内城市间互相输送(区内传输)贡献范围为10.3%(沧州)~32.2%(廊坊),区外传输贡献约为37.3%(承德)~60.7%(秦皇岛),边界场BC贡献为14.4%(邯郸)~23.1%(张家口).典型城市O_3逐日传输矩阵证明传输贡献占主导,尤以区外贡献最为突出,本地贡献相对较小,但在O_3超标日,本地贡献明显上升. 展开更多
关键词 O3 臭氧溯源技术(OSAT) 京津冀 本地贡献 传输贡献
在线阅读 下载PDF
降低外购采办服务中的风险 被引量:1
14
作者 丁辉文 《半导体技术》 CAS CSCD 北大核心 2003年第4期51-53,75,共4页
关键词 半导体行业 外购组装 测试服务 OSAT 风险
在线阅读 下载PDF
基于CAMx⁃OSAT方法的西宁臭氧来源解析 被引量:11
15
作者 刘得守 李景 +1 位作者 苏筱倩 左瑞亭 《环境科学学报》 CAS CSCD 北大核心 2021年第2期386-394,共9页
利用青海省西宁市2018—2019年O_(3)浓度高值时期监测数据,结合CAMx⁃OSAT方法从控制型、分类排放源、区域贡献3个方面定量剖析西宁的O_(3)污染来源.结果表明:西宁O_(3)浓度整体为VOCs控制,主城四区(城东区、城西区、城北区、城中区)尤... 利用青海省西宁市2018—2019年O_(3)浓度高值时期监测数据,结合CAMx⁃OSAT方法从控制型、分类排放源、区域贡献3个方面定量剖析西宁的O_(3)污染来源.结果表明:西宁O_(3)浓度整体为VOCs控制,主城四区(城东区、城西区、城北区、城中区)尤其突出,且夏季较为显著;2018年和2019年VOC_(s)的贡献占比分别为9.76%和8.91%;而周边区县由NO_(x)和VOC_(s)共同控制.除背景场外,工业源对西宁O_(3)生成的贡献最高,其在2018年和2019年模拟期的贡献占比分别为52.22%和47.24%,其次为交通源.模拟期内,本地源和外地传输的贡献比值约为2∶1,西宁的O_(3)以本地生成为主.本地源中,主城四区是O_(3)生成的主要区域来源,占比约为32.26%;外地传输中,海东是主要贡献区.因此,为降低西宁本地O_(3)污染浓度,应在夏季日间时段控制主城区工业源及交通源的VOC_(s)排放,并加强与海东的联防联控. 展开更多
关键词 空气质量模型 OSAT 源解析 臭氧 西宁
原文传递
南京一次臭氧污染过程中的传输影响模拟分析 被引量:2
16
作者 李姗姗 张娟 +2 位作者 张星 左瑞亭 王丽琼 《环境工程》 CAS CSCD 北大核心 2023年第S02期349-353,共5页
基于空气质量模型CAMx的臭氧溯源技术(OSAT)和过程分析工具(IPR),对2022年6月15—25日南京市臭氧污染及传输影响进行定量模拟,测算南京市与周围城市区域之间臭氧的传输影响,并分析主要传输过程对南京市臭氧浓度的贡献。模拟分析表明:此... 基于空气质量模型CAMx的臭氧溯源技术(OSAT)和过程分析工具(IPR),对2022年6月15—25日南京市臭氧污染及传输影响进行定量模拟,测算南京市与周围城市区域之间臭氧的传输影响,并分析主要传输过程对南京市臭氧浓度的贡献。模拟分析表明:此次臭氧污染过程具有明显的传输特征,外地传输贡献约为37.6%,其中以宣城市、镇江市和常州市的贡献较为显著,日均贡献分别为19.9%、12.3%和3.1%。IPR方法定量分析表明,南京市臭氧主要的污染传输加剧过程来自南边界的平流作用,平均贡献15.3μg/m^(3);主要的消散过程为北边界的平流流出和顶部边界的平流上传(污染垂直扩散),平均贡献分别为-14.6,-3.3μg/m^(3)。南京市的东边界毗邻镇江市和常州市,南边界毗邻宣城市,这与OSAT核算方法的结果相一致,互为验证了两种定量核算方法的合理性。从垂直结构分析,南边界的污染传输加剧和北边界的污染传输消散主要发生在约800 m以下的低空,污染向上的扩散消散和向下的扩散加剧主要发生在50~300 m的低空,向下的平流加剧和向上的平流消散主要发生在1400 m以下。西边界平流主要发生在800 m以上的高空。300 m以下低空和1700 m以上高空的东边界平流在是臭氧污染的主要传输加剧过程,而300~1700 m则是臭氧污染的主要传输消散高度层。 展开更多
关键词 臭氧溯源技术(OSAT) 过程分析(IPR) 传输贡献
原文传递
OSAT美国的运输终端
17
作者 李保良 《中国汽车维修市场》 2000年第7期26-27,共2页
关键词 美国 汽车运输 OSAT 汽车工业 智能运输系统
在线阅读 下载PDF
AADL+: a simulation-based methodology for cyber-physical systems 被引量:3
18
作者 Jing LIU Tengfei LI +3 位作者 Zuohua DING Yuqing QIAN Haiying SUN Jifeng HE 《Frontiers of Computer Science》 SCIE EI CSCD 2019年第3期516-538,共23页
AADL (architecture analysis and design language) concentrates on the modeling and analysis of application system architectures.It is quite popular for its simple syntax,powerful functionality and extensibility and has... AADL (architecture analysis and design language) concentrates on the modeling and analysis of application system architectures.It is quite popular for its simple syntax,powerful functionality and extensibility and has been widely applied in embedded systems for its advantage.However,it is not enough for AADL to model cyber-physical systems (CPS) mainly because it cannot be used to model the continuous dynamic behaviors.This paper proposes an approach to construct a new sublanguage of AADL called AADL+,to facilitate the modeling of not only the discrete and continuous behavior of CPS,but also interaction between cyber components and physical components.The syntax and semantics of the sublanguage are provided to describe the behaviors of the systems.What's more,we develop a plug-in to OSATE (open-source AADL tool environment) for the modeling of CPS.And the plug-in supports syntax checking and simulation of the system model through linking with modelica.Finally,the AADL+ annex is successfully applied to model a lunar rover control system. 展开更多
关键词 AADL cyber-physical systems (CPS) SIMULATION osate LUNAR ROVER control system
原文传递
Implementation of an educational program for pancreaticoduodenectomy in a university hospital: a retrospective observational study
19
作者 Sohei Satoi Tomohisa Yamamoto +12 位作者 So Yamaki Satoshi Hirooka Daisuke Hashimoto Tatsuma Sakaguchi Hironori Ryota Rintaro Yui Kazuto Sakuramoto Hideyuki Matsushima Hiroaki Yanagimoto Hideyoshi Toyokawa Taku Michiura Kentaro Inoue Mitsugu Sekimoto 《Journal of Pancreatology》 2021年第2期99-105,共7页
Objective:No ideal training system exists for pancreaticoduodenectomy(PD).We developed an educational system that uses an objective structured assessment of technical skills.Methods:This retrospective observational st... Objective:No ideal training system exists for pancreaticoduodenectomy(PD).We developed an educational system that uses an objective structured assessment of technical skills.Methods:This retrospective observational study was conducted using the data of consecutive trainees and patients who underwent PD from 2007 to 2013 in Kansai Medical University Hospital.The total score on the task checklist(21 parameters)for measuring technical performance during PD by self assessment and instructor assessment was compared between junior(JN)and hepatobiliary pancreatic(HBP)trainees at a university hospital.Surgical outcomes of 303 PDs(2007-2013)were also compared among JN trainees,HBP trainees,and instructors,and the present position of the trainees was investigated.This study was approved by the institutional review board of Kansai Medical University on May 26,2020.Results:The self-assessment score on the task checklist was significantly higher for the HBP trainees than for the JN trainees on all parts of PD(P<.001).The discrepancy between self-assessment and instructor assessment improved in 3 JN trainees after experience with the first 5 PDs.Although total score curves rose to the right in the JN group,scores in the HBP group were stable,at 70 or higher,which correlated with the instructor assessment.The 90-day and 30-day mortality rates were 1.6%and 0.3%,respectively.Mortality and morbidity after PD did not differ between the JN and HBP trainees or between the instructors and the trainees.Four of 10 trainees became board-certified expert surgeons of the Japanese Society of Hepatobiliary Pancreatic Surgery.Conclusion:These results indicated good construct validity of the task checklist system.This program was safely and effectively implemented in terms of surgical outcomes and final outcomes of trainees becoming board-certified expert surgeons. 展开更多
关键词 Educational program MORBIDITY MORTALITY OSATS PANCREATICODUODENECTOMY
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部