论文部分内容阅读
软件体系结构在软件工程领域中至关重要,而软件体系结构描述语言ADL为软件体系结构的表示和分析提供了语言符号和支持工具。分析和研究了动态形式化描述语言化学抽象机CHAM及其在软件体系结构中的应用。
化学抽象机在软件体系结构中的应用
【摘 要】
：
软件体系结构在软件工程领域中至关重要,而软件体系结构描述语言ADL为软件体系结构的表示和分析提供了语言符号和支持工具。分析和研究了动态形式化描述语言化学抽象机CHAM及
【机 构】
：
哈尔滨师范大学计算机科学与信息工程学院
【出 处】
：
黑龙江科技信息
【发表日期】
：
2008年33期
其他文献
LiBH4有很高的储氢含量，是一种很有应用前途的储氢材料，但是其高吸放氢温度和压力影响了实际应用。综述了近年来LiBH4的研究进展，介绍了目前国内外改进LiBH4吸放氢动力学和热力
介绍设计研制的游梁式抽油机自动控制系统，使抽油机冲次以及上下冲程速度达到无级调节，优化了采油生产工艺，实现抽油机的自动控制，达到了增产、节能目的。
基于贵州省湄潭县2010年航拍遥感影像与2007年的TM（thematic mapper）图像,利用ArcGIS 9.3软件、Fragstats 3.3和SPSS软件,选择了15个景观指数,分析了湄潭县景观指数随粒度变化
介绍一种处理边缘图像较多的情况下的基于多方向插值的帧内的差错掩盖算法，此算法提高了掩盖后的主观图像质量，首先用模糊聚类方法寻找丢失的块和它周围可利用的宏块；然后用多方
面对Internet庞杂的信息库，人们如何快速、准确地找到自己所需的信息已经成为急需解决的问题。主要利用Agent的代理性、智能性、交互性和人性化的特点建立一个基于Agent的获取
2014年5月27日，塞尔维亚诺维萨德大学孔子学院在诺维萨德大学举行揭牌仪式。这家孔子学院由浙江农林大学和诺维萨德大学合作办学，是继贝尔格莱德大学孔子学院后，中国在塞尔维亚
为探求小面积人工绿地三维绿量的分布特征及快速有效的测算方法,以杭州市3家疗养院绿地为研究对象,从中筛选36个20 m×20 m的样地,通过调查并对数据进行处理得到14个群落指标
研究了一种用于机械定位控制的条件反射感知控制方法.利用存储器函数变换原理,以仿人方式的条件反射感知方法来进行控制运算推理过程.介绍了基于该控制方法的控制器工作原理
选用慈竹Neosinocalamus affinis原料压制慈竹重组材,并以水基有机杀菌剂型防霉剂ZJFC-I为防霉剂。防霉剂选用0.3%,0.6%,1.0%,2.0%和3.0%等5个质量分数,采用表面涂刷、常压浸