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