•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第9811-9820项 搜索用时 96 毫秒
[首页] « 上一页 [977] [978] [979] [980] [981] 982 [983] [984] [985] [986] [987] 下一页 » 末  页»
9811.
为了提高DATALOG程序自底向上计值的效率,本文提出了把DATALOG规则分成若干个组,对这些组可以给出一个拓扑序列,而对同一个组内的各个规则可以给出一个激发序列,以此来有效地控制DATALOG程序自底向上计值时对规则的调度,从而提高计算效率.这一技术可以应用于传统的各种自底向… …   相似文献
王云明  施伯乐 《软件学报》1997,8(9):641-646
9812.
  
SAT问题是研究最广泛的NPC问题之一。由于SAT问题本身的特性,除非P=NP,否则不存在最坏情况下多项式阶时间复杂度的SAT求解算法。因此设计出高效快速的SAT求解算法至今仍是研究热点。首先简要介绍了SAT问题;其次从完备算法、不完备算法和组合算法3个角度总结了新近的研究进展,… …   相似文献
9813.
下载全文  总被引:1,自引:0,他引:1
为了更有效地进行图像压缩,提出了一种新的混合域低比特率图像压缩编码算法。该算法首先对原始图像进行小波分解,并对中高频小波子带进一步实施自适应方向分解;然后根据小波系数统计特性,优化处理最低频子带系数;再结合小波分解与方向分解的特点,构造了一种扩展的空间方向树结构;最后采用SPIH… …   相似文献
9814.
  
提出了一个新的位分配算法,它可以有效地分配一个给定的位的限额给任意不同的量化器集合.这种算法产生一个最佳或接近最佳位分配,它允许位分配集合值被限制成非负整数.该算法用在小波图象编码中,实验表明,这种算法是十分有效的.  相似文献
许刚  廖斌 《软件学报》1998,9(9):703-708
9815.
下载全文  总被引:3,自引:1,他引:3
逐步描述、变换及证明的软件开发过程包含两个转换,一是从非形式的用户需求到形式描述,一是从形式描述到算法实现。开发过程中的关键是如何做出设计决定。为了更好地维护、重用软件以及程序证明,不仅仅要对软件的形式描述及实现做文档记录,也要记下开发过程中所做的每一步决定。我 们用两个例子来说… …   相似文献
缪旭  唐稚松 《软件学报》1990,1(3):15-25
9816.
  
针对无线mesh传感器网络的需求,提出一种综合量度的跨层路由协议H工.S。算法H工S利用底层的链路质量信息、MAC层时隙分配信息,结合跳数对备选路径做出综合判断,避开质量较差的链路和负载较重的节点。路由发现过程中在中间节点设置链路质量和节点负载阂值,并根据相关信息进行延时转发操作… …   相似文献
李勇  郭墨飞  王平  夏青 《计算机科学》2013,40(3):151-154
9817.
本文介绍了一个基于知识的操作系统KZ10,它包括智能化人机接口和基于知识的分布式任务调度两个部分。它的研制为新一代计算机系统提供了一个有效的、合适的操作系统模式。  相似文献
9818.
  
社交网络影响最大化问题是指如何寻找网络中有限的初始节点,使得影响的传播范围最广。一些贪心算法可以得到较好的影响范围,但是因时间复杂度太高而不适用于大型社交网络。基于度中心性的启发式算法简单但准确度不高;基于介数中心性、接近中心性等全局指标的启发式算法可以较好地识别影响力最大的节点… …   相似文献
9819.
下载全文  总被引:3,自引:1,他引:3
根据多媒体对象的面向对象特点,给出了一种基于“事件-条件-动作”的Agent展示集成模型.该模型集对象的内容、时序、空间关系于一体,通过消息传递与对象展示状态事件控制对象展示集成的行为,保证了对象的封装性,并对用户的交互提供有力的支持,是一种动态集成模型.“事件-条件-动作”机制… …   相似文献
9820.
流媒体应用中,为了满足可用带宽的变化常需要动态地调整比特流码率。由于H.264/AVC支持同步预测(SP)帧,并允许在大范围内的不同质量比特流之间进行切换,而MPEG-4又支持FGS编码,使得比特流小范围可调,因此为了充分利用两者的优点,给出一种将两者融合在一起的解决方案,并采用… …   相似文献
[首页] « 上一页 [977] [978] [979] [980] [981] 982 [983] [984] [985] [986] [987] 下一页 » 末  页»