项重写系统和自由幺半群

来源 :纯粹数学与应用数学 | 被引量 : 0次 | 上传用户：lx84015092

【摘要】

：

项重写系统起源于数理逻辑,是理论计算机科学的重要组成部分.关于项重写系统的一个主要问题是描述一个重写系统是否具有汇合或终止等基本性质.本文首先将一个项重写系统与自由幺半群上的二元关系联系起来.然后,基于自由幺半群上的项重写系统,刻画了收敛项重写系统与自由幺半群的商截面之间的关系.作为应用,分别给出了由三个元素生成的Platic幺半群和中国幺半群的截面.

【作者】

：

林沐辰朱志成张毅

【机构】

：

南京信息工程大学数学与统计学院

【出处】

：

纯粹数学与应用数学

【发表日期】

：

2022年02期

【关键词】

：

自由幺半群重写系统 Platic幺半群中国幺半群

【基金项目】

：

国家自然科学基金（11771191,12101316）；南京信息工程大学人才启动金（2021r014）；南京信息工程大学大学生创新创业训练计划项目（XJDC202210300386）；

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

GB/T 22272-2008 良好实验室规范建议性文件—建立和管理符合良好实验室规范原则的档案

＜正＞～～

会议

人民币国际流动性约束与货币政策选择

本文在小国开放经济新凯恩斯货币模型中,引入了人民币国际流动性约束,研究其对货币政策选择的影响。货币国际流动性约束扭曲了跨国风险分担条件,使得央行需要在稳定价格水平和改进风险分担条件之间进行权衡。研究发现:（1）人民币国际流动性约束程度越高,央行越应增加实际汇率波动;（2）与盯住CPI通胀相比,执行盯住PPI通胀的政策规则能够在稳定价格水平的同时,增加实际汇率波动,改善国际风险分担条件,提高社会福利

期刊

国际流动性约束货币政策规则社会福利

欧盟能源转型再提速

报纸

能源转型俄罗斯可再生能源天然气进口海上风电行动方案

东京城国有林区退化林现状及修复建议

退化林是林分提前或加速进入生理衰退阶段，出现林木枯死、濒死、生长不良等现象，稳定性降低，生态功能退化甚至丧失，难以通过自然能力更新恢复的森林。近些年来，东京城国有林区因自然现象、林木生理现象和人为干扰引起林分退化，通过分析东京城森林的退化现状与特点，提出了修复建议。

期刊

退化林生态效益生态修复

师宗县杉木人工林退化林分修复

杉木在师宗县栽培历史悠久，已形成了一个从种植到加工的完整、重要的林业支柱产业，但在有限的林地上因多轮纯林连作，种植中的不合理营林措施及传统利益观念，使杉木人工林出现了不同程度的退化，若不加以重视，种植者减收，生态受损，阻碍林产业的可持续发展。分析了当前全县杉木人工林退化林分的形成原因，指出了树种单一、多轮纯林连栽、种植密度过大导致林木因此受病虫害为害、营养不足和地力衰退而导致了退化，结合县林产业发

期刊

师宗县杉木人工林退化林分修复

金融摩擦异质性、资源错配与全要素生产率损失

本文利用宏观经济数据，实证分析银行信贷扩张对国有部门和非国有部门投资的影响。研究结果显示，信贷扩张时，国有部门投资的上升幅度显著大于非国有部门投资的上升幅度，表明金融摩擦存在部门异质性。本文建立一个包含国有部门、非国有部门及金融摩擦存在部门异质性的RBC模型，研究金融摩擦异质性对全要素生产率、总产出和总消费的影响。数值模拟结果显示：在稳态时，金融摩擦异质性造成全要素生产率损失为0.987%—2.5

期刊

金融摩擦异质性资源配置效率全要素生产率两部门RBC模型

中国共产党的生态观及实践发展

中国共产党成立以来，在率领全国人民革命、建设、改革的过程中开展了丰富的生态文明建设实践活动，产生、形成并发展了中国共产党生态观。基于理论发展与实践探索历程，大致把中国共产党生态观的发展及实践分成四个不同历史时期：中国共产党生态观萌芽及实践探索（1921—1949）、中国共产党生态观初步形成与实践试验（1949—1978）、中国共产党生态观发展时期与实践推进（1978—2012）、中国共产党生态观走

期刊

中国共产党生态观实践

江苏烟草市场主要工作成效

报纸

烟草市场地级市烟草商业网上配货宁镇扬长三角一体化四大区域长江经济带

发票电子化背景下防范“暴力虚开”的对策

虚开增值税专用发票问题一直是困扰税收治理的难点，其中虚开后立即走逃的“暴力虚开”因其主观恶意强、危害后果大又是整治的重点。发票电子化使得获得发票更容易、开票总额管理更宽松，而监管手段有所不足，“暴力虚开”有反弹的风险。治本之策是通过制度创新，以信息技术为支撑，建立以增值税应缴税款监管为核心的票税一体监管机制，从而有效消除“暴力虚开”的套利空间和操作空间。

期刊

增值税专用发票税收征管“全电”发票暴力虚开

打通治理违法用地的“任督二脉”

报纸

违法用地综合整治裁执分离检察院公益诉讼宜兴市检察职能检察官非诉执行土地管理法行政机关违法占地任督二脉

项重写系统和自由幺半群

与本文相关的学术论文