格蕴涵代数的软LI-理想

借助软集合,提出了格蕴涵代数的软LI-理想的概念,研究了软集运算下的一些诸如交、且等基本性质,并给出了格蕴涵代数的软LI-理想的一些等价刻画。此外,研究了格蕴涵代数的软LI-理想与格蕴涵代数的软格理想之间的关系。得到了格蕴涵代数的软LI-理想像与原像的性质。     

三峡库区宝塔坪滑坡形成机制研究

宝塔坪滑坡是三峡库区现有成因复杂的巨型老滑坡之一,长期以来,工程界对其形成机制一直有着不同的认识。通过详细的现场调查和对勘察资料的深入分析,基于滑坡形态和结构特征,进一步探讨了宝塔坪滑坡的形成机制和演化过程。研究发现：滑坡发育受控于巴东组三段泥灰岩内部及其与二段泥岩之间的层间错动带、坡体后部卸荷裂隙带和长江下切提供的高陡临空面。根据巴东组四段紫红色泥岩在滑坡区不同高程的分布和滑坡结构分析,滑坡形成及演化具有典型“多期活动,逐级牵引”模式。该滑坡共分3期活动历史,地质力学模式均为“临空面形成-卸荷裂隙带发育-泥化的层间错动带塑流沉陷-蠕滑拉裂-滑面贯通”。每期活动牵引后部坡体变形,进而重复前一期的变形破坏过程。     

用顶点着色问题的贪婪算法解决排课问题

顶点着色的贪婪算法中＂按给定的顺序、满足一定的条件依次对顶点着色过程＂可视为＂按给定的顺序、满足一定的条件依次将顶点放入不同（颜色）的盒子中的过程＂,受此启发,设计相应的排课算法,首先提出＂数量约束＂的概念,给出该问题的具体需满足数量约束的项;然后将总表中的每条记录看成一个＂顶点＂,将一张课表中每一个具体的表格视为不同（颜色）的＂盒子＂,设计相应的启发式规则;最后把排课的过程巧妙的变成把每个＂顶点＂按相应的规则、在满足＂数量约束＂的要求的前提下放入上述＂盒子＂中的过程。     

用计算机推理的方法求解数字填图问题

模拟人思考问题的过程．尝试用计算机推理的方法求解数字填图问题。     

基于RBAC的高校办公自动化系统设计

分析了基于角色的访问控制的工作原理,提出了一种基于Web应用的RBAC权限控制有效实现方法,并将其应用于高校办公自动化系统设计.介绍了OA系统的设计与配置方法,重点阐述了基于Web的RBAC控制模型在OA系统中的实现方法.基于该模式开发的系统具有较高的安全性与稳定性,很好地满足了高等学校办公自动化的需求.     

一种改进的有色噪声背景下信号的检测算法

摘要:对于自回归型(AR)的广义平稳(WSS)高斯有色噪声,以改进的协方差法得到了该噪声未知参数基于AR模型的估计,该估计优于现在广泛使用的周期图方法.然后利用渐进似然函数,建立了广义似然比(GLRT)检测器,该检测器的性能依赖于噪声的未知参数估计的精度,并且得到了检测概率和虚警概率的渐进表达式.通过对含有WSS高斯有色噪声的信号在不同信噪比下的计算机仿真实验分析,结果验证了提出方法的有效性,而且检测性能明显优于原算法.     

镜头式光幕靶可编程信号处理电路设计

针对小尺寸高速飞行目标速度快、散布范围大的特点,在现有光幕测试技术基础上,研究高灵敏度、大面积探测光幕镜头式光幕靶的工作原理,设计了一种可监测镜头式光幕靶噪声且具有程控滤波功能、程控放大功能以及阈值电压可调控的信号处理电路.采用气枪弹进行实弹测试验证.试验结果表明:所设计的信号处理电路在镜头式光幕靶中的应用是可行的.     

多课程计算机辅助教学系统设计

该文介绍利用Ｖｉｓｕａｌ Ｂａｓｉｃ开发的计算机辅助教学系统。计算机辅助教学引入课堂,大大提高了教学质量的效果,实现了教育的最优化。该系统的特点是功能强、灵活性好、速度快。