周颢
- 作品数：98 被引量：161H指数：7
- 供职机构：中国科学技术大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信医药卫生电气工程更多>>
- 定性建模、定性仿真
- 白方周邵晨曦方瑾涂永忠周颢尹世杰
- 该研究内容包括：提出“可信度增强”的模糊定性仿真理论，一定程度下避免了变量后续状态选择副作用和约束过滤副作用；证明了固定迟滞问题的可离散化主要性质，提出其定性仿真求解方法，改进了的定性与定量相集成仿真方法；提出并行定性仿...
- 关键词：
- 关键词：非线性动力学
- 基于构造类别代数的数据流和控制流相结合的协议测试被引量：7
- 2003年
- 如何从协议规范中生成即考虑控制流又兼顾数据流的测试用例是一个很有挑战的问题,本文提出了一种基于构造类别代数的数据流与控制流相结合的测试方法,给出了在其上的测试用例生成算法,有限状态机模型到构造类别代数模型的转换算法,并且给出了在一个实际的路由协议RIP的测试中的应用例子.
- 郭雄辉赵保华周颢屈玉贵
- 关键词：形式化描述
- 面向变异分析的协议安全测试方法被引量：2
- 2009年
- 在基于构造类别代数的协议描述上引入变异分析方法,由此提出了一种基于错误模型的协议安全测试方法.通过设计针对构造类别代数的变异算子,限制了协议中的错误集合;应用变异算子生成变异体集合,并消除其中的等价变异体;基于变异体构造安全测试例.同比研究表明,采用基于错误模型的变异分析方法,可以有效解决协议安全测试中忽视协议数据流处理过程、错误集合无限和缺少结果判断机制等问题,限定协议可能存在的错误集合,有利于测试的量化和评估,能够更有针对性地进行测试例构造和测试结果判断,提高测试能力.
- 章志燮周颢赵保华
- 基于数据流的定性模型构造方法
- 在实际的工程应用中,经常涉及对动力学系统的分析,包括系统状态监控、系统行为预测等.常规的系统分析方法往往需要了解系统结构或内部运行机制的信息,构造系统模型.当这些信息无法获取时,常规的方法有时无法给出满意的结果.为了试图...
- 周颢
- 关键词：数据流
- 文献传递
- 基于TCL的IPsec协议一致性测试被引量：1
- 2006年
- IP sec协议体系是IETF制定的新一代网络安全协议标准,用于在IP层为IPv4和IPv6提供可交互操作的、高质量的、基于加密的安全.针对协议一致性测试的要求和IP sec协议体系的特点,设计了一种基于T cl的IPv6协议体系中的IP sec协议一致性测试系统,并给出一个实例说明如何使用该系统进行测试例的开发.实践表明,该系统具有方便、灵活、模块独立性好等优点,基于T cl的一致性测试是一种有效的协议一致性测试技术.
- 吕超赵保华周颢
- 关键词：TCLTTCNIPSEC
- 基于构造类别代数的协议描述及其测试序列生成方法
- 基于构造类别代数的协议描述及其测试序列生成方法是一种用于通信协议一致性测试的方法，通信协议描述方法为：确定协议文本中的数据部分和控制部分，将其作为待描述的实体对象；对某个实体对象，根据协议文本的描述，对某个实体对象，协议...
- 赵宝华屈玉贵周颢孙宇霖周晓煜柯尧
- 文献传递
- 一种基于无源反射信号的人体动作识别方法
- 本发明公开了一种基于无源反射信号的人体动作识别方法，包括：步骤a，接收无源识别区域中，无源标签对人体动作的反射信号；步骤b，对反射信号通过预处理并滤波后去除噪声得到识别用数据；步骤c，将识别用数据通过自适应迭代处理得出计...
- 杨盘隆肖宁李向阳周颢
- 文献传递
- 基于IMU WiFi的热部署跨模式步态识别系统及方法
- 本发明公开了一种基于IMU WiFi的热部署跨模式步态识别系统及方法，系统包括：步态特征提取单元，能根据从惯性测量单元获取的原始IMU数据结合扩展卡尔曼滤波进行姿态计算求解得出补偿漂移误差的姿态，进行减少踝部IMU漂移和...
- 周颢吕梦霞宋增宇李向阳
- 基于Q2算法的固定迟滞问题离散化求解被引量：6
- 2002年
- 迟滞问题是指系统的状态变化不仅与当前状态有关 ,还与系统的过去状态有关 .考虑了对固定迟滞问题进行定性仿真求解 ,通过分析该类问题的可离散化特性 ,将问题求解范围从连续时间转化到离散时间点上来考虑 .并改进了定性与定量相集成的仿真方法—— Q2算法 ,增加了反映延迟性质的过去约束 ,通过当前约束和过去约束在系统中传播定量信息 ,从而完成固定迟滞问题的定性仿真 .
- 周颢邵晨曦白方周
- 数据流定性化方法研究被引量：4
- 2002年
- 数据流定性化处理 ,是在考虑噪声影响的情况下 ,对数据流进行处理 ,最终将数据流化分为单调变化的区段 .这是定性仿真应用中的一个关键问题 .本文在分析基于线性最小方差拟合的数据流定性化方法的基础上 ,改进其定性核心函数 .提出了基于偏度系数的数据流定性化方法 .并通过具体数据分析 。
- 周颢邵晨曦白方周
- 关键词：数据分析数据处理
