基于稀疏强特征提取的三维地震数据完备方法

随着复杂储层地震资料特征筛选的机器学习技术的进步,如何有效地对参与地震属性优选和储层反演的地震样本进行采集和分析,成为目前智能地震预测领域的一个研究热点。目前的方法多着重于模型分类算法的改进,在标签的制作和采集方面不仅耗费大量时间进行人工标注,还存在标签不平衡情况下类内可靠性、类间平衡性不强等问题。为此,提出基于稀疏强特征提取的三维地震数据完备方法。首先,基于多数决原则的样本分割(Sample Segmentation Based on Majority Rule, SSMR)寻迹多尺度、多标签三维地震样本,进行采集、自动标注;然后,改进标签洗牌平衡方法(Improved Label Shuffling Balance Method, ILSB),通过“2+1”的样本增广平衡策略进行数据完备处理,改善样本采样不平衡性导致的模型训练偏向性;最后,利用基于最小L₁范数稀疏表示对奇异值分解结果进行强特征提取(Minimum L₁-norm Based Sparse Representation for Feature Extraction, L     

扬长教育初论

在人的发展和人才培养中，人的“长”就是个体发展的优势资源，扬长教育就是张扬学生长处，促进学生扬长发展的教育策略。其旨在使学生更好地开发和利用自己的发展资源（时间、精力、兴趣、特长、个性、志向、兴趣），达到在创新中扬长，在扬长中完善知识、能力与素质，实现人的全面发展。扬长教育不仅仅是一种教育策略，而且是对传统教育的挑战。它改变了传统教育的质量观，人才知识与素质构成的方式、教育伦理和人才培养过程要素的含义等。     

DA471球铁凸轮轴热处理工艺研究

采用覆砂铁型生产了DA471型QT700—2球铁凸轮轴，其铸态显微组织由50％～85％的珠光体和球状石墨组成，球化率大于85％。论述了正火（雾冷和强风冷却）和回火温度对凸轮轴中显微组织和力学性能的影响。结果表明，正火加回火后凸轮轴的珠光体含量大于95％，抗拉强度和伸长率分别大于700MPa和3％。该凸轮轴已经大量使用。     

Conditional diagnosability and strong diagnosability of shuffle-cubes under the comparison model

The growing size of multiprocessor systems increases the vulnerability to component failures. It is crucial to locate and replace faulty processors to maintain the system's high reliability. Processor fault diagnosis is essential to the reliability of a multiprocessor system and the diagnosabilities of many well-known networks (such as hierarchical hypercubes and crossed cubes [S. Zhou, L. Lin and J.-M. Xu, Conditional fault diagnosis of hierarchical hypercubes, Int. J. Comput. Math. 89(16) (2012), pp. 2152–2164 and S. Zhou, The conditional diagnosability of crossed cubes under the comparison model, Int. J. Comput. Math. 87(15) (2010), pp. 3387–3396]) have been investigated in the literature. A system is t-diagnosable if all faulty nodes can be identified without replacement when the number of faults does not exceed t, where t is some positive integer. Furthermore, a system is strongly t-diagnosable if it is t-diagnosable and can achieve (t+1)-diagnosability except for the case where a node's neighbours are all faulty. In addition, conditional diagnosability has been widely accepted as a new measure of diagnosability by assuming that any fault-set cannot contain all neighbours of any node in a multiprocessor system. In this paper, we determine the conditional diagnosability and strong diagnosability of an n-dimensional shuffle-cube SQ_n, a variant of hypercube for multiprocessor systems, under the comparison model. We show that the conditional diagnosability of shuffle-cube SQ_n (n=4k+2 and k≥2) is 3n?9, and SQ_n is strongly n-diagnosable under the comparison model.     

Strong matching preclusion for two-dimensional torus networks

The torus network is one of the most popular interconnection networks for massively parallel computing systems. The strong matching preclusion number of a graph is the minimum number of vertices and edges whose deletion results in a graph that has neither perfect matchings nor almost perfect matchings. In this paper, we establish the strong matching preclusion number and classify all optimal solutions for the two-dimensional torus network with an odd number of vertices.     

基于统计占优分析的变异测试

为数众多的变异体产生的高昂测试代价严重影响了变异测试技术在实际程序中的应用.为了大幅度减少弱变异测试中变异体的数量,提出基于统计占优分析的变异体约简方法.该方法首先利用变异前后的语句构造变异分支,并将所有变异分支集成到原程序中,形成新的被测程序;然后,通过统计测试用例对各个变异分支的覆盖信息,确定变异分支之间的占优关系;最后得到非被占优分支集,其对应的变异体就是约简后的变异体.将该方法用于8个程序的测试,结果表明:该方法能够约简平均90%的变异体,从而显著提高了变异测试的效率.     

随机需求下多风险偏好零售商的供应链库存决策和协调

考虑由单个风险中性供应商和?? 个风险偏好零售商组成的供应链系统. 假设市场需求是随机的, 且每个零售商面临的需求与其订货量成正比, 采用平均CVaR 准则刻画零售商的风险偏好. 当零售商对称时, 得到系统总的均衡订货量关于零售商数量和风险偏好系数的单调性; 证明当风险偏好系数满足一定条件时, 批发价契约可以使供应链协调; 随机大需求导致系统较高的均衡订货量. 最后通过数值例子表明了需求可变性对系统总的均衡订货量的影响.

     

基于事件逻辑的改进Needham-Schroeder协议安全性证明

安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础。用事件序语言、事件类和一个表示随机数、密钥、签名和密文的原子类,给出身份认证协议可以被形式化定义和强认证性证明理论。利用该理论对增加时间戳的Needham-Schroeder协议安全性进行证明,证明改进的Needham-Schroeder协议是安全的。此理论适用于类似复杂协议形式化分析与验证。     

On Constrained MMVC of Discrete‐Time First‐Order Linear Stochastic Systems with PSI I: The Critically Stable Case

This paper is devoted to the study of the modified minimal variance control (MMVC) of discrete‐time first‐order linear critically stable stochastic systems with prospective strong intervention (PSI) and control input constraints. Due to different evolutionary characteristics of systems with PSI, that is, the two modes of tending to infinity and having bounded oscillations, the discrete‐time first‐order linear critically stable systems can be partitioned into two types regarding the signs of a key system parameter a. A necessary and sufficient condition for the state mean convergence of a system with a = 1 is derived and the corresponding design of MMVC is formulated. For the critical stable system with a =? 1, its oscillation amplitudes of state means can be effectively suppressed or the means can converge under control. Finally, the effectiveness and advantages of the proposed control strategies comparing with MVC are confirmed by numerical simulations.     

复杂地质高陡边坡锚索施工实践及若干技术控制标准的探讨

以雅砻江锦屏一级水电站大坝左岸550 m级高陡边坡预应力锚固工程为研究对象,在复杂工程地质条件下进行了超长、高承载力锚索施工实践,就锚索造孔技术、束体安装工艺、注(灌)浆技术、张拉工艺等方面进行研究与总结.然后,对监测资料进行分析评价,形成了一套复杂地质条件下高陡边坡锚索施工的技术与方法.文中还结合水电行业锚固施工规范、锚喷支护国标中的技术控制标准,对施工中存在的技术问题进行探讨,可为同类型高边坡锚固工程施工提供参考和借鉴.