检索结果-南通市图书馆

基于UML-NuSMV的并发系统建模与验证

在线全文

学校读者我要写书评

暂无评论

华中科技大学学报（自然科学版） 2024年第2期52卷 90-95页

作者：马占有郭昊李召恺李健祥北方民族大学计算机科学与工程学院宁夏银川750030

为解决直接建立系统NuSMV(符号模型检测器)模型的困难,提出一种从UML(统一建模语言)模型转换到NuSMV模型的方法,实现了UML与NuSMV结合的形式化验证.首先,使用UML中的视图对系统进行描述,建立系统的UML模型;然后,设计转换规则并给出转换... 详细信息

为解决直接建立系统NuSMV(符号模型检测器)模型的困难,提出一种从UML(统一建模语言)模型转换到NuSMV模型的方法,实现了UML与NuSMV结合的形式化验证.首先,使用UML中的视图对系统进行描述,建立系统的UML模型;然后,设计转换规则并给出转换算法,实现从UML模型到NuSMV模型的自动转换;最后,使用计算树逻辑对系统的属性进行描述,并通过NuSMV完成对系统的形式化验证.以一个双按键并发电梯系统为例,说明了基于UML-NuSMV的并发系统建模与验证过程.

关键词：模型检测统一建模语言模型转换并发系统符号模型检测器

“996”还是“2.5”?——闲暇时间影响经济增长的跨国实证研究

在线全文

学校读者我要写书评

暂无评论

旅游学刊 2024年第1期39卷 147-163页

作者：罗浩康玉洁曾小梅中山大学管理学院广东广州501275

近年来,社会上掀起了“996工作制”和“2.5天小长假”的激烈讨论。为了避免价值判断,文章在文献梳理和理论演绎的基础上,利用41个较大规模国家的面板数据,检验了闲暇数量和质量对经济增长的影响,按经济发展水平和文化地理特征分别对样... 详细信息

近年来,社会上掀起了“996工作制”和“2.5天小长假”的激烈讨论。为了避免价值判断,文章在文献梳理和理论演绎的基础上,利用41个较大规模国家的面板数据,检验了闲暇数量和质量对经济增长的影响,按经济发展水平和文化地理特征分别对样本国家分组并进行异质性分析。研究结果显示:闲暇时间与经济增长之间存在一定的非线性特征,闲暇时间比例在0.6608至0.6855区间下经济增长率明显较高;整体而言,人力资本对闲暇时间与经济增长的关系存在显著的正向调节作用,数量闲暇一旦与人力资本相结合(即质量闲暇)很可能促进经济增长。研究结果对我国的政策含义是:既不“996”也不“2.5”,保持闲暇时间比例不变,减少工作时间比例而增加教育时间比例,既能提升人力资本直接推动经济增长,又能通过人力资本改善闲暇质量从而间接推动经济增长。

关键词：闲暇时间经济增长非线性人力资本调节作用

在线全文

学校读者我要写书评

暂无评论

双谐振环金属超表面中的连续域束缚态

物理学报 2024年第5期73卷 316-324页

作者：王玥王豪杰崔子健张达篪西安理工大学陕西省超快光电技术与太赫兹科学重点实验室西安710048

超表面由于具备独特的电磁响应特性,在微波、太赫兹以及光学领域的应用十分广泛.在电磁超表面中构建连续域束缚态(bound states in the continuum,BIC)模式谐振可以产生尖锐的谐振透射峰,因此BIC被广泛用于设计具有高品质因子谐振的超表... 详细信息

超表面由于具备独特的电磁响应特性,在微波、太赫兹以及光学领域的应用十分广泛.在电磁超表面中构建连续域束缚态(bound states in the continuum,BIC)模式谐振可以产生尖锐的谐振透射峰,因此BIC被广泛用于设计具有高品质因子谐振的超表面.本文实验研究了一种支持准BIC(quasi-BIC,q-BIC)谐振的新型金属太赫兹超表面,通过设计两组金属开口谐振环(split ring resonators,SRRs)的结构参数来调节各自主导的谐振的工作频率,使不同模式谐振之间产生耦合,形成q-BIC模式谐振.并利用电磁场分布及其散射功率的多极分解的计算结果证明了不同模式的共振机制.在入射电磁波分别沿x,y偏振时,通过Jaynes-Cummings模型计算了两模式之间的归一化耦合强度比,分别为0.54%(x偏振)与4.42%(y偏振),解释了不同谐振模式的工作频率随SRRs器件结构参数改变而变化的规律.

关键词：超表面多极分解连续域束缚态太赫兹

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

联合多传感器的水下多目标无源声学定位

声学学报 2024年第1期49卷 16-27页

作者：李想王燕齐滨郝宇梁国龙张涵哈尔滨工程大学水声技术全国重点实验室哈尔滨150001 工业和信息化部海洋信息获取与安全工信部重点实验室(哈尔滨工程大学) 哈尔滨150001 哈尔滨工程大学水声工程学院哈尔滨150001 青岛海纳水下信息技术有限公司青岛266400

在多传感器无源声学定位问题中,不同传感器接收的来自同一目标的信号均对应于此目标位置,依据这一物理基础,提出了一种基于粒子滤波的无源声学定位方法,以有效融合多传感器数据,进而提高定位性能。该方法将粒子滤波中的似然函数定义为... 详细信息

在多传感器无源声学定位问题中,不同传感器接收的来自同一目标的信号均对应于此目标位置,依据这一物理基础,提出了一种基于粒子滤波的无源声学定位方法,以有效融合多传感器数据,进而提高定位性能。该方法将粒子滤波中的似然函数定义为粒子状态所对应不同传感器信号之间互相关输出的乘积。该似然函数的设计确保所提方法可以充分获取多传感器的处理增益。此外,所提方法摆脱了传统定位范式,因此可以规避传统定位范式必须面对的测量−跟踪关联问题。湖上试验表明,在强多途干扰的条件下,传统定位方法的平均定位误差为7.2 m,而所提方法的平均定位误差为1.2 m,具有更好的性能。

关键词：粒子滤波检测前跟踪无源声学定位互相关

响应面分析法优化女贞子蛋白质提取工艺及功能性研究

在线全文

学校读者我要写书评

暂无评论

中国调味品 2024年第7期49卷 1-9页

作者：沈祥皓陈昌威付靖雯杨柳莺王则程杨金玉盘赛昆江苏海洋大学海洋食品与生物工程学院江苏连云港222005 江苏省海洋生物资源与环境重点实验室江苏连云港222000 江苏省海洋生物产业技术协同创新中心江苏连云港222000

为了进一步研究和开发女贞子在食品领域的应用,以提高女贞子蛋白质的提取率为目的进行研究。将超声辅助碱溶酸沉法提取干燥女贞子果实中的蛋白质工艺作为基础,通过单因素实验和响应面实验考察提取温度、提取时间、液料比、pH值4个因素... 详细信息

为了进一步研究和开发女贞子在食品领域的应用,以提高女贞子蛋白质的提取率为目的进行研究。将超声辅助碱溶酸沉法提取干燥女贞子果实中的蛋白质工艺作为基础,通过单因素实验和响应面实验考察提取温度、提取时间、液料比、pH值4个因素对女贞子蛋白质提取率的影响,以确定最佳的提取工艺并测定其功能性。实验结果表明,女贞子蛋白质的最佳提取条件为提取温度45℃、提取时间40 min、液料比为25∶1、pH值9.0,该条件下最高提取率为85.09%,实际提取率与模型预测值无显著性差异。此时所得的女贞子蛋白质在持水性、乳化性、乳化稳定性方面均高于市售成品大豆蛋白,持油性、起泡性、泡沫稳定性均低于大豆蛋白,且具有较强的抗氧化能力。因此,该方法提取的女贞子蛋白质具有很高的应用价值和发展潜力,可为女贞子在饮品、调味品等食品领域的高值化利用提供理论依据。

关键词：女贞子蛋白质工艺优化功能性食品

维普期刊数据库博看期刊

数字新质生产力推动传统产业新质化的机制与路径

在线全文

学校读者我要写书评

暂无评论

兰州大学学报（社会科学版） 2024年第3期52卷 13-22页

作者：任保平巩羽浩南京大学数字经济与管理学院江苏苏州215163

数字新质生产力本质是新质生产力在当前数字经济时代的主要表现形式,是新质生产力的重要组成部分。数字新质生产力推进传统产业新质化的理论机理是以数字新质生产力来推进技术创新、产业创新、产业融合、产业基础能力提升、产业链现代... 详细信息

数字新质生产力本质是新质生产力在当前数字经济时代的主要表现形式,是新质生产力的重要组成部分。数字新质生产力推进传统产业新质化的理论机理是以数字新质生产力来推进技术创新、产业创新、产业融合、产业基础能力提升、产业链现代化、产业生态培育。数字新质生产力推动传统产业新质化的关键问题包括数字新质生产力形成与发展、传统产业新质化改造以及数字新质生产力推动传统产业新质化路径疏通三个方面。数字新质生产力推动传统产业新质化的机制包括生产模式变革机制、价值供给优化机制以及产业业态创新机制。数字新质生产力推动传统产业新质化的路径为:以数字基础设施建设为抓手,深化传统产业数字化转型;以数字技术融合应用为基础,推动传统产业基础能力现代化和产业链现代化;以数据要素市场完善为依托,充分发挥数字要素对传统产业新质化改造的赋能作用;以数字共享精神培育为核心,构建传统产业数字新技术创新体系。

关键词：数字新质生产力传统产业新质化理论机理现代化转型科技创新

居住安排对农村老年人骨骼肌健康的影响:膳食质量的中介效应

在线全文

学校读者我要写书评

暂无评论

人口与发展 2024年第5期30卷 135-144页

作者：郝岩芝王刚毅东北农业大学经济管理学院黑龙江哈尔滨150030

为阐明居住安排对农村老年人骨骼肌健康的影响机制,基于中国营养与健康调查(CHNS)数据,重点考察了居住安排与农村老年人骨骼肌健康之间的关系,以及膳食质量在二者关系中的中介作用。研究发现:(1)与配偶同住(无子女)有助于老年人的骨骼... 详细信息

为阐明居住安排对农村老年人骨骼肌健康的影响机制,基于中国营养与健康调查(CHNS)数据,重点考察了居住安排与农村老年人骨骼肌健康之间的关系,以及膳食质量在二者关系中的中介作用。研究发现:(1)与配偶同住(无子女)有助于老年人的骨骼肌健康,而独居和与子女同住(无配偶)不利于老年人骨骼肌健康。(2)异质性检验结果表明,与配偶同住(无子女)对低龄老年人骨骼肌健康的提升效果更显著,对高龄老年人并无显著影响。(3)膳食质量能够在居住安排与老年人骨骼肌健康的关系中起中介作用,与配偶同住(无子女)抑制了老年人的膳食失衡,进而促进老年人骨骼肌健康。

关键词：居住安排膳食质量骨骼肌健康农村老年人

在线全文

学校读者我要写书评

暂无评论

论党内法规规范性的三重来源

理论探索 2024年第3期 50-57页

作者：陈红梅郝钰凯湘潭大学湖南湘潭411105

党内法规规范性的来源是解答“党员为什么遵守党内法规”的前提。立足于党内法规的历史可溯性特点,以党的百年发展为脉络探究党内法规规范性内涵的变化,可有效发掘党内法规规范性的多重来源。具体而言,考察党内法规的历史演变,其规范性... 详细信息

党内法规规范性的来源是解答“党员为什么遵守党内法规”的前提。立足于党内法规的历史可溯性特点,以党的百年发展为脉络探究党内法规规范性内涵的变化,可有效发掘党内法规规范性的多重来源。具体而言,考察党内法规的历史演变,其规范性有三重来源:一是党员内心认为“应当”的内生来源,即党内法规自诞生时就已经存在于党员心中的“党性”;二是基于党员与人民群众的认同,并在百年实践中不断增强的实践来源;三是以党内法规体系自身的制度正当性为核心,维持党内法规规范性稳定的制度来源。明确党内法规规范性来源,既可以推动党内法规学的发展,又可以在思想层面、制度层面与实践层面为党内法规规范性的强化指明思路,进而为完善党内法规制度体系,激发党内法规的制度活力,增强党内法规权威性和执行力打下坚实基础。

关键词：党内法规规范性来源 “党性” 主体认同制度正当性

在线全文

学校读者我要写书评

暂无评论

不同有机酸对石灰性土壤磷的活化效应及机理

植物营养与肥料学报 2024年第1期30卷 99-113页

作者：章浩王雪薇褚贵新绍兴文理学院生命与环境科学学院浙江绍兴312000

【目的】添加低分子量有机酸是活化土壤难溶性磷有效途径。比较研究几种低分子量有机酸及其组合对土壤磷的活化性能,为土壤磷的高效利用提供依据。【方法】低磷和高磷石灰性土壤选自新疆石河子,设置5个低分子有机酸添加处理:草酸、柠檬... 详细信息

【目的】添加低分子量有机酸是活化土壤难溶性磷有效途径。比较研究几种低分子量有机酸及其组合对土壤磷的活化性能,为土壤磷的高效利用提供依据。【方法】低磷和高磷石灰性土壤选自新疆石河子,设置5个低分子有机酸添加处理:草酸、柠檬酸、黄腐酸、柠檬酸+草酸、草酸+柠檬酸+黄腐酸处理,和一个0.01mmol/L KCl对照。采用吸附平衡实验法测定土壤磷的吸附量;采用土壤吸附动力学实验法测定土壤磷的解吸动力学。采用常规和灭菌土壤培养方法,通过连续浸提法研究低分子有机酸及其组合对磷组分动态转化的影响和pH对磷的活化效应。【结果】Langmuir与Elovich模型均可较好地拟合土壤对磷的吸附热力学(R^(2)=0.852~0.994)与吸附动力学过程(R^(2)=0.882~0.975)。低磷土壤的最大吸附量(Q_(max))、最大缓冲容量(MBC)、吸附力常数(K_L)和吸附速率(b)均高于高磷土壤,表明低磷土壤对磷的吸附更强。低分子量有机酸添加均降低了Q_(max)、MBC和b。草酸对Q_(max)和MBC的降幅最大,低磷土壤降幅分别为28.5%和74.9%,高磷土壤分别为14.7%和73.3%。柠檬酸对低磷土壤的b值降幅最大(80.9%),草酸对高磷土壤的b值降幅最大(22.0%)。与CK相比,草酸添加显著提高了Olsen-P含量,草酸+柠檬酸效果次之,黄腐酸对磷的活化效果最差。不灭菌培养条件下,草酸和草酸+柠檬酸处理低磷土壤的Olsen-P含量分别增加了42.6%和18.5%,高磷土壤分别增加了27.3%和1.01%;草酸和草酸+柠檬酸处理的活性磷组分Resin-P在低磷土壤中分别增加了80.9%和77.4%,在高磷土壤中分别增加了79.5%和72.8%;非活性磷组分Di HCl-P在低磷土壤中分别降低了8.87%和5.89%,在高磷土壤中分别降低了8.83%和5.54%;Con HCl-P在低磷土壤中分别降低了25.1%和12.9%,在高磷土壤中分别降低了16.9%和5.30%。柠檬酸处理的Resin-P在低磷和高磷土壤中分别增加了70.2%和79.5%,而NaOH-P则分别降低了14.8%、26.3%,说明草酸、草酸+柠檬酸促进了非活性磷向活性磷组分的转化,柠檬酸则促进了中活性磷向活性磷组分的转化。土壤灭菌培养各处理磷组分含量与不灭菌培养无显著差异,说明微生物对有机酸活化土壤磷的效应无显著影响。不论是否灭菌,土壤Olsen-P含量的增加与pH降低呈负相关,因此致酸效应不是小分子有机酸活化土壤难溶性磷的主要机制。【结论】小分子有机酸通过与磷竞争吸附位点或进行螯合反应活化土壤磷,而不是通过致酸效应或激发磷活化相关的微生物。3种小分子有机酸相比,草酸活化磷的效果最大,其次是柠檬酸、黄腐酸,单一有机酸的活化效果大于有机酸组合。

关键词：低分子量有机酸吸附等温线吸附动力学磷有效性磷组分转化石灰性土壤