（计算机系统结构专业论文）基于社保审计知识的审计方法发现研究.pdf

c l a s s i f i e di n d e x ： u d c ： ad i s s e r t a t i o nf o rt h ed e g r e eo f m e n g r e s e a r c ho na u d i tm e t h o d d i s c o v e r e dba s e do nso c i a li n s u r a n c e a u d i t k n o w l e d g e c a n d i d a t e ： s u p e r v i s o r ： a c a d e m i cd e g r e ea p p l i e df o r ： s p e c i a l i t y ： d a t eo fs u b m i s s i o n ： d a t eo f o r a le x a m i n a t i o n ： u n i v e r s i t y ： z o ug u a n l i p r o f h u a n gs h a o b i n m a s t e ro f e n g i n e e r i n g c o m p u t e rs y s t e ma r c h i t e c t u r e d e c e m b e r , 2 0 0 9 m a r c h , 2 0 1 0 h a r b i ne n g i n e e r i n gu n i v e r s i t y p 。- 畸 龟 哈尔滨工程大学 学位论文原创性声明 本人郑重声明：本论文的所有工作，是在导师的指导下，由 作者本人独立完成的。有关观点、方法、数据和文献的引用己在 文中指出，并与参考文献相对应。除文中已注明引用的内容外， 本论文不包含任何其他个人或集体已经公开发表的作品成果。对 本文的研究做出重要贡献的个人和集体，均已在文中以明确方式 标明。本人完全意识到本声明的法律结果由本人承担。 作者( 签字) ：铘丧勿 日期：2 杪p 年3 月j 6 日 哈尔滨工程大学 学位论文授权使用声明 本人完全了解学校保护知识产权的有关规定，即研究生在校 攻读学位期间论文工作的知识产权属于哈尔滨工程大学。哈尔滨 工程大学有权保留并向国家有关部门或机构送交论文的复印件。 本人允许哈尔滨工程大学将论文的部分或全部内容编入有关数据 库进行检索，可采用影印、缩印或扫描等复制手段保存和汇编本 学位论文，可以公布论文的全部内容。同时本人保证毕业后结合 学位论文研究课题再撰写的论文一律注明作者第一署名单位为哈 尔滨工程大学。涉密学位论文待解密后适用本声明。 本论文旧在授予学位后即可口在授予学位1 2 个月后口解 密后) 由哈尔滨工程大学送交有关部门进行保存、汇编等，、 作者( 签字) ：群力导师( 签字) _ 荔0f 窆j | 。 f l 。 日期： 2 pj o 年月朋日- e o 年3 月膨日 哈尔滨丁程大学硕+ 学位论文 摘要 目前，由于国家和地方有许多相关的社会保险政策，如果审计方法仍然 采用人工的方式从这些政策中提取，效率低下。本文所进行的研究正是要解 决这个问题。 本文介绍了知识表示方面的理论、社保业务流程和基本养老保险政策的 特点，据此选择概念从属树表示政策中的概念。根据概念从属森林的定义和 特点，给出了概念从属森林的创建流程，并对它进行了分析；把政策中的概 念按照分类的形式建立成概念从属树，由这样许多的概念从属树组成概念从 属森林；把基本养老保险政策中的定义、公式和论断性语句表示成产生式规 则。基于社保政策概念从属森林和产生式规则这些审计知识，给出了基于不 一致规则和基于规则推理发现审计方法的两种模式，并针对这两种模式的审 计方法发现过程给出了详尽的说明。在此基础之上，给出了审计方法发现过 程，得到审计方法。 关键词：社会保险；审计方法：概念从属森林；规则推理 t 嗉 哈尔滨t 程大学硕七学位论文 iil-。i ii i- i ii i 审 a b s t r a c t c u r r e n t l y , b e c a u s en a t i o na n da r e ah a v em a n ys o c i a li n s u r a n c er e l a t e d p o l i c y s ，i fa u d i tm e t h o d sw i l lb ep r o p o s e db yp e o p l ef r o mt h e s ep o l i c y sy e t ， e f f i c i e n c yi sv e r yl o w t h ep r o b l e m w i l lb es o l v e db yr e s e a r c ho ft h et h e s i s t h et h e o r yo fk n o w l e d g ee x p r e s s i o n , p r o c e s so fs o c i a li n s u r a n c eb u s i n e s s a n df e a t u r e so fb a s i cp e n s i o ni n s u r a n c ep o l i c yh a v eb e e ni n t r o d u c e db yt h et h e s i s ， a n da c c o r d i n g l y , t h ec o n c e p ts u b o r d i n a t et r e ew a sc h o s e dt oe x p r e s st h ec o n c e p t s o fp o l i c i e s a c c o r d i n gt ot h ed e f i n i t i o na n df e a t u r e so ft h ec o n c e p ts u b o r d i n a t e f o r e s t ，ac r e a t ep r o c e s so ft h ec o n c e p ts u b o r d i n a t ef o r e s tw a sg i v e na n da n a l y z e d t h ec o n c e p t so ft h ep o l i c i e sa r ee s t a b l i s h e dt ot h ec o n c e p ts u b o r d i n a t et r e ei n f o r mo fc l a s s i f i c a t i o n t h ec o n c e p ts u b o r d i n a t ef o r e s ti sc o m p o s e do fm a n ys u c h c o n c e p ts u b o r d i n a t et r e e s d e f i n i t i o n s ，f o r m u l a s ，a n dj u d g m e n ts t a t e m e n t s i n p o l i c i e sa r ee x p r e s s e di nf o r mo fp r o d u c t i o nr u l e b a s e do nt h e s ea u d i tk n o w l e d g e o fs o c i a li n s u r a n c et h a ti st h ec o n c e p ts u b o r d i n a t ef o r e s ta n dp r o d u c t i o nr u l eo f s o c i a li n s u r a n c ep o l i c i e s ，t w ok i n d so fm o d e l st h a ta r eb a s e do ni n c o n s i s t e n tr u l e a n db a s e do nr u l e - b a s e dr e a s o n i n gw e r eg i v e nt od i s c o v e r i n ga u d i tm e t h o d s ，a n d t h ed e t a i ld e s c r i p t i o n sw e r eg i v e nf o rt h ep r o c e s so ft h ea u d i tm e t h o dd i s c o v e r i n g i nt h et w ok i n d so fm o d e l s o nt h i sb a s i s ，ad i s c o v e r i n gp r o c e s so ft h ea u d i t m e t h o d sw a sg i v e n , a n dt h ea u d i tm e t h o d sw e r er e c e i v e d k e y w o r d s ：s o c i a li n s u r a n c e ；a u d i tm e t h o d ；ac o n c e p ts u b o r d i n a t ef o r e s t ；r u l e b a s e dr e a s o n i n g 哈尔滨_ t 程大学硕士学位论文 目录 第l 章绪论1 1 1 课题来源l 1 2 研究的目的和意义1 1 3 国内外研究现状一2 1 4 主要研究内容一6 1 5 论文结构安排一6 第2 章社保业务分析和知识表示8 2 1 社保业务分析8 2 1 1 初次登记、变更登记、注销登记9 2 1 2 核定缴费基数业务流程1 0 2 1 3 基本养老保险费征集业务流程1 0 2 1 4 个人账户记录处理流程1 1 2 1 5 享受基本养老保险待遇核定的业务流程“1 2 2 1 6 基本养老保险待遇支付流程”13 2 2 基本养老保险政策的特点1 4 2 3 知识表示15 2 3 1 知识表示的定义“1 5 2 3 2 知识表示的方法一1 6 2 3 3 知识表示的选择1 8 2 3 4 概念从属理论1 9 2 4 本章小结2 0 第3 章基于概念从属森林模型的政策表示2 1 3 1 概念从属树定义2 1 3 2 概念从属森林模型2 3 3 2 1 概念从属森林的定义2 3 3 2 2 概念从属森林模型的特点”2 3 哈尔滨t 程大学硕+ 学位论文 3 2 3 概念从属森林的创建”2 4 3 3 4 概念从属森林创建流程时空分析“2 7 3 3 基于概念从属森林模型对基本养老保险政策的表示2 9 3 3 1 概念从属树对基本养老保险政策的表示方法”2 9 3 3 2 概念从属森林模型对基本养老保险政策的表示方法”3 1 3 4 本章小结3 4 第4 章基本养老保险政策规则表示及组织方式3 5 4 1 现有审计方法与政策之间的关系3 5 4 2 规则表示形式的选择3 7 4 - 3 基本养老保险政策产生式规则设计及表示3 8 4 3 1 基本养老保险政策产生式规则的设计模式3 8 4 3 2 基本养老保险政策产生式规则的表示方法4 0 4 4 基本养老保险政策规则的组织形式4 8 4 5 本章小结4 9 第5 章审计方法发现研究5 0 5 1 概念从属森林模型与规则之间的关系5 0 5 2 审计方法发现模式51 5 2 1 基于不一致规则的审计方法发现模式51 5 2 2 基于规则推理的审计方法发现模式5 5 5 3 审计方法发现过程5 8 5 4 发现的审计方法6 0 5 5 本章小结6 l 结论”6 2 参考文献“ 攻读硕士学位期间发表的论文和取得的科研成果6 8 致谢”6 9 哈尔滨t 程大学硕十学付论文 第1 章绪论 1 1 课题来源 国家审计署提出了社会保障联网审计项目( 金审一期重点项目) 的任务。 在审计署社会保障审计司、审计署计算机技术中心的规划指导下展开工作， 组织项目研发。社会保障联网审计系统在浙江省湖州市、北京市、天津市、 重庆市、四川省宜宾市、青海省、陕西省、河北省、福建省厦门市、广东省 等省市部署推广。在此基础之上一直完善系统的功能，并且现有的审计方法 在实际的审计过程中得到了检验。到目前为止，社会保障联网审计系统已开 发了2 0 版本，已在黑龙江省本级和地市进行基本养老保险审计实践。 本研究课题正是来源于国家自然科学基金( 6 0 8 7 3 0 3 8 ) 一复杂信息系统 模型及并行运行检验理论与应用研究，国家科技支撑计划( 2 0 0 9 b a h 4 2 8 0 2 ) 一政府预算执行动态审计检测关键技术研究及示范的研究内容。 1 2 研究的目的和意义 目前，计算机审计已广泛应用到社会保险审计中，提高了审计效率并且 扩大了审计范围。计算机审计使用了很多审计方法，但是这些审计方法都是 基于社会保险国家政策、地方政策和专家经验。由于日益增多的国家政策和 地方政策，增加了审计人员掌握这些政策相关性的困难，且效率不高，提出 相应的审计方法需要一个过程。现有的某些审计方法在一个地方适用，而在 另一个地方不适用，这就需要审计人员自定义一些方法，补充已有的审计方 法。因此急需找到一个解决目前现状的方法，快而有效地提出审计方法，来 完善目前的审计方法体系。 由于社会保险受国家政策和地方政策约束，应该从国家政策和地方政策 入手，探索审计方法发现方法。国家政策本身形成通用的审计方法，地方政 策形成地方特色的审计方法，国家政策与地方政策之间的矛盾形成的审计方 法。由这三方面组成较为完善的审计方法。较为完善的审计方法，能更有效 哈尔滨工程大学硕士学位论文 地发挥计算机审计的效果，有效地监督社保部门的行为，维护参保人员的权 益，具有十分重要的意义和作用。 1 3 国内外研究现状 现有的审计方法作为计算机辅助审计软件的一部分，能更有效地发挥计 算机辅助审计的作用。有的计算机辅助软件把这些审计方法嵌入其中，作为 其固有的一部分；有的计算机辅助软件只是提供一个平台，让审计人员自助 设计审计方法。因此，需要了解计算机辅助审计的定义、理论研究现状和其 软件现状。 1 计算机辅助审计的定义 随着信息技术的发展，审计数据量的增多和审计范围的扩大，传统手工 审计方式变得低效，甚至对某些方面无从下手1 。因此，为了更好地做好审 计工作，审计人员采用计算机辅助审计技术而不纯粹是手工的去完成审计工 作。当前的社会保险审计是一个很好的佐证，正在开展利用计算机去审计社 保数据，而不再是纯手工的去查社保的数据报表。从广义讲，计算机辅助审 计技术( c o m p u t e ra s s i s t e da u d i tt e c h n i q u e s ，c a a t s ) 是在实际审计的过程 中使用的任何技术闭。 c a a t s 的概括性的概念：为了满足信息化环境下审计的需要，基于计算 机的用来对信息系统，或经信息系统处理的数据进行审计的技术p 1 。从计算 机辅助审计的定义可知，计算机辅助审计是随着计算机和信息技术的发展， 而对审计工作采用的一种新的审计方式，此方式能提高审计效率，增强审计 效果。这也是着手开发计算机社保审计系统的原因所在。 2 国内外计算机辅助理论研究现状 世界各国的审计机关和社会审计组织都对计算机辅助审计进行了研究和 实践。2 0 0 0 年，英国审计署采购了普华公司的t e a m m a t e ，把标准的审计方法 嵌入此软件，形成了t e a m 2 1 ，用于审计【q 。德国审计法院建立了自己的“自 动审计设计与信息系统( a p i s ) ，为审计人员提供i t 审计平台p 1 。标准的审 计方法嵌入计算机软件是现在主流的一种开发计算机审计软件常用的方式， 这种方式需要预先设计审计方法，并且审计方法是这种软件的一种特色，但 是这种方式不够灵活。而审计平台，不会给审计用户提供设计好的审计方法， 哈尔滨工程大学硕七学位论文 而由审计人员根据审计需要自己设计审计方法，这种方式灵活性高，但是这 种审计方式对审计人员的要求比较高，不但懂审计知识，而且也要懂计算机 方面的知识。 澳大利亚是审计制度比较完善的西方国家，内部审计的历史很长。其计 算机辅助审计工具的功能变得日益强大和先进，主要应用在报表审计、历史 数据库审计和通过其完成线索的查找和问题的验证等方面旧。其中报表审计 和对数据库的审计是在实际的审计过程中重点审计的对象，也是容易发现审 计问题的方面，技术实现相对简单，而通过审计的结果完成线索的查找和问 题验证方面要求技术高，实现比较困难，在其他国家中这方面做的比较少。 虽然实现难度高，但是这对审计的作用是显著的，能帮助审计人员查找问题 的根源。 目前，在国外持续审计( c o n t i n u o u sa u d i t i n g ，c a ) p 1 是能使审计师在项 目出现相关事件的同时或短时间内生成的一系列审计报告，来对项目提供一 种书面鉴证的审计方法。这强调了持续审计是用于独立审计的一种审计方法。 为了使持续审计方法具有一定的通用性，采用的方法有：基于x m l 的、基于 c o r b a 的等降0 1 。持续审计的开展既是网络技术发展的结果，又是审计发展 的需要。社保部门几乎每天都要产生大量的社保数据，能实施对这些社保数 据实时监控，这样能更好地监督社保部门行为。因此，这方面也提供了相关 的技术支持，以使持续审计能发挥更好的作用。 国内开展计算机审计比较晚，特别是社会保险计算机审计，仍处于起步 阶段。现在正在尝试对被审单位的计算机信息系统的审计，也仅是分析信息 数据的完整性和安全性方面，并且利用计算机和计算机相关软件对数据进行 分析处理方面的深层次审计，也只是国内某些审计机关或部门进行试点，仍 然没有在全国进行大范围的推广和使用。 从1 9 9 6 年至u 2 0 0 3 年，国家审计署相继颁布了审计机关计算机辅助审计 办法、审计署关于内部审计工作的规定、中国内部审计准则。颁布的这 些规定和准则对指导国内审计事业的发展起到了促进作用，也为审计人员提 供了审计的参考标准。 计算机辅助审计中用到很多有用的技术，这增强了审计效果。罗文斌提 出计算机的检测数据法用于计算机辅助审计中，主要通过从被审计单位获取 哈尔滨t 程大学硕士学位论文 检测数据、审计人员自己设计检测数据、使用专门软件生成检测数据。这 主要说明检测数据是如何获得，并且说明了在此过程中需要注意的问题，获 得检测数据是进行审计的前提。数据库技术主要通过数据查询和数据分析来 发现可疑数据2 1 。数据库技术在社会保险审计中也是经常应用的，由于这种 技术对审计人员来说容易掌握，并且根据自己的思想独立用s q l 语句对社保 数据进行分析，发现数据中隐藏的问题是非常有利的。数据挖掘技术d 3 1 主要 采用聚类分析和神经网络分析方法。这两种方法适用于从大量的数据分析出 规律，从而发现审计问题，并且这两种方法已经成熟，能顺利地应用在计算 机辅助审计中。数据挖掘技术在社会保险审计中也有应用，但是没有作为一 种主要的手段来设计。 在计算机辅助审计中，利用孤立点分析法进行数据挖掘，发现一些特殊 现象，比其他数据挖掘方法发现一些规律性的知识更有意义4 1 。此方法能够 找到一个孤立的点，呈现在用户面前，直观明了，更能引起审计人员的注意 力。这种方法也适合应用在社会保险中，例如，退休人员一个月内，只能领 取一次待遇，如果领取多次待遇将会以孤立点的形式存在，并且容易发现。 文献 1 5 】研究了基于关联规则快速算法的审计数据挖掘，针对审计业务的海 量数据，描述了进行数据总体分析的流程。由于数据量非常大，处理起来速 度不高，而这种快速算法正好满足处理海量数据的要求，加速处理效率。社 保数据量大，如果把这个算法应用在社保审计中，将会加速审计的效率。在 计算机辅助审计过程中，审计人员必须采集被审计单位的数据。在此过程中 主要采用直接复制、通过中间文件采集、通过o d b c 接口采集、通过专用模 板采集四种方法u q 。采集被审计单位的数据是非常关键的，也是开展审计工 作的前提，因而这四种采集数据的方法保证了审计人员能顺利得到被审计单 位的数据。在社保审计中，事后审计就是采用中间文件采集数据。首先从被 审单位的数据库中获得数据的备份，常常是以文本的形式，然后再恢复到数 据库中供审计人员审计分析。 目前，国内正在研究的联网审计也是持续审计的一种。联网审计技术在 实现上主要包括数据采集、数据传输、数据存储和数据分析这四部分组成刀。 联网审计的发展正是得益于网络技术的迅速发展，为其提供了技术支持。这 种技术已经得到研究和实施，社保联网审计系统2 0 正是联网技术应用的良好 4 哈尔滨工程大学硕士学位论文 体现，较完整地涵盖了上述的四部分内容，并且在实际的审计中得到了检验， 发挥了较好的审计效果。 3 国内外计算机辅助审计软件现状 文献 1 8 】给出了国外有主要流行的审计软件主要有：加拿大a c l 公司开 发的a c l ( a u d i tc o m m a n dl a n g u a g e ，审计命令语言) ，英国h o r w a c hc l a r k w h i t e h i l l 会计师事务所开发的g a l i l e o 和m a g i q u er i s km a n a g e m e n t ，p e n t a n a 公 司主要提供的内部审计软件和普华永道公司( p r i c ew a t e rh o u s ec o o p e r s ) 开 发的t e a m m a t e 。 上述的这些国外计算机辅助审计软件，侧重点都是不同的，分别应用在 不同的审计方面，如企业审计、社保审计、会计等方面。并且这些软件的应 用都体现了良好的监督作用和发挥了巨大的审计功能。但是，这些计算机辅 助软件没有提供自助发现审计方法的功能，前面三个公司开发的软件是把人 工提取的审计方法嵌入在软件中，且修改这些方法不便，而t e a m m a t e 只是提 供一个审计平台，审计方法由审计人员自行设计，虽然这种方式灵活，但是 对审计人员要求太高。 国内流行的主要审计软件有引：现场审计实施系统( a o 软件) 、北京通 审软件技术公司开发的通审2 0 0 0 、金剑审计系统2 0 0 5 和中审法规软件等，在 现实审计中都发挥各自的优点。 因此，计算机辅助审计技术随着信息和网络技术的发展快速发展，相应 的审计软件也相继出现，并且越来越多的技术为审计服务，这增强了审计的 效果。 从国内外研究看出，审计研究大部分集中在审计计划、审计作业、审计 准则、审计手段、审计软件开发等方面，并且这都大部分应用在企业、会计 和金融方面的审计比较多，在社保审计方面有所欠缺。目前，虽然审计署组 织编写了社会保障计算机审计方法体系，包含了基本养老保险、失业、医 疗、工伤和生育这五方面的审计方法，从而组成了较完备的审计方法体系。 但是这些审计方法都是基于手工提出的方法，并不是利用计算机自助发现的 审计方法，还有很多潜在的审计方法没有被发掘出来。 综上所述，国内外在潜在审计知识发现和表示方面的研究还比较少，尚 没有现成的成功经验可供借鉴。 5 哈尔滨t 程大学硕十学何论文 1 4 主要研究内容 现有审计方法的提出主要依据社会保险政策。如果利用计算机自动发现 审计方法，就需要把社会保险政策形式化，使之既包括政策中的概念表示， 也包括政策中的定义、公式和论断性语句的表示。有了这些社保审计知识， 才能够去发现审计方法。因此本文将着重对以下三方面内容进行研究。 1 社会保险政策的表示 社会保险政策都以自然语言文本的形式存在，并且随着时间的推移，其 数量也越来越多。无论是社保人员还是审计人员阅读起来不方便，不容易把 这些政策理解和掌握。如果这些政策能被表示成某种模型，尤其是能被计算 机处理的模型，则会使自动化手段进行政策解读成为可能。 分析社会保险政策的特点，尤其是政策的内容特点。研究概念从属森林 模型，依据社会保险政策的特点，给出把社会保险政策表示为概念从属森林 的方法。 。 2 规则表示和组织方式 社会保险政策包含很多定义、计算公式及命题性语言。研究规则表示形 式异同和适应性，从而选择合理的规则表示形式来表达政策中的规则。 研究一种合理的规则组织方式，减小规则匹配的范围。 3 探索审计方法的发现模式 现颁布的社保审计方法体系中涵盖的养老保险业务审计方法有3 4 个。这 3 4 个审计方法在各地推广应用过程中经过了检验，取得了良好的效果。可通 过总结提炼这些审计方法的特点，从而为发现新的审计方法提供思路。 依据审计方法的特点，可探索出潜在的审计方法的发现模式，从而为开 展更加全面的审计服务提供技术保障。 1 5 论文结构安排 本论文共分为五章，其结构安排如下： 第l 章介绍了课题的来源，本课题的研究目的和意义，国内外研究现状 和本论文的主要研究内容。 第2 章详细阐述知识表示的含义、知识表示方法、知识表示方法选择和 6 哈尔滨工程大学硕士学位论文 概念从属理论，主要介绍社保业务的流程和基本养老保险政策特点。 第3 章通过引入概念从属树、概念从属森林的定义，给出概念从属森林 创建的流程，阐述概念从属森林模型的特点。确定使用概念从属森林模型表 示基本养老保险政策中的概念。 第4 章介绍基本养老保险业务现有审计方法与政策之间的关系，并给出 基本养老保险产生规则的设计与表示和这些规则的组织形式。 第5 章介绍基本养老保险政策概念从属森林和产生式规则之间的关系， 并给出基于不一致规则和基于规则推理发现审计方法的两种模式。 在结论部分总结了本文的主要工作，并对以后的研究提供了建议。 哈尔滨下程大学硕士学位论文 1 1 一 b l l t i - 宣 第2 章社保业务分析和知识表示 在现实世界中，存在着大量的信息，比如以自然语言文本形式存在的信 息。但是这些以自然语言文本形式存在的信息不能被自动化方法直接识别和 处理。因此，计算机能够识别和处理的知识必须有合理的表示形式。为了选 择一种合理的知识表示方法，需要了解社保业务和基本养老保险政策特点， 并且对表示社保政策知识奠定基础。 2 1 社保业务分析 社保( 基本养老保险) 业务最重要的部分是基本养老保险基金管理。基 本养老保险基金管理是依据基本养老保险基金及其相关信息的来源与流向， 分为登记管理、缴费核定、费用征缴、费用登记处理、待遇核定、待遇支付、 基金会计核算与财务管理等基本环节。这些基本环节形成了基本养老保险业 务的管理程序。 在对基本养老保险金管理的整个过程中，基本养老保险业务基本用表见 表2 1 。 表2 1 基本养老保险业务基本用表 编号名称 2 1 社会保险登记表 2 2 参加基本养老保险人员情况表 2 3 基本养老保险关系转移表 2 4 社会保险变更登记表 2 5 社会保险注销登记表 2 6 社会保险验证登记表 3 1 基本养老保险缴费人员增( 表减) 明细表 3 2 基本养老保险缴费申报核定表 3 - 3 基本养老保险缴费代扣代缴明细表 3 4 个人缴纳基本养老保险费中报核定表 3 5 1 基本养老保险缴费核定汇总表 3 5 2 基本养老保险缴费核定明细表( 表一) 3 5 3 基本养老保险缴费核定明细表( 表二) 8 哈尔滨t 程大学硕士学位论文 ( 续表) 编号名称 3 6 基本养老保险缴费实缴清册 3 7 基本养老保险费催缴通知单 3 8 基本养老保险费补缴通知单 4 1 基本养老保险个人账户表 4 2 基本养老保险个人账户一次性支付核定表 4 3 基本养老保险个人账户对账单 5 1 基本养老保险待遇审核表 5 2 供奉直系亲属待遇审核表 6 1 基本养老保险待遇支出核定汇总表 8 1 社会保险费稽核通知书 8 2 社会保险费稽核工作记录 8 3 社会保险费稽核情况告知书 8 4 社会保险费稽核整改意见书 2 1 1 初次登记、变更登记、注销登记 初次登记、变更登记和注销登记的业务流程图如图2 1 所示。 参保和变更信息唇 图2 1 登记变更业务流程图 ( 1 ) 初次登记。从事生产经营、非生产经营的缴费单位自领取营业执照 之日起3 0 日内，带齐相关资料到基本养老保险经办机构申请办理基本养老保 险登记。 ( 2 ) 变更登记。变更单位基本信息的单位携带相关资料到养老保险经办 机构申请办理养老保险登记。通过审核后，经办机构变更参保单位登记事项。 ( 3 ) 注销登记。由于种种原因需要注销的单位携带相关资料到养老保险 9 哈尔滨工程大学硕十学位论文 经办机构申请办理养老保险注销登记手续。 基本养老保险经办机构根据相关规定即时受理，并在自受理之日起1 0 个工作日内审核完毕。 2 1 2 核定缴费基数业务流程 核定缴费基数业务流程如图2 2 所示。 图2 2 核定缴费基数业务流程 ( 1 ) 核定个人缴费基数的过程。核定个人缴费基数重点核定正常在职职 工、新招职工和失业后再就业职工、单位派出的长期脱产学习人员、国外工 作人员、经批准请长假的人员、保留工资关系的、停薪留职和不在岗又未解 除劳动关系的职工、下岗职工保留养老关系人员、失业人员和个体劳动者的 缴费基数，看其申报的个人缴费基数是否符合规定的缴费基数。 ( 2 ) 核定单位缴费基数的过程。核定上年工资基数时，根据参保单位的 缴费申请，经办机构对缴费单位的职工工资总额、参保人数的缴费基数及应 缴费金额进行核定；对上年工资总额进行核定，确定月缴费基数；对职工调 进调出增减工资额的核定。 经办机构应于每, 9 2 5 日前，将上月缴费单位名单及应当缴纳的养老保险 费数额报税务机关。 2 1 3 基本养老保险费征集业务流程 基本养老保险费征集业务流程如图2 3 所示。 1 0 哈尔滨工程大学硕十学位论文 翻芦 l 地税部门征1 1 5 卜叫社保收入尸i i一 图2 3 基本养老保险费征集业务流程图 依据缴费核定所提供的数据和有关规定，经办机构编制年度征集计划， 办理养老保险费托收、征收业务，办理单位缓缴手续，对缓缴期满和未按时 缴足的单位进行催缴。并对已缴费的单位进行收款登记处理。 缴费单位应按上一年度本企业职工月平均工资总额的2 0 缴纳基本养老 保险费。破产企业应按法定程序清偿欠缴的基本养老保险费。离退休、退职 人员交由社会保险机构直接管理的，破产企业应一次性向社会保险机构缴足 1 0 年的基本养老保险费。职工本人缴费工资进行上封顶下保底处理。离退休、 退职人员不缴纳基本养老保险费。 征收的养老保险费应当以货币形式缴纳，并且实行收支两条线管理。单 位暂时不能按时缴纳保险费的，经批准可以缓缴，缓缴期间免收滞纳金。 欠缴期间，逾期仍不缴纳的，除补缴欠缴数额外，从欠缴之日起，按日 加收千分之二的滞纳金。 2 1 4 个人账户记录处理流程 个人账户处理业务流程如图2 4 所示。 1 1 哈尔滨工程大学硕十学位论文 1 9 9 8 年1 月1 日前， 建立个人账户条件 不成熟，没有个人 账户 养老 i 参保个人：卜由所属企业代扣代种 保险 基金 个人账户管理 征收 图2 4 个人账户处理业务流程图 为了保障职工的合法利益，对征集的养老保险基金，按规定记录或分配 到社会统筹账户和个人账户，进行账户记录处理。 ( 1 ) 个人账户记录处理。个人账户管理是根据单位和职工基础资料而建 立的个人账户，记录缴费年限、个人缴纳养老金、按规定分配到个人账户部 分、账户利息及实际支出等情况。 ( 2 ) 单位缴费收账处理。单位缴费到账后，按缴费性质记录到单位各账 户，并将缴费额分配到社会统筹账户和个人账户。 ( 3 ) 个人缴费收账处理。个人缴费到账后，计入本人个人账户。本人个 人账户利息计入本人个人账户。 ( 4 ) 缓缴处理。对经批准单位缓缴缴费进行记录处理( 欠费额、缓缴期 限、还款计划) 。 ( 5 ) 个人账户管理。个人账户管理环节包括建账、记账、转入、转出、 中断缴费和恢复缴费账户处理、终止账户缴费处理、对账等内容。 2 1 5 享受基本养老保险待遇核定的业务流程 待遇核定业务流程如图2 5 所示。 职工达到退休年龄时，应向劳动部门申报，劳动部门批准后，由基本养 老保险经办机构根据参保者实际缴费情况及政策法规核定享受待遇。 ( 1 ) 缴费单位填写表5 1 ：基本养老保险待遇审批表并提供相关证 明。 哈尔滨t 程大学硕士学1 j 7 = 论文 待遇审批材 料表5 - 1 蔬一呻i 徽陴鸥劳动部l 1参保对象卜叫材料表5 4 卜= 二= = 二竺刊 劳动部门 待遇审核明细 缴费记录 图2 5 待遇核定业务流程 ( 2 ) 根据缴费单位填报的表5 1 ：基本养老保险待遇审批表及有关 证明、职工基础档案资料、缴费纪录，依据基本养老保险有关法规、政策， 逐项给以审核。 ( 3 ) 对一次性支付待遇的人员，要审核单位和职工填写的表4 2 ：基 本养老保险待遇一次性支付审批表。 ( 4 ) 供养直系亲属待遇的审核，离退休人员死亡后其遗属申请领取丧葬 补助费、抚恤金、和供养直系亲属生活补助费时，待遇审核环节要求其填写 表5 _ 2 ：供养直系亲属待遇核定表。 2 1 6 基本养老保险待遇支付流程 基本养老保险待遇支付业务流程如图2 6 所示。 待遇支付是指已经通过有关资料的审定和待遇的核定，将应支付的养老 保险待遇发放给享受对象。 待遇支付环节包括离退休人员的待遇支付、一次性待遇支付、供养直系 亲属待遇支付、领取养老保险待遇资格认证等内容。 特殊一次性补发、退发处理是对于正在享受定期养老保险待遇的离退休 人员，因办理业务出错而进行的次性补发、退发的业务。 哈尔滨工程大学硕士学位论文 i i i i i 葺i i i i i i i 萱i i i 萱i i i i 宣篁i 宣i i i i i i 宣暑i i i i i i 宣| i i i i i i 萱置萱曹 i 1 1i 置 待遇审核信息车二二= 二二二习 ， 塑 遇审核i 待遇支付信息 养老账户管理 呈上 器il 黑糕酱h1 支付凭证 = 二、l ：_ = ：? 、社会化发放广 拨款厂一 造兰竺兰乡r 弋兰竺竺2 卜 兰竺多岂! r 1 财鼍r 图2 6 基本养老保险待遇支付业务流程图 待遇支付环节是每月根据上月待遇支付记录及待遇审核环节传来的新增 离退休人员待遇、一次性待遇等相关信息，建立当月离退休人员养老金支付 信息，最后由财务管理部门将发放数据送社会化发放机构进行发放。 2 2 基本养老保险政策的特点 纵观基本养老保险政策，它的内容具有如下特点。 ( 1 ) 适用范围。国内的基本养老保险覆盖面从最初的国有企业和城镇集 体企业职工扩大到其他所有制企业职工和个体。随着经济的发展和社会的进 步，基本养老保险覆盖面逐步扩大。颁布的基本养老政策都具体说明了它的 适用范围。 ( 2 ) 及时性。基本养老保险要收集足够的资金来保障离退休人员的基本 生活。因此，参保单位和个人按月及时缴费，社保部门按月及时把养老保险 金发放给离退休人员。这就着重强调了缴费和发放的及时性。 ( 3 ) 资金来源。基本养老保险政策具体规定了养老保险费用由国家、企 业和个人三方共同承担，不再是国家和企业包办的办法。因此，参加基本养 老保险的企业和个人都必须缴纳养老保险费，同时也说明了基本养老保险是 一个强制险种，城镇职工必须参加基本养老保险。 ( 4 ) 账户管理。职工基本养老保险个人账户管理暂行办法具体规定 1 4 哈尔滨t 程大学硕十学位论文 了个人账户的建立、个人账户的管理、个人账户的转移、个人账户的支付和 个人账户的继承这五方面的内容，且规定详细、具体。这些规定是社保部门 管理账户和审计部门审计账户管理的重要依据。 ( 5 ) 享受养老保险待遇的条件。参加养老保险的个人的缴费年限达到 1 5 年、具有规定退休年龄的个人才能享受养老保险待遇。这是政策中严格规 定的内容。 ( 6 ) 养老保险待遇的组成。满足离退休条件的参保人员享受基本受养老 保险待遇。养老保险待遇分为长期待遇和一次性待遇。长期待遇主要包括基 础养老金、过渡性养老金、个人账户养老金。一次性待遇主要包括丧葬费、 抚恤金。基本养老保险政策对其发放标准都有详细的规定。 ( 7 ) 收管支一条线。参保企业和个人必须按时足额缴纳养老保险费；统 筹基金和个人账户基金分别管理，对在职个人账户和离退休人员的支付账户 按规定进行结算；社保部门要按时发放基本养老金。 ( 8 ) 政策中的规定有的模糊有的具体。例如，企业按职工工资总额的一 定比例缴纳基本养老保险费，政策对企业缴费比例的规定就不具体，而0 5 年3 8 号文中规定：“城镇个体工商户和灵活就业人员参加基本养老保险的缴 费基数为当地上年度在岗职工平均工资，缴费比例为2 0 ，其中8 记入个 人账户。政策对城镇个体工商户和灵活就业人员的缴费基数和缴费比例都 有明确的规定。 2 3 知识表示 通过对基本养老保险业务的分析可知，这些业务都基于社保政策。然而， 社保政策有其自身的特点，因此，选择一种合理的表示自然语言的表示方法 是合理而且也是重要的。下面阐述知识表示方面的内容。 2 3 1 知识表示的定义 在日常生活中，人与人之间通过语言或者书籍传递着大量的信息。语言 和书籍方便了信息的记录和传递。在当今信息时代，大部分信息都依靠计算 机来处理，效率高，且方便及时。因此，使用计算机存储和处理这些信息时， 需要用一种计算机能够识别的语言来表示，以便计算机能识别这些信息。 1 5 哈尔滨工程大学硕十学位论文 知识表示是对知识的符号化和形式化的一种表示模型1 9 2 0 1 。这种表示直 接说明了知识表示就是为客观事物寻找一种合理的模型。另一种对知识表示 的说法是研究计算机对知识的可行性、有效性的表示方法，是把知识表示成 机器能处理的数据结构和模型的一种方式 1 9 , 2 1 。 从上面对知识表示的描述可知，知识表示就是用计算机能识别的语言来 表示知识。这样可以充分发挥计算机高效处理知识的能力，为社会服务。 2 3 2 知识表示的方法 经过多年的发展和国内外学者及专家的共同研究和努力，目前有许多知 识表示方法已经得到快速的发展，且在很多领域得到了很好的应用。下面着 重介绍谓词逻辑表示法、框架表示法、语义网络表示方法、产生式表示法、 概念从属树表示方法和基于本体的知识表示方法。 1 谓词逻辑表示方法 谓词逻辑表示法卅是指基于形式逻辑的一种知识表示方法，利用逻辑公 式描述对象、性质、状况和关系，采用的推理机制是归结原理。 谓词逻辑表示方法的优点阱1 ：表示简单、自然；推理算法较为完善；通 用性好，易于与算术运算相结合。这些优点也使这种知识表示方法在一开始 就得到了广泛的应用。它的缺点：不利于表示过程性和启发式知识，对证明 过程控制力差；表示大数据量时，有可能会产生知识爆删2 3 1 。为适合某些领 域的表示，对它做了一些改进，采用了条件谓词逻辑表示，使其更有利于推 理例。由于有些社保知识较为复杂，尤其是政策条文比较多，表示出的知识 缺少政策条文间的关系。因此，这些缺点也限制了它在社保领域的广泛应用。 2 产生式规则表示方法 产生式规则( p r o d u c t i o nr u l e ) 表示方、法【嘲是一种采用“i f t h e n ”形 式的知识表示方法。正向推理、反向推理和混合推理是这种表示方法的主要 推理方式。 这种知识表示方法的优点是能很好的表示启发性知识；表示有条理、自 然；它的不足是规则很难模块化表示；程序执行效率低等等弘5 堋。虽然有其 这样的缺点，但是它还是在某些领域得到了应用。比如，为了适应模糊知识 的表示，产生了带区间值的产生式规则胆习，这样能更好地发挥产生式表示知 哈尔滨t 程大学硕士学位论文 识的优势。为了适应某一领域的应用，有的采用扩展产生式规则来表示知识， 使其表示知识更加精确丰富。根据它的表示特点，适合表示社保政策条文。 3 框架表示法 在1 9 7 4 年，m i n s k y 给出了框架( f r a m e ) 表示理论【嘲，将知识表示成一组 模块