一种分层的模糊知识表示与推理控制结构

提出了一种分层的模糊知识表示方法以及基于该方法的推理及控制结构,在模糊集合的基础上以抽象度描述了模糊概念在概念空间中的层次,用概念胞来表示概念空间中的模糊知识,用协同元和阈值描述推理的条件,推理以条件激活的方式进行扩展,并讨论了三种基本的扩展推理形式。     

面向旅行商问题的一种改进遗传算法

针对传统遗传算法解决组合优化领域的典型难题--旅行商问题时存在的缺陷与不足,对传统遗传算法加以改进.引入了种群熵和基因座多样性来测度种群的多样性,并利用求得的测度值修改了个体的适应度,达到了预期目的.还提出启发式交叉箅子、二分局部搜索、自适应遗传参数,使该算法在提高搜索效率与解质量方面取得了综合平衡.在算法的仿真和测试中,改进后的算法明显优于传统的遗传算法.这表明,该算法具有良好的可行性和实用性.     

基于预测状态表示的多变量概率系统预测

针对由于多变量概率系统预测高复杂度而导致的建模困难问题,提出了一种基于预测状态表示（PSR）的系统建模新方法,首先介绍一种通用多变量过程概念,并进一步用此概念描述多变量系统。在此基础上,引入了针对多变量系统的预测模型MV PSR,模型基于可观测信息,可在有限维实现对多变量的预测。实验结果表明,该近似模型有效降低了系统预测的复杂度。     

广义不可推断属性符号化算术验证的研究

多级安全系统中机密数据的泄漏本质上是信息的非法流动.广义不可推断属性刻画了不同安全级主体之间合法的信息流动.在系统应用之前,验证其满足广义不可推断属性,可以排除各种隐蔽数据泄漏,保护数据的机密性.传统的广义不可推断属性验证方法——"展开方法"——验证的仅仅是属性成立的一个充分非必要条件,因此是不完备的.基于证伪技术提出一种完备的广义不可推断属性验证方法,该方法通过逐步搜索长度递增的使广义不可推断属性失效的反例来完成验证过程.为确保搜索过程能正确终止,即方法的完备性,提出状态转换系统的双构造运算,并在此基础上基于图结构理论给出最短反例的上近似计算.进一步为提高验证方法的时间效率和降低对内存空间的需求,将反例搜索和上近似计算归约为量化布尔公式满足性求解问题,借助于高效的满足性求解程序完成属性的验证,实现了验证过程的符号化计算.最后通过一个磁臂隐通道的实例说明验证方法在实际的隐通道分析中的应用.     

基于单片机的CAN与RS-232转换器设计

本文完成了基于单片机控制的CAN与RS-232转换器的研究与设计,设计了AT89C51单片机对RS-232接口和CAN模块的控制,解决了CAN总线与RS-232接口数据通信速率以及通信帧格式不同的技术,实现了RS-232接口数据与CAN总线数据的传输.     

离散分布的二值图象快速跟踪填充算法

本文提出了一个快速、新颖的图象填充算法.该法将二值图象边缘用一种特定的链码来表示,仅通过对链码节的移入移出分析运算,就能够自动完成离散分布的目标轮廓的搜索与填充,而不需要象通常的填充算法那样进行边缘检测.     

公共服务信息门户中服务管理平台的研究

为了实现对公共服务信息门户中的所有服务组件进行统一管理,在信息门户中开发了服务管理平台。对服务管理平台中的Web服务和业务服务集成技术进行了研究,设计了服务管理系统,提供服务注册、服务配置以及服务维护功能,为公共服务信息门户提供统一的服务管理平台。     

基于抽象和搜索空间划分的安全性判定方法

为满足访问控制策略安全性快速判定的要求,提出一种基于谓词抽象和验证空间划分的访问控制策略状态空间约减方法,将在访问控制策略原始状态机模型上的安全性分析工作转移到包含较少状态的抽象模型上,并进一步划分抽象模型的验证空间,以提高效率.理论分析和实验数据均表明,其安全性分析所需的时间和空间都得到有效约减.与传统方法相比,它具有速度更快、自动化程度更高等优点.     

改进SSD的机场场面多尺度目标检测算法

针对现有基于深度学习的通用目标检测方法对机场场面环境目标尺度差别大,特别是小目标难以检测到的问题,提出了一个基于SSD算法并结合特征金字塔融合网络的多尺度目标检测算法.该算法采用了更深的ResNet-50作为骨干网络,并单独设计了六层额外特征层.使用特征金字塔网络进行特征融合,以获得更鲁棒的语义信息.使用Soft-NM...     

图符语言CQL解释器的实现

为了有效地实现数据库图符查询语言解释器,引入了图卡解析树;开发出二维文法规则;定义出一套适宜于模式分析、语法分析及语义解析的图符程序内部存储机制;并使用临时图卡的方法来解决带有嵌套结构的复杂语句的编译问题。