搜索筛选:
搜索耗时1.8041秒,为你在为你在102,285,761篇论文里面共找到 19 篇相符的论文内容
发布年度:
[学位论文] 作者：刘林武,,
来源：南京航空航天大学 年份：2017
模型检测最主要的瓶颈是状态空间的爆炸,这就导致早期的模型检测主要用于小型系统的验证。为解决这个问题,偏序约简、有序二叉决策图、抽象等方法被提出。在上述方法中,抽象...
[期刊论文] 作者：刘林武,
来源：上海戏剧 年份：1986
今年三月,由上海戏剧学院表演系内蒙班演出的话剧《黑骏马》,以其浓烈粗犷的草原风情和新颖独到的表现形态,引起了戏剧界的关注和观众的一致好评。我国著名的戏剧艺术家...
[期刊论文] 作者：刘林武,
来源：中国血液流变学杂志 年份：1998
本文通过对１０８例脑梗塞、冠心病及高血压患者红细胞聚集指数和变形指数的分析，结果表明病人组与对照组比较有非常显著的差异，说明红细胞聚集性及变形性对病人的血流状况有一定的影......
[期刊论文] 作者：刘林武,
来源：城市建设理论研究（电子版） 年份：2004
以列车运行的安全性、准时性、捷达性和经济性为出发点，指出车站配线的基本目的是为列车调度运行服务提高列车调度机动性，灵活解决实际运行中的多种状态和功能需求。根据实际运......
[期刊论文] 作者：刘林武,
来源：电影评介 年份：1986
《原野》,描写了民国初年某农村中一个农民复仇的故事。八年前,恶霸地主焦阎王为了抢夺农民仇虎家的土地,勾结官府谋害了仇虎的父亲和妹妹,逼使仇虎的未婚妻金子押给焦家作...
[期刊论文] 作者：刘林武,
来源：戏剧报 年份：1986
张承志的中篇小说《黑骏马》问世已经四年了。它以一支蒙古草原的民间古歌作为其结构的框架,娓娓地向人们叙述了草原上的白云、鲜花、茂盛的牧草、醇香的美酒和奔驰的骏马以...
[期刊论文] 作者：刘林武,
来源：城市建设理论研究 年份：2012
摘要：本文从线网布局与城区人员密集程度的关系、影响客流的外部和内部因素以及研究讨论等方面入手，详细的阐明了影响广州地铁客流规模的因素以及解决问题的手段，为广州地铁扩大客流规模提供了有效的办法。 关键词：影响客流的外部和内部因素 影响客流规模的存在......
[期刊论文] 作者：刘林武,李建国,,
来源：都市快轨交通 年份：2006
介绍广州地铁采用的2种钢轨打磨方法,重点论述“预防性打磨”方法的原理、应用和优缺点,指出预防性打磨能有效地控制钢轨侧磨、疲劳和波磨,改善轮轨接触状况,降低轮轨噪声,延...
[期刊论文] 作者：刘林武,张弛,,
来源：计算机与现代化 年份：2017
抽象技术是解决模型检测状态空间爆炸的一种有效方法,但其中一个重大的障碍是对系统的抽象会引入原始系统中本来不存在的行为,即可能会引入虚假反例。因此,需要根据反例对抽...
[期刊论文] 作者：刘林武,张弛,
来源：计算技术与自动化 年份：2017
基于位置的服务（LBS）正在被越来越多的移动用户使用，用户的身份信息和位置信息也将暴露给服务提供商，从而可能导致用户的隐私被侵犯。提出了单向哈希方法，避免将用户的个人信息直......
[期刊论文] 作者：刘林武,张弛,
来源：电子世界 年份：2017
电子投票系统因其方便性、匿名性、安全性,正在得到越来越广泛的应用。本文提出一种基于网络的电子投票系统,使用哈希函数确保选票的完整性,借鉴公钥加密体制,使用投票人密钥...
[期刊论文] 作者：侯宏,刘林武,
来源：上海戏剧 年份：1985
吉祥的神啊.请赐福给我,为我唱一曲祝福的歌;呵,我的神灵.保佑我,为我广施恩泽……抒情柔美的印度音乐,悦耳动听的印度民歌,婀娜多姿的印度舞蹈,独具风格的印度建筑,融...
[期刊论文] 作者：刘力,刘林武,
来源：医学理论与实践 年份：2000
近年来,有关性激素失调与动脉粥样硬化及冠心病的发生已引起普遍关注,而男性脑梗塞患者性激素与血脂变化的对照研究国内报道不多。为此,我们测定了77例男性急性脑梗塞患...
[期刊论文] 作者：张弛,丁泽文,刘林武,
来源：计算技术与自动化 年份：2017
确保程序中没有运行时错误，对于软件安全性的保证十分重要。基于抽象解释的静态分析方法对程序语义进行抽象，是验证运行时错误最合适的形式化方法之一。然而抽象解释对于程序语......
[期刊论文] 作者：张弛 黄志球 丁泽文 刘林武,
来源：计算技术与自动化 年份：2017
摘要：安全关键领域中，如何保证软件安全性已经成为了一个广受关注的重要课题。确保程序中没有运行时错误，对于软件安全性的保证十分重要。基于抽象解释的静态分析方法对程序语义进行抽象，是验证运行时错误最合适的形式化方法之一。可配置程序分析（configurable progr......
[期刊论文] 作者：康承桂,王青,柳爱青,刘林武,
来源：中华医院感染学杂志 年份：2002
目的对致病菌进行药物敏感性分析. 方法分析2000年1月～2001年5月北京中关村地区主要致病菌分类及药敏试 验结果,并对其中195例β-内酰胺酶阴性的病例做了最低抑菌浓度(MIC)定...
[期刊论文] 作者：张慧英,刘力,王平,刘林武,于生元,
来源：中国疼痛医学杂志 年份：2001
为探讨神经肽Y(NPY)与偏头痛的关系,本文采用放射免疫分析方法测定了36例无先兆偏头痛患者发作期和间歇期血浆NPY浓度,结果显示发作期NPY含量明显高于间歇期(P＜0.001),同时发...
[期刊论文] 作者：王念鸿,张俊清,刘林,武一鸣,刘佳,郭晓蕙,,
来源：实用医学杂志 年份：2016
目的:通过观察OLETF大鼠肝脏组织过氧化物酶增殖体激活受体-γ辅助激活因子1(PGC-1)表达的变化,初步探讨其在2型糖尿病肝糖代谢中的作用。方法:OLETF大鼠为实验组,同龄LETO大...
[期刊论文] 作者：汪坤镕,滕本秀,王庆余,彭贤贵,高全杰,刘林,武大林,
来源：第三军医大学学报 年份：1988
用自身对比法分析观察血液病46例,FLI30例次治疗前后血象及临床疗效。化疗组FLI后两周WBC及BPC上升20％以上者分别为75％及70.3％;与自身单纯化疗相比相差非常显著(P...
相关搜索：
