检索结果-南通市图书馆

基于自然语言需求的SCADE模型测试用例自动生成方法

在线全文

学校读者我要写书评

暂无评论

计算机科学 2023年

作者：邵温欣杨志斌李维周勇南京航空航天大学计算机科学与技术学院高安全系统的软件开发与验证技术工信部重点实验室航空防护救生技术航空科技重点实验室

随着安全关键软件规模和复杂性不断增加，模型驱动开发方法在安全关键领域得到广泛应用。SCADE作为一种重要的建模方法和工具，能够表达确定性并发行为且具有精确时间语义等特性，适用于安全关键软件的建模、测试与验证。目前，已有方... 详细信息

随着安全关键软件规模和复杂性不断增加，模型驱动开发方法在安全关键领域得到广泛应用。SCADE作为一种重要的建模方法和工具，能够表达确定性并发行为且具有精确时间语义等特性，适用于安全关键软件的建模、测试与验证。目前，已有方法主要采用手工方式构造SCADE模型测试用例，存在需求与测试用例不一致、成本代价高且容易出错的问题。本文提出一种基于自然语言需求的SCADE模型测试用例自动生成方法。首先，给出了基于模型检测的测试用例自动生成方法，通过自然语言需求处理生成原子命题，用于生成前提假设Assume和观察者模型，同时给出了陷阱性质 (Trap Properties) 生成规则来生成陷阱性质用于模型检测；其次，给出了基于覆盖分析和变异测试的测试用例质量评估方法，并在SCADE模型上进行变异测试；最后，设计和实现了原型工具，并基于一个工业界案例飞行员弹射座椅控制系统进行了案例分析，验证了本文方法的有效性。

关键词：安全关键软件模型驱动开发 SCADE 测试用例自动生成模型检测

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

青年直播带货的劳动过程及其空间生产

人文杂志 2024年第4期 75-86页

作者：温欣山东青年政治学院政治与公共管理学院山东大学哲学与社会发展学院

空间不仅是青年数字劳动的载体,更成为资本实施劳动控制的关键方式,其通过日益精细化的空间控制技术,重构了劳动过程的范畴与边界。本文基于青年直播带货过程的数字民族志,揭示空间控制下的劳动主体、劳动过程及其空间生产机制。研究发... 详细信息

空间不仅是青年数字劳动的载体,更成为资本实施劳动控制的关键方式,其通过日益精细化的空间控制技术,重构了劳动过程的范畴与边界。本文基于青年直播带货过程的数字民族志,揭示空间控制下的劳动主体、劳动过程及其空间生产机制。研究发现,直播带货过程中空间实践的主体包括平台、带货主播和消费者。数字经济下,平台是被隐藏了资本运作与商品生产的控制中枢,是后台的“老板”,通过“迭代性再技能化”,制造了怀揣“老板梦”的主播们,使其自愿地从事着自我剥削的非生产性劳动实践;通过“赋能型去技能化”使消费者在“老板幻象”中从事生产性消费实践,日益成为被纳入劳动控制之中的数字劳工。青年直播带货过程在“全员老板剧班”的空间控制下展开,时间的空间化拓展了资本再生产方式,开辟了数字社会新的资本积累路径。

关键词：直播带货劳动过程空间生产青年

维普期刊数据库博看期刊

从劳动的围城到创业的空间经营:大学生数字创业的劳动困境与发展路径

在线全文

学校读者我要写书评

暂无评论

天津行政学院学报 2024年第4期26卷 87-95页

作者：温欣山东青年政治学院山东济南250103

大学生数字创业过程本质上是劳动过程。货币资本循环的数字化、生产资本循环的去生产性、商品资本循环的时间体制是大学生数字创业中劳动困境形成的主要机制,大学生数字创业者通过本地经营、家庭经营和生活经营展现出冲破“劳动的围城... 详细信息

大学生数字创业过程本质上是劳动过程。货币资本循环的数字化、生产资本循环的去生产性、商品资本循环的时间体制是大学生数字创业中劳动困境形成的主要机制,大学生数字创业者通过本地经营、家庭经营和生活经营展现出冲破“劳动的围城”的可能性。因此,要支持、引导大学生数字创业,我们必须重视并识别数字社会大学生创业劳动的不稳定性风险、义务劳动风险和超时劳动风险等“零工化”创业劳动困境,为其提供开放、包容和保护性社会创业环境,促进大学生多样态的创新创业实践,共筑青年数字创业的生产空间,推动大学生数字创业高质量发展。

关键词：大学生数字创业劳动困境劳动整合

在线全文

学校读者我要写书评

暂无评论

基于属性加权的ML-KNN方法

山东大学学报（理学版） 2024年第3期59卷 107-117页

作者：温欣李德玉山西大学计算机与信息技术学院山西太原030006 山西大学计算智能与中文信息处理教育部重点实验室山西太原030006

提出了一种基于属性加权的ML-KNN方法。首先使用变精度邻域粗糙集识别来自每一个标记的决策类非正域中的样本,并构造异质样本对;然后基于属性对异质样本对的区分能力评估不同属性对于分类的重要度;最后计算样本之间的加权距离获得其近... 详细信息

提出了一种基于属性加权的ML-KNN方法。首先使用变精度邻域粗糙集识别来自每一个标记的决策类非正域中的样本,并构造异质样本对;然后基于属性对异质样本对的区分能力评估不同属性对于分类的重要度;最后计算样本之间的加权距离获得其近邻分布,且基于最大化后验概率的原则实现多标记分类。在10个公开的多标记数据集上的实验结果验证了所提方法的有效性。

关键词：多标记分类属性重要度邻域粗糙集分类不确定性异质样本对

在线全文

学校读者我要写书评

暂无评论

利用随机去耦合推演谐振子的传播子

Chinese Journal of Chemical Physics 2024年第2期37卷 192-198,I0102页

作者：邵久书北京师范大学化学学院高等量子研究中心北京100875

本文采用随机去耦合方法,将谐振子的量子演化转化为虚拟的两部分,它们分别由随机产生算符和随机灭算符确定讨论了两种解析虚拟算符的手段,一种基于相干态表示,另一种则基于位置和动量分解后的动量表示:联合两个虚拟传播子并对涉及的噪... 详细信息

本文采用随机去耦合方法,将谐振子的量子演化转化为虚拟的两部分,它们分别由随机产生算符和随机灭算符确定讨论了两种解析虚拟算符的手段,一种基于相干态表示,另一种则基于位置和动量分解后的动量表示:联合两个虚拟传播子并对涉及的噪声求统计评价就得到谐振子的量子传播子.整个过程的主要数学处理为求算高斯积分.

关键词：量子演化传播子谐振子随机去耦合

手术护理配合在单孔腹腔镜下子宫肌瘤切除术中的应用效果

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

实用妇科内分泌电子杂志 2024年第11期11卷 134-136页

作者：温欣白城中心医院手术室吉林白城137000

目的探讨手术护理配合在单孔腹腔镜下子宫肌瘤切除术中的应用效果。方法选取60例单孔腹腔镜下子宫肌瘤切除术患者为研究对象,按照入院先后顺序分为两组,各30例。对照组实施常规护理,观察组在对照组基础上实施手术护理配合,比较两组的应... 详细信息

目的探讨手术护理配合在单孔腹腔镜下子宫肌瘤切除术中的应用效果。方法选取60例单孔腹腔镜下子宫肌瘤切除术患者为研究对象,按照入院先后顺序分为两组,各30例。对照组实施常规护理,观察组在对照组基础上实施手术护理配合,比较两组的应激反应指标、术后并发症发生率。结果观察组气腹时、术毕的心率、收缩压低于对照组,差异有统计学意义(P<0.05);观察组术后并发症发生率为3.33%,低于对照组的20.00%(P<0.05)。结论在单孔腹腔镜下子宫肌瘤切除术开展期间加强手术护理配合,可进一步减轻患者的术中应激反应,降低术后并发症发生风险,值得推广。

关键词：单孔腹腔镜下子宫肌瘤切除术手术护理配合应激反应

植物乳杆菌CCFM1280对小鼠运动性疲劳的缓解作用

在线全文

学校读者我要写书评

暂无评论

食品与发酵工业 2024年

作者：温欣田培郡严中汉赵建新陈卫王刚江南大学食品学院

肠道菌群已被证实能够影响宿主的健康和生理功能，并参与机体能量代谢和调节。近年来很多研究表明，调节肠道菌群可以有效提高运动表现。益生菌作为一种调节肠道菌群的微生态制剂，先前也被报道具有缓解疲劳、改善肌肉损伤等功效。该研... 详细信息

肠道菌群已被证实能够影响宿主的健康和生理功能，并参与机体能量代谢和调节。近年来很多研究表明，调节肠道菌群可以有效提高运动表现。益生菌作为一种调节肠道菌群的微生态制剂，先前也被报道具有缓解疲劳、改善肌肉损伤等功效。该研究探讨了植物乳杆菌CCFM1280在改善运动耐力表现、减少疲劳代谢产物积累和增加能源物质储存方面的作用。结果表明，植物乳杆菌CCFF1280可显著增加小鼠力竭游泳时间，减少血清中血尿素氮和乳酸脱氢酶及肌肉中乳酸的含量，此外，CCFF1280还可显著提高肝糖原与肌糖原的含量，增加运动过程中能源储存。因此，植物乳杆菌CCFM1280具有缓解运动疲劳的潜力。

关键词：植物乳杆菌运动疲劳肠道菌群乳酸肝糖原肌糖原

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

槟榔花粉离体萌发及授粉

分子植物育种 2024年

作者：王玲温欣宇刘辉曜陈晖甘霆杨福孙海南大学热带农林学院

为探索人为辅助授粉技术在槟榔生产中的应用，本研究通过离体萌发筛选出最佳培养基，再进行槟榔大田液体授粉试验，探究槟榔授粉方式，尤其液体授粉的可行性，以坐果率提升效果来探究该技术在槟榔生产中的可行性。结果表明：(1)槟榔花粉... 详细信息

为探索人为辅助授粉技术在槟榔生产中的应用，本研究通过离体萌发筛选出最佳培养基，再进行槟榔大田液体授粉试验，探究槟榔授粉方式，尤其液体授粉的可行性，以坐果率提升效果来探究该技术在槟榔生产中的可行性。结果表明：(1)槟榔花粉在50 g/L蔗糖，400 mg/L氯化钙，250 mg/L硼酸的单因素培养基中萌发表现较好；在蔗糖50 g/L，300 mg/L氯化钙，硼酸100 mg/L组合液体培养基中萌发效果好。(2)授粉棒授粉以及液体授粉均可提高槟榔授粉率，但授粉棒授粉操作耗时耗力不易推广；液体培养基授粉技术使槟榔坐果率提高67.41%。(3)液体授粉坐果率与槟榔花粉萌发率具有正相关性，以筛选的培养基进行液体授粉效果最佳。人工授粉能明显提高槟榔授粉率，槟榔液体授粉技术操作方便，简单快捷，对提高槟榔坐果率具有较明显的增效作用。

关键词：槟榔离体萌发液体授粉坐果率

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

增进民生福祉绘就幸福底色 012

增进民生福祉绘就幸福底色