在C程序设计中注意字符串操作的越界问题

在C程序设计中数组或串的越界访问是难以发现且相当危险的,因为它可能改变了其他存储空间的内容。C++语言在编译或运行期间均不报告这一类型的错误,所以关于指针或数组的错误特别难以调试,初学者一定要注意这种陷阱。     

基于DSP的银行窗口排队人员越界监测报警系统的研究

开发一种银行窗口排队人员越界监测报警系统,通过设置在上方的摄像机,监视交易窗口前界限内的交易人员是否出现违规行为,以确保交易安全。该系统解决了交易人员服装与地面色彩反差小、自然光与外加灯光、光线阴影等对目标识别的影响。该系统的特点为处理器采用了TI公司高速低成本5509系列DSP芯片实现监测目标识别功能,使整机成本低,便于推广使用。     

用代码分析技术检测软件缺陷

为了查找和发现软件源代码中的漏洞和薄弱环节,进一步提高软件的质量,在深入研究代码分析技术原理的基础上,提出了代码分析技术的应用模式,从内存管理、数组越界、并发缺陷以及空指针引用或异常等多个角度进行了探讨分析,给出具体实例对代码分析技术在解决具体问题中的重要性进行论证。最后给出了代码分析技术用于检测软件缺陷的主要步骤。该研究对软件源代码的测试工作具有一定的理论价值和实际意义。     

非对称边界变异的分层并行量子粒子群算法

针对粒子群算法在非对称可行性区间经常发生越界的问题, 提出了一种非对称边界变异的分层并行量子粒子群算法(MQPSOBV)。该算法中引入分层思想, 将粒子非对称可行性区间分层设置和并行运行; 当粒子越界时, 对越界粒子在非对称上下边界进行相应变异, 从而使算法完全控制粒子越界行为, 有效地克服了粒子群算法的缺陷。测试结果表明, 该算法在精度和全局搜索能力方面有了很大的提高, 具有一定的实际应用价值。     

基于Coq的软件安全性验证

针对数组越界、空指针应用和缓冲区溢出三类威胁软件安全的不规范操作,提出了一种基于Coq验证上述三类操作的形式化方法。首先编写三类安全问题的程序实例,并采用形式化方法进行标注;其次运用Frama-C和Why工具对标注程序进行解析,生成需要证明的定理;最后基于Coq集成开发环境证明定理,实现安全问题的验证。结果表明,该方法有效验证了软件安全中的三类问题,为形式化方法在软件安全性验证方面的应用奠定了基础。     

有源配电网的安全距离与安全分析方法

提出了有源配电网的安全距离与安全分析方法。首先,提出了状态距离的概念,并建立了按方向和长短分类的有源配电网安全距离概念族。其次,提出了有源配电网中各类安全距离的计算方法,考虑了安全距离不存在或无穷大的情况,且能求解正、反向潮流边界的安全距离。再次,提出了基于状态安全距离排序的安全分析方法,得到最危险和最安全的方向及代价最小的安全控制方案;分析结果还包括越界边界、越界点、位移以及垂向轴向越界方向、正反向越界模式等丰富信息。最后,通过算例验证了所提方法。文中发展完善了配电网安全距离这一重要概念,越界分析方法也丰富了现有安全分析内容。     

今年矿产卫片执法监督检查推出新举措

<正>国土资源部执法监察局日前组织召开视频会,部署2014年度土地矿产卫片执法监督检查工作。会议针对矿产卫片执法监察提出新变化、新要求、新举措。会议透露,本次土地矿产卫片执法监督检查工作有两个重要变化:一是两次下发矿产卫片,重点矿区的矿产卫片已于2月6日下发,重点矿区以外地区的矿产卫片将于4月下旬下发;二是不再明确政策界限,国土资源部今年不再明确有关矿产卫片     

改进鲸鱼算法求解工程设计优化问题

为了更好求解工程设计优化问题,提升鲸鱼算法的寻优性能和应用能力,提出一种基于分段式随机惯性权重和最优反馈机制的鲸鱼优化算法.在随机游走觅食策略中引入基于当前全局最优解的反馈机制,加快算法收敛速度,增强求解稳定性;在收缩包围策略和螺旋气泡网捕食策略中引入分段式随机惯性权重,提高算法的寻优精度和跳出局部极值的能力;对越界处理进行修正和改进,消除了进化成果可能丢失的隐患.通过理论分析证明了该改进算法与基本鲸鱼算法的时间复杂度相同.6种代表性对比算法在12个复杂基准测试函数和3个工程优化设计问题上的实验结果表明,该改进算法的寻优性能、求解稳定性、对不同问题的适用性和有效性均明显优于其他5种对比算法.     

应用信息化网络技术监测越层越界开采初探

针对越层越界开采矿产资源所引发的事故,首先论证矿山测量在矿山安全生产中的重要性,应用网络信息化技术监测越层越界开采的可行性,重点对数据采集、处理、管理方法;实现数据远程传输方法;监测端三维图形(三维巷道、三维煤层)的显示方法三方面的关键技术进行论证。     

2016年年底济南市地下开采矿山将全部动态监管

<正>近日济南市政务网公布了关于进一步规范固体非煤矿山勘查开采秩序的通知。到2016年年底,全市地下开采的矿山要全部安装动态监管系统。有越界开采等6种情形的要依法取缔;有未经审批擅自回采尾矿的等10种情形要依法限期整改或停产整顿。2015年年底前,济南市既有矿山应当达到规定