计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2005年
7期
64-66
,共3页
程序设计语言%程序规范说明%模型论%范畴论
程序設計語言%程序規範說明%模型論%範疇論
정서설계어언%정서규범설명%모형론%범주론
Institution作为一般框架下的逻辑系统,在数据库理论、程序设计语言、模块化技术和人工智能等方面有着重要的应用.论文主要研究了Institution范畴的完备性,它直观上表明如果基调类可分解,那么它们对应的Institution也可分解.这为大规模程序设计中模块化程序的安全分解和调用提供了一定的逻辑支持.首先,根据基调类范畴中的极限r:Sign→D',构造了一个Institution&,讨论了&中的一些性质,特别是闭包引理和表示定理;然后又建立了Institution范畴Ins中相应的极限r:&→D,得到了遗忘函子U:Ins→Sig反射极限的重要结论,从而推广了Sign:Th→Sign反射余极限的关键性结果;最后给出了Ins的完备性定理.
Institution作為一般框架下的邏輯繫統,在數據庫理論、程序設計語言、模塊化技術和人工智能等方麵有著重要的應用.論文主要研究瞭Institution範疇的完備性,它直觀上錶明如果基調類可分解,那麽它們對應的Institution也可分解.這為大規模程序設計中模塊化程序的安全分解和調用提供瞭一定的邏輯支持.首先,根據基調類範疇中的極限r:Sign→D',構造瞭一箇Institution&,討論瞭&中的一些性質,特彆是閉包引理和錶示定理;然後又建立瞭Institution範疇Ins中相應的極限r:&→D,得到瞭遺忘函子U:Ins→Sig反射極限的重要結論,從而推廣瞭Sign:Th→Sign反射餘極限的關鍵性結果;最後給齣瞭Ins的完備性定理.
Institution작위일반광가하적라집계통,재수거고이론、정서설계어언、모괴화기술화인공지능등방면유착중요적응용.논문주요연구료Institution범주적완비성,타직관상표명여과기조류가분해,나요타문대응적Institution야가분해.저위대규모정서설계중모괴화정서적안전분해화조용제공료일정적라집지지.수선,근거기조류범주중적겁한r:Sign→D',구조료일개Institution&,토론료&중적일사성질,특별시폐포인리화표시정리;연후우건립료Institution범주Ins중상응적겁한r:&→D,득도료유망함자U:Ins→Sig반사겁한적중요결론,종이추엄료Sign:Th→Sign반사여겁한적관건성결과;최후급출료Ins적완비성정리.