压力管道可靠性安全评定

针对管道的断裂失效模式以及安全评定过程中存在的不确定性,提出了压力管道可靠性安全评定方法。通过分析主要评定参数：缺陷尺寸、工况载荷、断裂韧性、机械强度的分布特征,对各随机变量模拟实际工况抽样,应用Monte Carlo数值计算方法确定管道上的各独立缺陷的失效概率,进而获得整个管道的失效概率。可靠性安全评定方法确实反映了评定参数客观存在的不确定性,克服了确定性安全评定方法的缺点,具有极大的应用价值。     

基于“计算思维”的大学计算机基础教学研究

文章分析了国内大学计算机基础课程教学现状及其原因,引入"计算思维"概念,阐述计算思维对于培养学生综合能力的重要性,提出大学计算机基础课程教学急需引入基于"计算思维"的教学方式。以"教改班"和"华罗庚学院"学生为学习主体,构造了一种启发探索和任务驱动相结合的课程教学模式,实践证明该教学模式能逐步培养提升大学生的计算机思维能力。     

一种面向对象的启发式推理算法

1.引言 推理是智能系统中应用知识求解问题的一种主要方法,现有的智能系统所使用的推理方式不外乎是机械式的自动推理和启发式推理。自动推理具有完备性,控制简单,但是一种盲目的搜索方法,需要穷尽搜索树中的每个节点,这一方面导致推理效率较低,有时甚至会因为扩展了太多的节点而引起组合爆炸,不能得出问题的解;启发式搜索推理则可避免自动推理的上述缺陷,在搜索一个解时可以充分利用与问题域有关的启发式信息,减     

钨基面向等离子体材料的研究进展

综述了国内外广泛研究的W-La2O3和W-TiC合金的制备工艺、力学性能和辐照性能的研究进展。结果表明:向钨基体中加入La2O3弥散相,虽然能够显著改善钨的强度和韧性,但使钨的抗辐照性能降低,氢泡密度和氢滞留量明显增加;当采用TiC纳米颗粒作为弥散相,经过热等静压烧结和塑性加工后,钨合金的抗弯强度达到4.4 GPa,再结晶温度高于2 473K,韧脆转变温度(DBTT)比纯钨的低100 K;TiC的加入能够显著提高钨的抗辐照性能,与纯钨相比,氚滞留量减小,没有明显的辐照硬化,材料表面没有裂纹和剥落。     

政策性粮食质量与价格预测分析方法研究（网络首发、推荐阅读）

推动粮食优质优价是构建现代流通体系的重要内容。基于政策性粮食的管理需求和产业发展需求,以政策性粮食出入库为时间周期,以政策性粮食质量和价格变化规律为主要分析对象,研究政策性粮食出库拍卖价格的主要因素,将质量因素分解为粮食质量、粮食品质、粮食卫生、粮情等四类变量。同时,提出一种可以量化质量指标与价格的方法,构建了基于用途导向的政策性粮食质价分析框架和预测模型,以促进政策性粮食质量和价格形成紧密联系,并推动建立更加科学有效的粮食价格形成机制。     

贵州望谟板栗冷藏期致腐真菌鉴定及其生物学特性研究

板栗腐烂由多种真菌协同侵染造成,尤其冷藏期栗果腐烂率可达15%～20%。该研究以贵州望谟主产区板栗为实验对象,对其冷藏期进行致腐真菌分离纯化、柯赫氏法则致腐性测定、形态学和分子生物学鉴定。结果表明,分离鉴定出的3株致腐真菌分别为层出镰刀菌(Fusarium proliferatum)、皮落青霉(Penicillium crustosum)和链格孢菌(Alternaria alternata)。生物学特性试验表明,层出镰刀菌菌丝生长和产孢最适pH值分别为7.0和8.0,最适菌丝生长和产孢碳源为乳糖,氮源为甘氨酸,温度为25℃,光照条件为24 h黑暗;皮落青霉菌丝生长最适碳源为乳糖、pH值为8.0,最利于产孢的碳源为大豆多糖、pH值为7.0,菌丝生长和产孢最适温度为25℃、氮源为尿素、光照条件为24 h黑暗;链格孢菌分别以蔗糖、麦芽糖为碳源时菌丝生长最快、产孢量最大,菌丝生长和产孢最适温度为25℃、氮源为蛋白胨、pH值为9.0、光照条件为24 h黑暗。贵州望谟板栗冷藏期主要致腐真菌的确定,可为板栗腐烂有效防控及致腐机制研究提供科学依据。     

串空间理论扩展

现有的串空间模型由于没有抽象更多的密码学原语,因此不能分析较复杂的安全协议.希望通过对串空间理论的扩展使其充分地表达较多的密码学原语,以满足分析复杂安全协议的需要.对入侵串轨迹增加了签名、签名验证和HMAC(keyed-hashing for message authentication code)函数模型,重新定义了理想概念并对衍生出的相关命题和定理进行了证明.扩展的诚实理想分析模型不仅继承了原理论的性质,而且适合分析含丰富密码原语的协议,如JFK和IKE2.     

面向代码相似度检测的指纹选取方法

代码相似度检测是代码抄袭检测的核心组成部分,对于营造良好的学习氛围、提高知识产权保护意识具有重要作用。总结了应用指纹技术检测代码相似度的基本思路,分析了几种常见的指纹选取方法的优缺点,提出一种改进的面向代码相似度检测的指纹选取方法。该方法能够从疑似抄袭代码集中去除由代码编写规则产生的虚假相似代码对,有效获得代码之间准确的相似度值。     

用鱼群算法求解多级递阶物流中转运输系统优化问题

建立了解决多级递阶物流中转运输系统优化问题的大规模非线性最优规划模型。在优化模型中,在兼顾变量约束条件的空间限制和求解精度的情况下将求解空间离散化,方法是将变量空间划分成一定大小的网格,各级中转站的最优位置将在限定区域内的一些已知点上选取。该问题维数太高,采用改进的鱼群算法对该问题进行了求解。在算法中建立了各级中转站与网格点关系矩阵和相邻两级中转站间的关系矩阵来消除约束条件和压缩变量数;使用了基于相似性的演化算法来融合全局搜索和局部搜索;使用了自适应delta变异算子、双算术交叉算子、峰跳操作算子等多种算子改进人工鱼的各种行为。应用结果表明,该算法计算速度、可靠性和稳定性大幅度提高。     

语言工程的软件体系结构研究综述

语言工程的软件体系结构已经逐渐发展成为语言工程的主要研究领域之一。它面向通用的自然语言应用,为其提供架构层次的参考方案。研究内容涵盖与体系结构相关的计算资源、语言资源、方法和应用等多个方面。在一定意义上,可以把它看作是在语言工程领域内的特定领域软件体系结构(DSSA)。本文概要介绍了该领域的发展历程和研究意义,然后对其基本概念和当前主要研究进展进行了阐述和分析,并展望了进一步的发展趋势。