作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

一种嵌入式实时系统软件能耗建模与分析的方法  CNKI文献

随着嵌入式实时系统低能耗研究的不断深入,软件能耗已经成为影响系统的主要因素,并朝着定量分析方向发展.针对嵌入式实时系统缺乏有效的软件能耗建模与分析的方法,提出一种基于进程代数的嵌入式实时系统软件能耗建模与...

祝义 肖芳雄... 《计算机研究与发展》 2014年04期 期刊

关键词: 嵌入式实时系统 / 软件能耗 / 建模 / 价格

下载(302)| 被引(10)

豆渣中营养成分的检测及其含量声称  CNKI文献

采用国家标准规定的检测方法,对豆渣中的营养成分进行检测,并对其含量声称进行分析。结果表明:豆渣中营养成分丰富,富含蛋白质、膳食纤维、钾、钙、磷,是维生素B1、锌和铜的来源。豆渣符合"高蛋白"、"...

祝义 龙勃... 《食品研究与开发》 2017年08期 期刊

关键词: 豆渣 / 营养成分 / 含量声称

下载(752)| 被引(27)

一种基于形式化规约生成软件体系结构模型的方法  CNKI文献

使用LOTOS描述实时系统需求规约,通过建立LOTOS规约到UML-RT模型的模型转换,提出一种基于形式化规约生成软件体系结构模型的方法.最后,通过一个实例来说明如何将该方法应用于实时软件建模.利用这种方法建立的UML-RT模...

祝义 黄志球... 《软件学报》 2010年11期 期刊

关键词: 形式化规约 / 软件体系结构 / LOTOS / UML-RT

下载(494)| 被引(20)

基于5E模式下的高三生物学复习课“动物和人体生命活动的调...  CNKI文献

基于5E教学模式对人教版高中生物学必修3《稳态与环境》模块第2章"动物和人体生命活动的调节"一章内容进行核心概念教学设计。5E模式是被教育界普遍认可的有效的教学模式,而核心概念的教学是高中生物教学最...

祝义 《生物学通报》 2018年11期 期刊

关键词: 5E教学模式 / 概念模型 / 生命活动调节

下载(682)| 被引(4)

采用函数式语言的BPEL模型形式化验证方法  CNKI文献

通信顺序进程(communicating sequential process,CSP)是一种经典的形式化方法,CSP_M是在CSP基础上提出的一种函数式语言。目前Web服务组合中BPEL(business process execution language)模型缺乏可执行的形式化编程语...

祝义 黄志球... 《计算机科学与探索》 2018年02期 期刊

如何在生物学教学中进阶式培养学生的社会责任  CNKI文献

主要以高中生物学学科社会责任的界定、内容、进阶为理论基础,介绍从引导学生关注社会,激发情感意识;提供多种机会合作参与讨论;从合作讨论到个人独立思考,传播科学生物学知识到解决实际问题,进阶式培养学生的社会责任...

祝义 《中学生物学》 2019年08期 期刊

关键词: 高中生物学 / 社会责任 / 进阶式培养

下载(249)| 被引(6)

嵌入式软件需求规约到软件体系结构模型的转换研究  CNKI文献

近年来随着嵌入式系统硬件性能的不断提高,嵌入式系统中软件的规模和复杂性也不断增加,软件对整个系统的影响逐渐占据了统治地位,从而使得嵌入式软件设计以及可靠性保障变得越来越困难。传统的嵌入式软件设计方法已经...

祝义 导师:黄志球 南京航空航天大学 2011-03-01 博士论文

关键词: 嵌入式软件 / 需求规约 / 软件体系结构 / 形式化方法

下载(915)| 被引(17)

重庆四区县不同猕猴桃品种营养成分检测与比较  CNKI文献

对重庆四个区县的不同猕猴桃品种进行营养成分检测并比较分析,结果表明:不同区县不同猕猴桃品种中的营养成分含量水平存在差别。其中,万盛区红心猕猴桃和万州区红心猕猴桃中总糖含量相对较高,在10g/100g以上;万盛区黄...

祝义 冯璨... 《中国食物与营养》 2014年04期 期刊

关键词: 猕猴桃 / 品种 / 营养成分

下载(543)| 被引(11)

香菇柄中可溶性糖的测定  CNKI文献

采用苯酚-硫酸法测定香菇柄中的可溶性糖。利用超声波提取和沸水提取香菇柄中的可溶性糖,再采用苯酚-硫酸法测定其含量,并对方法的精密度、重复性、加标回收率进行考察,以确定方法的准确度。结果表明,该方法的精密度较...

祝义 周令国... 《农产品加工》 2015年06期 期刊

关键词: 苯酚-硫酸法 / 香菇柄 / 可溶性糖 / 准确度

下载(386)| 被引(14)

基于核心素养下的以关键问题作引导的教学设计——以“其他...  CNKI文献

《普通高中生物学课程标准(2017年版)》(以下简称新课标)提出高中生物学学科核心素养,包括生命观念、科学思维、科学探究和社会责任4个方面。新课标强调学生学习的过程是主动参与的过程,通过探究性学习活动加深对生物...

祝义 《中学生物学》 2019年04期 期刊

关键词: 植物激素 / 植物生长调节剂 / 植物生命活动 / 核心素养

下载(512)| 被引(1)

基于进程代数规约生成软件体系结构模型的方法  CNKI文献

需求规约到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点,UML-RT广泛用于实时系统软件体系结构建模,然而基于自然语言规约建立的UML-RT模型往往是不精确的,存在二义性,为了解决这一问题,需要赋予UML-RT模...

祝义 黄志球... 《计算机研究与发展》 2011年02期 期刊

关键词: 进程代数规约 / 软件体系结构 / UML-RT / 实时系统

下载(362)| 被引(11)

直流偏磁对变压器差动保护的影响及抑制  CNKI文献

直流偏磁是指在直流电流进入变压器以后,会使得变压器磁通饱和,励磁电流波形上下不再对称,发生了畸变,并产生大量谐波等一系列的电磁效应。直流偏磁会对变压器产生一系列的影响,如使变压器噪声急剧增大,振动加剧,放出...

寿祝义 导师:刘春明 华北电力大学 2014-06-01 硕士论文

关键词: 高压直流输电 / 直流偏磁 / 地磁感应电流 / 二次谐波

下载(158)| 被引(5)

函数式程序模板元编程的元建模实现方法  CNKI文献

针对函数式程序模板元编程的通用性问题,以应用类型系统ATS(Applied Type System)为例,提出了一种基于元建模的模板元编程实现方法。基于ATS模板元编程给出从枚举类型Datatype到Function的生成实例;通过元建模构造了包...

祝义 黄志球... 《计算机工程与应用》 2018年07期 期刊

关键词: 函数式程序 / 应用类型系统 / 模板 / 元编程

下载(140)| 被引(1)

姜辣素及其测定方法研究  CNKI文献

姜辣素是姜中的主要生物活性物质和风味成分。综述了姜辣素的化学组成、性质、功效作用及测定方法。

祝义 周令国... 《农产品加工(学刊)》 2011年03期 期刊

关键词: 姜辣素 / 测定方法 / 化学组成

下载(640)| 被引(13)

超声引导下不同置管长度连续股神经阻滞对老年患者膝关节周...  CNKI文献

目的评价超声引导下不同置管长度连续股神经阻滞对老年膝关节周围骨折术后的镇痛效果。方法选择嘉定区中心医院麻醉科2016年6月至2018年5月在全身麻醉下行初次膝关节周围骨折内固定术的老年患者120例(ASA分级Ⅰ~Ⅱ),...

祝义 殷勇... 《海南医学》 2019年04期 期刊

关键词: 老年患者 / 膝关节周围骨折 / 超声引导 / 连续股神经阻滞

下载(34)| 被引(7)

超声引导下连续股神经阻滞镇痛用于老年膝关节周围骨折内固...  CNKI文献

目的探讨超声引导下连续股神经阻滞用于老年膝关节周围骨折内固定手术后镇痛的临床效果。方法将80例择期全身麻醉下行单侧膝关节周围骨折内固定手术的老年患者按照数字表法随机分为2组,PCIA组40例术后用0. 01%的舒芬太...

祝义 冉国... 《现代中西医结合杂志》 2019年23期 期刊

关键词: 超声引导 / 连续股神经阻滞 / 膝关节周围骨折 / 内固定术

下载(35)| 被引(4)

响应面法优选猕猴桃果粉的喷雾干燥工艺条件  CNKI文献

用响应面法对猕猴桃果粉的喷雾干燥工艺进行优化。选取料液固形物含量、进风温度、进料速度为响应因子,采用Box-Behnken法设计试验,以感官指标为响应值,通过SAS统计软件进行方差分析和回归分析,得到的最优喷雾干燥工艺...

祝义 冯璨... 《中国食物与营养》 2015年12期 期刊

关键词: 响应面法 / 猕猴桃果粉 / 喷雾干燥

下载(291)| 被引(3)

超声引导下不同置管长度连续股神经阻滞对老年膝关节周围骨...  CNKI文献

目的探讨超声引导下两种置管长度连续股神经阻滞对老年膝关节周围骨折术后镇痛效果的影响。方法将全身麻醉下行初次膝关节周围骨折内固定术的老年患者80例随机分为2组,每组40例。术后在手术侧用超声引导下沿股神经分别...

祝义 殷勇... 《实用临床医药杂志》 2019年06期 期刊

关键词: 超声 / 连续股神经阻滞 / 置管 / 膝关节周围骨折

下载(39)| 被引(4)

基于UML和Z的软件体系结构求精方法及其应用  CNKI文献

软件体系结构是20 世纪90 年代国际软件工程领域出现的一个研究热点。软件体系结构着眼于软件系统的全局组织形式,是对系统高层抽象的描述。对于大型软件系统而言,软件体系结构的设计已经成为系统成功的关键因素。 ...

祝义 导师:张广泉 苏州大学 2005-04-01 硕士论文

关键词: 软件体系结构 / 形式化 / 求精 / UML

下载(301)| 被引(10)

传感器网络中基于多维标度定位算法的改进  CNKI文献

针对基于经典多维标度的MDS-MAP算法在定位精度方面的不足,为提高传感器定位精度,提出一种基于Euclidean算法的改进型多维标度定位算法(Euclidean-based MDS-MAP(P,C))。算法与经典多维标度算法的区别在于,Euclidean算...

祝义 李迟生... 《计算机仿真》 2010年03期 期刊

关键词: 无线传感器网络 / 欧氏距离算法 / 多维标度

下载(247)| 被引(10)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状