基于踪迹挖掘的自动缺陷警报分类方法

缺陷检测一般包括静态分析与人工确认两个阶段.静态缺陷检测工具报告大量警报,但是主要的警报确认工作仍然由人工完成,这是一件费时费力的工作.巨大的确认投入,会导致测试人员和管理人员拒绝使用该静态检测工具.为了辅助警报确认工作,提出一种基于警报踪迹挖掘的警报分类方法,使用该方法挖掘警报踪迹进而将代码结构相似警报分为一类,使得分类后的最终警报报告更加易于人工确认.实验表明,该方法能够在较大规模的软件测试过程中分类测试结果,提高警报确认效率.     

论日心说与地心说同处于一个传统之内

众所周知，日心说和地心说是两个对立的学说。正是对地心说的怀疑才拉开了科学革命的序幕。而天文学革命的真正完成则是以科学共同体摈弃地心说为标志。这场革命如此富有特色，以致四百年来科学家、科学史学家、科学哲学家和科学社会学家对它的研究兴趣久盛不衰，著作浩如烟海，汗牛充栋。然而，在我们所见到的文献中，几乎都或明或暗地将这两个学说当作两个传统来处理。本文的目的，是利用大家所熟悉的普通史料，论证这两个对立的学说同处于一个传统之内。1引言古代天文学家所遇到的，又是无可回避的自然界的第一号挑战，无疑是如何解释载…     

19世纪的电磁学与电力技术革命

任何一门科学的诞生和发展都离不开科学内部知识的继承和外部社会历史条件的制约。19世纪电磁学的崛起正是科学发展的内在逻辑与当时电力技术革命相互影响相互推动的结果。本文试从电磁学理论的建立和它与电力技术革命的关系作出综合分析。一、从库仑、法拉第到麦克斯韦牛顿（Newton）的《自然哲学的数学原理》发表于1687年。牛顿给了我们一个完整的经典力学体系。又经过了几代人的努力，物理学的数学化取得了很大进展，并且被认为是非常严格的数学化。十八世纪蒸汽动力技术革命蓬勃兴起，可热学并未给予多少理论上的指导，热质说的桎梏尚…     

基于普通数码影像快速绘制等高线方法研究

利用普通数码相机采集立体像对,通过直接线性变换(DLT)方法,对所采集的立体像对进行分析、解求,进而求取立体像对内的地表三维空间坐标,利用求得的地表三维空间坐标组建三角网(TIN),从而在TIN的基础之上绘制等高线。     

基于MELCOR的HE-FUS3实验模拟及氦气冷却系统安全初步分析

MELCOR程序是由美国Sandia国立实验室为美国核管会开发,用于模拟轻水堆严重事故进程主要现象的一体化系统软件。针对HE-FUS3氦气实验回路进行了建模和计算分析,取得了良好的结果。该成果可为氦气冷却系统安全分析提供初步的参考;并将继续扩展使用于ITER氦冷包层系统安全分析。首先利用MELCOR对HE-FUS3氦气实验回路进行建模,对LOFA30失流事故进行了稳态及瞬态分析;并将MELCOR程序计算值与实验值进行了对比。结果显示:通过MELCOR对实验回路建模得到的LOFA30失流事故稳态计算值与CATHARE 2参考值大体一致;在失流事故的瞬态进程中,大部分热工水力参数计算值均与实验值符合较好。结果证明利用MELCOR程序对HE-FUS3实验回路整体建模的可靠性很高,通过MELCOR程序计算,用于分析氦气冷却系统安全性的数据准确,可靠,可以继续使用MELCOR对该领域进行更为深入,系统的研究和分析。     

固态钍基熔盐堆堆芯核设计安全限值研究

钍基熔盐堆因其在安全性、经济性及可持续性方面的优势被列为第四代核能系统重点发展的堆型。我国已经开展了相关的研究,然而国内关于研究堆的法规导则不完整,相关规定和要求比较原则,必须结合钍基熔盐研究堆的特点进行具体研究。针对固态燃料钍基熔盐实验堆,从核安全评审的角度,对核安全评审相关的问题进行深入研究分析。依据NRC针对下一代先进核能系统制定的评审方法,充分调研轻水动力堆(压水堆、沸水堆)、正在运行的研究堆、以及同样被列为第四代反应堆重点发展堆型的钠冷快堆、高温气冷堆,参考国内外对上述堆型堆芯核设计限值的确定原则及相关依据,初步给出钍基熔盐堆堆芯核设计关键安全限值。     

数控系统中PLC的应用

简单介绍了数控系统中PLC的组成、分类和控制原理,主要说明数控车床中PLC系统设计需解决的问题和应用后可取得的效果。     

基于流形方法的动态应力强度因子数值算法

简要介绍了流形方法基本原理和位移函数的构造方法及数值分析列式，并以此方法为基础发展了裂纹动态应力强度因子的数值计算方法。通过数值计算对动态应力强度因子与静态应力强度因子进行了比较，发现二者在数值上存在较大差别的原因是，其计算过程不同，计算动态应力强度因子时考虑了扩展速度的影响，因此在裂纹扩展分析中建议采用动态应力强度因子。     

顾及定向误差相对定向元素的解求

根据摄影测量中一个像对的概念和作用，通过对像对相对定向元素公式的推导，介绍了一种较为简易的打对定向元素的解求方法。     

基于CFD方法的氟盐冷却高温堆安全限值研究

氟盐冷却高温堆（FHR）是近年提出的一种新概念反应堆,继承了第四代反应堆和压水堆的技术特点,具有较高的经济性和安全性。本文以上海应用物理研究所设计的球床FHR（PB-FHR）为研究对象,采用CFD方法,建立了堆芯多孔介质模型,考虑了因燃料球堆积对冷却剂流动所产生的阻力作用,开展了PB-FHR热工水力安全限值研究,获得了两种不同工况下,满足堆芯入口温度、堆芯出口温度、冷却剂最高温度和燃料球中心最高温度限制的安全运行区间。研究对于PB-FHR的设计优化以及安全评审具有借鉴意义。