形式化分析
更新时间:-- | 阅读量: 75

也称形式化分析。它是一种对文献的内容进行定量分析的文献分析方法。...内容分析的缺点是：由于这种方法需采用具体的、数量上可测的参数来对广泛的文献资料进行分析，而文献中远不是所有内容都能借助形式化的数量指标来测量的，因此，不能完整地详细地揭 ...

搜索到与“ 形式化分析”相关的文献共 1条

基于模式识别的Lebesgue积分在PVS中的形式化证明与分析
针对传统模型验证方法存在效率低和模型较为复杂的缺点，将Lebesgue积分的运算特征引入模型验证和测试，提出一种基于Lebesgue积分的形式化验证和测试方法。通过不等式计算、闭区间子集可积分性、多重...

《四川理工学院学报（社会科学版）》 2015年5期关键词: "Lebesgue积分","PVS","形式化","反相积分器" 收藏