基于分离逻辑的并行程序性质验证方法

随着多核多线程并行执行方式的普及,并行程序形式化验证的需求日显突出。并行程序验证中执行流程的不确定性使验证的内容与目标的关系难以确定,且从并行程序直接进行性质验证会导致验证规模大。为此,提出一种基于分离逻辑的新的验证方法。该方法根据分离逻辑的程序语义描述兼有解释语义和公理语义的特点,从验证的性质出发,把要验证的性质式转换成并行语句序列的逻辑组合式,并进行整理和化简;然后,利用分离逻辑公理系统对语句序列进行验证,用验证了的断言集来求出性质的真值。实例进一步说明,此方法更有效,同时也简化了验证的规模。

国外政务信息资源长期保存政策研究

论文在对美国、加拿大、澳大利亚政务信息资源长期保存政策进行全面梳理和特点分析的基础上提出:我国在制定相关政策时应明确责任主体,建立协同合作管理机制;立足政务活动实践,从资源类型出发确定政策的覆盖面;注重同档案馆和第三方机构合作,解决长期保存专业性问题。

大数据的权属亟需立法界定

大数据作为一种“资产”，其权属问题仍未纳入法律保护与监管范围。大数据产业发展、文化传承和社会记忆的留存均亟待大数据权属的立法界定。充分认识大数据的资产性质是发展大数据产业的观念基础。

国外科研记录与数据管理实践对我国科研项目档案管理的启示

本文通过梳理国际档案理事会(ICA)和美国自然科学基金委(NSF)科研记录与数据管理的理论与实践,总结出基于科研项目生命周期、以科研项目成果开放利用为导向的两种科研项目记录与数据管理模式。在此基础上提出,我国应该立足科研项目全生命周期,厘清文件归档范围与管理责任,实行科研项目档案全流程管理;强化科研项目前端控制思想,提前制订科研项目档案管理计划;构建多方主体合作机制,制订推动科学发展的档案管理方案;顺应信息时代变革,强化数字环境下科研项目档案的收、管、用。