李允
- 作品数：56 被引量：213H指数：9
- 供职机构：电子科技大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国家科技重大专项更多>>
- 相关领域：自动化与计算机技术自然科学总论交通运输工程电子电信更多>>
- 机遇vs.挑战
- 2006年
- 李允
- 关键词：嵌入式产品嵌入式软件桌面软件软件产业PC机
- 基于模式比较的遗传算法
- 2008年
- 在分析了模式阶、模式定义长度和种群多样性三者之间关系的基础上,提出一种新的基于模式比较的遗传算法。该算法的核心在于,使用配对算子来提高子代种群的多样性。配对算子不像简单遗传算法那样随机选择配对,而是根据模式阶和模式长度对染色体进行配对。实验结果表明,该算法有效地避免了简单遗传算法中因种群多样性较差而造成的早熟现象,显著地提高了收敛速度和搜索全局最优解的能力。
- 徐金荣李允
- 关键词：遗传算法种群多样性
- 一种基于TrustZone的可信微内核操作系统
- 本发明公开了一种基于TrustZone的可信微内核操作系统，包括服务模块、微内核模块和安全监控模块，其中根服务模块是应用层根任务，用于管理用户态的所有资源，微内核模块是基于微内核架构的可信内核，包括权能子系统、地址空间管...
- 肖堃张文罗蕾李允陈丽蓉
- 嵌入式实时软件模型开发环境研究被引量：3
- 2012年
- 为保证嵌入式实时软件的功能安全和实时性,基于模型驱动开发方法,研究了嵌入式实时软件的模型开发环境的体系结构,设计了一个嵌入式实时软件模型开发环境的原型MDE环境。其中应用任务模型使用两层模型机制:上层模型用于建模应用任务的功能行为与性能特征并支持形式化功能安全验证和实时性分析,下层模型用于模型测试和自动生成支持嵌入式实时操作系统API接口和驱动函数接口的应用任务源代码。通过工具集成实现了建模、分析验证、代码生成和测试等嵌入式实时软件的完整模型化开发过程,为将来进一步完善和改进嵌入式实时软件模型开发环境的构建技术提供了应用验证。
- 李允桂盛霖陈更罗蕾
- 关键词：嵌入式实时软件实时性
- 安全虚拟机监视器的形式化验证研究被引量：2
- 2019年
- 虚拟化技术为安全关键系统提供了分区隔离等重要特性,虚拟机监视器(Virtual Machine Monitor,VMM)作为其核心组件,对客户系统的安全运行及虚拟机间威胁和故障的屏蔽起着决定性作用。文中从最小特权原则出发,将VMM的设计按是否与安全直接相关划分为内核扩展与用户进程,并采用分层精化的方法对内核扩展中的各关键模块展开了形式化建模与验证,继而以此为基础,证明了虚拟机实现的功能正确性。实验评估表明,原型系统的综合性能负载与主流虚拟化方案接近,安全划分的设计方法与形式化验证在提升VMM安全性的同时,并未对其产生明显负载,可较好地满足应用领域的需求。
- 陈昊罗蕾李允陈丽蓉
- 关键词：虚拟化技术虚拟机监视器形式化验证
- 一种嵌入式操作系统定时保护的实现方法
- 本发明公开了一种嵌入式操作系统定时保护的实现方法，通过对任务或中断控制块中剩余执行时间、执行时间预算时间以及系统时钟模块定时保护通道计数器、比较寄存器中的值进行计算、比较，并进行相应的操作，使其不超过系统为该任务或中断所...
- 李允高嵊昊陈丽蓉
- 文献传递
- 基于杰出选择策略的伪并行遗传算法
- 解决遗传算法(GA)中存在的早熟收敛、收敛速度慢等问题，提出了一种基于杰出选择策略的伪并行遗传算法(ESPP_GA)。该算法从遗传算子以及并行计算等几个方面对其作了改进，使用了杰出选择模型和邻居群体模型。杰出选择模型能将...
- 徐金荣李允唐苗苗
- 关键词：遗传算法收敛速度
- AUTOSAR可运行实体-任务自动映射方法研究被引量：3
- 2018年
- 下一代汽车电子标准AUTOSAR定义汽车应用程序设计过程包括系统级设计和ECU级设计。系统级设计以软件构件为单位来设计应用,其中软件构件包含一组可运行实体。ECU级设计主要将可运行实体代码组织为嵌入式实时操作系统任务。因此,在将分配到ECU的软件构件集转换为实时系统任务集的过程中,需要有经验的嵌入式开发工程师进行可运行实体-任务的映射配置,以保证系统的实时性。鉴于可运行实体-任务的映射配置工作具有配置需求量大、复杂度高等特点,文中设计了一种可运行实体-任务自动映射方法。该方法综合考虑了可运行实体的触发关系、周期需求、数据共享等因素,对提高汽车软件开发效率具有非常重要的实用价值。最后,将该方法应用于AUTOSAR标准的汽车电子巡航控制系统实例中。实验结果显示,所提方法在抖动时间、阻塞时间、调度频繁度和数据通信量4个方面都具有良好的表现。
- 冉正罗蕾晏华李允
- 关键词：汽车电子映射
- 面向对象的实时多任务系统设计方法
- 本文提出了一种采用形式化语言的面向对象的实时多任务系统设计方法,详细描述了实时多任务系统软件从需求分析到系统设计、目标化和测试等阶段的整个开发过程,并通过例子对实时多任务系统的开发过程进行了说明.
- 李允熊光泽
- 关键词：实时多任务系统面向对象UMLMSCSDL
- 文献传递
- 嵌入式系统的功耗管理技术研究被引量：16
- 2001年
- 根据硬件提供的功耗管理机制,参考Intel和Microsoft公司制订的高级电源管理规范、在嵌入式领域中提出了系统工作的四种功耗模式——常规模式、空闲模式、休眠模式和睡眠模式;通过在嵌入式操作系统中使用功耗管理模块,为应用提供有效的功耗管理机制,同时分析基于操作系统功耗管理机制的功耗管理策略,从而实现系统的低功耗目的。
- 李允熊光泽程红蓉
- 关键词：功耗管理嵌入式操作系统体系结构
