排序方式: 共有5条查询结果,搜索用时 15 毫秒
1
1.
2.
UML是软件开发的标准语言,已经广泛运用于各种领域的软件设计建模之中。但是UML的半形式化表达方式缺乏准确的语义,使其无法在软件设计过程中针对需求的一致性进行分析,因此需要使用一种形式化方法对UML模型进行描述。以高速列车控制系统为例,基于B方法对用例图模型与顺序图模型进行形式化转换,对两种模型中各组成部分从语义角度分别进行了描述,从而完整地刻画了UML模型所描述的系统需求。 相似文献
3.
4.
长春市北郊污泥处置厂采用CTB污泥好氧发酵工艺,发酵过程由温度、氧气等监测设备联合反馈自动控制。该工程接纳处置长春市5个污水厂的脱水污泥,处理规模为400 t/d,是目前我国正式投入运行的最大的市政污泥好氧发酵工程。污泥发酵周期为24 d,发酵产品质量符合《城镇污水处理厂污泥处置农用泥质》(CJ/T 309—2009)的要求,车间及厂界内空气质量良好,满足《恶臭污染物排放标准》(GB 14554—93)的要求。该工程的稳定运行标志着CTB污泥好氧发酵工艺在我国的绝大部分地区范围内均可适用。 相似文献
5.
精炼LF炉35KV变压器是炼钢工艺的关键设备,一旦发生渗油事故,将对电弧加热正常冶炼带来严重影响,因此分析变压器事故原因,找出解决办法是变压器检修维护的一项重要工作。 相似文献
1