一种新的SAT问题预处理算法

提出了一项新的正向推理技术:对称扩展的一元子句推导(Symmetric Extended Unit Propagation)。与传统的一元子句推导技术相比,文中的方法通过在一元子句推导过程中添加对称的蕴涵关系从而能够推导出更多的一元子句。基于这项新技术实现了一个可满足性问题(SAT)预处理器Snowball。实验结果验证了该项技术的有效性,表明该预处理器Snowball能够有效地化简SAT问题的规模并减少解决SAT问题的时间。     

一种针对海面SAR图像的视觉注意模型设计

在研究了经典ITTI等视觉注意模型的理论基础上,结合海面SAR图像背景及目标特点,对传统视觉模型应用于海面SAR图像的缺陷进行分析总结,提出一种适用于海面SAR图像视觉注意模型设计算法。首先,模型借鉴经典ITTI模型的基本框架,选择并提取了能够较好描述SAR图像的纹理和形状特征,求取相应的特征显著图;其次,采用新的特征显著图整合机制替代经典模型的线性相加机制进行显著图融合得到总显著图;最后,综合各特征显著图下注意焦点的灰度特征,选择最佳的显著性表征,完成通过多尺度竞争策略对显著图的滤波及阈值分割实现显著区域的精确筛选,从而完成SAR图像的显著区域检测。实验采用Terra SAR-X等多幅卫星数据进行仿真实验,结果验证了模型良好的显著性检测效果,更符合实际高分辨率图像目标检测的应用需求。通过进一步与经典视觉模型对比分析,模型在改善了由斑点噪声和不均匀的海杂波背景对检测结果产生的虚警影响的同时,检测速度也较之提高了25%~45%。     

基于模糊逻辑的国外再入飞行器拟平衡飞行控制方法

拟平衡飞行过程具有典型的非线性、时变性和不确定性等特点,常规控制方法难以实现拟平衡飞行的高精度在线控制。利用模糊逻辑对数学模型精确性依赖程度低、具有较强逻辑推理的特点,提出基于模糊逻辑的国外再入飞行器拟平衡飞行控制方法,同时利用遗传算法对模糊控制参数进行优化,智能化程度高且具有较强的鲁棒性。仿真结果表明,该方法有效、可行,为解决再入飞行控制提供了新思路。     

弹道式再入飞行器零射程线技术研究

在介绍了零射程线基本概念的基础上,提出了3种常用的零射程线工程算法,并基于其中的迭代方法,采用弹道仿真手段,分析了影响零射程线方向的主要因素,给出了零射程线技术的应用途径,并对零射程线技术后续研究方向进行了展望.     

采用ECA介体实现数据库触发器功能

封装了ECA规则的介体程序,不修改客户应用程序和数据库管理系统内核,可实现数据库触发器的事件检测、条件判断、动作执行等主动功能.其实现方式有轮询、层次化、远程过程调用等.将ECA介体引入XBase数据库,介体语言过滤器则将客户请求分离为ECA规则、过程调用和SQL命令等部分.介体同时封装了ECA规则解析器、事件检测器和动作执行器.     

基于Ingres关系数据库的扩展栅格数据模型

设计基于关系数据库扩展栅格数据模型,以实现栅格类型的影像数据管理。首先依据开源数据库管理系统Ingres的自定义扩展机制,扩展实现栅格数据模型;然后设计栅格类型物理存储结构,并对分块技术和金字塔结构技术进行详细阐述;栅格数据模型扩展能很好地实现数据库管理系统Ingres管理栅格类型影像数据的功能。     

高效节水灌溉设计软件DLand功能概述及其特点

目前我国高效节水灌溉工程设计软件开发、应用较少。为此,根据国内现行技术标准、规范,利用C++编程语言、AutoCAD的Object ARX技术以及SQL Server数据库,开发了高效节水灌溉设计软件DLand。该软件按照专业设计流程组织界面,集微灌、喷灌、低压管道输水灌溉工程设计于一体,包括工程设置、灌溉及工作制度设计、管网设计与布置、工程优化设计、设备选型、图表输出、设计报告生成以及数据库等功能,具备功能齐全及数据库完备等优点,可用于多模式综合灌溉系统以及复杂地形条件下的高效节水灌溉工程优化设计。     

基于有限体积法的三维波生近岸流数值模型

波浪破碎产生近岸流是近岸浅水区域一个重要的水动力现象。该文利用辐射应力的概念,并考虑辐射应力沿水深的变化、波浪破碎引起的水滚以及波流共同作用下的水底剪应力,建立了基于有限体积法的三维波生近岸流数值模型。运用建立的数值模型模拟了两个实验室实验,并同实验的实测结果进行了对比。结果表明,建立的数值模型能够较好地模拟波浪破碎产生的近岸流。     

龙口市城乡一体化发展情况调查

摘 要 加快推进城乡一体化是破解“三农”问题、构建和谐社会的重大举措。该文通过对龙口市推进城 乡一体化进程的总体思路、取得的效果、存在的问题进行分析，提出发展经济、农村社区化建设、深化改 革3项推进城乡一体化进程的相关建议。     

大学英语写作教学浅议

针对英语写作这一薄弱环节，分析了写作教学中教与学的关系，以及学生在习作中常出现的一些问题，并上此提出了改进英语写作教学的建议。