3.3.1 分布式科技资源的形式化描述