带末端攻击角度约束的三维最优导引律研究 被引量：6

1

作者 冯艳清 周红丽 +1 位作者 程凤舟 崔巍 《战术导弹技术》 2011年第5期81-85,共5页

针对导弹对目标实施大角度攻击的作战需求,运用飞行力学和最优控制理论,设计了带终端攻击角度约束的三维空间最优导引律.在设计过程中,将三维空间分成纵向和航向两个导引平面,分别设计两个平面的最优导引律,并在纵向平面上考虑攻击角度... 针对导弹对目标实施大角度攻击的作战需求,运用飞行力学和最优控制理论,设计了带终端攻击角度约束的三维空间最优导引律.在设计过程中,将三维空间分成纵向和航向两个导引平面,分别设计两个平面的最优导引律,并在纵向平面上考虑攻击角度约束,使得导弹在命中点的弹道倾角满足约束条件.最后分别针对静止目标和慢速运动目标进行了仿真研究. 展开更多

关键词 最优控制 最优导引律 角度约束

原文传递

客户管理者短视与供应商风险承担——基于文本分析的经验证据

2

作者 郑祯 黄妙环 +1 位作者 冯艳清 孟庆玺 《会计研究》 北大核心 2024年第1期139-151,共13页

在当前高度重视产业链供应链安全与稳定的大背景下,本文运用我国上市公司数据和文本分析法,考察客户管理者短视如何影响供应商风险承担。研究发现,客户管理者短视会降低供应商风险承担水平,表明供应商能够感知客户管理者短视所传递的潜... 在当前高度重视产业链供应链安全与稳定的大背景下,本文运用我国上市公司数据和文本分析法,考察客户管理者短视如何影响供应商风险承担。研究发现,客户管理者短视会降低供应商风险承担水平,表明供应商能够感知客户管理者短视所传递的潜在风险信号,进行稳健的风险管理。进一步分析显示,当供应商在供应链上的网络中心性越低、占据的结构洞越少以及距离客户越近时,上述影响更为显著。渠道检验表明,当客户管理者短视时,供应商企业通过增加防御性距离、减少资本性支出和降低对短视客户的经济依赖等行为进行风险管理。本文丰富了供应链风险情境下企业动态调整经营决策的研究,对揭示供应链风险管理的运作机制具有重要的现实意义。 展开更多

关键词 管理者短视 供应链风险 企业风险承担

原文传递

多核DSP的Nand Flash启动软硬件设计 被引量：5

3

作者 蔡湘平 冯艳清 汪安民 《单片机与嵌入式系统应用》 2013年第3期46-48,共3页

多核处理器片内一般具有容量较大的动态RAM,其程序代码存储在片外Flash中,或者通过主机下载程序。多核DSP的启动和单核启动区别较大,本文以8核DSP芯片TMS320C6678为应用平台,介绍了多核DSP的启动方法。通过I2 C总线芯片存储一级启动程序... 多核处理器片内一般具有容量较大的动态RAM,其程序代码存储在片外Flash中,或者通过主机下载程序。多核DSP的启动和单核启动区别较大,本文以8核DSP芯片TMS320C6678为应用平台,介绍了多核DSP的启动方法。通过I2 C总线芯片存储一级启动程序,应用程序存储到容量较大的Nand Flash芯片,文中详细介绍了该启动方法的软硬件设计。 展开更多

关键词 多核DSP 启动 NAND FLASH

下载PDF 职称材料

第三方支付的基于SPIN的形式化分析 被引量：3

4

作者 黎升洪 冯艳清 《计算机时代》 2008年第12期23-25,共3页

第三方支付业务在电子商务平台中的广泛使用,极大促进了电子商务活动的发展。利用模型检查工具SPIN、建模语言PROMELA,对第三方支付业务进行形式化建模,然后利用时态逻辑公式LTL描述系统待验证属性,最后验证表明,网上交易在第三方支付... 第三方支付业务在电子商务平台中的广泛使用,极大促进了电子商务活动的发展。利用模型检查工具SPIN、建模语言PROMELA,对第三方支付业务进行形式化建模,然后利用时态逻辑公式LTL描述系统待验证属性,最后验证表明,网上交易在第三方支付的支持下可以顺利进行。 展开更多

关键词 SPIN 第三方支付 形式化 模型检查

下载PDF 职称材料

SPIN语义引擎执行方式研究 被引量：1

5

作者 黎升洪 冯艳清 《计算机与现代化》 2009年第11期112-115,共4页

模型检查工具SPIN的核心是PROMELA语言,对PROMELA语言执行方式的理解决定所描述系统模型的行为方式。本文从语义角度研究PROMELA语义引擎问题,首先给出PROMELA语法的抽象对象模型形式化定义,然后给出一个算法来实现PROMELA语法到抽象对... 模型检查工具SPIN的核心是PROMELA语言,对PROMELA语言执行方式的理解决定所描述系统模型的行为方式。本文从语义角度研究PROMELA语义引擎问题,首先给出PROMELA语法的抽象对象模型形式化定义,然后给出一个算法来实现PROMELA语法到抽象对象模型的映射,描述PROMELA指称语义。最后针对SPIN中atomic序列和同步通信等复杂问题给出解决方法。 展开更多

关键词 模型检查 SPIN PROMELA 语义

下载PDF 职称材料

PROMELA语义引擎执行研究

6

作者 冯艳清 《电脑知识与技术》 2008年第12Z期2159-2160,2162,共3页

模型检查工具SPIN的核心是PROMELA语言,对PROMELA语言执行方式的理解决定所描述系统模型的行为方式。该文从语义角度研究了PROMELA语义引擎问题。首先给出PROMELA语法的抽象对象模型形式化定义,然后给出一个算法来实现PROMELA语法到抽... 模型检查工具SPIN的核心是PROMELA语言,对PROMELA语言执行方式的理解决定所描述系统模型的行为方式。该文从语义角度研究了PROMELA语义引擎问题。首先给出PROMELA语法的抽象对象模型形式化定义,然后给出一个算法来实现PROMELA语法到抽象对象模型的映射,描述了PROMELA指称语义。 展开更多

关键词 模型检查 SPIN PROMELA 语义

下载PDF 职称材料

浅析高职院校学生人口与计划生育宣传教育工作

7

作者 冯艳清 《教育界（高等教育）》 2013年第2期23-24,共2页

如今，听到高职院校学生在恋爱时，导致意外妊娠，甚至被感染性病、艾滋病是一件很可悲的事，这种事件不能只责怪于高职学生，与高职院校对学生恋爱观、婚姻观、性内容知识教育的缺失有关系。为避免这可悲的事件发生，在高职院校学内开... 如今，听到高职院校学生在恋爱时，导致意外妊娠，甚至被感染性病、艾滋病是一件很可悲的事，这种事件不能只责怪于高职学生，与高职院校对学生恋爱观、婚姻观、性内容知识教育的缺失有关系。为避免这可悲的事件发生，在高职院校学内开展人口与计划生育宣传教育工作很有必要。如何开展人口与计划生育宣传教育工作，我认为要在高职校园内营造一个良好的计划生育宣传教育舆论氛围，引导广大青年大学生树立正确的恋爱观、婚育观，从而推动社会主义人口文化和生育文化建设，最终为经济社会的可持续发展创造良好的人口环境。 展开更多

关键词 高职院校 学生 计生宣传教育

下载PDF 职称材料

嵌入式系统数据缓存机制的形式化分析 被引量：1

8

作者 冯艳清 谷鹏花 熊爱金 《电脑编程技巧与维护》 2021年第1期108-109,115,共3页

嵌入式系统在高速通信时通常需要设计缓存机制以保证数据不会丢失,以某嵌入式系统为例,介绍了该系统的硬件及软件平台的设计,利用模型检查工具SPIN对该系统的数据缓存机制进行形式化建模,并利用时态逻辑公式LTL描述了该系统待验证属性,... 嵌入式系统在高速通信时通常需要设计缓存机制以保证数据不会丢失,以某嵌入式系统为例,介绍了该系统的硬件及软件平台的设计,利用模型检查工具SPIN对该系统的数据缓存机制进行形式化建模,并利用时态逻辑公式LTL描述了该系统待验证属性,验证结果表明,该缓存机制满足设计需求,为嵌入式系统数据交互设计提供了严密的研究论证方法。 展开更多

关键词 形式化分析 数据缓存机制 ZYNQ芯片

下载PDF 职称材料

基于形式化分析的信号处理模块设计

9

作者 冯艳清 熊爱金 周慧 《电脑编程技巧与维护》 2022年第2期170-172,共3页

形式化技术是系统开发过程中提高可靠性的一种行之有效的途径,随着形式化技术的发展与普及,它在系统软硬件设计方面得到了一定的应用。以某超短波监测系统中的数字信号处理模块软硬件开发为例,介绍了信号处理模块的硬件设计,描述了该模... 形式化技术是系统开发过程中提高可靠性的一种行之有效的途径,随着形式化技术的发展与普及,它在系统软硬件设计方面得到了一定的应用。以某超短波监测系统中的数字信号处理模块软硬件开发为例,介绍了信号处理模块的硬件设计,描述了该模块的软件设计及使用形式化分析技术在软件开发过程中的应用步骤,为形式化技术在类似产品的开发过程中的应用提供了一定的借鉴。 展开更多

关键词 嵌入式 形式化分析 信号处理 TMS320C6678芯片

下载PDF 职称材料

在广播监测接收机系统中实现音频实时播放

10

作者 熊爱金 刘奇 +1 位作者 冯艳清 赵怀玉 《电子技术与软件工程》 2020年第18期120-121,共2页

本文利用FFmpeg中的ffmpeg实现实时网络流的格式转换,ffserver实现实时播放,然后远程客户端通过Windows Media Player实时播放音频。

关键词 接收机 音频 WINDOWS FFMPEG ffserver

下载PDF 职称材料

探究如何利用窄带接收机实现对宽带雷达信号测向

11

作者 熊爱金 刘奇 冯艳清 《华东科技（综合）》 2020年第12期35-35,共1页

窄带电子侦察接收机具有稀释信号和实现对信号数字化处理的优点,通过对宽带信号在窄带接收机过滤过程的分析发现宽带信号在经过窄带系统的时候能够被有效保存,基于信号能够被保存的设定应用 MUSIC 算法实现对方位信息的精准获取和计算。

关键词 宽带雷达 窄带雷达 窄带接收机 电子侦察 MUSIC算法

下载PDF 职称材料

思维导图策略在初中生物教学中的应用实践研究

12

作者 冯艳清 《今天》 2021年第9期311-311,共1页

思维导图策略是一种简单有效的教学方法可以让复杂的内容简单化,让学生更容易理解和接受,帮助学生形成具体的生物思维框架。利用思维导图进行的教学可以让每一个学生都产生强烈的好奇心,有新颖的教学体验,加深了学生对课程和内容的认识... 思维导图策略是一种简单有效的教学方法可以让复杂的内容简单化,让学生更容易理解和接受,帮助学生形成具体的生物思维框架。利用思维导图进行的教学可以让每一个学生都产生强烈的好奇心,有新颖的教学体验,加深了学生对课程和内容的认识和理解,提高了学生在课堂上的注意力,进而改善了教学质量和培养了学生自我的能力。基于此本文将从三个角度浅谈如何把思维导图的策略运用到初中生物课堂教学中。 展开更多

关键词 思维导图 初中生物 发散思维

下载PDF 职称材料

传染病医院输血科卫生消毒质量监测结果

13

作者 刘振红 文翠容 +3 位作者 杨静 冯艳清 庄英杰 李可萍 《中国消毒学杂志》 CAS 北大核心 2007年第6期571-571,共1页

目的了解传染病医院输血科卫生消毒质量,以保障输血安全。方法采用现场抽样检测方法对输血科内环境及医务人员手进行了调查。结果该医院输血科室内空气消毒质量合格率为94.74%,物体表面合格率为98.83%,使用中消毒液全部合格,医务人员手... 目的了解传染病医院输血科卫生消毒质量,以保障输血安全。方法采用现场抽样检测方法对输血科内环境及医务人员手进行了调查。结果该医院输血科室内空气消毒质量合格率为94.74%,物体表面合格率为98.83%,使用中消毒液全部合格,医务人员手合格率为83.33%。结论该医院输血科内环境卫生消毒质量总体较好,但医务人员手的卫生消毒质量合格率偏低。 展开更多

关键词 输血科 室内环境 消毒质量 监测

下载PDF 职称材料