•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第9661-9680项 搜索用时 110 毫秒
[首页] « 上一页 [479] [480] [481] [482] [483] 484 [485] [486] [487] [488] [489] 下一页 » 末  页»
9661.
下载全文  总被引:3,自引:0,他引:3
本文提出了一个面向对象的二级并发模型FORCE-Model.它从需求规范的角度充分开发对象间和对象内两个层次上的并行性,从而将面向对象与并发性有机地结合起来,提供了有效的实时系统建模框架.基于该模型,我们开发了一个多视点可视规范语言族FORCE-Language.  相似文献
王戟  陈火旺 《软件学报》1994,5(9):16-23
9662.
  总被引:1,自引:0,他引:1
在深入研究单指令多数据流扩展指令集(Streaming SIMD Extensions,SSE)数据传输指令操作特点的基础上,充分考虑了数据预取、数据对齐、CPU缓存和新的128位寄存器等因素,在Visual C++平台上用嵌入汇编开发了内存拷贝函数。通过实验分析了各内存拷贝函数… …   相似文献
9663.
CONET V2.0是一种在微内核环境下实现的网络系统软件,由于微内核在系统构造方法上与传统的方法不同,所以该环境下的系统模块在实现上也具有其特殊之处.文章介绍了CONET V2.0的体系结构与实现思想,并着重阐述了作为该系统应用程序接口之一——SOCKET的设计与实现.… …   相似文献
胡宁宁  金志权  谢立 《软件学报》1999,10(6):614-618
9664.
下载全文  总被引:2,自引:1,他引:2
为了快速定位中高分辨率可见光遥感图像中的人工建筑目标,一般需要先对目标进行粗定位,提取人工建筑区域。根据遥感图像中的不同地貌具有不同的频谱特性,人工建筑区相对其他区域具有较高的频率,提出了基于小波变换和数学形态学的遥感图像人工建筑区提取算法。该算法先对遥感图像进行小波变换,将不同… …   相似文献
9665.
  总被引:4,自引:0,他引:4
根据织物表面图像来自动识别组织结构参数是纹织CAD的一个重要研究内容。为解决在扫描过程中织物图像不可避免的倾斜现象,提出了一种快速的基于Hough变换的织物图像倾斜检测算法。为减少运算量,此算法首先提取图像梯度作为纬纱走向信息;然后运用层次Hough变换来检测倾斜角度,并获得了满… …   相似文献
9666.
下载全文  总被引:1,自引:0,他引:1
在由多个领域相关的ES组成的协作系统中,通常把能独立求解同一个领域难题A的所有ES组成一个协作组。有时组中诸ES对A都给出了相同的断言,但是它们却给出了不同的断言信度值。本文为处理这种不一致性问题,改进了文[1]中的向最高信度值看齐策略和相邻影响策略,提出了向最高权威看齐策略和相… …   相似文献
9667.
  总被引:17,自引:0,他引:17
文章首先分析了传统的实例检索策略的不足,提出了一种 基于模糊相似优先比的混合属性实例的检索模型.该模型用语义距离来刻画两实例对应属性 之间的相似程度,允许实例的属性为模糊数的情形,能胜任定量、定性和混合属性实例的检索 问题.  相似文献
9668.
  
为了减少分簇的无线传感器网络(WSN)中数据包传输的数量,并使传感器网络的能量效率最大化,提出了一种节能的自适应数据聚合算法.在该算法中,源节点凭借其存储和计算能力,利用数据流技术减少数据包的传输量;当数据从源节点传输到簇头时,簇头根据控制信息选择一组节点作为编码节点,当数据相关… …   相似文献
9669.
输入缓冲交换开关已经在越来越多的ATM交换机和高性能路由器中使用.对于独立的信元到达,VOQ(virtual output queueing)技术与LQF(1ongest queue first)和OCF(oldest cell first)等加权调度算法的结合使用可以使利用交换… …   相似文献
孙志刚  卢锡城 《软件学报》2001,12(8):1170-1176
9670.
  总被引:3,自引:0,他引:3
提出了基于人眼视觉属性和应用小波树结构2快速图象编码的矢量量化图象编码方法,简称为树结构快速矢量量化编码。在分析此方法矢量量化特点之后,设计产生码本的统计方法,并提出了矢量量化编码的快速算法。  相似文献
9671.
  
论述了逻辑程序设计中剪枝算子的作用及传统剪枝算子的过程性语义和说明性语义不一致问题;介绍了新型逻辑程序语言〔淑划中的COTRTT11t剪枝算子;通过引入一组定义描述其过程语义,并进一步阐述了剪枝算子和延迟计算规则之间的关系,讨论了Godel语言的剪枝策略及控制机制,从而为逻辑程序… …   相似文献
9672.
下载全文  总被引:1,自引:0,他引:1
安全攸关软件的可信性关乎生命安全和财产保全,因此,分析评价软件可信性是否符合用户的预期(即软件可信评估)至关重要.软件可信评估从主观和客观两个方面度量软件的质量,对软件生产和应用有着重要的意义.综述了可信评估管理中涉及到的标准、模型和工具,而非关注软件度量本身.首先分析对比了软件… …   相似文献
9673.
针对大量瑞氏染色细胞图像, 通过YCbCr颜色空间进行K-means聚类, 观察各分量聚类中心差值变化规律, 提出了一种新的确定K-means聚类数的颜色校正算法。该算法首先是将瑞氏染色细胞图像中不同目标分别准确地聚集在相应类当中, 再与标准图像中的每类进行配比, 并利用直方图规… …   相似文献
9674.
下载全文  总被引:1,自引:0,他引:1
基于分布式并行计算机系统,对一类非均匀区域的油藏数值模拟问题,采用了区域分解方法并行求解,给出了并行求解的负载平衡模型及区域负载平衡的一种有效分区算法,从而将这类油藏数值模拟问题均衡映射到并行环境中,高效地并行求解.在黑油油藏数值模拟并行软件的研究中,实验结果表明,该算法有利于提… …   相似文献
9675.
  
针对复杂场景下的目标跟踪问题,提出了一种改进的粒子滤波目标跟踪方法。利用背景加权后的联合直方图描述目标灰度和梯度特征信息,在粒子滤波算法的框架下,设计了一种自适应特征融合观测模型来适应场景的不断变化;同时针对传统粒子滤波算法存在的粒子退化问题,提出了一种基于聚类核函数平滑采样的方… …   相似文献
李科  徐克虎 《计算机科学》2012,39(4):210-213
9676.
  
相位相关方法是在两幅相似图像之间检测纯平移运动的一种比较传统的直接估计法,但由于它庞大的计算量使它无法满足实时系统的要求,并且它只能进行整数平移值的检测,因此需找到一种更好的运动估值方法。由于相位相关矩阵在没有噪声干扰的纯平移运动中是一个秩为1的矩阵,所以根据这一性质,提出了一种… …   相似文献
9677.
可重构信息通信基础网络通过构建宏电路实现针对特定服务的传输质量优化.由于该网络架构加入了对网络虚拟化技术的支持,因此在对服务请求进行映射时,若将类型相同的服务映射到同一组底层设备上,则能够有效提升宏电路的优化效果.针对该需求,提出了一种面向服务聚合的虚拟网映射算法,该算法综合考虑… …   相似文献
9678.
下载全文  总被引:1,自引:0,他引:1
针对混合模式的布局问题提出一种分级的自动布局算法.所谓混合模式就是标准单元和宏模块相结合的布局模式.该算法在模块级和单元级两个层次上完成布局.在模块级上,首先将所有随机单元划分成若干软模块,然后采用基于序列对(sequence pair,简称SP)的方法完成模块布局;在单元级上,… …   相似文献
吴为民  洪先龙  蔡懿慈 《软件学报》2001,12(12):1752-1759
9679.
本文给出了在具有n1-ε台处理器的WRAM机器上实现的并行表压缩算法,其时间在杂性为O(mnε+(s2)/(n1-ε)),这个算法达到了线性加速。… …   相似文献
9680.
下载全文  总被引:5,自引:0,他引:5
该文基于现有端到端可重配置系统架构,提出了一种改进的动态门限联合负载控制方法,以适应不同负载条件下对负载均衡的要求,达到资源的有效利用。同时,结合终端的可重配置特点及业务要求的多样性,在执行网络发起的垂直切换过程中采用了基于层次分析法的终端选择算法,从而在均衡异构网络负载的同时减… …   相似文献
[首页] « 上一页 [479] [480] [481] [482] [483] 484 [485] [486] [487] [488] [489] 下一页 » 末  页»