论文研究Modelchecking of LinearTime Properties in possibilistic Kripke structure.pdf

论文研究-动态.pdf, 第九次系统科学国际学术会议于1986年9月16日至19日在波兰的伏罗兹瓦夫市举行。中国兵工学会兵器系统工程学会于1986年3月13日在兵器工业部系统工程研究所成立。中国软件行

基于对蚂蚁种群中兵蚁和工蚁在觅食过程中合作关系的仿生，提出了一种改进型蚁群算法。在该算法中同时存在着兵蚁子种群与工蚁子种群两个种群，两个子种群并行搜索，通过兵蚁的分布来影响到工蚁的移动选择，以取得各蚂

多视几何中的多种问题可以通过最小化L∞范数误差获得全局最优解。但最小化L∞范数误差算法的缺点是对外点敏感，相关的改进算法虽然可以克服外点带来的影响，但计算速度较慢。提出一种改进的最小化L∞范数误差算法

基于对现有Vague集（值）之间相似度度量方法的分析，给出了基本相似度和强相似度的定义，引入了能反映相似度与距离内在联系的边界条件，减少了相似度选取与构造的盲目性与随意性。基于Hausdorff距离给

不同的音频指纹提取算法需要不同的音频指纹搜索。针对某些特定（例如：foosic算法）的音频指纹提取算法，在数据预处理方面提出并实现了两种新的音频指纹搜索算法：PCA（Principle Compone

为有效求解大规模k中间点问题，利用适应度距离相关性方法分析，发现该问题局部最优解的适应度与其到全局最优解的距离无太大关系，且多个局部最优解求交所得子集以极大概率包含全局最优解中的元素，进而提出一种基于

射线图像存在对比度差、灰度范围小、影像模糊等缺陷。传统的反锐化增强算法是图像增强经常用到的方法，该方法简单易行，但对噪声非常敏感。一般是加上一个低通滤波器来抑制噪声，但加上低通滤波器后又会对边缘造成模

Zn上的l-全向置换具有良好的性质，研究l-全向置换非常重要。进一步研究了Zn上的l-全向置换，给出了l-全向置换的几个新性质。

论文研究-书评.pdf, 张国伍教授主编的《交通运输系统分析》一书是把交通运输作为系统对象来研究的一本专著。全书共分三篇二十一章,从系统科学的论述开始,对交通系统进行系统分析,阐述了有关的基本理论和基

针对现有用户兴趣模型在模型建立以及更新阶段漂移策略的缺陷，设计了一种改进的基于隐式反馈的自适应用户兴趣模型。并将该模型与遗忘策略模型、滑动时间窗口模型和固定比例模型，做了精确率的对比实验，实验结果显示