检索结果-内蒙古大学图书馆

计算机技术与发展 2018年第4期28卷 46-49页

作者：施晓静张晋津南京航空航天大学计算机科学与技术学院江苏南京210016 南京审计学院计算机科学与技术系江苏南京211815

n-精化关系在计算机科学领域中发挥着重要作用。在理论计算机科学中,学者们常用互模拟来刻画状态转换系统(例如,实时控制系统)之间的行为关系,当两个系统之间存在互模拟等价关系时,从某种意义上来说,一个系统的行为可以模拟另一个系统,... 详细信息

n-精化关系在计算机科学领域中发挥着重要作用。在理论计算机科学中,学者们常用互模拟来刻画状态转换系统(例如,实时控制系统)之间的行为关系,当两个系统之间存在互模拟等价关系时,从某种意义上来说,一个系统的行为可以模拟另一个系统,反之亦然。但是互模拟关系并不能使得在模型检测时所需检测状态空间得到明显的缩减,因此引入了精化关系。精化与互模拟的区别在于,其对向前条件没有限制,如果精化关系满足向前条件,那么该精化关系也是互模拟关系。在刻画系统状态之间精化关系是否在有限的可达关系上成立这个问题时,需要将精化扩展到n-精化关系上,从而提出n-精化的概念,进一步地,探究n-精化关系与n-互模拟关系的联系;提出与标准相对化不同的a-相对化的概念,并研究其与标准相对化之间的区别与联系;在这些研究基础上,将n-精化模态逻辑语言翻译成n-互模拟量化语言。

关键词： n-精化 n-互模拟翻译函数相对化

来源：评论

学校读者我要写书评

暂无评论

中国企业职业福利发展研究

引用

浙江学刊 2016年第3期 210-220页

作者：丁学娜南京审计学院公共经济学院讲师南京210029

企业职业福利因其与社会福利之间存在的功能补充关系,在员工应对社会风险方面发挥着越来越重要的作用。在中国向市场经济转型中,社会保障体制的多支柱改革也要求职业福利发挥其补充功能:从政策层面看,两者的功能补充关系较为明确;但是... 详细信息

企业职业福利因其与社会福利之间存在的功能补充关系,在员工应对社会风险方面发挥着越来越重要的作用。在中国向市场经济转型中,社会保障体制的多支柱改革也要求职业福利发挥其补充功能:从政策层面看,两者的功能补充关系较为明确;但是通过对二手数据的分析发现,实践方面,两者的补充关系并不充分。企业职业福利发展中存在着项目结构不合理、供给量不足、人员覆盖范围狭窄等问题;为实现企业职业福利与市场经济相匹配的功能转型,中国需要构建平衡型企业职业福利,探索职业福利在项目类型、项目实现形式、员工享受范围等方面的平衡。

关键词：职业福利职业福利项目结构职业福利供给量人员覆盖范围

来源：评论

学校读者我要写书评

暂无评论

跨境电子商务第四方物流平台的分析

引用

电子商务 2016年第3期17卷 12-13页

作者：周倩卢斐姚娟南京审计学院电子商务系南京审计学院经济与贸易学院

本文主要分析了跨境电商物流存在的问题,分析了现有物流的模式,并针对跨境物流问题提出了解决方案——构建一个第四方物流平台。详细阐述了第四方物流平台要具备的功能。

关键词：跨境电商第四方物流物流平台

来源：评论

学校读者我要写书评

暂无评论

独立董事本地化对公司盈余管理的影响——来自2010～2014年A股上市公司经验证据

引用

财经理论与实践 2016年第1期37卷 81-88页

作者：黄芳杨七中南京审计学院审计与会计学院江苏南京211815 南京大学商学院江苏南京210093 江苏理工学院会计系江苏常州213001

以2010~2014年A股上市公司为研究样本,以修正Jones模型估计的操控性应计绝对值作为应计项目盈余管理的衡量指标,探讨上市公司独立董事日常工作所在地和上市公司所在地是否一致对公司盈余管理的影响。研究发现,独立董事本地化能抑制公司... 详细信息

以2010~2014年A股上市公司为研究样本,以修正Jones模型估计的操控性应计绝对值作为应计项目盈余管理的衡量指标,探讨上市公司独立董事日常工作所在地和上市公司所在地是否一致对公司盈余管理的影响。研究发现,独立董事本地化能抑制公司应计项目盈余管理。此外,研究进一步发现,独立董事本地化还能约束真实活动盈余操控,包括销售操控、生产操控和费用操控等行为。

关键词：独立董事盈余管理应计项目盈余管理真实活动盈余管理

来源：评论

学校读者我要写书评

暂无评论

国家审计质量与财政收支违规行为

引用

中国软科学 2016年第1期 165-175页

作者：黄溶冰乌天玥南京审计学院审计系江苏南京210029 哈尔滨工业大学管理学院黑龙江哈尔滨150001 华盛顿大学数学系美国西雅图98105

从审计效力与审计效果双维视角研究了我国国家审计质量与财政收支违规行为的关系,探讨从"屡审屡犯"到"审计免疫"的实现机制。研究发现,审计处理、审计移送的效力与效果二元化是导致当前低审计质量扩散效应的主要成... 详细信息

从审计效力与审计效果双维视角研究了我国国家审计质量与财政收支违规行为的关系,探讨从"屡审屡犯"到"审计免疫"的实现机制。研究发现,审计处理、审计移送的效力与效果二元化是导致当前低审计质量扩散效应的主要成因,针对财政收支违规行为,审计处理的问题多但落实和整改的问题少,自然不会产生"审计免疫"的良性循环。不同递推方案的系统动力学仿真结果显示,审计效力与效果并重的双高平衡型审计策略有助于防范财政违规问题金额的过快增长,强调审计建议的以审促改的预防驱动型审计策略能够实现财政违规问题金额的逐年减少,仅强调审计效力的威慑驱动型审计策略或仅强调审计效果的回应驱动型审计策略则无益于当前问题的解决。本文的研究结论丰富了国家审计战略转型的理论依据,对进一步加强国家审计质量控制、形成审计免疫的长效机制具有重要启示。

关键词：国家审计质量财政收支违规行为

来源：评论

学校读者我要写书评

暂无评论

直觉主义计算树逻辑中的安全性和活性

引用

计算机科学与探索 2016年第2期10卷 163-172页

作者：鲍秋霜张晋津南京航空航天大学计算机科学与技术学院南京210016 南京审计学院计算机科学与技术系南京211815

将Patrick Maier关于直觉主义线性时序逻辑的研究扩展到计算树逻辑中,基于完全树和非完全树构成的集合提出了一种直觉主义解释的计算树逻辑,并在此逻辑框架中研究了安全性和活性及其相关性质。比较了经典计算树逻辑与直觉主义计算树逻... 详细信息

将Patrick Maier关于直觉主义线性时序逻辑的研究扩展到计算树逻辑中,基于完全树和非完全树构成的集合提出了一种直觉主义解释的计算树逻辑,并在此逻辑框架中研究了安全性和活性及其相关性质。比较了经典计算树逻辑与直觉主义计算树逻辑的表达能力,探究了直觉主义计算树逻辑中安全性和活性在并、交等操作下的封闭性以及与经典计算树逻辑中安全性和活性的关系,并为直觉主义计算树逻辑公式建立了分解定理。

关键词：直觉主义计算树逻辑安全性活性分解定理

来源：评论

学校读者我要写书评

暂无评论

环境信息系统审计的目标和内容

引用

中国管理信息化 2016年第3期19卷 55-57页

作者：李庭燎陈晓红南京审计学院信息管理系南京211815 江苏省审计厅农业与资源环保审计处南京211815

环境信息系统是信息系统在环境管理中的具体应用,也是环境管理的重要组成部分。文章研究环境信息系统审计在环境审计和信息系统审计中的应用,提出开展环境信息系统审计需要考虑环境信息系统的可靠性、安全性和经济性三重目标,并总结了... 详细信息

环境信息系统是信息系统在环境管理中的具体应用,也是环境管理的重要组成部分。文章研究环境信息系统审计在环境审计和信息系统审计中的应用,提出开展环境信息系统审计需要考虑环境信息系统的可靠性、安全性和经济性三重目标,并总结了实施环境信息系统审计的具体内容。

关键词：环境审计环境信息系统审计信息系统

来源：评论

学校读者我要写书评

暂无评论

GRA视角下文化产业的财政支持效应研究

引用

文化产业研究 2016年第1期 60-76页

作者：周莉南京审计学院财政系南京大学国家文化产业研究中心

国家财政支持是新兴产业成长为支柱产业的重要推动力,而我国文化产业作为新兴的朝阳产业,迫切需要财政这个经济杠杆的支持和引导。本文在梳理我国文化产业发展历程和总结现有文化产业财政扶持政策的基础上,厘清文化产业财政支持的理论依... 详细信息

国家财政支持是新兴产业成长为支柱产业的重要推动力,而我国文化产业作为新兴的朝阳产业,迫切需要财政这个经济杠杆的支持和引导。本文在梳理我国文化产业发展历程和总结现有文化产业财政扶持政策的基础上,厘清文化产业财政支持的理论依据,进而对我国文化产业的财政支持效应进行GRA测算。结果表明,在全国视角下,文化产业财政支持的七项指标中,效应最显著的是经济增长和产业规模这两项指标,其次是收入效应、溢出效应、就业效应,产业结构效应最弱;在省级视角下,各地区文化产业财政支持的综合效应均比较显著,整体差距不大,就四类关联度的整体系数而言,关联度排序依次是经济增长效应、产业规模效应、溢出效应和就业效应。

关键词：文化产业财政支持效应分析 GRA

来源：评论

学校读者我要写书评

暂无评论

考虑不同分配方式的碳交易市场博弈分析

引用

中国管理科学 2015年第S1期23卷 807-811页

作者：陆敏方习年南京审计学院统计系江苏南京211815

碳排放配额初始分配方式的不同对碳交易企业影响深远。本文基于动态博弈模型,研究两种免费分配方式对碳排放配额市场交易价格和碳交易企业收益的影响,以电力行业为例进行数值模拟,结果表明:基于历史排放的分配方式对高排放企业有利;基... 详细信息

碳排放配额初始分配方式的不同对碳交易企业影响深远。本文基于动态博弈模型,研究两种免费分配方式对碳排放配额市场交易价格和碳交易企业收益的影响,以电力行业为例进行数值模拟,结果表明:基于历史排放的分配方式对高排放企业有利;基于产出的配额分配方式下,低排放企业收益最高,碳排放也较小;根据不同行业细化的碳排放初始配额分配方式可以有效激励企业选择低排放策略。

关键词：基于产出的方式祖父制碳市场博弈研究

来源：评论

学校读者我要写书评

暂无评论

环境审计的逻辑起点

引用

绿叶 2015年第5期 23-32页

作者：李兆东南京审计学院审计与会计学院审计系

环境审计已发展二十余年．但环境审计产生的逻辑起点是什么．在什么条件下产生．又是怎样演化变迁等系列基础理论问题尚未解决。本文通过分析审计逻辑起点的相关理论．确定了环境审计逻辑起点的标准，进而认为环境治理需求动因是环境审... 详细信息

环境审计已发展二十余年．但环境审计产生的逻辑起点是什么．在什么条件下产生．又是怎样演化变迁等系列基础理论问题尚未解决。本文通过分析审计逻辑起点的相关理论．确定了环境审计逻辑起点的标准，进而认为环境治理需求动因是环境审计所产生的逻辑起点，并收集环境投资．水环境治理和能源消耗数据，分析其与对应的环境审计之间的关系．以验证环境治理需求动因逻辑起点的合理性。

关键词：环境审计逻辑水环境治理基础理论能源消耗环境投资合理性动因

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：