•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第6881-6900项 搜索用时 123 毫秒
[首页] « 上一页 [340] [341] [342] [343] [344] 345 [346] [347] [348] [349] [350] 下一页 » 末  页»
6881.
本文给出一个采用LFU策略的汉字二级存储系统,该系统采用汉字点阵压缩存储、C-tree~(TM)管理汉字库,大大地加快了汉字的访问速度。本文还使用该系统进行汉字访问序列符合正态随机分布的实验,给出了初步的实验结果并对其进行了讨论。  相似文献
吴克西 《软件学报》1992,3(1):55-59
6882.
  
针对源信号统计独立的盲源分离(Blind Source Separation,BSS)问题,提出了一种基于Givens矩阵和联合非线性不相关的盲源分离新算法.由于分离信号独立性的度量是影响算法有效性的重要因素,因此首先提出了一种改进的度量独立性的方法,该方法以独立源信号的联合非线… …   相似文献
6883.
为了研究偏置对支持向量回归(support vector regression,简称SVR)问题泛化性能的影响,首先提出了无偏置SVR(NBSVR)的优化问题及其对偶问题.推导出了NBSVR优化问题全局最优解的必要条件,然后证明了SVR的对偶问题只能得到NBSVR对偶问题的次优解… …   相似文献
丁晓剑  赵银亮 《软件学报》2012,23(9):2336-2346
6884.
为了满足车道线识别算法在车道线存在阴影遮挡、破损及污迹覆盖情况下的适应能力,提出了一种新的、有效的识别算法。将原始道路图像灰度化后,采用中值滤波去除图像采集过程中引入的噪声。利用对称局部阈值分割算法对去噪后车道线进行特征提取;并将提取结果与经典分割算法进行对比分析。基于提取出的车… …   相似文献
6885.
为了能够自动分析入侵证据,提出了一种层次化入侵场景重构方法.其原理是:首先,基于报警关联技术重构出入侵者的抽象攻击步骤及步骤间关系;然后,基于攻击特征和依赖追踪技术重构出各步骤的行为细节;最后,通过两层重构结果的彼此映射,调整获得完整的入侵行为图.基于DARPA 2000的实验结… …   相似文献
伏晓  石进  谢立 《软件学报》2011,22(5):996-1008
6886.
  
搜索算法的初始空间、搜索策略、搜索过程可以用一阶语言描述,搜索算法的逻辑性质由初始状态空间确定.这意味着描述搜索过程的逻辑具有紧致性,初始状态的初等类具有有限封闭性.  相似文献
张玉平 《软件学报》1999,10(2):175-180
6887.
本文描述微机网上的分布式专家联合系统UNION的设计思想、目标、体系结构和原理。UNION是继1985年陆汝钤提出分布式专家系统的概念及其设计思想之后于次年夏天开始组织实现的一个实验系统。目标机型是配有UNOS操作系统、PASCALC语言的MC68000微机,它们用Ethernet局部网联网。UNION目前已完成支撑系统Sup- port1和通信系统,其余部分正在实现中。UNION的工程实现由中国科学院数学研究所承担。… …   相似文献
6888.
Giammarresi与Restivo在一篇综述中总结出一个关于可识别的图像语言(即2维矩形语言)REC的等价性定理.对比1维字语言的相应结果,其中还缺少关于生成文法的相应一环.提出了一种(矩形的)格点文法,正好弥补了这一缺环.而取代2维on-line tesselation自动… …   相似文献
沈恩绍 《软件学报》2000,11(7):871-880
6889.
提出了一种面向发布/订阅系统基于车辆移动分布感知的事件分发策略MDA(mobile distribution-aware data dissemination).基于车流的自组织性及自稳性的特点,建立VANET(vehicular ad hoc network)下的发布/订阅模型… …   相似文献
吴磊  刘明  王晓敏  陈贵海  龚海刚 《软件学报》2011,22(7):1580-1596
6890.
定义了一个命题线性时序逻辑的对偶模型的概念.一个公式f的对偶模型是指f的满足以下条件的两个模型(即状态的w序列):在每个位置上这两个模型对原子命题的赋值都是对偶的.然后,对于确定一个公式f是否有对偶模型的判定问题(记为DM)和在一个Kripke-结构中确定是否存在从两个给定状态出发的对偶模型满足给定公式f的判定问题(记为KDM)的复杂性进行了研究.证明了以下结果:对于只含有F(\"Future\")算子的命题线性时序逻辑,DM和KDM都是NP完全的;而对于以下命题线性时序逻辑,DM和KDM都是PSPACE完全的:含有F,X (\"Next\")算子的逻辑、含有U(\"Until\")算子的逻辑、含有U,S,X算子的逻辑以及由Wolper给出的含有正规语言算子的逻辑(一般称为扩展时序逻辑,简称ETL).… …   相似文献
吴志林  张文辉 《软件学报》2007,18(7):1573-1581
6891.
分布式并行模拟是提高体系结构模拟速度的有效技术手段之一.首先,建立了分布式并行模拟的通用性能分析模型,并对典型系统的并行加速比、并行效率等性质进行了理论分析,得出了一些有用的结论.在此基础上,提出了均衡可扩展分布式并行模拟方法SEDSim(scalable and evenly … …   相似文献
6892.
  
不可区分关系是粗糙集理论的基础。针对信息系统,提出了程度不可区分关系的概念来刻画信息系统中对象的可区分性程度的差异。提出了基于程度不可区分关系的粗糙集模型,并讨论了模型的基本性质,最后研究了基于程度不可区分关系的粗糙近似算子与Pawlak近似算子的关系。  相似文献
6893.
  
随着SIMD扩展部件的迅速发展,自动向量化工具已逐渐成熟.现阶段的工具能对连续访存程序进行较好的处理,然而,大部分非连续访存的多媒体程序并不能被转换为高效的向量化代码.提出并实现了一种支持跨幅访存的向量化代码生成方法,其利用目标系统已有的基本数据处理指令实现多个向量间的任意重组来… …   相似文献
李朋远  赵荣彩  高伟  张庆花 《计算机科学》2015,42(5):194-199, 203
6894.
下载全文  总被引:4,自引:0,他引:4
根据OpenGIS的WFS实现规范和GML规范,利用多数据源空间数据库引擎和 Web Service技术以及SOAP,在.NET开发环境下,设计并实现多源空间要素服务系统,同时分析系统的性能问题。  相似文献
6895.
为实现协同发展的船舶管理理念,提高办公效率,设计了基于工作流的船舶管理系统,给出了系统模块化开发和制订过程。管理者可以通过自定义工作流程来促进管理决策的有效执行,激励工作人员完成各项任务。它集成船舶各项业务操作,通过对非结构化文档型数据库与关系型数据库的交互,传递各种数据信息,使… …   相似文献
6896.
针对量子网络传输率低,信道利用率不高的问题,将经典网络编码的思想引入量子网络。基于蝶形网络模型,利用网络编码的思想,从经典信息和未知量子态两方面实现在量子网络上的最大流传输。而且在所提出的方案中,所有的信道都是量子信道,创新性的提出利用量子态作为“寄存器”实现经典信息的传递,有效… …   相似文献
6897.
软件构件化是21世纪软件工业发展的大势趋。把网络协议和构件思想结合在一起实现是目前网络协议体系结构发展的方向,特别是在基于通信设备的软件开发方面。本文首先介绍了构件技术及其优点,然后介绍了基于构件技术的嵌入式TCP/IP网络协议栈,最后分析了基于构件的TCP协议模型。此模型在通讯… …   相似文献
6898.
针对大规模定制条件下传统生产计划在主生产计划、产品结构管理和生产计划过程三个方面柔性不足的问题,应用模块化方法构建了双层柔性主生产计划、产品族结构模型和“PUSH/PULL”结合的生产计划过程模型,在此基础上,构建了柔性的生产计划体系结构.通过实证分析,验证了该体系结构可实现快速… …   相似文献
6899.
针对粒子对算法存在过早陷入局部最优导致聚类精度不高以及聚类结果对初始粒子比较敏感等问题,提出了一种新的基于粒子对(PPO)与差分进化(DE)混合算法。该混合算法结合PPO和DE的优点,根据一定的迭代次数在精英粒子对迭代过程中引入DE算法,借助DE算法的全局收敛能力避免PPO算法过… …   相似文献
6900.
为了对电子资源过量下载实施有效管理,上海交通大学图书馆在网络中心的支持下,开发了电子资源访问管理控制系统。系统通过对校内用户访问图书馆购买的电子资源情况进行实时网络抓包分析,监测学校用户下载电子全文时的各类违规现象,并通过TCP会话劫持技术,实时限制违规用户访问图书馆电子资源,有… …   相似文献
[首页] « 上一页 [340] [341] [342] [343] [344] 345 [346] [347] [348] [349] [350] 下一页 » 末  页»