论文部分内容阅读
研究了ＭＲＰＩＩ系统开发的形式化方法。使用形式化语言ＲＳＬ定义ＭＲＰＩＩ系统的规范和精化关系。以库存管理子模块为例，详细介绍了将形式化方法ＲＡＩＳＥ应用于ＭＲＰＩＩ系统的规范、精化、验证和实现。
MRPII系统开发的一种形式化方法
【摘 要】
：
研究了ＭＲＰＩＩ系统开发的形式化方法。使用形式化语言ＲＳＬ定义ＭＲＰＩＩ系统的规范和精化关系。以库存管理子模块为例，详细介绍了将形式化方法ＲＡＩＳＥ应用于ＭＲＰＩＩ系统的规范、精化、验证和实现。
【机 构】
：
华东理工大学计算机科学与工程系
【出 处】
：
华东理工大学学报：自然科学版
【发表日期】
：
1998年3期
【基金项目】
：
上海市科技发展基金,国家自然科学基金
其他文献
系统研究了含有一价碱金属卤化物的Ｇａ２Ｓ３－ＧｅＳ２－ＫＣｌ系统玻璃的制备与形式区，某些典型玻璃的光学和物理化学性质。
通过测定，得出马来酸酐改性聚丙烯（ＭＰＰ）是提高玻璃纤维与聚丙烯树脂界面剪切强度的关键因素，而偶联剂的变化对体系界面剪切强度的影响较少，用仪器分析证实了酸酐基因与玻璃纤维表面发
在一连续操作的泡沫精馏塔中，详细 塔中泡沫在上升过程中的排液和聚并，对液膜和Ｐｌａｔｅａｕ边界中的液含量及蛋白质含量进行了衡算，从而建立了分离过程传质的数学模型，并用试验对模型进行了
研究了产核苷磷酸化酶大肠杆菌的摇瓶培养和发酵罐培养特征以及乙酸盐和底物诱导对核苷磷酸化酶活力的影响。结果表明：摇瓶培养时，延长菌体培养时间，菌体部分自溶时酶的转化率最
研究了ＳｉＯ２化学机械抛光（ＣＭＰ）浆料制备过程中水溶液ｐＨ值，分散时间，搅拌转速，母液浓度，分散工艺等因素对制备及浆料性能的影响，讨论了母液法，直接法分散机理。
将化学镀铜层分别用浸油热处理、磷化膜处理和铬酸盐钝化处理的方法进行实验研究，结果表明：铬酸盐钝化处理是其中最好的方法。它可以提高镀铜层的表面抗氧化性能，耐磨性能以及光
结合青霉素发酵过程，考究了产黄青霉形态变化和发酵罐中剪切环境对菌体形态的影响。考察的产黄青霉菌株对强剪切作用呈现出瞬时响应和逐渐衰减的反应机制，实际剪切强度介于发酵
目的观察胶原酶浓度对大鼠胰岛分离纯化产量的影响,筛选出获取高产量胰岛的最佳消化液的胶原酶浓度。方法 75只雄性SD大鼠按胶原酶浓度分为5组：Ⅰ组（0.5 mg/ml）、Ⅱ组（0.75 mg/ml
以催化裂解重柴油为原料，用常压热处理方法制备具有良好纺丝性能的中间相沥青，并用熔融法进行纺丝试验。考察了能成纤维的中间相沥青的显微结构、软优化点范围、中间相含量及在
考察了制备 方法、焙烧温度和成型助剂对甲缩醛氧化制甲醛铁相钴三元催化剂活性的影响。采用比表面、孔结构、ＸＲＤ和ＸＰＳ等测试技术研究了催化剂的宏观结构、晶相组成，表面、钼离子价