定数截尾时，Weibull分布的Bayes双样预测

对定数截尾时的Weibull分布，介绍了无信息先验分布下的Bayes等尾精确预测区间，讨论了它的计算方法，指出了平方损失下Bayes预测子不存在，给出了Frequentist预测子，并用数值例说明之。     

Excel在真空计量中的应用

在真空计量领域中，Ｅｘｃｅｌ电子表格软件得到了广泛的应用。本文举例说明了Ｅｘｃｅｌ的数据计算，统计分析，回归分析，宏、ＯＬＥ和ＤＤＥ功能。     

饱和土中应力波传播计算

根据对淤泥质粘土和饱和砂进行的土动力学性质试验研究和应力波传播试验研究的成果。本文采用粘塑性模型和激波装配法建立了饱和土应力波传播的精确计算方法。     

亚跨超CFD软件平台研制

亚跨ＣＦＤ软件平台研制的宗旨是综合国内外计算流体动力学的最新研究成果，用计算机软件技术的新发展，建立一个面向对象的计算流体动力学的研究开发环境，加快计算流体动力学最新成果向工程应用的转换速度。本文介绍初级版本的研究进展和研究成果，主要匝数值网格生成技术，流场解算器，面向对象的界面设计等三部分组成。     

基于图剖分的多块结构网格负载平衡方法

负载平衡是影响并行计算性能的重要因素。针对多块结构网格,给出了一种改进的多层次图剖分负载平衡方法。该方法设计了新的网格剖分算法,采用改进的子块分裂方法与图剖分算法的循环调用实现结构对接网格剖分,并通过建立不同物体重叠网格间的连接关系,实现了结构重叠网格的负载平衡。采用2个典型算例对方法进行了对比验证,数值结果表明,子块分裂方法对剖分结果具有重要影响,采用循环调用算法及改进的子块分裂方法能有效地实现计算负载均衡及通信量优化,同时显著减少了网格块数及因虚网格导致的内存需求,有利于提高并行效率。该负载平衡方法与网格拓扑无关,适用于多块结构对接网格及重叠网格,且整体型剖分方式对于多块结构重叠网格具有更好的剖分效果。     

机载系统和设备合格审定中的软件要求（下）

7.0 软件配置管理和质量保证规则 软件配置管理(SCM)规则是硬件配置管理的扩展,它专门讨论从最初设计需求一直到整个使用期间,软件的标识、控制、报告和审查的特性。软件质量保证(SQA》规则通过独立地审查设计需求和产生的代码,看其是否符合标准、符合可测试性和从需求到代     

基于最小曲率半径的软波导安全裕度校核方法

针对传统软波导安全裕度校核方法存在不够准确和/或计算量难以承受的缺陷,文章提出一种基于最小曲率半径的软波导安全裕度校核方法,分析其可行性、便利性及准确性,并给出具体的计算步骤.对同一个算例的分析结果表明,与传统方法相比,此方法可以更加准确地反映软波导的安全裕度.     

面向TensorFlow和PyTorch的线性代数基准测试

传统的高性能线性代数计算库如BLAS需要开发者具备丰富的性能优化经验,使用困难。TensorFlow、Pytorch等AI框架提供了简单的开发接口,促进了机器学习应用的发展。这些AI框架大量进行线性代数计算,但是不清楚其是否针对线性代数计算进行了性能优化。设计了一组线性代数计算测试程序,评估了AI框架对的线性代数计算的...     

A salient edges detection algorithm of multi-sensor images and its rapid calculation based on PFCM kernel clustering

Multi-sensor image matching based on salient edges has broad prospect in applications, but it is difficult to extract salient edges of real multi-sensor images with noises fast and accurately by using common algorithms. According to the analysis of the features of salient edges, a novel salient edges detection algorithm and its rapid calculation are proposed based on possibility fuzzy C-means （PFCM） kernel clustering using two-dimensional vectors composed of the values of gray and texture. PFCM clustering can overcome the shortcomings that fuzzy C-means （FCM） cluster- ing is sensitive to noises and possibility C-means （PCM） clustering tends to find identical clusters. On this basis, a method is proposed to improve real-time performance by compressing data sets based on the idea of data reduction in the field of mathematical analysis. In addition, the idea that kernel-space is linearly separable is used to enhance robustness further. Experimental results show that this method extracts salient edges for real multi-sensor images with noises more accurately than the algorithm based on force fields and the FCM algorithm; and the proposed method is on average about 56 times faster than the PFCM algorithm in real time and has better robustness.