China International Travel Mart 2023 Opens in Yunnan

At the China International Travel Mart(CITM)2023,the participants discuss the new characteristics,new trends and new opportunities of cultural and tourism development under the new situation,jointly promote the revitalization,vitality and prosperity of the tourism industry,create a direction for the development of the Chinese and international tourism market,and promote the prosperity and development of global tourism.

基于DFT-MARTE模型的时序分析算法

针对航天嵌入式软件(aerospace embedded software,AES)时序需求复杂带来的时序需求定义不准确问题,提出一种基于MARTE(modeling and analysis of real-time and embedded systems)模型的数据流时序(data flow timing based on MARTE,DFT-MARTE)模型,设计基于该模型的处理点缓存计算算法、时序偏离概率检测算法和时序序列分析算法。处理点缓存计算算法动态更新缓存空间,使后续时序检测正常执行;时序偏离概率检测算法利用多线程并发模拟时序特性,检测需求中时序偏离问题;时序序列分析算法是基于梯度下降算法,拟合时序序列,指导用户优化需求。该模型相比传统数据流模型更适用航天嵌入式软件,利于后续开发和维护,具有极高的应用价值。

基于MDE的异构模型转换：从MARTE模型到FIACRE模型

通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的转换实例,探讨了异构模型之间在语义和语法层的相互转换问题.在语义层,通过模型转换技术构造语义映射规则,实现元语言之间的转换;在语法层,通过构造元模型的具体语法,反映元语言的语法规则,从而产生目标模型的程序实体.基于此实例研究,探讨了通用转换途径的相关框架和关键技术,并讨论了转换工作的优缺点和实用性.

基于MDA的MARTE模型形式化方法

针对嵌入式系统对可靠性和可预测性的要求,提出基于MDA对嵌入式系统的建模语言MARTE进行形式化描述的方法。建立Object-Z的元模型,定义了MARTE元模型与Object-Z元模型之间的模型转换关系,给出了MARTE模型到Object-Z模型的语义映射和语法转换的具体过程。该方法支持将MARTE模型形式化转换为Object-Z模型,有利于软件开发早期的检验和验证。

基于模型转换的MARTE顺序图的形式化分析

作为一项新规范,MARTE有许多方面亟待完善.如何对依照MARTE设计的模型开展验证是待解决问题之一.对象管理组织提出用模型转换的方法将依照MARTE设计的模型(记为A)转换成另一种具有完备的验证方法和工具的形式化模型(记为B),然后对B进行验证和精化,以完成A的验证和精化工作.此思想面临的难题是如何保证B能够完整且准确地模拟A的行为.提出了形式化模型-TTS4SD,用来描述MARTE规范定义的带时间约束的顺序图的形式语义并在此基础上展开分析.首先给出顺序图的形式定义,把时间变迁系统(TTS)扩充成TTS4SD,用TTS4SD描述顺序图的形式语义,最后对TTS4SD展开分析.这在一定程度上提高了设计阶段模型的正确性.通过一个实例说明从顺序图到TTS4SD的转化过程以及基于TTS4SD的验证方法.

分子模拟在筛选HLA-A2.1高亲和性MART-1 CTL表位中的应用研究

目的 探讨计算机分子模拟在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与TLRT对有生育意愿的年轻早期宫颈癌患者的疗效对比

目的探讨MART与TLRT对有生育意愿的年轻早期宫颈癌患者中的临床疗效。方法回顾性选择47例有生育意愿的年轻早期宫颈癌患者,收集其病例资料及随访资料,根据手术方式的不同,分为MART组及TLRT组,对比两组的手术时间、出血总量、保留宫颈长度、切除淋巴结数、子宫动脉损伤、住院时间、引流量、排尿恢复时间、并发症及术后妊娠率、流产率及分娩率等指标。结果 MART组的手术时间、保留宫颈长度及住院时间均长于TLRT组,出血总量高于TLRT组,子宫动脉损伤低于TLRT组,P均<0. 05,其他指标二者对比无统计学意义,P> 0. 05。结论两种手术方式各有优劣,临床上对于有生育意愿的年轻早期宫颈癌患者,需根据患者自身条件、肿块大小及术者对两种术式的掌握程度来综合考虑选择合适的手术方式。

基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。

MART算法快速高质量图像重建研究

ART(Algebraic Reconstruction Technique)算法是一种典型的迭代图像重建算法,适合于不完全投影数据图像重建。为了提高乘型ART(Multiplicative ART,MART)算法的重建质量,提出了一种基于亚像素的图像重建方法。首先将原始图像中的每个像素等分解为四个亚像素,然后提出一种高效的射线与像素的求交算法来计算权因子和亚像素索引。利用MART算法重建得到高分辨率重建图像。最后通过合并亚像素图像得到原始分辨率的高质量重建图像。实验结果表明提出的方法非常有效,与传统方法相比取得了3倍以上的重建加速比,图像重建质量显著提高。

信息化发展宏观模型——MART模型

本文从组织管理(Management)、业务应用(Application)、信息资源(Resources)和信息技术(Info.Technolo-gy)的系统整体性出发,研究提出了信息化发展宏观模型——MART模型。指出信息化建设协调发展的必要条件是系统的MART整体性,提出了一个全局、两个重点的MART整体性实施策略。

MART-1HLA-A2限制性CTL表位的预测

目的 预测黑色素瘤分化抗原MART 1的HLA A2限制性细胞毒性T淋巴细胞 (CTL)表位。方法 采用超基序与量化基序多项式方案相结合的办法 ,对目的抗原MART 1的HLA A2限制性CTL表位进行预测。结果 预测出了 6个九肽表位。结论 两种方法预测结果的一致性较好 ,所预测出的 6个MART 1的HLA A2限制性CTL表位经后续实验筛选、鉴定后 ,可望用于新型MART 1肿瘤治疗性多肽疫苗的设计研究 。

透视I—MART的文化发展趋势

创意就是具有新颖性和创造性的想法。“创意市集”出现的背景是创意产业的成长和壮大，是对个人创意、技巧及才华，通过知识产权的开发和运用，具有创造财富和就业潜力的新兴行业。I-MART既代表idear—mart点子市场，又有我是艺术的含义。创意市集指在特定场地展示、售卖个人原创手工作品和收藏品的文化艺术活动，在欧洲许多城市非常流行。近年传入我国市场，成为当今社会中年轻一代设计师和品质生活体验者推崇的一种新型产业模式——将别出心裁的独特创意以产品的形式融入生活，以传统市集的营销方式来展现作品的文化创意产业模式。

基于MARTE模型的系统可靠性预测

系统的可靠性是系统的重要非功能属性之一。传统的可靠性分析在系统开发结束后进行,可能会发现由于系统开发早期的架构设计不合理而导致的问题,这时再修改系统架构并重做后继开发步骤,将会浪费大量人力和物力。如果能在开发的早期阶段,在系统模型层面进行分析并预测,则可以尽早地发现系统可靠性方面的问题并将其修复。UML是一种通用的、标准化的建模语言,MARTE是UML在嵌入式实时系统领域的扩展。提出了基于MARTE模型的系统可靠性预测方法,该方法考虑的MARTE模型包括用例图、活动图、部署图。先将MARTE模型转换为马尔可夫决策过程网络模型,再利用概率模型检测工具PRISM进行分析,得到系统可靠性的预测结果。实例研究表明,所提方法不仅能够预测系统可靠性的最大值和最小值,还能通过调整各个资源的可靠性值,考察其对系统可靠性的影响,为设计人员的进一步工作提供参考。

基于UML MARTE处理AADL的端到端流延迟

AADL和MARTE都支持对实时嵌入式系统形式化建模的分析。利用MARTE的时间模型设备,研究MARTE是如何对实时嵌入式系统的建模和分析的,能够比较准确的通过事件或者数据端口的端到端流延迟分析,表达AADL周期性或非周期性任务。

一种适用于电离层电子密度重构的AMART算法

针对传统乘法代数重构算法(MART)迭代精度不高的问题,提出一种自适应电离层层析新算法。一方面,该算法根据射线穿越像素点的截距和电子密度值的综合影响,合理地分配迭代差值;另一方面,提出一种与电子密度值相关的自适应松弛因子,有效克服传播噪声对电子密度反演的影响。试验采用全球电离层图(GIM)数据和GPS双频观测数据分别从单射线迭代和多射线迭代两个方面对新方法的可行性和优越性进行验证。试验结果表明,相对于传统的MART算法,本文方法反演电子密度剖面更接近电离层测高仪观测结果。

基于MARTE的IMA系统时间资源可调度配置验证

目前综合模块化航空电子系统(IMA)在资源配置方面有非常高的安全可靠性需求,其中时间资源的可调度性配置验证也显得至关重要。本文在AFDX网络架构下提出了一种IMA系统时间相关概念的MARTE建模和时间资源可调度配置的正确性验证方法。建立了IMA系统通信虚拟链路、AFDX终端、分区以及进程等相关元素到MARTE模型元素的建模规则,并设计了基于可调度分析工具MAST的时间资源可调度配置验证框架,最后利用相关实例进行仿真和分析得到验证结果。

基于战略成本管理的企业价值创造探析——以Family Mart为例

随着我国经济快速发展,供求发展越来越不均衡。消费者需求多样化,导致各行业的颠覆性变革,企业价值创造和战略成本管理尤为重要。文章以Family Mart为例,分析战略成本管理应用模式、战略定位以及价值链的成本管理,提炼出Family Mart基于战略成本管理的企业价值创造先进经验,以期为国内同行业借鉴,促进企业可持续发展。

一种基于SysML/MARTE/pCCSL的信息物理融合系统协同建模方法

信息物理融合系统(Cyber-Physical Systems, CPS)是一个综合计算、网络和物理环境的多维复杂系统.针对这种异构系统的建模问题一直是人们研究的重点,但是,缺乏系统性的方法来建模CPS的特性,如异构性、不确定性、软硬协同和非功能属性(Non-Functional Properties, NFP)等.提出了一种基于SysML (System Modeling Language)/MARTE (Modeling and Analysis of Real-Time and Embedded Systems)/pCCSL (p Clock Constraint Specification Language)的协同建模方法,实现了从不同视角建模CPS的不同特征,包括系统的结构、行为、时钟约束和NFP.该方法的新颖性在于使用pCCSL规约各模型之间的交互和同步,显式地建模模型之间的逻辑一致性.同时,为了捕捉CPS的特性如随机行为和连续行为,扩展了一些SysML/MARTE的元模型.最后,给出了一个智能建筑的案例以展示所提出的协同建模方法的可用性.

中国南方镰孢属的研究Ⅱ:马特组Section Martiella的分类研究

通过对中国南方镰孢属马特组的调查和分类研究 ,鉴定出 3个种和 2个变种 ,即 :( 1)茄病镰孢Fusariumsolani(Mart.)Sacc .;( 2 )茄病镰孢真马特变种Fusariumsolani(Mart.)Sacc .var.eumartii(Carpenter)Wollenweber;( 3)茄病镰孢爪哇变种Fusariumsolani(Mart.)Sacc .var.javanicum(Koorders)Ye ,comb .nov .;( 4 )兰色镰孢Fusariumcoeruleum(Libert)Sacc .;( 5)腹状镰孢FusariumventricosumAppeletWollenweber。

MART算法在大气水汽层析中的应用研究

以香港连续运行参考站数据为解算实例,对MART算法进行修正,并将其应用于水汽层析方程的解算,并研究了垂直分辨率对层析结果的影响。将层析解算的结果与京士柏探空站资料反演的水汽密度进行对比分析。实验结果表明,采用修正的MART算法能够用于水汽层析的解算,层析结果与探空站资料反演的结果符合得较好,采用垂直分辨为425m更能反映出大气水汽实际分布特性。