科学推理研究的程序范式探析

有关科学推理研究的传统路径属于关系范式,以计算知识论为代表的新型路径则属于程序范式。计算知识论路径起源于语言学习的研究,而Kelly是将计算知识论运用于科学推理研究的集大成者。程序范式下的科学推理研究围绕科学推理问题的可解性和科学方法的逻辑可靠性展开,具有规范性、先验性和长期性的特点。依据程序范式下的计算知识论路径,局部不完全决定性问题得到了细致的分析,发现逻辑在科学哲学中的地位也得到了有力辩护。程序范式为科学推理研究提供了完整的分析框架,从可靠探究的角度重新确定了科学推理研究的基本问题,对未来的科学推理研究颇具启发意义。     

SwiftArray: Accelerating Queries on Multidimensional Arrays

Scientific instruments and simulation programs are generating large amounts of multidimensional array data.Queries with value and dimension subsetting conditions are commonly used by scientists to find useful information from big array data,and data storage and indexing methods play an important role in supporting queries on multidimensional array data efficiently.In this paper,we propose SwiftArray,a new storage layout with indexing techniques to accelerate queries with value and dimension subsetting conditions.In SwiftArray,the multidimensional array is divided into blocks and each block stores sorted values.Blocks are placed in the order of a Hilbert space-filling curve to improve data locality for dimension subsetting queries.We propose a 2-D-Bin method to build an index for the blocks’value ranges,which is an efficient way to avoid accessing unnecessary blocks for value subsetting queries.Our evaluations show that SwiftArray surpasses the NetCDF-4 format and FastBit indexing technique for queries on multidimensional arrays.     

基于非对称逆布局模型的几何矩计算方法

以提高低阶矩的计算速度和精度为目标,以传统的图像表示方法和基于分层结构的图像表示方法为研究对象,提出了一种基于非对称逆布局模型和坐标编码程序(NAMCEP)的快速精确几何矩计算方法.给出了基于NAMCEP表示的精确矩计算的一个重要定理.以图像处理领域里惯用的Lena,Goldhill,F16和Peppers二值图像作为典型测试图像,并与流行的基于线性二元树(LBT)表示的矩计算方法进行比较,结果表明:基于NAMCEP表示的矩计算方法精确矩计算时间比LBT平均节省68.75%,能够有效地用于推导平移、伸缩和旋转不变量方面.     

基于操作剖面搜索可疑参数的故障定位方法

针对软件故障定位问题,提出一种新型故障定位技术SPRank(可疑参数排名).该方法利用测试数据构建操作剖面模型,并提出输入参数谱度量程序各个参数的可疑度;在此基础上,利用优化的思想搜索程序的可疑参数和与之相关的可疑语句,进一步缩小程序故障的检索范围,从而提升故障定位准确率.实验表明SPRank方法能有效地提升三种经典高效的故障定位方法的故障定位准确率.     

脉冲中子-裂变中子探测铀黄饼的MCNP模拟

利用MCNP程序模拟研究脉冲中子-裂变中子探测铀黄饼,采用脉冲式中子源,利用氦三管中子探测器记录裂变中子,得到铀黄饼中的铀含量信息。通过对14 MeV脉冲中子源和产生的裂变中子在不同铀含量模型中的输运计算,分析了裂变中子与铀含量的关系。结果表明:利用裂变超热中子衰减时间谱,可以确定铀黄饼中的铀含量;通过对热中子衰减时间谱进行校正,可以提高铀黄饼中铀含量计算结果的准确度。     

程序管制下考虑高度层穿越的航路容量评估模型

针对RNP(required navigation performance)规范和程序管制手段下的航路容量评估方法进行研究,采用数学建模的方法,根据程序管制规则和RNP运行规范,建立了一种考虑高度层穿越(crossing flight level,CFL)的航路容量评估模型.量化航空器上升率和穿越间隔裕度之间的关系;确定了CFL的间接影响;考虑程序管制中同向和逆向穿越确定了CFL的直接影响;使得模型评估值更接近实际运行值.通过成都—拉萨B213航路的模拟测试和调研数据分析,评估其规划平行航路前后的容量值,验证了本文模型的准确性,且证实实施RNP后航路容量的提升.为成拉复线的开通提供了理论支撑,对评估我国西部地区的航路容量有一定的参考价值.     

贵州科学院9项青年基金项目成果通过验收

<正>2015年3月24日,贵州科学院组织专家对2011~2012年度立项实施完成的9项青年基金项目成果进行了评审验收。评审验收会根据院青年基金项目验收评审的方法进行,验收程序规范,按照项目排列顺序分别汇报、答辩和评审。专家组经质询和认真讨论后形成验收意见,并对项目研究取得的成果给出优、良、中、差的评审等级。     

典型考核方法在程序管制模拟训练中的应用

随着我国经济快速发展,社会对民航需求越来越大,现今,我国民航的空中交通管制员多数为应届毕业接受工作培训后,直接进入实际工作,因此,对航空器在空域中的运行动态,缺少实际空间感受。对空管工作安全带来较大隐患。实际调研得知,程序管制培训在管制员构建空间想象能力培养方面,具有良好的促进作用。目前,民航行业对程序管制培训工作的开展也越发重视,已对在校、在职管制学员展开系统的培训课程。该文会重点研究典型的考核方法在程序管制模拟机训练考核中的应用,试图为之提供行之有效的可行性建议。     

ADS次临界堆脉冲中子源实验动态特性数值模拟研究

强外源驱动与深次临界度使得ADS次临界反应堆在中子学特性上与传统临界堆有较大差异,确定论中子学计算方法难以直接应用于ADS次临界堆.本文采用MCNPX程序对"快热"耦合ADS装置YALINA-Booster的PNS实验进行了模拟,并将模拟与实验结果进行比较.结果表明:在不同的堆芯布置方案和不同脉冲中子源特性下,模拟结果与实验结果具有良好的一致性,验证采用MCNPX程序研究ADS次临界堆中子学动态特性的可行性.     

基于块无缝拼接的纹理合成算法及C++程序实现

基于样本的二维纹理合成技术是属于纹理拼贴的方法,综述了二维纹理合成技术中几种经典的纹理合成算法,并用C++程序实现了理论化的基于块无缝拼接的纹理合成算法,且给出代码的关键部分。通过测试程序,用C++实现的基于块无缝拼接的纹理合成算法,在合成质量、速度上达到令人满意的效果。