http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Studies of power electronics using formal methods
Marcia Veronica Costa Miranda,Antonio Marcus Nogueira Lima 전력전자학회 2004 ICPE(ISPE)논문집 Vol.- No.-
Power electronic circuits are networks composed of electronic components and semiconductor devices. Usually, the analysis of power electronic circuits is performed by numerical simulation. For evaluating the effect of different initial conditions or parametric variation over the circuit operation it is necessary to perform exhaustive simulations and tests. However, even by doing this, there is no guarantees of the full correctness of the results, because it will be necessary to simulate the system for an infinite number of operating conditions. The goal of this paper is to use formal methods to study power electronic circuits. This is made by introducing a procedure to obtain hybrid automata from a power circuit and implementing formal verification and controller redesign procedures. We use the formalism of hybrid automata to represent the behavior of circuits because they can capture naturally a wide range of circuit behavior and, moreover, provide a framework suitable for the verification problems we work.
Approximation and interpolation in the space of continuous functions vanishing at infinity
Marcia Kashimoto 대한수학회 2011 대한수학회보 Vol.48 No.5
We establish a result concerning simultaneous approximation and interpolation from certain uniformly dense subsets of the space of vector-valued continuous functions vanishing at infinity on locally compact Hausdorff spaces.
Potential of Cranberry Powder for Management of Hyperglycemia Using In Vitro Models
Marcia da Silva Pinto,Reza Ghaedian,Rahul Shinde,Kalidas Shetty 한국식품영양과학회 2010 Journal of medicinal food Vol.13 No.5
Aqueous solutions of two different cranberry powders (CP and CP-SAB) were evaluated for organic acids, sugars, total phenolics, antioxidant activity based on the 2,2-diphenyl-1-picrylhydrazyl radical scavenging assay, and functionality such as in vitro inhibition of α-amylase, α-glucosidase, and angiotensin I-converting enzyme (ACE) relevant for potential management of hyperglycemia and hypertension linked to type 2 diabetes. The total phenolics content was 11 and 51mg/g of sample dry weight for CP and CP-SAB, respectively. p-Coumaric acid and quercetin derivatives were the main phenolic compounds identified in the cranberry powders. CP-SAB had α-glucosidase inhibitory activity that increased with increased dose (1–5mg/mL) from 60% to 100% inhibition. There was limited amount of α-amylase inhibitory activity that reached a maximum of 40% inhibition at 5mg/mL treatment. Significant ACE inhibitory activity was detected for CP-SAB at 100 and 200mg/mL sample concentrations. These in vitro results indicate the potential of cranberry powders as dietary supplement and food-based strategies for potential hyperglycemia management. This biochemical rationale provides the basis for further design of animal and clinical studies using standardized extracts.
Marcia Da Silva Pinto,Lena Galvez Ranilla,Emmanouil Apostolidis,Franco Maria Lajolo,Maria Inés Genovese,Kalidas Shetty 한국식품영양과학회 2009 Journal of medicinal food Vol.12 No.2
Local food diversity and traditional crops are essential for cost-effective management of the global epidemic of type 2 diabetes and associated complications of hypertension. Water and 12% ethanol extracts of native Peruvian fruits such as Lucuma (Pouteria lucuma), Pacae (Inga feuille), Papayita arequipeña (Carica pubescens), Capuli (Prunus capuli), Aguaymanto (Physalis peruviana), and Algarrobo (Prosopis pallida) were evaluated for total phenolics, antioxidant activity based on 2, 2-diphenyl-1-picrylhydrazyl radical scavenging assay, and functionality such as in vitro inhibition of α-amylase, α-glucosidase, and angiotensin I-converting enzyme (ACE) relevant for potential management of hyperglycemia and hypertension linked to type 2 diabetes. The total phenolic content ranged from 3.2 (Aguaymanto) to 11.4 (Lucuma fruit) mg/g of sample dry weight. A significant positive correlation was found between total phenolic content and antioxidant activity for the ethanolic extracts. No phenolic compound was detected in Lucuma (fruit and powder) and Pacae. Aqueous extracts from Lucuma and Algarrobo had the highest α-glucosidase inhibitory activities. Papayita arequipeña and Algarrobo had significant ACE inhibitory activities reflecting antihypertensive potential. These in vitro results point to the excellent potential of Peruvian fruits for food-based strategies for complementing effective antidiabetes and antihypertension solutions based on further animal and clinical studies.
Losing our Masks: Traditional Masquerade and Changing Constructs of Barbadian Identity
Marcia Burrowes 국립민속박물관 2013 International Journal of Intangible Heritage Vol.8 No.-
Masquerade has been always central to Barbadian performance culture. Such cultural forms as the “Shaggy Bear” and “Mr. Harding” have been part of the African-Barbadian historical narrative and lived experience. Many performed their way through slavery, emancipation and colonialism. In the independence period, these forms were corralled into the nationalist agenda and were given the additional responsibility of illustrating an ideal Barbadian cultural identity. Their African-Barbadian elements were seen as necessary ammunition in the new era against the colonial notion of the ever-anglicised Barbadian. However, as the policy makers redesigned the masquerade to fit the presumed ideal identity, masking traditions that were deemed problematic were changed, some were lost, and/or excluded from the national space. This paper examines the ways in which traditional masquerade gives insight into changing constructs of Barbadian identity. It captures some of the histories that have been marginalised in the official historical narrative of the island. It also explores some of the challenges faced in designing a national culture in a Caribbean space.
Marcia da Silva Pinto,Joao Ernesto de Carvalho,Franco Maria Lajolo,Maria Ine´s Genovese,Kalidas Shetty 한국식품영양과학회 2010 Journal of medicinal food Vol.13 No.5
Strawberries represent the main source of ellagic acid derivatives in the Brazilian diet, corresponding to more than 50% of all phenolic compounds found in the fruit. There is a particular interest in the determination of the ellagic acid content in fruits because of possible chemopreventive benefits. In the present study, the potential health benefits of purified ellagitannins from strawberries were evaluated in relation to the antiproliferative activity and in vitro inhibition of α-amylase, α-glucosidase, and angiotensin I-converting enzyme (ACE) relevant for potential management of hyperglycemia and hypertension. Therefore, a comparison among ellagic acid, purified ellagitannins, and a strawberry extract was done to evaluate the possible synergistic effects of phenolics. In relation to the antiproliferative activity, it was observed that ellagic acid had the highest percentage inhibition of cell proliferation. The strawberry extract had lower efficacy in inhibiting the cell proliferation, indicating that in the case of this fruit there is no synergism. Purified ellagitannins had high α-amylase and ACE inhibitory activities. However, these compounds had low α-glucosidase inhibitory activity. These results suggested that the ellagitannins and ellagic acid have good potential for the management of hyperglycemia and hypertension linked to type 2 diabetes. However, further studies with animal and human models are needed to advance the in vitro assay-based biochemical rationale from this study.