逻辑与数据库技术概论

本文对二十余年来人们在逻辑与数据库相结合领域所作的工作进行了归纳总结,并把它们区分为三类:理论和完全关系结构方法,纯理论方法以及理论和不完全关系结构方法。本文简要介绍了这三种方法的基本思想和关键技术,并讨论了它们各自的特点和适用范围。     

一种基于类电磁机制算法的模拟电路故障诊断方法

针对模拟电路的特征,该文提出一种基于类电磁机制算法的模拟电路故障诊断方法,该方法首先利用小波包技术提取故障特征,然后将特征向量输入到采用类电磁机制算法优化的BP神经网络中,避免参数过早陷于局部最优,提高了神经网络的分类能力.通过具体实例验证了该算法的有效性.     

“健康云”如何实现医疗信息化综述

对云计算技术实现医疗信息化的背景、研究基础、核心技术进行探讨,具体阐述了“健康云”在居民电子健康档案中的应用以及在医院信息管理系统中的应用,包括系统特点、整体架构等方面,并对其未来发展予以展望。     

基于分形编码和LIC混沌系统的图像压缩加密算法

随着数字图像在网络中的广泛应用,其在安全、传输、存储等方面的问题亟待解决。提出的算法为分形编码提供了新型安全方案,分形图像编码具有压缩比高和重构质量高的特点,而混沌的不可预测性和初值敏感性适用于图像加密,将分形编码和混沌加密有效结合可以充分发挥两者的优势。此外,通过耦合增强构造新的混沌系统,改善了种子映射复杂度低、混沌范围有限等问题,并设计了置乱扩散同时进行的加密结构来提高算法效率。实验表明,提出的算法的密钥空间大、密钥敏感性强、相邻像素相关系数和信息熵都接近理想值,能够抵抗多种常见攻击,且加密速度更快,能满足实际应用的需要。压缩性能方面,在满足重构视觉质量的同时达到了较其他方案更高的压缩比。     

自供碳尾水湿地构建技术与应用

针对污水处理厂尾水湿地中常存在的碳源不足、氮去除率较低问题,研发了自供碳尾水湿地构建技术体系,该技术体系包含构建湿地植物供碳周年模式、不同物候型水生植物配置效果评价、构建复合人工湿地处理系统和关键过程的参数化.技术体系已成功应用于大型尾水湿地工程示范,可广泛应用于尾水湿地构建工程.     

农业水价综合改革工作经验做法

响水县紧紧围绕"惠民节水、利民利国"改革目标,采取"一推五化",即组织领导强力化、农业水价形成机制制度化、精准补贴和节水奖励精细化、工程管护常态化、用水管理明确化,推进农业水价综合改革,取得积极进展和明显成效.从改革背景、改革措施、改革成效、改革验收工作等方面总结了响水县农业水价综合改革工作的经验启示,对巩固改革成果具有重要意义.     

Feasibility of the indirect determination of blast-induced rock movement based on three new hybrid intelligent models

Engineering with Computers - The indirect and accurate determination of blast-induced rock movement has important significance in the reduction of ore loss and dilution and in the protection of...     

Spatial division networks for weakly supervised detection

Neural Computing and Applications - With only global image-level annotations, weakly supervised learning of deep convolutional neural networks has shown enough capacity in classification and...     

基于AeroSim的先进无人机仿真平台的设计与实现

在无人机飞行仿真研究方面,存在所建立的模型具有专用性强及可重用性差等问题,文中介绍了一种基于AeroSim模块集所开发的无人机全数字仿真平台,使用了MATLAB/Simulink作为仿真软件的开发环境;在综合考虑了各类影响飞行性能的因素后,根据飞行器建模的通用方法,构建了无人机的全量非线性方程;以模块化的思想进行了仿真子系统的建立,描述了各模块间的关联及功能;在控制律的验证方面,设计了一种非线性动态逆控制器;仿真结果表明,该平台直观性强,所设计的控制器能够保证无人机姿态稳定,并准确地跟踪预定航线,具有较好的模拟效果。