王曦
- 作品数：19 被引量：37H指数：3
- 供职机构：江西理工大学信息工程学院更多>>
- 发文基金：国家自然科学基金国家科技支撑计划江西省自然科学基金更多>>
- 相关领域：自动化与计算机技术交通运输工程生物学理学更多>>
- 改进的基因表达式编程算法在演化建模中的应用
- 2013年
- 为了克服传统基因表达式编程易早熟收敛、种群多样性难以保持、演化效率不高、拟合度不高等缺陷,给出了基于表现型的种群多样性测度,并提出了基于排挤小生境的改进基因表达式编程算法.该算法将小生境半径内的早熟个体通过罚函数排挤出去,使其它优良个体得以更大概率进化,并使各个个体之间保持一定的距离.分别对一元函数和多元复杂函数进行演化建模实验.结果表明,改进的算法能在演化过程中能保持丰富的群体多样性,能够有效避免过早收敛,具有更高的成功率、更高的收敛速度和拟合精度.
- 涂燕琼王曦
- 关键词：基因表达式编程小生境多样性早熟收敛
- 一种基于场景模型的安全性分析算法研究被引量：2
- 2012年
- 为了确保安全苛求系统的安全性,其开发过程中必须使用安全性分析技术。传统的安全性分析方法需要花费大量的时间和精力,分析的完整性和一致性难以保障,分析结果易于出错。本文提出一种基于场景模型的安全性分析算法,该算法从基于UML时序图的需求描述出发,生成系统的形式化模型,通过故障自动注入与形式化模型扩展,采用扩展的启发式广义büchi自动机判空检测算法自动验证与分析系统的安全性。通过铁路车站联锁系统中基本进路建立的安全性分析实例,验证了该方法的正确性与实际可行性。与已有的安全性分析方法相比,本文提出的方法从效率和安全质量方面改善了安全苛求软件的设计与开发,为安全苛求系统的安全性保障与安全评估提供了有力的技术支撑。
- 王曦徐中伟
- 基于细胞神经网络保密通信研究
- 细胞神经网络(Cellular Neural Networks,简称CNN)动力学是神经网络与动力学系统交叉结合的一门新型学科,它的理论和应用研究成了当前的研究热点。CNN是一个高速非线性动力学系统,不同的模板参数选择表...
- 王曦
- 关键词：CNN混沌同步保密通信
- 基于模型检测的软件安全性验证方法
- 安全性是安全苛求系统第一性能,为了确保系统安全,这类系统在投入使用之前必须进行安全性验证.本文提出一种基于FTA(fault tree arialysis)与LTS(labeled transition systems)...
- 王曦徐中伟梅萌
- 关键词：故障树分析安全苛求系统
- 基于启发式NDFS的高性能软件模型验证算法
- 安全性是高性能安全苛求系统第一性能，为了确保其安全性，必须进行安全性验证，模型检测为系统安全品质保障和自动验证开辟了新途径。因此提出基于启发式NDFS的高 性能软件模型验证算法。在on-the-fly 判空检测算法的基础...
- 王曦徐中伟
- 关键词：安全苛求系统高性能
- 细胞神经网络超混沌同步系统性能分析及应用
- 2009年
- 构造状态观测器可实现混沌同步。常规的研究方法是通过任意配置极点来达到同步,但对同步系统的性能分析较少。设计了一个新的五维细胞神经网络超混沌同步系统,研究分析表明极点配置与同步速度密切相关。为最大限度地减少噪声对收发双方同步误差的干扰,提出了选择反馈矩阵和补差值相结合的方法,并将其应用于多通道图像保密通信系统,仿真结果表明该设计方法可实际应用于多媒体保密通信之中。
- 张小红朱艳平王曦
- 关键词：细胞神经网络极点配置噪声
- CNN的全局渐近稳定性分析与改进被引量：1
- 2009年
- 研究一类通用细胞神经网络的稳定性问题。采用Lipschitiz连续性条件证明了系统平衡点的存在性,利用Lyapunov函数稳定性分析方法结合不等式分析,给出系统平衡点唯一和全局渐近稳定的充分条件,该条件推广并改进了已有结论,具有更好的通用性,经实验仿真是可行的。
- 王曦欧阳城添张小红朱艳平
- 关键词：细胞神经网络稳定性LYAPUNOV
- 基于启发式NDFS的模型检测新算法被引量：1
- 2012年
- 以带有多个可接受条件的广义Büchi自动机为研究对象,提出基于启发式NDFS的模型检测新算法.该算法结合on-the-fly算法与启发式NDFS算法,能较快地判断出广义Büchi自动机非空性,通过理论证明和实验验证了算法的正确性和可行性.与已有算法相比,在广义Büchi自动机非空的情况下,该算法减少了系统状态空间的搜索,提高了检测效率,且能形成相应反例,为缓解形式化验证中的状态空间爆炸问题提供了有效的解决途径,为安全苛求系统的安全性保障提供了有力支撑,丰富了基于模型的软件形式化开发方法.
- 王曦徐中伟
- 关键词：BÜCHI自动机
- 高层次时序电路可靠度估计方法研究进展被引量：1
- 2017年
- 时序电路的可靠性问题日益成为人们关注的焦点。讨论高层次时序电路的可靠性评估方法,重点研究分析了贝叶斯可靠性分析方法、多阶段可靠性分析方法和基于概率转移矩阵的时序电路可靠性分析方法。以ISCAS 89基准电路为实验对象,选择几种典型的高层次时序电路可靠性评估方法进行实验和分析。研究结果和实验结果表明,电路的抽象级别越高,评估方法所获得结果的准确性就越低,评估时间开销越小;同一抽象层次上,不同类型的方法相比,仿真模拟方法的准确性高但时间开销大,解析方法省时但准确性较低。
- 欧阳城添陈莉莉王曦
- 关键词：时序电路可靠性评估
- 基于时间自动机的物联网组合服务建模被引量：1
- 2019年
- 在时间自动机理论的基础上,提出一种物联网组合服务建模的方法,来对系统的部分约定属性进行建模、验证和分析。把物联网原子服务作为研究的对象,对时间自动机模型进行扩展,并将其应用于物联网原子服务和组合服务的分层建模中。在分析不同层所对应实体的部分特定属性之后,通过工具UPPAAL建立模型并对该模型进行验证和分析。利用提出的方法对智能室温自控系统进行建模并验证,通过实验验证了该方法的可行性。
- 王曦李培培欧阳城添
- 关键词：时间自动机物联网
