导读:本文包含了验证模型论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:模型,光子,采光,系统,互联网,心肌梗死,偏头痛。
验证模型论文文献综述
曹悦,刘玉生,赵建军,叶晓平,周书华[1]（2019）在《基于SysML的复杂机电系统设计模型形式化扩展与验证》一文中研究指出形式化系统验证是保证系统设计正确性的一种重要手段.如何针对复杂机电系统物理与软件相融合的特征,对系统设计的动态特征进行验证,是系统验证研究领域亟待解决的问题.针对这一问题,对系统工程标准建模语言SysML进行扩展,提出了一套形式化系统模型验证方法.首先,以计算树逻辑和基于流的功能表示为形式化基础,形成基于SysML的系统功能建模方法;然后,以混合自动机为基础,建立基于SysML的系统行为建模方法;最后,针对物理与软件子系统的不同动态特征,借助NuSMV模型校验器,以层次化方式实现系统模型的自动验证.以移动机器人系统为例,展示了复杂机电系统设计模型的自动验证过程.(本文来源于《计算机辅助设计与图形学学报》期刊2019年12期）
田思波,何鋆,郭润清,樊晓旭[2]（2019）在《交通拥堵辅助系统(TJA)跟车模型及试验验证》一文中研究指出交通拥堵辅助作为一种高级驾驶辅助系统,对缓解和减轻交通拥堵状态下驾驶员的疲劳具有重要作用。在交通拥堵状态下,车辆会频繁地进行加减速动作,保持合适的跟车距离对交通拥堵状态下的安全性和驾驶体验尤为关键。文章首先分析了交通拥堵辅助系统的跟车性能要求;其次,通过简化跟车过程和理论推导,建立了交通拥堵辅助系统跟车模型;最后,通过实车试验验证了交通拥堵辅助系统跟车模型的合理性和适用性。(本文来源于《上海汽车》期刊2019年12期）
王春苑,欧阳金龙[3]（2019）在《建筑采光缩尺模型动态评价实验的模拟验证》一文中研究指出以不同采光口设置的3个房间为例,以采光系数(DF)、采光量(DA)、有效采光照度(UDI)为评价指标,选择全年动态采光模拟软件Daysim作为主要分析工具,通过模拟和分析3个房间的4种不同缩尺比例模型内工作面上的DF、DA_300、UDI_(100-2000)等指标及分布情况,可知:同一房间不同模型内各指标的平均值非常接近,误差基本上在1%以内,且这些指标的伪色图也非常相似。从而证明了:缩尺模型可以在时间和空间上,更全面、准确地模拟建筑采光情况。这为建筑采光缩尺模拟的动态评价实验的实施,提供了有力的数据支撑。(本文来源于《四川建筑科学研究》期刊2019年06期）
宋慧玲,帅传敏,李文静[4]（2019）在《生态学习观视角下虚拟学习社区用户满意度模型构建与验证》一文中研究指出虚拟学习社区逐渐成为大众终身学习平台,研究用户满意度不仅对维持社区发展活力具有实践意义,也对未来学习空间的设计具有借鉴启示作用。该文首先从生态学习观视域分析界定相关概念,然后融合多学科理论,整合信息系统的持续使用理论、心理学的心流体验、社会认知理论和教育学的生态学习观构建虚拟学习社区用户满意度的概念模型。通过问卷收集大中专院校师生用户对MOOC、知乎、果壳、维基等代表性虚拟学习社区的调查数据,采用结构方程模型方法对1165份问卷进行分析,探索了影响用户满意度的主要因素及机制。研究发现:感知有用性、期望确认、心流体验、社区归属感和感知交互性直接正向影响用户满意度;自我效能感、心流体验和感知开放性间接影响用户满意度;感知交互性对用户满意度的总效应最大,其次是期望确认、心流体验、感知开放性、自我效能感、社区归属感,感知有用性。最后提出叁条提高满意度的建议:重视感知交互性建设,设计智能化交互服务环境和交互激励政策;注重用户期望确认,创建具有沉浸感的个性化服务环境;加强系统开放性建设,拓展系统多样化开放服务能力。(本文来源于《中国电化教育》期刊2019年12期）
余昭芬,周劲,余慈爱,汤艺[5]（2019）在《SERVQUAL模型的PV值法在湖北民族大学图书馆资源利用绩效评价中的验证应用与意义》一文中研究指出为探究图书馆资源利用绩效评估的SERVQUAL模型的PV值计算法的可操作性与实用性,兼顾了专家意见和实际数据事实的定性与定量分析,应用SERVQUAL绩效评价模型(以读者感知为中心的LibQUAL+TM模型)的绩效值(PVC)和"叁级叁度"(熵值法,The Entropy method,EM模型)的价值系数(VFC),分别验证应用于湖北民族大学4个典型全文数据库(CNKI、SDOS、VIP、SDL)进行绩效评估。结果证实,EM法对于专家组和用户组存在教育、学术和经济等多重功能的复杂性;SERVQUAL涉及用户期望值E(k)和感知值P(k);两种方法对于四个典型数据库的VFC和PVC的对应评价结果有一致性。表明SERVQUAL模型的PV值计算法在图书馆资源利用绩效评价中具有一定的实用意义。(本文来源于《内蒙古科技与经济》期刊2019年22期）
杨阳,彭叶棉,王莹,李芳柏,刘同旭[6]（2019）在《稻田土壤镉的表面络合模型及其生物有效性验证》一文中研究指出中国南方分布的稻田土壤以酸性可变电荷土壤为主(pH <6.5).重金属Cd作为重要污染物,其生物有效性在酸性条件下相对较高,因此,研究可变电荷稻田土壤中Cd的吸附特征并建立模型准确评价Cd的生物有效性具有重要意义.本研究通过测试不同p H下的稻田土壤Cd吸附曲线,建立了表面络合模型(SCM),模拟Cd的吸附行为;并且采用田间实验的稻米Cd累积量,对SCM预测的有效态Cd进行验证. Cd的吸附实验表明,随pH升高Cd的吸附量升高,至pH 5.5时Cd以吸附态为主.利用电位滴定实验和不同pH下Cd的吸附实验,建立了Cd吸附的1-site/2-p K表面络合模型,该模型能够很好地拟合Cd在可变电荷土壤中随p H变化的吸附特征.水稻田间实验数据表明,酸性(pH <5.5)稻田土壤pH与水稻籽粒Cd呈显着负相关(P <0.05),因为p H决定的吸附平衡是影响有效态Cd含量的关键;采用连续提取法获得的Cd形态(1 mol L-1MgCl2提取的可交换态和1 mol L-1NaOAc/HOAc提取的碳酸盐结合态)与水稻籽粒Cd含量无显着相关(P> 0.05);而采用模型预测的溶解态Cd与水稻籽粒Cd含量极显着相关(P <0.01),说明本模型预测的有效态Cd明显优于连续提取法.因此,应用SCM模型,可以更为准确地预测稻田土壤有效态Cd及其Cd在土壤-水界面的形态分配,为Cd的生物有效性评估提供新的思路.(本文来源于《科学通报》期刊2019年33期）
林尧,肖哲曼[7]（2020）在《对癫痫后偏头痛大鼠模型可行性的验证》一文中研究指出目的:验证癫痫后偏头痛大鼠模型建立的可行性。方法:体质量220～250 g雄性SD大鼠建模,分为对照、偏头痛、癫痫、癫痫-偏头痛共病4组,每组6只。建模完成后,观察各组大鼠挠头次数、痛阈的变化;Western Blot分别检测各组TLR4、GABAARα1在颞叶皮层、延髓背角的蛋白表达水平;免疫荧光染色法检测各组TLR4、GABAARα1、GFAP在颞叶皮层、延髓背角的阳性表达。结果:癫痫组与对照组大鼠挠头次数、痛阈对比,差异无统计学意义(P>0. 05),偏头痛、共病组大鼠较对照组大鼠挠头次数增加,痛阈降低,而共病组大鼠较偏头痛组大鼠又有进一步改变,差异有统计学意义(P<0. 05)。在颞叶皮层、延髓背角中,偏头痛、癫痫、共病组大鼠较对照组大鼠TLR4、GFAP表达水平升高,GABAARα1表达水平下降,而共病组大鼠较偏头痛和癫痫组大鼠又有进一步升高,差异有统计学意义(P<0. 05)。结论:通过动物行为学的观察,利用Western Blot和免疫荧光染色技术,验证了建立癫痫后偏头痛大鼠模型的可行性。(本文来源于《武汉大学学报(医学版)》期刊2020年01期）
吕永楠,李迪,李艳[8]（2019）在《基于随机森林的男性急性心肌梗死诊断模型建立及验证》一文中研究指出目的利用随机森林建立及验证男性急性心肌梗死诊断模型。方法检测2016年1至6月于武汉大学人民医院心内科住院的205例心绞痛或急性心肌梗死男性患者的血清生化及生物标志物指标,其中151例患者作为训练集,54例患者作为验证集。用随机森林对指标预测急性心肌梗死的重要性进行排序。根据袋外数据误差,赤池信息量准则和贝叶斯信息量准则对排序指标进行筛选并构建诊断模型;多维标度法(MDS)观察模型对急性心肌梗死和心绞痛的区分能力;用验证集数据验证模型对心绞痛和急性心肌梗死的鉴别能力。结果 19个指标根据平均准确度下降程度和平均基尼(Gini)指数下降程度进行重要性排序。用袋外数据误差,赤池信息量准则和贝叶斯信息量准则筛选出C-反应蛋白、中性粒细胞绝对值和血糖3个变量,并纳入模型。通过MDS法观察到多半样本得到良好的区分,但部分样本仍难以区分开。在外部验证中,31例急性心肌梗死患者有26例(83.87%)被正确识别;在23例心绞痛患者中有19例(82.61%)被正确识别。结论基于随机森林的诊断模型建立能较好区分急性心肌梗死与心绞痛。(本文来源于《中华诊断学电子杂志》期刊2019年04期）
姚喜凤,李恩静,颜应琳,冀瑞俊,于凯[9]（2019）在《基于互联网的颈动脉狭窄预测模型在体检人群中的应用与验证》一文中研究指出目的:在健康体检人群中验证基于互联网的颈动脉狭窄预测模型(ECAS)的准确性和可靠性,设想是否可依赖血管狭窄预测模型来更快捷、高效、廉价的筛查出健康体检人群中血管狭窄高危人群。方法:在任丘康济新图医院体检的电力局职工为研究对象,利用ECAS评分狭软件(www.ecassore.com),将该评分软件中要求的独立预测因子(性别、年龄、身高、高血压病史、脑卒中或TIA病史、血脂、血糖等)代入模型,获得ECAS的血管评分,对照颈动脉超声所示血管狭窄程度,采用受试者操作特征曲线下面积(AUROC)检验进行模型的验证。结果:共纳入927例受试者,平均年龄51岁,ECAS<50%、ECAS≥50%的狭窄率分别为2. 37%、1. 19%,ECAS在推导和验证队列中显示出良好的区分能力(AUROC范围为0. 884)。结论:ECAS评分是预测健康体检人群中重度血管狭窄的有效模型,其预测中重度颈动脉狭窄的准确率极高,值得在体检人群中推广应用,更快捷、高效的筛查出血管狭窄高风险人群,以利于医疗资源的节约。(本文来源于《心肺血管病杂志》期刊2019年11期）
梅宇涵,邵越,杭志宏[10]（2019）在《基于紧束缚模型的拓扑物理微波实验验证平台的开发》一文中研究指出拓扑光子学、拓扑物理与光学的结合,为凝聚态理论的验证以及新型光学器件的构建提供了新的视角.紧束缚模型是凝聚态物理的重要研究手段.我们发现,将传统光子晶体的背景材料由通常的空气改为有效介电常数为负数的材料之后,这样的光子晶体和紧束缚模型有一一对应的关系,可以用于相关理论的验证.通过数值仿真实验,在蜂巢晶格负背景光子晶体结构中验证了之字形(zigzag)、胡须型(bearded)等界面态的存在性.我们提出了两种实验构想,以期在微波频段开发相应的凝聚态理论验证平台,为拓扑物理的研究提供全新的工具.我们也希望,这些新理论的验证能为今后光学仪器的设计提供崭新思路.(本文来源于《物理学报》期刊2019年22期）
验证模型论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
交通拥堵辅助作为一种高级驾驶辅助系统,对缓解和减轻交通拥堵状态下驾驶员的疲劳具有重要作用。在交通拥堵状态下,车辆会频繁地进行加减速动作,保持合适的跟车距离对交通拥堵状态下的安全性和驾驶体验尤为关键。文章首先分析了交通拥堵辅助系统的跟车性能要求;其次,通过简化跟车过程和理论推导,建立了交通拥堵辅助系统跟车模型;最后,通过实车试验验证了交通拥堵辅助系统跟车模型的合理性和适用性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
验证模型论文参考文献
[1].曹悦,刘玉生,赵建军,叶晓平,周书华.基于SysML的复杂机电系统设计模型形式化扩展与验证[J].计算机辅助设计与图形学学报.2019
[2].田思波,何鋆,郭润清,樊晓旭.交通拥堵辅助系统(TJA)跟车模型及试验验证[J].上海汽车.2019
[3].王春苑,欧阳金龙.建筑采光缩尺模型动态评价实验的模拟验证[J].四川建筑科学研究.2019
[4].宋慧玲,帅传敏,李文静.生态学习观视角下虚拟学习社区用户满意度模型构建与验证[J].中国电化教育.2019
[5].余昭芬,周劲,余慈爱,汤艺.SERVQUAL模型的PV值法在湖北民族大学图书馆资源利用绩效评价中的验证应用与意义[J].内蒙古科技与经济.2019
[6].杨阳,彭叶棉,王莹,李芳柏,刘同旭.稻田土壤镉的表面络合模型及其生物有效性验证[J].科学通报.2019
[7].林尧,肖哲曼.对癫痫后偏头痛大鼠模型可行性的验证[J].武汉大学学报(医学版).2020
[8].吕永楠,李迪,李艳.基于随机森林的男性急性心肌梗死诊断模型建立及验证[J].中华诊断学电子杂志.2019
[9].姚喜凤,李恩静,颜应琳,冀瑞俊,于凯.基于互联网的颈动脉狭窄预测模型在体检人群中的应用与验证[J].心肺血管病杂志.2019
[10].梅宇涵,邵越,杭志宏.基于紧束缚模型的拓扑物理微波实验验证平台的开发[J].物理学报.2019
论文知识图
