Traditional requirements method has some problems when it is used for large distributed systems. Multiple viewpoints oriented requirements method (MVORM) is a new method for resolving these problems. This paper develo...Traditional requirements method has some problems when it is used for large distributed systems. Multiple viewpoints oriented requirements method (MVORM) is a new method for resolving these problems. This paper develops two generic formal frameworks of MVORM, framework based on refinement relation (FBRR) and framework based on implementation relation (FBIR). They are generic, because no assumptions are made about the development process or the formal description languages to be used. Three kinds of specification relations and three kinds of specification transformations are discussed over FBIR and FBRR. This paper also compares the equivalence between FBIR and FBRR. We point out that an equivalent FBIR can be found for any FBRR, but reverse transformation is not always possible. We think FBIR is better than FBRR on most cases.展开更多
环糊精金属有机框架(Cyclodextrin based metal-organic frameworks,CD-MOFs)结合了环糊精(Cyclodextrin,CD)和金属有机框架(Metal-organic frameworks,MOFs)的优点,具有突出的多孔性和高比表面积,可以实现对目标生物活性成分的负载,在...环糊精金属有机框架(Cyclodextrin based metal-organic frameworks,CD-MOFs)结合了环糊精(Cyclodextrin,CD)和金属有机框架(Metal-organic frameworks,MOFs)的优点,具有突出的多孔性和高比表面积,可以实现对目标生物活性成分的负载,在食品领域表现出巨大的应用潜力。本文总结了CD-MOFs的常用制备方法,阐述了超声和微波在常用合成方法中的辅助功能,介绍了种子介导制备新方法,总结了各种合成方法的优缺点;探讨了CD-MOFs在食品活性成分的负载和递送、污染物的检出、吸附及去除和乳液稳定剂方面的应用;并对CD-MOFs在食品领域的发展前景进行了展望。展开更多
基金Supported by Natural Science Foundation of Hubei Province (98J0 75 ) Ziqiang Technical Innovation Foundation ofWuhan Universi
文摘Traditional requirements method has some problems when it is used for large distributed systems. Multiple viewpoints oriented requirements method (MVORM) is a new method for resolving these problems. This paper develops two generic formal frameworks of MVORM, framework based on refinement relation (FBRR) and framework based on implementation relation (FBIR). They are generic, because no assumptions are made about the development process or the formal description languages to be used. Three kinds of specification relations and three kinds of specification transformations are discussed over FBIR and FBRR. This paper also compares the equivalence between FBIR and FBRR. We point out that an equivalent FBIR can be found for any FBRR, but reverse transformation is not always possible. We think FBIR is better than FBRR on most cases.
文摘环糊精金属有机框架(Cyclodextrin based metal-organic frameworks,CD-MOFs)结合了环糊精(Cyclodextrin,CD)和金属有机框架(Metal-organic frameworks,MOFs)的优点,具有突出的多孔性和高比表面积,可以实现对目标生物活性成分的负载,在食品领域表现出巨大的应用潜力。本文总结了CD-MOFs的常用制备方法,阐述了超声和微波在常用合成方法中的辅助功能,介绍了种子介导制备新方法,总结了各种合成方法的优缺点;探讨了CD-MOFs在食品活性成分的负载和递送、污染物的检出、吸附及去除和乳液稳定剂方面的应用;并对CD-MOFs在食品领域的发展前景进行了展望。
