排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
ADEPT模型具有分布式对称控制结构, 可以对控制流、数据流建模. 但由于ADEPT模型未被形式化描述, 所以无法判断过程模型及其实例的正确性.对ADEPT模型进行了形式化定义, 并结合实例状态机给出了过程实例的形式化描述; 在此基础上提出了用于验证过程模型正确性及过程实例一致性的优化方法. 相似文献
2.
设计并合成一种用于治疗肿瘤的放射性125I标记的药物前体: 2-(2,-磷酸化羟苯基)-6-碘-4-(3氢)-喹唑啉酮,并经荧光光谱、FTIR、MS和NMR确证了目标化合物的结构.在碘标记当中,使用双(三丁基)锡来活化标记困难的有机分子,方法操作简单,定位准确,结果证明有用. 相似文献
1