通过研究一个具有代表性的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)形式模型的转换实例,探讨了异构模型之间在语义和语法层的相互转换问题.在语义层,通过模型转换技术构造语义映射规则,实现元语言之间的转换;在语法层,通过构造元模型的具体语法,反映元语言的语法规则,从而产生目标模型的程序实体.基于此实例研究,探讨了通用转换途径的相关框架和关键技术,并讨论了转换工作的优缺点和实用性.展开更多
Four isozymes, such as Malate dehydrogenase (MDH), Alchol dehydrogenase (ADH), Peroxidae (POD) and Esterase (EST) in six tissues (heart, liver, kidney, muscle, eye, gonad) ofMartes zibellina L., were analyzed by means...Four isozymes, such as Malate dehydrogenase (MDH), Alchol dehydrogenase (ADH), Peroxidae (POD) and Esterase (EST) in six tissues (heart, liver, kidney, muscle, eye, gonad) ofMartes zibellina L., were analyzed by means of vertical polyacrylamide gel electrophoresis (PAGE). The results indicated that the zymograms of these four isozymes in different tissues were different from each other, i.e. there existed apparent tissue-specificitity in these isozymes inMartes zibellina L.. Characteristic enzyme band was found both in POD zymogram and in EST zymogram. Moreover, the characteristic enzyme band in POD isozyme would be of some value to sexual identification ofMartes zibellina L.展开更多
The specification of modeling and analysis of real-time and embedded systems （MARTE） is an extension of the unified modeling language （UML） in the domain of real-time and embedded systems. Even though MARTE time m...The specification of modeling and analysis of real-time and embedded systems （MARTE） is an extension of the unified modeling language （UML） in the domain of real-time and embedded systems. Even though MARTE time model offers a support to describe both discrete and dense clocks, the biggest effort has been put so far on the specifi- cation and analysis of discrete MARTE models. To address hybrid real-time and embedded systems, we propose to ex- tend statecharts using both MARTE and the theory of hybrid automata. We call this extension hybrid MARTE statecharts. It provides an improvement over the hybrid automata in that： the logical time variables and the chronometric time vari- ables are unified. The formal syntax and semantics of hybrid MARTE statecharts are given based on labeled transition sys- tems and live transition systems. As a case study, we model the behavior of a train control system with hybrid MARTE statecharts to demonstrate the benefit.展开更多
The stone marten(Martes foina)is a carnivorous mammal that often consumes fleshy fruits,thus potentially promoting seed dispersion.The present study was developed in Bussaco National Forest,central Portugal,and ...The stone marten(Martes foina)is a carnivorous mammal that often consumes fleshy fruits,thus potentially promoting seed dispersion.The present study was developed in Bussaco National Forest,central Portugal,and aimed to assess the potential role of the stone marten in dispersing native and exotic plants in different forest landscape types.Seeds from stone marten scats and fleshy fruits were collected monthly and were thereafter identified and sowed in a nursery,following a randomized experimental setup.Plant emergence was monitored fortnightly.Generalized linear models were used to test for differences in time and success of emergence between seeds from scats and fruits of 3 native species(Rubus ulmifolius,Arbutus unedo and Celtis australis)and 1 exotic plant species with invasive behavior(Prunus laurocerasus).Fruit consumption by the stone martens significantly increased and accelerated the germination of the native R.ulmifolius but had no effect on the other 2 native species or on the invasive species.This suggested that stone martens contribute to gene flow and forest regeneration by dispersing native plant seeds.However,although the germination was not enhanced in the invasive species,the preference of stone martens for these fruits may potentially contribute to the proliferation of P.laurocerasus.Our study represents a contribution to better understanding the fauna and flora interactions,enabling for a more conscious and effective decision-making in forest management.展开更多
Labubu,a popular character from Chinese toy brand Pop Mart,has enjoyed soaring popularity in Thailand.In 2024,the brand’s first overseas Labubu-themed store in Bangkok raked in over 10 million yuan(about US$1.4 milli...Labubu,a popular character from Chinese toy brand Pop Mart,has enjoyed soaring popularity in Thailand.In 2024,the brand’s first overseas Labubu-themed store in Bangkok raked in over 10 million yuan(about US$1.4 million)on its opening day.The Labubu craze reflects a new dimension of cultural exchange between China and Thailand.展开更多
文摘通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的转换实例,探讨了异构模型之间在语义和语法层的相互转换问题.在语义层,通过模型转换技术构造语义映射规则,实现元语言之间的转换;在语法层,通过构造元模型的具体语法,反映元语言的语法规则,从而产生目标模型的程序实体.基于此实例研究,探讨了通用转换途径的相关框架和关键技术,并讨论了转换工作的优缺点和实用性.
文摘Four isozymes, such as Malate dehydrogenase (MDH), Alchol dehydrogenase (ADH), Peroxidae (POD) and Esterase (EST) in six tissues (heart, liver, kidney, muscle, eye, gonad) ofMartes zibellina L., were analyzed by means of vertical polyacrylamide gel electrophoresis (PAGE). The results indicated that the zymograms of these four isozymes in different tissues were different from each other, i.e. there existed apparent tissue-specificitity in these isozymes inMartes zibellina L.. Characteristic enzyme band was found both in POD zymogram and in EST zymogram. Moreover, the characteristic enzyme band in POD isozyme would be of some value to sexual identification ofMartes zibellina L.
文摘The specification of modeling and analysis of real-time and embedded systems （MARTE） is an extension of the unified modeling language （UML） in the domain of real-time and embedded systems. Even though MARTE time model offers a support to describe both discrete and dense clocks, the biggest effort has been put so far on the specifi- cation and analysis of discrete MARTE models. To address hybrid real-time and embedded systems, we propose to ex- tend statecharts using both MARTE and the theory of hybrid automata. We call this extension hybrid MARTE statecharts. It provides an improvement over the hybrid automata in that： the logical time variables and the chronometric time vari- ables are unified. The formal syntax and semantics of hybrid MARTE statecharts are given based on labeled transition sys- tems and live transition systems. As a case study, we model the behavior of a train control system with hybrid MARTE statecharts to demonstrate the benefit.
基金the University of Aveiro and FCT/MEC for the financial support to CESAM RU(UID/AMB/50017)through national funds and co-financed by the FEDER,within the PT2020 Partnership Agreement.the support given by project Life+BRIGHT(LIFE10/NAT/PT/075)+6 种基金“Fundação da Mata do Bussaco,”for the permission to conduct the fieldwork,providing the nursery’s infrastructure,and providing the material used for germination assaysScats were collected and handled in accordance with Portuguese law(ICNF licenses number 99/2012/CAPT and 181/2013/CAPT)This work was co-supported by European Funds through COMPETE and by National Funds through the Portuguese Science Foundation(FCT)within project PEst-C/MAR/LA0017/2013.Milena Matos was financed by a post-doctoral grant from Fundação para a Ciência e Tecnologia(SFRH/BPD/74071/2010)Ana Vasques and Paula Maia were financed by the European Union Seventh Framework Program(FP7/2007-2013)under grant agreement number 283068(CASCADE project)Paula Maia was also partially funded through BRIGHT(LIFE10/NAT/PT/075).
文摘The stone marten(Martes foina)is a carnivorous mammal that often consumes fleshy fruits,thus potentially promoting seed dispersion.The present study was developed in Bussaco National Forest,central Portugal,and aimed to assess the potential role of the stone marten in dispersing native and exotic plants in different forest landscape types.Seeds from stone marten scats and fleshy fruits were collected monthly and were thereafter identified and sowed in a nursery,following a randomized experimental setup.Plant emergence was monitored fortnightly.Generalized linear models were used to test for differences in time and success of emergence between seeds from scats and fruits of 3 native species(Rubus ulmifolius,Arbutus unedo and Celtis australis)and 1 exotic plant species with invasive behavior(Prunus laurocerasus).Fruit consumption by the stone martens significantly increased and accelerated the germination of the native R.ulmifolius but had no effect on the other 2 native species or on the invasive species.This suggested that stone martens contribute to gene flow and forest regeneration by dispersing native plant seeds.However,although the germination was not enhanced in the invasive species,the preference of stone martens for these fruits may potentially contribute to the proliferation of P.laurocerasus.Our study represents a contribution to better understanding the fauna and flora interactions,enabling for a more conscious and effective decision-making in forest management.
文摘Labubu,a popular character from Chinese toy brand Pop Mart,has enjoyed soaring popularity in Thailand.In 2024,the brand’s first overseas Labubu-themed store in Bangkok raked in over 10 million yuan(about US$1.4 million)on its opening day.The Labubu craze reflects a new dimension of cultural exchange between China and Thailand.
