论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
实时软件系统在现代工业和社会生活中扮演着越来越重要的角色，随着需求的逐步增加，实时系统的软件开发方法学渐渐成为研究的热点问题。形式化方法在实时系统的开发过程中的使用
【发表日期】
：
2004年01期
其他文献
基于贝叶斯技术的分类是当前数据挖掘领域的一个研究热点。本文从两个方面对贝叶斯分类模型进行了深入的研究：半朴素贝叶斯分类与增量贝叶斯分类。 半朴素贝叶斯分类模型对
彝族医药文献，数量和内容丰富，具有很高的发掘价值。然而由于种种原因，目前研究彝医文献的学者并不多，迄今为止，尚未有彝族医药文献综述性文章问世，这样不利于彝族医药文献向纵深的
对同在东方文化这一框架下的两个不同国家中国和韩国的语言和文化进行比较一直是比较学术研究领域的一个重要内容，其中对于两国称谓文化的异同和语言用法异同进行研究也有着重
目的:观察利伐沙班联合护理干预对髋部骨折下肢深静脉血栓形成(DVT)的预防效果。方法:取2018年3月至2019年2月于我院须行髋部骨折手术的40例患者,随机将其分为研究组(20例)及
中国歌剧是歌剧艺术于20世纪早期传入中国后与本土已有的音乐艺术相结合所形成的一种独特的艺术形式，它是一个宽泛的音乐戏剧概念，是在中国民间音乐(尤其是戏曲音乐与歌舞音乐)
党性教育是规范党员干部自身建设以及促进党的建设的重要途径,只有接受党性教育才能让自己的思想随着党的属性、宗旨、作风等不断进步,从而一直保持着先进性,也只有经过党性
江苏无锡新安镇鹌鹑粪肥综合利用开发项目投资金额:60万美元 两个子项目:建设1万吨级鹌鹑有机复合肥料厂,增加副产品附加值,利用“蝇得净”生产鹌鹑无蝇专用鹌鹑饲料1.5万吨
劳教制度废止经历了两次＂政策之窗＂,第一次因终结阻力过大而＂关闭＂,第二次成功突破阻力,劳教制度正式废止。两次＂窗口＂期间,问题源流中问题焦点由制度法理缺陷转变为权力严重滥用,
全球范围内水资源短缺及其对可持续发展的影响，已引起社会各界的广泛关注，甘肃河西地区属西北干旱区的内陆河流域，这一问题显得突出而典型。 目前，河西内陆河流域年缺水量平均