搜索筛选:
搜索耗时2.4617秒,为你在为你在102,285,761篇论文里面共找到 24 篇相符的论文内容
发布年度:
[期刊论文] 作者：冯艳清,,
来源：赤子(上中旬) 年份：2015
小学阶段的英语学习是最初的启蒙阶段,小学生知识的接受初期,在了解汉语拼音的基础之上,刚接触英语课程时,难免会对英语产生好奇心,但是在经过一段时间的学习之后,发现在音标...
[期刊论文] 作者：冯艳清,
来源：教育界：高等教育研究 年份：2013
如今，听到高职院校学生在恋爱时，导致意外妊娠，甚至被感染性病、艾滋病是一件很可悲的事，这种事件不能只责怪于高职学生，与高职院校对学生恋爱观、婚姻观、性内容知识教育的缺失有......
[期刊论文] 作者：冯艳清,
来源：电脑知识与技术：学术交流 年份：2008
模型检查工具SPIN的核心是PROMELA语言,对PROMELA语言执行方式的理解决定所描述系统模型的行为方式。该文从语义角度研究了PROMELA语义引擎问题。首先给出PROMELA语法的抽象...
[期刊论文] 作者：冯艳清,
来源：轻音乐 年份：2014
[摘 要]：“单独二胎”新生育政策逐步在全国各地区出台，给人口计生宣传工作带来了新的变化，对基层人口计生宣传队伍也提出了新的要求，加强基层人口计生宣传队伍建设很有必要，从而减少或杜绝人口计生宣传工作不到位的问题。 [关键词]：计生 宣传 队伍 建设 一、加......
[学位论文] 作者：冯艳清,
来源：江西财经大学 年份：2008
由于应用的复杂性，在很多情况下单个Web服务难以满足实际需求，对于复杂业务过程的处理需要采用服务组合的方法即由各个小粒度的Web服务相互之间通信和协作来实现大粒度的服务功......
[期刊论文] 作者：冯艳清,
来源：电脑知识与技术 年份：2008
摘要：模型检查工具SPIN的核心是PROMELA语言，对PROMELA语言执行方式的理解决定所描述系统模型的行为方式。该文从语义角度研究了 PROMELA语义引擎问题。首先给出PROMELA语法的抽象对象模型形式化定义，然后给出一个算法来实现PROMELA语法到抽象对象模型的映射，描述 ......
[会议论文] 作者：冯艳清, 胡萌,
来源：2022未来教育发展与创新教育研究高峰论坛论文集（七） 年份：2022
科学是小学教育教学体系中较为特殊的一门课程,其涵盖的知识较为复杂,生物、化学、物理等学生未来会接触到的理化科目知识都被包括在内,可以说,小学科学课程的教学质量直接关系到学生中学乃至大学的学习情况。而在互联网+时代背景下,教学方法手段不断创新,教育......
[期刊论文] 作者：黎升洪, 冯艳清,,
来源：计算机时代 年份：2008
第三方支付业务在电子商务平台中的广泛使用，极大促进了电子商务活动的发展。利用模型检查工具SPIN、建模语言PROMELA，对第三方支付业务进行形式化建模，然后利用时态逻辑公式LTL......
[期刊论文] 作者：黎升洪,冯艳清,
来源：计算机与现代化 年份：2009
模型检查工具SPIN的核心是PROMELA语言,对PROMELA语言执行方式的理解决定所描述系统模型的行为方式。本文从语义角度研究PROMELA语义引擎问题,首先给出PROMELA语法的抽象对象...
[期刊论文] 作者：黎升洪 冯艳清,
来源：计算机时代 年份：2008
摘要：第三方支付业务在电子商务平台中的广泛使用，极大促进了电子商务活动的发展。利用模型检查工具SPIN、建模语言PROMELA，对第三方支付业务进行形式化建模，然后利用时态逻辑公式LTL描述系统待验证属性，最后验证表明，网上交易在第三方支付的支持下可以顺利进行。 ......
[期刊论文] 作者：冯艳清, 李德生, 熊爱金,,
来源：电脑知识与技术 年份：2019
针对定点DSP在进行取自然对数运算时运算速度慢,无法满足日益增长的高速数字信号处理需求这一问题提出一种快速算法。该算法在分析浮点数据存储格式的基础上推导出该快速算法...
[期刊论文] 作者：李哲,冯艳清,杨阳,
来源：投资与创业 年份：2022
本文通过分析宁夏回族自治区知识产权质押融资的现状,从科技型企业、金融机构、政府和融资环境、第三方机构和平台几个层面分析宁夏知识产权质押融资过程中存在的问题和困难,并提出建立知识产权质押融资风险分担及激励机制、构建知识产权价值评估体系标准、优化......
[期刊论文] 作者：陈爱华,冯艳清,端慧敏,,
来源：中国医学装备 年份：2012
目的:在简要分析部队传染病医院实验室条件建设现状的基础上,提出部队传染病医院实验室条件建设应遵循需求牵引的原则,满足军事医学发展和科研项目开展的迫切需要。方法:要体...
[期刊论文] 作者：蔡湘平, 冯艳清, 汪安民,,
来源：单片机与嵌入式系统应用 年份：2013
多核处理器片内一般具有容量较大的动态RAM,其程序代码存储在片外Flash中,或者通过主机下载程序。多核DSP的启动和单核启动区别较大,本文以8核DSP芯片TMS320C6678为应用平台,...
[期刊论文] 作者：熊爱金,刘奇,冯艳清,
来源：华东科技:综合 年份：2020
窄带电子侦察接收机具有稀释信号和实现对信号数字化处理的优点,通过对宽带信号在窄带接收机过滤过程的分析发现宽带信号在经过窄带系统的时候能够被有效保存,基于信号能够被...
[期刊论文] 作者：冯艳清,熊爱金,周慧,
来源：电脑编程技巧与维护 年份：2022
形式化技术是系统开发过程中提高可靠性的一种行之有效的途径,随着形式化技术的发展与普及,它在系统软硬件设计方面得到了一定的应用.以某超短波监测系统中的数字信号处理模块软硬件开发为例,介绍了信号处理模块的硬件设计,描述了该模块的软件设计及使用形式化......
[期刊论文] 作者：冯艳清,谷鹏花,熊爱金,
来源：电脑编程技巧与维护 年份：2021
嵌入式系统在高速通信时通常需要设计缓存机制以保证数据不会丢失,以某嵌入式系统为例,介绍了该系统的硬件及软件平台的设计,利用模型检查工具SPIN对该系统的数据缓存机制进...
[期刊论文] 作者：冯艳清,周红丽,程凤舟,崔巍,,
来源：战术导弹技术 年份：2011
针对导弹对目标实施大角度攻击的作战需求,运用飞行力学和最优控制理论,设计了带终端攻击角度约束的三维空间最优导引律.在设计过程中,将三维空间分成纵向和航向两个导引平面...
[期刊论文] 作者：熊爱金,刘奇,冯艳清,赵怀玉,,
来源：电子技术与软件工程 年份：2020
本文利用FFmpeg中的ffmpeg实现实时网络流的格式转换,ffserver实现实时播放,然后远程客户端通过WindowsMedia Player实时播放音频。...
[期刊论文] 作者：赵明辉,古玲玉,徐淑芬,冯艳清,,
来源：市场观察 年份：2019
专利是企业生产经营过程中的重要组成部分之一,企业对生产活动中的某项技术通过专利申请而在市场上形成垄断,保护了企业的生产活动,专利产业化模式的实施能够有效提升企业组...
相关搜索：
