检索结果-南通市图书馆

An Augmented Framework for Formal Analysis of Safety Critical Systems

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Software Engineering and Applications 2017年第8期10卷 721-733页

作者： monika singh V. K. Jain College of Engineering & Technology (FET) Mody University of Science & Technology Laxmangarh India

This paper presents an augmented framework for analyzing Safety Critical Systems (SCSs) formally. Due to high risk of failure, development process of SCSs is required more attention. Model driven approaches are the one of ways to develop SCSs for accomplishing critical and complex function what SCSs are supposed to do. Two model driven approaches: Unified Modeling Language (UML) and Formal Methods are combined in proposed framework which enables the analysis, designing and testing safety properties of SCSs more rigorously in order to reduce the ambiguities and enhance the correctness and completeness of SCSs. A real time case study has been discussed in order to validate the proposed framework.

关键词： Unified Modeling Language Formal Methods Z Notation Safety Critical System

Sodium glucose cotransporter 2 inhibitors in the management of heart failure:Veni,Vidi,and Vici

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

World Journal of Cardiology 2024年第10期16卷 550-563页

作者： monika Bhandari Akshyaya Pradhan Pravesh Vishwakarma Abhishek singh Rishi Sethi Department of Cardiology King Georg’s Medical UniversityLucknow 226003Uttar PradeshIndia

Heart failure(HF)is a chronic disease associated with high morbidity and mortality ***-angiotensin-aldosterone system blockers(including angiotensin receptor/neprilysin inhibitors),beta-blockers,and mineralocorticoid receptor blockers remain the mainstay of pharmacotherapy for HF with reduced ejection fraction(HFrEF).However,despite the use of guideline-directed medical therapy,the mortality from HFrEF remains *** with preserved ejection fraction(HFpEF)comprises approximately half of the total incident HF cases;however,unlike HFrEF,there are no proven therapies for this *** glucose cotransporter-2 inhibitors(SGLT-2is)represent a new class of pharmacological agents approved for diabetes mellitus(DM)that inhibit SGLT-2 receptors in the kidney.A serendipitous finding from seminal trials of SGLT-2is in DM was the significant improvement in renal and cardiovascular(CV)*** importantly,the improvement in HF hospitalization(HHF)in the CV outcomes trials of SGLT-2is was *** mechanisms have been proposed for the pleiotropic effects of SGLT-2is beyond their glycemic ***,as patients with HF were not included in any of these trials,it can be considered as a primary ***,two landmark studies of SGLT-2is in patients with HFrEF,namely,an empagliflozin outcome trial in patients with chronic HF and a reduced ejection fraction(EMPEROR-Reduced)and dapagliflozin and prevention of adverse outcomes in HF(DAPA-HF),demonstrated significant improvement in HHF and CV mortality regardless of the presence of *** impressive results pitchforked these drugs as class I indications in patients with HFrEF across major ***,empagliflozin outcome trial in patients with chronic HF with preserved ejection fraction(EMPEROR-Preserved)and dapagliflozin evaluation to improve the lives of patients with preserved ejection fraction HF(DELIVER)trials successively confirmed that SGLT-2is also benefit patients w

关键词： Heart failure with preserved ejection fraction Gliflozins Diuresis Natriuresis N terminal-pro brain natriuretic peptide Heart failure hospitalization

Foundations of Programmable Process Structures for the unified modeling and simulation of agricultural and aquacultural systems

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Information Processing in Agriculture 2024年第1期11卷 91-108页

作者： monika Varga Bela Csukas Hungarian University of Agriculture and Life Sciences Kaposvar Campus40 Guba S7400 KaposvarHungary

This research paper defines the theoretical foundations and computational implementation of a non-conventional modeling and simulation methodology,inspired by the needs of problem solving for biological,agricultural,aquacultural and environmental *** challenging practical problem is to develop a framework for automatic generation of causally right and balance-based,unified models that can also be applied for the effective coupling amongst the various(sophisticated field-specific,sensor data processing-based,upper level optimization-driven,etc.)*** scientific problem addressed in this innovation is to develop Programmable Process Structures(PPS)by combining functional basis of systems theory,structural approach of net theory and computational principles of agent based *** offers a novel framework for the automatic generation of easily extensible and connectible,unified models for the underlying complex *** models can be generated from one state and one transition meta-prototypes and from the transition oriented description of process *** models consist of unified state and transition *** local program containing prototype elements,derived also from the meta-prototypes,are responsible for the case-specific *** integrity and consistency of PPS architecture are based on the meta-prototypes,prepared to distinguish between the conservation-laws-based measures and the *** simulation is based on data flows amongst the state and transition elements,as well as on the unification based data transfer between these elements and their calculating *** architecture and its AI language-based(Prolog)implementation support the integration of various field-and task-specific models,*** better understanding is helped by a simple *** capabilities of the recently consolidated general methodology are discussed on the basis of some preliminary applications,focusing on the recently studied

关键词： Unified process model Meta-prototype-based architecture Transition-based structure representation Locally programmable functionality prototypes Agricultural systems Aquacultural systems

Cut stumps vs broken stumps:Does it make any difference in the maintenance of plant and lichen biodiversity in Central European mountain forests?

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Forest Ecosystems 2024年第4期11卷 457-468页

作者： monika Staniaszek-Kik Jan Zarnowiec Damian Chmura Department of Geobotany and Plant Ecology University of Lodz90-237LodzPoland Institute of Nature Protection and Engineering University of Bielsko-BialaWillowa Str 243-309Bielsko-BiałaPoland

Fxcessive forest exploitation significantly contributes to land degradation and the creation of human-made *** are sometimes ignored in studies on the biodiversity of coarse woody *** investigated whether the type of stump,*** stumps(naturally created)and cut stumps(formed during forestry operations)had an impact on the species composition and species diversity as well as due to this fact they can be characterized by plant *** research covered 728 spruce stumps(287 broken and 441 cut stumps)that were inhabited by lichens,liverworts,mosses and vascular plants in mountain forest belt(Karkonosze Mts.,Poland).The following types of microhabitats were included in the research:the upper surface and the lateral surface of a stump with both bark and *** are statistically significant compositional differences between the two types of stumps,which was demonstrated by ordination analyses and indicator species *** to the generalized linear models,the probability of occurrence increases in cut stumps in case of liverworts and vascular plants and also along the decomposition *** generalized linear mixed-effects model showed that there was a higher species richness of liverworts,mosses and vascular plants on the cut stumps and less drier but the reverse situation was in *** generalized additive models for their cover showed similar *** all of the taxonomic groups were affected by altitude both in terms of species composition and total cover on the *** concluded that cut stumps are an important type of deadwood for biodiversity and provide a convenient habitat,especially for many lichens and bryophytes.

关键词： Coarse woody debris Spruce stumps Epixylic flora Plant indicators

Navigating biomolecular condensates in plants from patterns to functions

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Molecular Plant 2024年第9期17卷 1329-1332页

作者： Yansong Miao monika Chodasiewicz Xiaofeng Fang School of Biological Sciences Nanyang Technological UniversitySingapore 637551Singapore institute for Digital Molecular Analytics and Science Nanyang Technological UniversitySingapore636921Singapore Biological and Environmental Science&Engineering Division(BESE) King Abdullah University of Science and Technology(KAUST)ThuwalSaudi Arabia School of Life Sciences Tsinghua UniversityBeijingChina

Biomolecular condensates have emerged as one of the important focuses of recent research on plant *** study of these condensates often begins with evidence gathered from imaging or bioinformatics *** with genetic and biochemical approaches,researchers have begun to establish a link between the condensation of biomolecules *** challenge,however,is unambiguously demonstrating the necessity of condensation in a cellular process versus the macromolecule *** requires a combination of evidence from genetics,cell biology,biochemistry,and biophysical *** this Opinion paper,we pinpoint the factors to be considered when studying the role of biomolecular condensates in plant *** also provide future directions for plant condensate biology.

关键词： functions. condensation directions

One-pot glycerol conversion to acrylic acid catalyzed by Cu modified HY zeolite synthesized from natural resources and pro-analytical precursor

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Carbon Resources Conversion 2024年第1期7卷 61-70页

作者： monika Lumongga Putri Tambunan Iman Abdullah Yuni Krisyuningsih Krisnandi Department of Chemistry Faculty of Mathematics and Natural SciencesUniversitas IndonesiaDepok 16424Indonesia Solid Inorganic Framework Laboratory Department of ChemistryFaculty of Mathematics and Natural SciencesUniversitas IndonesiaDepok 16424Indonesia

The conversion of glycerol to acrylic acid was carried out by the one-pot process *** catalyst used in this conversion is Cu-modified HY zeolite synthesized using pro-analytical precursors and alternative precursors from natural resources i.e.,Indonesian natural zeolite and *** crystal structure and physicochemical properties of catalysts were determined by various characterization techniques such as XRD,FTIR,SEM-EDX,TEM,SAA,and TPD-NH_(3).Based on XRD analysis,it shows that HY and CuHY,both from synthetic and alternative precursors,are confirmed to have typical peaks of Y *** mapping images show a uniform distribution of Cu on the HY *** addition,the TEM analysis also shows uniform particle size *** results of catalytic glycerol conversion show that Cu-modified HY catalysts give a higher acrylic acid yield than *** results also show that the highest yield of acrylic acid was obtained in 27.5%and 25.8%at a dehydration time of 3 h using pro-analytical and natural resources CuHY catalyst,*** Cu-modified HY catalysts having weak acid sites show the best catalytic activity in the conversion of glycerol to acrylic acid.

关键词： Glycerol Acrylic acid HY zeolite Copper Dehydration and oxidation

Continuous flow pyrolysis of virgin and waste polyolefins:a comparative study,process optimization and product characterization

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Chemical Science and Engineering 2024年第6期18卷 133-149页

作者： Ecrin Ekici Güray Yildiz Magdalena Joka Yildiz monika Kalinowska ErolŞeker Jiawei Wang Karlsruhe Institute of Technology Institute of Catalysis Research and TechnologyEggenstein-Leopoldshafen 76344Germany Izmir Institute of Technology Faculty of EngineeringDepartment of Energy Systems EngineeringIzmir 35430Türkiye Department of Materials Engineering and Production Faculty of Mechanical EngineeringBialystok University of TechnologyBialystok 15-351Poland Department of Agricultural and Food Engineering and Environmental Development Institute of Civil Engineering and EnergeticsFaculty of Civil Engineering and Environmental SciencesBialystok University of Technology15-351 BialystokPoland Department of Chemistry Biology and BiotechnologyInstitute of Civil Engineering and EnergeticsFaculty of Civil Engineering and Environmental SciencesBialystok University of TechnologyBialystok 15-351Poland Izmir Institute of Technology Faculty of EngineeringDepartment of Chemical EngineeringIzmir 35430Türkiye Energy and Bioproducts Research Institute(EBRI) Aston UniversityBirmingham B47ETUnited Kingdom

Under optimal process conditions,pyrolysis of polyolefins can yield ca.90 wt%of liquid product,i.e.,combination of light oil fraction and heavier *** this work,the experimental findings reported in a selected group of publications concerning the non-catalytic pyrolysis of polyolefins were collected,reviewed,and compared with the ones obtained in a continuously operated bench-scale pyrolysis *** process parameters were used for the pyrolysis of waste and virgin counterparts of high-density polyethylene,low-density polyethylene,polypropylene and a defined mixture of those(i.e.,25:25:50 wt%,respectively).To mitigate temperature drops and enhance heat transfer,an increased feed intake is employed to create a hot melt plastic *** 1.5 g·min^(-1) feed intake,1.1 L·min^(-1) nitrogen flow rate,and a moderate pyrolysis temperature of 450℃,the formation of light hydrocarbons was favored,while wax formation was limited for polypropylene-rich *** of virgin plastics yielded more liquid(maximum 73.3 wt%)than that of waste plastics(maximum 66 wt%).Blending polyethylenes with polypropylene favored the production of liquids and increased the formation of gasoline-range *** products were mainly composed of C3 hydrocarbons,and no hydrogen production was detected due to moderate pyrolysis temperature.

关键词： waste plastics polyolefins chemical recycling pyrolysis alternative fuels waste-to-energy

Rescue of p53 functions by in vitro-transcribed mRNA impedes the growth of high-grade serous ovarian cancer

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Cancer Communications 2024年第1期44卷 101-126页

作者： monika Raab Izabela Kostova Samuel Peña-Llopis Daniela Fietz monika Kressin Seyed Mohsen Aberoumandi Evelyn Ullrich Sven Becker Mourad Sanhaji Klaus Strebhardt Department of Gynecology Medical SchoolGoethe-UniversityFrankfurt am MainGermany Translational Genomics in Solid Tumors West German Cancer CenterUniversity HospitalEssenGermany German Cancer Consortium(DKTK) EssenGermany German Cancer Research Center(DKFZ) HeidelbergGermany Histology and Embryology Institute for Veterinary AnatomyGiessenGermany Franfurt Cancer Institute(FCI) Goethe UniversityFrankfurt am MainGermany German Cancer Consortium(DKTK) Partner site Frankfurt/Mainza partnership between DKFZ and University Hospital FrankfurtFrankfurt am MainGermany Experimental Immunology Department for Children and Adolescents MedicineUniversity Hospital FrankfurtGoethe UniversityFrankfurt am MainGermany

Background:The cellular tumor protein p53(TP53)is a tumor suppressor gene that is frequently mutated in human *** various cancer types,the very aggressive high-grade serous ovarian carcinoma(HGSOC)exhibits the high-est prevalence of TP53 mutations,present in>96%of *** intensive efforts to reactivate p53,no clinical drug has been approved to rescue p53 *** this study,our primary objective was to administer in vitro-transcribed(IVT)wild-type(WT)p53-mRNA to HGSOC cell lines,primary cells,and ortho-topic mouse models,with the aim of exploring its impact on inhibiting tumor growth and dissemination,both in vitro and in ***:To restore the activity of p53,WT p53 was exogenously expressed in HGSOC cell lines using a mammalian vector ***,IVT WT p53 mRNA was delivered into different HGSOC model systems(primary cells and patient-derived organoids)using liposomes and studied for proliferation,cell cycle progression,apoptosis,colony formation,and chromosomal *** alterations induced by p53 mRNA were analyzed using RNA sequencing in OVCAR-8 and primary HGSOC cells,followed by ingenuity path-way *** vivo effects on tumor growth and metastasis were studied using orthotopic xenografts and metastatic intraperitoneal mouse ***:Reactivation of the TP53 tumor suppressor gene was explored in differ-ent HGSOC model systems using newly designed IVT mRNA-based *** introduction of WT p53 mRNA triggered dose-dependent apoptosis,cell cycle arrest,and potent long-lasting inhibition of HGSOC cell *** analysis of OVCAR-8 cells upon mRNA-based p53 reactivation revealed significant alterations in gene expression related to p53 signaling,such as apoptosis,cell cycle regulation,and DNA *** p53 function concurrently reduces chromosomal instability within the HGSOC cells,under-scoring its crucial contribution in safeguarding genomic integrity by moderating the baselin

关键词： apoptosis cell cycle chromosomal instability HGSOC metastatic intraperitoneal mouse model HGSOC orthotopic Xenograft model high-grade serous ovarian cancer in vitro-transcribed p53-mRNA liposomal IVT mRNA delivery system patient-derived organoid patient-derived primary cancer cell

Dominance of transposable element‑related satDNAs results in great complexity of“satDNA library”and invokes the extension towards“repetitive DNA library”

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Marine Life Science & Technology 2024年第2期6卷 236-251页

作者： monika Tunjić‑Cvitanić Daniel García‑Souto Juan J.Pasantes EvaŠatović‑Vukšić Division of Molecular Biology Ruđer BoškovićInstitute10000 ZagrebCroatia Genomes and Disease Centre for Research in Molecular Medicine and Chronic Diseases(CIMUS)Universidade de Santiago de Compostela15706 Santiago de CompostelaSpain Department of Zoology Genetics and Physical AnthropologyUniversidade de Santiago de Compostela15706 Santiago de CompostelaSpain Centro de Investigación Mariña Dpto de BioquímicaXenética e InmunoloxíaUniversidade de Vigo36310 VigoSpain

Research on bivalves is fast-growing,including genome-wide analyses and genome *** characteristics qualify oysters as a valuable model to explore repetitive DNA sequences and their genome *** we char-acterize the satellitomes of five species in the family Ostreidae(Crassostrea angulata,***,***,***,Ostrea edulis),revealing a substantial number of satellite DNAs(satDNAs)per genome(ranging between 33 and 61)and peculiarities in the composition of their *** satDNAs were either associated to or derived from transposable elements,displaying a scarcity of transposable element-unrelated satDNAs in these *** to the non-conventional satellitome constitution and dominance of Helitron-associated satDNAs,comparative satellitomics demanded more in-depth analyses than standardly *** analyses(including ***,the first bivalve species with a defined satellitome)revealed that 13 satDNAs occur in all six oyster genomes,with Cg170/HindIII satDNA being the most abundant in all of *** the“satDNA library model”highlighted the necessity to adjust this term when studying tandem repeat evolution in organisms with such *** repetitive sequences with potential variation in the organizational form and repeat-type affiliation are examined across related species,the introduction of the terms“TE library”and“repetitive DNA library”becomes essential.

关键词： Satellitome Comparative satellitomics Helitron Bivalves “Dark matter of the genome”