检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

考虑视觉搜索特性的指挥控制系统KLSM

北京航空航天大学学报 2024年第9期50卷 2819-2825页

作者：郭仲赵刚付斌刘佳烨中国人民解放军军事科学院系统工程研究院北京100101 中国人民解放军93216部队北京100085 中国人民解放军93131部队北京100038

传统的击键水平模型(KLM)专注于键盘和鼠标的操作分析,适用于简单软件界面任务完成时间的快速定量评估,但将其迁移到包含复杂信息特征的指控系统软件界面评估时,却会产生较大误差。为此,基于KLM,结合用户视觉特性,面向指挥控制系统典型... 详细信息

传统的击键水平模型(KLM)专注于键盘和鼠标的操作分析,适用于简单软件界面任务完成时间的快速定量评估,但将其迁移到包含复杂信息特征的指控系统软件界面评估时,却会产生较大误差。为此,基于KLM,结合用户视觉特性,面向指挥控制系统典型任务,提出基于用户视觉搜索处理时间的物理操作时间单元指标,并通过实验获取用户视觉搜索处理时间典型参数,建立更精确的指控系统任务操作分析模型—击键和视觉搜索模型(KLSM),即考虑视觉搜索特性因素的影响。选取5类典型指控任务,进行对比实验验证,KLSM对任务完成时间的预测评估更为准确。

关键词：视觉搜索特性指控系统软件界面 KLSM 预测评估

中国近代首部西医儿科学译著《西医儿科撮要》探析

在线全文

学校读者我要写书评

暂无评论

中华医史杂志 2024年第3期54卷 156-162页

作者：任锦烨中国科学院自然科学史研究所北京100190

《儿科撮要》是晚清时期译介的第一部西医儿科学专著,在中国近代儿科学发展史与近代西医学发展史上占有重要地位。该书由美国传教士医生富马利选编、中国西医学者尹端模笔译,共2卷14分册,包括儿科总论、儿科疾病诊断以及论出牙、论喉咙... 详细信息

《儿科撮要》是晚清时期译介的第一部西医儿科学专著,在中国近代儿科学发展史与近代西医学发展史上占有重要地位。该书由美国传教士医生富马利选编、中国西医学者尹端模笔译,共2卷14分册,包括儿科总论、儿科疾病诊断以及论出牙、论喉咙各症、论胃肠各症、论虫症、论肝病、论腹统膜症、论传染新症等内容,涵盖了西医儿科学中诊断、治疗、养护等知识。《儿科撮要》的底本尚不可考,可能为多种材料综合选编而成,翻译中采用了意译、音译的方法和中医术语,语言通俗易懂。《儿科撮要》反映了近代早期西医儿科学发展的水平,弥补了中医儿科学知识的不足,在小儿常见病、流行病、外科疾病诊治和营养不良防护方面发挥了积极作用。

关键词：西医儿科学《儿科撮要》译本

在线全文

学校读者我要写书评

暂无评论

文化企业司库体系建设问题研究

商业2.0 2024年第16期 82-84页

作者：李杭安徽新媒体集团有限公司

随着经济全球化的深入发展，企业应对的市场竞争愈发激烈。企业产品和服务质量源于企业整体实力和企业核心竞争力的构建，这对企业的内部管理和内部控制提出了更高要求，尤其是对资金的安全性和使用效率的要求。建设现代企业司库体系是... 详细信息

随着经济全球化的深入发展，企业应对的市场竞争愈发激烈。企业产品和服务质量源于企业整体实力和企业核心竞争力的构建，这对企业的内部管理和内部控制提出了更高要求，尤其是对资金的安全性和使用效率的要求。建设现代企业司库体系是企业做好数字化转型、提升治理能力、实现企业效率变革的有力抓手。本文分析了文化企业司库体系建设的必要性、当前司库体系建设面临的问题及改进建议，以期为文化企业建设司库体系提供思路和参考。

关键词：司库体系建设文化企业资金使用效率

分体刀具式名优茶采摘末端执行器设计与试验优化

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

农业机械学报 2024年第1期55卷 39-46,195页

作者：陈建能李杭刘林敏贾江鸣赵润茂武传宇浙江理工大学机械工程学院杭州310018 浙江省种植装备技术重点实验室杭州310018 浙江省松阳县农业农村局松阳323400

针对名优茶机械化采摘过程中侧芽无法采摘的问题,根据顶芽、侧芽及茶梗的相关参数并结合茶园环境设计了一种末端执行器,利用分体式刀具的刀齿弯曲变形适应茶梗的干扰从而采摘侧芽。通过有限元仿真刀具切割侧芽得到采摘成功率的影响因素... 详细信息

针对名优茶机械化采摘过程中侧芽无法采摘的问题,根据顶芽、侧芽及茶梗的相关参数并结合茶园环境设计了一种末端执行器,利用分体式刀具的刀齿弯曲变形适应茶梗的干扰从而采摘侧芽。通过有限元仿真刀具切割侧芽得到采摘成功率的影响因素为刀齿宽度、刀齿长度及刀具厚度;采用三因素三水平的中心组合设计与响应面分析法研究各因素对采摘成功率的交互影响;以采摘成功率为响应值建立二次回归模型,确定各因素对采摘成功率的影响显著性主次排序为:刀齿长度、刀齿宽度、刀具厚度。以采摘成功率为目标对各试验因素进行优化,得到优化后的刀齿宽度、刀具厚度、刀齿长度分别为2.6、0.9、20.0 mm。采用优化后的参数进行茶园采摘试验,结果表明,末端执行器能够有效完成茶叶采摘工作,顶芽、侧芽采摘成功率分别为93%、63%,试验值与预测值的相对误差小于5%,优化模型结果可靠。

关键词：名优茶采茶机器人末端执行器分体式刀具侧芽

社会符号学翻译理论视角下的汉语数字成语英译探究

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

今古文创 2024年第37期 108-111页

作者：李杭西南科技大学四川绵阳621000

本文以社会符号学理论为指导,运用社会符号学翻译法,以求对汉语数字成语英译进行全面探究。社会符号学理论具有科学性和实用性,并强调语言研究应该使用构建于社会且属于社会实践的符号系统理论。文章系统分析了汉语数字成语英译过程,着... 详细信息

本文以社会符号学理论为指导,运用社会符号学翻译法,以求对汉语数字成语英译进行全面探究。社会符号学理论具有科学性和实用性,并强调语言研究应该使用构建于社会且属于社会实践的符号系统理论。文章系统分析了汉语数字成语英译过程,着重实现源语与译语在三类语言符号意义上的传递。研究发现,运用社会符号学翻译法不仅有助于灵活选择翻译方法,传递源语多层内涵,提高译文质量,更有利于中国文化的传承和发展。本文旨在为语言交际和文化交流提供更多的参考。

关键词：社会符号学社会符号学翻译法汉语数字成语翻译方法

自然保护区林业有害生物监测预报及防治工作的开展对策

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

中文科技期刊数据库（全文版）自然科学 2024年第1期 0057-0060页

作者：李杭广西大明山国家级自然保护区管理局广西南宁530114

自然保护区内的林业有害生物监测预报及防治工作是维护生态平衡和保护生物多样性的关键组成部分。广西大明山作为一个典型的自然保护区,面临着丰富的生物多样性和生态系统的独特挑战。本文通过制定广西大明山自然保护区内林业有害生物... 详细信息

自然保护区内的林业有害生物监测预报及防治工作是维护生态平衡和保护生物多样性的关键组成部分。广西大明山作为一个典型的自然保护区,面临着丰富的生物多样性和生态系统的独特挑战。本文通过制定广西大明山自然保护区内林业有害生物监测预报及防治工作的全面计划,以降低生态系统受到的威胁。通过监测和预报系统的实施,成功降低了林业有害生物的传播率,减少了生态系统受损。同时,采用综合防治方法,恢复了受害区域的生态平衡。该研究为广西大明山自然保护区提供了一套全面的林业有害生物监测预报及防治工作对策,强调了生物多样性和生态平衡的重要性,也可为其他自然保护区提供有益的经验借鉴。

关键词：自然保护区有害生物监测预报

传媒与消费:媒体培育消费中心城市的影响因子研究——基于五个城市主流媒体关于消费主题报道的定性比较分析

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

当代传播 2024年第4期 28-34,40页

作者：张瑜烨莫莉浙江传媒学院新闻与传播学院浙江省传播与文化产业研究中心桂林信息科技学院马克思主义学院

本文通过对关于消费、传媒与城市的研究梳理发现,既有相关研究主要集中在理论层面且分析维度单一。基于此,本研究利用定性比较分析法,构建出媒体培育消费中心城市的解释因子模型,并对五个城市主流媒体关于消费主题的报道进行分析。结果... 详细信息

本文通过对关于消费、传媒与城市的研究梳理发现,既有相关研究主要集中在理论层面且分析维度单一。基于此,本研究利用定性比较分析法,构建出媒体培育消费中心城市的解释因子模型,并对五个城市主流媒体关于消费主题的报道进行分析。结果显示,SY(商业活跃度)、ZC(政策引领度)对媒体培育消费中心城市的影响较大,GJ(国际知名度)、XF(消费繁荣度)、DD(到达便利度)释义力不足。此外,研究通过比较各解释因子间对媒体培育消费中心城市的影响程度,在归纳总结出不同组合因子构型的基础上,提出我国媒体培育消费中心城市的六大路径:构建身份认同,从“碎片化”到“圈层化”的消费;娱乐消息让渡,从“享受至上”到“俭而合礼”的变迁;城市共情塑造,从“城市自然人”到“区域性社会公共人”的转化;场景虚实互嵌,从“实体城市”到“赛博城市”的可见;消费场域赋能,从“边缘地区”到“场所精神”的孕育;铸造国际空间,从“国内城市”到“国际中心”的升级。

关键词：消费主题报道消费中心城市影响因子定性比较

跨文化语境下的音乐北京——周龙交响组曲《京华风韵》的音响形态及其结构原则分析

在线全文

学校读者我要写书评

暂无评论

中国音乐学 2024年第2期 135-144页

作者：孙晓烨南京航空航天大学

《京华风韵》(Beijing Rhyme)是一部以展现北京风貌为创作视角的宏大交响组曲,四个乐章“钟鼓风”“庙会风”“京韵风”“急急风”分别展现了强烈的中国民俗风情和中华民族精神,映射出北京城市文化的世俗性、开放性、兼容性等特质。同时... 详细信息

《京华风韵》(Beijing Rhyme)是一部以展现北京风貌为创作视角的宏大交响组曲,四个乐章“钟鼓风”“庙会风”“京韵风”“急急风”分别展现了强烈的中国民俗风情和中华民族精神,映射出北京城市文化的世俗性、开放性、兼容性等特质。同时,作品以中国传统音乐联曲性套曲的“散—慢—中—快”为结构原则,依据四乐章不同的性格特点将北京城的风情地貌、城市变迁、市井百态、人间烟火展现得淋漓尽致。本文探讨了作品中多种音响素材的组织方式,对依据音响形态形成的结构原则进行详细阐述,分析了在跨文化视角下当代管弦乐队作品创作中作曲家独特的审美参悟和艺术精神。

关键词：周龙京华风韵交响组曲音响形态结构原则

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

基于交互式定理证明的并发程序验证工作综述

软件学报 2024年第9期35卷 4069-4099页

作者：王中烨吴姝姝曹钦翔上海交通大学电子信息与电气工程学院上海200240

并发程序与并发系统可以拥有非常高的执行效率和相对串行系统较快的响应速度,在现实中有着非常广泛的应用.但是并发程序与并发系统往往难以保证其实现的正确性,实际应用程序运行中的错误会带来严重的后果.同时,并发程序执行时的不确定... 详细信息

并发程序与并发系统可以拥有非常高的执行效率和相对串行系统较快的响应速度,在现实中有着非常广泛的应用.但是并发程序与并发系统往往难以保证其实现的正确性,实际应用程序运行中的错误会带来严重的后果.同时,并发程序执行时的不确定性会给其正确性验证带来巨大的困难.在形式化验证方法中,人们可以通过交互式定理证明器严格地对并发程序进行验证.对在交互式定理证明中可用于描述并发程序正确性的验证目标进行总结,它们包括霍尔三元组、可线性化、上下文精化和逻辑原子性.交互式定理证明方法中常用程序逻辑对程序进行验证,分析基于并发分离逻辑、依赖保证逻辑、关系霍尔逻辑等理论研究的系列成果与相应形式化方案,并对使用这些方法的程序验证工具和程序验证成果进行总结.

关键词：并发程序验证可线性化上下文精化程序逻辑关系霍尔逻辑