张雷
- 作品数：7 被引量：6H指数：2
- 供职机构：兰州交通大学数理与软件工程学院更多>>
- 发文基金：国家自然科学基金甘肃省自然科学基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- VxWorks基于AT91RM9200处理器的中断处理被引量：3
- 2007年
- 通过对VxWorks操作系统中断处理过程的跟踪调试,实验得出了VxWorks操作系统中断的处理过程,以及VxWorks的异常中断向量表和中断向量表的创建,并列出其结构.同时也介绍了VxWorks基于AT91RM9200处理器的中断驱动模块的实现.
- 张雷任恩恩
- 关键词：VXWORKSAT91RM9200中断向量表
- WindML工业平台下开发S1d13506驱动及显示功能的实现被引量：1
- 2006年
- 讨论的内容是使用风河公司提供的WindML来开发爱普生公司生产的S1d13506显卡芯片的驱动,并编写显示程序。在整个开发过程中,WindML提供了快捷便利的编程环境和程序框架。使用WindML提供的API函数,可以开发出用户自己定制的应用程序。同时,WindML给出了通用的显卡驱动程序框架,编程者可以参考这些程序来开发显卡驱动。显卡驱动配置好以后,通过编译工具编译,生成相应的驱动模块,加进VxWorks镜像中,便可以实现显卡的驱动以及建立人机交互的环境。
- 张雷任恩恩
- 关键词：WINDMLPIDDDKSDKVXWORKSAT91RM9200
- 关于两类方程系数反演问题的适定性研究
- 本文主要对椭圆、抛物型方程的系数反演问题进行了研究，这两类反问题不论在金融、物理、医学、地质探测和无线电传播领域还是在电磁金属成型技术中都有着极其广泛的应用。文章第一部分的椭圆方程是基于弗雷歇偏导，证明了所对应泛函的凸性...
- 张雷
- 关键词：椭圆型方程抛物型方程
- 文献传递
- 关于一类非线性系数反演问题最优解的适定性研究被引量：2
- 2016年
- 研究一个利用附加条件重构二阶抛物型方程的扩散系数的反问题,它在许多应用科学领域都有重要的意义.基于最优控制理论,原问题被转化为一个优化问题.该问题的主要困难有二:其一,所需反演的未知系数是二阶抛物性方程的二阶项系数,这是一个完全非线性的强不适定问题;其二,附加条件并非通常意义下的终端观测条件,而只是一个平均意义下的观测值.由于控制泛函没有凸性,通常很难得到最优解的唯一性.然而,通过对极小元所满足的必要条件的仔细分析,并结合正问题的先验估计式,发现当终端时刻T取值适当小时,可以证明极小元的局部唯一性和稳定性.
- 张雷李照兴
- 关键词：抛物型方程反问题最优控制
- 一种反演抛物型方程未知系数的全变差正则化方法
- 2017年
- 基于最优控制理论框架,利用全变差正则化技巧,讨论了在终端观测值已知的前提下一种反演二阶抛物型方程未知系数的数值计算方法.结合对正问题的分析,推出了关于未知系数所满足的必要条件,并通过引入"磨光"全变差正则化项,反演了未知系数可能存在奇性的条件下的数值解.
- 李照兴张雷胡志东
- 关键词：反问题抛物型方程全变差最优控制
- 关于一类椭圆型方程扩散系数的唯一性研究
- 2016年
- 研究了一类椭圆方程扩散系数的唯一性问题,这类问题在很多应用科学领域都有很重要的意义。基于吉洪诺夫正则化方法,把原来的问题转化一个优化问题。运用极值原理和正问题的能量估计对该问题进行了仔细分析,并对泛函作出了深入的研究,然后运用弗雷歇偏导理论证明了q的唯一性。此问题的主要难点:证明q的唯一性时有很多方法,但是在本文中,仅仅是用了弗雷歇偏导的性质就得到了这个结论,这就是本文所做的主要贡献。
- 张雷李照兴
- 关键词：最优控制
