检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

带有时间戳的着色逻辑Petri网

计算机科学与探索 2024年第7期18卷 1776-1791页

作者：王嘉丰徐贤华东理工大学信息科学与工程学院上海200237

针对扩展着色逻辑Petri网存在的表达能力弱以及适用范围窄的问题,提出了一个新的Petri网模型,即带有时间戳的着色逻辑Petri网。首先,将颜色进行实例化以及将变量用于构建有向边上的表达式使得模型能够传递复杂的数据流。其次,引入全局... 详细信息

针对扩展着色逻辑Petri网存在的表达能力弱以及适用范围窄的问题,提出了一个新的Petri网模型,即带有时间戳的着色逻辑Petri网。首先,将颜色进行实例化以及将变量用于构建有向边上的表达式使得模型能够传递复杂的数据流。其次,引入全局时间以及令牌的时间戳等概念为变迁使能规则增加时间上的约束,使得模型能够用于模拟实时系统。再次,定义库所约束函数并为变迁使能规则增加输出库所上的约束,使得模型能够适用于存储资源有限的场景。接着,提出基于逻辑变迁输入输出矩阵的匹配法,降低逻辑输入变迁的使能判定计算开销并简化逻辑输出变迁的使能判定计算过程。然后,重新定义适用于三类变迁的使能判定条件以及适用于三类库所的标记更新方法,解决原有模型语义在新模型中不适用的问题。最后,通过实例说明新的Petri网模型具有更强的表达能力和适用范围,它能够适用于传递复杂数据流、存储资源有限、实时的且包含批处理选择结构的系统。

关键词： Petri网时间戳着色令牌逻辑变迁

基于视觉识别的智能绿篱修剪机的设计与仿真分析

在线全文

学校读者我要写书评

暂无评论

林产工业 2024年

作者：曹有为沈梦雨仇玉霄东北林业大学机电工程学院

针对现有绿篱修剪机立体造型时，修剪一致性差，自动化程度不高问题，设计了一款基于视觉识别的智能绿篱修剪机。根据使用功能对整机进行结构设计，并通过Ansys-Workbench对关键结构进行有限元分析和自由模态下的振动分析，得到位移和... 详细信息

针对现有绿篱修剪机立体造型时，修剪一致性差，自动化程度不高问题，设计了一款基于视觉识别的智能绿篱修剪机。根据使用功能对整机进行结构设计，并通过Ansys-Workbench对关键结构进行有限元分析和自由模态下的振动分析，得到位移和应力云图，以及各阶模态下的频率，验证了设计的合理性；对上部传动机构电机轴进行疲劳分析，保证其使用寿命和安全性；最后，通过HSV模型和PnP测距算法，完成对视觉识别模块的设计，进而完成整体方案。

关键词：绿篱修剪机结构设计 ANSYS有限元分析模态分析疲劳分析视觉识别

两样本孟德尔随机化法分析1型糖尿病对结直肠癌的影响

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

上海交通大学学报(医学版) 2024年第6期 755-761页

作者：俞洋孟丹仇奕文袁见朱莹杰上海中医药大学附属龙华医院肿瘤一科

目的·利用孟德尔随机化法（Mendelian randomization,MR）研究1型糖尿病与结直肠癌间潜在的因果关系。方法·采用两样本双向MR分析评估1型糖尿病与结直肠癌的因果关系。研究数据均来自IEU Open GWAS Project数据库。1型糖尿病的数据集... 详细信息

目的·利用孟德尔随机化法（Mendelian randomization,MR）研究1型糖尿病与结直肠癌间潜在的因果关系。方法·采用两样本双向MR分析评估1型糖尿病与结直肠癌的因果关系。研究数据均来自IEU Open GWAS Project数据库。1型糖尿病的数据集包括患者9266例和对照人群15574例，包含12783129个单核苷酸多态性（singlenucleotide polymorphism,SNP）的关联分析；结直肠癌的数据集包括患者5 657例和对照人群372 016例，包含29 999 696个SNP的关联分析。筛选工具变量SNP，以逆方差加权（inverse variance weighted,IVW）法结果作为效应的主要指标，同时将MREgger回归、加权中位数法、基于众数的简单估计、基于众数的加权估计4种方法结果作为参考。采用留一法检验敏感性，采用IVW法和MR-Egger法进行Cochran's Q检验判断异质性，MR-pleiotropy函数检验多效性，采用Steiger检验进行方向性研究。采用共定位分析评估1型糖尿病和结直肠癌之间的效应是否由相同的SNP引起，采用交叉性状连锁不平衡得分回归（linkage disequilibrium score regression,LDSC）分析2种疾病之间的遗传相关性。所有检验采用R语言软件（4.3.1版本）执行分析。结果·经筛选后，共采用工具变量（SNP） 33个。异质性检验结果发现，SNP之间存在一定的异质性（IVW法和MR-Egger法结果均P0.05）。Steiger检验发现，1型糖尿病对结直肠癌的效应未受反向作用干扰。反向MR分析未发现结直肠癌对1型糖尿病存在因果效应（均P>0.05）。共定位分析结果显示，H4假设概率为45.7%,2种疾病间的因果关系不是由两者基因序列中相同的SNP引起的。LDSC分析显示2种疾病不存在遗传相关性。结论·1型糖尿病可能促进结直肠癌发生，但结直肠癌对1型糖尿病不存在影响。

关键词：结直肠癌 1型糖尿病孟德尔随机化

空间建构与仪式表达——以贵州雷山文化空间生产及活动展演为例

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

贵州民族研究 2024年第3期45卷 106-113页

作者：李胜杰仇润鹏贵阳学院阳明学与黔学研究院贵州贵阳550005

民俗文化空间是人们举办传统节日仪式活动的场所,是各民族集体记忆和活态传承传统文化的载体。进入21世纪后,在城镇化建设和旅游开发过程中,雷山县通过复制、嫁接典型民族节庆、传统建筑和服饰文化符号等方式,在城镇修建新的节日活动场... 详细信息

民俗文化空间是人们举办传统节日仪式活动的场所,是各民族集体记忆和活态传承传统文化的载体。进入21世纪后,在城镇化建设和旅游开发过程中,雷山县通过复制、嫁接典型民族节庆、传统建筑和服饰文化符号等方式,在城镇修建新的节日活动场地。在当地政府、民间团体和各民族群众的协作努力下,通过节日期间的仪式展演活动,让非物质文化遗产等传统民族文化实现创造性转化和创新性发展,促进了各民族的交往交流交融。转型发展后的节日空间及其仪式活动在建构民族文化景观、推动文旅融合发展来赋能乡村振兴的同时,既提升了当地人的文化自信自觉,促进了非物质文化遗产的整体性保护,又增强了人们对中华文化的认同,夯实了铸牢中华民族共同体意识的文化基础。

关键词：民俗节日空间建构活动展演仪式表达

基于区块链技术的商品房预售资金监管平台构建

在线全文

学校读者我要写书评

暂无评论

财会通讯 2024年第10期 130-135页

作者：崔宝霞仇梓娴丁超内蒙古科技大学土木工程学院内蒙古包头014010 内蒙古自治区高校智能建造与运维工程研究中心内蒙古包头014010

文章构建了涵盖政府监管部门、银行、建设单位等多方参与的基于区块链技术的商品房预售资金监管平台,将预售资金流动明细、预售资金拨付等全流程信息上链,实现商品房预售资金全过程规范透明、预售资金拨付流程可追溯,保障政府监管部门... 详细信息

文章构建了涵盖政府监管部门、银行、建设单位等多方参与的基于区块链技术的商品房预售资金监管平台,将预售资金流动明细、预售资金拨付等全流程信息上链,实现商品房预售资金全过程规范透明、预售资金拨付流程可追溯,保障政府监管部门对预售资金的有效监管。本文提出了一种新的预售资金监管方法可有效保障预售资金使用的公开透明,进一步降低在建商品房项目的烂尾风险,保障购房者的利益。

关键词：预售资金监管商品房预售区块链技术智能合约

长江流域梯级水库夏末秋初蓄水对河口盐水入侵和淡水资源的影响

在线全文

学校读者我要写书评

暂无评论

华东师范大学学报（自然科学版） 2024年第1期 90-103页

作者：金智朱建荣仇威华东师范大学河口海岸学国家重点实验室上海200241 上海水环境模拟与水生态修复工程技术研究中心上海200233

流域大型梯级水库群,夏末秋初蓄水,来年枯季放水,季节性改变了入海径流量,会影响河口盐水入侵和淡水资源利用.收集了长江流域大型梯级水库有效库容和南水北调工程跨流域调水的量值,利用改进的河口海岸三维数值模式ECOM-si,模拟和分析了... 详细信息

流域大型梯级水库群,夏末秋初蓄水,来年枯季放水,季节性改变了入海径流量,会影响河口盐水入侵和淡水资源利用.收集了长江流域大型梯级水库有效库容和南水北调工程跨流域调水的量值,利用改进的河口海岸三维数值模式ECOM-si,模拟和分析了长江流域重大工程对河口盐水入侵和淡水资源的影响.截至2020年和2035年,长江流域中上游已建和将建大型水库有效库容分别为706.11和943.88亿m^(3),蓄水期9、10月间平均径流量分别减少13398和17909 m^(3)/s.基于大通实测水文站1950—2020年实测月平均径流量,考虑截至2020年和2035年流域重大工程对径流量的调节,给出了平均水文年和特枯水文年8—10月的月平均径流量.数值模拟结果表明,截至2020年和2035年流域梯级水库9—10月蓄水,径流量下降,导致盐水入侵加剧.在平均水文年,南支水源地4个水库9—10月所有时间均能取到淡水.在特枯水文年,9—10月东风西沙、太仓、陈行和青草沙水库取水口连续不宜取水天数截至2020年分别为28.75、24.99、29.63和37.47 d,到2035年分别为46.53、44.18、47.56和50.75 d.夏末秋初特枯和平均水文年情况下流域水库蓄水期间遇到强北风作用,均会显著影响长江口水源地取水.对于特枯水文年,流域水库群应减少蓄水量,甚至应该放水,以保障长江口淡水资源的安全.

关键词：流域水库群径流量长江河口盐水入侵数值模拟

在线全文

学校读者我要写书评

暂无评论

财政透明度与企业避税行为

管理工程学报 2024年第3期38卷 58-75页

作者：田高良刘晓丰司毅西安交通大学管理学院/国家级管理实验教学示范中心陕西西安710049

财政透明度是各级政府维持运行效率和接受社会监督的重要制度保证。以我国2014—2019年A股上市公司作为研究样本,本文实证研究了宏观财政透明度对微观企业避税行为的影响。研究发现:地方政府财政透明度的提升能够有效增加上市公司的主... 详细信息

财政透明度是各级政府维持运行效率和接受社会监督的重要制度保证。以我国2014—2019年A股上市公司作为研究样本,本文实证研究了宏观财政透明度对微观企业避税行为的影响。研究发现:地方政府财政透明度的提升能够有效增加上市公司的主动避税程度。机制检验显示,主结果是由高财政透明度提升财政支出效率和降低财政压力引起的。进一步分析表明:主结果只在民营、高融资约束和有违规记录的子样本中显著,且在政府公共服务支出较高、税收征管强度较低、营商环境较好和市场竞争程度较强的地区作用更强。研究结论丰富了对财政透明度的微观经济后果的认识,进一步拓展了企业避税行为的影响因素分析边界,为充分发挥财政透明的宏微观治理作用以及完善政府财政支出制度建设提供了政策建议。

关键词：财政透明企业避税财政支出效率财政压力

同方期刊数据库

大概念视角下小学数学“图形与几何”教学设计应用研究

在线全文

学校读者我要写书评

暂无评论

大概念视角下小学数学“图形与几何”教学设计应用研究

作者：刘楷丰成都大学

学位级别：硕士

随着数学课程改革的不断深化,学科教育均指向学科核心素养的培育。《义务教育数学课程标准》(2022年版)(以下简称“新版数学课标”)确立了以核心素养为导向的课程目标,其目的就是为了让数学回归真实世界,回归真实问题的解决。“大概念... 详细信息

随着数学课程改革的不断深化,学科教育均指向学科核心素养的培育。《义务教育数学课程标准》(2022年版)(以下简称“新版数学课标”)确立了以核心素养为导向的课程目标,其目的就是为了让数学回归真实世界,回归真实问题的解决。“大概念”强调的是教学内容与真实世界的联系,它能把许多数学理解联系成一个连贯的整体,能够引领学生走向数学学习的本质。“图形与几何”作为小学数学教育中的重要一环,能为学生义务教育小学乃至中学阶段的学习打下良好的基础。大概念视角下的小学数学“图形与几何”教学设计,有助于学生充分理解、探究与运用小学数学“图形与几何”领域内最核心、最有价值的内容,真正落实学科素养目标。本研究以大概念为切入点,开展小学数学“图形与几何”教学设计应用研究,通过前期分析、教学设计、实施与反思三个环节构建本研究的基本框架。首先,本研究通过查阅、整理大概念、图形与几何教学设计相关文献,充分了解本研究国内外的研究现状,同时本研究以建构主义理论、逆向设计理论为理论基础,搭建本研究的理论框架;其次,本研究参考“逆向设计”的三阶段:确定预期结果、设计评价方案、设计学习活动,形成了大概念视角下小学数学“图形与几何”教学设计的基本框架;然后,本研究以北师大版小学数学教材五年级“多边形的面积”单元为例,基于上述框架进行大概念视角下小学数学“图形与几何”教学设计,同时笔者选取实习学校的五年级A班进行了“比较图形的面积”和“探索活动:三角形的面积”教学设计的实施,形成了课堂教学实录案例;最后,通过收集并分析学生问卷数据、教师访谈结果以及结合课堂观察的结果,对教学案例进行了教学成效分析,并从大概念的渗透、学情的掌握、课堂提问、教学环节时长分配的角度对教学案例进行了问题的发现与教学的的反思。最终,本研究综合上述分析结果,对大概念视角下小学数学“图形与几何”教学设计应用提出了优化建议,主要包括四点:第一,立足大概念,培养学生数学核心素养;第二,把握学习起点,促进学生学科知识生长;第三,坚持以学为主,合理分配教学时间;第四,重视核心问题,驱动学生自主探究。通过本研究的开展,拟为一线教师进行大概念视角下小学数学“图形与几何”教学设计应用提供参考。

关键词：大概念小学数学图形与几何教学设计

基于先验知识引导提示学习的自监督分类法补全

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

计算机工程 2024年

作者：陈志强仇瑜朱宇王晓英北京智谱华章科技有限公司青海大学计算机技术与应用系

由于现有各领域种子分类法不完整，且随着时间推移涌现大量新的领域术语，使得各领域种子分类法有待自动补全。现有的自监督分类法补全方法采用图嵌入技术，并未充分利用预训练语言模型所提供的丰富语义信息，且只关注图中局部的节点关... 详细信息

由于现有各领域种子分类法不完整，且随着时间推移涌现大量新的领域术语，使得各领域种子分类法有待自动补全。现有的自监督分类法补全方法采用图嵌入技术，并未充分利用预训练语言模型所提供的丰富语义信息，且只关注图中局部的节点关系，而忽视了整体图结构所蕴含的信息。针对上述问题，提出了一个基于先验知识引导提示学习的自监督分类法补全模型，该模型融合了预训练语言模型的语义信息和种子分类法的结构信息。首先，根据查询节点在垂直路径上存在粗粒度三元组特性，改进了自监督数据集构建策略。其次，在大样本情况下，利用基于预训练和微调模式进行匹配。在微调阶段，为了加强预训练语言模型对真实上位词的关注，在提示（prompt）中融入了真实上位词的同义词或缩略词的先验知识注意力，从而更有效地利用提示来引导预训练模型的微调过程。在匹配阶段，为了降低时间复杂度，采用软束搜索规则。具体来说，在局部图结构上，利用提示指导生成的节点嵌入来评估同级对兄弟节点的查询置信度；在整体图结构上，采用垂直路径的游走方法进行路径截取与排序筛选。然后，在小样本情况下，利用基于提示学习的模式进行匹配，同时采用不同模板组合和上下文示例去微调预训练语言模型。最后，在四个不同领域的大型公开数据集上的实验结果表明，该模型相较于对比方法在指标MR(+15%)、MRR(+0.057)、Hit@10(+0.030)上取得提升。

关键词：分类法补全先验知识提示学习自监督预训练语言模型