正则序类逻辑Institution的Lawvere定理及其初始与终结语义

下载全文  

主要考虑了以下3个问题:(1) 通过将正则序类理论态射(延拓为多类型理论态射,得到了模型函子( )·和( )#都与(可交换的结论;(2) 获得了正则序类逻辑Institution的Lawvere定理;(3) 讨论了正则序类逻辑Institution中合并理论与各因子理论的初始和终… …   相似文献

刘富春 《软件学报》2005,16(7):1205-1209

CAGCN:Centrality-Aware Graph Convolution Network for Anomaly Detection in Industrial Control Systems

下载全文  

  相似文献

《计算机科学技术学报》2024,39(4)

分布式企业服务总线平台数据集成研究及应用

  总被引：1，自引：0，他引：1

为实现大规模的异构数据集成,解决数据源异地分布的问题,满足不同系统和应用之间的信息交互和共享,设计了一种企业服务总线(ESB)平台下的数据集成模型。该模型采用WSDL和XML描述,能够结合ESB系统的集成场景进行数据集成。提出了一种基于消息流程的负载均衡算法,该算法根据服务执行组… …   相似文献

范菁  熊丽荣  徐聪 《计算机科学》2014,41(2):206-214

射频能量采集非可信中继网络中物理层安全传输

  

射频能量采集技术为能量受限无线通信系统提供了一种有效的能量供给方式.假设能量受限中继节点具有射频能量采集能力,本文设计了中继非可信情况下的物理层安全传输方案,配置多天线的源节点采用发送天线选择策略来增强中继节点的能量采集性能,目的节点发送人工干扰来抑制非可信中继对保密信息的窃听.… …   相似文献

杨炜伟  陈剑  陈德川 《电子学报》2019,47(8):1792-1796

抗压缩的照片图像与真实感计算机图形识别

下载全文  

数字图像取证是计算机取证、信息安全领域的一门新学科。为实现照片图像与真实感计算机图形的可靠识别,提出一种基于图像稀疏表示的数字图像取证方法,该方法在抵抗压缩方面具有较好性能,从而保证图像压缩不会改变照片图像与真实感计算机图形的真实性本质。Tetrolet变换为保护图像局部几何结构… …   相似文献

张荣  王让定 《中国图象图形学报》2012,17(8):953-959

基于快速搜索树的路由查表算法*

  

根据路由表中前缀的分布特点,将路由集合分割成几个子集,然后分别针对每个子集建立搜索树来实现路由查表。借助哈希压缩索引表使搜索树的深度降低到3,加快了搜索树的查找速度。而Bloom Filters的应用,使几乎平均一次搜索树的查找就可以完成一次路由查表。该算法可以满足OC768链… …   相似文献

谭兴晔  张勇  雷振明 《计算机应用研究》2005,22(7):226-228

多尺度构图先验的显著目标检测

下载全文  

目的 针对基于对比度的显著检测方法,因忽略了特征的空间分布而导致准确性不高的问题,启发于边界先验关于图像空间布局的思想,提出构图先验的显著检测方法。方法 假定目标分布于三分构图线周围,根据相关性比较计算显著值。首先,对图像进行多尺度超像素分割并构造闭环图;其次,提取构图线区域超像素特征并使用Manifold Ranking算法计算显著目标与背景的分布;然后,从目标和背景两个角度对显著值进行细化并利用像素区别性对像素点的显著值进行矫正;最后,融合多尺度显著值得到最终显著图。结果 在公开的MSRA-1000、CSSD、ECSSD数据集上验证本文方法并与其他算法进行对比。本文方法在各数据集上准确率最高,分别为92.6%,89.2%,76.6%。且处理单幅图像平均时间为0.692 s,和其他算法相比也有一定优势。结论 人眼视觉倾向于在构图线周围寻找显著目标,构图先验是根据人眼注意机制研究显著性,具有合理性,且构图先验的方法提高了显著目标检测的准确性。… …   相似文献

王娇娇  刘政怡 《中国图象图形学报》2015,20(12):1664-1673

不平衡数据分类方法及其在入侵检测中的应用研究

  

直接将传统的分类方法应用于不平衡数据集时,往往导致少数类的分类精度低下。提出一种基于K-S统计的不平衡数据分类方法,以有效提高少数类的识别率。利用K-S统计评估分类与特征之间的关系,去除冗余特征,并且构建K-S决策树获得数据分片,调整数据的不平衡度;最后对分片数据双向抽样调整,进… …   相似文献

江颉  王卓芳  GONG Rong-sheng  陈铁明 《计算机科学》2013,40(4):131-135

并行下载最优机制

下载全文  总被引：2，自引：0，他引：2

建立并行下载模型,并基于这一模型,从下载节点效益的角度出发,分析并提出最优机制.这种最优机制包括最优的选择源节点集合和文件分块方案.理论分析表明,这种机制能够使下载节点代价函数最小.仿真结果说明了这种机制的有效性.  相似文献

王正  罗万明  阎保平 《软件学报》2009,20(8):2255-2268

基于行为依赖特征的恶意代码相似性比较方法

下载全文  总被引：1，自引：0，他引：1

恶意代码相似性比较是恶意代码分析和检测的基础性工作之一,现有方法主要是基于代码结构或行为序列进行比较.但恶意代码编写者常采用代码混淆、程序加壳等手段对恶意代码进行处理,导致传统的相似性比较方法失效.提出了一种基于行为之间控制依赖关系和数据依赖关系的恶意代码相似性比较方法,该方法利… …   相似文献

杨轶  苏璞睿  应凌云  冯登国 《软件学报》2011,22(10):2438-2453

快速更新全局频繁项目集

下载全文  总被引：15，自引：0，他引：15

数据挖掘中的频繁项目集更新算法研究是重要的研究课题之一.目前已有的频繁项目集更新算法主要针对单机环境,有关分布式环境下的全局频繁项目集的更新算法的研究尚不多见.为此,提出了快速更新全局频繁项目集算法(fast updating algorithm for globally fre… …   相似文献

杨明  孙志挥  宋余庆 《软件学报》2004,15(8):1189-1197

基于人工免疫算法的增量式用户兴趣挖掘

  总被引：1，自引：0，他引：1

了解用户兴趣是为用户提供个性化服务的关键.用户兴趣有短期兴趣和长期兴趣之分,且具有不稳定性.受人工免疫系统的启发,巧妙地将免疫应答过程应用于用户兴趣挖掘.首先将概率与时间相结合,提出“概念时序动态”的概念,以更好地刻画用户在一段时间内对同一兴趣的关注程度;然后基于人工免疫原理,建… …   相似文献

左万利  韩佳育  刘露  王英  彭涛 《计算机科学》2015,42(5):34-41

基于PCA及ICA的双空间特征提取算法

下载全文  总被引：3，自引：0，他引：3

任何一种单子空间特征提取算法都不能在任何情况下优于其他子空间算法,但是采用双子空间却可以克服单子空间的局限性。为了提高分类结果的正确率,提出了一种基于PCA及ICA的双空间特征提取算法,该算法采用ICA作为PCA的补空间进行特征提取,其目的是将在PCA子空间中难以识别的样本,再次… …   相似文献

王卫东  韩斌  杨静宇 《中国图象图形学报》2008,13(11):2163-2169

基于扩展状态任务网的制造供应链计划

下载全文  

制造供应链计划是制造供应链管理的关键问题,它不仅需要分配生产任务和控制库存,还需要解决不同工厂(企业)间的运输配套问题.为统一描述具有复杂产品生产过程(包括装配型、分解型和多输入多输出型等)的生产任务、存储任务和不同模式(包括单种物料独立运输模式和多种物料组合运输模式)的运输任务… …   相似文献

苏生  战德臣  徐晓飞 《软件学报》2007,18(7):1626-1638

中国多媒体技术研究：2003

下载全文  

本文是中国多媒体技术研究与应用的年度文献综述之六。查阅了2003年9种核心刊物的3143篇文章,并从中选取了436篇与多媒体技术相关的文章进行分类统计,指出了2003年中国多媒体技术发展的现状。在此基础之上,结合前4年的统计结果,将近5年的多媒体技术文献统计结果做了比较,从而清楚… …   相似文献

徐光祐  贺伟晟  史元春 《中国图象图形学报》2004,9(12):1397-1413

金字塔评分改进主方向模板匹配的实时目标检索

下载全文  

传统的基于内容的目标检索方法一般通过提取和比较局部特征,往往计算复杂度较高而且需要进行离线训练。因此,以最新的主方向模板(DOT)特征为基础提出新的实时目标检索方法。同时,利用搜索窗口中网格得分的空间分布情况构造相似度映射图,并采用多层次金字塔评分去除网格得分较为分散的错误窗口。… …   相似文献

洪朝群  朱建科  李娜  卜佳俊  陈纯 《中国图象图形学报》2012,17(5):700-706

子网树求解一般间隙和长度约束严格模式匹配

下载全文  

具有通配符间隙约束的模式匹配问题在信息检索、计算生物学和序列模式挖掘等研究领域有重要的应用.提出了更一般性的模式匹配问题,即一般间隙和长度约束的严格模式匹配(strict pattern matching with generalgaps and length constraints,简称SPANGLO).该问题具有如下4 个特点:它是一种严格的精确模式匹配;允许序列中任意位置的字符被多次使用;模式串中可以包含多个一般间隙;对出现的总体长度进行了约束.最坏情况下,一个SPANGLO 实例将转换出指数个非负间隙的严格模式匹配实例.为了有效地解决该问题,提出了子网树及其相关概念和性质.在此基础上提出了求解算法Subnettree Spanglo(SETS),并给出算法的正确性和完备性证明,同时指出该算法的空间复杂度与时间复杂度分别为O(m×MaxLen×W)和O(MaxLen×W×m²×n),其中,m,n,MaxLen和W分别是模式和序列的长度、出现的最大长度约束和模式的最大间距.实验结果既验证了SPANGLO 问题转换方法的正确性,又验证了该算法的正确性和有效性.… …   相似文献

武优西  刘亚伟  郭磊  吴信东 《软件学报》2013,24(5):915-932

高位有效位概率算术解码的图像密写改进算法

下载全文  

提出一种基于MSBs(高位有效位)概率算术解码的DCT(离散余弦变换)域YASS(yet another steganographicscheme)密写改进算法。为了克服YASS算法因量化索引调制(QIM)嵌入特性造成的易攻击缺陷,在YASS消息嵌入中用原型信号MSBs概率分布约… …   相似文献

马丽红  吕先明  高小满 《中国图象图形学报》2012,17(5):621-627

基于像素块最大后验概率的视频对象分割方法

  

提出一种基于像素块最大后验概率的视频运动对象快速分割算法。首先根据连续3帧视频序列构建参考帧,计算基于像素块的差分图像;然后用Gibbs随机场模型描述基于像素块的差分图像,通过最大后验概率方法分割运动对象块;最后使用基于颜色梯度的snake模型提取运动对象轮廓。实验结果表明,该算… …   相似文献

刘少华  张茂军  智利丁 《中国图象图形学报》2009,14(1):125-130

结合全局与局部信息活动轮廓的非同质图像分割

下载全文  

目的 通过对现有基于区域的活动轮廓模型能量泛函的Euler-Lagrange方程进行变形,建立其与K-means方法的等价关系,提出一种新的基于K-means活动轮廓模型,该模型能有效分割灰度非同质图像。方法 结合图像全局和局部信息,根据交互熵的特性,提出新的局部自适应权重,它根据像素点所在邻域的局部统计信息自适应地确定各个像素点的分割阈值,排除灰度非同质分割目标的影响。结果 采用Jaccard相似系数-JS(Jaccard similarity)和Dice相似系数-DSC(Dice similarity coefficient)两个指标对自然以及合成图像的分割结果进行定量分析,与传统及最新经典的活动轮廓模型相比,新模型JS和DSC的值最接近1,且迭代次数不多于50次。提出的模型具有较高的计算效率和准确率。结论 通过大量实验发现,新模型结合图像全局和局部信息,利用交互熵特性得到自适应权重,对初始曲线位置具有稳定性,且对灰度非同质图像具有较好地分割效果。本文算法主要适用于分割含有噪声及灰度非同质的医学图像,而且分割结果对初始轮廓具有鲁棒性。… …   相似文献

郝智慧  郭满才  宋杨杨 《中国图象图形学报》2016,21(7):886-892