期刊文献+
共找到19篇文章
< 1 >
每页显示 20 50 100
并行机器中基于干扰时间的间歇实时任务分区DM调度
1
作者 刘洪标 宋程昊 +3 位作者 王婷煜 姜菁菁 乔磊 杨孟飞 《软件学报》 EI CSCD 北大核心 2024年第11期5306-5318,共13页
间歇实时任务的分区DM(deadline-monotonic)调度是一个经典的研究问题,针对约束截止期间歇任务,提出一种具有更高处理器利用率的多核分区调度算法PDM-FFD(partitioned deadline-monotonic first-fit decrease).在PDM-FFD中,首先将任务... 间歇实时任务的分区DM(deadline-monotonic)调度是一个经典的研究问题,针对约束截止期间歇任务,提出一种具有更高处理器利用率的多核分区调度算法PDM-FFD(partitioned deadline-monotonic first-fit decrease).在PDM-FFD中,首先将任务按照其相对截止期以非递减顺序进行排序,然后采用first-fit策略选择处理器核分配任务,且在各处理器核上采用DM调度策略进行任务调度.最后通过对任务干扰时间的分析,得出一种更为紧凑的可调度性判定方法,并通过该可调度性方法来判定任务的可调度性.证明PDM-FFD的加速因子为3-(3Δ+1)/(m+Δ),时间复杂度为O(n^(2))+O(nm),其中Δ=_(Στj∈τ)C_(j)×u_(j)/D_(max),τ_(j)为任务集τ中的任务,C_(j)为该任务最差执行时间,u_(j)为该任务利用率,D_(max)为τ中的最大相对截止期,n为τ的任务数,m为处理器核数.该加速因子严格小于3-1/m,优于已有多核分区调度算法FBB-FFD.实验表明,PDM-FFD算法在4核处理器上的处理器利用率比其他算法提高了18.5%,且PDM-FFD的性能优势随着处理器核数、任务集利用率和任务数的增加而进一步扩大.由于PDM-FFD算法具有高性能特性,因此该算法可以广泛应用于资源受限的航天器、自动驾驶汽车、工业机器人等典型实时系统中. 展开更多
关键词 间歇实时任务 分区DM(deadline-monotonic)调度 干扰时间 加速因子 资源受限
下载PDF
星载操作系统中面向混合多任务类型的两级准入控制策略
2
作者 宋程昊 乔磊 +3 位作者 杨茂林 刘洪标 姜菁菁 陈熙 《空间控制技术与应用》 CSCD 北大核心 2024年第2期93-104,共12页
随着空间技术的发展,星载操作系统从单一任务类型的封闭式系统转变为多种任务类型混合的开放式系统,此时系统的可预测性难度和不确定性增大,而现有的表调度策略已无法解决该场景下多任务类型混合调度时的可调度性分析问题,同时也不能支... 随着空间技术的发展,星载操作系统从单一任务类型的封闭式系统转变为多种任务类型混合的开放式系统,此时系统的可预测性难度和不确定性增大,而现有的表调度策略已无法解决该场景下多任务类型混合调度时的可调度性分析问题,同时也不能支持系统运行时新任务的动态载入,阻碍了星载操作系统的智能化和多样化发展.针对该问题,本文以保障航天器的实时性需求及功能的可扩展性为研究目标,提出基于任务关键等级的两级准入控制策略.通过模型建立对任务的时间特性进行了描述,并全面分析了高优先级任务产生的最大干扰时间,进而分别提出基于干扰时间上界和基于响应时间分析的可调度性判定方法.实验结果表明,相较于现有算法,本文方法极大地减小了高优先级任务干扰时间的计算开销,并通过对任务运行时信息的追踪,改善了算法实时性能,提升了处理器利用率,为解决航天器系统中零散任务的准入控制问题提供了理论基础. 展开更多
关键词 星载操作系统 混合实时任务 准入控制 可调度性判定
下载PDF
关于贵州省高等院校科技评价体系改革的几点思考 被引量:2
3
作者 姜菁菁 石维 叶芬 《山东化工》 CAS 2018年第9期106-107,共2页
贵州省高校科技发展水平相对落后,且发展不均衡。亟需建立注重科技创新质量和实际贡献为导向的科技评价体系,发挥科技评价体系对高校科技创新能力和科技资源配置的导向作用。针对目前贵州省高校科技评价体系存在的评价指标单一、缺乏大... 贵州省高校科技发展水平相对落后,且发展不均衡。亟需建立注重科技创新质量和实际贡献为导向的科技评价体系,发挥科技评价体系对高校科技创新能力和科技资源配置的导向作用。针对目前贵州省高校科技评价体系存在的评价指标单一、缺乏大学特色等问题,需要建立个性化,以创新质量和实际贡献为导向的科技评价体系改革方案。 展开更多
关键词 贵州省高校 科技评价 科学管理 评价制度
下载PDF
从文献分析看纳米载药技术领域的发展重点 被引量:2
4
作者 姜菁菁 郭超 谭永宜 《山东化工》 CAS 2016年第5期49-52,共4页
纳米载药是纳米科学、生物学和医学的交叉学科。因具有保护药物、缓释、控释和靶向给药等优点,纳米载药在治疗癌症和肿瘤等疾病方面,具有巨大的潜力和优势。本文首先调研了美国、欧洲、日本和中国实施的纳米载药重点研究领域;分析了纳... 纳米载药是纳米科学、生物学和医学的交叉学科。因具有保护药物、缓释、控释和靶向给药等优点,纳米载药在治疗癌症和肿瘤等疾病方面,具有巨大的潜力和优势。本文首先调研了美国、欧洲、日本和中国实施的纳米载药重点研究领域;分析了纳米载药相关领域的国际会议,确定新兴的研究前沿和热点领域,最后,对我国纳米载药技术的发展提出了针对性意见。 展开更多
关键词 纳米载药 文献研究 专利分析
下载PDF
碳纤维表面含镍涂层对于镁基复合材料界面特征及阻尼性能的影响 被引量:1
5
作者 任富忠 姜菁菁 石维 《铜仁学院学报》 2016年第4期35-39,共5页
采用粉末冶金和热挤压的工艺分别制备了未添加碳纤维的基体金属、含未进行涂层处理短碳纤维的镁基复合材料和含镍涂层短碳纤维的镁基复合材料,并利用TEM-EDS和DMA分别对镁基复合材料的界面及阻尼性能进行了研究。结果表明碳纤维表面含... 采用粉末冶金和热挤压的工艺分别制备了未添加碳纤维的基体金属、含未进行涂层处理短碳纤维的镁基复合材料和含镍涂层短碳纤维的镁基复合材料,并利用TEM-EDS和DMA分别对镁基复合材料的界面及阻尼性能进行了研究。结果表明碳纤维表面含镍涂层的引入在复合材料界面处形成了良好界面层结构;三种材料的阻尼容量都随应变振幅的增大和温度的升高而增大,且在25℃~400℃温度范围内都只存在一个阻尼峰,显现出热激活弛豫过程的特征;利用Arrhenius公式计算出了三种材料的热变形激活能的大小分别为1.287e V、1.129e V和1.725e V。 展开更多
关键词 粉末冶金 短碳纤维 镍涂层 镁基复合材料 阻尼
下载PDF
婴幼儿血管瘤的临床特征及危险因素分析
6
作者 赵琦 李岩 +3 位作者 姜菁菁 陈晓芳 张荣明 卢智泉 《中国医学工程》 2012年第3期30-31,34,共3页
目的总结婴幼儿血管瘤的临床特征,探讨发生婴幼儿血管瘤的危险因素。方法采用以医院为基础的病例对照研究方法。病例由337例婴幼儿血管瘤患者组成,对照由同期入住相同医院的337例未患此病的婴幼儿组成,采取1:1匹配。采用自行设计的调查... 目的总结婴幼儿血管瘤的临床特征,探讨发生婴幼儿血管瘤的危险因素。方法采用以医院为基础的病例对照研究方法。病例由337例婴幼儿血管瘤患者组成,对照由同期入住相同医院的337例未患此病的婴幼儿组成,采取1:1匹配。采用自行设计的调查表对患者母亲进行调查。阐述婴幼儿血管瘤患者的临床特征,应用Logistic回归分析评估婴幼儿血管瘤的潜在危险因素,并计算研究因素与血管瘤联系的比值比(OR)及其相应的95%可信区间(CI)。结果本研究研究对象的临床特征与先前研究报道的临床特征基本相同。血管瘤的显著性危险因素包括婴儿出生时体重过低(OR=1.895,95% CI:1.028~3.495,P=0.041),母亲从事体力劳动(OR=1.790,95% CI:1.016~3.153,P=0.044),母亲多胎妊娠(OR=1.6369,5%CI:1.053~2.541,P=0.029),母亲孕期使用药物(OR=2.0869,5% CI:1.497~2.907,P<0.001),及血管瘤的阳性家族史(OR=5.048,95% CI:2.412~10.563,P<0.001)。结论详细了解发生婴幼儿血管瘤的危险因素和临床特征,为有效预防和治疗这种疾病提供理论依据。 展开更多
关键词 婴幼儿血管瘤 临床特征 危险因素
下载PDF
基于溶胶-凝胶法制备Fe_3O_4的研究 被引量:3
7
作者 陈果果 杨山林 +3 位作者 王东 赵磊 周涛 姜菁菁 《广东化工》 CAS 2017年第16期41-42,共2页
磁性材料作为一种新兴功能材料,由于其独特的物理化学性质,使其有许多特殊用途。四氧化三铁作为其中一种多功能磁性材料,在磁记录材料、催化、吸波、医药、等方面具有广泛的应用。溶胶-凝胶法在制备四氧化三铁中应用非常广泛,但在制备... 磁性材料作为一种新兴功能材料,由于其独特的物理化学性质,使其有许多特殊用途。四氧化三铁作为其中一种多功能磁性材料,在磁记录材料、催化、吸波、医药、等方面具有广泛的应用。溶胶-凝胶法在制备四氧化三铁中应用非常广泛,但在制备过程中仍存在一些待改进的因素。本文主要探讨溶胶-凝胶法制备四氧化三铁的影响因素及四氧化三铁的应用进展。 展开更多
关键词 四氧化三铁 溶胶-凝胶法 磁性材料
下载PDF
羰基铁在微波吸收领域中的研究进展 被引量:4
8
作者 徐银 周涛 姜菁菁 《山东化工》 CAS 2017年第5期44-46,共3页
羰基铁作为一种典型的磁损耗型吸收剂,是吸波材料领域中非常重要的研究对象。目前羰基铁吸收剂的研究主要集中在与其他材料共混与复合,本文从损耗机制、阻抗匹配和形貌等方面对羰基铁微波吸收剂的研究现状进行综述分析。
关键词 羰基铁 吸波性能 磁损耗 阻抗匹配
下载PDF
基于Coq的操作系统任务管理需求层建模及验证 被引量:8
9
作者 姜菁菁 乔磊 +2 位作者 杨孟飞 杨桦 刘波 《软件学报》 EI CSCD 北大核心 2020年第8期2375-2387,共13页
为确保星上操作系统中任务管理设计的可靠性,利用定理证明工具Coq对操作系统任务管理模块进行需求层建模及形式化验证.从用户角度,基于星上操作系统任务管理的基本机制,提出一种基于任务状态列表集合的验证框架.在需求层将基本机制进行... 为确保星上操作系统中任务管理设计的可靠性,利用定理证明工具Coq对操作系统任务管理模块进行需求层建模及形式化验证.从用户角度,基于星上操作系统任务管理的基本机制,提出一种基于任务状态列表集合的验证框架.在需求层将基本机制进行形式化建模,并在Coq中实现.针对建立的需求层模型,提出6条与实际星上操作系统任务管理一致的性质并进行验证.给出其中一条性质在Coq中的验证过程,结果表明,模型满足该条性质. 展开更多
关键词 任务管理 需求层 形式化建模 COQ 形式化验证
下载PDF
基于二元组索引的低内存开销快速文件管理方法 被引量:1
10
作者 姜菁菁 乔磊 +4 位作者 杨孟飞 苗志富 周育逵 刘波 田飞 《空间控制技术与应用》 CSCD 北大核心 2022年第6期88-95,共8页
在航天器上采用FLASH设备作为存储介质,需要采用文件系统来管理存储设备.在航天嵌入式系统中,数据存储的规模越来越大,进行采集任务产生的数据量将达到TB级别.出于安全性的考虑,航天器嵌入式系统内存容量受限,并且实时性要求极高.普通... 在航天器上采用FLASH设备作为存储介质,需要采用文件系统来管理存储设备.在航天嵌入式系统中,数据存储的规模越来越大,进行采集任务产生的数据量将达到TB级别.出于安全性的考虑,航天器嵌入式系统内存容量受限,并且实时性要求极高.普通嵌入式系统在内存容量和实时性的要求同航天嵌入式系统相差较多,因此不适用于航天嵌入式系统.本文针对航天器系统资源受限的特殊需求,对嵌入式系统中常用的YAFFS2文件系统中存在的内存中文件索引结构占用空间随文件数据量线性增长的问题,提出基于二元组索引的低内存开销快速文件管理(Low Overhead and Fast File Management based on Binary group,BLOF)方法,通过基于B+树引入二元组链表结构对连续FLASH页进行统一索引,并依据索引结构设计文件读、文件写操作算法,具有文件系统内存占用小,读写文件速度快的特点.实验结果表明,BLOF相比于YAFFS2索引方法,对任意数据量的文件:1)当文件数据所在闪存页达到平均6个页以上连续时,BLOF方法内存占用低于YAFFS2方法,最高节省55.55%;2)在文件规模大于512KB时,BLOF方法的文件读写时间始终小于YAFFS2的文件读写时间,并且YAFFS2文件写时间和BLOF写时间之差随文件大小呈线性增长趋势.BLOF方法更适合于文件数据量大且存储在大量连续页的情境下. 展开更多
关键词 航天器 BLOF 文件系统 二元组 索引
下载PDF
贵州省国家自然科学基金状况分析 被引量:1
11
作者 姜菁菁 郭超 《云南化工》 CAS 2018年第4期255-256,共2页
对贵州省国家自然科学基金获得资助项目情况进行统计分析,通过对资助项目的统计分析,进一步的分析出贵州省高等院校以及相关科学研究机构国家自然科学基金的发展状况。明确贵州省内的科学研究优势和现状。
关键词 发展态势 贵州省自然科学 自然科学基金
下载PDF
基于文献计量学的微波吸收材料发展态势分析 被引量:1
12
作者 姜菁菁 谭永宜 《山东化工》 CAS 2018年第11期66-67,共2页
微波吸收材料是物理、材料科学和化学的交叉学科。因在解决电磁环境污染,应用高新军事技术等方面,具有巨大的潜力和优势。现在,随着科学技术的发展以及材料科学的发展完善,各国对此研究力度加大。本文利用Web of Science数据库,并对微... 微波吸收材料是物理、材料科学和化学的交叉学科。因在解决电磁环境污染,应用高新军事技术等方面,具有巨大的潜力和优势。现在,随着科学技术的发展以及材料科学的发展完善,各国对此研究力度加大。本文利用Web of Science数据库,并对微波吸收材料主题论文进行了文献分析。也简要分析中国微波吸收材料研究现状,中国在此领域研究虽然起步晚,但是已不断赶超其他国家。最后,对微波吸收材料的未来发展方向做了展望。 展开更多
关键词 微波吸收材料 研究现状 文献计量学
下载PDF
基于德温特数据库的纳米载药技术发展态势分析 被引量:1
13
作者 姜菁菁 任富忠 《山东化工》 CAS 2018年第10期40-43,46,共5页
利用Derwent Innovation Index数据库对纳米载药主题专利进行了文献定量分析。分析了专利的主要技术分布和研究机构之间的竞争合作关系,比较了主要专利优先权国家的专利布局,加拿大是专利布局最全面的国家,而中国并没有在其他国家展开... 利用Derwent Innovation Index数据库对纳米载药主题专利进行了文献定量分析。分析了专利的主要技术分布和研究机构之间的竞争合作关系,比较了主要专利优先权国家的专利布局,加拿大是专利布局最全面的国家,而中国并没有在其他国家展开专利布局。针对纳米载药领域的国际发展现状和我国国情,今后,我国应该合理布局技术方向、提高专利保护意识以及加强国际交流合作,才能在这一新兴领域取得更大的优势。 展开更多
关键词 纳米载药 文献研究 专利分析
下载PDF
基于文献计量学的贵州省自然科学研究状况分析
14
作者 姜菁菁 郭超 《云南化工》 CAS 2018年第5期255-256,共2页
通过定性调研和定量调研相结合,利用文献计量学的方法对贵州省的各大高等院校、相关研究机构、科研工作者的科研水平和科学研究的交叉,包括各类计量指标的分布规律等相关的内容进行分析研究,发现其变化规律和内在联系。
关键词 文献计量学 发展态势 贵州省自然科学
下载PDF
面向空间飞行器的文件系统需求层验证
15
作者 李少峰 杨孟飞 +2 位作者 乔磊 姜菁菁 王婷煜 《空间控制技术与应用》 CSCD 北大核心 2022年第2期62-70,共9页
由于系统资源的有限性,目前空间飞行器中的嵌入式操作系统并没有文件系统模块.系统任务通过直接调用I/O接口,完成外部存储设备的读与写.但是,随着空间飞行任务复杂化,数据大量涌现,空间嵌入式操作系统需要文件系统来完成数据处理,因此... 由于系统资源的有限性,目前空间飞行器中的嵌入式操作系统并没有文件系统模块.系统任务通过直接调用I/O接口,完成外部存储设备的读与写.但是,随着空间飞行任务复杂化,数据大量涌现,空间嵌入式操作系统需要文件系统来完成数据处理,因此安全可靠的文件系统的开发是空间嵌入式操作系统亟待解决的问题.空间嵌入式操作系统是典型的安全关键的系统,集成在系统中的每一个模块都需要经过严格的测试,保证其不会在运行期间产生故障.采用形式化验证的技术可以从数学上严格保证验证对象的正确性.因此,本文采用形式化技术,针对面向空间飞行器文件系统的需求,验证其内部逻辑的正确性. 展开更多
关键词 软件需求 形式化验证 文件系统 嵌入式系统
下载PDF
地方高校大学物理课程教学改革的研究与实践——以铜仁学院材料专业为例 被引量:2
16
作者 叶芬 成昊 +1 位作者 姜菁菁 冷森林 《山东化工》 CAS 2018年第17期148-149,共2页
大学物理是工科专业的必修课,在地方高校应用转型的形势下,该课程面临着改革。本文剖析了大学物理课存在的问题,从任课老师、教学内容和教学方法提供了改革案例,目的是为了提高学生对该课程的参与度及利用该课程培养学生科学精神和解决... 大学物理是工科专业的必修课,在地方高校应用转型的形势下,该课程面临着改革。本文剖析了大学物理课存在的问题,从任课老师、教学内容和教学方法提供了改革案例,目的是为了提高学生对该课程的参与度及利用该课程培养学生科学精神和解决问题的能力。通过问卷调查的发现学生对该课程的兴趣度提高了40%,课堂讨论明显主动。 展开更多
关键词 地方高校 应用转型 大学物理
下载PDF
锰锌铁氧体的制备及应用进展 被引量:1
17
作者 王飞飞 王琴琴 +2 位作者 张英才 赵支文 姜菁菁 《铜仁学院学报》 2017年第12期50-54,共5页
介绍了锰锌铁氧体的制备、用途以及掺杂对其微波吸收性能的影响,并分析了在溶胶-凝胶制备锰锌铁氧体方法中,溶液浓度、温度、pH值对锰锌铁氧体性能的影响。
关键词 锰锌铁氧体 制备方法
下载PDF
地方高校与企业产教融合模式探讨 被引量:7
18
作者 冷森林 石维 姜菁菁 《才智》 2016年第30期47-47,共1页
产教融合是地方高校与企业合作,共同培养应用型技能型人才的必然趋势。地方本科院校在转型发展的初期,如何更好地实行产教融合,提高人才培养质量,需要进一步研究。本文就产教融合下的专业发展定位、人才培养模式改革和师资队伍建设等方... 产教融合是地方高校与企业合作,共同培养应用型技能型人才的必然趋势。地方本科院校在转型发展的初期,如何更好地实行产教融合,提高人才培养质量,需要进一步研究。本文就产教融合下的专业发展定位、人才培养模式改革和师资队伍建设等方面进行了探讨。 展开更多
关键词 地方高校 企业 产教融合 探讨
原文传递
休闲食品包装设计的趣味性 被引量:1
19
作者 柳泽明 姜菁菁 《现代装饰(理论)》 2013年第9期117-118,共2页
随着产品的丰富,包装设计就像影子一样,呈现在大街小巷,可以说是随处可见,包装的观念现已深深的影响着人们的消费行为。随着人类生活水平的提高与改善,作为不是生活必需品的休闲食品,如何在商品竞争压力下,吸引大众消费者,引起购买欲望... 随着产品的丰富,包装设计就像影子一样,呈现在大街小巷,可以说是随处可见,包装的观念现已深深的影响着人们的消费行为。随着人类生活水平的提高与改善,作为不是生活必需品的休闲食品,如何在商品竞争压力下,吸引大众消费者,引起购买欲望,从而达到最后的经济效应?休闲食品的包装的趣味性就起到了非常重要的作用。本文通过市场调研研究国内外休闲食品包装,尝试解析趣味性在各休闲食品中起着的重要作用与地位,并对休闲食品包装设计趣味性这一课题进行了深入的研究与探讨。 展开更多
关键词 食品包装设计 商品竞争 生活必需品 购买欲望 人类生活水平 大众消费者 现有市场 视觉表现 包装形式
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部