李永亮
- 作品数：6 被引量：11H指数：2
- 供职机构：郑州大学信息工程学院更多>>
- 发文基金：中国博士后科学基金河南省高等学校青年骨干教师资助计划项目国家自然科学基金更多>>
- 相关领域：电子电信自动化与计算机技术农业科学理学更多>>
- 以DNA为载体的线性时序逻辑模型检测被引量：4
- 2016年
- 线性时序逻辑模型检测被广泛应用于处理器设计与验证、网络协议验证、安全协议验证等领域.然而到目前为止,该技术只能在电子计算的平台上实现.为了以脱氧核糖核酸(Deoxyribo Nucleic Acid,DNA)为载体对线性时序逻辑(Linear Temporal Logic,LTL)实施模型检测,给出了使用粘贴自动机实现Until算子模型检测的方法.首先,使用粘贴自动机对Until公式的有穷状态自动机(Finite State Automata,FSA)模型进行编码;然后,将系统模型转换为粘贴自动机的输入字符串;最后,用粘贴自动机验证系统是否满足公式.仿真实验结果证实,新方法可实现对LTL逻辑时序算子的检测.
- 朱维军周清雷李永亮
- 关键词：脱氧核糖核酸线性时序逻辑
- 基于DNA计算的CTL模型检测方法研究
- 模型检测由图灵奖得主 Clarke教授等人提出，是一种能够自动验证系统是否满足指定性质的技术，并且在系统不满足性质时提供反例，被广泛地应用于硬件验证、网络协议验证、安全协议验证、软件验证等领域，取得了令人瞩目的成果。另一...
- 李永亮
- 关键词：人工智能DNA计算计算树逻辑
- 文献传递
- 低能离子束辐照玉米生物效应研究
- 20世纪80年代起,余增亮等发现了低能离子束生物诱变效应。此后引发了离子束生物诱变效应的广泛研究,学者们发现了多种多样的诱变效应,包括生物表型性状、细胞学效应、生化效应、遗传效应及分子生物学效应等,其中,通过突变体选择选...
- 李永亮
- 关键词：玉米低能离子束诱变花粉蛋白质组学双向电泳
- 文献传递
- 基于随机逻辑准数字化DAC的PLD实现被引量：2
- 2006年
- 给出了一种基于随机逻辑的准数字化数模转换电路的PLD实现方法,即将绝大部分器件在PLD中实现,外部只有极少的模拟元件。介绍了设计原理,给出了仿真分析和硬件测试的结果。由于用硬件描述语言(HDL)来实现DAC功能,所实现的电路与集成电路制造工艺无关,可以方便地移植到其他设计中去,实现PLD系统设计单片化。
- 李永亮王福源习江涛
- 关键词：可编程逻辑器件数模转换
- 基于随机逻辑的A//D转换器设计
- 本课题所述的基于随机逻辑的模数转换器/(ADC/)是用间接方法实现的。首先将数字信号转换成一个随机编码的脉冲序列，用此序列来表示数字信号的值。将此序列通过一个简单的RC滤波器即可恢复出数字信号对应的模拟电压值，实现DAC...
- 李永亮
- 关键词：可编程逻辑器件硬件描述语言
- 文献传递
- PCI总线接口芯片CH365及其应用被引量：5
- 2009年
- CH365是一款国产低成本的PCI协议从模式接口芯片,它将32位高速PCI总线转换为简便易用的类似ISA总线的8位主动并行接口,用于制作低成本的基于PCI总线的计算机板卡,以及将原先基于ISA总线的板卡升级到PCI总线上。本文主要介绍了它的功能、特点及应用,说明了它在使用时应该注意的一些问题,最后给出了一个具体的应用实例,说明了如何用CH365完成由ISA扩展卡向PCI的转换。
- 陈俊灵王福源李永亮时伟
- 关键词：ISA总线PCI总线CPLD
