-
田聪
-
-
- 所属机构:西安电子科技大学
- 所在地区:陕西省 西安市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 段振华
- 作品数：213被引量：242H指数：8
- 供职机构：西安电子科技大学
- 研究主题：时序逻辑 形式化验证 命题投影时序逻辑 投影时序逻辑 语句
- 王小兵
- 作品数：202被引量：220H指数：8
- 供职机构：西安电子科技大学
- 研究主题：时序逻辑 语句 数字仿真 词法 仿真
- 张南
- 作品数：290被引量：32H指数：3
- 供职机构：西安电子科技大学
- 研究主题：协作通信 信道 低复杂度 时序逻辑 中继系统
- 赵亮
- 作品数：62被引量：44H指数：3
- 供职机构：西安电子科技大学
- 研究主题：时序逻辑 社交网络 SUB 监控器 计算机程序设计语言
- 黄伯虎
- 作品数：46被引量：36H指数：3
- 供职机构：西安电子科技大学
- 研究主题：词法 工艺映射 逻辑优化 光突发交换 布线方法
- 移动点对点网络MHP2P的架构及相关服务实现方法
- 本发明属于互联网计算技术领域，公开了一种移动点对点网络MHP2P的架构及相关服务实现方法。本发明基于一种稳定性和查询效率高、可扩展的HP2P网络，通过普通结点作为热点的形式使邻近的移动结点连接到普通结点，以使在原有网络拓...
- 段振华姜品田聪张南王小兵黄伯虎赵亮
- 文献传递
- 形式化方法的理论基础专题前言被引量：3
- 2018年
- 形式化方法主要研究如何把具有清晰数学基础的模型、规范、分析以及验证融入软硬件设计开发的各个阶段,是改善和确保计算机系统正确性和可靠性的重要途径.在领域需求的推动下,形式化方法技术和工具方面的研究取得了显著成效的同时,需要研究新的理论和方法来解决更复杂的计算机系统问题,这些理论和方法包括新模型下形式化验证的可判定性及复杂性结论、算法实现以及面向领域形式化方法.
- 傅育熙李国强田聪
- 关键词：形式化方法数学基础计算机系统形式化验证软硬件设计可判定性
- 一种面向中断驱动程序的原子性违反缺陷检测方法及装置
- 本发明公开了一种面向中断驱动程序的原子性违反缺陷检测方法及装置，该方法包括：确定中断驱动程序对应的所有节点中的中断节点，以及每个中断节点对应的中断驱动程序中的会受影响的中断服务例程；根据中断驱动程序生成可达树，得到所有节...
- 于斌刘元哲邢恒睿王宇兴林滕劼李鸿杨铠铭陆旭田聪王小兵赵亮
- 基于源代码插桩的社交网络安全运行时验证方法及系统
- 本发明属于计算机应用技术领域，公开了一种基于源代码插桩的社交网络安全运行时验证方法及系统，通过对开源社交网络进行代码插桩来捕获事件，用PPTL<Sub>3</Sub>来描述性质并生成相应的性质监控模块，然后将事件和性质监...
- 王小兵郭文轩段振华赵亮田聪张南
- 文献传递
- 一种从扩展π演算p-π到MSVL的转换方法
- 一种扩展π演算p-π到MSVL的转换方法，包括采用p-π对时间相关并发系统建立系统模型，其特征在于：包括制定名字和原子命题到MSVL的映射规则，制定p-π进程到MSVL程序的转换规则，通过所述p-π建立的系统模型采用相应...
- 段振华罗玲田聪张南王小兵
- 文献传递
- 命题投影时序逻辑的判定性、复杂性、表达性及模型检测
- 基于区间的时序逻辑,如区间时序逻辑(ITL)和投影时序逻辑(PTL),在并发系统的规范与验证方面有着重要的应用价值。然而,当前基于区间时序逻辑的程序验证主要是应用定理证明技术,自动化的模型检测技术尚未得到深入的研究。其原...
- 田聪
- 关键词：投影时序逻辑可判定性表达性博弈
- 文献传递
- 一种保证质量的快速软硬件划分方法
- 本发明公开了一种保证质量的快速软硬件划分方法，保留遗传算法的交叉运算和变异运算，并引入阴性选择算法的阴性选择过程和基于等位基因浓度来指导产生新个体的策略，采取一种新型的进化方法来加速进化的过程并保证个体的质量，从而克服传...
- 段振华李炳岩张南黄伯虎田聪王小兵
- 文献传递
- 一种抽象模型虚假路径检测的方法
- 本发明公开了一种抽象模型中虚假路径的高效检测方法，所述方法具体是，在反例路径中，每个状态是不是失败状态，只与它的前驱状态和后继状态有关。所以，判断时，采用并发执行，通过集合In和集合Out的交集来判断状态是否为失败状态。...
- 田聪段振华段钊
- 文献传递
- 一种基于误差分治的神经网络验证方法
- 本发明涉及一种基于误差分治的神经网络验证方法，采用改进的符号线性松弛计算给定输入范围内网络节点的严格近似函数，并使用过近似节点的误差约束分割策略将原验证问题划分为等价的一系列子问题，对一系列子问题进行完备验证从而验证整个...
- 田聪董彦松段鑫民刘月浩赵亮于斌段振华
- 一种基于MSVL的BP神经网络的构建和训练方法及系统
- 本发明属于BP神经网络技术领域，公开了一种基于MSVL的BP神经网络的构建和训练方法及系统，所述基于MSVL的BP神经网络的构建和训练方法包括：根据BP神经网络基本的层次化结构和属性行为特征，构建基于MSVL的BP神经网...
- 赵亮冯哲段振华王小兵田聪张南
- 文献传递
