邵晨曦
- 作品数：63 被引量：305H指数：9
- 供职机构：中国科学技术大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金安徽省国际科技合作基金安徽省重点科研计划项目更多>>
- 相关领域：自动化与计算机技术医药卫生电子电信经济管理更多>>
- 一种新的仿真系统评估模式
- 2009年
- 仿真程序和仿真引擎之间的交互作用以及它们的动态行为通过传统仿真系统的V&V技术无法评估,为此规则常常会用于仿真系统的V&V技术,但引入规则后仍存在规则修改和管理困难的缺陷,针对此问题,提出了一个基于动态规则执行技术的仿真系统校核与验证模式.该模式中包含6类建模元素,约束被形式化描述为规则,通过规则引擎的执行检测在仿真执行期是否产生规则违反来判断仿真系统是否存在问题,从而实现对仿真系统的动态V&V.为仿真系统的评估提供了新思路,同时由于规则与系统的分离性也便于仿真系统的修正与完善.
- 邵晨曦党杰杨明万里红王子才
- 关键词：仿真
- 密码协议的SPIN建模和验证被引量：8
- 2002年
- 为了将模型检测这种强有力的系统验证技术应用于网络协议的安全分析,形式化建模仍然是目前的关键问题和难点所在.本文提出了一种基于高级过程描述语言的建模方法.根据入侵者角色和攻击目标的不同,从入侵者的角度分析协议的运行模式,为每个主体建立过程模型,用模型检测工具进行分析验证.对BAN-Yahalom协议的SPIN分析验证了这种方法的可行性.该方法具有一定的通用性,对其它网络协议的分析有很好的参考价值.
- 邵晨曦胡香冬熊焰蒋凡
- 关键词：密码SPIN计算机网络
- 基于定性约束的故障诊断设计被引量：3
- 2005年
- 在B.J.Kuipers的QSIM算法基础上,提出了比较约束概念用于消减推理空间。给出了各定性约束的传递规则,用于对系统的推理仿真。以系统故障的观测结果为初始状态,依据约束流的传播,诊断变量异变的位置和原因,并把诊断结果进行正向推理,消除部分冗余。在压缩制冷系统实例中,根据制冷系统的定性微分方程建立约束关系。针对制冷效果不佳的症状,仿真诊断出故障源为系统中有空气或氟利昂充液量过大的故障,与实际系统相一致。
- 邵晨曦张俊涛白方周张毅
- 关键词：故障诊断制冷系统
- 一种对仿真可信度评估的智能专家系统被引量：6
- 2011年
- 研究对仿真可信度的评估问题。针对传统的人类专家评估方法其工作量大、信息不确定以及结果模糊等问题,提出一种新型的替代专家的评估仿真可信度的方法,以不确定性知识表示和推理为基础,通过构建智能评估专家系统来实现评估。并对不确定性知识的表示与量度、不确定性推理、以及模糊信息的量化和信息的综合等相关知识进行了详细的描述。以细胞信号转导网络仿真模型的评估为实例进行了演示,演示表明:系统对于其仿真模型的评估实用,结果客观,可信。可与人类专家的决策过程媲美。
- 邓红莉杨韬邵晨曦
- 关键词：专家系统
- 定性建模、定性仿真
- 白方周邵晨曦方瑾涂永忠周颢尹世杰
- 该研究内容包括：提出“可信度增强”的模糊定性仿真理论，一定程度下避免了变量后续状态选择副作用和约束过滤副作用；证明了固定迟滞问题的可离散化主要性质，提出其定性仿真求解方法，改进了的定性与定量相集成仿真方法；提出并行定性仿...
- 关键词：
- 关键词：非线性动力学
- 影子模式:一种新的用于测试的设计模式被引量：7
- 2004年
- 介绍了一种新的设计模式 :用于测试面向对象程序的影子模式 它为每个使用它的对象生成一个影子对象 这种模式允许测试脚本无缝地嵌入到程序中 ,无需额外的测试驱动或测试插件 在测试过程中 ,测试用例可以调用影子对象作为测试插件 ,也可以调用真实的应用代码 ,测试脚本可以在运行时做出选择
- 涂永忠邵晨曦蔡维德胡香冬
- 关键词：设计模式面向对象测试
- 基于SRML的QSIM模型表示被引量：3
- 2006年
- 基于web的建模与仿真研究需要满足web开发的基本要求,即模型和仿真过程能够在万维网(WWW)上以标准的形式被服务、接收和处理。本文在现有仿真参考标记语言(SRML)和仿真参考仿真器(SRSimulator)的基于web的仿真技术基础上,提出了基于web的QSIM模型表示方法,在QSIM算法的输入模型和SRML之间建立了映射关系,并构造了基于web的定性仿真框架。
- 邵晨曦袁超范金锋杨明王子才
- 关键词：XMSFXMLQSIM
- 基于Q2算法的固定迟滞问题离散化求解被引量：6
- 2002年
- 迟滞问题是指系统的状态变化不仅与当前状态有关 ,还与系统的过去状态有关 .考虑了对固定迟滞问题进行定性仿真求解 ,通过分析该类问题的可离散化特性 ,将问题求解范围从连续时间转化到离散时间点上来考虑 .并改进了定性与定量相集成的仿真方法—— Q2算法 ,增加了反映延迟性质的过去约束 ,通过当前约束和过去约束在系统中传播定量信息 ,从而完成固定迟滞问题的定性仿真 .
- 周颢邵晨曦白方周
- FU-PROLOK激光加密系统的分析被引量：2
- 1992年
- 本文对增强型FU-PROLOK激光加密盘原理及技术进行了剖析,简要讨论了解密思路,分析了多种反跟踪、反解密方法.描述了经PROLOK加密后的程序结构.最后给出了具体分析实例.
- 邵晨曦董明会邵景远
- 关键词：激光加密
- 基于约束传递的定性仿真在故障诊断中的应用
- 定性仿真应用于灰色系统的故障诊断,区别于“IF…THEN…”类型的“浅层”知识,可以解决系统知识不完备、不能建立精确数学模型的问题。以常见的压缩制冷系统为例,利用B.J.Kuipers的QSIM算法基础,根据热力学定律和...
- 邵晨曦张俊涛白方周张毅
- 关键词：故障诊断制冷系统
- 文献传递
