期刊文献+
共找到593篇文章
< 1 2 30 >
每页显示 20 50 100
当LABUBU走上第五大道:POP MART如何把一个中国潮玩IP推进美国主流文化现场
1
作者 戴莉娟 《现代广告》 2026年第1期50-51,共2页
在纽约,潮玩正在改变一次历史悠久的节日传统。随着POP MART(泡泡玛特)正式登上第99届梅西感恩节大游行,其代表性的潮玩形象LABUBU也在全球文化焦点中迎来属于它的“大场面时刻”。据《纽约时报》报道,这位来自北京的“精灵般的小怪物... 在纽约,潮玩正在改变一次历史悠久的节日传统。随着POP MART(泡泡玛特)正式登上第99届梅西感恩节大游行,其代表性的潮玩形象LABUBU也在全球文化焦点中迎来属于它的“大场面时刻”。据《纽约时报》报道,这位来自北京的“精灵般的小怪物”在游行前就在曼哈顿制造了不小的轰动:在Mark Hotel门口合影、登上帝国大厦观景台、出现在布鲁克林篮网与尼克斯的场边。穿着毛茸茸玩偶服的LABUBU,一天之间成为纽约社交媒体上最受关注的“城市游客”。 展开更多
关键词 北京 潮玩 LABUBU 纽约 POP mart 精灵般的小怪物
在线阅读 下载PDF
基于MARTE和STAMP的安全关键软件测试建模方法
2
作者 薛雯耀 王轶辰 任庆玮 《计算机科学》 北大核心 2025年第S1期843-852,共10页
基于模型的软件工程(MBSE)方法在安全关键软件(Safety-critical Software)开发和测试中的应用是当前研究的热点。然而,在建立模型时,如何完整且准确地刻画软件的安全属性仍然是一个亟待解决的问题。文中提出了一种创新性的方法,将软件... 基于模型的软件工程(MBSE)方法在安全关键软件(Safety-critical Software)开发和测试中的应用是当前研究的热点。然而,在建立模型时,如何完整且准确地刻画软件的安全属性仍然是一个亟待解决的问题。文中提出了一种创新性的方法,将软件安全性分析深度集成到软件模型构建过程中。该方法结合MARTE(实时和嵌入式系统建模与分析)建模语言和STAMP(系统理论事故模型与过程)理论,通过扩展MARTE构造型或增加标签的方式对非功能属性进行描述,并在MARTE视图层次融入STAMP控制结构模型。最终,通过STPA(系统理论过程分析)技术进行迭代建模,形成一个多视图的混合模型。STPA方法中的控制结构构建、不安全控制行为识别及致因场景分析等步骤展现出更高的分析深度和自动化潜力。案例研究表明,所提方法能够有效且清晰地展示软件系统的功能和非功能性能需求,更好地实现基于模型的软件安全特性刻画,并为测试用例的自动化生成和建模提供坚实的技术基础。 展开更多
关键词 martE模型 STAMP理论 STPA方法 安全关键软件 基于模型的软件工程
在线阅读 下载PDF
基于MDE的异构模型转换:从MARTE模型到FIACRE模型 被引量:9
3
作者 张天 Frédéric JOUAULT +2 位作者 Christian ATTIOGBE Jean BEZIVIN 李宣东 《软件学报》 EI CSCD 北大核心 2009年第2期214-233,共20页
通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的... 通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的转换实例,探讨了异构模型之间在语义和语法层的相互转换问题.在语义层,通过模型转换技术构造语义映射规则,实现元语言之间的转换;在语法层,通过构造元模型的具体语法,反映元语言的语法规则,从而产生目标模型的程序实体.基于此实例研究,探讨了通用转换途径的相关框架和关键技术,并讨论了转换工作的优缺点和实用性. 展开更多
关键词 模型驱动工程 形式化方法 martE(modeling and analysis of real time and embedded systems) FIACRE (intermediate format for the architectures ofembedded distributed components) 异构性
在线阅读 下载PDF
基于MDA的MARTE模型形式化方法 被引量:4
4
作者 许海洋 王萍 《计算机应用研究》 CSCD 北大核心 2012年第8期3018-3021,共4页
针对嵌入式系统对可靠性和可预测性的要求,提出基于MDA对嵌入式系统的建模语言MARTE进行形式化描述的方法。建立Object-Z的元模型,定义了MARTE元模型与Object-Z元模型之间的模型转换关系,给出了MARTE模型到Object-Z模型的语义映射和语... 针对嵌入式系统对可靠性和可预测性的要求,提出基于MDA对嵌入式系统的建模语言MARTE进行形式化描述的方法。建立Object-Z的元模型,定义了MARTE元模型与Object-Z元模型之间的模型转换关系,给出了MARTE模型到Object-Z模型的语义映射和语法转换的具体过程。该方法支持将MARTE模型形式化转换为Object-Z模型,有利于软件开发早期的检验和验证。 展开更多
关键词 模型驱动体系 形式化方法 模型转换 martE元模型
在线阅读 下载PDF
基于模型转换的MARTE顺序图的形式化分析 被引量:1
5
作者 朱梅霞 王捍贫 +1 位作者 刘西奎 韩晓琼 《小型微型计算机系统》 CSCD 北大核心 2013年第1期100-106,共7页
作为一项新规范,MARTE有许多方面亟待完善.如何对依照MARTE设计的模型开展验证是待解决问题之一.对象管理组织提出用模型转换的方法将依照MARTE设计的模型(记为A)转换成另一种具有完备的验证方法和工具的形式化模型(记为B),然后对B进行... 作为一项新规范,MARTE有许多方面亟待完善.如何对依照MARTE设计的模型开展验证是待解决问题之一.对象管理组织提出用模型转换的方法将依照MARTE设计的模型(记为A)转换成另一种具有完备的验证方法和工具的形式化模型(记为B),然后对B进行验证和精化,以完成A的验证和精化工作.此思想面临的难题是如何保证B能够完整且准确地模拟A的行为.提出了形式化模型-TTS4SD,用来描述MARTE规范定义的带时间约束的顺序图的形式语义并在此基础上展开分析.首先给出顺序图的形式定义,把时间变迁系统(TTS)扩充成TTS4SD,用TTS4SD描述顺序图的形式语义,最后对TTS4SD展开分析.这在一定程度上提高了设计阶段模型的正确性.通过一个实例说明从顺序图到TTS4SD的转化过程以及基于TTS4SD的验证方法. 展开更多
关键词 实时系统 形式化方法 martE 时间变迁系统 验证
在线阅读 下载PDF
分子模拟在筛选HLA-A2.1高亲和性MART-1 CTL表位中的应用研究 被引量:2
6
作者 王莉 吴玉章 +1 位作者 林治华 石统东 《第三军医大学学报》 CAS CSCD 北大核心 2002年第10期1166-1168,共3页
目的 探讨计算机分子模拟在CTL表位与HLA A2 1亲和力特性研究中的应用价值。方法 应用SiliconGraphics图像工作站及InsightⅡ软件 ,分别建立MART 16个CTL预测表位与HLA A2 1结合的三维结构 ,并进行分子动力学模拟 ,通过对各结合特... 目的 探讨计算机分子模拟在CTL表位与HLA A2 1亲和力特性研究中的应用价值。方法 应用SiliconGraphics图像工作站及InsightⅡ软件 ,分别建立MART 16个CTL预测表位与HLA A2 1结合的三维结构 ,并进行分子动力学模拟 ,通过对各结合特征性参数的计算 ,对各表位肽与HLA A2 1结合稳定性进行了比较。应用Merrifield固相多肽合成技术合成上述小肽 ,通过HLA A2 1与各肽亲和力分析试验 ,证实分子模拟结果的可靠性。结果 通过分子模拟手段计算所得 6个表位与HLA A2 1结合特性结果 ,基本与通过实验手段所得结果相符。结论 计算机分子模拟在CTL表位与MHC Ⅰ类分子的亲和力研究中 ,具有简单、直观、快速、准确等优点 ,该方法在筛选MHC Ⅰ类分子高亲和性CTL表位的研究中具有诱人的应用前景。 展开更多
关键词 mart-1 CTL表位 分子动力学模拟 结合亲和力分析 肿瘤免疫治疗 肿瘤抗原
暂未订购
MART与TLRT对有生育意愿的年轻早期宫颈癌患者的疗效对比 被引量:2
7
作者 康媛 杨蓉 +1 位作者 宋芳霞 高雪 《实用癌症杂志》 2019年第5期843-845,849,共4页
目的探讨MART与TLRT对有生育意愿的年轻早期宫颈癌患者中的临床疗效。方法回顾性选择47例有生育意愿的年轻早期宫颈癌患者,收集其病例资料及随访资料,根据手术方式的不同,分为MART组及TLRT组,对比两组的手术时间、出血总量、保留宫颈长... 目的探讨MART与TLRT对有生育意愿的年轻早期宫颈癌患者中的临床疗效。方法回顾性选择47例有生育意愿的年轻早期宫颈癌患者,收集其病例资料及随访资料,根据手术方式的不同,分为MART组及TLRT组,对比两组的手术时间、出血总量、保留宫颈长度、切除淋巴结数、子宫动脉损伤、住院时间、引流量、排尿恢复时间、并发症及术后妊娠率、流产率及分娩率等指标。结果 MART组的手术时间、保留宫颈长度及住院时间均长于TLRT组,出血总量高于TLRT组,子宫动脉损伤低于TLRT组,P均<0. 05,其他指标二者对比无统计学意义,P> 0. 05。结论两种手术方式各有优劣,临床上对于有生育意愿的年轻早期宫颈癌患者,需根据患者自身条件、肿块大小及术者对两种术式的掌握程度来综合考虑选择合适的手术方式。 展开更多
关键词 mart TLRT 生育意愿 年轻早期宫颈癌患者 妊娠
暂未订购
基于MDA的MARTE模型形式化转换 被引量:2
8
作者 王立杰 刘昌禄 俞烈彬 《指挥控制与仿真》 2012年第6期128-133,共6页
非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MD... 非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。 展开更多
关键词 模型驱动 martE模型 Object-Z规约 元模型 模型转换
在线阅读 下载PDF
MART算法快速高质量图像重建研究 被引量:1
9
作者 梅创社 张顺利 《科学技术与工程》 北大核心 2012年第24期6054-6058,共5页
ART(Algebraic Reconstruction Technique)算法是一种典型的迭代图像重建算法,适合于不完全投影数据图像重建。为了提高乘型ART(Multiplicative ART,MART)算法的重建质量,提出了一种基于亚像素的图像重建方法。首先将原始图像中的每个... ART(Algebraic Reconstruction Technique)算法是一种典型的迭代图像重建算法,适合于不完全投影数据图像重建。为了提高乘型ART(Multiplicative ART,MART)算法的重建质量,提出了一种基于亚像素的图像重建方法。首先将原始图像中的每个像素等分解为四个亚像素,然后提出一种高效的射线与像素的求交算法来计算权因子和亚像素索引。利用MART算法重建得到高分辨率重建图像。最后通过合并亚像素图像得到原始分辨率的高质量重建图像。实验结果表明提出的方法非常有效,与传统方法相比取得了3倍以上的重建加速比,图像重建质量显著提高。 展开更多
关键词 CT mart 图像重建 亚像素
在线阅读 下载PDF
信息化发展宏观模型——MART模型 被引量:2
10
作者 王延章 王雪华 《中国信息界》 2006年第1期25-27,共3页
本文从组织管理(Management)、业务应用(Application)、信息资源(Resources)和信息技术(Info.Technolo-gy)的系统整体性出发,研究提出了信息化发展宏观模型——MART模型。指出信息化建设协调发展的必要条件是系统的MART整体性,提出了一... 本文从组织管理(Management)、业务应用(Application)、信息资源(Resources)和信息技术(Info.Technolo-gy)的系统整体性出发,研究提出了信息化发展宏观模型——MART模型。指出信息化建设协调发展的必要条件是系统的MART整体性,提出了一个全局、两个重点的MART整体性实施策略。 展开更多
关键词 mart模型 整体性 系统分析 顶层设计
在线阅读 下载PDF
Effects of Fragmentation Intensity of Perennial Roots and Their Burial Depth on Sprouting and Early Growth of Alternanthera philoxeroides(Mart.)Griseb
11
作者 陈中义 邹云胜 +2 位作者 陈燕丽 张中华 许兴蕾 《Agricultural Science & Technology》 CAS 2010年第6期103-105,111,共4页
[Objective] The aim was to provide theoretical basis for the prevention and control of the invasion of Alternanthera philoxeroides(Mart.)Griseb.[Method] Effects of fragmentation intensity of fresh roots and their bu... [Objective] The aim was to provide theoretical basis for the prevention and control of the invasion of Alternanthera philoxeroides(Mart.)Griseb.[Method] Effects of fragmentation intensity of fresh roots and their burial depth on sprouting and early growth of A.philoxeroides were studied by control test.[Result] More sprouts of A.philoxeroides emerged when the fragmentation intensity of fresh roots was higher,while if the fragmentation intensity of fresh roots was lower,the early growth of A.philoxeroides was more rapid.The soil buried depth had significant effect on fresh root sprouts' emergence,but once fresh root sprouts could reach the soil surface and were given enough growth time,even if the fresh roots were buried in different depths,soil buried depth had no significant effect on its young plant growth.[Conclusion] If different fragmentation intensities of fresh roots present,there is a kind of trade-off strategy between root sprouts' emergence and plant' early growth,by which A.philoxeroides can invade new habitat successfully.To control the invasion of A.philoxeroides,it is critical to prevent its fresh root sprouts from emerging to soil surface,that is,to bury the fresh roots at a further soil depth. 展开更多
关键词 Alternanthera philoxeroides(mart.)Griseb Perennial root fragment Soil buried depth SPROUTING Young plant growth
在线阅读 下载PDF
MART-1HLA-A2限制性CTL表位的预测
12
作者 王莉 吴玉章 《第三军医大学学报》 CAS CSCD 北大核心 2000年第10期931-933,共3页
目的 预测黑色素瘤分化抗原MART 1的HLA A2限制性细胞毒性T淋巴细胞 (CTL)表位。方法 采用超基序与量化基序多项式方案相结合的办法 ,对目的抗原MART 1的HLA A2限制性CTL表位进行预测。结果 预测出了 6个九肽表位。结论 两种方法预... 目的 预测黑色素瘤分化抗原MART 1的HLA A2限制性细胞毒性T淋巴细胞 (CTL)表位。方法 采用超基序与量化基序多项式方案相结合的办法 ,对目的抗原MART 1的HLA A2限制性CTL表位进行预测。结果 预测出了 6个九肽表位。结论 两种方法预测结果的一致性较好 ,所预测出的 6个MART 1的HLA A2限制性CTL表位经后续实验筛选、鉴定后 ,可望用于新型MART 1肿瘤治疗性多肽疫苗的设计研究 。 展开更多
关键词 mart-1 HLA-A2 CTL表位 多肽疫苗 黑色素瘤
暂未订购
透视I—MART的文化发展趋势
13
作者 李卓 尹成伟 《活力》 2010年第21期109-109,共1页
创意就是具有新颖性和创造性的想法。“创意市集”出现的背景是创意产业的成长和壮大,是对个人创意、技巧及才华,通过知识产权的开发和运用,具有创造财富和就业潜力的新兴行业。I-MART既代表idear—mart点子市场,又有我是艺术的含... 创意就是具有新颖性和创造性的想法。“创意市集”出现的背景是创意产业的成长和壮大,是对个人创意、技巧及才华,通过知识产权的开发和运用,具有创造财富和就业潜力的新兴行业。I-MART既代表idear—mart点子市场,又有我是艺术的含义。创意市集指在特定场地展示、售卖个人原创手工作品和收藏品的文化艺术活动,在欧洲许多城市非常流行。近年传入我国市场,成为当今社会中年轻一代设计师和品质生活体验者推崇的一种新型产业模式——将别出心裁的独特创意以产品的形式融入生活,以传统市集的营销方式来展现作品的文化创意产业模式。 展开更多
关键词 I—mart 创意市集 文化产业 营销方式
在线阅读 下载PDF
基于MARTE模型的系统可靠性预测 被引量:2
14
作者 柴叶生 朱雪阳 +1 位作者 晏荣杰 张广泉 《计算机科学》 CSCD 北大核心 2015年第12期82-86,91,共6页
系统的可靠性是系统的重要非功能属性之一。传统的可靠性分析在系统开发结束后进行,可能会发现由于系统开发早期的架构设计不合理而导致的问题,这时再修改系统架构并重做后继开发步骤,将会浪费大量人力和物力。如果能在开发的早期阶段,... 系统的可靠性是系统的重要非功能属性之一。传统的可靠性分析在系统开发结束后进行,可能会发现由于系统开发早期的架构设计不合理而导致的问题,这时再修改系统架构并重做后继开发步骤,将会浪费大量人力和物力。如果能在开发的早期阶段,在系统模型层面进行分析并预测,则可以尽早地发现系统可靠性方面的问题并将其修复。UML是一种通用的、标准化的建模语言,MARTE是UML在嵌入式实时系统领域的扩展。提出了基于MARTE模型的系统可靠性预测方法,该方法考虑的MARTE模型包括用例图、活动图、部署图。先将MARTE模型转换为马尔可夫决策过程网络模型,再利用概率模型检测工具PRISM进行分析,得到系统可靠性的预测结果。实例研究表明,所提方法不仅能够预测系统可靠性的最大值和最小值,还能通过调整各个资源的可靠性值,考察其对系统可靠性的影响,为设计人员的进一步工作提供参考。 展开更多
关键词 系统可靠性 UML martE模型 马尔可夫决策过程
在线阅读 下载PDF
基于UML MARTE处理AADL的端到端流延迟
15
作者 杨夏 《软件工程师》 2015年第11期24-26,共3页
AADL和MARTE都支持对实时嵌入式系统形式化建模的分析。利用MARTE的时间模型设备,研究MARTE是如何对实时嵌入式系统的建模和分析的,能够比较准确的通过事件或者数据端口的端到端流延迟分析,表达AADL周期性或非周期性任务。
关键词 AADL martE 流延迟
在线阅读 下载PDF
一种适用于电离层电子密度重构的AMART算法 被引量:6
16
作者 赵海山 杨力 +1 位作者 周阳林 董明 《测绘学报》 EI CSCD 北大核心 2018年第1期57-63,共7页
针对传统乘法代数重构算法(MART)迭代精度不高的问题,提出一种自适应电离层层析新算法。一方面,该算法根据射线穿越像素点的截距和电子密度值的综合影响,合理地分配迭代差值;另一方面,提出一种与电子密度值相关的自适应松弛因子,有效克... 针对传统乘法代数重构算法(MART)迭代精度不高的问题,提出一种自适应电离层层析新算法。一方面,该算法根据射线穿越像素点的截距和电子密度值的综合影响,合理地分配迭代差值;另一方面,提出一种与电子密度值相关的自适应松弛因子,有效克服传播噪声对电子密度反演的影响。试验采用全球电离层图(GIM)数据和GPS双频观测数据分别从单射线迭代和多射线迭代两个方面对新方法的可行性和优越性进行验证。试验结果表明,相对于传统的MART算法,本文方法反演电子密度剖面更接近电离层测高仪观测结果。 展开更多
关键词 电离层层析 mart算法 电子密度 GIM 迭代算法
在线阅读 下载PDF
基于MARTE的IMA系统时间资源可调度配置验证
17
作者 程桢 《电子世界》 2016年第4期183-184,共2页
目前综合模块化航空电子系统(IMA)在资源配置方面有非常高的安全可靠性需求,其中时间资源的可调度性配置验证也显得至关重要。本文在AFDX网络架构下提出了一种IMA系统时间相关概念的MARTE建模和时间资源可调度配置的正确性验证方法。建... 目前综合模块化航空电子系统(IMA)在资源配置方面有非常高的安全可靠性需求,其中时间资源的可调度性配置验证也显得至关重要。本文在AFDX网络架构下提出了一种IMA系统时间相关概念的MARTE建模和时间资源可调度配置的正确性验证方法。建立了IMA系统通信虚拟链路、AFDX终端、分区以及进程等相关元素到MARTE模型元素的建模规则,并设计了基于可调度分析工具MAST的时间资源可调度配置验证框架,最后利用相关实例进行仿真和分析得到验证结果。 展开更多
关键词 综合航电系统 模型驱动工程 martE 系统资源配置
在线阅读 下载PDF
时序π演算及其对MARTE顺序图的建模
18
作者 金暐 王捍贫 +1 位作者 曹永知 朱梅霞 《武汉大学学报(理学版)》 CAS CSCD 北大核心 2011年第6期506-510,共5页
MARTE是统一建模语言UML在实时和嵌入式方面的一个扩展.本文给出π演算的一个带时序的变体来对MARTE顺序图的主要元素进行建模.相对于传统的π演算来说,时序π演算中增加了时间算子,可以对时间的流逝和计时器事件进行描述.同时,给出了... MARTE是统一建模语言UML在实时和嵌入式方面的一个扩展.本文给出π演算的一个带时序的变体来对MARTE顺序图的主要元素进行建模.相对于传统的π演算来说,时序π演算中增加了时间算子,可以对时间的流逝和计时器事件进行描述.同时,给出了时序π演算的语法和语义,并定义了时序π进程间的强互模拟关系.基于时序π演算,定义了MARTE顺序图的形式化模型,从而给出了MARTE顺序图的完整语义,并为进一步的模型检测提供了理论基础. 展开更多
关键词 时序π演算 martE 顺序图
原文传递
基于战略成本管理的企业价值创造探析——以Family Mart为例 被引量:1
19
作者 王雪莹 王文兵 《哈尔滨学院学报》 2019年第1期49-52,共4页
随着我国经济快速发展,供求发展越来越不均衡。消费者需求多样化,导致各行业的颠覆性变革,企业价值创造和战略成本管理尤为重要。文章以Family Mart为例,分析战略成本管理应用模式、战略定位以及价值链的成本管理,提炼出Family Mart基... 随着我国经济快速发展,供求发展越来越不均衡。消费者需求多样化,导致各行业的颠覆性变革,企业价值创造和战略成本管理尤为重要。文章以Family Mart为例,分析战略成本管理应用模式、战略定位以及价值链的成本管理,提炼出Family Mart基于战略成本管理的企业价值创造先进经验,以期为国内同行业借鉴,促进企业可持续发展。 展开更多
关键词 战略成本管理 企业价值创造 FAMILY mart
在线阅读 下载PDF
上一页 1 2 30 下一页 到第
使用帮助 返回顶部