陈昊
- 作品数：6 被引量：10H指数：2
- 供职机构：电子科技大学计算机科学与工程学院更多>>
- 发文基金：国家科技重大专项四川省应用基础研究计划项目更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 三维体积计算中的等参变换法被引量：1
- 2006年
- 利用散度定理将体积计算转化为闭曲面上的积分,对曲面进行三角形网格剖分.构造等参变换,建立任一空间三角形与标准三角形的1-1对应关系,推导出空间三角形上的曲面积分表达式.引入了简单四面体的有向体积概念,最后得多面体体积计算公式.
- 陈昊钟尔杰
- 扩散方程的高精度恒稳定差分格式
- 2007年
- 针对扩散方程的数值求解问题,提出了一种用待定系数法确定的有限差分格式,研究该盖分格式的精度和稳定性,该格式较传统的有限差分格式精度有了提高,达到O(τ~2+h^4);用Fourier方法分析其稳定性,并用数值实例验证了该格式的有效性.
- 陈昊钟尔杰
- 关键词：差分格式
- 安全虚拟机监视器的形式化验证研究被引量：2
- 2019年
- 虚拟化技术为安全关键系统提供了分区隔离等重要特性,虚拟机监视器(Virtual Machine Monitor,VMM)作为其核心组件,对客户系统的安全运行及虚拟机间威胁和故障的屏蔽起着决定性作用。文中从最小特权原则出发,将VMM的设计按是否与安全直接相关划分为内核扩展与用户进程,并采用分层精化的方法对内核扩展中的各关键模块展开了形式化建模与验证,继而以此为基础,证明了虚拟机实现的功能正确性。实验评估表明,原型系统的综合性能负载与主流虚拟化方案接近,安全划分的设计方法与形式化验证在提升VMM安全性的同时,并未对其产生明显负载,可较好地满足应用领域的需求。
- 陈昊罗蕾李允陈丽蓉
- 关键词：虚拟化技术虚拟机监视器形式化验证
- 下一代汽车软件系统运行时环境通信算法的研究
- 2012年
- 以软件复用、支持分布式功能开发为主要目标的汽车电子下一代架构规定了ECU软件架构和新的开发过程,其中运行时环境是实现上述目标的关键。在研究下一代架构虚拟功能总线通信语义的基础上,结合应用部署的需求,提炼出下一代架构运行时环境的通信问题,即如何统一管理和支持构件在ECU内和ECU间的通信,设计出通信算法。实验结果表明,设计的通信算法能实现虚拟功能总线的全部通信语义。
- 李允陈昊晏华
- 关键词：通信
- 一种面向汽车电子的配置界面动态生成方法被引量：4
- 2013年
- 汽车电子的开发需要根据特定硬件平台资源情况对基础软件功能进行裁剪,而汽车电子的基础软件模块具有配置需求量大、复杂度高等特点。因此,设计一种具有高可配置性、通用的配置工具原型,具有非常重要的应用推广价值。针对汽车电子基础软件的实际需求,提出一种动态生成配置界面的方法。该方法分离配置参数与配置界面,从而极大提高配置工具的可扩展和可维护性。实验结果显示该方法是可行且有效的。
- 晏华陈昊郭宣佑
- 关键词：汽车电子
- 支持安全策略检查的用户态驱动框架研究被引量：3
- 2018年
- 驱动程序对系统安全性和稳定性起着至关重要的作用,但由于其复杂和多样性,导致难以成为操作系统的可信模块。近期研究表明,在用户空间内执行驱动程序,可提高系统稳定性并降低开发难度,但对系统产生了潜在的安全威胁。为此,从限制驱动程序可能的行为出发,对面向安全的轻量级通用用户态驱动框架进行了研究,通过内核态驱动命令解释器与安全策略检查相结合的手段,确保驱动模块的安全性与隔离性。通过实验测量框架对系统产生一定负载,但不会对系统的正常运行产生明显影响。
- 陈昊罗蕾李允陈丽蓉
- 关键词：安全性操作系统页表
