李真
- 作品数：9 被引量：5H指数：1
- 供职机构：郑州大学更多>>
- 发文基金：河南省科技攻关计划更多>>
- 相关领域：自动化与计算机技术医药卫生电子电信语言文字更多>>
- 一种模型检测精确加速的判断方法
- 在实时系统中具有不同的时间度量,在用时间自动机进行建模及验证时会引起片段问题,通常的解决办法是向时间自动机添加一个附加环,但是在片段数量较少或片段不满足一定条件时,添加附加环的加速效果并不明显,甚至会降低验证速度.对此,...
- 勾利杰李真王从银庄雷
- 关键词：实时系统时间自动机
- 文献传递
- 基于UPPAAL的复杂定时数据建模
- 针对路由协议中复杂定时数据建模的难题,提出一种基于离散和抽象的建模方法.该建模方法中,各条复杂定时数据的生存时间被离散化为时间分片,并用时间分片数量表示对应数据的生存时间.采用轮询策略周期性地检查数据的生存时间并更新数据...
- 李真王从银庄雷
- 关键词：路由协议时间自动机建模仿真
- 文献传递
- 基于UPPAAL的复杂定时数据建模
- 2014年
- 针对路由协议中复杂定时数据建模的难题,提出一种基于离散和抽象的建模方法。该建模方法中,各条复杂定时数据的生存时间被离散化为时间分片,并用时间分片数量表示对应数据的生存时间。采用轮询策略周期性地检查数据的生存时间并更新数据。以路由协议中的链路保持特性为例,在建模过程中运用所提出的方法,对路由协议的链路保持功能和链路断开的敏感性进行验证。结果表明,这种建模方法可应用于复杂定时数据的建模。
- 李真王从银庄雷
- 关键词：时间自动机UPPAAL
- 一种模型检测精确加速的判断方法被引量：1
- 2014年
- 在实时系统中具有不同的时间度量,在用时间自动机进行建模及验证时会引起片段问题,通常的解决办法是向时间自动机添加一个附加环,但是在片段数量较少或片段不满足一定条件时,添加附加环的加速效果并不明显,甚至会降低验证速度。对此,本文提出一种模型检测精确加速的判断方法,通过分析加速过程中的主要参数,推导出了精确加速是否有效的判断条件。实验结果表明,利用这个判定条件可以准确地判断模型是否需要加速。
- 勾利杰李真王从银庄雷
- 概数词“前后/左右/上下”、“多/来”的对比研究
- 表数方法的不同反映出各个民族的不同思维方式和语言特点。汉语中用来表示不确定量的概数也鲜明地体现了汉族人的思维方式和特点。当说话人客观上难以说清准确数量和客观上能够说出准确数量,但主观上出于某种考虑而不愿说出的时候就用到了...
- 李真
- 关键词：对外汉语教学句法分布误用分析
- 基于集体记忆的村史馆展陈空间设计研究
- 村史馆作为乡土集体记忆的载体之一，见证着乡村历史，承载着乡村的自然、物质环境和村民生活样态记忆，早已成为村民进行身份认同与精神归属的重要参照。 本文首先引入集体记忆理论作为解读乡村记忆的关键，总结出其集体性、连续性、建...
- 李真
- 关键词：集体记忆
- 膝、髋关节置换术后真菌性假体周围感染的危险因素分析
- 人工膝、髋关节置换术(Total joint arthroplasty,TJA)是骨关节科常用的一种缓解关节疼痛、改善下肢力线、重建关节功能和治疗终末期关节疾病的一种快速有效的方法，它能使关节严重疼痛和功能受限的患者恢复...
- 李真
- 关键词：人工膝关节置换术人工髋关节置换术
- 基于UPPAAL的路由协议验证
- 近年来，关于下一代互联网和物联网的研究成果日渐丰富，新的数据通信和传输方法不断涌现。其中，新的路由协议是新型网络的关键部分，其正确性直接影响着网络的稳定性。然而路由协议在设计上具有自身特殊的复杂性，在设计过程中经常会出现...
- 李真
- 文献传递
- 分层应变技术对青年男性力量型运动员左心室收缩功能的研究
- 目的 在常规超声心动图基础上，联合斑点追踪的分层应变技术分析男性青年力量型竞技运动员左室构型、收缩功能、左室壁三层心肌纵向应变以及同步性与正常人的差异，旨在探讨分层应变技术在评估该竞技人群左心室收缩功能时的价值。分析常...
- 李真
- 关键词：超声心动图左心室构型运动员
- 文献传递
