检索结果-南通市图书馆

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

多值交互时序逻辑的模型检验研究

郑州大学学报(理学版) 2025年第02期 78-84页

作者：凌灿红常亮周洁潘海玉桂林电子科技大学广西可信软件重点实验室上海师范大学数理学院

为了对包含多值信息的开放系统进行形式化验证，在多值逻辑的基础上提出了多值交互时序逻辑并研究了该逻辑的模型检验问题。首先，引入多值并发博弈结构作为此类开放系统的模型，该模型的最大特点是可以建模带有多值信息的开放系统。其... 详细信息

为了对包含多值信息的开放系统进行形式化验证，在多值逻辑的基础上提出了多值交互时序逻辑并研究了该逻辑的模型检验问题。首先，引入多值并发博弈结构作为此类开放系统的模型，该模型的最大特点是可以建模带有多值信息的开放系统。其次，给出基于此模型的多值交互时序逻辑的语法和语义，该逻辑可以描述带有多值信息的待验证属性。最后，基于不动点理论给出多值交互时序逻辑的模型检验算法，并对算法的时间复杂度进行了分析，结果表明，可以在多项式时间内完成对多值交互时序逻辑的模型检验。

关键词：模型检验多值逻辑交互时序逻辑并发博弈结构

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

新时代大学生择业观培育

合作经济与科技 2025年第3期 83-85页

作者：凌福林盐城工学院江苏盐城

随着经济的发展和时代的变迁,大学生的择业观培育面临着新的任务和挑战。因此,在新时代背景下,有必要有效整合社会、学校和家庭的力量,积极引导大学生树立科学合理的择业观。

关键词：新时代大学生择业观三方合力

负载纳米钽的液晶显示光固化聚乳酸支架制备及促成骨性能

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

中国组织工程研究 2025年第4期29卷 670-677页

作者：李明哲叶翔凌王冰余翔南阳医学高等专科学校针灸骨伤系河南省南阳市473000 广州中医药大学东莞医院广东省东莞市523888 广州中医药大学第一附属医院广东省广州市510405 广东省中医临床研究院广东省广州市510405

背景:聚乳酸因具有良好的生物相容性和可控的降解速率在生物医学工程中得到了广泛应用,然而存在机械强度低和生物活性不足等缺陷,限制了其在骨组织工程中的进一步应用。目的:构建聚乳酸/聚多巴胺/钽(PLA/PDA/Ta)骨组织工程支架,探究其... 详细信息

背景:聚乳酸因具有良好的生物相容性和可控的降解速率在生物医学工程中得到了广泛应用,然而存在机械强度低和生物活性不足等缺陷,限制了其在骨组织工程中的进一步应用。目的:构建聚乳酸/聚多巴胺/钽(PLA/PDA/Ta)骨组织工程支架,探究其生物安全性和体外促成骨性能。方法:利用液晶显示光固化技术制备具有多孔结构的聚乳酸(PLA)支架,将PLA支架分别浸泡在多巴胺溶液与多巴胺-纳米钽混合溶液中分别制备聚乳酸/聚多巴胺(PLA/PDA)支架、PLA/PDA/Ta支架,表征支架的微观形貌与水接触角。将MC3T3-E1细胞分别与PLA、PLA/PDA、PLA/PDA/Ta支架共培养,进行CCK-8检测与活/死细胞染色;成骨诱导分化后,进行碱性磷酸酶、茜素红染色及成骨基因检测。结果与结论:①扫描电镜下可见3种支架均具有互连的多孔三维结构,平均孔径为200μm;PLA/PDA/Ta支架的水接触角低于PLA、PLA/PDA支架(P<0.05);②CCK-8检测显示,相较于PLA、PLA/PDA支架,PLA/PDA/Ta支架可促进细胞的增殖(P<0.05);活/死细胞染色显示3组细胞增殖良好;③碱性磷酸酶与茜素红染色显示,相较于PLA、PLA/PDA支架,PLA/PDA/Ta支架可促进细胞碱性磷酸酶的表达与矿化结节形成;RT-qPCR检测显示,相较于PLA、PLA/PDA支架,PLA/PDA/Ta支架可促进细胞骨形态发生蛋白、Runx-2及Ⅰ型胶原mRNA的表达(P<0.05,P<0.01);④结果表明,PLA/PDA/Ta支架具有优异的促细胞增殖与成骨活性。

关键词：液晶显示光固化打印聚乳酸聚多巴胺纳米钽 MC3T3-E1细胞骨组织工程支架

维普期刊数据库

为什么设计成榫卯结构？“月壤砖”如何炼成？

在线全文

学校读者我要写书评

暂无评论

科学大观园 2025年第01期 36-37页

作者：崔霞李宁吴天白凌姝王镜雅

再过一段时间，“月壤砖”就将搭乘“天舟八号”货运飞船飞向中国空间站，到太空去做暴露实验。“月壤砖”跟普通的砖到底有哪些不同？它们为什么要去太空呢？“月壤砖”是未来可能用于月球盖房子的建筑材料，比普通混凝土砖要坚硬得多...

再过一段时间，“月壤砖”就将搭乘“天舟八号”货运飞船飞向中国空间站，到太空去做暴露实验。“月壤砖”跟普通的砖到底有哪些不同？它们为什么要去太空呢？“月壤砖”是未来可能用于月球盖房子的建筑材料，比普通混凝土砖要坚硬得多。再过一段时间，这种“月壤砖”就将搭乘“天舟八号”货运飞船飞向中国空间站，到太空去做暴露实验。“月壤砖”跟普通的砖到底有哪些不同？它们为什么要去太空呢？

关键词：

基于网络药理学探究清脉饮治疗下肢动脉硬化闭塞症的作用机制

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中国中医药现代远程教育 2025年第1期23卷 84-87页

作者：乔丽蕊凌银露张磊上海中医药大学附属岳阳中西医结合医院血管外科上海200437

目的基于网络药理学技术,探究清脉饮治疗下肢动脉硬化闭塞症的潜在复杂机制。方法通过多个数据库查找并筛选清脉饮活性成分及下肢动脉硬化相关基因,构建“药物-活性成分-靶点-疾病”网络,并进行基因本体论(GO)和京都基因与基因组百科全... 详细信息

目的基于网络药理学技术,探究清脉饮治疗下肢动脉硬化闭塞症的潜在复杂机制。方法通过多个数据库查找并筛选清脉饮活性成分及下肢动脉硬化相关基因,构建“药物-活性成分-靶点-疾病”网络,并进行基因本体论(GO)和京都基因与基因组百科全书(KEGG)富集分析及分子对接。结果共筛选出清脉饮活性成分62种,主要涉及细胞信号传导(细胞增殖、细胞迁移、细胞凋亡等)、炎症反应、血管生成等方面;主要作用于肿瘤坏死因子(TNF)、丝氨酸/苏氨酸激酶1(AKT1)、甘油醛-3-磷酸脱氢酶(GAPDH)等靶点,参与磷脂酰肌醇3激酶(PI3K)-丝氨酸/苏氨酸激酶(AKT)、丝裂原活化蛋白激酶(MAPK)等信号通路。结论此研究在网络药理学水平上,解释了清脉饮治疗下肢动脉硬化闭塞症的机制。

关键词：清脉饮下肢动脉硬化闭塞症网络药理学

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

天上掉下个章子怡

中国联通马鞍山市分公司移动网络工程规划及优化设计

作者：阿凌

来源：南通市图书馆图书评论

学校读者我要写书评

暂无评论

中国联通马鞍山市分公司移动网络工程规划及优化设计

作者：阿凌北京邮电大学

学位级别：硕士

随着GSM网络的建设进程,运营商在网络信号实现全覆盖的基础上,更加关注信号的质量和用户的感受,因此加大了网络优化技术的运用,利用科学的指标获取和分析,指导网络性能的改善。网络优化是一个对网络进行数据采集、数据分析、制订优化方... 详细信息

随着GSM网络的建设进程,运营商在网络信号实现全覆盖的基础上,更加关注信号的质量和用户的感受,因此加大了网络优化技术的运用,利用科学的指标获取和分析,指导网络性能的改善。网络优化是一个对网络进行数据采集、数据分析、制订优化方案、实施网络调整和验证结果的过程,目的是提升网络接通能力,提高移动网络质量,为用户提供优质的通话保障。中国联通马鞍山市分公司非常关注网络的运行情况和服务质量、网络结构及配置的合理性,思考网络如何继续科学合理地发展下去,以满足将来业务可持续发展和新业务开拓的需求,从而提高市场竞争力,在此基础上,对全网设备进行设备替换。通过引入国产设备,大大降低了设备投资,同时在服务水平上有了更大的改善。从2009年7月至2009年8月,马鞍山联通设备替换工程同步进行网络优化规划,在对原网络的分析与评估的基础上制定有效的设备替换方案,保障设备替换工程顺利实施以及设备替换前后的网络质量稳定。2009年9月对马鞍山市分公司GSM900设备替换后的网络进行集中优化。本论文第一章进行了概述性阐述;在第二章温故并进一步研究了GSM系统原理,着重介绍了网络的发展、系统的基本特点、结构与功能以及相关的技术;第三章主要介绍了网络优化工作的意义、具体内容和相关流程,为后期实际工作做了科学的指引;第四章通过图表直观地介绍了马鞍山的网络结构;第五章重点阐述了网络优化的实施方案,特别是针对覆盖、干扰、掉话率、切换成功率和拥塞等方面进行优化调整;第六章在上一章的基础上,细化具体的KPI指标进行分析和调整;第七章以实际工程前后的数据图表对比验证了方案的正确性;第八章进一步提出后期工程实施建议,同时结合随后开始建设的WCDMA网络工程,就GSM和WCDMA双网建设、共存和相互影响等相关问题进行了深入的研究和探讨,为后期工程建设和网络扩容提出了指导性建议,预设方案已应用在新的工程设计建设中。

关键词：移动工程规划优化设计

考虑库存成本的增材制造加工中心选取与服务区域划分问题

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

考虑库存成本的增材制造加工中心选取与服务区域划分问题

作者：凌朋祥南京农业大学

学位级别：硕士

自“中国制造2025”始,“十三五”计划、“高端智能再制造行动计划”均多次出现了关于增材制造(3D打印)的关键词,增材制造领域开始被越来越多的学者所关注。为了提升增材制造供应链的响应能力,大量的企业开始将具有增材制造加工能力的... 详细信息

自“中国制造2025”始,“十三五”计划、“高端智能再制造行动计划”均多次出现了关于增材制造(3D打印)的关键词,增材制造领域开始被越来越多的学者所关注。为了提升增材制造供应链的响应能力,大量的企业开始将具有增材制造加工能力的加工中心应用到供应链中,而如何对加工中心的位置进行选取并且对服务区域进行划分是需要解决的问题。本文对考虑库存成本的增材制造加工中心选取与服务区域划分问题进行了研究,以期能够为具有加工中心的增材制造供应链的合理运营提供一定的理论支持。随着互联网的繁荣,以年轻一代为首的人们开始更多地强调自己的个性,独一无二的定制化产品需求越来越旺盛,这种定制化产品具有定制化程度高、单件需求量小、设计差异化程度大等特点。增材制造的生产方式以原材料为导向,无需模具即可对各类个性化设计进行生产,因此这种生产方式被广泛应用于定制化产品的生产中。为了提升对需求的服务效率,企业会在需求点附近设立加工中心,从距离上更加接近消费者,所以产生了与加工中心选取位置相关的问题。在目前关于加工中心选取的研究模型中,通常会考虑关于距离的成本与关于设施选取产生的固定成本。本文在此基础上进一步考虑了增材制造的特性,在模型中增加了关于增材制造生产成本与机器设置成本的考虑。由于加工中心在根据需求对原材料进行加工前需要将大量原材料存储于设施内,由存储引起的包括运营成本库存、安全库存、订货成本等在内一系列成本均会对设施点的选取产生影响,故本文将关于库存成本的考虑融入到了加工中心选取与服务区域划分的模型中。本文使用遗传算法对提出的考虑库存成本的增材制造加工中心选取与服务区域划分问题的模型进行求解,该算法能够生成较为合理的加工中心选取与服务区域的划分结果。使用该算法对给出的算例进行求解,并且针对运输成本权重、库存成本权重、生产成本权重的敏感性进行分析。最终结果表示,该模型的求解结果优于供应链中不存在加工中心的增材制造集中式生产的供应链。本文对定制产品市场中考虑库存成本的增材制造加工中心选取与服务区域划分问题进行研究,旨在平衡整个增材制造供应链各个环节的成本,有效提升供应链的运作效率,增强增材制造的竞争力。本文提出的数学模型属于NP-hard问题,针对这点本文设计了相应的遗传算法对其进行求解。实验结果表明,本文提出的算法可以解决这类问题,并且多数情况下,在增材制造供应链中添加加工中心的供应链往往优于进行集中生产的增材制造供应链。

关键词：定制产品增材制造供应链设施选取问题遗传算法

基于肠道菌群和广泛靶向代谢组学的山柰酚抗骨质疏松的作用机制

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

中国组织工程研究 2025年第20期29卷 4190-4204页

作者：梁周张驰潘成镇杨博蒲张林刘桦彭金辉文立春凌观汉陈锋广西中医药大学广西壮族自治区南宁市530000 玉林市中西医结合骨科医院广西壮族自治区玉林市537599

背景:山柰酚具有抗骨质疏松的作用,但山柰酚通过调控肠道菌群、代谢物防治骨质疏松的作用机制尚不明确。目的:基于肠道菌群和广泛靶向代谢组学探究山柰酚抗骨质疏松的可能作用机制。方法:将雌性Sprague-Dawley大鼠18只随机分为假手术组... 详细信息

背景:山柰酚具有抗骨质疏松的作用,但山柰酚通过调控肠道菌群、代谢物防治骨质疏松的作用机制尚不明确。目的:基于肠道菌群和广泛靶向代谢组学探究山柰酚抗骨质疏松的可能作用机制。方法:将雌性Sprague-Dawley大鼠18只随机分为假手术组、模型组和山柰酚组,每组6只,后2组切除双侧卵巢制备骨质疏松大鼠模型。造模后8周,假手术组和模型组采用蒸馏水灌胃,山柰酚组采用40 mg/kg山柰酚灌胃,各组均连续给药12周。取大鼠粪便进行16SrDNA扩增子测序,观察肠道菌群结构的变化;采用超高效液相色谱-串联质谱技术、自主开发的数据库和多元统计分析的方法进行血清样本广泛靶向代谢组学检测。结果与结论:①连续干预12周后,16SrDNA扩增子测序结果显示,与假手术组相比,模型组肠道菌群丰度增加;与模型组相比,山柰酚组上调Latilactobacillus菌属(P=0.021)丰度,下调泛菌属(Pantoea)(P=0.034)、肠杆菌属(Enterorhabdus)(P=0.000)、Monoglobus菌属(P=0.024)、丁酸单胞菌属(Butyricimonas)(P=0.034)、Rothi属(P=0.043)、梭杆菌属(Clostridia)(P=0.004)等菌属丰度。②连续干预12周后,血清样本广泛靶向代谢组学检测结果显示,假手术组与模型组、模型组与山柰酚组之间分别鉴定出120和79种代谢物,3组间共有17种交集差异代谢物,包括乌头酸、巴比妥酸、L-高瓜氨酸、3,4,5-三甲氧基肉桂酸、L-3-苯基乳酸、环(脯氨酸-脯氨酸)、L-苯丙氨酸-L-丝氨酸、脯氨酸-异亮氨酸、L-冬胺基乙酸-L-苯丙胺基乙酸、苯丙氨酸-天冬氨酸等。大部分属于氨基酸及其代谢物、甘油磷脂类和脂肪酰类。差异代谢物涉及的KEGG通路主要富集在D-氨基酸代谢、组氨酸代谢、丙酸代谢、赖氨酸降解、脂肪酸代谢、鞘脂代谢等。③连续干预12周后,联合分析发现,肠杆菌属(Enterorhabdus)、Latilactobacillus属、Rothia属和瘤胃球菌属(Ruminococcus)等与血清差异代谢物密切相关。④山柰酚可能通过调节肠道菌群的丰度、多样性及结构,调控氨基酸及其代谢物的代谢、脂肪酸代谢等发挥抗骨质疏松的作用。

关键词：山柰酚骨质疏松肠道菌群 16SrDNA扩增子测序广泛靶向代谢组学超高效液相色谱-串联质谱作用机制大鼠

维普期刊数据库

同方期刊数据库