中国资本市场审计舞弊成本研究

近年来,国内外证券市场中出现的一系列会计丑闻,使注册会计师违规应承担的法律责任问题再次成为大家关注的话题,对此,许多学者进行了有益的探讨,但都仅仅限于相关法律法规对注册会计师法律责任如何规定上,对如何有效遏制注册会计师违规仍极少研究.笔者在本文中首先探讨了我国注册会计师违规需要承担的法律责任,及相关法律法规存在的问题;其次建立了注册会计师违规成本模型,从一个新的视角探讨了解决注册会计师违规的途径,提出只有提高违规成本,才能有效遏制注册会计师违规.     

北洛河流域延安境内水沙水质变化规律分析

分析了延安市境内北洛河干、支流40年来水沙变化规律和水质情况,结果表明;径流量呈减少趋势且含沙量大、水质污染严重,因此必须采取科学的水资源开发和保护措施。     

一种供用水系统的风险分析与评价方法

本文以黄河下游沿黄地区供用水系统为例，针对该地区用水系统与黄河来水的不同步性，建立了水资源系统风险分析模拟模型。描述了蒙特卡洛(M-C)随机模拟技术求解风险模拟模型的原理。对黄河下游供用水系统在不同用水规模情况下的缺水风险进行了随机模拟。结果表明：黄河下游沿黄地区在没有外流域水输入前及用水定额没有较大变化的情况下，其灌溉规模以不超过233万hm2为宜。     

一种面向服务构件的高可信组装技术的研究

服务构件的组装和验证是基于构件的软件工程的核心.为确保服务构件组装的高可靠性,引入了马丁洛夫类型理论来形式化地描述构件接口的功能性和非功能语义信息,使之在进行组装时,可利用其接口所携带的语义并根据推理规则在验证工具Coq中推导其正确性和可信性.其次,提出基于类型理论的组装验证模型并结合实例进行分析.最后,介绍了文中的可视化开发平台的原型系统,其具有界面友好、功能操作简单等特点.通过马丁洛夫类型理论的方法组合的构件系统表现出高可靠性.     

变电站户外GIS机构箱等柜体防凝露改进措施的研究

根据目前变电站投运的户外GIS设备验收及检查情况,针对防水（防雨）、防潮（封堵）和防凝露（高湿度和大温差）等问题,对户外GIS汇控柜、断路器和刀闸机构箱等存在的缺陷进行整改,可大幅提高变电站设备的安全运行水平.     

注册会计师违规成本与法律责任研究

近年来,国内外证券市场中出现的一系列会计丑闻,使注册会计师的法律责任再次成为大家关注的话题,也有许多学者对此进行了有益的探讨,但都仅仅限于相关法律法规对注册会计师法律责任如何规定上,而对如何有效遏制注册会计师违规仍极少研究.笔者在本文中首先探讨了注册会计师违规需要承担的法律责任,及我国相关法律法规存在的问题;其次建立了注册会计师违规模型,从一个新的视角探讨了解决注册会计师违规的途径.     

一种面向服务构件的高可信组装技术的研究

服务构件的组装和验证是基于构件的软件工程的核心。为确保服务构件组装的高可靠性,引入了马丁洛夫类型理论来形式化地描述构件接口的功能性和非功能语义信息,使之在进行组装时,可利用其接口所携带的语义并根据推理规则在验证工具Coq中推导其正确性和可信性。其次,提出基于类型理论的组装验证模型并结合实例进行分析。最后,介绍了文中的可视化开发平台的原型系统,其具有界面友好、功能操作简单等特点。通过马丁洛夫类型理论的方法组合的构件系统表现出高可靠性。