检索结果-南通市图书馆

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

开放自动机元模型扩展及弱互模拟检测算法

开放自动机元模型扩展及弱互模拟检测算法

作者：王笔扬华东师范大学

学位级别：硕士

自动机（Automata）是系统建模的重要工具,围绕自动机的理论与算法也一直是学术界长盛不衰的焦点。随着建模对象的结构愈发庞大、组件更加复杂,传统自动机显得力不从心。为此,开放自动机（Open Automata）应运而生。开放自动机是面向同... 详细信息

自动机（Automata）是系统建模的重要工具,围绕自动机的理论与算法也一直是学术界长盛不衰的焦点。随着建模对象的结构愈发庞大、组件更加复杂,传统自动机显得力不从心。为此,开放自动机（Open Automata）应运而生。开放自动机是面向同步系统建模而设计的符号化参数化的开放模型。“开放”（Open）意为系统的部分组件或模块只有设计规范,没有具体的实现细节,那么这些模块能通过符合规范的具体实现所实例化,从而构建复杂的整体系统。其理论体系已定义了强弱两个版本的模型、以及弱开放迁移的构建规则。并在此基础上发展了强、弱FH（Formal Hypotheses）互模拟概念。其核心思想是:满足一系列形式化假设的前提下,两个开放自动机能够互相模拟对方的系统行为。然而再具体的实践中,发现了开放自动机理论体系中一些亟待完善之处。例如弱开放迁移的构建规则是递归的,因此在开放自动机的特定结构中,弱开放自动机的构建结果有无限多的弱开放迁移。这便导致无法表示完全的弱开放自动机,并且也无法用实际算法来验证其互模拟性质。基于开放自动机并且保留互模拟性质的最小化与规约相关课题也亟待研究。为解决弱开放迁移无穷多的问题,本文首次引入元变量（meta-Variable）扩展了开放自动机理论体系,对参数化系统的无穷行为进行描述,使其可以用有限的方法编译无限的弱开放自动机,并定义了元开放自动机及相关的元FH互模拟概念。元模型有更强的语义表达能力,且丰富开放自动机理论体系。本文为解决弱互模拟性质的检测问题,提出两种策略:一、构建完全的（Com-plete）元开放自动机;二、即时（on-the-fly）搜索需要的弱开放迁移。由于元开放自动机的构建较为复杂,本文定义了新的“弱结构化FH互模拟”概念,约束了自由变量的语义,并基于SMT求解器设计实现互模拟检测算法。同时,本文围绕开放自动机,深入研究了保留互模拟性质的最小化和规约:提出“单态最小化”方法,并证明其保留强FH互模拟性质;为开放自动机的规约提出基于模式匹配的规则,利用局部互模拟的概念证明部分规则保留弱FH互模拟性质。文章最后利用一种基于不稳定介质的通信协议直观地展示了新拓展理论的实用性,并且证明最小化、规约（部分规则）的正确性。

关键词：同步开放系统符号化互模拟自动机最小化规约

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

S集团人力资源三支柱管理模式优化研究

S集团人力资源三支柱管理模式优化研究

作者：王笔潇重庆交通大学

学位级别：硕士

当今,人工智能等各种高科技技术迅猛发展,在这样的技术与市场环境下,企业内部和外部客户的需求也随着环境的变化发生了根本性的改变。企业家们为了保持公司的核心竞争力,实现企业的长期发展目标,就需要及时优化和调整组织架构,以及实施... 详细信息

当今,人工智能等各种高科技技术迅猛发展,在这样的技术与市场环境下,企业内部和外部客户的需求也随着环境的变化发生了根本性的改变。企业家们为了保持公司的核心竞争力,实现企业的长期发展目标,就需要及时优化和调整组织架构,以及实施战略性变革,然而这些举措在推动企业发展的同时,也为企业人力资源管理带来了一定挑战。在企业发展过程中,人力资源的管理不仅需要紧随企业的发展战略,同时又要为企业提供专业的指引,并确保它们在企业的成长过程中成为不可或缺的合作伙伴,这些是每一位从事人力资源工作的专业人士都需要深入思考的议题。本研究以国内知名的装修企业S集团作为分析对象,首先,在国内外资源基础理论、权变理论等相关理论的指导下,对人力资源三支柱模式在企业中的应用情况进行了系统归纳、梳理,包括该模式的发展背景、各角色的胜任力模型以及职责与定位、组织架构和模式的实际应用成效等。然后,再综合利用问卷调查法、访谈法等方法进行调查分析,根据调查分析结果识别出企业实施该模式时面临的相关问题,这些问题包括共享服务信息的智能化水平较差、HRBP只重视事务性工作,忽视业务发展,HRCOE的设计制度与方案难以满足业务需求。对于上述几项问题,本文主要从制度、能力、组织三方面出发,深入分析了问题出现的原因。基于已识别出的三支柱模式在实施中遇到的问题和企业战略发展的实际需求,本文明确了优化的必要性与优化中需要遵循的四大原则,同时规划出了改进的八大步骤,最后结合问题成因给出了具有的优化策略。为了保证优化策略的针对性与高效性,本文首先重新定位了各角色和划分了相应职能,然后结合不同层级情况制定了胜任力模型,最后给出了相应的评价机制。在简化、整理人力资源管理流程的基础上,进一步强化了内部流程制度,希望可以引导共享服务朝着智能化方向不断前进。与此同时,为了确保优化措施的顺利实施,本文还从组织和机制两方面给出了具体的保障措施。希望本文提出的建议可以为S集团在解决相关问题时提供一定参考,同时也希望本文提出的建议可以为丰富企业应用人力资源三支柱模式实例提供一定帮助,为实践提供有益的指导。

关键词：三支柱模式角色定位模式优化

高校学术权力与行政权力及其影响的再认识——基于教育部直属高校数据的实证分析

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

江苏高教 2020年第10期 37-42页

作者：刘林张敏宗晓华王笔扬江苏师范大学教育科学学院江苏徐州221116 华东师范大学信息学部上海200062 南京大学教育研究院南京210093

高校学术权力与行政权力及其不同的彰显程度被认为对高校发展绩效有着重要的影响。通过最新的自然语言处理和知识图谱技术,对2016年75所教育部直属高校发布的综合改革方案文本进行学术权力与行政权力的量化语义推理,并以相关高校在大学... 详细信息

高校学术权力与行政权力及其不同的彰显程度被认为对高校发展绩效有着重要的影响。通过最新的自然语言处理和知识图谱技术,对2016年75所教育部直属高校发布的综合改革方案文本进行学术权力与行政权力的量化语义推理,并以相关高校在大学排行榜的相对位置及其变化作为高校发展绩效指标,实证分析学术权力、行政权力与高校发展绩效之间的关系。研究发现:第一,整体上学术权力彰显程度略低于行政权力,但两者相关度极高,呈现出鲜明的共轭关系,其中一流大学建设高校两种权力彰显程度均高于其他高校;第二,学术权力和行政权力与高校发展绩效相关程度都较低,预示着两种权力之争对于高校发展绩效可能并不像传统认识的那样重要;第三,就高校相对实力而言,行政权力较学术权力的相关性略高,就高校进步情况而言,学术权力较行政权力的相关性略高。相关结论对于重新认识"双一流"建设过程中学术权力、行政权力及其组合效应提供了新的依据。

关键词：学术权力行政权力高校发展绩效相关性

聚乙二醇基相变复合材料杂化网络结构的设计及其光-电-热转换性能

在线全文

学校读者我要写书评

暂无评论

复合材料学报 2024年第7期41卷 3609-3619页

作者：赵中国王筹萱薛嵘申思扬陕西理工大学材料科学与工程学院矿渣综合利用环保技术国家地方联合工程实验室汉中723000

为了探究不同结构的纳米粒子对聚乙二醇(PEG)基相变复合材料形状稳定性及光电转换效率的影响,本文将碳纳米管(CNT)分别与BN、Al_(2)O_(3)以及铜粉(Cu)通过物理杂化的方式制备了PEG-聚乳酸(PLA)-CNT-X_((y))相变储能复合材料。通过导电... 详细信息

为了探究不同结构的纳米粒子对聚乙二醇(PEG)基相变复合材料形状稳定性及光电转换效率的影响,本文将碳纳米管(CNT)分别与BN、Al_(2)O_(3)以及铜粉(Cu)通过物理杂化的方式制备了PEG-聚乳酸(PLA)-CNT-X_((y))相变储能复合材料。通过导电数据分析发现,Al_(2)O_(3)和Cu纳米填料的加入对PEG-PLA-CNT-X(y)复合材料的导电性能影响较小,使复合材料仍然具有较高的导电性能;而BN的引入使复合材料的导电性能急剧下降,当BN的质量含量比达到40%时,PEG_(60)-PLA_(40)-CNT_(0.6)-BN_((40))复合材料的电导率仅为8.71×10^(-7)S/m,呈现出明显的绝缘性。通过SEM和EDS能谱发现,Al_(2)O_(3)纳米粒子在复合材料内部均匀分布,当Al_(2)O_(3)质量含量比为40%时,PEG_(60)-PLA_(40)-CNT_(0.6)-Al_(2)O_(3(40))复合材料热导率和增强因子(Φ)值分别高达5.81 W/(m·K)和363.6%;相较于PEG_(60)-PLA_(40)-CNT_(0.6)复合材料,PEG_(60)-PLA_(40)-CNT_(0.6)-Al_(2)O_(3(40))复合材料在160℃时仍具有较高的形状稳定性,没有出现PEG的泄露和塌陷现象。相比于其他纳米粒子,Al_(2)O_(3)的引入能够显著提高PEG_(60)-PLA_(40)-CNT_(0.6)-Al_(2)O_(3(40))复合材料的光热转换效率(η),η值从42.9%提升至79.9%。而且复合材料对光的响应灵敏度更高,响应速度更快,电流变化曲线更加平滑,具有优异的光电转换性能。

关键词：相变储能复合材料热稳定性光电转换导热性能导电性能

儿童支原体大叶性肺炎三种病原体检测方法的对比分析

在线全文

学校读者我要写书评

暂无评论

医学信息 2024年第18期 83-87页

作者：王琳王笔金南京医科大学第二附属医院检验医学中心南京医科大学第二附属医院输血科

目的研究肺炎支原体感染所致大叶性肺炎的早期实验室检查结果，探讨相关指标的疾病预测价值。方法回顾性分析南京医科大学第二附属医院2023年1月-8月收治的疑似肺炎支原体感染致大叶性肺炎患儿的实验室检测结果，分析三种支原体病原... 详细信息

目的研究肺炎支原体感染所致大叶性肺炎的早期实验室检查结果，探讨相关指标的疾病预测价值。方法回顾性分析南京医科大学第二附属医院2023年1月-8月收治的疑似肺炎支原体感染致大叶性肺炎患儿的实验室检测结果，分析三种支原体病原体和血清学检测方法对儿童支原体大叶性肺炎的早期诊断意义。结果核酸检测法的MP阳性检出率最高，化学发光法、间接免疫荧光法和核酸检测法的MP检测阳性率分别为37.78%、28.89%和82.22%；三种检测方法的一致性较差，两两比较的Kappa值分别为0.089、-0.444和-0.533。不同性别患儿化学发光法MP检测结果比较，差异有统计学意义（P0.05）。结论同步进行核酸和抗体检测有助于及早、准确诊断儿童支原体肺炎，为该疾病的早期诊断和治疗提供依据。

关键词：肺炎支原体大叶性肺炎肺炎支原体DNA 肺炎支原体抗体

机器学习在社交媒体用户自杀意念检测中的应用研究综述

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

计算机科学与探索 2024年

作者：蒙秀扬王世屹李渡渡王春玲北京林业大学信息学院国家林业草原林业智能信息处理工程技术研究中心中央民族大学信息工程学院

自杀是严峻的社会问题，是突出的全球性公共卫生挑战，也是全球死亡的重要因素之一。近年，互联网迅猛发展，社交媒体平台成为人类发布情感甚至是自杀意念、企图和行为的崭新阵地，使其成为自杀意念检测的重要数据平台和关键评估依据。... 详细信息

自杀是严峻的社会问题，是突出的全球性公共卫生挑战，也是全球死亡的重要因素之一。近年，互联网迅猛发展，社交媒体平台成为人类发布情感甚至是自杀意念、企图和行为的崭新阵地，使其成为自杀意念检测的重要数据平台和关键评估依据。随着人工智能技术的兴起，关于机器学习在社交媒体用户自杀意念的检测中的应用研究已然成为热点。但在国内，该领域相关研究较为匮乏，且尚未形成完整体系。为系统梳理其研究现状及发展脉络，对机器学习技术赋能自杀意念检测的研究进行了全面总结，是近三年来国内第一篇关于此领域的综述。首先，概述了自杀意念检测的定义、流程、常见方法及评价指标，总结了当下自杀意念检测任务中常用的数据集和现有特征工程及其技术。其次，分别从传统的机器学习和深度学习的角度对自杀意念检测进行了系统总结，对比分析了每种方法的关键技术、核心思想及优缺点。此外，归纳了当前该领域中亟待解决的问题及创新解决方法，特别介绍了ChatGPT等大语言模型、多模态模型在该领域的应用。最后，讨论了机器学习在社交媒体自杀意念检测中的应用研究中的局限性，并提出了未来的研究方向，以期进一步推动形成数据驱动、人机协同、跨学科融合、跨文化畛域的数智化自杀意念检测新范式，以期为相关领域的研究人员提供借鉴和参考。

关键词：自杀意念检测社交媒体机器学习深度学习特征提取

有隐与无隐的吊诡相即:海德格尔借由老子解读柏拉图与前苏格拉底思想

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

社会科学 2024年第6期 28-44页

作者：何乏笔台湾“中研院”中国文哲研究所中国台湾

老子的溪谷与柏拉图的洞穴是两种不同的哲学意象。透过老子的溪谷意象所指的气化存在论可以重新反思洞穴所指的阳光存在论。假如洞穴是指一种真理机制,溪谷则指另一种真理机制。海德格尔对洞穴寓言的探索开启了对洞穴的道家式解读。更... 详细信息

老子的溪谷与柏拉图的洞穴是两种不同的哲学意象。透过老子的溪谷意象所指的气化存在论可以重新反思洞穴所指的阳光存在论。假如洞穴是指一种真理机制,溪谷则指另一种真理机制。海德格尔对洞穴寓言的探索开启了对洞穴的道家式解读。更有甚者,在他重构柏拉图及前苏格拉底哲学家的内部结构中,即能观察到其思想道路向道家敞开的趋势。无疑,海德格尔受到老庄哲学的启发,但更重要的是,他对古希腊文献的阅读,内在地与老庄哲学深刻相应。一旦从这样的角度来探索海德格尔的思想格局,就能脱离希腊与中国的比较模式,从而迈向跨文化纠缠的动态交流而发展。在此过程中,希腊语文本的解读显现出汉语哲学的重要命题。海德格尔对此命题的德语表述可以总结为反转共属性。如果借用汉语哲学的传统词汇来表达,则可称之为吊诡相即。

关键词：海德格尔老子柏拉图希腊哲学吊诡相即

在线全文

学校读者我要写书评

暂无评论

文创设计的国内外研究热点与趋势分析

设计 2024年第3期9卷 932-940页

作者：刘扬王玮南京林业大学家居与工业设计学院，江苏南京

目的：文章旨在通过文献计量分析法，对中国知网(CNKI)数据库和“Web of Science核心合集”数据库中收录的746篇关于文创设计研究的文献进行可视化分析，以探讨该领域的发展历程和研究热点。方法：采用CiteSpace6.3软件对文献数据进行... 详细信息

目的：文章旨在通过文献计量分析法，对中国知网(CNKI)数据库和“Web of Science核心合集”数据库中收录的746篇关于文创设计研究的文献进行可视化分析，以探讨该领域的发展历程和研究热点。方法：采用CiteSpace6.3软件对文献数据进行可视化处理，分析国内外在文创设计领域的发文量、研究时间、发展阶段以及研究热点的差异。结果：分析结果显示，国内外在文创设计领域的研究均可以分为三个阶段，但国外的研究起步较早。国外的研究主题更加广泛和全面，而国内的研究则更加集中和聚焦。此外，研究发现国内外发文量均受到重要时间节点的影响。结论：未来文创设计研究的任然是研究热点，为了进一步推动该领域的发展，建议未来的研究应注重跨学科的合作，并结合定量分析和实证研究方法，以深化对文创设计的理解和应用。

关键词：文创设计知识图谱可视化分析 CiteSpace Cultural and Creative Design Knowledge Graph Visualization and Analysis CiteSpace

来源：博看期刊评论

在线全文

博看期刊

学校读者我要写书评

暂无评论

SW17基因调控大豆百粒重性状的功能研究

SW17基因调控大豆百粒重性状的功能研究

作者：赖笔威广州大学

学位级别：硕士

大豆是优质的饲料蛋白。随着人口增加及饮食结构的改善,我国居民对肉、禽、蛋、奶的需求拉动了我国大豆消费量日益增加,而我国大豆产量无法实现自给自足,对外依存度较高,威胁我国的食物安全。百粒重是大豆产量构成的三要素之一,解析其... 详细信息

大豆是优质的饲料蛋白。随着人口增加及饮食结构的改善,我国居民对肉、禽、蛋、奶的需求拉动了我国大豆消费量日益增加,而我国大豆产量无法实现自给自足,对外依存度较高,威胁我国的食物安全。百粒重是大豆产量构成的三要素之一,解析其分子机制,对于我国大豆产量的提升具有重要意义。利用栽培大豆绥农14（SN14）和野生大豆ZYD00006（ZY06）构建染色体片段代换系群体,结合多年多点百粒重表型数据,在17号染色体上定位到一个与百粒重紧密相关的数量性状位点q SW17。通过分析亲本间的基因组测序结果,发现Glyma.17G085600的基因编码区在亲本间存在差异:该差异在自然群体中与大豆百粒重性状密切相关,表明Glyma.17G085600可能为q SW17的候选基因,并命其名为SW17,同时将ZY06的SW17定义为SW17ZY06,SN14的SW17定义为SW17SN14。为进一步明确SW17的基因功能,我们开展了以下工作:一、SW17基因的功能验证:1)拟南芥MYB86是SW17的同源基因,其突变导致千粒重显著增加,从而明确拟南芥MYB86能够调控粒重;2)我们在拟南芥Columbia＿0中过表达SW17ZY06和SW17SN14等位基因都能显著降低种子千粒重;3)我们以ZY06基因组为模板,构建了大豆转基因回补载体,以大豆品种Wm82(SW17基因型同SW17SN14)为受体进行转基因,并获得了稳定的转基因植株,结果表明转基因植株的百粒重显著减小;4)同时,我们也检测了代换系群体的受体亲本SN14和代换系后代SZ171(SW17基因型同SW17ZY06)多年的表型数据,结果表明SW17ZY06能够抑制百粒重的增加。研究结果证明SW17在大豆中调控粒重,且功能与拟南芥相对保守。二、SW17分子机制的解析:SW17编码的蛋白具有转录抑制活性,且SW17在荚和种子中相对高表达,其可能通过抑制大豆百粒重正向调控基因的表达调控粒重。三、SW17的进化分析:自然界中,SW17存在三种不同的单倍型,其中H1单倍型的大豆品种表现出较高的百粒重,且在驯化过程中受到了强烈的选择。综上,我们挖掘了大豆粒重的调控位点,明确了其候选基因,并初步阐明了SW17调控百粒重的分子机制,揭示了SW17在驯化过程中受到了强烈的选择。研究结果丰富了大豆百粒重调控网络,为破解产量三要素之间的制约关系,进一步提高大豆产量提供了一定的理论依据。

关键词：百粒重大豆 SW17 驯化