您的位置： 专家智库 > >

王戟

作品数：208 被引量：1,625H指数：19
供职机构：国防科学技术大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术理学经济管理金属学及工艺更多>>

合作作者

文献类型

  • 118篇期刊文章
  • 68篇专利
  • 18篇会议论文
  • 3篇科技成果
  • 1篇学位论文

领域

  • 162篇自动化与计算...
  • 3篇理学
  • 2篇经济管理
  • 1篇生物学
  • 1篇金属学及工艺
  • 1篇军事
  • 1篇文化科学
  • 1篇自然科学总论

主题

  • 15篇软件工程
  • 15篇搜索
  • 15篇自动机
  • 13篇软件测试
  • 13篇网络
  • 12篇软件开发
  • 12篇时序逻辑
  • 11篇计算机
  • 10篇配置项
  • 9篇迭代
  • 9篇形式化
  • 9篇测试用例
  • 8篇代码
  • 8篇自动生成
  • 8篇UML
  • 7篇内存
  • 7篇浮点
  • 6篇通信
  • 6篇漏洞
  • 6篇遍历

机构

  • 200篇国防科学技术...
  • 12篇国防科技大学
  • 6篇南京大学
  • 6篇中国科学院软...
  • 3篇北京大学
  • 3篇武汉大学
  • 3篇并行与分布处...
  • 3篇计算机软件新...
  • 2篇华东师范大学
  • 2篇北京航空航天...
  • 2篇中国科学院
  • 2篇国家自然科学...
  • 2篇国家信息中心
  • 2篇中国科学院大...
  • 1篇北京航空工程...
  • 1篇复旦大学
  • 1篇湖南大学
  • 1篇北京工业大学
  • 1篇北京控制工程...
  • 1篇浙江大学

作者

  • 208篇王戟
  • 73篇董威
  • 64篇陈立前
  • 47篇陈振邦
  • 41篇齐治昌
  • 29篇刘万伟
  • 28篇毛晓光
  • 28篇文艳军
  • 24篇李姗姗
  • 21篇陈火旺
  • 11篇刘江潮
  • 8篇廖湘科
  • 8篇毛新军
  • 7篇李书浩
  • 7篇王挺
  • 7篇单锦辉
  • 6篇王腾
  • 5篇黄春
  • 5篇马晓东
  • 5篇王树林

传媒

  • 27篇软件学报
  • 21篇计算机工程与...
  • 11篇计算机研究与...
  • 10篇计算机科学
  • 9篇计算机学报
  • 6篇电子学报
  • 5篇计算机工程与...
  • 4篇计算机工程
  • 3篇Journa...
  • 3篇中国科学：信...
  • 2篇中国大学教学
  • 2篇中国科学基金
  • 2篇计算机科学与...
  • 2篇前瞻科技
  • 1篇自动化学报
  • 1篇机械工程学报
  • 1篇南京大学学报...
  • 1篇微电子学与计...
  • 1篇计算机应用研...
  • 1篇中国科学（E...

年份

  • 5篇2024
  • 17篇2023
  • 19篇2022
  • 10篇2021
  • 10篇2020
  • 6篇2019
  • 7篇2018
  • 4篇2016
  • 1篇2015
  • 3篇2014
  • 5篇2013
  • 8篇2012
  • 11篇2011
  • 9篇2010
  • 5篇2009
  • 7篇2008
  • 13篇2007
  • 19篇2006
  • 11篇2005
  • 7篇2004
共 208 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
发布订阅系统中基于属性流行度的事件匹配方法
本发明公开了一种发布订阅系统中基于属性流行度的事件匹配方法，目的是解决基于结构化对等网络的发布订阅系统的事件匹配问题。技术方案是先根据应用的历史数据获得发布订阅系统中各个属性的流行度，并把流行度超过<I>k</I>的属性...
王戟张圣栋沈锐沈思淇
文献传递
分布式协作工作流技术研究
2005年
工作流是实现企业业务过程建模、优化、管理、集成和自动化的核心技术．作为分布式的应用平台，工作流管理系统任务处理能力即吞吐能力是一个重要的性能指标．目前，已有的工作流管理系统在这方面存在较大的不足，成为工作流管理系统广泛应用的严重障碍．本文研究了工作流系统的协作方式和负载平衡技术，定义了工作流系统的负载因子，给出了一个分布式协作工作流系统模型，并结合业务流程逻辑，提出了分布式协作工作流系统负载平衡调度算法．实验表明该分布式协作工作流系统有效地扩展了单个工作流系统的吞吐能力。
黄秀国王戟
关键词：工作流负载平衡负载因子
区间时序逻辑的标记相继式演算
1999年
区间逻辑在许多领域如人工智能、形式化方法中都有成功应用．其中，区间时序逻辑及其各种扩充近年来越来越多地受到人们的重视．由于区间时序逻辑具有较强的表达能力，这也使得该逻辑的定理证明变得相当困难．该文提出了区间时序逻辑的一个标记相继式演算，并给出其可靠性和相对完备性结论．该演算应用于机器辅助定理证明工具中，可以有效地提高证明的自动化程度．在高阶逻辑证明工具ＰＶＳ中，作者尝试性地实现了这一演算，获得了很好的效果．
胡成军王戟陈火旺
关键词：区间时序逻辑定理证明人工智能
面向互联网计算的虚拟计算环境
王怀民卢锡城王戟李东升彭宇行王意洁褚瑞刘锋张一鸣陈振邦
该项目属信息科学中网络计算与分布式系统的前沿研究。互联网正由一般意义下的计算机通信平台演变成为一个覆盖全球的资源平台。互联网上汇聚的海量计算资源、存储资源、数据资源和应用资源已成为重要战略资源。建立有效管理和综合利用互联...
关键词：
关键词：互联网计算机操作系统
一种基于部分解Caching与重用的符号执行优化方法
本发明公开一种基于部分解Caching与重用的符号执行优化方法，包括步骤：S1：使用符号执行对被测程序进行分析以生成测试用例时，收集符号执行过程中路径约束；S2.判断收集的路径约束是否能够命中当前Cache，如果命中则返...
陈振邦王戟马科林刘坤林帅子琦毛晓光董威李姗姗文艳军陈立前刘万伟尹良泽
基于指向与数值抽象的带指针算术程序的分析方法
作为程序语言的重要数据类型，在使用时具有较高的灵活性，这种灵活性为程序的编写带来了极大的便利，但也使得不当的指针使用成为引发非法内存访问的源泉之一。带指针算术的程序往往包含数组越界、缓冲区溢出等运行时错误.单纯的指针分析...
尹帮虎陈立前王戟
关键词：计算机程序
嵌入式软件安全关键性质的形式验证理论
王戟董威陈振邦陈立前尹良泽刘万伟
嵌入式软件作为信息物理融合系统的核心，其安全性和可靠性至关重要。传统软件测试、代码审查等方法对共享内存的并发性质、事件关联的时序性质、复杂数值计算与控制性质、以及概率关键性质等安全关键性质保证缺乏理论和工具支持，从而缺失...
关键词：
关键词：信息物理融合系统
分布式协作工作流负载平衡调度
本文研究了工作流系统的协作方式和负载平衡技术,定义了工作流系统的负载因子,给出了一个分布式协作工作流系统模型,并结合工作流流程逻辑,提出了分布式工作流系统负载均衡调度方法.实验结果表明该分布式协作工作流系统有效地扩展了单...
黄秀国王戟
关键词：负载平衡技术
文献传递
一种面向I/O并发度的数据库性能问题检测方法
本发明公开了一种面向I/O并发度的数据库性能问题检测方法，目的是有效检测数据库与硬件设备的性能不适配问题。技术方案为：构建由I/O系统调用识别模块、I/O配置项识别模块、测试样例生成模块、不适配检测模块构成的性能不适配检...
李姗姗陈振邦何浩辰陈立前董威王戟贾周阳马俊彭沐春黄响兵李小玲
一种面向堆操作程序内存安全性的域敏感内存模型
作程序具有通过共享易变数据结构动态操纵堆内存单元的特性,使得内存安全性难以保证.针对这个问题,本文提出了一种域敏感的k-limit内存抽象模型以支持动态调整抽象的粒度,取得静态分析在精度和效率上的平衡.
董龙明王戟陈立前刘江潮
全选 清除 导出
共21页<12345678910>
聚类工具0