用户名： 密码： 找回密码 中文版 English 本站信箱 收藏本站 本网介绍

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第7961-7980项 搜索用时 162 毫秒
[首页] « 上一页 [394] [395] [396] [397] [398] 399 [400] [401] [402] [403] [404] 下一页 » 末  页»
7961.
指针是一种重要的数据类型,使用指针能使程序更加有效和优美.可是指针却以不易驾御而闻名,至今在时序逻辑语言中未见到对它的形式化工作.XYZ/E既是一个时序逻辑系统也是一个程序设计语言,它能表示普通高级语言中几乎所有的重要机制.本文主要讨论在时序逻辑语言XYZ/E中指针的形式化表示问… …   相似文献
李广元  唐稚松 《软件学报》2000,11(3):285-292
7962.
近年来,复杂对象数据模型及其逻辑数据语言的研究引起了人们的广泛的重视．本文提出了一种复杂对象模型ＣＯＭ,描述了该模型上的说明性查询语言ＣＯ－ＤＡＴＡＬＯＧ的语法结构．在语义方面,定义了空间、基、解释、满足、模型等概念;利用ＣＯＭ实例的格性质证明了ＣＯ－ＤＡＴＡＬＯＧ的模型相交定理… …   相似文献
7963.
通过对元数据库结构定义和通用数据访问的设计,给出了一个可定制的通用数据访问模型的设计及实现方法,使能通过定制完成数据访问和展示,降低数据库应用系统的开发难度。最后给出了模型在远程教学系统和器材管理的应用。  相似文献
7964.
  总被引：1，自引：0，他引：1
针对X射线图像的特点,提出了一种新的X射线手提行李图像增强方法。首先,应用离散小波变换（DWT）对图像进行去噪、融合,然后,结合模糊理论在模糊空间实现图像增强。同时将本文方法与基于灰度分组(GLG)的增强方法、基于直方图均衡 (HE)的增强方法做了比较,实验结果表明,本文方法可以… …   相似文献
7965.
下载全文  总被引：2，自引：0，他引：2
由于评价图像Hash性能时,要求对两幅图像是否在感知上相似做出判断,因此针对这一需求,提出了一种衡量感知相似程度的评价测度。该测度的确定是先对图像进行低通滤波,再进行图像重叠分块;然后运用相关系数检测法计算每一对分块的相似程度,并对相似系数归一化,再分别计算若干个最小和最大的归一… …   相似文献
7966.
  
Object-Z语言缺乏完整的时态描述能力,如无法表达操作在特定时间之后执行或按某种周期执行等,也不具有操作补偿等概念。针对这些问题,在Object-Z中集成实时概念和分布式时态逻辑,提出DTL-Real-Time Object-Z规格语言,该语言能有效地描述操作的时态驱动、事件… …   相似文献
马莉  钟勇  霍颖瑜 《计算机科学》2014,41(4):184-189
7967.
提出一种预查询移动支持方案(mobile Internet protocol_based on location pre-query,简称MIP_Q),以解决家乡网络的流量瓶颈和单点故障问题,从而提高移动通信的效率和可靠性.MIP_Q通过扩展域名服务系统管理和跟踪移动节点的当前位… …   相似文献
何晓英  刘琼  雷振明 《软件学报》2004,15(2):259-267
7968.
下载全文  总被引：4，自引：0，他引：4
在分析现有多目标优化技术的基础上,提出了一种基于生态协同的多目标优化算法.此算法借鉴生态学中的生态种群密度竞争方程来描述多目标间的复杂关系,可以同时从个体和种群层次指导多目标之间关联程度的调整.实验结果表明,此算法更易于寻找多目标优化问题的满意解.  相似文献
7969.
下载全文  总被引：1，自引：1，他引：1
为了更好地描述曲线,引入了一种有效的曲线编码和描述方法———曲线树。这种曲线树是采用树的结构来描述曲线,其内部元素是有向相对高度。由于任何一种曲线都与一个曲线树一一对应,因此从树的根部开始,取其前几层得到的树,都是对该曲线的粗略的描述,而且随着层数的增加,刻画曲线的精度就越高。这… …   相似文献
7970.
下载全文  总被引：4，自引：0，他引：4
讨论了COOZ(complete object-oriented Z)中的继承关系,将继承分为增量继承和子类型化继承,并重点讨论了子类型化继承.定义了一种行为子类型化继承,证明了该方法的合理性,并据此定义了COOZ的规约继承及规约继承的推理规则.所讨论的子类型化方法与E.Cusa… …   相似文献
7971.
下载全文  总被引：3，自引：0，他引：3
由于在金属切削加工时通过CCD相机采集的切屑图像含有大量噪声,因此如何有效地去除噪声,获取切屑边缘信息是分析切屑形态参数,实现切屑控制的关键。目前小波变换图像去噪效果较好,而复数离散小波变换比实数小波变换具有更多优势,如：平移不变性、方向性等。并可提高图像的去噪能力。为了提高切屑… …   相似文献
7972.
下载全文  总被引：1，自引：0，他引：1
提出了一种适用于球面三角形网格的启发式点定位策略.通过构造规则子分网格将原始球面网格区域划分成若干具有子分层次关系的查询小块;在进行查询前,根据查询点p的位置找到它所在的小块作为搜索区域,从而极大地缩小了查询范围;在查询过程中,根据重心坐标所包含的启发信息,选择一条从初始搜索三角… …   相似文献
吴勇  何援军  蔡鸿明 《软件学报》2005,16(11):1983-1991
7973.
目前,针对糖尿病的主要治疗方法为用血糖仪频繁测量患者体内的血糖含量,据此对患者的血糖代谢进行调节.借鉴无线传感器网络及体域网相关的技术与思想,利用CDMA蜂窝移动通信技术与2.4G射频通信技术设计了一个可用于监护个人及小区域内多人血糖情况的无线远程血糖监护网络系统.此血糖监护网络… …   相似文献
7974.
  
提出了一种基于计数布鲁姆过滤器的集合调和方法,该方法将远程节点A和B上的数据集合SA和SB分别用计数布鲁姆过滤器表示,设为CBF(SA)和CBF(SB),节点A将CBF(SA)发送给节点B,节点B进行计数布鲁姆过滤器减运算,得到差过滤器CBF(SB)CBF(SA),然后利用CBF… …   相似文献
7975.
下载全文  总被引：3，自引：1，他引：3
局部搜索法在ＳＡＴ问题上的成功运用已引起越来越广泛的重视,然而,它在面对不可满足问题例时的局限性不能不被考虑．分级重排搜索算法ＭＳＲＡ（ｍｕｌｔｉ－ｓｔａｇｅｓｅａｒｃｈｒｅａｒｒａｎｇｅ－ｍｅｎｔａｌｇｏｒｉｔｈｍ）正是为克服局部搜索法的不完备性而提出的,准确地讲,它是几种算法… …   相似文献
刘涛  李国杰 《软件学报》1996,7(4):201-210
7976.
基于多投影仪的无缝拼接显示是对图形、图像、视频等进行大范围、高分辨率显示的一种有效实现方式。多投影仪无缝拼接显示的一个关键是解决颜色失调问题,而现有的颜色失调原因的分析结果可归纳为投影仪输出颜色的变化特性和投影屏幕与投影环境的影响两个方面。近年来,为解决该问题已提出了多种颜色校正… …   相似文献
7977.
  
软件行业估算追踪记录显示软件项目的失败率仍很高,估算问题是基本的原因之一.估算方法的创新没有出现期望的突破,而通过可控的过程,可以获得期望的结果.提出了一个过程模型,用于指导软件项目展开一系列估算相关的活动.该过程模型包括两部分,一是RUP估算过程,其详细描述了RUP开发模型里每… …   相似文献
7978.
下载全文  总被引：2，自引：1，他引：2
为了克服传统基于像素的背景建模方法不能很好地描述背景运动的问题,提出了一种融合光流速度与背景建模的目标检测方法。结合像素的灰度信息、空间信息和时间信息计算出每个像素的光流速度,利用光流速度在时间域上的统计信息为背景建立光流速度场模型。利用建立的背景模型快速、准确地实现运动目标的检… …   相似文献
7979.
在信息管理与电子商务应用中,如何安全地将一个合法实体(比如一个公司)的密钥分配给其属下的若干部门具有非常重要的意义.通常在这类应用中各部门都需拥有自己的子密钥,而每个部门的每个人(或科室)都有不同的子密钥授权等级,即一个部门只要其中一部分被授权人根据他们的密钥授权等级适当联合就能… …   相似文献
何明星  范平志 《软件学报》2002,13(2):168-175
7980.
下载全文  总被引：4，自引：0，他引：4
鉴于传统径基函数网络(radial basis function network,简称RBFN)构造策略的不足,提出了基于偏最小二乘法(partial least squares,简称PLS)和遗传算法(genetic algorithms,简称GAs)的RBFN构造策略和一种更… …   相似文献
赵伟祥  吴立德 《软件学报》2002,13(8):1450-1455
[首页] « 上一页 [394] [395] [396] [397] [398] 399 [400] [401] [402] [403] [404] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持