作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

形式化方法概貌  CNKI文献

形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算...

王戟 詹乃军... 《软件学报》 2019年01期 期刊

关键词: 形式化方法 / 形式规约 / 形式验证 / 程序设计方法学

下载(1116)| 被引(73)

人工膝关节置换术中的胫骨平台后倾角  CNKI文献

胫骨平台后倾角是人工膝关节置换术中的重要截骨参数,胫骨平台后倾角的测量有多种参照标准,也可以通过不同途径测量。国内外学者围绕如何选择测量胫骨平台后倾角的参照和途径、测量胫骨平台后倾角是否应将胫骨平台软骨...

王戟 陈坚锋... 《中国矫形外科杂志》 2016年09期 期刊

关键词: 人工膝关节置换术 / 胫骨平台后倾角 / 测量

下载(466)| 被引(11)

SECS/GEM在半导体生产计算机集成制造系统中的应用研究  CNKI文献

越来越多的半导体厂商开始考虑在半导体后道生产中采用自动化控制,目前还没有开发出非常成功的技术能够满足变化多端的后道工厂。本文提出的基于SECS/GEM的半导体生产计算机集成制造系统为后道自动化提出了一种解决方...

王戟 导师:俞立 浙江工业大学 2008-01-01 硕士论文

关键词: 计算机集成制造系统 / 半导体生产 / 自动化 / 半导体设备通讯标准

下载(650)| 被引(19)

形式化方法与工具专刊前言  CNKI文献

形式化方法是指有严格数学基础的软件和系统开发方法,支持计算机系统及软件的规约、设计、验证与演化等活动.随着高可信软件的兴起,形式化方法作为重要的途径,关注度日益提高.其作用不仅深化了人们对计算系统规律的认...

王戟 李宣东 《软件学报》 2011年06期 期刊

关键词: 中国邮路问题 / 时变网络 / 形式化方法 / 可靠性模型

下载(354)| 被引(12)

右美托咪定用于抑制气管插管诱发心血管反应的效果观察  CNKI文献

目的观察右美托咪定用于抑制气管插管心血管反应的效果。方法选取70例气管插管全麻择期行腹部手术的患者,采用信封法随机分为2组,每组35例。对照组患者静脉滴注生理盐水,观察组患者输注右美托咪定,采用丙泊酚及芬太尼...

王戟 莫菊彩... 《实用药物与临床》 2014年04期 期刊

关键词: 右美托咪定 / 气管插管 / 心血管反应

下载(59)| 被引(12)

半导体设备通讯标准GEM的应用  CNKI文献

SECS/GEM标准用来统一各个生产设备之间以及生产设备和控制设备之间的通讯。介绍了SECS/GEM标准的构成,提出了使用SECS/GEM标准接口解决半导体设备自动化的问题。详细叙述了GEM的通信状态模型、控制状态模型和设备处理...

王戟 王兵 《机电工程》 2008年07期 期刊

关键词: 半导体设备 / 半导体设备通讯标准 / 通用设备模型 / 自动化

下载(187)| 被引(14)

编者按  CNKI文献

正如B. Stroustrup所言,软件承载着我们的文明.当前云计算、大数据、物联网、人工智能技术和"人–机–物"三元融合应用模式不断加速社会的信息化进程,软件"定义"一切,成为信息化社会不可或缺的基...

王戟 马晓星 《中国科学:信息科学》 2020年11期 期刊

关键词: 可成长性 / 指挥控制系统

下载(19)| 被引(0)

后外侧结构重建在新鲜股骨颈骨折人工股骨头置换术中的应用  CNKI文献

目的探讨后外侧结构重建对后外侧入路人工股骨头置换术术后早期关节脱位的影响。方法选取2016年9月至2017年8月于我院行后外侧入路初次人工股骨头置换术的股骨颈骨折患者60例,根据术中是否修补关节囊及外旋肌群分为重...

王戟 汪建样... 《临床医学工程》 2020年05期 期刊

关键词: 后外侧结构重建 / 人工股骨头置换术 / 股骨颈骨折 / 早期脱位

下载(23)| 被引(0)

A Programming Language Approach to Internet-Based Virt...  CNKI文献

There is an increasing need to build scalable distributed systems over the Internet infrastructure.However,the development of distributed scalable applications suffers from lack of a wide accepted vi...

王戟 沈锐... 《Journal of Computer Science & Technology》 2011年04期 期刊

关键词: distributed / architecture / distributed / programming

下载(99)| 被引(3)

Demand-Driven Memory Leak Detection Based on Flow-and ...  CNKI文献

We present a demand-driven approach to memory leak detection algorithm based on flow- and context-sensitive pointer analysis. The detection algorithm firstly assumes the presence of a memory leak at ...

王戟 马晓东... 《Journal of Computer Science & Technology》 2009年02期 期刊

关键词: flow-sensitive / memory / leak / detection

下载(81)| 被引(6)

基于SECS标准的半导体封装设备串口通信实现  CNKI文献

SECS标准用来统一各个生产设备之间以及生产设备和控制设备之间的通讯。介绍了SECS标准的构成,提出了使用SECS标准接口解决半导体封装设备通信的问题,使所有设备全部都通过使用SECS标准接口连接到单元控制器及更高级别...

王戟 王兵... 《制造业自动化》 2008年10期 期刊

关键词: 半导体封装设备 / 半导体设备通信标准 / 串口通信 / 自动化

下载(191)| 被引(4)

让“名师工作室”成为高技能人才培养的摇篮——江门市技师...  CNKI文献

名师是教师队伍的领头雁,是教育教学改革的带头人,是学校核心竞争能力的关键,在技工院校建立名师工作室,是积极探索高技能人才培养、现代学徒制、校企合作新模式,打造技工教育品牌的一项重要举措。

王戟 《职业》 2015年30期 期刊

关键词: 名师 / 工作室 / 技工教育 / 改革创新

下载(165)| 被引(0)

初论雪崩晶体管雪崩工作状态的合理选取  CNKI文献

雪崩晶体管雪崩工作状态的合理选取,是避免雪崩振荡,保证线性调频信号稳定工作的必要条件。

王戟 《火控雷达技术》 1999年03期 期刊

关键词: 雪崩倍增效应 / 雪崩工作区 / 电离

下载(170)| 被引(8)

浅谈工程测量在土地确权中的应用实践——以寿阳县为例  CNKI文献

文章介绍了工作区的基本情况及工程测量的目的、工作内容,按照顺序对主要环节实际工作步骤和技术要点进行了说明,可为同类工程测量活动提供借鉴。

王戟 《华北国土资源》 2018年03期 期刊

关键词: 农村土地 / 地块测量 / 数据库 / 信息系统

下载(23)| 被引(0)

BIO-OSS人工骨结合BIO-GIDE生物膜治疗重度牙周病  CNKI文献

目的探讨无机小牛骨BIO-OSS联合生物膜屏障BIO-GIDE进行引导性组织再生术保存重度牙周病患牙的效果。方法将60例重度牙周病患者随机分为2组,实验组30例50个牙位行BIO-OSS、BIO-GIDE引导性组织再生术,对照组30例50个牙...

王戟 何翔... 《现代中西医结合杂志》 2009年24期 期刊

关键词: BIO-OSS / BIO-GIDE / 重度牙周病

下载(159)| 被引(1)

运用预应力锚杆技术的深基坑支护设计  CNKI文献

本文通过工程设计实例,说明预应力在减少支护结构的变形,改善受力状态中的作用。

王戟 崔怀明... 《安徽建筑》 2000年03期 期刊

关键词: 深基坑 / 支护结构 / 预应力锚杆

下载(69)| 被引(10)

时态逻辑与程序验证  CNKI文献

近年来,时态逻辑大量应用于程序验证,采取的途径随使用的时态逻辑的形式和方法的不同而异。本文用自动机理论研究几种时态逻辑(LTL,BTL,POTL)的模型和模型生成子,并讨论用时态逻辑进行程序验证的的重要途径。

王戟 贲可荣 《计算机工程与科学》 1992年04期 期刊

关键词: 时态逻辑 / 程序验证 / 模型 / 生成子

下载(160)| 被引(1)

引入德国“双元制职教模式” 促进本土职业教育发展  CNKI文献

一、德国"双元制"与我国职教模式的比较急优势德国职业教育的核心是"双元制",相对我国现行的职业教育模式,德国的双元制职业教育模式具有以下优势:(一)注重实践技能的培养。这使得以培养生产第一...

王戟 《中国培训》 2012年02期 期刊

关键词: 职业教育发展 / 职教模式 / 双元制

下载(103)| 被引(0)

中频接收机中潜在电路的分析与消除  CNKI文献

通过对中频接收机中潜在电路现象的分析,提出在电子系统生产调试中,运用故障树分析(FTA)法对捕捉到的潜在电路现象进行分析,找出电子设备产生潜在通路故障的部位,采取有效措施消除隐患,以提高电子系统可靠性和电子产品...

王戟 《火控雷达技术》 1998年03期 期刊

关键词: 潜在电路 / 潜在通路 / 潜在指示 / 故障树

下载(62)| 被引(2)

影像学技术在口腔颌面部肿瘤微创治疗中的应用  CNKI文献

作为一个整体化的观念,微创是在治疗过程中最大限度地减少操作与治疗对患者身心的影响[1]。随着科学技术的飞速发展及对肿瘤认识的加深,影像学技术与肿瘤的临床治疗相结合为口腔颌面部肿瘤的微创治疗提供了新的途径和...

王戟 吴仲寅... 《华北国防医药》 2008年05期 期刊

关键词: 口腔颌面部肿瘤 / 影像学技术 / 治疗应用

下载(71)| 被引(0)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状