检索结果-南通市图书馆

数字时代的文献遗产：国际数字遗产保护的经验与展望

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

图书馆建设 2024年

作者：王玉珏张夏子钰武汉大学中法人文交流研究中心中国联合国教科文组织全国委员会武汉大学文化遗产智能计算实验室武汉大学信息管理学院

随着数字时代的发展，数字形态的文献遗产应运而生，被纳入文献遗产保护范围。 2023年5月，《世界记忆名录》首次收录原生数字遗产，引发对国际数字遗产保护过往行动和未来走向的关注和思考。通过文献调研、政策研究、案例分析，首先厘... 详细信息

随着数字时代的发展，数字形态的文献遗产应运而生，被纳入文献遗产保护范围。 2023年5月，《世界记忆名录》首次收录原生数字遗产，引发对国际数字遗产保护过往行动和未来走向的关注和思考。通过文献调研、政策研究、案例分析，首先厘清联合国教科文组织视域下数字遗产的概念内涵，其次回顾近20年全球数字遗产保护政策的演变，提炼国际数字遗产保护实践的特点，最后指出国际数字遗产保护面临的现实困境，推介新兴数字遗产保护方法论。

关键词：文献遗产数字遗产数字文化世界记忆项目

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

焦平面图像制导导弹对地面目标截获概率计算

兵工学报 2024年

作者：赵洁徐子钰莫波石忠佼北京理工大学宇航学院北方导航控制技术股份有限公司

针对图像制导导弹的目标探测和精确制导的需求，研究基于矩形焦平面探测器的图像制导导弹转入末制导时对地面目标的截获概率。根据导弹的高度姿态和探测器参数推导对地面探测的不规则四边形视场（Irregular Quadrilateral Detection Fi... 详细信息

针对图像制导导弹的目标探测和精确制导的需求，研究基于矩形焦平面探测器的图像制导导弹转入末制导时对地面目标的截获概率。根据导弹的高度姿态和探测器参数推导对地面探测的不规则四边形视场（Irregular Quadrilateral Detection Field， IQDF）的解析解和简化的矩形探测视场（Simplified Rectangular Detection Field， SRDF）模型，确定影响目标截获概率的主要误差源，利用条件概率思想，将目标截获概率分解为导弹状态概率和当前状态下目标落入地面视场概率，并利用有限元分割算法推导出目标落入地面视场概率，从而建立多源误差下的目标截获概率模型。通过仿真分析在IQDF和SRDF下主要误差源对目标落入地面视场概率的影响，并在多源误差下将推导的目标截获概率与蒙特卡洛方法仿真结果进行对比，验证了目标截获概率计算方法的有效性。

关键词：图像制导导弹焦平面探测器截获概率多源误差探测视场模型

身体技术的习得、转换与再造——基于广东连南排瑶“歌堂长鼓舞”形态的分析

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

南京艺术学院学报（音乐与表演版） 2024年第2期 185-190页

作者：李婷焦子钰广东技术师范大学音乐学院广东广州510665

舞蹈作为以身体为载体对外界做出主观反映的表现形式,往往成为本民族历史、经济、文化和社会现象的镜像方式。排瑶长鼓舞形态是排瑶人在特定的生存生境下为求生存习得技术成为体化记忆后,在实践中产生觉知转换,即融入主体性意识而形成... 详细信息

舞蹈作为以身体为载体对外界做出主观反映的表现形式,往往成为本民族历史、经济、文化和社会现象的镜像方式。排瑶长鼓舞形态是排瑶人在特定的生存生境下为求生存习得技术成为体化记忆后,在实践中产生觉知转换,即融入主体性意识而形成。随着瑶汉交往的不断深入,瑶族对汉族文化、耕作方式的认同促使身体技术再生产,从而促进舞蹈形态的再造。长久表演实践中养成的身体表演技术也促进了舞蹈承继中的身体再造和鼓王身份重建下的身体重构。当下地方舞蹈文化展演建立起传统与当代、地方与国家的互动关系,地方文化纳入国家化进程中,彰显地方在国家的重要位置。身体技术理论下的舞蹈形态研究对民俗舞蹈的传承带来一定启示。

关键词：身体技术排瑶长鼓舞

Solidity到MSVL转换的等价性研究

在线全文

学校读者我要写书评

暂无评论

软件学报 2024年

作者：王小兵常家俊李春奕杨潇钰赵亮西安电子科技大学计算机科学与技术学院

智能合约是运行在以太坊区块链上的脚本,能够处理复杂的业务逻辑.大多数的智能合约采用Solidity语言开发.近年来智能合约的安全问题日益突出,为此提出了一种采用时序逻辑程序设计语言(MSVL)与命题投影时序逻辑(PPTL)的智能合约形式化验... 详细信息

智能合约是运行在以太坊区块链上的脚本,能够处理复杂的业务逻辑.大多数的智能合约采用Solidity语言开发.近年来智能合约的安全问题日益突出,为此提出了一种采用时序逻辑程序设计语言(MSVL)与命题投影时序逻辑(PPTL)的智能合约形式化验证方法,开发了SOL2M转换器,实现了Solidity程序到MSVL程序的半自动化建模,但是缺乏对Solidity与MSVL操作语义等价性的证明.本文首先采用大步语义的形式,从语义元素、求值规则、表达式以及语句四个层次详细定义了Solidity的操作语义.其次给出了Solidity与MSVL的状态、表达式和语句之间的等价关系,并基于Solidity与MSVL的操作语义,使用结构归纳法对表达式操作语义进行等价证明,同时使用规则归纳法对语句操作语义进行等价证明.

关键词：智能合约 Solidity 程序转换操作语义等价性证明

数字化转型下知识耦合如何重构组织边界——基于创业警觉的认知逻辑

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

南开管理评论 2024年第1期27卷 16-26,I0003,I0004页

作者：王琳陈志军崔子钰山东大学国际创新转化学院山东大学管理学院

数字化转型下制造企业的边界重构是知识的动态交互联接,从此视角打开组织边界重构的过程机制,对提升企业敏捷性、共生性具有重要作用。本文采用归纳式单案例研究,通过对制造企业多个层次的深入研究,探讨了数字化转型下企业通过知识耦合... 详细信息

数字化转型下制造企业的边界重构是知识的动态交互联接,从此视角打开组织边界重构的过程机制,对提升企业敏捷性、共生性具有重要作用。本文采用归纳式单案例研究,通过对制造企业多个层次的深入研究,探讨了数字化转型下企业通过知识耦合进行组织边界重构的机制。本文发现数字化转型下,制造企业运用知识重组(关键点识别、资源编排、匹配)、知识整合(数据挖掘、知识验证、跨界融合)、知识解耦(主动遗忘、流程调优、技术替代)三种知识耦合过程机制来重构组织边界。同时,研究发现创业警觉是潜在的边界重构认知逻辑,制造企业依靠创业警觉认知能力,从不同的行动领域设计边界重构决策。本文研究结论展现了数字化转型下制造企业如何通过知识的交互联接重塑组织边界,以彰显、获取知识权力;为数字化转型下制造企业的组织边界重构提供了新的、系统化的见解;对企业维持与发展知识权力优势、实现数字化转型具有借鉴意义。

关键词：边界重构知识耦合创业警觉数字化转型

融合注意力的滤波器组双视图图卷积运动想象脑电分类

在线全文

学校读者我要写书评

暂无评论

浙江大学学报（工学版） 2024年第7期58卷 1326-1335,1356页

作者：吴书晗王丹陈远方贾子钰张越棋许萌北京工业大学信息学部北京100124 北京机械设备研究所北京100854 中国科学院自动化研究所脑网络组研究中心北京100190

在运动想象任务中,传统卷积神经网络难以准确表达大脑多区域协同神经活动;图卷积网络(GCN)能够在图数据中考虑节点(脑区)间的连接和关系,适于表示不同脑区的协同任务,为此提出融合注意力的滤波器组双视图GCN(AFB-DVGCN).由滤波器组构建... 详细信息

在运动想象任务中,传统卷积神经网络难以准确表达大脑多区域协同神经活动;图卷积网络(GCN)能够在图数据中考虑节点(脑区)间的连接和关系,适于表示不同脑区的协同任务,为此提出融合注意力的滤波器组双视图GCN(AFB-DVGCN).由滤波器组构建双分支网络,提取不同频段的时域和空域信息;采用双视图图卷积空间特征提取方法实现信息互补;利用有效通道注意力机制增强特征和捕捉不同特征图的交互信息,以提高分类准确率.在公开数据集BCI Competition Ⅳ-2a和OpenBMI上的验证结果表明,AFB-DVGCN的分类性能良好,其分类准确率显著高于对比网络的分类准确率.

关键词：脑机接口运动想象深度学习图卷积网络注意力机制

在线全文

学校读者我要写书评

暂无评论

国外政治经济学研究新进展(2023)

政治经济学评论 2024年第3期15卷 185-208页

作者：冯志轩于子瑶刘筱钰武汉大学经济与管理学院

2023年度的国外政治经济学研究新进展报告延续了往年的基本架构,着重在马克思主义经济学基本理论、宏观经济分析、技术进步与产业变迁和世界体系与发展中国家的发展四个方面,结合当年国外政治经济学研究的重点和国内理论界的热点对具有... 详细信息

2023年度的国外政治经济学研究新进展报告延续了往年的基本架构,着重在马克思主义经济学基本理论、宏观经济分析、技术进步与产业变迁和世界体系与发展中国家的发展四个方面,结合当年国外政治经济学研究的重点和国内理论界的热点对具有较强借鉴意义的国外研究进行评介。

关键词：宏观经济分析产业变迁经济学基本理论国外政治经济学国内理论界马克思主义基本架构发展中国家

在线全文

学校读者我要写书评

暂无评论

海参蒸煮液对慢性便秘小鼠的通便作用

中国食品学报 2024年第3期24卷 56-64页

作者：郭淑婷田迎樱薄钰莹蔡维震赵子方王静凤中国海洋大学山东青岛266000 青岛海洋生物医药研究院山东青岛266100 海南华研胶原科技股份有限公司海口570100

目的:探究海参蒸煮液(SCCL)对小鼠慢性便秘的改善作用。方法:以盐酸洛哌丁胺构建小鼠慢性便秘模型,检测SCCL干预对慢性便秘小鼠排便、小肠推进率以及肠动力相关神经递质和受体基因表达的影响。结果:相较于模型对照组,SCCL高剂量组(500 m... 详细信息

目的:探究海参蒸煮液(SCCL)对小鼠慢性便秘的改善作用。方法:以盐酸洛哌丁胺构建小鼠慢性便秘模型,检测SCCL干预对慢性便秘小鼠排便、小肠推进率以及肠动力相关神经递质和受体基因表达的影响。结果:相较于模型对照组,SCCL高剂量组(500 mg/kg BW)小肠墨汁推进率显著增加(P子C-KitmRNA表达显著升高(P<0.05)。结论:SCCL通过调节与肠道蠕动的相关神经递质ACh和5-HT及其下游信号通路,增加ICC细胞数量,提高肠动力,促进肠道蠕动,从而达到改善便秘的效果。

关键词：海参蒸煮液慢性便秘肠动力乙酰胆碱 5-羟色胺

合同僵局下违约方解除权与司法解除的逻辑证成

在线全文

学校读者我要写书评

暂无评论

争议解决 2024年第5期10卷 198-203页

作者：曹子钰上海海事大学法学院上海

《民法典》第580条第2款赋予违约方合同解除权,该制度的设置目的在于打破实践中存在的合同僵局现象,以立法形式促进交易效率与公平。但实际运用中面对可能出现的背离合同公平、破坏市场诚信和牺牲交易效率等不利后果,则需要通过司法裁... 详细信息

《民法典》第580条第2款赋予违约方合同解除权,该制度的设置目的在于打破实践中存在的合同僵局现象,以立法形式促进交易效率与公平。但实际运用中面对可能出现的背离合同公平、破坏市场诚信和牺牲交易效率等不利后果,则需要通过司法裁判手段把握在合同僵局情形下违约方解除权的行使路径,引入司法解除模式构建合理的合同僵局破解机制,探明多效并举的合同解除模式,在双方当事人之间兼顾公平合理的利益再分配原则。

关键词：合同僵局违约方解除权司法解除合同解除