•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第4441-4450项 搜索用时 70 毫秒
[首页] « 上一页 [440] [441] [442] [443] [444] 445 [446] [447] [448] [449] [450] 下一页 » 末  页»
4441.
下载全文  总被引:9,自引:0,他引:9
给出中介逻辑谓词演算系统MF的一种无穷值语义解释,即无穷值的(解释,将λ-归结方法引入到MF中,讨论了MF的λ-归结原理,并证明了它的完备性.  相似文献
潘正华 《软件学报》2003,14(3):345-349
4442.
在片上系统(SOC)的设计中,常常需要把某些单元摆放在某一预定坐标线附近相对较小的区域内.这一约束的来源是,在总线结构中,通过总线传递的数据,应当同步地出现在总线上,不能有较大的时延.对带有预定坐标线对齐(PCA)约束的模块布局问题进行研究,导出了约束模块之间的一系列关系,由此得… …   相似文献
刘锐  洪先龙  董社勤  顾钧 《软件学报》2003,14(8):1418-1424
4443.
下载全文  总被引:1,自引:0,他引:1
无线传感器网络通常能量、带宽有限.一个关键而实用的需求是,在保证数据质量的情况下,对持续到达的采样数据进行在线式压缩.主要贡献:①利用传感器节点内置的缓冲区,提出了单传感器节点上基于分段常量逼近的准在线式数据压缩算法(PCADC-sensor),并给出了在无穷范数误差度量下的实现… …   相似文献
张建明  林亚平  傅明  周四望 《软件学报》2011,22(9):2149-2165
4444.
提出了一种综合多特征的句子相似度计算方法,该方法分别从句子的句法、词汇语义、词形三个方面来度量句子的相似度,最后将这三个方面加权整合计算得到句子的相似度。本方法综合考虑了句子的深层和表层信息,并对句子进行了词汇扩展,从而使句子相似度计算更加准确。  相似文献
4445.
下载全文  总被引:28,自引:0,他引:28
利用复合离散混沌系统的特性,提出了两个基于复合离散混沌系统的序列密码算法.算法的加密和解密过程都是同一个复合离散混沌系统的迭代过程,取迭代的初始状态作为密钥,以明文序列作为复合系统的复合序列,它决定了迭代过程中迭代函数的选择(或明文与密钥),然后将迭代轨迹粗粒化后作为密文.由于迭… …   相似文献
李红达  冯登国 《软件学报》2003,14(5):991-998
4446.
为了支持大规模用户共享虚拟环境,多服务器结构被应用到分布式虚拟环境系统中,每个服务器负责虚拟环境的一个区域划分.由于用户不可预知的移动和交互,可能会导致某些服务器负载过重.现有的负载平衡算法注重于将负载在服务器间重分配,但引入开销过大,影响系统交互性能.提出一种分层迭代的动态负载… …   相似文献
王少峰  周忠  吴威 《软件学报》2008,19(9):2471-2482
4447.
下载全文  总被引:4,自引:0,他引:4
利用实拍照片为基于真实景物创建的几何模型添加纹理的方法正在受到广泛的关注,实拍照片与几何模型的配准是这项技术的关键.以往方法采用3D-2D特征点匹配或侧影轮廓线匹配的方法进行配准,因此对空间物体的表面特征或轮廓线形状有特殊的要求.提出了一种新的配准方法来解决这一问题,由于采用了基… …   相似文献
刘钢  彭群生  鲍虎军 《软件学报》2005,16(11):2014-2020
4448.
下载全文  总被引:2,自引:0,他引:2
提出一种基于支持向量数据描述算法(SVDD)的多分类方法(S-MSVM).受SVDD的启发,该方法对每类样本建立一个超球来界定,但训练好的超球在所有情况下都是相交的.选择相交区域的样本单独建立超球,重复该步骤,直到相交区域消失或相交区域内没有样本点.给出了该方法的时间复杂度分析,… …   相似文献
4449.
下载全文  总被引:1,自引:0,他引:1
提出了一种新的视频语义分析算法,着重对情感内容识别进行了研究.算法考虑了人的认知行为具有模糊性和不确定性的特点,融合了未确知数学理论,建立了视频低层特征和情感类型之间的关系模型.视频低层情感特征提取部分,详细介绍了特征选取的依据和具体方法.视频情感类型判定部分,描述了朱确知情感测… …   相似文献
4450.
下载全文  总被引:2,自引:0,他引:2
图语法将字符串上的形式文法扩充为图上的形式文法,提供一种能够使用精确的数学方法来模拟图变换的机制.提出了几种新的基于一致图语法的方法来表示控制流图、数据流图、控制数据流图、二分图和超图,并说明如何通过图重写来自动生成依赖图并挖掘并行性,从而协助并行编译器和并行语言的设计和实现.… …   相似文献
李国东  张德富 《软件学报》2004,15(7):956-968
[首页] « 上一页 [440] [441] [442] [443] [444] 445 [446] [447] [448] [449] [450] 下一页 » 末  页»