二元可满足性问题有解的充要条件

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

二元可满足性问题是一个多项式可解的问题．本文首先证明了该问题有解的充要条件,然后给出了判定该问题的一个新的多项式算法．如果判定某个表达式是可满足的话,那么求解算法不需要任何回溯就能准确地给出它的每个解．本文试图通过对二元可满足性的研究为研究其它问题提供一点启示．  相似文献

吴向军  余丰人 《软件学报》1996,7(1):51-58

一种新的多用户OFDM系统的频偏估计算法

  

由于载波频偏会给多用户正交频分复用（Orthogonal Frequency—Division Multiplexing,OFDM）系统带来子载波之间干扰,从而造成多用户之间的干扰,导致系统性能下降．本文研究了多用户OFDM上行链路的频偏估计问题,通过使用多用户检测中的干扰抵消方… …   相似文献

赵林靖李建东  张岗山 《电子学报》2007,35(B06):161-164

一种基于模板匹配的电路照片拼接方法

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

鉴于实际工作中,经常需要将多幅图象拼成一大幅大图象的问题,提出了一种针对显微照片的新拼接方法。该方法是应用模板匹配技术来实现图象的自动拼接,由于是通过利用图象信息来选择模板,从而为模板匹配的定位创造了条件,该方法分为模板选择、模板匹配和图象拼接3步。实际运用结果表明,该方法简单易… …   相似文献

李跃  彭宇行  陈福接 《中国图象图形学报》2001,6(3):301-306

lest Platform for Video Authentication Algorithm Based on MPEG Compression

下载全文  

  相似文献

LIANG Chang-yin  LI Ang  HUANG Ji-wu 《电子学报》2008,36(Z1)

扩充角色层次关系模型及其应用

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

基于网络的大规模软件应用系统面临着日益复杂的数据资源安全管理的难题.基于角色的访问控制方法(role-based access control,简称RBAC)实现用户与访问权限的逻辑分离和构造角色之间的层次关系,从而方便了数据的安全管理.该文在RBAC96模型的基础上,对角色之间… …   相似文献

钟华  冯玉琳  姜洪安 《软件学报》2000,11(6):779-784

基于颜色和运动信息的夜间车辆检测方法

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

在城市交通流量视频检测系统中,夜间车辆检测一直是个难题。传统的方法都是基于形态学算子,通过检测车头灯来检测车辆,这种方法运算量较大,而且受环境光线影响比较大,为此,提出了一种基于颜色和运动信息的夜间车辆检测方法。该方法首先利用颜色信息在图像中检测出车辆尾灯,并对车辆尾灯进行连续的… …   相似文献

刘勃  周荷琴  魏铭旭 《中国图象图形学报》2005,10(2):187-191,F005

一种设施管理平台：FMS*

  

分析了AM/FM/GIS 系统所管理的设施对象的特征,设计了一种构建于通用GIS (Geographic Information System)基础之上的电信设施管理平台：FMS（Facilities Management System）, 对该设施管理平台的总体结构和特点作了阐… …   相似文献

李豪政  朱祥华 《计算机应用研究》2005,22(2):65-67

一种具有前向安全性的远程口令认证系统

  

把单向函数和前向安全的方法引进到远程口令认证系统(Remote Password Authentication System, PRAS)中,提出了一个新颖高效、具有前向安全性的口令认证系统。它能够防止攻击者的中间人攻击,同时在认证阶段引入单向函数,显著减少了加密消息的数量,提高… …   相似文献

刘锋  张建中  黄梅娟  魏峰 《计算机应用研究》2006,23(2):99-100

改进贝叶斯分类的智能短信分类方法

  

随着移动通信技术的不断发展,手机的普及率在不断上升,而短信作为传统的移动通信服务,长久以来一直在人们的日常生活中占据着极为重要的位置。可以说,短信在一定程度上记录了人们生活的轨迹。但是,现有的短信管理系统仅对短信进行以联系人为特征分类、以时间为顺序显示的简单非智能化的管理,导致了… …   相似文献

杨柳  殷钊  滕建斌  王衡  汪国平 《计算机科学》2014,41(10):31-35

基于混合组合双向拍卖的网格资源分配方案

  

针对组合双向拍卖中节点或实体在单次拍卖中分别扮演资源提供者和资源需求者时所具有的不同特点,提出了混合组合双向拍卖模式,即在拍卖中节点本身不单是资源提供者同样也是资源需求者。在此前提下,结合信任度在资源分配安全性以及服务质量方面的作用,将信任度引入到定价调整中,从而优化资源的分配。… …   相似文献

肖迎春  王汉武  李梦雄 《计算机科学》2014,41(5):150-154,172

基于多结点样条插值的几何造型修补方法

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

针对历史文物几何建模中的问题,提出了一种基于多结点样条的几何建模修补方法.利用多结点样条插值的局部插值显式特性,对立体视觉摄像系统基于图像的几何建模中形成的＂空洞＂,可通过多结点样条插值算法将＂空洞＂填补起来,对有破损的陶器类文物的几何建模也可通过多结点样条插值算法进行修补.… …   相似文献

黄静  张涛  唐泽圣  齐东旭 《中国图象图形学报》2007,12(2):256-260

结合统计分类和边缘特征的最优视图提取

下载全文  

已有视图度量无法同时描述3维模型整体和局部细节特征,因此难以得到理想的最优视图.提出一种结合统计分类和视图边缘细节特征的最优视图提取算法.首先,采用Adaboost进行样例学习,通过最优视图之间的几何特征相似性得到候选视图集合.然后,定义边缘分布熵对候选视图进行局部特征分析,用以… …   相似文献

潘翔  陈敖  章国栋 《中国图象图形学报》2013,18(8):1004-1010

基于Artifact快照序列的行为一致性检测方法

下载全文  

Artifact行为的一致性检测,是在流程建模、运行之后亟待解决的关键问题之一.针对现有一致性检测技术忽略数据操作方面检测的问题,提出了一种基于Artifact快照序列的行为一致性检测方法.首先,利用全序Artifact快照序列定义了Artifact的行为模式,该行为模式不仅体现… …   相似文献

刘海滨  刘国华  黄立明  宋金玲 《软件学报》2015,26(3):491-508

基于颜色边缘与SVM的图像文本定位

  

提出了一种将颜色边缘与SVM相结合的文本定位与提取的方法。首先根据文本的颜色边缘特征进行粗筛选,获得文本候选区;然后使用SVM分类器进行文本与非文本分类,实现文本区域定位与提取。实验表明,该方法取得了良好的效果。  相似文献

许剑峰  黎绍发 《计算机应用研究》2006,23(3):155-157

论域理论在超大规模集成电路逻辑设计上的运用

下载全文  

认为传统的二值布尔不利于大规模集成电路的设计,尤其是在逻辑门电路上.为此引入了三值逻辑.此三值逻辑是基于集成电路的物理性质,且碰巧等同于Kleene的三值逻辑.鉴于Kleene三值逻辑的不完备性,文章将论域理论以及普通不动点算子运用于此,使三值逻辑获得此逻辑系统的单调完备性定理.… …   相似文献

孙踊  胡易 《软件学报》2000,11(5):569-583

采用区域编码的椭圆对直线裁剪算法

下载全文  

裁剪算法的核心问题是速度问题,而求裁剪窗口和裁剪对象的交点是影响裁剪速度的主要因素。特别是椭圆对线段的裁剪,由于椭圆的方程是二次的,求椭圆与线段的交点需要求解一元二次方程,涉及开方运算,非常浪费机器时间。为提高裁剪速度,设计出5位的区域编码,利用此技术能够迅速而准确地判断出椭圆和… …   相似文献

陈超  张兆印 《中国图象图形学报》2011,16(1):124-128

水下图像增强和复原方法研究进展

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

目的 近年来随着水下图像/视频在海洋军事、海洋环境保护和海洋工程等科研和工业领域扮演越来越重要的角色,水下图像增强和复原作为关键技术之一,越来越多地成为研究的热点和难点问题。目前有关水下图像增强和复原方法研究进展的综述论文在国内外相对较少,为使即将进入该研究领域的学者比较全面地了解该领域的研究现状,促进该领域的快速发展,本文对其系统综述。方法 在广泛调研大量文献的基础上,按照是否基于物理模型对已有方法进行分类讨论,对其基本思想、方法特点、实验方法进行归纳和总结,其中对典型的方法进行具体介绍和分析。同时,介绍了水下图像质量的评测体系,针对典型方法的处理结果进行定性和定量的评测。进而,总结该研究领域目前存在的不足,展望未来可能的发展方向。结果 总结了水下图像退化的原因、水下图像增强和复原所采用的主要技术和方法、水下图像质量评测体系的发展历程,给出了亟待解决的问题,展望了未来的发展方向。结论 作为新兴的研究领域,水下图像增强和复原在工业界和学术界都具有广阔的应用前景和研究价值,但针对目前存在的一些局限性还需要进一步深入研究。… …   相似文献

郭继昌  李重仪  郭春乐  陈善继 《中国图象图形学报》2017,22(3):273-287

Agent意图的双子集语义改进模型

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

意图是Agent的一个关键的意识属性,在决定理性Agent的行为中起着重要作用.为了克服现有意图逻辑中存在的缺陷,建立了适用于意图的语义表示.讨论了理性Agent性态的形式化中对意图语义的要求以及现有意图逻辑中存在的问题.介绍了在前期工作--真假子集语义基础上开发的双子集语义改进模型及其在Agent意图形式化中的应用,并且证明通过对模型的代数结构施加一定的约束,能获得许多希望得到的性质.在二值逻辑中,真和假是同等重要的.当然,对一个命题,描述了真值也就知道了假值;但对于一类命题却不是这样,对假值的刻画与对真值的刻画具有同等重要的意义.而对意图的描述是对一类命题(Agent意图实现的命题)的刻画.经典的正规模态算子的可能世界语义只重视真,用RI(w)来描述,可看成是单子集语义.而改进的双子集语义真假并重,用R_IT(w)来描述真,并用R_IF(w)来描述假,从而能更全面地描述二值逻辑中的模态算子.经典的正规模态算子的可能世界语义可以看成是改进的双子集语义当R_IF(w)=()时的退化情形.改进的双子集语义不仅避免了基于正规模态逻辑表示的\"逻辑全知\"问题以及由此带来的副作用等问题,与Konolige和Pollack的意图模型相比,比较简单、自然,且满足K公理和联合一致性原理,而且克服了前期工作真假子集语义和双子集语义表示的缺陷.实际上,改进的双子集语义为非正规模态算子的语义表示提供了一种新的方法,可应用于建立新的合适的Agent逻辑系统.… …   相似文献

胡山立  石纯一 《软件学报》2006,17(3):396-402

状态检测防火墙中几种协议的结构设计

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

介绍了防火墙的发展及各类防火墙的特点,分析了状态检测防火墙的工作原理,建立了状态表和规则表的数据结构,提出了一个基于状态检测的硬件防火墙中协议的整体框架设计。在考虑防火墙安全和速度性能的前提下,给出针对TCP,UDP,ICMP和ARP等TCP/IP协议栈中主要协议的状态检测的结构… …   相似文献

迟秀伟  唐朔飞  季振州  李鑫 《计算机应用研究》2006,23(2):101-103

位平面算术编码的编码分离与MQ编码器改进

  

为了降低图像压缩中位平面算术编码的计算复杂度,提出了将算术编码从位平面扫描中分离,方便编码的并行计算。以JPEG2000的位平面编码为例,实现了位平面扫描和MQ编码的分离,然后根据编码分离后的算法特点,设计了一种改进的MQ编码器。对该算法在TMS320C6000系列DSP中的实现… …   相似文献

王继东  鲁琴  罗武胜  肖学敏 《中国图象图形学报》2007,12(10):1806-1810