基于小世界网络的数据格式转换研究及Z语言描述


随着科技的发展,信息的海量增加,大量的工程信息需要长期保存。影信息能够在一定长的期限内得以读取,响工程信息长期保存到根本问题是生成信息的软、硬件系统的寿命和需要保护的信息本身的寿命不匹配,这类信息的寿命往往比他们的系统寿命要长的多。为了使得工程信息能够在一定长的期限内得以读取,对信息和数据迁移进行研究,将小世界网络理论引入到数据格式转换模型上,力图为寻求解决问题的途径提供科学依据。


我们对收集到的软件的数据格式进行分析研究,并利用小世界网络模型的性质得到了初始的WS(Watts和Strogatz)小世界网络模型。利用现实中存在的影响数据格式转换关系的部分因素,构建了软件周期网络模型、数据周期网络模型、数据格式周期网络模型和数据失真转换模型。通过分析得知属性模型也有小世界效应,并属于小世界网络模型。通过研究属性模型对WS小世界网络模型的影响,创建了数据格式转换关系模型;通过验证得知数据格式转换关系模型也属于小世界网络模型,即得到了所要的数据转换关系的最佳小世界网络模型。这些小世界网络模型为数据移存提供了最佳的数据移存路径。因此,便有利于找到最有效率的数据移存方案。


Z语言是一种形式化描述语言,可以比较直观、有条理、精确无歧义的对构建过程进行形式化说明,为数据格式转换关系最佳小世界网络模型的构建提供了严密的数学描述以保证后续系统的设计和开发。我们对小世界网络模型的构建过程进行了Z语言描述,从而为解决上述问题提供了严格的理论模型。