公共文化服务平台

刘宁: 作品数：16 被引量：40H指数：4; 供职机构：西南交通大学更多>>; 发文基金：国家自然科学基金中央高校基本科研业务费专项资金四川省教育厅资助科研项目更多>>; 相关领域：医药卫生交通运输工程化学工程自动化与计算机技术更多>>

合作作者

医院中药饮片质量检测规范化建设的思考: 2008年; 目的构建医院中药饮片质量检测规范化制度是保证药品质量的客观要求,实施其制度势在必行。方法抓源头订标准,提高医院领导的质量意识,规范中药饮片质量标准,进一步完善检测项目及内容,加快中药专门人才的培养。; 李泽栋王子寿刘宁; 关键词：中药饮片

尿畅舒胶囊提取工艺研究: 2008年; 目的:确定尿畅舒胶囊提取工艺的最佳条件.方法:分别采用正交实验法,以葛根素为评价指标,优选粉葛的醇提工艺条件;以干膏率、总皂苷含量为评价指标,优选黄芪等药材水提工艺条件.结果:粉葛采用加6倍量50%乙醇提取,提取3次,每次提取40分钟;黄芪等药材采用加8倍量水煎煮,煎煮3次,每次煎煮0.5小时.结论:本工艺方法简单,稳定可行,适合工业化生产.; 刘宁盛蓉张永华谭睿; 关键词：尿畅舒胶囊正交试验法

企业员工性格与工作满意度关系研究: 本文以企业正式员工为研究对象，首先探讨企业员工满意度和工作绩效现状，其次研究了工作满意度与性格的关系，希望能为现代化企业制度建立和人力资源管理提供参考。一般认为，员工工作满意度是同时受工作特征和员工个性两方面因素影响的...; 刘宁; 关键词：工作满意度性格企业管理; 文献传递

灵芝药材的质量标准及指纹图谱研究: 灵芝为多孔菌科真菌赤芝Ganoderma lucidum(Ley-ss.ex Fr) Karst或紫芝Ganoderma sinense Zhao，Xu et Zhang的干燥子实体。大量药理研究表明，灵芝具有调节免疫、...; 刘宁; 关键词：指纹图谱红外光谱聚类分析; 文献传递

新型悬挂式单轨车辆转向架构架结构优化设计与强度分析: 悬挂式单轨交通系统具有成本低、工期短、编组灵活、线路适应力强等特点，可有效缓解城市化带来的交通拥堵问题，近年来得到越来越多人的注意，在此背景下，本文设计一种新型悬挂式单轨车辆转向架，并对转向架构架进行结构优化和强度分析。...; 刘宁; 关键词：单轨车辆转向架构架强度分析尺寸优化

智能水凝胶的应用被引量：19: 2007年; 智能水凝胶对于外界微小的物理化学刺激,如温度、电场、磁场、光、pH、离子强度或压力等能够感知并在响应过程中有显著的溶胀行为或响应性。本文重点介绍了智能水凝胶及与之密切相关的智能型大分子在药物控释、组织工程、活性酶的固定、调光材料等方面的应用。; 赵玉强张志斌刘宁许文来; 关键词：智能水凝胶 LCST 刺激响应性

基于B方法的道岔控制系统形式化建模与验证被引量：1: 2022年; 为解决目前安全苛求系统研发中的功能安全问题,以用于轨旁设备联锁控制的道岔控制系统为研究对象,基于系统需求规范,使用形式化软件开发方法(B方法)对系统的功能逻辑建立形式化模型,完成对需求规范、系统功能及决策过程的验证,最终生成C语言形式的可执行代码。在分析系统各类属性与联锁逻辑关系的基础上,使用一阶逻辑和公理化集合论的数学方式,严格定义系统各层的B语言模型。通过对不变式的证明义务进行证明,验证系统中的安全、时间特性,检查出需求规范中的缺陷,提出增强系统稳健性的改进方案,进一步修正系统设计原型。通过不变式冲突和死锁检验进一步确认系统的正确性。研究表明,在所有证明义务通过机器自动证明和手动交互式证明的验证后,B模型自动生成的C代码能够正常运行并且功能满足实际联锁需求。将形式化方法应用于系统开发的全过程,所使用的技术路线及开发方法可以有效提高道岔控制系统的安全可靠性,并减少编码阶段工作量,对其他安全苛求系统的开发有重要参考意义。; 刘宁韩程王峥侯锡立王恪铭; 关键词：B方法形式化验证代码生成

地基GPS反演大气水汽关键问题的理论与方法研究: 研究利用地基GPS反演大气水汽不仅对天气变化的预报有重要意义，而且可以促进GPS定位精度的提高，从而发挥GPS在应用方面的潜力。基于此，本文对地基GPS反演大气水汽所涉及的主要问题进行了系统的研究，整个论文的主要研究内容...; 刘宁; 关键词：全球定位系统周跳探测

道口管理系统多参数的形式化建模与验证被引量：2: 2019年; 铁路平交道口作为铁路安全的瓶颈,其作业流程的缺陷是导致安全事故发生的重要原因之一。而现有道口管理规范大部分只针对单线接车,对于双线双向接车没有给出详细的规范。为了丰富实际流程,基于道口管理规范,探讨双线双向道口连续接车的问题,同时考虑道口接车作业流程中存在的异常,提出流程方案。分析系统环境属性、功能属性和安全属性,并利用UPPAAL时间自动机进行建模仿真,对模型的属性进行验证,根据验证结果确认方案流程的可行性。结果表明,本文所提出的多参数道口作业流程更符合实际情况,改进了多列车接车流程,并提出了接车过程中异常情况下的应对方案。; 王霞刘宁王恪铭; 关键词：平交道口