•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第6241-6260项 搜索用时 327 毫秒
[首页] « 上一页 [308] [309] [310] [311] [312] 313 [314] [315] [316] [317] [318] 下一页 » 末  页»
6241.
  
基于区分服务的网络模型,提出了一种新的灵活市场的定价策略。为了使定价策略能够更好地应用在区分服务网络中,在边界路由器中使用了探测和反馈机制,并且对灵活市场定价策略中的竞标值进行了归一化处理。通过仿真实验验证了基于区分服务模型的灵活市场定价策略的自适应性。  相似文献
6242.
  
根据初始状态、状态之间的转换关系和命题赋值函数是否为分明的,模糊Kripke结构可分为8类。提出将模糊计算树逻辑作为判断模糊Kripke结构之间是否是等价的依据;详细讨论了8种模糊Kripke结构之间的关系。这些结论为设计应用中模型的合理选取提供了理论依据,也为解决模糊计算树逻辑… …   相似文献
6243.
  总被引:9,自引:0,他引:9
随着互联网规模的持续扩大和应用上的革命,其性能成为用户至为关心的内容。网络测量作为了解互网性能的基本手段,成为关注热点。介绍了对网络性能进行测量的历史和意义,对网络测量内容和方法进行了分类,着重介绍了时延、带宽、流量等网络性能指标的测量方法,最后就网络测量中误差产生的原因及其处理… …   相似文献
6244.
下载全文  总被引:1,自引:0,他引:1
日侧冕状极光是太阳风与地球磁层相互作用产生的典型电离层踪迹,对其正确分类对研究空间天气活动尤为重要。根据冕状极光的形态特征,提出了一种基于静态图像分类的日侧冕状极光检测算法。首先提取极光样本图像的Gabor特征,利用K均值聚类算法进行基于有监督聚类的训练样本选择,保证训练样本的… …   相似文献
6245.
  
针对无线局域网中节点移动速度和方向的不确定性,在分析现有研究不足的基础上,提出了一种基于移动速度优先的快速切换机制。该机制通过资源的集中分配,将空闲信道信息通知需要切换的节点,避免了由于节点主动发起接入造成的接入冲突,实现了切换节点的快速调度,有效地改善了切换的服务质量。仿真显示… …   相似文献
6246.
下载全文  总被引:7,自引:0,他引:7
已有的边缘方向插值算法利用高低分辨率图像局部方差之间存在的对偶性实现自适应非线性插值。其性能明显优于传统线性插值算法,但图像边缘噪声可能仍然比较明显。为了获得更好的视觉效果。提出了一种改进算法。充分利用局部降采样像素之间的相关信息,用和被插点相邻的6个降采样像素估计高分辨率图像的… …   相似文献
6247.
下载全文  总被引:1,自引:0,他引:1
循环术语集是描述逻辑长期以来的研究难点,其最基本的问题即语义及推理问题没有得到合理的解决.基于混合分级μ-演算将不动点构造算子引入到含有枚举构造算子的描述逻辑ALCQO 中,提出了一种允许包含循环术语集的描述逻辑μALCQO.给出了μALCQO 的语法、语义和不动点构造算子的性质… …   相似文献
蒋运承  王驹  汤庸  邓培民 《软件学报》2009,20(3):491-504
6248.
语音识别技术经过半个世纪的发展,目前已日趋成熟,其在语音拨号系统、数字遥控、工业控制等领域都有了广泛的应用。由于目前常用的声学模型和语言模型的局限性,计算机只能识别一些词汇或一些句子。语音识别系统在语种改变时,往往会出现错误的识别结果。针对上述问题,结合隐马尔可夫模型原理,在HT… …   相似文献
6249.
  
操作系统的正确性和安全性很难用定量的方法进行描述。形式化方法是操作系统设计和验证领域公认的标准方法。以操作系统对象语义模型(OSOSM)为基础,采用形式化方法对微内核架构的中断机制进行了设计和验证,在自行开发的安全可信操作系统VTOS上加以实现,采用Isabelle/HOL对设计… …   相似文献
6250.
空间分块策略是K近邻搜索算法研究中的有效方法,然而现有算法进行空间划分时给出的子立方体大小主要取决于K值的大小,K值变化时需重新进行空间划分,影响了时间效率和稳定性。利用空间分块策略的优点,提出一种以建立离散数据空间索引为空间划分目标的K近邻搜索新算法。该算法预先对空间包围盒进行… …   相似文献
6251.
下载全文  总被引:3,自引:0,他引:3
视频数字水印技术是当前水印研究中的一个热点。为了更好的保证视频水印的鲁棒性,提出了一种基于MPEG-2运动分量的自适应数字水印算法。该算法首先利用矩阵置乱来确定水印片段的目标图像组,然后结合人眼视觉系统选择水印比特嵌入的运动分量。实验结果表明,该算法不仅对于针对视频水印的特殊攻击… …   相似文献
6252.
下载全文  总被引:12,自引:0,他引:12
表格框线检测是表格识别的基础.现有的表格框线检测算法或者速度慢,或者鲁棒性差,而且没有充分利用表格框线之间的约束信息.提出了一种基于所定义的图像结构基元\"有向单连通链\"的自底向上表格框线检测算法.在此算法中,有向单连通链是一种黑像素游程序列,作为非常合适的矢量基元,在引入一定… …   相似文献
6253.
下载全文  总被引:6,自引:1,他引:6
本文详细介绍了一个基于异质分布式计算机系统的机器人集成环境——Robix,它提供用户简单的通讯模式,可以很方便地实现进程间通讯,同时提供对实时系统十分重要的分布式中断,Robix已在一个室外自主移动机器人系统ATB1的集成中得到应用.  相似文献
6254.
基于高斯混合模型和帧间梯度信息提出了一种新的运动目标分割算法。首先,在利用亮度信息对背景建立自适应高斯混合模型的基础上,进行前景的粗分割;其次,由于视频信号的亮度和色彩分量随光照突变有较大的改变,导致大片背景的高斯模型产生错误匹配,误判为前景,为了提高高斯模型分割算法的鲁棒性,结… …   相似文献
6255.
  
本文提出了一种利用电磁开腔在微波和毫米波频段测量双层介质复介电常数的新技术。在8mm频段,利用一套电磁开腔自动测量系统对几种双层介质材料进行了具体测量。最后,对测量误差进行了理论分析,并给出了计算实例。  相似文献
夏军  梁昌洪 《通信学报》1994,15(1):46-58
6256.
  
有归纳类型的马丁洛夫类型理论在经典集合论中有一简单的模型.构造演算不存在经典集合论模型,但在构造集合论中有模型.本文刻画了构造演算中归纳类型的构造集语义.  相似文献
傅育熙 《软件学报》1998,9(3):236-240
6257.
该文是关于中国图形工程的年度文献综述系列之五,考虑到国内关于图形学的研究及主 论文分布于多种学术期刊,为了让图形学领域内从事理论开发的人员对图形学研究进展有一个全面的了解,以及为读者查阅相关文献提供方便,选取了394篇1999年在国内11种图形学论文比较集中的中文期刊上发表的有… …   相似文献
6258.
  总被引:4,自引:0,他引:4
介绍了使用MMX及SSE指令来提高医学图像处理软件运行效率的原理和方法,并在深层次上对处理器工作原理进行了探讨,分析了在实际软件开发中使用的例程,并提供了部分源代码。  相似文献
6259.
下载全文  总被引:16,自引:0,他引:16
简要地回顾了数据融合技术产生,发展的必然性,以及学者们提出的几种相关定义;尽可能详细地分析了数据融合的框架结构。包括像素层,特征层和决策层三层数据融合,并重点分析了各个数据融合层中的融合方法,以及这些方法在遥感图象处理中的应用,由于数据融合与遥感图象分类,目标检测,变化检测,目标… …   相似文献
6260.
  总被引:8,自引:0,他引:8
介绍了协同商务的含义,在分析中小型企业现状的基础上提出了基于ASP的中小型企业协同商务解决方案框架,指出实现协同商务的关键技术,最后通过企业应用分析证明了此方案的可行性和有效性。  相似文献
[首页] « 上一页 [308] [309] [310] [311] [312] 313 [314] [315] [316] [317] [318] 下一页 » 末  页»