论文部分内容阅读
本文在分析面向对象和形式化方法两种重要系统建模方法的基础上，论述了两种方法的关系，指出二者互补、组合的优越性，概述了各种领域里的组合应用，并进一步设想未来的发展方向可能是二种方法的优点的活用和统一。
面向对象模型与形式化方法
【摘 要】
：
本文在分析面向对象和形式化方法两种重要系统建模方法的基础上，论述了两种方法的关系，指出二者互补、组合的优越性，概述了各种领域里的组合应用，并进一步设想未来的发展方向可能
【机 构】
：
中国科技大学电子工程与信息科学系
【出 处】
：
小型微型计算机系统
【发表日期】
：
1999年10期
其他文献
2020年4月,中央政治局会议强调加大"六保"工作力度,明确提出保产业链供应链稳定。近年来,中央高度重视产业链安全保障,提出打好产业基础高级化、产业链现代化的"两化"攻坚战
为了快速筛选具有拮抗芽孢杆菌菌株,试验以20株拮抗芽孢杆菌为研究对象,采用PCR对4类芽孢杆菌抗菌脂肽合成酶基因进行检测,并通过不同基因型菌株的抑菌活性测定,评价芽孢杆菌
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
区块链技术是当下最热门的技术这一,随着近几年互联网技术和信息技术的发展,也带动了区块链技术的崛起。而供应链管理又是区块链技术应用当中最为重要的领域之一,区块链技术
本文以电力变压器油气成分和含量数据为例，探讨将神经网络方法用于复杂信息模式分类的问题。在改进遗传算法和ＢＰ算法的基础上，提出一种新的改进型ＧＡ－ＢＰ算法与结合模型。实际运行结果表
在介绍中国外来入侵物种种类的基础上,论述了其侵入途径、分布范围及危害状况,提出了人工防治、机械防治、化学防治、生物防治、综合防治等预防和控制措施,比较了各种方法的
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
Ｃ／Ｓ模式在Ｉｎｔｒａｎｅｔ环境中获得了巨大的发展，然而Ｉｎｔｒａｎｅｔ环境中特有的异构特性使得应用软件的客户方分离为浏览器和传统程序两类模式。常规软件开发针对不同性质的客户采取不同的策略，往往导致计算
【正】近日来,随着市场价格的缓 慢攀升,大连玉米期货交易量、 持仓量连续两周稳步放大,已从 两周前的日均12万手的成交量, 增长到日均成交32万多手,持仓 量也增至26.8万多手
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield