摘要：为了形式化描述多智体系统中与概率、实时、知识相关的性质,提出了一种概率实时认知逻辑PTCTLK.模型检测是验证多智体系统是否满足PTCTLK公式的主要技术,状态空间爆炸是该技术实用化的主要瓶颈,为此提出一种PTCTLK的限界模型检测算法.其基本思想是,在有限的局部可达空间中逐步搜索属性成立的证据,从而达到约简状态空间的目的.首先,将PTCTLK的模型检测问题转换为无实时算子的PBTLK的模型检测问题;其次,定义PBTLK的限界语义,并证明其正确性;然后,设计基于线性方程组求解的限界模型检测算法;最后,依据概率度量的演化规律,探索检测过程终止的判别准则.实例研究结果表明,与无界模型检测相比,在属性为真的证据较短的情况下,限界模型检测完成验证所需空间更小.

摘要：限界模型检测避免了符号模型检测反应式系统中构建二叉图时出现的空间快速增长,已经被证明是缓解状态空间爆炸问题的有力技术.文中遵循限界模型检测的思想,对马尔可夫决策过程提出一种限界模型检测技术,从而避免构建多端二叉图时空间的快速增长.具有非确定选择刻画能力是马尔可夫决策过程最大的特性,针对该特性首先定义概率计算树逻辑的限界语义,并证明其正确性;然后基于不同界下所计算概率度量序列的演化趋势,设计了限界检测过程终止的判断准则;最后将限界模型检测过程转换为线性方程组的求解问题.实验结果说明限界模型检测技术在证据较短的情况下,所需内存空间少于无界模型检测算法.

摘要：当前基于深度学习的胰腺分割主要存在以下问题:(1)胰腺的解剖特异性导致深度网络模型容易受到复杂多变背景的干扰;(2)传统两阶段分割方法在粗分割阶段将整张CT图像作为输入,导致依赖粗分割结果得到的定位不够准确;(3)传统两阶段分割方法忽略了切片间的上下文信息,限制了定位和后续分割结果的提升.针对上述问题,本文提出了结合切片上下文信息的多阶段胰腺定位与分割方法.第一阶段利用解剖先验定位粗略缩小输入区域;第二阶段先使用所设计的DASU-Net进行粗略分割,接着利用切片上下文信息优化分割结果;第三阶段使用单张切片定位进一步减少不相关背景,并使用DASU-Net完成精细分割.实验结果表明,本文所提方法能够有效提高胰腺分割的准确率.

摘要：提出了工程对象的概念,结合计算机辅助工艺设计系统的应用开发,论述了面向工程对象的智能型专家系统的知识表示及其分析、运算和推理过程,介绍了实际设计系统时要解决的关键技术问题.将工程对象中的子对象分类管理,降低了专家系统开发的难度.以热处理CAPP专家为例,描述了系统中使用的主要工程对象,并给出了该系统设计的一个工艺卡.

摘要：光存储系统是未来全光通信和全光计算的关键要素。基于有限元方法的仿真实验研究,设计了一种新型的光学存储系统,该系统基于磁光光子晶体单向边界模式与微腔模式的耦合。应用磁光光子晶体单向边界模式特性形成闭合回路。设计另外的单向波导和磁性微腔,电磁信号不仅能从闭合回路中取出,而且能写入回路。通过外加磁场控制微腔属性,可动态实现电磁信号的读写操作。

摘要：传统的子空间聚类和谱聚类中普遍使用谱松弛方法聚类,需要先计算拉普拉斯矩阵的特征向量。特征向量中包含负数,根据元素的正负可以直接得到二类聚类的结果。对于多类聚类问题,需要递归地进行二划分,或在特征向量空间中使用k-means算法聚类,分配类簇标签是间接的,这种后处理的聚类方式会增加聚类结果的不稳定性。针对谱松弛的问题,提出了一种非负拉格朗日松弛优化的子空间聚类算法,在目标函数中集成了自表示学习和秩约束。通过非负拉格朗日松弛来求解相似性矩阵和隶属矩阵,并保持隶属矩阵的非负性。在这种情况下,原来的隶属矩阵就变成了类簇的后验概率,当算法收敛时,只需将数据点分配给具有最大后验概率的类簇,即可得到聚类结果。与已有的子空间聚类和谱聚类方法相比,所提出的算法设计了新的优化规则,可以实现类簇标签的直接分配,不需要额外的聚类步骤。最后,给出了算法的收敛性证明。在5个基准聚类数据集上的大量实验表明,所提算法的聚类性能优于近几年来的子空间聚类方法。

摘要：提出了一种应用于实时环境的Agent体系结构,集成了慎思式和反应式Agent的主要行为特征,支持多Agent之间的协同求解,并在内部机制上采用集中控制和规划缓冲等技术满足系统对实时性和稳定性的需要。最后给出了该体系结构在实时监控系统中的一个具体应用,论证了其设计的合理性。

摘要：运动估计是视频压缩算法中最为耗时的模块,运动估计的速度和质量在很大程度上决定了视频压缩的速度和质量。而运动估计中除了运动搜索算法,起点的预测也不可或缺。本文首先设计一种改进十字形运动搜索算法(M CS),然后提出一种之相匹配的运动预测算法,并将预测器的数量减少为两个,根据自适应的阈值法来决定预测后采取的动作——是直接中止还是进入不同的十字模板进行搜索。实验表明,通过这一系列的改进,进一步加强了M CS算法的优势。

摘要：提出了一种基于节点剪枝的Top-k査询算法.定义集合支配区域与剪枝规则,根据用户查询位置的变动,按照给定的剪切规则,对传感器网络节点进行剪枝处理,将符合规则的节点预先筛除,运用统计学抽样理论,设计了空间关键字近似Top-k查询算法.在2个真实数据集上进行验证.实验结果表明,该算法能够满足传感器网络环境中用户的需求,并且相比于边界距离增量算法(IBD)与基于改进的MW-Voronoi区域的空间关键字查询算法(MSK-uvr),其网络通信开销较低.

摘要：为进一步提高编码效率,在研究菱形算法的基础上,采用了“十字”形运动估计算法,设计了硬件电路,并用FPGA(Field-Programmable Gate Array)实现了算法.结合算法的特点,设计了整体框架结构,提出了一种高度并行、紧凑流水线的FPGA实现方案.用Verilog HDL硬件描述语言设计了编码,在QUARTUS II集成开发环境下,进行了仿真验证,并写入FPGA芯片,实现了“十字”形运动估计算法.经测试表明:该设计方案搜索高效、逻辑简洁,对比全搜索法占用硬件资源较小.可广泛应用到移动视频通信、远程无线监控等领域.