检索结果-南通市图书馆

以Barendregt的变量约定形式化编程语言研究

在线全文

学校读者我要写书评

暂无评论

计算机工程与科学 2024年

作者：阿力木江·亚森艾合买提·阿不来提沙尔旦尔·帕尔哈提阿布都克力木·阿布力孜哈里旦木·阿布都克里木新疆财经大学信息管理学院新疆财经大学统计与数据科学学院

编程语言、类型系统和逻辑系统中常见的命名绑定，在实践中实现存在困难。在理论中以抽象思考发现并避免即将发生的变量捕获。在实践中变量捕获的检测需要定义笨拙的辅助操作，使形式化和证明变得复杂。现有几种命名绑定技术旨在表达式... 详细信息

编程语言、类型系统和逻辑系统中常见的命名绑定，在实践中实现存在困难。在理论中以抽象思考发现并避免即将发生的变量捕获。在实践中变量捕获的检测需要定义笨拙的辅助操作，使形式化和证明变得复杂。现有几种命名绑定技术旨在表达式具有良好的可读性，无变量捕获的代换操作和直观的证明。然而，以这些技术的形式化与理论之间存在差别，两者的表达式和证明过程可能有很大的不同。本文提出一种命名绑定技术，其中在代换操作和推理规则中引入的表达式刷新函数使形式化遵守Barendregt的变量约定，形式系统的形式化与其理论几乎相同。本文以无类型λ-演算和具有简单数据类型的λ-演算的形式化展示该技术的优点。

关键词：变量命名命名绑定形式系统 Barendregt的变量约定编程语言理论

省域典型旅游集散地综合可达性协调发展及空间关系研究——以新疆为例

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

干旱区地理 2024年

作者：李梦园庞家朋李欢新疆财经大学旅游学院新疆财经大学体育部

农家乐和景区作为典型旅游集散地，两者可达层面良好协调对旅游高质量发展具有重要意义。选取新疆典型旅游集散地为案例区，利用可达性模型、熵权-TOPSIS法、耦合协调模型、地理集中度指数和局部莫兰指数分析2022年疆农家乐和景区可达... 详细信息

农家乐和景区作为典型旅游集散地，两者可达层面良好协调对旅游高质量发展具有重要意义。选取新疆典型旅游集散地为案例区，利用可达性模型、熵权-TOPSIS法、耦合协调模型、地理集中度指数和局部莫兰指数分析2022年疆农家乐和景区可达水平、耦合协调阶段以及空间分布特征。结果表明：（1）新疆景区可达性优于农家乐，可达性低值区域主要分布于南疆，在和田地区、喀什地区和克州相连呈带状分布。（2）从耦合协调度来看，耦合协调度低值区分布于新疆外围。总体而言农家乐和景区综合可达性耦合协调水平较高，并呈现“四周低、中心高”态势。（3）从集聚状态来看，农家乐和景区综合可达水平耦合协调度呈现集聚分布。从局部相关来看，高-高集聚类型集中在以首府乌鲁木齐市为中心的“环乌圈”城市群；低-低集聚类型分布在南疆靠近边境处，高-高和低-低集聚类型相距较远，集聚分布整体上呈现“双正相关”格局，且表现出“极化”效应。研究结果丰富了新疆旅游集散地协调发展内容，有助于新疆旅游产业实现高质量发展。

关键词：农家乐景区综合可达水平耦合协调空间分布新疆

企业双元创新是否推动中国新质生产力发展——基于宏微观视角的实证分析

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

金融与经济 2024年

作者：曹润民陈海龙李阳张景艳新疆财经大学统计与数据科学学院新疆财经大学国际经贸学院

基于微观与宏观结合视角，选取2010—2021年A股上市企业作为样本数据，研究企业双元创新对中国新质生产力的影响。研究发现：企业突破式创新赋予生产要素高质量属性以促进新质生产力发展，而企业渐进式创新对其影响效果不显著；突破式... 详细信息

基于微观与宏观结合视角，选取2010—2021年A股上市企业作为样本数据，研究企业双元创新对中国新质生产力的影响。研究发现：企业突破式创新赋予生产要素高质量属性以促进新质生产力发展，而企业渐进式创新对其影响效果不显著；突破式创新会优先促进新质生产力技术和产业创新，在生产要素创新的作用效果层面存在时滞性；在高科技企业、大型企业和高管持股比例较高的企业中，突破式创新赋予新质生产力高科技和持续性发展动能属性。

关键词：企业创新突破式创新渐进式创新新质生产力生产要素

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中国生态福利绩效驱动分解研究

地理学报 2024年第5期79卷 1337-1354页

作者：董莹孙玉环丁娇东北财经大学统计学院大连116025

提高生态福利绩效是实现经济可持续发展、推进经济社会全面绿色转型的必要条件。本文围绕居民福利和生态消耗构建了能够量化评估中国生态福利绩效的方法,并在此基础上利用ST-LMDI模型对中国各省份及8个经济区的生态福利绩效进行时间分... 详细信息

提高生态福利绩效是实现经济可持续发展、推进经济社会全面绿色转型的必要条件。本文围绕居民福利和生态消耗构建了能够量化评估中国生态福利绩效的方法,并在此基础上利用ST-LMDI模型对中国各省份及8个经济区的生态福利绩效进行时间分解和空间分解,拓展当前对生态福利绩效驱动因素分解的研究。研究结果表明,2001—2020年中国生态福利绩效呈现出先升后降的变动趋势,空间上具有显著的地区差异性。其中沿海地区社会经济结构和民生性财政支出具有更高优势,生态福利绩效处于较高水平,且表现出空间溢出效应。引入社会效益、经济效益、人口分散度、建成区人口密度、城市化规模和生态可持续能力6个因素探索其对生态福利绩效的驱动作用,发现时间和空间分解结果表现出显著差异。基于时间分解结果,经济效益和城市化规模为促进生态福利绩效提升的主要因素,人口分散度是抑制生态福利绩效增加的主要因素。但从空间分解结果看,决定各省生态福利高于均值的驱动因素在不同时期内存在区域差异和动态变化特征。综合考虑时间和空间分解结果,全面把握经济增长、生态保护和居民福利提升的关系,有助于为地方政府制订并实施差异化政策提供参考。

关键词：时空双维度生态福利绩效可持续福利指数 ST-LMDI 中国

在线全文

学校读者我要写书评

暂无评论

绿色技术创新效率的区域差异及影响因素

统计与决策 2024年第12期40卷 168-172页

作者：王东曹建飞新疆财经大学财政税务学院乌鲁木齐830012 新疆财经大学统计与数据科学学院乌鲁木齐830012

绿色技术创新是实现创新驱动和绿色转型双赢的核心驱动力,文章采用全局超效率EBM模型测度了中国30个省份绿色技术创新效率,利用Dagum基尼系数和空间计量模型探讨其区域差异及影响因素。结果表明:2006—2022年绿色技术创新效率具有明显... 详细信息

绿色技术创新是实现创新驱动和绿色转型双赢的核心驱动力,文章采用全局超效率EBM模型测度了中国30个省份绿色技术创新效率,利用Dagum基尼系数和空间计量模型探讨其区域差异及影响因素。结果表明:2006—2022年绿色技术创新效率具有明显的上升趋势,三大地区呈现中部>东部>西部的空间分布格局,区域差异较期初下降,超变密度是总体差异的主要来源。环境规制和产业结构升级对绿色技术创新效率具有显著的抑制作用,而财政分权、对外开放和经济发展水平对绿色技术创新效率具有促进作用。

关键词：绿色技术创新超效率EBM 区域差异空间溢出效应

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

局部线性下的函数型主成分聚类算法

统计与决策 2024年第5期40卷 39-44页

作者：陈海龙胡晓雪新疆财经大学统计与数据科学学院乌鲁木齐830012

函数型聚类分析在统计学领域被广泛关注,其分析过程通常在降维目标实现后进行。为了有效解决函数型主成分聚类问题,文章结合局部线性嵌入算法(Locally Linear Embedding,LLE)在非线性空间下的适用性,提出了一种局部线性下的函数型主成... 详细信息

函数型聚类分析在统计学领域被广泛关注,其分析过程通常在降维目标实现后进行。为了有效解决函数型主成分聚类问题,文章结合局部线性嵌入算法(Locally Linear Embedding,LLE)在非线性空间下的适用性,提出了一种局部线性下的函数型主成分分析模型(LLE Function Principle Component Analysis,LFPCA)。首先,采用函数型主成分分析法作为降维目标方法,改进了FPCA的算法模型,通过将LLE算法的权重系数矩阵与函数型主成分定义相结合,构建出一个适用于非线性空间下的聚类算法;其次,在求解算法的过程中定义了函数型主成分得分,并结合EM算法构建出GMM模型来近似函数型算法的概率密度函数,使模型更高效且适用性更强;最后,通过随机模拟实验及应用分析验证了LFPCA算法模型在真实数据集上具有良好的聚类效能。

关键词：函数型主成分聚类局部线性嵌入算法 EM算法 GMM模型

中国旅游双循环市场效率空间演进及驱动因素异质性研究

在线全文

学校读者我要写书评

暂无评论

干旱区地理 2024年

作者：程云洁杨淋杰新疆财经大学经济学院

为探究旅游双循环市场发展差异及驱动因素的异质性，借助超效率数据包络（Super-DEA）模型测度了中国31省域旅游业内外市场效率，利用条件核密度方法和地理信息系统（GIS）空间分析探究了时空维度下旅游双循环市场效率演进状况，并通过... 详细信息

为探究旅游双循环市场发展差异及驱动因素的异质性，借助超效率数据包络（Super-DEA）模型测度了中国31省域旅游业内外市场效率，利用条件核密度方法和地理信息系统（GIS）空间分析探究了时空维度下旅游双循环市场效率演进状况，并通过地理探测器工具，分析了旅游内、外市场驱动因素作用的差异性。结果表明：（1）静态空间结构方面，中国旅游内外市场效率差距呈现区域分割现象，东部差异较小、中部差异最大。（2）动态空间演进层面，旅游内、外市场效率重心均向西南方位转移，并且出现低效率区抱团高效率区极化现象。（3）驱动因素方面，产品供给层面的因素是推动内、外市场高效发展的关键，旅游产品和配套设施在内、外2个市场均扮演了重要角色，政府行为导向层面，市场化和信息技术对于外循环市场的推动作用要大于内循环。

关键词： “双循环” 条件核密度标准差椭圆地理探测器

货币政策“防风险”与“促发展”的调控效应研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

财经科学 2024年第3期 33-44页

作者：何剑刘钰新疆财经大学金融学院

“防风险”与“促发展”是当前金融宏观调控的主要目标。本文运用SV-TVP-SVAR模型详细刻画货币政策不同量价工具的经济金融调控效应,实证检验宏观调控二元目标之间的动态关联机制。研究发现:一方面,量价货币政策对系统性金融风险和实体... 详细信息

“防风险”与“促发展”是当前金融宏观调控的主要目标。本文运用SV-TVP-SVAR模型详细刻画货币政策不同量价工具的经济金融调控效应,实证检验宏观调控二元目标之间的动态关联机制。研究发现:一方面,量价货币政策对系统性金融风险和实体经济高质量发展均具有显著的、阶段性的影响,数量型货币政策短中长期均具有“防风险”效应,“促发展”效应则体现在短期;价格型货币政策的“防风险”效应主要体现在短期,“促发展”效应体现在中长期;另一方面,系统性金融风险与实体经济高质量发展之间存在着非一致的时变影响关系,表明宏观调控“防风险”与“促发展”之间存在着阶段性矛盾,且二者交互影响的传导机制亦有所不同。因此,应着力疏通货币政策传导,提高金融服务实体经济质效,助力金融强国建设和实体经济高质量发展。

关键词：货币政策系统性金融风险实体经济高质量发展 SV-TVP-SVAR

在线全文

学校读者我要写书评

暂无评论

新疆核桃产业集群发展策略研究

中国油脂 2024年

作者：赵向豪杨景淳新疆财经大学经济学院

产业集群建设不仅是加快乡村产业振兴的重要载体与机制，也是助推农业农村现代化、实现产业富民的重要基础与保障。在系统梳理新疆核桃产业集群发展优势与现状的基础上，探究新疆核桃产业集群发展存在的生产机械化水平低、精深加工能力... 详细信息

产业集群建设不仅是加快乡村产业振兴的重要载体与机制，也是助推农业农村现代化、实现产业富民的重要基础与保障。在系统梳理新疆核桃产业集群发展优势与现状的基础上，探究新疆核桃产业集群发展存在的生产机械化水平低、精深加工能力弱、市场开拓不足、仓储冷链物流设施建设滞后等问题。对此，提出新疆核桃产业集群发展路径：推广核桃增产提效技术，夯实产业集群生产基础；增强核桃精深加工能力，促进核桃产业集群转型升级；加大新疆核桃品牌宣传力度，优化产业集群市场开发模式；推进产业集群基础设施建设，完善各主体利益联结机制。

关键词：核桃产业产业集群发展策略新疆