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

计算机应用 2011年第5期31卷 1425-1427页

作者：林杰余建坤云南财经大学信息学院昆明650221

为了方便证明程序的正确性,引入了Kripke结构,提出基于Kripke结构的程序正确性证明。重新定义了适合证明的Kripke结构,并描述了将程序流程图转换为Kripke结构状态图的方法。给出了证明程序正确性的相关定理和基于Kripke结构的程序正确... 详细信息

为了方便证明程序的正确性,引入了Kripke结构,提出基于Kripke结构的程序正确性证明。重新定义了适合证明的Kripke结构,并描述了将程序流程图转换为Kripke结构状态图的方法。给出了证明程序正确性的相关定理和基于Kripke结构的程序正确性证明方法。证明方法为:首先,把程序流程图转换为状态图;然后,根据状态之间的转移关系列出每个状态下的状态谓词;最后,证明每个状态谓词为真。根据状态谓词进行证明,能够反映出程序执行的状态。用该方法对一个实例进行了完整的证明。

关键词： Kripke结构程序正确性证明状态图谓词

来源：评论

学校读者我要写书评

暂无评论

投资对云南省经济增长的拉动作用

引用

统计与决策 2006年第16期22卷 102-104页

作者：杨缅李兴绪天津财经大学统计系天津300222 云南财贸学院统计与信息学院昆明650221

本文从实际变量系统和名义变量系统两个角度来考察投资对云南经济增长的影响。对前者,利用回归方法和Granger因果检验进行分析;对后者,利用协整理论和修正模型进行研究。

关键词：投资国内生产总值回归格兰杰因果关系检验误差修正模型

来源：评论

学校读者我要写书评

暂无评论

基于电信预存款稽核的缴费卡管理系统的实现

引用

会计之友 2011年第3期 78-80页

作者：张献华云南财经大学信息学院

文章从电信业预存款稽核方面存在的问题及面临的压力入手,探讨了通过电信营业账务系统中的缴费卡管理系统来完善电信企业预存款核对的方法与具体实现。

关键词：预存款稽核缴费卡

来源：评论

学校读者我要写书评

暂无评论

基于CHNS微观数据的中国农村益贫式增长研究

引用

统计与决策 2013年第15期29卷 129-132页

作者：张庆红新疆财经大学统计与信息学院乌鲁木齐830012

针对中国经济增长的减贫效果不断下降的事实,文章提出益贫式增长的概念及测度方法,根据CHNS调查的微观家庭收入数据分析中国农村1989-2009年贫困和不平等变动的变动趋势,判断这段时期中国农村经济增长的益贫性,农村贫困人口是否从经济... 详细信息

针对中国经济增长的减贫效果不断下降的事实,文章提出益贫式增长的概念及测度方法,根据CHNS调查的微观家庭收入数据分析中国农村1989-2009年贫困和不平等变动的变动趋势,判断这段时期中国农村经济增长的益贫性,农村贫困人口是否从经济增长中获得好处。

关键词： GIC曲线益贫式增长率收入分配

来源：评论

学校读者我要写书评

暂无评论

工业增长与环境污染关系的实证分析——以新疆为例

引用

企业经济 2011年第4期30卷 65-67页

作者：克甝韩延玲新疆财经大学统计与信息学院

通过对国内外经济增长和环境污染关系文献的梳理,笔者发现很多学者研究二者之间关系都是通过拟合EKC曲线来说明,但拟合过程中还存在一些不足,在一定程度上降低了结论的可信度。本文在前人研究EKC的基础上,采用灰色主成分分析方法,构建... 详细信息

通过对国内外经济增长和环境污染关系文献的梳理,笔者发现很多学者研究二者之间关系都是通过拟合EKC曲线来说明,但拟合过程中还存在一些不足,在一定程度上降低了结论的可信度。本文在前人研究EKC的基础上,采用灰色主成分分析方法,构建工业增长环境综合指标,通过拟合三种模型来研究新疆工业增长和环境污染的关系,得出结论:新疆存在具有自身特点的U型特征的EKC曲线,2002年以后新疆工业环境综合指标值随着人均工业产值的上升而不断增加,污染不断加剧;重化工业的快速增长以及由此形成的结构性特征是造成新疆主要污染物排放难以下降并上升的直接原因。因此,建议把节能减排作为新疆工业结构调整的刚性指标,坚决抑制高耗能、高排放产业的增长,加快淘汰落后产能,大力发展循环经济、低碳经济,使工业发展建立在节约能源资源和保护环境的基础之上,真正实现经济又好又快发展的目标。

关键词：工业增长环境综合指标环境库兹涅茨曲线新疆

来源：评论

学校读者我要写书评

暂无评论

小城镇发展理论综述

引用

中国高新技术企业 2008年第2期 124-124,127页

作者：李帅云南财经大学统计与信息学院

小城镇发展研究已经有20余年的历史,但研究过程中诸多关键问题尚存争论,本文尝试从我国小城镇的基本概念和小城镇发展这些在学术研究中仍然模糊和尚待商榷的问题入手,对我国小城镇发展研究中的问题进行理论综述,旨在从历史的角度厘清小... 详细信息

小城镇发展研究已经有20余年的历史,但研究过程中诸多关键问题尚存争论,本文尝试从我国小城镇的基本概念和小城镇发展这些在学术研究中仍然模糊和尚待商榷的问题入手,对我国小城镇发展研究中的问题进行理论综述,旨在从历史的角度厘清小城镇发展研究中的关键概念,廓清小城镇研究的理论框架,这将有益于小城镇问题研究的进一步的深化,从而为小城镇的发展找到较为合理的理论基础。

关键词：小城镇发展问题综述

来源：评论

学校读者我要写书评

暂无评论

新疆与中亚国家对外贸易发展现状与问题

引用

人民论坛 2013年第A11期 254-255页

作者：雪合来提.马合木提奥斯曼.玉散新疆财经大学统计与信息学院

随着中国经济的持续发展,中国能源对外依存度不断上升。中亚国家油气资源非常丰富,是中国实施能源进口多元化战略的重要能源供应接替区之一。由于中亚国家的工业不发达,产业结构单一,对高科技产品有巨大需求,因此将成为中国高科技产品... 详细信息

随着中国经济的持续发展,中国能源对外依存度不断上升。中亚国家油气资源非常丰富,是中国实施能源进口多元化战略的重要能源供应接替区之一。由于中亚国家的工业不发达,产业结构单一,对高科技产品有巨大需求,因此将成为中国高科技产品、工业产品和附加值产品的主要对外市场之一。

关键词：新疆对外贸易中亚国家

来源：评论

学校读者我要写书评

暂无评论

用于模糊决策的Vague值转换为Fuzzy集方法比较研究

引用

计算机应用与软件 2013年第8期30卷 181-183页

作者：王伟曾志勇王喜东云南财经大学信息学院云南昆明650221

现今Vague集理论还不够成熟,为了分析的需要有必要将之转换成理论比较纯熟的Fuzzy集。介绍现有一些Vague集向Fuzzy集转换的方法,并根据它们目前所存在的一些不足,提出新的方法。通过举证和论证的方法证明了新方法满足若干规则性,从而得... 详细信息

现今Vague集理论还不够成熟,为了分析的需要有必要将之转换成理论比较纯熟的Fuzzy集。介绍现有一些Vague集向Fuzzy集转换的方法,并根据它们目前所存在的一些不足,提出新的方法。通过举证和论证的方法证明了新方法满足若干规则性,从而得出有效性。最后通过实验与所提方法进行比较,证明了其正确性和优越性。从而为模糊决策方面提供一些帮助。

关键词： Vague值 Fuzzy值模糊决策

来源：评论

学校读者我要写书评

暂无评论

新型城镇化、产业结构升级与中国经济增长——基于空间溢出及门槛效应的实证研究

引用

系统工程理论与实践 2019年第6期39卷 1407-1418页

作者：徐秋艳房胜飞马琳琳石河子大学经济与管理学院石河子832000 新疆财经大学统计与信息学院乌鲁木齐830012

基于我国30个省级单位的相关数据,利用熵值法和Moore结构变化值,分别对新型城镇化水平和产业结构高级化水平进行测度,通过计算全局Moran’sⅠ指数,分析了中国经济增长存在的空间依赖特征,在此基础上,引入控制变量建立空间面板计量模型... 详细信息

基于我国30个省级单位的相关数据,利用熵值法和Moore结构变化值,分别对新型城镇化水平和产业结构高级化水平进行测度,通过计算全局Moran’sⅠ指数,分析了中国经济增长存在的空间依赖特征,在此基础上,引入控制变量建立空间面板计量模型、空间效应分解模型和面板门槛模型,实证分析了新型城镇化和产业结构升级的经济增长效应.研究显示:新型城镇化通过发挥其"选择效应",优化产业结构,提高社会生产率,有效推动中国经济的增长;中国产业结构处于调整期,产业结构升级导致中国经济发展出现"结构性减速"现象,但其经济增长效应仍显著;"产城协同"显著促进了中国经济增长,产城联动对于缓解中国经济增速放缓而带来的"结构性减速"和"三重压力"等问题具有重要现实意义;新型城镇化与产业结构升级的经济增长效应因产城关系的时期性不匹配而存在"门槛效应".

关键词：经济增长新型城镇化产业结构高级化空间计量模型门槛模型

来源：评论

学校读者我要写书评

暂无评论

一种基于LWE‐CPABE的区块链数据共享方案

引用

计算机工程 2022年第10期48卷 158-168,175页

作者：张晓东陈韬伟余益民云南财经大学信息学院昆明650221 云南财经大学智能应用研究院昆明650221

为应对量子计算对区块链上基于数论的隐私保护技术所带来的威胁,将区块链技术与格属性基加密算法有效融合,提出一种基于格的后量子CPABE区块链数据共享方案。将容错学习(LWE)作为方案的困难问题假设,构造一种基于格的密文策略属性基加... 详细信息

为应对量子计算对区块链上基于数论的隐私保护技术所带来的威胁,将区块链技术与格属性基加密算法有效融合,提出一种基于格的后量子CPABE区块链数据共享方案。将容错学习(LWE)作为方案的困难问题假设,构造一种基于格的密文策略属性基加密算法LWE-CPABE,抵御量子计算对公钥密码安全的攻击,实现数据的安全共享。设计算法参数的标准格式化交易结构,以满足LWE-CPABE算法的可追责性。在此基础上,给出交易生成与交易验证智能合约,以实现交易的自动验证与共识。功能性分析与仿真实验结果表明,该方案在算法初始化、加解密以及密钥生成的计算效率方面均优于传统的基于双线性映射理论的CPABE方案,可实现区块链上数据的高效、安全、动态共享与隐私保护,明显提高区块链数据共享安全性。

关键词：后量子密码区块链属性基加密数据共享隐私保护

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：