可能LTL模型检测的两种方法

引入了基于广义可能性测度LTL模型检测的基于路径和基于语言的两种语义,证明了其等价性.基于可能LTL公式语言等价的方法,给出基于广义可能性测度的LTL模型检测的算法和复杂性分析.     

基于生成树的回路核

针对图的相似性问题,提出了基于生成树的回路核,其中包括基于最小生成树的回路核、基于最大生成树的回路核、基于最小生成树或最大生成树的回路核、基于最小生成树与最大生成树的回路核、基于混合生成树的回路核、基于赋权混合生成树的回路核.结果表明,所定义的基于生成树的回路核是可计算的、正定的;在实验中,回路核的识别率高于通路核的识别率,最高可达100%.     

基于模型的故障诊断中的模糊建模和推理

分析了基于模型的故障诊断方法的原理和特点以及其他故障诊断方法（基于规则、基于人工神经网、基于案例）的局限性．针对基于模型的故障诊断,提出了运用人工神经网和遗传算法的模糊建模方法,简化了建模复杂性．给出了基于模糊模型的故障诊断推理方法,从而能有效地处理复杂系统的故障诊断     

基于网络的课堂教学模式创新问题浅析

本文在概述基于网络的课堂教学模式基础上,总结阐释了基于网络的课教学模式分类与意义,最后从创新基于网络的课堂教学支撑环境、创新基于网络的课堂教学过程与实验设计和创新基于网络的课堂协作学习方式三个角度,探析了基于网络的课堂教学模式创新问题。     

浅析图书馆管理创新的发展趋势

总结了当前图书馆管理创新呈现的八大发展趋势,即基于用户为中心的知识管理创新、基于人本核心的文化管理创新、基于用户服务的战略管理创新、基于图书馆联盟的协同管理创新、基于项目管理的质量管理创新、基于价值链的绩效管理创新、基于大规模定制的营销管理创新、基于信息技术应用的集成管理创新。     

一个基于分级身份的密码系统

提出一个基于分级身份的密码系统:包括分级的基于身份的加密和签名方案。在随机预言模型下,新的基于分级身份的加密和签名方案都是可证明安全的,同时在标准模型下,基于分级身份的加密方案是在给定身份攻击下可证明安全的。基于给出的基于分级身份的加密方案,首次提出了分级代理解密的概念,并且给出了安全模型和构造方法。     

现阶段基于内容的图像检索技术分析

主要讨论了目前基于内容的图像检索技术的两大热点研究方向,即基于底层特征向量的提取算法(分别为颜色、纹理和形状特征)和基于相关反馈机制(分别为基于空间变换、基于统计概率、基于聚类分析和基于机器学习的模型).分析它们使用的典型方法及优缺点,并对未来的发展方向做了展望.     

双层基于案例推理机制的设计

研究了双层基于案例推理机制的设计,讨论了基于案例推理的基本原理与方法,研究了基于案例修改的数学模型、修改原则、修改模型的构建、修改的匹配算法,介绍了基于案例推理和基于案例修改的学习与维护过程。     

基于网络的英语教学手段的研究

论述了基于网络的英语教学与传统英语教学不同之处,给出了基于网络的英语教学的系统模型,讨论了基于网络的英语教学系统设计和教学实现手段,展望了基于网络的英语教学的发展前景.     

属性离散化算法研究

本文探讨了基于属性重要性、基于信息熵、基于遗传算法和基于聚类的离散化算法,通过分析总结了各算法的优点及不足,并提出有待解决的问题.     

基于web service的NDVI计算模型服务的实现与应用

研究和总结了基于web service的空间信息集成技术,提出了基于web service的NDVI计算模型服务架构,该方法町以实现空间计算模型的跨平台性和互操作性,大大提高空间计算模型的共享.利用该方法对NDVI进行web service的封装和网络发布,很好地解决了传统植被指数计算模型的共享和互操作问题,也为其他窄间计算模型的web service集成与应用提供了参考.     

制约逻辑 消解原理 人工智能语言

本文在简介制约逻辑的基础上,提出了基于制约逻辑的消解原理,并探讨了基于这一原理的人工智能语言及其机器实现。     

基于公共权重向量集的DEA排序方法

对利用一组公共权重求解决策单元相对效率指数进而对决策单元进行排序的方法进行了分析,并指出了该方法的不足之处。在给出公共权重向量集概念的基础上,提出了一种新的对决策单元进行排序的方法。     

基于综合特征的CBIR系统的设计与实现

目前CBIR系统采用单一特征进行图像检索的效果不是很理想.在单一特征进行图像检索的基础上,结合权值确定技术,提出了一种利用图像综合特征进行检索的方法,并在Visual C++ 6.0中实现了基于此方法的CBIR系统. 实验结果表明,该检索方法可行且在查准率上大大优于单一特征的检索方法.     

基于傅里叶描述子的形状特征匹配方法在机场掩体目标检测中的应用

文章研究了基于傅里叶描述子的形状特征匹配方法在机场掩体检测中的应用。本文利用傅里叶描述子对目标旋转、缩放和平移描述的不变性,确定了用基于傅里叶描述子的特征匹配方法来检测掩体目标,井对匹配方法的原理、步骤和方案进行了论述。用仿真数据进行了试验,试验结果验证了文中设计的形状匹配方法对掩体类目标检测的有效性。     

一种改进的超短波带通滤波器设计方法研究

针对传统滤波器设计方法在超短波带通滤波器设计过程中出现的通带偏移问题,本文将基于有限元法的电磁场仿真软件与基于矩量法的电路仿真软件结合起来,提出了一种改进的滤波器设计方法,并对工作于50MHz-110MHz的带通滤波器进行了设计。将仿真设计结果与实验结果进行了对比,验证了该改进的滤波器设计方法很好地解决了通带偏移的问题。     

基于分水岭和广义非局部平均的小波去噪

非局部平均滤波去噪方法和基于广义非局部平均的小波域去噪方法都会在不同程度上损失图像细节信息.为了在去除图像噪声的同时更好地保留图像细节,文中提出了一种基于分水岭分割和广义非局部平均的小波去噪方法.首先对含有噪声的图像进行基于梯度的分水岭分割并保留分水岭脊线;然后对含有噪声的图像进行多维度小波分解,对分解的每一层系数估计尺度系数和形状系数,构造每层小波子系数的广义高斯模型,对每层细节子带信息分别在水平、垂直、对角线3个方向应用基于广义高斯模型的非局部平均滤波;最后用含噪图像中与分水岭脊线相对应的像素点替换小波重构后图像的对应像素点.仿真结果表明,该方法与基于广义非局部平局的小波分析去噪法相比能获得更好的视觉效果和去噪效果.     

基于GA/VQ的说话人辨认的研究与实现

为了改善在矢量量化说话人识别中,采用模板(码书)表征说话人,模板的质量对识别系统的性能。采用遗传算法改进模板的生成方式,构建了一种GA／VQ说话人辨认系统,给出了一种GA／VQ识别算法,通过遗传操作获得全局优化的说话人模板。实验证明,GA／VQ方法提高了码书的质量,比经典矢量量化识别系统识别率高。     

一种RING结构的工程保障任务并行调度方法

在作战工程保障过程中,工程兵工程保障任务重、时间紧,战场情况复杂多变。传统的任务调度策略没有实现静态和动态的结合。RING结构的并行调度是将作战工程保障指挥系统视为一个分布式系统,将系统内的若干要素构成环状拓扑结构,分调度和执行2个阶段来完成整个调度过程的方法。通过实例证明,该方法能较好的解决作战工程保障中任务调度问题。     

巴特沃斯低通滤波器的实现方法研究

在实际的通信系统中,通常利用巴特沃斯低通滤波器来限制发射信号的带宽,从而有效降低功率泄露以及克服数字信号的码间串扰。本文首先从理论上充分分析巴特沃斯低通滤波器以及基于圆周卷积的设计方法,然后以截止频率为1kHz的巴特沃斯低通滤波器为例,给出了一种基于C语言的通用巴特沃斯低通滤波器设计方法。最后,从时间开销和处理时延等方面,将本文基于C语言的设计方法与基于Matlab的设计方法进行比较。仿真结果表明：与基于Matlab的设计方法相比,本文给出的基于C语言的设计方法的处理时间降低了200倍。