石荣刚
- 作品数：6 被引量：43H指数：3
- 供职机构：中国人民解放军西安通信学院更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 心电诊断模糊专家系统开发与研究被引量：2
- 2007年
- 以领域专家的理论知识和经验知识为基础,采用了模糊推理,建立了心电诊断模糊专家系统的模型,克服了知识工程师对规则难以总结提取的困难,讨论了趋于增长的合成推理规则(CRI)方法,最后给出了实验结果。
- 江涛石荣刚
- 关键词：模糊推理模糊专家系统心电诊断
- Android智能手机系统的文件实时监控技术被引量：20
- 2009年
- 通过对Android智能手机操作系统的研究,提出了应用于该系统的基于系统调用的文件实时监控技术,并详述了该技术的基本原理及其关键实现细节。实验测试表明,其能够达到实时监测文件访问的目的。
- 王志国侯银涛石荣刚
- 关键词：ANDROID智能手机
- 浮点数值计算器FPU的后端设计及验证被引量：1
- 2009年
- 数值数据处理器(NDP)芯片已问世多年,但对类xx87系列的研究仍在持续.本文旨在开发具有我国自主知识产权与xx87完全兼容的专用芯片,采用的是先进的0.18μm CMOS工艺,采用布局布线工具Astro按照版图规划、版图布局和版图布线的流程,生成最终的版图文件GDSII,实现了从netlist到GDSII的转换.
- 张俊峰江涛石荣刚
- 关键词：逻辑综合静态时序分析时钟树布局布线
- 图像分割的常用方法及其应用被引量：16
- 2007年
- 针对图像分割中遇到的常见问题,研究了边缘检测、阈值处理等图像分割理论。在传统算法基础上,给出4种新型算法,可进一步提高图像分割的效果。最后给出了这些算法在图像分割中的实际应用。
- 石荣刚李志远江涛
- 关键词：边缘检测阈值
- 循环条件的形式化推导在程序验证中的应用被引量：1
- 2010年
- 提出了一种求解命令式程序中循环执行和终止条件的方法。该方法基于循环代码本身进行循环执行和终止条件的分析推导,可以定义一个原型工具进行自动化推导。现有的形式化方法依赖于形式化规范,而提出的方法适用于未被形式化的程序。提出的形式化方法可以在一个原型工具中实现,通过该工具来推导循环执行和终止条件,辅助程序验证和程序缺陷修正。
- 雷富兴张来顺石荣刚杨科
- 关键词：形式化方法自动化缺陷修正
- 基于物联技术的高速公路信息管理系统研究被引量：3
- 2011年
- 随着3G、传感技术和物联网的发展进步，智能交通正在向“新一代智能交通”发展。该文在研究传统高速公路信息管理系统的基础上，提出了一种基于物联技术的高速公路信息管理系统。通过该系统的研究，将大大改善高速公路的交通状况，增强管理的决策、计划、组织、指挥、控制和协调能力，增大高速公路的运营效益，最终实现高速公路高速、安全、快捷和畅通的目标。
- 石荣刚李九英张琳王喆
- 关键词：物联网信息管理系统智能交通系统
