统计报表校核关系程序形式化生成方法的研究

来源 :福建电脑 | 被引量 : 0次 | 上传用户:wenjun456852
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为保证统计报表数据的正确性,需要根据表内与表间的校核关系进行判断。针对校核关系程序的开发方法进行分析,通过形式化的定义,实现报表校核程序的自动生成,保证了程序的完整性和正确性。同时采用全组合编码的方式解决了报表选择输出时,校核关系有效性的问题。
其他文献
一、简单IF语句求分段函数的函数值    例1 邮政部门托运行李的收费方法如下:
针对目前题库的组卷功能智能化程度不高以及组卷效率低的问题,设计运用遗传算法进行智能组卷的题库系统。分析了试卷组卷的约束条件,建立适当的适应度函数、选择算子、交叉算子
就目前高校软件测试教学中所存在的问题,分析当下企业对软件测试人员的职业能力的要求,并结合高校现有资源条件,对软件测试课程的教学内容、教学方法、实践环节等方面进行了
职业发展的规划和完善对于图书馆员及图书馆发展至关重要。而当前的图书馆员在职业发展规划上存在职业意识薄弱、职业层级单一、职业竞争力不强、职业教育管理缺失等诸多问题
新常态下推进党风廉政风险防控的有效落地,是一种理念和方式上的创新,也是一项持久的系统工程.结合基层供电企业工作实际,阐述了企业强化党风廉政工作机制的有效手段,提出了
通过对当代中国社会分层中所体现出的道德差序的分析与研究,来揭示一种动态的道德转向及所体现出的在社会垂直分层中的一种普遍存在的由公道德占主体向私道德占主体转变的倾
近年来,随着网络技术的发展,校园网的建设已成为高校实力与发展水平的标志.随着办学的规模、层次正在迅速地扩大和提高,建设一个先进、实用的校园网,实现校内外信息的快速传