•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第9141-9160项 搜索用时 115 毫秒
[首页] « 上一页 [453] [454] [455] [456] [457] 458 [459] [460] [461] [462] [463] 下一页 » 末  页»
9141.
为了实现建筑物的真正智能化和信息化,解决电梯作为建筑物内的\"信息孤岛\"这一问题,本文构建了一套基于JMF的网络视频实时广播系统.本文先概要叙述该系统的实现技术:MPEG-4编解码算法、RTP/RTCP实时传输协议,流媒体技术,然后利用Sun公司开发的专门应用于网络视频传输与播… …   相似文献
9142.
下载全文  总被引:1,自引:0,他引:1
从软件设计模式的角度研究了EJB的设计与实现机制。其中,用代理设计模式、适配器设计模式、工厂设计模式对EJB的基础部分-RMI进行了研究,用组合设计模式对EJB的另一基础部分-JNDI进行了研究,用观察者设计模式对消息驱动EJB的实现机制进行了研究。还论述了接口在EJB中的重要作… …   相似文献
9143.
水印系统的顽健性是数字水印研究者最为关注的问题。借助卷积码的编解码思想, 在小波域研究了自适应于音频的扩频水印算法, 将视觉可辨的水印经过预处理后嵌在所选的中、低频小波子带。为了提高算法的顽健性, 提出了适合Viterbi 软解码的水印检测改进算法, 水印检测不需要原始音频。实验… …   相似文献
9144.
下载全文  总被引:3,自引:0,他引:3
本文提出了企业信息资源整合的三个方面内容:信息资源规划、企业信息门户和企业应用集成.首先通过对信息资源的规划,建立全局信息资源标准,在此标准之上构建企业级数据中心,结合商务智能、辅助决策分析手段,为领导层提供科学的决策依据;其次以企业信息门户为手段,实现单点登录,统一用户管理,统… …   相似文献
9145.
提出使用事件自动机对 C 程序的安全属性进行规约,并给出了基于有界模型检测的形式化验证方法。事件自动机可以规约程序中基于事件的安全属性,且可以描述无限状态的安全属性。事件自动机将属性规约与C程序本身隔离,不会改变程序的结构。在事件自动机的基础上,提出了自动机可达树的概念。结合自动… …   相似文献
阚双龙  黄志球  陈哲  徐丙凤 《软件学报》2014,25(11):2452-2472
9146.
为解决目前交通分配模型仅限于某种方式内,并缺少考虑方式划分与交通分配相互影响的问题,描述了多方式复合城市交通网络.网络中涵盖了公交车和小汽车两个子系统,出行总量满足弹性需求,并根据两个子系统效用函数进行随机用户平衡分配,同时子系统内各路径流量分配也满足随机用户平衡,从而建立了两层… …   相似文献
陈坚  杨飞  晏启鹏 《计算机应用研究》2012,29(10):3693-3696
9147.
本文介绍针对图书馆的论文管理和服务的需要,采用标准J2EE平台,使用XML作为数据交换格式,采用SQLServer 2000作为后台数据库,来完成一个具有论文的采编、管理、检索、查阅等功能的网上图书馆论文系统的设计与实现。  相似文献
9148.
副本协作预取是一种网格副本复制策略,旨在通过获取隐性高价值文件进一步降低数据访问延迟.副本协作预取的关键在于隐性高价值文件的确定和获取,因此,提高隐性高价值文件获取的速度能够大幅度提升副本协作预取的性能.利用DHT(distributed hash table)组织网格节点,以快… …   相似文献
田田  罗军舟  宋爱波  东方 《软件学报》2013,24(9):2117-2131
9149.
针对制造信息系统的混沌现象难以确定的问题,采用定性和定量相结合的方法进行研究.根据自组织理论在合理假设情况下建立了以三个主要的宏观序参量为参变量的制造信息系统决策层动力学模型,利用迭代方法求出系统演化在相空间的轨线分岔图,找出系统走向混沌的道路和出现混沌时相应参变量状态.企业的初… …   相似文献
9150.
图像检索技术发展已经有一定的历史,基于文本的检索技术逐渐成熟,但是基于内容的图像检索技术还在探索阶段,本文在简单的介绍图像检索技术的基础上,提出一种可拓方法应用于图像检索的的图像检索方法,并简单的分析了基于颜色,纹理和图像轮廓的检索算法,最后通过实验比较了各算法的效果。… …   相似文献
9151.
计算程序中循环的程序复杂度符号化上界可以验证程序的停机性.基于差分方程和最优化问题求解技术,给出了一种计算P*-solvable循环程序复杂度符号化上界的有效方法.分别针对含有赋值语句的循环和带条件分支的循环,提出了其程序复杂度符号化上界计算方法.与其他工作相比,该方法能够计算得… …   相似文献
邢建英  李梦君  李舟军 《软件学报》2011,22(9):1973-1984
9152.
分析了扩频技术应用在软件水印领域的一般框架,提出了一种在程序运行过程中提取矢量的扩频动态软件水印方案.该方案通过修改Java程序对操作数栈操作的次数来嵌入水印,用相关性检测原理来检测水印,具有很高的鲁棒性和安全性.  相似文献
9153.
在标准遗传算法(SGA)中加入移民策略可以丰富种群多样性,使SGA能够更好的适应环境的变化。为了改善基于移民策略的遗传算法在搜索空间内的探索能力,受原对偶映射思想的启发,设计了基于原对偶映射的移民策略(Primal-Dual based Immigrants,PDI),并将这种策… …   相似文献
9154.
本文给出了HOS方法学中基本控制结构JOIN、INCLUDE、OR和复合控制结构COJOIN、COINCLUDE及COOR的语义构造规则.以此为基础,提出了一种层次武功能理解方法,并讨论了其在HOS规格说明的语义验证和复用方面的应用.  相似文献
吕建  费宗铭 《软件学报》1995,6(12):734-741
9155.
动态图表表现价值极高,基于OWC实现的动态图表适应性强,本文通过具体设计示例描述如何使用OWC组件设计实现网上动态图表,并给出了相应的程序.  相似文献
9156.
随着系统规模的扩大,并行计算的性能不断提高,但可靠性却也在不断下降,因此需要采用某种容错机制来容忍或恢复硬件故障和数据错误.目前常用的容错机制Checkpoint/Restart和多模冗余均引入了额外的开销,这些开销均在某种程度上制约了并行计算的可扩展性.因此,在高性能计算需求不… …   相似文献
王之元  杨学军  周云 《软件学报》2012,23(4):1022-1035
9157.
下载全文  总被引:1,自引:0,他引:1
本文介绍一种用于FORTRAN并行化的实用算法,本文探讨串行源程序中的循环横向切分并行化的理论和算法,我们建立了一套新的理论概念,并且在这套概念的基础之上,导出了一系列横向切分理论。最后,文章还根据这些并行化理论得出的结果,介绍了一种实用的循环检测并行化方法。  相似文献
陈镐缨 《软件学报》1993,4(3):61-64
9158.
在传统的静态资源预留机制(static resource reservation mechanism,简称SRRM)下,用户的预留请求一旦通过接纳测试就立即被调度到某个资源上.因此,SRRM无法考虑在预留提前时间(book-ahead time)内作业队列的变化对调度目标产生的影… …   相似文献
高瞻  罗四维 《软件学报》2011,22(10):2497-2508
9159.
下载全文  总被引:1,自引:0,他引:1
SIFT(scale invariant feature transform)算法提取的图像特征对图像自身的镜像变换匹配精度不够。针对此问题,对SIFT算法进行了改进,提出FI-SIFT(flip invariant SIFT)算法:利用纵坐标方向的梯度初步判断图像是否为镜像变换… …   相似文献
9160.
首先提出最短路径距离在宗地地价点状因素评价中的应用模式,然后设计节点-连线-街区网络数据模型和与之相应的网络外抽象节点接入网络的规则,构造基于最短路径查询的动态网络,最后采用改进型Dijkstra算法计算出宗地地价点状因素评价结果。  相似文献
[首页] « 上一页 [453] [454] [455] [456] [457] 458 [459] [460] [461] [462] [463] 下一页 » 末  页»