机场无线电导航设施原始资料智能审核

为了解决航空情报数字化问题,利用计算机程序语言、图像检测和文字识别技术,研究机场无线电导航设施原始资料智能审核。根据原始资料的公布方式,建立基于Kano模型的三级和二级审核部门的功能需求模型,运用SPSS进行定量分析智能审核的需求内容和期望目标;采用正则表达式技术解决了正文部分的自动审核,运用YOLOv5图像识别建立了审核附件的数据采集、格式转换和模型训练,OCR技术实现了附件的文字识别的智能辅助审核。最后基于JAVA平台搭建了智能审核系统,将搜集的西南地区各机场上报的检查单文件输入到系统中,对正文及附件进行审核,验证了智能审核系统的准确性。

不断深化对中国特色社会主义审计事业的规律性认识

对中国特色社会主义审计事业的规律性认识,既要从审计的本质特征和历史发展中去发掘,更要从中国特色社会主义发展规律和党的自我革命规律中去探寻。党中央对审计工作的集中统一领导是中国特色社会主义审计事业的最本质特征,决定了中国特色社会主义审计事业发展的道路和制度架构;立足经济监督定位聚焦主责主业是中国特色社会主义审计事业发展的逻辑机理,决定了发展的价值趋向和目标任务;研究型审计是中国特色社会主义审计事业发展的内生性要求,决定了发展的质量和水平;审计职业精神和专业能力是中国特色社会主义审计事业发展的根基,决定了发展的原动力和接续性。深刻认识中国特色社会主义审计事业的规律,对于不断谱写审计事业高质量发展的新篇章,具有十分重要的意义。

新形势下清洁生产简化审核思考

随着我国经济社会发展向高质量转型,清洁生产审核工作也进入新的阶段,然而目前常规的清洁生产审核无法适应不同类型企业间实行差异化清洁生产考核的需要。重点阐述了简易清洁生产审核的适用范围,并在此基础上提出了具体的环境管理对策与建议,为提升企业清洁生产审核效果和加强环保管理提供了参考。

基于正则表达式的WebMail监控与审计

对WebMail的监控是对电子邮件监控的一个难点。提出并实现了一种基于正则表达式的邮件监控系统。该系统使用Winsock2 SPI技术,截取本地计算机发送的网络数据包,采用正则表达式对发送数据包的内容进行实时分析,判断其中是否含有发送Email的行为,通过在线拦截和离线审计相结合,实现了对WebMail的监控与审计。实验测试的结果验证了该系统的可行性和有效性。

新建地方本科院校内部审计存在的问题及改进建议

围绕新建地方本科院校内部审计存在的问题和侧重点进行了论述,并提出了强化内部审计的改进建议。

公安现役部队内部审计转型初探

目前,公安现役部队审计正处在由传统审计向现代审计加快发展的重要转型期。需要大胆突破传统审计方式的局限,以服务部队中心工作为导向,以规范审计机制为重点,以创新审计技术为关键,以推进审计成果共享为途径,切实提高审计监督的服务层次和服务水平,不断推进审计工作改革创新。

工程项目审计问题探析

提高工程项目的质量和建设经费的使用效益是决策者普遍关心的问题。本文对实现高等学校基建工程审计法制化、制度化、规范化的重要性、必要性以及对策进行了初步的探讨。

基于正则表达式的协议行为审计技术研究

协议行为审计技术通过在线深度解析应用层协议来分析用户行为并进行审计,为人工分析监测网络安全事件提供依据,达到增强网络安全的目的。重点探讨了利用正则表达式进行协议行为解析的技术,并提出一个灵活、可扩展的协议行为审计技术框架。基于该技术框架实现了一个支持HTTP协议、SMB协议和TNS协议的协议行为审计系统,通过详细的实例介绍阐明了利用正则表达式进行协议行为解析技术在该系统中的运用过程。最后,该系统的测试结果验证了基于正则表达式的协议行为审计技术的有效性。

基于改进正则表达式规则分组的内网行为审计方案

针对网络安全审计中对应用层协议审计能力不足的问题,提出一种基于改进正则表达式（RE）规则分组的内网行为审计方案。首先,通过正则表达式对需审计的协议进行描述,并设置相关参数,使内网中出现频率高和审计中相对重要的协议状态在正则表达式描述集中取得高优先级;然后,在正则表达式交互值小的前提下,尽可能地将高优先级协议状态表达式构建到相同自动机分组中以生成审计引擎;最后,根据审计需求,改变相关参数,实现对内网行为的安全审计。实验结果显示,所提出的自动机构建算法在转化时的状态数缩减为经典非确定有限状态自动机（NFA）转化算法Thompson的10%～20%,检测时的吞吐量约为传统自动机分组引擎的8到12倍;所提审计方案能够满足对应用层协议进行安全审计的需求,具有较高的准确性和效率。

关于基层工会经费审查工作的观察与思考

经费审查是基层工会工作的一项重要内容,基层工会需依据《中国工会章程》等相关文件规定,并针对当前经审工作中存在的不足,实施定期自查,组织监督、考核等机制,以加强和做实基层工会经审工作。

可问责的算法

许多传统上由人做出的重要决策,现在都是由计算机做出的。算法统计选票、批准贷款和信用卡申请、指定公民或社区进行警务审查、选择纳税人进行税务审计、批准或拒绝移民签证等。然而,监管此类决策流程的问责机制和法律标准,尚未跟上技术的步伐。目前,可供决策者、立法者和法院使用的工具,是为监督人类决策而设计的,当把它们应用于监督计算机决策时,通常会失灵。例如,如何判断一个软件的意图?由于自动化决策系统可能会输出不正确、不合理或不公平的结果,因此,我们需要采取其他手段,以使此类算法具有可问责性和可操控性。本文提出了一套新的技术措施,它能够以法律公平为准绳,来验证自动化决策。法学界的主流文献认为,算法透明可以解决这些问题。本文对这一主流观点提出挑战。通常而言,源代码的公开,既不必要(由于计算机科学中的替代技术),也不足以证明决策流程的公平性(由于分析代码时所存在的问题)。此外,算法透明也可能是不可取的,例如,它可能会披露个人信息,也可能会帮助不法分子或恐怖分子与税务审计或安全检查的系统进行周旋。真正的核心问题是:如何使自动化决策更具可问责性,以确保公民个体和整个社会的利益?本文认为,技术正在创造新的机会——以比算法完全透明更巧妙、更灵活的方式,来设计自动化决策的算法,使其更好地顺应法律和政策的目标。这样做不仅可以改善当前对自动化决策的治理,而且在某些情况下,还可以改善普通决策的治理。人类决策者的内在(或外在)偏见,很难被发现和根除,但我们却可以窥视算法的“大脑”:计算过程和目的规范可以在事前声明,并在事后验证。本文介绍的技术可以得到广泛应用。它们可以用来设计私营机构和公共部门的决策流程,并可根据决策者、监管者或公众的需要进行定制,用以验证不同的特性。通过更加仔细地权衡决策规则的影响,它们也会激活政策讨论,以及更细致的法律标准审查。因此,这些工具在整个法律制度和社会制度中,将有深远的影响。文章分四部分。第一部分简单介绍了相关基础计算机科学技术。这些技术可用于检验和证明自动化决策是否符合法律公平,而无须公开决策的关键属性或做出决策的整个过程。接下来,第二部分阐述了这些技术如何确保决策具有程序规制性(proceduralregularity)这一关键治理属性,即决策是根据在每个案例中统一适用的、既定的规则做出的。我们介绍了如何使用这种手段,来重新设计和解决签证抽签的问题。在第三部分,我们进一步探讨了其他计算技术如何确保自动化决策对实质性法律和政策选择的忠实程度。我们论证了如何使用这些工具,来确保避免某些不公正歧视,以及自动化决策的过程如何顺应管理决策的社会标准或法律标准。我们还论证了自动化决策如何使现有的差别对待和差别影响的理论变得更为复杂。除此之外,我们还讨论了,计算机科学——尤其是在大数据和机器学习的背景下——近期在监督和消除算法歧视方面的努力。最后,在第四部分,我们提议进一步加强计算机科学、法律和政策之间的协作,以推进问责制自动化决策流程的设计。

试论规范高校内部审计责任

本文结合高校内部审计工作实际,论述了规范高校内部审计责任的现实意义。指出规范高校内部审计责任的内涵及其存在的问题。提出了加强规范高校内部审计责任的几项措施。

农村集体财务收支常规审计程序探究

2016年以来,山西省孝义市农村经济管理中心出台《考义市农村集体经济审计实施办法》,规范常规审计程序,严格执法力度,提高审计质量,强化审计监督,提高了审计结果的执行力度。文章对此进行了探讨。

山东抗日根据地正规化基础财政制度的建立

山东抗日根据地的财政工作始终追求统筹统支为原则的正规化建设方向,而基础财政制度又正是正规化财政制度的基础。基础财政制度包括预决算制度、会计及金库制度、审计制度三个独立且彼此联系的环节。预决算制度是正规化基础财政制度的前提。会计和金库制度是基础财政制度正规化建设的核心执行环节,是统筹统支原则的具体实现。审计制度是基础财政制度的保障环节。