搜索筛选:
搜索耗时0.6724秒,为你在为你在102,285,761篇论文里面共找到 64 篇相符的论文内容
发布年度:
[会议论文] 作者：易晓东,杨学军,
来源：2005中国计算机大会 年份：2005
本文应用模型检验方法对软件进行验证要解决软件的无穷状态空间问题，提出的谓词抽象方法将软件无穷的状态空间抽象为基于一组谓词表示的有限状态自动机，抽象过程使用最弱前置条件和定理证明工具直接对软件源代码自动进行，并能保证如果待验证的安全性质在抽象模型中......
[期刊论文] 作者：易晓东,张秋莲,
来源：辽宁体育科技 年份：2003
跳远助跑的快慢较大程度取决于速度利用率的大小.本文结合实践经验和对有关资料的分析,从助跑技术、快速起跳能力及助跑节奏稳定性等方面阐述了如何提高速度的利用率....
[期刊论文] 作者：易晓东,石帮兵,
来源：质量与可靠性 年份：2020
热性能是功率器件重点关注的对象,热失效已成为影响功率器件可靠性和使用寿命的重要因素。以SiC MOSFET功率器件为试验对象,设计测量电路,研究器件栅极开启延迟时间与芯片温...
[期刊论文] 作者：易晓东,杨胜波,,
来源：四川解剖学杂志 年份：2013
烟碱型乙酰胆碱受体（nAChR）分布于神经肌肉接头突触后膜上,分为ε–AChR和γ–AChR两种亚型。周围神经损伤和重症肌无力等神经肌肉疾病时,这两种亚型存在着亚基转换。它们在突...
[会议论文] 作者：张超,易晓东,戴华东,
来源：2012全国计算机体系结构学术年会 年份：2012
介绍Android操作系统中图形系统的基本架构，讨论Android图形系统移植到桌面Linux上所面临的困难及其解决方案，最终实现Android图形系统向桌面Linux的移植。测试结果表明，可...
[期刊论文] 作者：易晓东,杨胜波,
来源：中国临床解剖学杂志 年份：2016
目的：探索失肌皮神经与胸大肌部分移位重建屈肘后供受体肌内成熟型与胚胎型乙酰胆碱受体（ε-AChR和γ-AChR）的表达变化，旨在为其术后肌萎缩的防治提供新视角。方法将70只成年SD大......
[期刊论文] 作者：易晓东, 王戟, 杨学军,,
来源：软件学报 年份：2007
提出了一种基于Assume-Guarantee搜索复用的验证方法,对C程序源代码进行验证.其思想是,在程序的每点处都引入一个保守假设条件,并假设从任意点出发,变量取值满足该点假设条件...
[期刊论文] 作者：胡岘,易晓东,戴华东,,
来源：网络安全技术与应用 年份：2012
本文提出了一种HTML5云文件系统,使得HTML5应用能够像访问传统文件系统一样访问云存储。HTML5云文件系统充分利用了浏览器的HTML5特性,实现了云存储数据的本地缓存和离线操作,提高了云存储的访问效率。针对移动互联网的特点和多用户、多终端访问的需求,实现了身......
[期刊论文] 作者：岳宁,易晓东,杨胜波,,
来源：四川解剖学杂志 年份：2012
骨骼肌萎缩是多种疾病的并发症之一,其机制可归因于蛋白质降解增加与合成受阻。近年来,人们发现蛋白质降解增加与肌肉环状指基因1（MuRF1）和肌肉萎缩盒F基因（MAFbx,atrogin-1）的表...
[期刊论文] 作者：刘英文,唐玉华,易晓东,,
来源：计算机研究与发展 年份：2014
分布式内存文件系统将所有数据存放在内存中,能够大大提高数据吞吐率和降低数据访问延迟.采用高带宽、低延迟的互联方案连接各个存储节点,是实现高性能分布式内存文件系统的...
[期刊论文] 作者：所光,易晓东,廖湘科,
来源：计算机工程与科学 年份：2006
本文研究了Linux操作系统中文件系统日志服务的体系结构和关键技术，分析了Linux操作系统中已有日志服务器JBD的结构，提出了一种新日志服务器—JoumalFS的模型，证明了使用Journal...
[期刊论文] 作者：岳宁,易晓东,杨胜波,
来源：解剖学杂志 年份：2013
世界范围为攻克骨骼肌萎缩这一难题作了大量基础研究和临床实验，但收效甚微。Bodine等报道2种基因可以造成肌肉的萎缩。敲除小鼠任何1个基因，都能有效地缓解肌肉的萎缩过程。其......
[期刊论文] 作者：何志全,易晓东,陆祥,
来源：基础医学教育 年份：2019
医学形态学是以研究形态为主兼及功能的一门基础学科,但实际教学中,形态结构和功能往往联系不够密切,甚至是脱节的,重“结构”、弱“功能”现象较为严重。经过多年教学摸索,...
[期刊论文] 作者：黄万荣,唐玉华,易晓东,,
来源：计算机研究与发展 年份：2014
Barrier同步操作是能够直接影响处理器性能的一类操作.针对流处理器体系结构,提出并实现了2种软件同步机制和1种硬件同步机制,即基于互斥计数器的Barrier同步、基于共享状态...
[期刊论文] 作者：易晓东,任艳萍,陈伟,
来源：基础医学教育 年份：2018
以学生为主体、以知识为红线、以实验为导向及以教师为辅助开展综合性实验应用课程，让学生自由学习、独立思考，巩固组织学专业知识；初窥科研门径，培养科研精神；提高团队协作能力和......
[期刊论文] 作者：易晓东,张怡宁,肖帅,,
来源：中华男科学杂志 年份：2019
睾丸是一种自然缺氧器官,支持细胞糖酵解产生的乳酸是睾丸中生精细胞的重要能量来源,可快速提供ATP,以满足快速增殖的生精细胞对于能量和物质的需求,正常精子发生过程中能量...
[期刊论文] 作者：易晓东, 杨思宁, 杨绍武,,
来源：模式识别与人工智能 年份：2019
在未知的三维环境中,移动机器人自主导航通常需要实时构建与环境全局一致的栅格地图,而现有大部分系统缺少地图更新策略,构建的栅格地图与实际环境不一致.文中将同步定位与建...
[期刊论文] 作者：李军飞,唐玉华,易晓东,,
来源：计算机研究与发展 年份：2014
FPGA在产品制造、技术研发以及学术科研等领域发挥着巨大的作用,DIMM以其容量大、速度快、方便更换等优点成为FPGA设计中常用的外部存储器.随着FPGA芯片中可容纳系统的规模越...
[期刊论文] 作者：黄訸, 易晓东, 李姗姗, 廖湘科,,
来源：计算机研究与发展 年份：2012
高性能计算机主要应用于传统的科学计算领域,而在云计算时代,数据密集型应用成为一大类新型应用,已经变得越来越重要.主要探索如何在高性能计算机上高效地进行海量数据处理,...
[期刊论文] 作者：王之元, 易晓东, 李姗姗, 刘芳,,
来源：计算机教育 年份：2014
计算机程序设计语言的学习具有很强的实用性和普及性,随着大规模在线课程(MOOC)的兴起,计算机程序设计语言成为适合作为MOOC的课程之一。文章探讨如何利用MOOC这一工具,与校...
相关搜索：
