检索结果-南通市图书馆

维普期刊数据库

Aspect-Oriented Modeling and Verification with Finite State Machines

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2009年第5期24卷 949-961页

作者：徐殿祥 Omar El-Ariss 许巍峰王林章 National Center for the Protection of the Financial Infrastructure Dakota State UniversityMadisonSD 57042 U.S.A. State Key Laboratory of Novel Software Technology Department of Computer Science and TechnologyNanjing University Department of Computer Science North Dakota State UniversityFargoND 58105 U.S.A Computer and Information Science Department Gannon University109 University SquareEriePA 16541 U.S.A

Aspect-oriented programming modularizes crosscutting concerns into aspects with the advice invoked at the specified points of program execution. Aspects can be used in a harmful way that invalidates desired properties and even destroys the conceptual integrity of programs. To assure the quality of an aspect-oriented system, rigorous analysis and design of aspects are highly desirable. In this paper, we present an approach to aspect-oriented modeling and verification with finite state machines. Our approach provides explicit notations （e.g., pointcut, advice and aspect） for capturing crosscutting concerns and incremental modification requirements with respect to class state models. For verification purposes, we compose the aspect models and class models in an aspect-oriented model through a weaving mechanism. Then we transform the woven models and the class models not affected by the aspects into FSP （Finite State Processes）, which are to be checked by the LTSA （Labeled Transition System Analyzer） model checker against the desired system properties. We have applied our approach to the modeling and verification of three aspect-oriented systems. To further evaluate the effectiveness of verification, we created a large number of flawed aspect models and verified them against the system requirements. The results show that the verification has revealed all flawed models. This indicates that our approach is effective in quality assurance of aspect-oriented state models. As such, our approach can be used for model-checking state-based specification of aspect-oriented design and can uncover some system design problems before the system is implemented.

关键词： aspect-oriented modeling finite state machines modeling verification model checking

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

反应温度和时间对硬质聚氨酯泡沫性能的影响

化工新型材料 2025年

作者：张晨肖定侃张俊李浩然许巍周勇南京航空航天大学民航学院中国人民解放军空军工程大学航空工程学院浙江大学建筑工程学院

硬质聚氨酯泡沫由于反应时间短、膨胀倍数高、操作方便、强度高等优点，在机场道面抢修中具有广阔的应用前景。在机场抢修工程中，温度和时间等关键反应参数对此材料性能影响巨大，为指导抢修实践，设定了5℃、15℃、23℃和35℃这4种温... 详细信息

硬质聚氨酯泡沫由于反应时间短、膨胀倍数高、操作方便、强度高等优点，在机场道面抢修中具有广阔的应用前景。在机场抢修工程中，温度和时间等关键反应参数对此材料性能影响巨大，为指导抢修实践，设定了5℃、15℃、23℃和35℃这4种温度，以及0.5h、2h、4h和24h这4种固化时间，分别在这些条件下开展了反应时间、膨胀比和无侧限抗压强度（UCS）试验，并通过CT扫描进行内部结构的微观分析。结果表明：随着温度的升高，材料的反应时间逐渐缩短，在5℃时为20分30秒，在35℃时为3分20秒。材料的膨胀比随温度升高而减少，最大膨胀比为7.02，出现在35℃时。材料的抗压强度随温度升高呈现先增加后减少的趋势，在23℃时达到最高强度。低温条件下，材料内部泡孔较为致密，完全固化后内部仍有部分未反应材料；高温条件下，材料内部泡孔较大，密度和强度较低。材料在固化0.5h后，强度已达到最终强度的80%，固化4h后强度几乎达到最终强度。在固化初期，有部分泡孔未完全形成，底部孔隙较顶部孔隙多；完全固化后，底部孔隙较顶部孔隙更为致密，强度也更高。为达到最佳抢修效果，建议在23℃左右进行硬质聚氨酯泡沫的混合，材料在固化0.5h后其强度已能完全承担面层材料重量并且可通行车辆等机械。

关键词：硬质聚氨酯泡沫温度固化时间抗压强度

重复、饥饿与荒诞——弗洛伊德与胡塞尔视域中的“母亲”

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

广西大学学报(哲学社会科学版) 2025年 2-10页

作者：刘逸峰广西民族大学马克思主义学院

“母亲”是精神分析引入现代哲学思潮的重要概念。在弗洛伊德与胡塞尔的理论中，一方面，母亲被视为以饥饿为核心、通过锚定主体重复行为而构建起来的最终满足的代偿物，另一方面，最终满足本身又是主体的自我设定，因此主体不可能通过... 详细信息

“母亲”是精神分析引入现代哲学思潮的重要概念。在弗洛伊德与胡塞尔的理论中，一方面，母亲被视为以饥饿为核心、通过锚定主体重复行为而构建起来的最终满足的代偿物，另一方面，最终满足本身又是主体的自我设定，因此主体不可能通过任何东西甚至母亲获得追求的完全满足。俄狄浦斯悲剧不只隐喻了最终满足在伦理上的不可能，更标志着母亲与最终满足之间关系的虚妄。弗洛伊德—胡塞尔式的主体生存于加缪所谓的荒诞之中，这使主体选择忍耐生活或自杀，而两位哲学大师的理论则表明自杀也同样荒诞。

关键词：母亲饥饿重复荒诞

职业本科专业建设：类型特征、实践误区与未来路向

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

黑龙江高教研究 2025年第2期 1-7页

作者：黄守峰贵州开放大学(贵州职业技术学院) 华南师范大学

职业本科专业为新时代高素质技术技能人才培养提供了全新路径。在开展职业本科专业建设时，既要把握其高适应性、高融合性、高技能性、高特殊性等类型特征，也要规避陷入办学惯性、走入浅层合作、步入办学重复、坠入“普本复制”等发展... 详细信息

职业本科专业为新时代高素质技术技能人才培养提供了全新路径。在开展职业本科专业建设时，既要把握其高适应性、高融合性、高技能性、高特殊性等类型特征，也要规避陷入办学惯性、走入浅层合作、步入办学重复、坠入“普本复制”等发展误区。推进我国职业本科专业高质量发展，需要紧跟产业发展脉搏，明确专业崭新航向；扣住产教融合内涵，凸显专业固有特征；紧抓“三教”改革根本，提升专业内在质量；改革人才培养模式，塑造专业特色品牌。

关键词：职业本科教育专业建设类型特征误区防范未来路向

基于注意力胶囊网络的梨树叶部病害图像识别方法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

农机化研究 2025年

作者：彭炜峰张洲亚西南大学重庆水利电力职业技术学院

针对梨树叶部病害人工识别防治工作中存在主观性强、耗时费工、效率低下、误判率高,以及当前部分网络算法和信息技术对梨树叶部病害图像识别准确率较低的问题,以重庆市永川区黄瓜山梨种植基地为研究区域,以胶囊网络为基础,提出了一种基... 详细信息

针对梨树叶部病害人工识别防治工作中存在主观性强、耗时费工、效率低下、误判率高,以及当前部分网络算法和信息技术对梨树叶部病害图像识别准确率较低的问题,以重庆市永川区黄瓜山梨种植基地为研究区域,以胶囊网络为基础,提出了一种基于注意力胶囊网络的梨树叶部病害图像识别方法。首先,融入优化的注意力机制和残差密集单元,提高模型对病害图像特征提取能力;其次,在不改变网络结构的基础上,验证了不同参数、不同迭代次数对病害图像识别效果的影响;最后,在基本参数相同的情况下,验证了不同算法对病害图像识别的有效性。通过与传统胶囊网络、卷积神经网络、CNN等多种算法在准确率、有效性方面的对比试验,基于注意力胶囊网络的梨树叶部病害识别方法准确率达到93.74%,能够有效抑制病害图像中不相关特征,并很好地提取梨树叶部病害图像有效关键特征,具有较强的病害图像识别能力。研究结果可为梨树叶部病害智能识别诊断鉴定提供新思路、新方法,对推进智慧农业发展和农业农村现代化建设提供理论参考。

关键词：梨树叶部病害图像识别注意力机制胶囊网络智慧农业

沙蒿提取液绿色制备纳米零价铁改性生物炭去除水中Cr(Ⅵ)

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中国环境科学 2025年

作者：刁静茹祝海玲沈博峰赵梦婷周艳姿马锋锋蒋煜峰兰州交通大学环境与市政工程学院寒旱地区水资源综合利用教育部工程研究中心

利用沙蒿和玉米秸秆废弃物，通过沙蒿提取液绿色还原得到纳米零价铁（nZVI）并负载在玉米秸秆生物炭上，得到复合材料CBC-nZVI，用以去除水中的Cr（Ⅵ）.考察了吸附动力学和热力学特征，以及pH值、投加量和共存离子对CBC-nZVI去除Cr（... 详细信息

利用沙蒿和玉米秸秆废弃物，通过沙蒿提取液绿色还原得到纳米零价铁（nZVI）并负载在玉米秸秆生物炭上，得到复合材料CBC-nZVI，用以去除水中的Cr（Ⅵ）.考察了吸附动力学和热力学特征，以及pH值、投加量和共存离子对CBC-nZVI去除Cr（Ⅵ）的影响;利用SEM、FTIR、XRD和XPS对材料进行表征，进一步探究复合材料的除Cr（Ⅵ）机制.结果表明:CBC-nZVI对Cr（Ⅵ）的吸附动力学数据最适合用Elovich方程描述，颗粒内扩散为主要控速步骤;吸附等温线符合Freundlich模型，吸附为自发的吸热熵增过程.CBC-nZVI对Cr（Ⅵ）的去除率随反应温度、材料投加量和溶液酸度的升高而增大，在适宜条件（温度为298K、pH为2、投加量1.0g/L）下对Cr（Ⅵ）(30mg/L)的去除率达100%;溶液中共存阳离子或阴离子均会不同程度地抑制吸附剂对Cr（Ⅵ）的去除，影响顺序分别为Cd2+＞Mg2+＞Ca2+＞Cu2+，CO32-＞Cl-＞NO3-＞SO42-.CBC-nZVI与Cr（Ⅵ）的反应机制主要包括静电吸附、化学还原、官能团吸附和沉淀吸附等过程.nZVI将吸附在材料上的Cr（Ⅵ）还原为Cr（Ⅲ），再通过表面官能团络合和形成Cr（Ⅲ）-Fe（Ⅲ）共沉淀的方式将其去除.负载后nZVI与CBC在复合材料去除Cr（Ⅵ）的过程中表现出协同作用.研究结果可为蒿草和秸秆废弃物的资源化利用以及Cr（Ⅵ）污染的绿色治理提供一定的理论依据.

关键词：沙蒿绿色合成 Cr(Ⅵ) 生物炭纳米零价铁

智慧应急赋能韧性城市建设：现实机遇、风险挑战和实践路径

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

灾害学 2025年

作者：何轲贾伟王茜王长峰北京邮电大学经济管理学院北京邮电大学图书馆

智慧应急改变了传统城市应急的交互逻辑和减灾思路，韧性城市建设的推进则显著增强了城市应对和抵御外部冲击的能力。智慧应急与韧性城市在建设基础和核心理念上具有共性，二者的融合提升了城市安全治理能力。该文剖析了两者内在联系，... 详细信息

智慧应急改变了传统城市应急的交互逻辑和减灾思路，韧性城市建设的推进则显著增强了城市应对和抵御外部冲击的能力。智慧应急与韧性城市在建设基础和核心理念上具有共性，二者的融合提升了城市安全治理能力。该文剖析了两者内在联系，探讨了智慧应急赋能韧性城市建设带来的机遇和挑战。采用复杂适应系统理论（CAS）与复杂网络理论（CNT），构建了CAS-CNT耦合的韧性城市系统分析模型，并运用管理主体-物理要素-空间布局-社会环境分析框架，解析韧性城市系统的结构特征与运行机理。文章从管理韧性、工程韧性、空间韧性、社会韧性四个维度出发，探讨了智慧应急赋能韧性城市建设的实践路径，以期为城市未来的智慧化、安全化、韧性化发展提供参考和借鉴。

关键词：智慧应急韧性城市机遇挑战 CAS CNT 实践路径

低估的自我——中等收入群体收入波动与主观阶层认同研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

山西财经大学学报 2025年第1期47卷 1-15页

作者：陈涛峰杨希雷南开大学经济学院山东女子学院经济学院

中等收入群体作为社会的中坚力量，当其主观认同自身阶层时，能更有效地促进社会的经济发展与稳定。基于2010—2020年CFPS数据研究发现，我国中等收入群体存在明显的低位阶层认同现象，并且收入波动是导致这一现象产生的重要因素。机制... 详细信息

中等收入群体作为社会的中坚力量，当其主观认同自身阶层时，能更有效地促进社会的经济发展与稳定。基于2010—2020年CFPS数据研究发现，我国中等收入群体存在明显的低位阶层认同现象，并且收入波动是导致这一现象产生的重要因素。机制检验发现，收入波动通过改变中等收入群体对未来的预期、消费结构和对代际传递的担忧，影响其主观阶层认同感。调节效应分析显示，是否连续处于中等收入群体和家庭资产的数量是重要的调节变量。

关键词：中等收入群体收入波动主观阶层认同认同下移偏差低位认同未来预期消费结构代际传递

抗菌压电材料:对细菌无选择性杀伤和不产生细菌耐药性

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中国组织工程研究 2025年第10期29卷 2105-2112页

作者：冯楠李运峰口腔疾病防治全国重点实验室国家口腔医学中心国家口腔疾病临床医学研究中心四川大学华西口腔医院口腔颌面外科四川省成都市610041

背景:压电材料可通过催化作用产生活性氧,通过多种途径来破坏细菌,而且不会导致细菌产生耐药性。这种不依赖抗生素的抗菌方式具有明显的优势,可以对细菌进行无差别的杀伤,为今后的抗菌策略提供了一种新思路。目的:文章主要总结了有关压... 详细信息

背景:压电材料可通过催化作用产生活性氧,通过多种途径来破坏细菌,而且不会导致细菌产生耐药性。这种不依赖抗生素的抗菌方式具有明显的优势,可以对细菌进行无差别的杀伤,为今后的抗菌策略提供了一种新思路。目的:文章主要总结了有关压电材料特性与抗菌机制,并讨论了部分压电材料在抗菌领域的研究现状。方法:在Pub Med、Web of Science、中国知网和万方数据库中,以“压电材料,压电催化,活性氧,抗菌,细菌感染,抗感染,耐药性”为中文检索词,以“piezoelectric materials,piezoelectricity,piezoelectric catalysis,piezocatalysis,reactive oxygen species,ROS,bacterial infection,antibacterial strategies,anti-infection,drug resistance,drug-resistant bacteria”为英文检索词。检索时间范围重点为2013年1月至2023年12月,通过阅读文题和摘要进行初步筛选;排除中英文重复性研究及内容不相关的文献,经文献质量评价后,最后纳入68篇文献进行综述。结果与结论:(1)压电材料是一类性质稳定的环境友好型材料,其大多数具有良好的生物相容性。(2)压电材料在压电效应过程中可催化产生大量活性氧,活性氧可通过细胞外氧化和细胞内氧化,破坏细菌的细胞膜、胞内蛋白质、酶以及核酸等物质,影响细菌的结构和功能,甚至导致细菌死亡从而实现抗菌。抗菌性能与催化生成活性氧速率相关,而催化速率与材料体系、形貌及外界条件等多种因素相关。(3)压电催化产生的活性氧对细菌不具备选择性,因此表现出广谱抗菌性,且这种抗菌方式不需要依赖抗菌药物,故不会引起细菌耐药性问题。(4)结合超声波无创、可控性与穿透性强等优点,未来压电材料作为耐药菌感染的辅助或替代治疗等具有重要价值和巨大潜力。(5)目前压电材料催化效率低下的难题限制了其在抗菌领域的应用,如何提高压电催化效率成为了学者们关注的焦点。

关键词：压电材料纳米材料压电效应压电催化活性氧抗菌治疗抗生素耐药性

维普期刊数据库