新疆富蕴县乔夏哈拉金铜铁矿矿床地质特征探讨

乔夏哈拉金铜铁矿床位于准噶尔盆地北缘，准噶尔褶皱系，北缘与阿尔泰褶皱系的接合部位，区域地层属准噶尔地层区二台小区，出露地层以古生界泥盆系、石炭系为主，赋矿地层主要为中泥盆统北塔山组。矿带沿着地层走向断续延伸，呈北西一南东向带状展布，长约5km，宽100～200m，由一系列大小不等的含金铜磁铁矿（化）体组成。自北西至南东依次为乔夏哈拉西矿区、中矿区、东矿区，各区（段）1～1．5km。三个主要成矿阶段可以相互叠加，也可以独立分布，当同一矿体中三个成矿阶段叠加时，形成铁铜金综合矿体。该矿床成因为火山沉积-热液叠加改造型。     

自动开关三次爆炸原因分析

电动开关是常用的电气保护元件。由于它具有短路和过载保护功能，在机床电气中常用它代替熔断器和热继电器实现双重保护。自动开关发生爆炸在多数情况下是由于绝缘不良及线路中的短路电流大大超过了该开关的过电流能力所引起。我厂电工在修理加工中心时，分别在同一型号（XH755）不同编号的二台机床上发生了三次同一位置自动开关爆炸故障，由于前二次发生后电工误认为开关质量问题，更换后又无其它故障存在因此也没诈任何分析和查找原因。事隔数月，当对其中一台机床进行修理时又发生了同样的开关爆炸，三次为什么都炸这只，事后我们对故障…     

安全攸关软件系统建模与验证专题前言

随着计算机技术应用的日益普及和不断深入,软件系统的规模和复杂性急剧增大,软件在越来越多的系统中成为主要的使能部件.在航空航天、武器装备、医疗设备、交通、核能、金融等安全攸关的应用领域,软件系统失效将导致灾难性的后果,保障软件系统的质量成为迫切的需求和挑战.建模、分析与验证是保障软件系统质量的重要环节和手段.本专题收录的14篇论文反映了近年来我国学者在安全攸关软件系统建模与验证领域的     

基于接纳控制的智能电网需求响应

采用效用函数刻画用户的用电满意度, 将需求响应问题建模为一类凸优化问题. 针对电力供应商的供电量不能满足用户最小用电需求的问题, 结合分布式用电量调度和实定价, 设计两类接纳控制算法. 仿真结果表明, 通过接纳控制, 满足了购电用户的最小用电需求, 保证了用户的用电质量, 能够实现电网的供需平衡.     

正态分布区间灰数灰色预测模型

近期灰数预测主要关注无分布信息和均匀分布区间灰数预测. 基于灰朦胧集演化思想, 研究在不确定信息广泛存在的正态分布背景下, 正态分布区间灰数序列的灰色预测问题. 首先, 通过正态分布随机函数实现区间灰数序列与实数序列族的信息等效转换; 然后, 对正态分布区间灰数随机白化序列进行GM(1,1) 建模, 利用最大值最小值及正态分布“3?? 法则”建立区间灰数预测模型; 最后, 通过实例对比分析验证了所提出模型的可行性和有效性, 为区间灰数预测问题提供新的思路和方法.

     

一种新的相位角编码量子进化算法

针对具有连续解空间的数值函数优化问题,基于量子算法和实数编码进化算法的思想,提出一种新的相位角编码量子进化算法(PAQEA).算法的概率表达特性使得量子染色体能够以一定概率表达优化问题的所有可行解,结合动态量子旋转门实现染色体的进化,实现了算法局部搜索与全局搜索的平衡.理论分析证明了算法的全局收敛性.仿真结果表明,该算法适用于复杂数值函数优化问题,具有收敛速度快、搜索能力强和稳定性高的特点.     

非等间隔GM(1, 1, ????) 幂次时间项模型及其应用

GM(1, 1, ??^??) 幂次时间项模型是灰色GM(1, 1) 模型的推广. 在灰色GM(1, 1) 模型和等间隔GM(1, 1, ??^??) 幂次时间项模型的基础上提出非等间隔GM(1, 1, ??^??) 幂次时间项模型, 并对模型进行求解. 讨论了GM(1, 1, ????) 幂次时间项模型的曲线形状、发展系数以及幂指数间的关系, 研究了非等间隔GM(1, 1, ??^??) 幂次时间项模型的参数空间. 将平均相对误差看成幂指数的函数, 根据序列形状判断幂指数的范围, 并利用粒子群算法求解幂指数. 实际应用验证了所提出模型的有效性.

     

复杂网络结构的稳定性与鲁棒性研究

在对复杂网络研究的过程中,根据网络结构中结点连接度的连接倾向而将其划分为3种类型,即异配网络、同配网络、中性网络,采用变量梯度分析法分别对其稳定性进行判定与分析。理论分析表明,异配网络在大范围内是稳定的,同配网络状态是不稳定的,中性网络的稳定性不能确定,需要根据结点总体连接度的倾向性才能确定其是否处于稳定状态。同时对复杂网络的鲁棒性研究的仿真结果表明,其稳定性与鲁棒性具有正相关性,即异配网络的鲁棒性最好,中性网络次之,同配网络的鲁棒性脆弱。     

面向自动修复并融合失效场景的缺陷定位方法

为了应对日益增长的软件修复开销,研究高效的软件自动修复技术成为学术界和工业界的共识。缺陷定位作为自动修复技术的前端,是实现快速准确自动修复的关键,其精度直接影响自动修复的性能。然而,初步研究表明,现有缺陷定位技术缺乏对自修复需求的考虑,对自修复算法支持有限。有必要研究面向自修复的高精度自动化缺陷定位技术,以提升自修复性能。因此,提出了失效场景的缺陷定位方法来应对该问题。提出的方法首先采用程序切片技术,构造出与失效相关的场景;然后对失效场景的各个元素实施可疑值度量;最后将可疑值度量化的场景交给自动修复技术实施修复。初步实验结果表明,本缺陷定位方法能有效提升自动修复性能。     

基于B/S架构的电子表格数据上报系统设计与实现

数据上报是日常工作中的一项经常性、基础性工作.各部门分布在不同地域,日常工作中各部门员工多用网盘、邮件上报表格数据,再由数据采集人员逐份处理表格,对上报数据进行汇总、存档.不仅过程繁琐,还存在数据传输过程保密性差、数据汇总费时费力、数据查询仅靠人工操作、数据存档不安全等问题.为提高表格数据上报的便捷性和安全性,开发了基于B/S架构的电子表格数据上报系统.