SysML(系统建模语言Systems Modeling Language)是一种通用的图形化的建模语言,是UML2.O的一个外廓。目前,SysML已经成为系统工程......

本文给出了rCOS语言的一种操作语义。并说明该操作语义在程序分析中的一个应用,即模式识别。为了能够判断在以rCOS为元语言编写的......

自70年代以来,CM橡胶是合成橡胶中使用量增长速度最快的一类产品,在电缆行业中应用发展更快。随着国民经济的发展和家用电器的普及......