刘宁

作品数：9被引量：30H指数：3
导出分析报告
供职机构：西南交通大学更多>>
发文主题：形式化建模与验证形式化验证葛根素形式化方法尿畅舒胶囊更多>>
发文领域：医药卫生交通运输工程化学工程自动化与计算机技术更多>>
发文期刊：《现代化工》《铁路通信信号工程技术》《综合运输》《西南交通大学学报》更多>>
所获基金：国家自然科学基金中央高校基本科研业务费专项资金四川省教育厅资助科研项目四川省应用基础研究计划项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于B方法的道岔控制系统形式化建模与验证被引量：2
《铁路通信信号工程技术》2022年第6期5-11,共7页刘宁 韩程 王峥 侯锡立 王恪铭 
国家重点研发计划资助项目(2016YFB1200602)。
为解决目前安全苛求系统研发中的功能安全问题,以用于轨旁设备联锁控制的道岔控制系统为研究对象,基于系统需求规范,使用形式化软件开发方法(B方法)对系统的功能逻辑建立形式化模型,完成对需求规范、系统功能及决策过程的验证,最终生成...
关键词：道岔控制系统 B方法 形式化验证 代码生成 
车站联锁系统行为验证与数据确认的形式化方法被引量：5
《西南交通大学学报》2021年第3期587-593,610,共8页王恪铭 王霞 程鹏 刘宁 张传东 
国家自然科学基金(71502146,61673320);中央高校基本科研业务费专项资金(2682017ZT12)。
车站联锁系统是一种典型的基于数据驱动的安全苛求系统,开发过程中需要对系统行为进行验证并需确认数据的正确性.为此,通过分析联锁系统的设计规范,基于RODIN平台并使用Event-B语言,辅助使用UML(unified modeling language)图工具快速...
关键词：车站联锁系统 形式化验证 定理证明 数据确认 功能仿真 测试 
道口管理系统多参数的形式化建模与验证被引量：2
《综合运输》2019年第2期65-72,共8页王霞 刘宁 王恪铭 
国家自然科学基金(71502146;61673320);中央高校基本科研业务费项目(2682017ZT12)
铁路平交道口作为铁路安全的瓶颈,其作业流程的缺陷是导致安全事故发生的重要原因之一。而现有道口管理规范大部分只针对单线接车,对于双线双向接车没有给出详细的规范。为了丰富实际流程,基于道口管理规范,探讨双线双向道口连续接车的...
关键词：平交道口 双线双向 多参数 安全 模型验证 
高效液相色谱法测定四川粉葛中葛根素的含量被引量：3
《中国医药导报》2009年第18期50-51,共2页刘宁 盛蓉 谈静 
目的:采用HPLC法测定四川粉葛中葛根素的含量。方法:色谱柱为依利特C18柱(4.6mm×150mm,5μm),流动相为甲醇-水(25∶75),流速为0.8ml/min,检测波长为250nm,柱温为25℃。结果:葛根素在0.0880～0.7040μg范围内峰面积与进样量呈良好的线...
关键词：四川粉葛 葛根素 高效液相色谱法 含量测定 质量控制 
消斑颗粒中挥发油的提取及β-环糊精包合物的制备被引量：1
《中国中医药科技》2009年第2期123-124,共2页盛蓉 刘宁 郑琰 
目的:研究消斑颗粒剂中混合挥发油的提取及β-环糊精包合挥发油的最佳工艺。方法:采用单因素试验,以挥发油得率为评价指标进行提取工艺的研究;采用正交试验法,以包合物收得率和挥发油包合率为评价指标进行包合工艺的研究。结果:混合挥...
关键词：@消斑颗粒/生产和制备 中药制药工艺 
尿畅舒胶囊提取工艺研究
《西南民族大学学报（自然科学版）》2008年第6期1192-1195,共4页刘宁 盛蓉 张永华 谭睿 
四川省教育厅资助课题.项目编号:2003A041
目的:确定尿畅舒胶囊提取工艺的最佳条件.方法:分别采用正交实验法,以葛根素为评价指标,优选粉葛的醇提工艺条件;以干膏率、总皂苷含量为评价指标,优选黄芪等药材水提工艺条件.结果:粉葛采用加6倍量50%乙醇提取,提取3次,每次提取40分钟...
关键词：尿畅舒胶囊 提取工艺 正交试验法 
尿畅舒胶囊质量标准研究被引量：3
《中成药》2008年第6期875-878,共4页盛蓉 王江林 呼梅 张永华 刘宁 
四川省教育厅资助课题(2003A041)
目的：建立尿畅舒胶囊的质量标准。方法：用薄层色谱法鉴别处方中的粉葛、三七和黄芪；用高效液相色谱法测定粉葛中葛根素的含量。葛根素的含量测定采用C18色谱柱（4．6mm×150mm，5μm），流动相为甲醇-水（25：75），检测波长：250nm...
关键词：尿畅舒胶囊 质量标准 葛根素 TLC HPLC 
医院中药饮片质量检测规范化建设的思考
《中国卫生事业管理》2008年第5期315-315,319,共2页李泽栋 王子寿 刘宁 
目的构建医院中药饮片质量检测规范化制度是保证药品质量的客观要求,实施其制度势在必行。方法抓源头订标准,提高医院领导的质量意识,规范中药饮片质量标准,进一步完善检测项目及内容,加快中药专门人才的培养。
关键词：医院 中药饮片 质量检测 规范化 
智能水凝胶的应用被引量：15
《现代化工》2007年第3期66-69,共4页赵玉强 张志斌 刘宁 许文来 
国家自然科学基金资助项目(50573061);四川省应用基础研究项目(03JY029-059)
智能水凝胶对于外界微小的物理化学刺激,如温度、电场、磁场、光、pH、离子强度或压力等能够感知并在响应过程中有显著的溶胀行为或响应性。本文重点介绍了智能水凝胶及与之密切相关的智能型大分子在药物控释、组织工程、活性酶的固定...
关键词：智能水凝胶 LCST 刺激响应性 应用 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部