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

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第2361-2380项 搜索用时 162 毫秒
[首页] « 上一页 [114] [115] [116] [117] [118] 119 [120] [121] [122] [123] [124] 下一页 » 末  页»
2361.
  
提出了基于命题投影时序逻辑(propositional projection temporal logic,简称PPTL)的单调速率调度(rate monotonic scheduling,简称RMS)模型检测方法.该方法使用SPIN模型检测器的系统建模语言PROMELA为任务调… …   相似文献
田聪  段振华 《软件学报》2011,22(2):211-221
2362.
  总被引：7，自引：0，他引：7
本体的应用是第二代语义Web的重要内容。利用本体构建知识库,进行逻辑判定,实现语义Web的自动推理,描述逻辑的作用十分重要。就知识库的本体描述以及在此基础上利用描述逻辑从不同角度的推理进行了研究,并分析了其内在联系。  相似文献
2363.
  总被引：4，自引：1，他引：3
软件中的安全漏洞可能导致非常严重的后果,因此漏洞挖掘已成为网络与信息安全领域的重大课题和研究热点。目前常用的漏洞挖掘技术包括静态分析、动态分析、二进制比对、模糊测试等。随着软件的规模和复杂度不断增大,模糊测试具有其它漏洞挖掘技术无法比拟的优势。首先介绍和分析了各种漏洞挖掘技术的优… …   相似文献
张雄  李舟军 《计算机科学》2016,43(5):1-8, 26
2364.
  
提出了一种基于Atmega8和Stm32F101双处理器的投影机升降控制设计方案,介绍了其电路组成、功能以及软件流程。其中Atmega8负责数据采集,Stm32F101实现对电机的控制,处理器间通过12C总线进行通讯。系统采用了红外遥控或外部按键输入装置控制,也可以用PC机联机控… …   相似文献
2365.
下载全文  总被引：1，自引：0，他引：1
随着经济与电子商务的高速发展,企业与用户的业务交互次数呈现出几何级数增长的趋势,然而企业服务器的利用率却只有15%～30%.阐述了在Linux平台上运用虚拟化技术将企业现有的服务器虚拟成多台服务器,同时运用负载均衡调度算法对虚拟的多台Linux客户机进行集群的方案模型,以达到强化… …   相似文献
2366.
  总被引：3，自引：0，他引：3
针对基于视觉的手势识别技术对环境背景要求较高的问题,提出了一种使用深度信息进行手势提取和识别的研究方案。采用了微软Kinect摄像头进行手势深度图的采集,再将深度图转换为三维点云,根据深度信息过滤来提取手势数据。对手势数据进行方向校正后统计手势数据中深度信息的区间分布特征并输入到… …   相似文献
2367.
2368.
下载全文  总被引：3，自引：0，他引：3
针对服务组合过程中生成复杂业务所涉及的用户个性化、动态生成等问题,提出了一种基于服务关系本体的交互式服务生成方法.该方法从3个视点对服务的关系进行分析,构建了服务关系本体,进而在服务生成中,通过挖掘服务的动态语义,获取用户意图,结合服务关系本体以引导后继服务的匹配.该方法可以灵活… …   相似文献
徐萌  陈俊亮  彭泳  梅翔 《软件学报》2008,19(3):545-556
2369.
下载全文  总被引：11，自引：0，他引：11
复杂软件系统开发的一个关键问题是分析和处理可能存在的不一致的需求描述.这个问题解决得好坏直接影响到需求规格说明的质量,进而影响到最终软件产品的质量.在目前公认的一个不一致需求管理框架的基础上,就需求不一致性管理方面的有代表性的工作,进行了较为系统的分析,以期建立对当前需求工程中,… …   相似文献
朱雪峰  金芝 《软件学报》2005,16(7):1221-1231
2370.
  
为了实现图像认证,提出了基于混沌理论的图像hash算法。算法首先将原始图像经过置乱得到加密图像,然后对差值矩阵进行调制,量化,得到固定长度的图像Hash序列,算法讨论了图像的缩放和JPEG压缩对图像Hash序列的影响,当阈值为0.1时,对以上提到的攻击方法进行了实验,结果表明图像… …   相似文献
2371.
下载全文  总被引：2，自引：0，他引：2
基于形式化的构件语义定义了健壮性,并提出一种基于状态机的构件健壮性测试方法.基于该方法实现了原型工具RoTesCo.首先遍历状态机生成一组覆盖所有转换的路径,基于这些路径的测试用例驱动构件发生状态转换;然后用无效输入和不当调用在构件的不同状态来测试其健壮性.通过区分测试中捕获异常… …   相似文献
雷斌  王林章  卜磊  李宣东 《软件学报》2010,21(5):930-941
2372.
  总被引：3，自引：0，他引：3
地理信息系统现在得到越来越广泛的应用,特别是WebGIS的发展。空间信息通过网络的方式由众多用户共享。因此,多用户访问空间数据库的安全问题必须得到考虑。在由ArcGIS8.1,ArcSDE8.1,SQL Server建立起来的GIS系统的基础上,用基于视图的访问控制模型创建了Ar… …   相似文献
赵勇  田茂 《计算机应用研究》2004,21(11):277-278
2373.
下载全文  总被引：15，自引：0，他引：15
针对随机进程代数(stochastic process algebra,简称SPA)的基本模型方法、模型特点和该领域的主要研究成果进行了综述.比较了SPA和随机Petri网(stochastic Petri nets,简称SPN)之间的异同点,并讨论了SPA转化为相应SPN的语义… …   相似文献
林闯  魏丫丫 《软件学报》2002,13(2):203-213
2374.
通过对比分析基于多核CPU、GPU和分布式系统等三种并行群体仿真体系结构,提出了混合结构的并行群体仿真框架;对并行环境下的按空间区域分割和按agent分割等多种任务分割关键算法进行了归纳总结;对并行群体仿真的性能评估方法进行了分析。最终给出了群体仿真中并行加速算法的研究方向。… …   相似文献
2375.
利用单片机进行嵌入式系统开发时,经常会面临同时处理多个任务的要求。为了在资源紧缺的单片机系统中获得资源与性能平衡的条件下,实现多任务处理机制,提出了一种基于事件驱动的单片机多任务程序设计方法。该方法内核设计简单、代码少、移植性好,可用于大多数带有定时中断的单片机系统,使一些复杂的… …   相似文献
2376.
  
提出以视觉跟踪为基础并引入通信进行多机器人的编队控制方法,根据需要编写了一种新的通信协议,采用闭环l-Φ实现编队算法.这种多机器人编队控制避免了视觉系统的局限,能够更好地在复杂未知环境中协作完成任务,解决了编队控制的无反馈和实时性不高的问题,使得机器人能够准确迅速地进行跟踪和通信… …   相似文献
2377.
针对经典最小割算法计算量大和适应性不足的问题,提出一种改进的基于网络最小割计算稠密深度图的全局优化方法.首先,根据视差变化与不连续区域之间的关系,定义了具有一定适应性的平滑约束和遮挡约束,然后使用网络最小割算法,求解遮挡情况下的稠密视差.其次,在分析最小割算法复杂性的基础上,给出… …   相似文献
彭启民  贾云得 《软件学报》2005,16(6):1090-1095
2378.
下载全文  总被引：15，自引：0，他引：15
为了充分利用保局总体散布主元空间内的鉴别信息进行人脸识别,提出了一种完备鉴别保局投影(complete discriminant locality preserving projections,简称CDLPP)人脸识别算法.鉴于Fisher鉴别分析和保局投影已经被广泛的应用于人脸… …   相似文献
2379.
  
为识别混合属性数据集中的离群点,提出了一种基于共享最近邻的离群检测算法,通过计算增量聚类结果簇间的共享最近邻相似度,不但能够发现任意形状的簇,还可以检测到变密度数据集中的全局离群点。算法时间复杂度关于数据集的大小和属性个数呈近似线性。在人工数据集和真实数据集上的实验结果显示,提出… …   相似文献
2380.
针对物联网中服务数量的大规模性、服务描述的异构性以及设备服务的资源高度受限性和移动性等特点,提出了一种基于概率主题模型的物联网服务发现方法.该方法的主要特点是：1） 利用英文Wikipedia 构建高质量的主题模型,并对类似短文本的服务文本描述进行语义扩充,使主题模型能够更有效地… …   相似文献
魏强  金芝  许焱 《软件学报》2014,25(8):1640-1658
[首页] « 上一页 [114] [115] [116] [117] [118] 119 [120] [121] [122] [123] [124] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持