检索结果-南通市图书馆

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

形式化验证在加速动态仿真过程中的应用

集成电路应用 2023年第6期40卷 386-389页

作者：晏阳毕泽家上海光流智能科技有限公司上海201210 苏州涌现智能科技有限公司江苏215211

阐述在验证芯片复杂场景的过程中,往往会由于激励的仿真时间过长或随机化程度不够,从而丢失掉部分的边界情况。形式化验证是一种通过数学的方式来对待测设计进行验证的方法,可以对模块的接口信号进行遍历,从而覆盖其约束范围内所有场景... 详细信息

阐述在验证芯片复杂场景的过程中,往往会由于激励的仿真时间过长或随机化程度不够,从而丢失掉部分的边界情况。形式化验证是一种通过数学的方式来对待测设计进行验证的方法,可以对模块的接口信号进行遍历,从而覆盖其约束范围内所有场景。通过形式化属性验证,对SoC中的轮询仲裁器模块进行验证,通过其得到的违例结果,反向指导SoC制造相应的激励,缩短了寻找边界场景的时间,大大提高了验证效率。

关键词：形式化验证轮询仲裁器定向激励

在线全文

学校读者我要写书评

暂无评论

基于深度森林的CT图像结直肠息肉检测研究

洛阳理工学院学报（自然科学版） 2022年第1期32卷 68-74页

作者：陈祎琼刘澳范国华毕家泽陈滔安徽农业大学信息与计算机学院安徽合肥230036 安徽省北斗精准农业信息工程实验室安徽合肥230036 安徽农业大学工学院安徽合肥230036

为提高在CT图像中结直肠息肉的筛选效率,提出一种基于深度森林的结直肠息肉CT图像检测方法。通过灰度化、归一化、中值滤波、随机旋转的手段对数据集进行预处理,将处理后的数据输入一个调整后的深度森林进行预测分类,得到输出结果。实... 详细信息

为提高在CT图像中结直肠息肉的筛选效率,提出一种基于深度森林的结直肠息肉CT图像检测方法。通过灰度化、归一化、中值滤波、随机旋转的手段对数据集进行预处理,将处理后的数据输入一个调整后的深度森林进行预测分类,得到输出结果。实验结果表明,该模型与其他分类算法采用不同指标对比后,具有较好的分类效果,分类精度达到了99.67%,同时该模型具有较少的超参数,泛化能力强,有助于在医学影像领域辅助医生筛查疾病患者。

关键词：深度森林医学影像结直肠息肉图像分类

在线全文

学校读者我要写书评

暂无评论

大田水肥一体化混肥器设计与试验研究

农机化研究 2025年第2期47卷 139-145页

作者：刘文亮杨然兵潘志国马振家刘仕泽青岛农业大学机电工程学院山东青岛266109

由于当前市场上没有既适合大田大面积灌溉、混肥精度又高的水肥一体化系统,故在旁路式结构设计中增加静态混合器替换主管道,以提高混肥均匀性为重点进行研究,对混肥部件进行了优化改进。利用混合器自身结构,在不需要外接能源的条件下,... 详细信息

由于当前市场上没有既适合大田大面积灌溉、混肥精度又高的水肥一体化系统,故在旁路式结构设计中增加静态混合器替换主管道,以提高混肥均匀性为重点进行研究,对混肥部件进行了优化改进。利用混合器自身结构,在不需要外接能源的条件下,使得水肥充分混合,不仅能够满足大面积灌溉要求,而且可以保证混肥精度。基于流体力学及CFD基本原理,通过Fluent软件分析水肥混合过程中SK型静态混合器混合单元数,以及长径比对水肥混合性能和压降的影响,以此找出混合器的最佳结构参数,并对其结构做了改进,设计出了开沟式静态混合器。

关键词：水肥一体化系统静态混合器混肥精度开沟式

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

在线全文

学校读者我要写书评

暂无评论

从家庭视角看中国女性劳动参与率的下降趋势

武汉大学学报（哲学社会科学版） 2025年第1期78卷 133-145页

作者：赵耀辉毕汝岱武汉大学武汉大学董辅礽经济社会发展研究院湖北武汉430072 北京大学国家发展研究院北京100091

随着社会经济的发展和人口结构的深刻调整,中国女性劳动参与率发生了显著变化。改革开放初期,中国女性劳动参与率显著高于欧美主要发达国家的水平,但近年来大幅下降,已接近其平均值。研究发现,已生育女性劳动参与率的下降是整体趋势的... 详细信息

随着社会经济的发展和人口结构的深刻调整,中国女性劳动参与率发生了显著变化。改革开放初期,中国女性劳动参与率显著高于欧美主要发达国家的水平,但近年来大幅下降,已接近其平均值。研究发现,已生育女性劳动参与率的下降是整体趋势的主要驱动力,而婚育模式的转变在一定程度上对这一趋势起到了缓冲作用。对于已婚女性而言,学龄前子女的照料负担逐渐成为劳动市场参与的核心制约因素。女性教育水平的提升通过禀赋和系数效应显著促进了劳动参与,但配偶教育水平的影响由正向转为负向,说明家庭收入能力的提高减弱了女性劳动参与的经济动机,强化了性别分工的传统趋势。优化育儿支持体系、促进性别平等以及营造职场友好环境,是缓解婚育负担对女性劳动市场参与约束的关键政策方向。

关键词：女性劳动参与率婚育模式育儿成本

领导者“选择性控制”组织成员偏离行为的学理勘察和实践进路

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

在线全文

学校读者我要写书评

暂无评论

领导科学 2025年第1期 54-61页

作者：朱颂泽中国人民公安大学公安管理学院中国发展战略学研究会

领导者在应对组织成员的偏离行为时，需要结合组织成员偏离行为的动机、方式和后果进行“选择性控制”。“选择性控制”在实践应用过程中，要求领导者结合偏离行为的具体表现、生成机制与潜在影响，结合偏离行为的实施境况，采取多样化... 详细信息

领导者在应对组织成员的偏离行为时，需要结合组织成员偏离行为的动机、方式和后果进行“选择性控制”。“选择性控制”在实践应用过程中，要求领导者结合偏离行为的具体表现、生成机制与潜在影响，结合偏离行为的实施境况，采取多样化的策略，因此在“偏离行为特征—领导应对策略”的互动中构成了“选择性控制”的不同类型，即支持—变革型、接纳—容错型、利用—交易型、抵制—隔离型。领导者对组织成员偏离行为进行“选择性控制”同管理的内在目标、履职的行动基础与自身的综合能力密切相关。为此，领导者应调整控制目标，引领组织发展；夯实控制基础，构建行动场域；把握控制限度，增强运用能力。

关键词：领导者偏离行为组织成员 “选择性控制” 组织控制

社交影响下考虑消费者损失规避行为的产品众筹优化决策研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

管理工程学报 2025年第01期 125-139页

作者：王志宏王鑫戴家宏东华大学旭日工商管理学院

产品众筹是一种新兴的融资和产品营销模式。本文基于资金约束供应商、电商平台和策略型消费者所组成的供应链,在消费者损失中性和损失规避两种情形下,构建和优化考虑社交影响的产品众筹决策模型,并进一步分析消费者损失规避系数和社交... 详细信息

产品众筹是一种新兴的融资和产品营销模式。本文基于资金约束供应商、电商平台和策略型消费者所组成的供应链,在消费者损失中性和损失规避两种情形下,构建和优化考虑社交影响的产品众筹决策模型,并进一步分析消费者损失规避系数和社交影响因子等参数对供应链决策和效益的影响。研究发现:相比于消费者损失中性的情形,在消费者损失规避时,电商平台会提供较高的众筹服务水平,而供应商会提供较低的众筹价格。无论消费者是否损失规避,随着社交影响因子增大,电商平台的众筹服务水平和供应商的众筹价格均降低。本文研究成果为供应商和电商平台成功开展产品众筹提供科学指导和参考。

关键词：产品众筹损失规避社交影响众筹服务水平

同方期刊数据库

n型筋布置方式对3D打印混凝土抗弯性能的影响

在线全文

学校读者我要写书评

暂无评论

硅酸盐学报 2025年第01期 27-36页

作者：王振地李昕泽王玲中国建筑材料科学研究总院有限公司绿色建筑材料国家重点实验室

挤出式混凝土3D打印技术被认为是最可能实现大型建筑建造的主流工艺，缺少有效的配筋方法是该技术实用化的主要障碍之一。n型筋垂直贯入3D打印混凝土（3DPC）已被证明是行之有效的纵向配筋方法。为评价n型光圆钢筋布局方式对3DPC抗弯性... 详细信息

挤出式混凝土3D打印技术被认为是最可能实现大型建筑建造的主流工艺，缺少有效的配筋方法是该技术实用化的主要障碍之一。n型筋垂直贯入3D打印混凝土（3DPC）已被证明是行之有效的纵向配筋方法。为评价n型光圆钢筋布局方式对3DPC抗弯性能的影响，定义了钢筋不搭接贯穿度Pnon和搭接贯穿度Povr，制备了Pnon和Povr不同的8种试件，通过三点弯曲加载试验研究了贯穿度对配筋3DPC抗弯强度、荷载位移曲线以及断面形貌的影响。结果表明：不搭接的配筋方式对抗弯强度没有增强效果且破坏模式均为脆性破坏；当n型筋搭接布置时，3DPC的抗弯强度随贯穿度增加而增大，但钢筋的贯穿度对抗弯强度的提升存在一个饱和值。搭接n型筋增强3DPC的破坏模式为韧性破坏，并出现了明显的应变硬化特性。通过讨论得到了配筋率、钢筋贯穿度、3DPC基体抗弯强度对配筋3DPC抗弯强度的影响权重，还对比分析了n型筋（不搭接和搭接）、铆钉与短切直筋等4种纵向配筋方法对3DPC抗弯强度的提升效果，相关结果对配筋参数和方法的选择具有重要的参考价值和指导意义。

关键词： n型筋 3D打印混凝土贯穿度抗弯性能

同方期刊数据库

生成式人工智能对数据安全保护的挑战及刑法应对

在线全文

学校读者我要写书评

暂无评论

河南社会科学 2025年第1期33卷 56-63页

作者：聂立泽王祯中山大学法学院广东广州510006

随着生成式人工智能在多个领域的应用,数据安全保护面临新的挑战。在数据安全保护的路径选择上,传统模式选择以数据主体为锚定权利的基准,在赋予数据主体相关权利的基础上,以告知—同意原则作为数据主体的权利边界,建立涉及刑法、民法... 详细信息

随着生成式人工智能在多个领域的应用,数据安全保护面临新的挑战。在数据安全保护的路径选择上,传统模式选择以数据主体为锚定权利的基准,在赋予数据主体相关权利的基础上,以告知—同意原则作为数据主体的权利边界,建立涉及刑法、民法等多个领域的数据安全制度。但不得不承认,伴随人工智能的发展,这种基于数据主体权利的数据保护模式逐渐表现出认知与结构性困难,需要从路径选择上进行转变。相对于以数据主体权利为核心的保护模式,刑法可以从风险的角度考虑,以贝克的风险社会理论作为理论参考,从承认数据主体具有完全理性转变为承认其具有有限理性,将数据安全保护的主要关注点从数据主体的权利保障转移到数据安全风险的预防和管控。此外,在数据安全保护的实质层面上,生成式人工智能侵害数据法益的行为可以概括为行为人利用或针对生成式人工智能实施的行为,以及生成式人工智能在演化、运行过程中“自主”实施的行为。刑法应以风险作为主要考量因素,结合已有规定对上述两种行为进行评价。

关键词：生成式人工智能风险预防数据安全刑法规制

基于分位数回归的服务时长区间预测及鲁棒手术指派方法

在线全文

学校读者我要写书评

暂无评论

控制与决策 2025年第1期 317-326页

作者：张新泽张舒政王昱高哲明东北大学工商管理学院东北大学信息科学与工程学院

手术部是医院的核心部门,合理制定手术计划有助于医疗资源的高效配置,对提升医疗服务质量至关重要.手术时长的不确定性为手术调度带来了挑战,为了应对手术时长的不确定性,基于历史手术数据,应用方差膨胀因子减少患者特征之间共线性.基... 详细信息

手术部是医院的核心部门,合理制定手术计划有助于医疗资源的高效配置,对提升医疗服务质量至关重要.手术时长的不确定性为手术调度带来了挑战,为了应对手术时长的不确定性,基于历史手术数据,应用方差膨胀因子减少患者特征之间共线性.基于分位数回归刻画手术时长区间,构建患者特征驱动的手术时长不确定集;在此基础上,考虑术后重症监护室床位资源限制,建立鲁棒手术指派模型,决策开放的手术室和患者的手术日期,最后基于真实数据测试方法的有效性.实验结果显示,通过调节模型参数,所提出模型在降低运营成本和减少手术室加班时间方面优于确定性模型;与随机规划模型相比,在牺牲较少加班时长情况下,降低了总运营成本,并在求解时间上具有优势.

关键词：手术指派鲁棒优化数据驱动优化不确定性分位数回归下游资源容量

同方期刊数据库