浅谈会计电算化系统的安全控制

会计电算化是会计工作的发展趋势。随着科学技术的发展 ,电子计算机数据处理技术已在会计领域广泛运用。会计电算化使会计人员从繁重的手工核算报表中解脱出来 ,提高了会计信息的及时性、准确性、全面性 ,但随着会计电算化的深入发展 ,电算化安全方面所存在的问题就显得越来越重要 ,企业必须建立一整套适合会计电算化系统的安全控制 ,才能确保实行电算化后的系统正常、安全、有效地运行。会计电算化系统的安全控制 ,是指采用各种方法保护数据和计算机程序 ,以防止数据泄密、更改或破坏 ,主要包括以下几个方面 :1 建立计算机房管理制度。实行…     

试论电算化会计内部控制的现状及其对策

近年来,随着计算机和网络技术的飞速发展,会计电算化得到了前所未有的发展。这既是信息技术的发展对会计的要求,也是会计自身发展的必然结果。但是由于会计电逄化在我国尚处在发展阶段,各项技术和制度都不够成熟,因此没有形成完善、严密的内部控制,于是引发一系列计算机犯罪也就不足为奇了。从会计电算化信息系统对内部控制的影响和电算化条件下所应采取的对策上进行深入探讨,以便引起人们对电算化会计内部控制的重视。     

『自由裁量』并非『自由』裁量——论质量技术监督行政处罚自由裁量权的程序控制

<行政处罚法>、<行政复议法>实施以来,在规范行政机关的行政处罚自由裁量权、促进依法行政方面发挥了重要作用.但是,随着现代行政职能的扩张,行政机关拥有了越来越多的自由裁量权,如何防止自由裁量权被滥用已成为我们研究的重要课题.     

过程控制系统中自动调节系统浅析

所谓过程控制系统是指对生产过程实现自动控制的系统。如绪论中所述,在石油、化工生产过程中,一般包括自动检测、自动保护、自动操纵和自动调节等方面的内容。自动检测系统只能完成"了解"生产情况的任务;信号联锁保护系统只能在工艺条件下进入某种极限状态时,采取安全措施,以免发生生产事故,自动操纵系统也只能按照预先规定好的程序进行某种周期性或规律性的操作,只有自动调节系统才能自动地排除各种干扰因素对工艺参数的影响,使它们始终保持在预先规定的数值上,以保证生产维持在正常或最佳的工艺操作状态。     

浅议如何做好工程结算的审核工作

建设工程结算审核,指造价咨询机构以发包方提交的工程竣工资料为依据,对承包方编制的工程结算的真实性及合法性进行全面的审查,是核实工程造价的重要手段。本文详细介绍了工程结算审核内容以及审核方式,然后探讨了如何做好工程结算审核工作。并提出了有关建议。     

DCS系统离子膜烧碱装置中显身手

淄博东岳氯源12万t／a离子膜烧碱装置和河南开封东大化工厂4万t／a离子膜装置采用了和利时公司的Smartpro DCS控制系统，实现该项目中工艺生产操作、监视、自动控制、程序控制、联锁保护和数据采集、生产管理等功能。测点统计见表1。     

公司社会责任的程序保障

公司社会责任的特殊性及法律程序的特有价值决定了公司社会责任的实现有赖于恰当的程序控制。国内外公司法都规定了一些有利于公司社会责任实现的程序,但直接针对公司社会责任的程序较少;其他一些法律中也有一些法律程序与公司社会责任的实现相关,但不完整。为了保证我国公司社会责任的落实,我国现行的《公司法》有必要增加规定针对公司的公益诉讼程序,完善派生诉讼程序,增加一些非诉讼的内部控制程序。     

加强审计程序控制 提高审计证据质量

审计证据质量控制不仅仅在取证环节．还应包括取证范围和内容的确定、审计人员的分工、取证方法的选择、证据的鉴定与综合等环节。本文就如何加强审计程序控制，提高审计证据质量谈一些粗浅的看法。     

浅谈企业预算目标控制

预算目标的选择直接决定着企业的发展方向和控制目标。企业进行预算管理和控制时应优先和重点考虑进行预算目标控制。本文拟从目标导向控制、与管理层次相适应的控制、目标决策程序控制、目标多元化控制以及目标设定的弹性控制等五方面，探讨企业预算目标的控制重点，以使预算达到应有的控制效果。     

一种可扩展的C代码静态分析方法研究

为降低软件工程项目的开发风险和后期维护成本,本文提出一种模型检验的可扩展C代码静态检查方法。该方法将C代码常见错误归纳为可扩展的计算树逻辑公式库,同时将被检测代码转化成为程序控制流图,并将该图抽象为等价的Kripke结构;依据Kripke结构模型,使用NuSMV工具验证公式库中的公式是否满足代码检查的要求;最后采用GCC编译平台提供静态检查的实验结果。该方法可以找到代码中用户事先配置的错误模式,消除代码隐患。