导读:本文包含了不变检验论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:时段,模型,线性,系数,信号,局部,爱因斯坦。
不变检验论文文献综述
张苗苗,安杰,沈炜,祖佺[1]（2019）在《扩展线性时段不变式的模型检验研究进展》一文中研究指出扩展线性时段不变式是时段演算中的一类重要公式.时段演算是周巢尘院士于20世纪90年代提出的一种用于嵌入式实时软件设计的演算系统,它开创性地将积分概念引入计算机实时软件的分析中,从而能够描述处理连续时间区间性质,是国际上公认的描述和分析实时系统的主流方法之一.由于时段演算内容丰富并且相关的综述和专着已出版,文章旨在对扩展线性时段不变式这一时段演算子集的模型检验问题的研究情况进行论述:①介绍时段演算、线性不变式及其扩展;②分别论述线性时段不变式以及扩展线性时段不变式的模型检验研究情况,其中重点介绍扩展的线性时段不变式,在离散时间语义和连续时间语义下的近期验证成果.(本文来源于《广州大学学报(自然科学版)》期刊2019年02期）
黄桦,李玉云,梅传忠,武文娟,石玉荣[2]（2018）在《从临床生物化学检验教学角度论专业调整背景下检验医学教育的“变与不变”》一文中研究指出2012年颁布的《普通高等学校本科专业目录》对检验医学的人才培养目标和学制进行了重大调整,探索并实施与之相适应的检验医学高等教育改革日益成为重要而迫切的问题,在教育改革过程中需要开拓新的教学方法,同时也需要保持优良的教学传统。如何在专业调整背景下做好检验医学高等教育的"变与不变",拟进行初步探讨。(本文来源于《包头医学院学报》期刊2018年12期）
冯骥[3]（2017）在《紧盯目标不变 锁定任务不减 用实绩检验学习贯彻十九大精神成效》一文中研究指出本报拉萨11月18日讯（记者 冯骥）17日下午，1至10月份全区经济运行情况通报暨经济工作部署电视电话会议召开。区党委副书记、自治区主席齐扎拉在会上强调，要把学习宣传贯彻党的十九大精神作为首要任务，按照区党委九届叁次全会部署，紧盯目标不变，锁定任务不减，(本文来源于《西藏日报(汉)》期刊2017-11-19）
李长平[4]（2017）在《以政治担当建强基层堡垒》一文中研究指出习近平总书记指出：“严肃党内政治生活是每个党员、干部的事，大家都要增强角色意识和政治担当，在党言党、在党忧党、在党为党，把爱党、忧党、兴党、护党落实到工作生活各个环节，敢于同形形色色违反党内政治生活原则和制度的现象作斗争。”,按照“四讲四有”标准，双柏县(本文来源于《云南日报》期刊2017-07-21）
贾琼,李兵兵[5]（2016）在《基于非圆信号的局部最大功效不变检验频谱感知方法》一文中研究指出频谱感知是认知无线电网络中关键的一个环节,为了保证主用户不受干扰,要求感知算法必须具有较高的检测效率和检测精度。该文主要研究MIMO场景下的频谱感知问题,利用非圆信号的特性,提出一种基于局部最大功效不变检验(LMPIT)的频谱感知方法。根据渐近分布理论,推导了所述方法的理论检测门限。最后,采用蒙特卡洛仿真方法,分别分析了不同信道环境下该方法的检测性能,并与相关的感知算法进行对比。结果表明:在相同的环境下,文中提出的方法相比其他方法检测性能更高,且所需的采样点数更小,能够实现快速且精确的检测。(本文来源于《电子与信息学报》期刊2016年06期）
安徽检验检疫局党组[6]（2015）在《检验检疫新常态下的“六变”“六不变”》一文中研究指出编者按 1月26日至28日，本报采访组赴安徽采访时了解到，安徽检验检疫局贯彻全国质检工作会议精神起步早、思路清、措施实。在检验检疫改革发展的关键时期，为了谋划好新年度工作，该局提前两个月成立了6个调研组，分别由党组成员带队，深入基层单位、口岸一(本文来源于《中国国门时报》期刊2015-01-29）
安杰[7]（2014）在《概率线性时段不变式的统计模型检验》一文中研究指出模型检验是软件工程形式化方法的一个重要组成部分,线性时段不变式是形式化方法中表述系统性质的一种重要表达式。对线性时段不变式的模型检验一直是形式化方法研究的一个重要内容。该文提出了一种针对带概率的线性时段不变式的模型检验方法,该方法针对不带有不确定性的概率模型,运用统计模型检验的方法,基于UPPAAL工具实现了概率线性时段不变式的统计模型检验。(本文来源于《电脑知识与技术》期刊2014年30期）
孙祝岭[8]（2009）在《失效机理不变的假设检验》一文中研究指出文献[1]证明了寿命型随机变量情形下变差系数不变是失效机理不变的必要条件,基于这一结论,提出了检验变差系数是否相等来检验失效机理是否改变的方法。分别给出了寿命分布分别为对数正态分布、伽玛分布、Weibull分布、Gumbel分布和分布自由时变差系数相等的假设检验方法。(本文来源于《电子产品可靠性与环境试验》期刊2009年02期）
林金,李志刚,费景高,胡德风[9]（2009）在《爱因斯坦光速不变假设的判决性实验检验》一文中研究指出爱因斯坦光速不变假设的判决性实验检验是在中国科学院国家授时中心的高精度TWSTT(双向卫星时间传递)设施上完成的。实验检验的原理是基于狭义相对性原理和单程光(电磁)信号同时性定义。检验原理通过对比单程光信号同时性定义和双程光信号同时性定义的测量机制证明:在有相对运动的情况下双程光信号中的"往"和"返"两个单程信号通过的时间是必然不相等的。在本文报告的检验实验中西安临潼观测站和乌鲁木齐观测站的铯原子钟分别通过鑫诺卫星和中卫一号卫星进行双向时间传递。观测数据证明卫星和地面站之间存在1m/s量级的相对速度会造成西安临潼站和乌鲁木齐站之间"往"和"返"两个单程信号通过的时间差在1.5ns量级。观测结果的不确定度在±0.01ns量级。爱因斯坦1905年以定义方式引进的等式,tB-tA=t′A-tB,在有相对运动情况下不成立。(本文来源于《宇航学报》期刊2009年01期）
王宁,张应剑[10]（2008）在《基于系数估计的趋势性分析检验变系数模型中的不变系数》一文中研究指出当应用半变系数模型分析数据时,应首先确定哪些系数为常值,哪些系数随因素而变化。本文通过对变系数模型中的系数的局部线性估计进行再光滑,基于其变化的趋势性构造统计量以检验其中的常值系数,为半变系数模型的建立提供理论依据。并通过数值模拟试验考察了检验的功效,得到了满意的结果。(本文来源于《工程数学学报》期刊2008年04期）
不变检验论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
2012年颁布的《普通高等学校本科专业目录》对检验医学的人才培养目标和学制进行了重大调整,探索并实施与之相适应的检验医学高等教育改革日益成为重要而迫切的问题,在教育改革过程中需要开拓新的教学方法,同时也需要保持优良的教学传统。如何在专业调整背景下做好检验医学高等教育的"变与不变",拟进行初步探讨。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
不变检验论文参考文献
[1].张苗苗,安杰,沈炜,祖佺.扩展线性时段不变式的模型检验研究进展[J].广州大学学报(自然科学版).2019
[2].黄桦,李玉云,梅传忠,武文娟,石玉荣.从临床生物化学检验教学角度论专业调整背景下检验医学教育的“变与不变”[J].包头医学院学报.2018
[3].冯骥.紧盯目标不变锁定任务不减用实绩检验学习贯彻十九大精神成效[N].西藏日报(汉).2017
[4].李长平.以政治担当建强基层堡垒[N].云南日报.2017
[5].贾琼,李兵兵.基于非圆信号的局部最大功效不变检验频谱感知方法[J].电子与信息学报.2016
[6].安徽检验检疫局党组.检验检疫新常态下的“六变”“六不变”[N].中国国门时报.2015
[7].安杰.概率线性时段不变式的统计模型检验[J].电脑知识与技术.2014
[8].孙祝岭.失效机理不变的假设检验[J].电子产品可靠性与环境试验.2009
[9].林金,李志刚,费景高,胡德风.爱因斯坦光速不变假设的判决性实验检验[J].宇航学报.2009
[10].王宁,张应剑.基于系数估计的趋势性分析检验变系数模型中的不变系数[J].工程数学学报.2008
论文知识图
