On a nonlocal model in thermal electricity I:model derivation

只有想不到，没有做不到。可执行的UML模型驱动开发方法，在设计的过程中完成开发。企业开发应当可以从中受益，写写小程序就没有必要用了。

model checking 的ppt，应该有帮助的

根据数据库生成Model的工具，支持多种开发语言，多种数据库

Domain model manual 324

包括hsv、ndvi分离水体和陆地、ndvi提取水体、图像边界两侧像元识别、对植被区做中值平滑、非定向边缘增强_含边界像元识别、太阳高度角和坡度矫正以及图像拉伸0-255等model，格式为Erdas

人工智能人脸表情分类，google官方模型，TensorFlow学习

PrinciplesoftheSpinModel

Tutorial:Abstract.Wesurveyprinciplesofmodelcheckingtechniquesfortheautomaticanalysisofreactivesystem

是arcgis开发文档，对于了解gis是一个不错的入门文档

对ARCGIS学习很好的东西哦，主要介绍ESRI的一些模型和功能，特别主要介绍了他们的一些应用