【摘 要】
:
本文探讨了PCTE模式的表达,形式定义及其理解问题。侧重说明VDM-SL在PCTE规格中的作用,能力和局限性,我们的结论是:包括VDM-SL在内的现有定义手段,尚不足以全面准确地给出多级描述。
论文部分内容阅读
本文探讨了PCTE模式的表达,形式定义及其理解问题。侧重说明VDM-SL在PCTE规格中的作用,能力和局限性,我们的结论是:包括VDM-SL在内的现有定义手段,尚不足以全面准确地给出多级描述。
其他文献
研究目的:探究加压低强度抗阻训练对游泳运动员下肢肌肉肌纤维募集及后激活增强效应的影响。研究方法:实验对象选取12名北京市游泳队队员(年龄:18.3±3.28岁,身高:180.75±5.38cm,体重:73.41±8.70kg),实验方案为随机交互设计,实验结果采用自身前后对照分析,每名受试者共需进行3次抗阻训练干预,每次干预间隔72小时,在每天同一时间进行。3次干预方案分别为:高强度抗阻训练组(H
海洋在人类社会的发展中占有着非常重要的地位,它为人类提供了丰富的生产资源以及生活资源,但如今,随着人们对海洋资源的开发与利用,海洋因而遭受到了很多严重的污染,在众多
针对内蒙河套灌区引黄灌溉水量配额减小,灌区工程老化失修,以及灌溉用水效率低下的现状,提出了以续建配套、调整作物种植结构以及井渠结合、充分利用地下水的节水改造方案,并对灌
有一则寓言叫“绿猫寓言”——讲述中国经济发展模式的顺时而变,见证中国环保产业和新能源产业的蓬勃滋长;有一种经济叫“循环经济”——追求更少的资源消耗、更低的环境污染,创
农田水利在我国有着悠久的历史。中华人民共和国成立后,国家把水利作为农业的命脉和国民经济的基础设施给予高度重视,农田水利事业得到了快速发展。50年来,农田水利建设取得巨大成
本文为水利部汪恕诚部长1999年12月26日在全国水利系统水电及农村电气化工作会议上的讲话。 新中国成立50年来,特别是改革开放以来,邓小平同志亲自倡导开发小水电,解决山区生产生活用电,促
目的:通过对精神科口服给药差错原因分析,制定了改进措施,减少和避免发药差错的发生,保证护理安全。方法:采用鱼骨图的形式,对2013年元月—2014年4月在本院精神科某病区发生
印度西北丘陵山区是人类和动物干扰非常敏感的地区.为了满足当地居民粮食、饲料、纤维和能源的需要,在脆弱的丘陵坡地进行农业生产是不可避免的.因此,为了确保土地资源的可持
介绍4种花、叶、茎、干、果都具有较高观赏价值的野生或栽培类型灌木的形态特征、生长习性、产地分布、观赏特点及园林用途.
<正>刚开始被叫作"小尼"时,他才23岁,现在他已经35岁了。曾经,央视一号演播厅是他的梦想,这条筑梦之路,他走了10年。2006年,主持中央电视台益智游戏类节目《开心辞典》;2013