随着嵌入式实时系统低能耗研究的不断深入,软件能耗已经成为影响系统的主要因素,并朝着定量分析方向发展.针对嵌入式实时系统缺乏有效的软件能耗建模与分析的方法,提出一种基于进程代数的嵌入式实时系统软件能耗建模与...
采用国家标准规定的检测方法,对豆渣中的营养成分进行检测,并对其含量声称进行分析。结果表明:豆渣中营养成分丰富,富含蛋白质、膳食纤维、钾、钙、磷,是维生素B1、锌和铜的来源。豆渣符合"高蛋白"、"...
使用LOTOS描述实时系统需求规约,通过建立LOTOS规约到UML-RT模型的模型转换,提出一种基于形式化规约生成软件体系结构模型的方法.最后,通过一个实例来说明如何将该方法应用于实时软件建模.利用这种方法建立的UML-RT模...
基于5E模式下的高三生物学复习课“动物和人体生命活动的调... CNKI文献
基于5E教学模式对人教版高中生物学必修3《稳态与环境》模块第2章"动物和人体生命活动的调节"一章内容进行核心概念教学设计。5E模式是被教育界普遍认可的有效的教学模式,而核心概念的教学是高中生物教学最...
通信顺序进程(communicating sequential process,CSP)是一种经典的形式化方法,CSP_M是在CSP基础上提出的一种函数式语言。目前Web服务组合中BPEL(business process execution language)模型缺乏可执行的形式化编程语...
祝义 黄志球... 《计算机科学与探索》 2018年02期 期刊
关键词： 函数式语言 / 通信顺序进程(CSP) / 业务流程执行语言(BPEL) / 形式化验证
下载（127）| 被引（7）
主要以高中生物学学科社会责任的界定、内容、进阶为理论基础,介绍从引导学生关注社会,激发情感意识;提供多种机会合作参与讨论;从合作讨论到个人独立思考,传播科学生物学知识到解决实际问题,进阶式培养学生的社会责任...
嵌入式软件需求规约到软件体系结构模型的转换研究 CNKI文献
近年来随着嵌入式系统硬件性能的不断提高,嵌入式系统中软件的规模和复杂性也不断增加,软件对整个系统的影响逐渐占据了统治地位,从而使得嵌入式软件设计以及可靠性保障变得越来越困难。传统的嵌入式软件设计方法已经...
对重庆四个区县的不同猕猴桃品种进行营养成分检测并比较分析,结果表明:不同区县不同猕猴桃品种中的营养成分含量水平存在差别。其中,万盛区红心猕猴桃和万州区红心猕猴桃中总糖含量相对较高,在10g/100g以上;万盛区黄...
采用苯酚-硫酸法测定香菇柄中的可溶性糖。利用超声波提取和沸水提取香菇柄中的可溶性糖,再采用苯酚-硫酸法测定其含量,并对方法的精密度、重复性、加标回收率进行考察,以确定方法的准确度。结果表明,该方法的精密度较...
基于核心素养下的以关键问题作引导的教学设计——以“其他... CNKI文献
《普通高中生物学课程标准(2017年版)》(以下简称新课标)提出高中生物学学科核心素养,包括生命观念、科学思维、科学探究和社会责任4个方面。新课标强调学生学习的过程是主动参与的过程,通过探究性学习活动加深对生物...
需求规约到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点,UML-RT广泛用于实时系统软件体系结构建模,然而基于自然语言规约建立的UML-RT模型往往是不精确的,存在二义性,为了解决这一问题,需要赋予UML-RT模...
直流偏磁是指在直流电流进入变压器以后,会使得变压器磁通饱和,励磁电流波形上下不再对称,发生了畸变,并产生大量谐波等一系列的电磁效应。直流偏磁会对变压器产生一系列的影响,如使变压器噪声急剧增大,振动加剧,放出...
针对函数式程序模板元编程的通用性问题,以应用类型系统ATS(Applied Type System)为例,提出了一种基于元建模的模板元编程实现方法。基于ATS模板元编程给出从枚举类型Datatype到Function的生成实例;通过元建模构造了包...
姜辣素是姜中的主要生物活性物质和风味成分。综述了姜辣素的化学组成、性质、功效作用及测定方法。
超声引导下不同置管长度连续股神经阻滞对老年患者膝关节周... CNKI文献
目的评价超声引导下不同置管长度连续股神经阻滞对老年膝关节周围骨折术后的镇痛效果。方法选择嘉定区中心医院麻醉科2016年6月至2018年5月在全身麻醉下行初次膝关节周围骨折内固定术的老年患者120例(ASA分级Ⅰ～Ⅱ),...
超声引导下连续股神经阻滞镇痛用于老年膝关节周围骨折内固... CNKI文献
目的探讨超声引导下连续股神经阻滞用于老年膝关节周围骨折内固定手术后镇痛的临床效果。方法将80例择期全身麻醉下行单侧膝关节周围骨折内固定手术的老年患者按照数字表法随机分为2组,PCIA组40例术后用0. 01%的舒芬太...
用响应面法对猕猴桃果粉的喷雾干燥工艺进行优化。选取料液固形物含量、进风温度、进料速度为响应因子,采用Box-Behnken法设计试验,以感官指标为响应值,通过SAS统计软件进行方差分析和回归分析,得到的最优喷雾干燥工艺...
超声引导下不同置管长度连续股神经阻滞对老年膝关节周围骨... CNKI文献
目的探讨超声引导下两种置管长度连续股神经阻滞对老年膝关节周围骨折术后镇痛效果的影响。方法将全身麻醉下行初次膝关节周围骨折内固定术的老年患者80例随机分为2组,每组40例。术后在手术侧用超声引导下沿股神经分别...
软件体系结构是20 世纪90 年代国际软件工程领域出现的一个研究热点。软件体系结构着眼于软件系统的全局组织形式,是对系统高层抽象的描述。对于大型软件系统而言,软件体系结构的设计已经成为系统成功的关键因素。 ...
