用户名： 密码： 找回密码 中文版 English 本站信箱 收藏本站 本网介绍

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第1841-1860项 搜索用时 103 毫秒
[首页] « 上一页 [88] [89] [90] [91] [92] 93 [94] [95] [96] [97] [98] 下一页 » 末  页»
1841.
  
同步数据流语言近年来在航空、高铁、核电等安全关键领域得到广泛应用.然而,此类语言相关开发工具本身的安全性业已成为被高度关注的安全隐患之一.借助辅助定理证明器实现常规语言编译器的构造和验证已被证明是成功的,有望最大限度地解决误编译问题.基于这种方法,开展了从同步数据流语言(Lust… …   相似文献
1842.
随着PKI系统在企业中的广泛应用,企业并购活动中必然涉及原有多个PKI系统的整合问题。分析了现有的PKI系统整合方案,在此基础上结合企业并购活动特点,提出了一种新的基于层次型信任模型的整合方案。与现有方案相比,新方案在证书颁发量、整合费用等方面均具有明显优势。为描述清楚,采用形式… …   相似文献
1843.
下载全文  总被引：2，自引：1，他引：2
有效地防止用户流失,降低流失率成为目前各个电信运营商急需解决的难题。本模型依据数据挖掘原理,以CRISP_DM(Cross-industry Standard Process for Data Mining)建模过程为框架,以与某地联通公司合作的“电信客户流失预测系统”项目为依托… …   相似文献
1844.
下载全文  总被引：51，自引：1，他引：51
针对蚁群算法不太适合求解连续性优化问题的缺陷,提出用蚁群算法求解连续空间优化问题的一种方法.该方法将解空间划分成若干子域,在蚁群算法的每一次迭代中,首先根据信息量求出解所在的子域,然后在该子域内已有的解中确定解的具体值.以非线性规划问题为例所进行的计算结果表明,该方法比使用模拟退… …   相似文献
陈崚  沈洁  秦玲 《软件学报》2002,13(12):2317-2323
1845.
下载全文  总被引：1，自引：0，他引：1
简要介绍了C8051F040 单片机CAN 控制器的结构,设计了CAN 通信节点的硬件电路,并详细阐述了一种基于FIFO 技术的CAN 多消息通信的软件设计方法。硬件电路采用CAN 收发器TJA1040 建立了C8051F040 CAN 控制器与CAN 总线之间的连接,并由6N1… …   相似文献
1846.
下载全文  总被引：1，自引：1，他引：0
对车牌识别系统中的图像拼接问题进行了研究,提出了一种基于边缘提取的图像拼接算法.实验结果证明,该算法获得了理想的拼接效果.  相似文献
1847.
针对高维数据近似最近邻查询,在过滤-验证框架下提出了一种基于学习的数据相关的c-近似最近邻查询算法.证明了数据经过随机投影之后,满足语义哈希技术所需的熵最大化准则.把经过随机投影的二进制数据作为数据的类标号,训练一组分类器用来预测查询的类标号.在此基础上,计算查询与数据集中数据对… …   相似文献
1848.
针对单源组播网络,通过对线性网络编码的内在机理进行分析,提出了不同组播率下编码方案之间的导出与扩展技术:任意一个编码方案可以由某些较高组播率下的编码方案导出,同时可以由某些较低组播率下的编码方案扩展而成.研究了具有导出与扩展关系的两个编码方案下全局编码向量间的相互联系,结合随机网… …   相似文献
1849.
为了解决手持移动设备之间的实时视频传输,提出了基于Android系统的轻型流媒体视频传输系统的设计方案．利用流媒体传输控制技术,通过移植优化live555项目,实现了基于Android系统的流媒体服务器．主要实现了裁剪和移植live555和FFmpeg项目至Android系统,优… …   相似文献
1850.
下载全文  总被引：1，自引：2，他引：1
大数据是一种蕴含大量信息、具有极高价值的数据集合.为了避免大数据挖掘泄露用户的隐私,必须要对大数据进行必要的保护.由于大数据具有总量庞大、结构复杂、处理迅速等特点,传统的保护数据隐私的技术很多都不再适用.从密码学的角度,综述了近年来提出的、适用于大数据的隐私保护技术的研究进展.针… …   相似文献
黄刘生  田苗苗  黄河 《软件学报》2015,26(4):945-959
1851.
随着移动计算的普及和3G技术的发展,人们对移动通信终端功能的要求不断提高,移动通信终端操作系统在受到广泛关注和研究的同时,也面临着新的问题和挑战。全面而系统地介绍了移动通信终端操作系统的基本概念、主要特征和发展现状,对其关键问题进行了详细的讨论,同时列举了一些有代表性的系统和相应… …   相似文献
1852.
下载全文  总被引：7，自引：0，他引：7
访问控制策略合成是确定分布式聚合资源访问控制策略的关键.为了规范策略合成和保障策略合成正确性,基于属性刻画了实体间的授权关系,通过属性值的计算结构扩展了现有的策略合成形式化框架,建立了新的基于属性的策略合成代数模型APoCA(attribute-base access contr… …   相似文献
林莉  怀进鹏  李先贤 《软件学报》2009,20(2):403-414
1853.
下载全文  总被引：1，自引：1，他引：0
为了真实地模拟植物生长发育过程,引入了OpenL系统建模理论。在植物形态发生模型的基础上,根据植物生长时其形态与生理特性及环境之间的相互作用,构建了综合考虑植物结构与功能的虚拟植物模型,再根据该模型有效组织了植物生长过程中的数据信息,并建立植物生长的可视化流程。最后,开发一个原… …   相似文献
1854.
下载全文  总被引：1，自引：0，他引：1
MapReduce是一种分布式的并行编程模式,它可以实现大型数据集的并行运算.Lucene是Apache下的搜索引擎开发包,当索引文件不断增大时,Lucene搜索便会出现瓶颈问题.通过利用MapReduce的思想,按城市划分策略将大量并发的搜索请求映射到对应的分布式服务器中进行M… …   相似文献
吴文忠  易平 《计算机系统应用》2012,21(2):249-251,224
1855.
针对多线程程序数据竞争分析与检测困难的问题,提出一种基于隐Markov 模型的多线程程序时序分析方法.用随机变量不确定性刻画不同线程之间时序上的交互关系,分析数据竞争条件下程序不确定结果的概率分布情况;建立多线程程序时序分析的隐Markov 模型,使用Baum-Welch 和前向… …   相似文献
1856.
基于ARM微控制器技术,提出了智能家居的远程监控系统的有效方法.实际应用中该方法以Web浏览器作为操作界面,实现远程数据通信监控操作.利用nRF24L01射频模块为智能家居终端设备构建了无线数据通讯平台,其中nRF24L01射频模块有32个字节的数据载荷长度.通过对载荷数据帧格式… …   相似文献
1857.
下载全文  总被引：32，自引：3，他引：32
TSP(traveling salesman problem)问题是最经典的NP-hard组合优化问题之一.长期以来,人们一直在寻求快速、高效的近似算法,以便在合理的计算时间内解决大规模问题.由于对较大规模的问题,目前的近似算法尚不能在较短的时间内给出高质量的解,因此提出了多重归… …   相似文献
邹鹏  周智  陈国良  顾钧 《软件学报》2003,14(1):35-42
1858.
为解决开关磁阻采煤机双电动机同步牵引时功率输出不平衡的问题,设计了电流交叉耦合控制算法与转速给定调节控制方法相结合的功率平衡控制系统,应用MATLAB／SIMULINK建立了系统的模型,并进行仿真实验。实验证明,当牵引电动机承受大小为额定负载10％的扰动时,加入该系统后两台开关磁… …   相似文献
1859.
在进行信息系统的开发过程中,在word文档中特定位置填入从数据库中读取的数据资料来自动生成word文档报告,已成为办公自动化系统的重要组成部分.分析了传统word对象模型生成海量表格数据速度慢的弊端,结合微软Office Word2003对XML的支持特性,通过Word文档和XM… …   相似文献
1860.
下载全文  总被引：2，自引：0，他引：2
为了满足基于Web的XML数据信息的近似搜索、信息分类以及数据交换的需求,提出一种新的有效地鉴定XML文档间结构相似度的标准。该标准包含了XML文档的结构信息和节点嵌套的语义信息,可以有效地给出XML文档间的结构相似测度。通过实验证明该标准具有高度的准确性和有效性。  相似文献
[首页] « 上一页 [88] [89] [90] [91] [92] 93 [94] [95] [96] [97] [98] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持