Formalized相关论文
The goal of this paper is to take a further step towards an ontological approach for representing requirements informati......
Petri网以其图形化的表示方式广泛应用于形式化推理中。基于模糊有色Petri网的形式化推理算法,以系统内部事务之间的逻辑关系为依......
组织模型是核电企业信息系统(Nuclear Enterprise Information System,NEIS)重要的基础模型,任何NEIs都是建立在相应的组织模型基础上......
文章提出了一种客户驱动的大批量定制模型的参数映射方法,从客户角度考虑,分析了客户驱动参数类型,研究了驱动参数类型的描述方法,......
明武学在宋代武学的基础上创设和发展,是中国古代历史上所独有的为武官子弟而特设的“贵族学校”,与卫学、儒学并重,成为明王朝教......
本文首先把制度定义为经济系统对它的经济元及其子系统的约束和影响(称为制度要素),以及这些不同的约束和影响之间的关系构成的有机......
Comparing community birdwatching and professional bird monitoring with implications for avian divers
Background:In the past decades,birdwatching as a hobby developed rapidly and produced ample scientific records that have......