•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第3011-3020项 搜索用时 93 毫秒
[首页] « 上一页 [297] [298] [299] [300] [301] 302 [303] [304] [305] [306] [307] 下一页 » 末  页»
3011.
非形式化仿真模型验证方法易受主观因素的影响且具有不完备性,而传统的形式化模型检验方法由于受到状态空间爆炸问题的影响,很难处理大规模的仿真模型.并行模型检验方法以其完备性、高效性已经在工业界中得到了成功的应用,但是由于涉及到形式化规约、逻辑学以及并行计算等多项技术,应用难度较大.针… …   相似文献
夏薇  姚益平  慕晓冬  柳林 《软件学报》2012,23(6):1429-1443
3012.
下载全文  总被引:38,自引:3,他引:38
法律界研究计算机证据的有关法律特性及其认定,而计算机科学领域的研究人员则从技术的角度研究计算证据的技术特征及其获取技术.由于这一学科是建立在法学和计算机科学之上的交叉学科,必须从这两个学科及其派生学科上体现出的特殊性的角度对其进行研究.在这一领域把法律和技术分离的做法会导致法律认… …   相似文献
丁丽萍  王永吉 《软件学报》2005,16(2):260-275
3013.
下载全文  总被引:7,自引:0,他引:7
计算机自适应考试(CAT)系统以其试题的难度、数量自适应考生个性化需求而日益得到教育界的重视。本文基于项目反应理论(IRT),设计了一个适应于CAT系统的题库,该题库采用三参数Logistic模型(3PLM)拟合项目特征曲线,运用联合极大似然估计法(JML)对项目参数进行估计,再… …   相似文献
3014.
在工作流管理系统中,个人工作列表的优化调度具有重要意义.已有的相关研究主要关注工作流实例的调度,而关于个人工作列表调度的研究还较少.首先描述了工作流实例动态执行环境下个人工作列表调度问题,并提出了一个基于遗传算法的个人工作列表资源调度算法.该算法要为每一个执行人推荐一个可行工作列… …   相似文献
邓铁清  任艮全  刘英博 《软件学报》2012,23(7):1702-1716
3015.
汽车控制网网络的开发需要引入一套满足软/硬件协同设计需求的低成本开发工具链,其中硬件仿真器是最重要的工具之一。硬件仿真器为软件开发提供功能验证,缩短整个嵌入式系统的开发周期。在开源仿真器平台QEMU和虚拟局域网技术的基础上,实现一款仿真粒度更细的CAN总线节点仿真器CES,并搭建… …   相似文献
3016.
下载全文  总被引:1,自引:0,他引:1
为了解决梯度向量流力场(gradient vector flow,简称GVF)难以进入目标凹部的问题,提出了一种新的主动轮廓模型外力场——各向异性梯度向量流.GVF的扩散项是各向同性且光滑性强的拉普拉斯算子,它在各个方向的扩散速度相同.拉普拉斯算子根据图像的局部结构可分为沿边界法… …   相似文献
3017.
针对将TCP/IP协议栈运用在嵌入式成像系统中作为通信方式时所存在的传输速度较低的不足,提出一种将数据封装在自定义以太网帧中进行传输的通信方式,并针对这种方式实现了网卡的驱动,定义了3种帧格式它们分别用于启动曝光、数据传输、数据重传等,设计一种基于状态机的控制协议实现相机的控制及… …   相似文献
3018.
下载全文  总被引:2,自引:0,他引:2
分析了overlay拓扑管理中流言机制的一般过程,发现固定周期的流言报文中存在的数据交换盲目性的弊端.为此,引入动态的自适应用期来代替固定周期,使得局部拓扑稳定的节点较少发出流言报文,而局部拓扑动荡的节点较多发出流言报文.这种方法提高了数据交换效率,节省了网络资源,允许在局部加快… …   相似文献
孙晓  王晖  汪浩  姜志宏  陶钧 《软件学报》2008,19(9):2422-2431
3019.
下载全文  总被引:13,自引:4,他引:13
意图是Agent的一个不可缺少的意识属性,在决定理性Agent的行为时起着重要的作用.已经有了若干种基于正规模态逻辑的意图模型,但它们存在着严重的“逻辑全知”问题.该文阐明意图不是正规模态算子,并提出了另一种意图模型,它不存在“逻辑全知”问题和其他相关问题(例如,副作用问题等).… …   相似文献
胡山立  石纯一 《软件学报》2000,11(7):965-970
3020.
下载全文  总被引:2,自引:1,他引:1
采用在软总线TAO(The ACE ORB)上利用XML文档中所包含的语义化的抽象数据类型对构件对象进行操作,从而实现语义化的性能约束构件组装。建构的XML模式描述了构件组装相关的构件接口、交互及配置规约,并通过接口显式地表达构件对环境的依赖,使得能在一个分布式的网络环境里,将多… …   相似文献
[首页] « 上一页 [297] [298] [299] [300] [301] 302 [303] [304] [305] [306] [307] 下一页 » 末  页»