悖论逻辑的表演算

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

悖论逻辑ＬＰ是一个超协调逻辑,发展超协调逻辑（ＬＰ）的目的是使得不会从矛盾推出任一命题,但它有一个主要缺点：就是一些在经典逻辑中有效的推理在ＬＰ中不再有效;极小悖论逻辑ＬＰｍ能克服这个缺点,使得在没有矛盾的直接影响下超协调逻辑等价于经典逻辑．ＬＰ和ＬＰｍ原来都只给出语义定义,虽然… …   相似文献

林作铨  李未 《软件学报》1996,7(6):345-353

一种利用确定性退火技术的聚类模型与算法研究

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

针对传统聚类模型的缺陷,文章利用确定性退火技术,提出一种聚类模型及聚类算法.该模型考虑了聚类的交互作用,以前提出的一些聚类模型是它的特例.引入温度参数,把聚类问题看成一个物理系统,把求解聚类问题的最优解转化为模拟随温度变化的物理系统的平衡态.通过求解一系列随温度变化的物理系统的自… …   相似文献

杨广文  王鼎兴  郑纬民  李晓明 《软件学报》1999,10(6):663-667

一种嵌入视频流的丢包自测量方法

下载全文  

现有的丢包主动测量方法是通过探测流的丢包信息去推测网络的丢包特性,进而推测特定应用流的丢包,测量结果不能准确获知某一给定应用流的丢包情况.由于丢包通常属于短时间、小概率事件,要更加准确地测量丢包就意味着需延长测量时间,或者提高探测流的发送速率以及时发现丢包,这将不可避免地增加网络… …   相似文献

胡治国  张大陆  谷丽丽  张起强  陈志伟  周华磊  曹孝晶 《软件学报》2013,24(9):2182-2195

一种基于网络分解的多播通讯路由方法

下载全文  

有效的消息通讯是提高分布存储器并行计算机性能的关键因素．点对点通讯和广播通讯是２种常用的消息通讯方法,而多播通讯（Ｍｕｌｔｉｃａｓｔｉｎｇ）是指从一个源节点同时给任意多个目标节点发送消息,这种通讯比点对点和广播２种方式更具一般性,适用于很多实际应用的需求．本文针对ＰＡＲ９５并行计… …   相似文献

谢澎  朱怡安  康继昌  王雅昆 《软件学报》1996,7(10):606-610

一种耦合的活动轮廓模型及其在图像分割中的应用

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

本文对活动轮廓模型的外部能量项进行改进,针对灰度图像分割提出了一种新的自适应图像分割模型,并将它推广,建立了矢量图像分割模型。新模型耦合了快速边缘积分方法和简化统计方法,充分考虑到图像区域和边缘的先验信息,可根据不同的条件概率密度函数构造不同图像分割模型。文中还基于高斯型概率密度… …   相似文献

陈波  赖剑煌  马建华 《中国图象图形学报》2007,12(3):444-449

结构化证明搜索

下载全文  

本文在简介证明开发环境的元语言ＴＭＬ之后,提出两类结构化设施;模块化机制为元级程序设计提供模块化手段;抽象理论机制用来描述定理证明赖以进行的背景理论．联合使用模块机制和结构化理论描述,系统可自动实现结构化证明搜索．  相似文献

谭庆平  陈火旺 《软件学报》1995,6(1):33-40

一种自动机学习和符号化执行的软件自动测试方法

  

针对高可信软件提出一种软件脆弱性自动测试方法。与传统测试方法不同,该方法对待测试程序进行预处理,使用自动机学习算法构造软件与环境交互的抽象机模型,在符号化执行迭代过程中利用抽象机模型指导符号化执行,并动态生成测试数据,同时精化交互抽象机用于后继的符号化迭代测试。解决了传统符号化执… …   相似文献

陈曙  叶俊民  张帆 《计算机科学》2013,40(8):161-164

视频服务器中多网络I/O的调度与接纳控制

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

在视频服务器中,由于网络I/O带宽比磁盘I/O带宽相对丰富而未得到研究者的重视,但当服务达到一定的规模、网络输出成为瓶颈时,在多网络I/O情况下,网络输出的量化计算则不可避免.着重探讨了视频服务器在多网络I/O并行输出的情况下,如何进行最大输出调度的问题,给出了3个调度算法及相应… …   相似文献

谢建国  陈建二  陈松乔 《软件学报》2002,13(8):1735-1740

变化光照的对象图像合成

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

光照是真实感图形绘制和许多图像应用中的一个非常重要的因素.提出了一种完全基于图像的方法来反映光照变化在绘制对图像时的影响.所提出的方法不是直接去估计对象反射模型中的参数,或是去拟合BRDF函数,而是用奇异值分解(SVD)来拟合Lambertian 对象在光照和几何朝向变化情况下的… …   相似文献

徐丹  王平安 《软件学报》2002,13(4):501-509

基于运动模型的道路识别与跟踪算法的研究

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

自主驾驶与辅助导航是目前国际上研究的热问题,通过对室外行驶车辆上的ＣＣＤ摄像机所采集的长序列立体图象的处理与分析,研究公路汽车自动视觉导航中的道路识别与跟踪问题。  相似文献

苏开娜  任文君  易小琳  丰丽军 《中国图象图形学报》2000,5(3):226-231

基于局部特征识别的特征有效性维护方法

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

缺乏特征模型的有效性维护功能已经成为目前特征造型系统存在的一个严重而亟待解决的问题.在对特征有效性条件进行深入分析的基础上,提出了一个基于扩展属性邻接图（extended attributed adjacency graph,简称EAAG）的特征有效性表示方法,特别是提出了基于局… …   相似文献

陈正鸣  高曙明  彭群生 《软件学报》2002,13(4):552-560

基于四叉树结构的数字地表模型快速生成算法设计

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

为了研究数字地表模型的快速生成方法,在总结传统Delaunay三角化算法的基础上,给出了一个基于四叉树结构的数字地表模型快速生成算法的详细设计,该算法的基本思想是首先利用四叉树结构来对离散点进行分割,然后对四叉树叶节点进行Delaunay三角化,再两两合并四叉树节点三角网的凸壳,… …   相似文献

谢传节  万洪涛 《中国图象图形学报》2002,7(4):394-399

W⁴H:一个面向软件部署的技术分析框架

下载全文  

部署是软件生命周期中的一个重要环节,是软件生产的后期活动,通过配置、安装和激活等活动来保障软件制品的后续运行.为了系统地了解软件部署的现状和最新进展,建立了一个多侧面、细粒度的分析框架——W4H,以对该领域的主要研究工作和系统工具进行概括分析.该框架从软件部署的概念和面对的问题空… …   相似文献

陈伟  魏峻  黄涛 《软件学报》2012,23(7):1669-1687

空间查询优化

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

空间查询优化是空间应用的突破点,由于现有的关系优化不能适应空间数据的查询,因此空间系统必须具有自己的代价模型和优化器,为此,给出了一个空间查询优化的系统方案FQPro,并在对空间查询优化的几个阶段做了一般性探讨后,将重点放在代价模型、谓词代价计算和优化方案的代价计算上,尤其对基于… …   相似文献

方裕  楚放 《中国图象图形学报》2001,6(4):307-314

入侵检测研究综述*

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

入侵检测是动态安全技术中最核心的技术之一。从体系结构的演变、检测方法分析和系统测评工作三个方面对当前入侵检测的研究进行技术性综述,讨论了现有的入侵检测体系结构,详细分析了各种入侵检测方法,对现有的入侵检测评估工作进行了总结,指出了当前入侵检测研究中存在的问题和今后发展的趋势。… …   相似文献

吴庆涛  邵志清 《计算机应用研究》2005,22(12):11-14

MPI和OpenMP混合并行模型下的遥感编目信息检索

下载全文  

目的 空间位置检索是遥感影像检索中的关键步骤,为进一步提高海量遥感影像编目数据定位检索效率,降低误检率,提出一种基于MPI和OpenMP混合编程模型对射线法进行多层次并行化实现。方法 首先完善传统射线法处理点在多边形边上以及射线与边的端点相交的情况;其次采用MPI实现基于程序层面多机并行,OpenMP实现算法层面单机多线程并行,通过开启多个线程同时处理多边形的各个点,判断它们是否在另一个多边形的内部。结果 当系统中所有节点开启线程数之和等于主节点的最佳线程数时,全局计算速度达到最佳。混合并行算法相比串行算法检索时间减少50%以上,效率更高。结论 MPI+OpenMP混合并行比普通的串行执行、单纯MPI并行或单纯OpenMP并行执行空间定位检索算法效率显著提高,这种并行方案普遍适用于集群环境下的并行程序,并且可以进一步拓展到其他图像处理算法领域。… …   相似文献

曲海成  梁雪剑  刘万军  籍瑞庆 《中国图象图形学报》2015,20(11):1552-1560

基于人脸检测和颜色分析的红眼自动消除

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

用闪光灯进行人物摄影时由于眼底血管的反光会产生红眼现象,小型照相机的闪光灯和镜头距离很近,这一问题更为突出。为了自动消除用闪光灯进行人物摄影时产生的红眼现象,在对基于颜色空间的常用红眼检测技术进行研究的基础上,对现有较为复杂的检测方法进行了修正,提出了一种基于人脸检测的红眼自动消… …   相似文献

金秋明  王朔中 《中国图象图形学报》2005,10(11):1441-1444

中巴地球资源一号卫星多光谱扫描图象质量评价

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

基于中国资源卫星应用中心提供的中巴地球资源一号卫星红外多光谱扫描仪（IRMSS）4个波段零级图象数据,首先综合运用各种有效方法进行了图象预处理（包括错位纠正、辐射校正、去噪声、清晰化、几何精校正等）,然后在此基础上选择图象信噪比、地面分解力、清晰度、辐射精度、反差等5个指标对图象… …   相似文献

张霞  张兵  赵永超  童庆禧  郑兰芬 《中国图象图形学报》2002,7(6):581-586

教育建模语言的设计与实现的分析

  

教育建模语言EML/ IMSLD 是目前国际上用于数字教育资源开发的一项新兴技术。全面详述并深入地分析了EML/ IMSLD 的特色。它们分别是: 面向过程的学习单元设计思想; 面向对象的教学语义信息模型; 基于UML 的协作式教育资源开发流程等。EML / IMSLD 的设计思… …   相似文献

张豫  郑晓齐 《计算机应用研究》2005,22(3):110-112

基于网络安全知识库的入侵检测模型

  

在网络安全知识库系统的基础上,提出一个基于网络安全基础知识库系统的入侵检测模型,包括数据过滤、攻击企图分析和态势评估引擎。该模型采用进化型自组织映射发现同源的多目标攻击;采用时间序列分析法获取的关联规则来进行在线的报警事件的关联,以识别时间上分散的复杂攻击;最后对主机级和局域网系… …   相似文献

肖云  王选宏 《计算机应用研究》2009,26(3):1079-1081