-
题名安全计算机通信管理机制的形式化验证与实现
被引量：8
- 1
-
-
作者
梁靓
曹源
马连川
张玉琢
李恒奎
-
机构
北京交通大学电子信息工程学院
北京交通大学轨道交通运行控制系统国家工程研究中心
中车青岛四方机车车辆股份有限公司
-
出处
《通信学报》
EI
CSCD
北大核心
2016年第11期196-202,共7页
-
基金
国家自然科学基金资助项目(No.U1534208)~~
-
文摘
为提高下一代列车运行控制(简称列控)系统安全计算机的系统兼容性,首先对其结构进行简要分析,并对管理机制进行设计,建立了管理单元状态转移模型,同时以形式化验证工具对模型的正确性进行了验证。在此基础上对基于微控制单元(MCU,micro controller unit)的管理单元进行了软硬件的设计实现与测试。验证和测试结果表明,所设计的管理机制符合设计规范的要求,管理单元能够实现预期的状态转移功能。
-
关键词
列控系统
安全计算机
通信管理机制
形式化验证
-
Keywords
train control system, safety computer, communication management mechanism, formal verification
-
分类号
U285.41
[交通运输工程—交通信息工程及控制]
-
-
题名老年维持性血液透析患者应用钝针扣眼穿刺的护理体会
被引量：7
- 2
-
-
作者
梅竹
袁海川
张涛
朱蓓
赵卫红
-
机构
南京医科大学第一附属医院老年肾科血透室
-
出处
《护理实践与研究》
2017年第5期25-26,共2页
-
文摘
目的:总结老年维持性血液透析患者应用钝针扣眼穿刺的护理体会。方法:选择2015年4月~2016年8月在我院行血液透析的老年患者20例采用钝针扣眼穿刺,对其进行相应的护理。结果:20例患者进行钝针穿刺均顺利完成,无1例渗血发生。疼痛量表评分评价由7分降至2分,患者的满意度由92%提高至100%。4例患者出现穿刺处感,其中1例患者出现过2次内瘘感染,经抗感染处理后钝针继续使用顺利。结论:对于老年糖尿病肾病、血管条件差、穿刺困难的患者使用钝针扣眼穿刺能提高穿刺成功率、护士工作效率及患者满意度。
-
关键词
老年维持性血液透析
钝针扣眼穿刺
护理
-
Keywords
Elderly maintenance hemodialysis
Blunt needle buttonhole puncture
Nursing
-
分类号
R473.5
[医药卫生—护理学]
-
-
题名长生牌鹿茸片急性毒性及增强免疫力实验研究
被引量：1
- 3
-
-
作者
高小风
孙敬蒙
王园
薛传梅
张晓晨
张炜煜
-
机构
长春中医药大学
-
出处
《人参研究》
2017年第3期35-37,共3页
-
基金
吉林省省级医药健康产业发展专项资金项目
项目编号:20170311047YY
-
文摘
目的研究长生牌鹿茸片的急性毒性反应及增强免疫力的作用。方法将小鼠禁食(不禁水)16 h后,经口灌胃给予受试物,灌胃后观察并记录14天内动物的体重、中毒症状及死亡情况,以此考察小鼠急性毒性反应;以厂家日推荐摄入量剂量的5、10和30倍设置灌胃剂量,以蒸馏水作阴性对照组,各组小鼠连续灌胃30天后,以迟发型变态反应组指标以及小鼠腹腔巨噬细胞吞噬鸡红细胞组指标来考察增强免疫力的作用。结果急性毒性反应中各小鼠均未见明显症状,也无死亡;增强免疫力实验,中、高剂量组的受试物能增强小鼠的迟发型变态反应、对小鼠巨噬细胞吞噬鸡红细胞的能力无影响。结论长生牌鹿茸片无明显的急性毒性反应,属无毒级;具有增强免疫力作用。
-
关键词
长生牌鹿茸片
急性毒性实验
增强免疫力实验
-
Keywords
Changsheng Pai Lurong Plan
Acute toxicity test Enhanced immunity experiment
-
分类号
R285.5
[医药卫生—中药学]
-
