检索结果-南通市图书馆

The essence of bidirectional programming

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2015年第5期58卷 76-96页

作者： fischer sebastian HU ZhenJiang PACHECO Hugo Department of Computing Science Christian-Albrechts-University of Kiel Information Systems Architecture Research Division National Institute of Informatics Department of Informatics The Graduate University for Advanced Studies (SOKENDAI) School of Electronics Engineering and Computer Science Peking University Department of Computer Science Cornell University

Bidirectional transformations(BXs), programs with a forward transformation and a backward transformation that maintain consistency between input and output, are routinely written in ways that do not let programmers specify their behavior completely. Several bidirectional programming languages exist to aid programmers in writing BXs with increased maintainability but decreased expressiveness. Such languages allow programmers to write BXs as one program for both directions, which is easier to maintain than separate programs for each direction. However, the maintainability provided by existing bidirectional languages comes at the cost of expressiveness because the ambiguity of synchronization is solved by default strategies which are hidden from programmers. The programmers’ inability to influence synchronization strategies has led to the proposal of a vast number of approaches that consider tailor-made synchronization strategies for particular *** this paper, we argue that such ambiguity is essential for BX and advocate that the synchronization strategy should not be hidden from programmers but considered from the start. We propose a novel approach to specifying so-called well-behaved bidirectional programs by their backward transformations, capable of expressing all aspects of a BX while retaining maintainability. Soundness of our approach results from a systematic analysis, based on existing mathematical concepts, of the instrumental laws of well-behaved BXs. We show that well-behaved BXs are uniquely determined by their backward transformations and corresponding forward transformations can be obtained for free.

关键词： bidirectional transformation software adaption and coevolution bidirectional programming

Experimental proof of Joule heating-induced switched-back regions in OLEDs

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Light(Science & Applications) 2020年第1期9卷 1951-1960页

作者： Anton Kirch Axel fischer Matthias Liero Jurgen Fuhrmann Annegret Glitzky sebastian Reineke Dresden Integrated Center for Applied Physics and Photonic Materials(IAPP)and Institute of Applied Physics Technische Universitat DresdenNothnitzer StraBe 6101187 DresdenGermany Weierstrass Institute Berlin MohrenstraBe 3910117 BerlinGermany

Organic light-emitting diodes(OLEDs)have become a major pixel technology in the display sector,with products spanning the entire range of current panel *** ability to freely scale the active area to large and random surfaces paired with flexible substrates provides additional application scenarios for OLEDs in the general lighting,automotive,and signage *** applications require higher brightness and,thus,current density operation compared to the specifications needed for general *** extended transparent electrodes pose a significant ohmic resistance,OLEDs suffering from Joule self-heating exhibit spatial inhomogeneities in electrical potential,current density,and hence *** this article,we provide experimental proof of the theoretical prediction that OLEDs will display regions of decreasing luminance with increasing driving *** a two-dimensional OLED model,we can conclude that these regions are switched back locally in voltage as well as current due to insufficient lateral thermal ***,we demonstrate this effect in lab-scale devices and derive that it becomes more severe with increasing pixel size,which implies its significance for large-area,high-brightness use cases of ***,these non-linear switching effects cannot be ignored with respect to the long-term operation and stability of OLEDs;in particular,they might be important for the understanding of sudden-death scenarios.

关键词： OLEDs switched proof

The carbon fluxes in different successional stages:modelling the dynamics of tropical montane forests in South Ecuador

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Forest Ecosystems 2017年第2期4卷 143-153页

作者： sebastian paulick claudia dislich jürgen homeier rico fischer andreas huth Department of Ecological Modelling Helmholtz Centre for Environmental Research-UFZPermoserstr1504318 LeipzigGermany Georg-August-University Gottingen Plant EcologyUntere KarspOle 237073 GottingenGermany University of Osnabriick Institute of Environmental Systems ResearchBarbarastr1249076 OsnabruckGermany iDiv German Centre for Integrative Biodiversity Research(iDiv)Halle-Jena-LeipzigDeutscher Platz 5e04103 LeipzigGermany

Background： Tropical forests play an important role in the global carbon（C） ***, tropical montane forests have been studied less than tropical lowland forests, and their role in carbon storage is not well *** forests are highly endangered due to logging, land-use and climate *** objective was to analyse how the carbon balance changes during forest ***： In this study, we used a method to estimate local carbon balances that combined forest inventory data with process-based forest *** utilised such a forest model to study the carbon balance of a tropical montane forest in South Ecuador, comparing two topographical slope positions（ravines and lower slopes vs upper slopes and ridges）.Results： The simulation results showed that the forest acts as a carbon sink with a maximum net ecosystem exchange（NEE） of 9.3 Mg C？（ha？yr）-1during its early successional stage（0–100 years）.In the late successional stage, the simulated NEE fluctuated around zero and had a variation of 0.77 Mg C？（ha？yr）–*** simulated variability of the NEE was within the range of the field *** discovered several forest attributes（e.g., basal area or the relative amount of pioneer trees） that can serve as predictors for NEE for young forest stands（0–100 years） but not for those in the late successional stage（500–1,000 years）.In case of young forest stands these correlations are high, especially between stand basal area and ***： In this study, we used an Ecuadorian study site as an example of how to successfully link a forest model with forest inventory data, for estimating stem-diameter distributions, biomass and aboveground net primary *** conclude, this study shows that process-based forest models can be used to investigate the carbon balance of tropical montane *** this model it is possible to find hidden relationships between forest attributes and forest carbon *** relationships promote a better understandin

关键词： Forest model Tropical montane forest Forest succession Carbon balance Forest productivity FORMIND

维普期刊数据库

Vapor intrusion in buildings: Development of semi-empirical models including lateral separation between the building and the pollution source

在线全文

学校读者我要写书评

暂无评论

Building Simulation 2022年第12期15卷 2031-2049页

作者： juan sebastian Rios Mora Thierno Diallo Bernard Collignan Marc Abadie Karim Limam Centre Scientifique et Technique du Batiment Health and Comfort DepartmentSaint-Martin-d'HèresCO 38400France University of La Rochelle Laboratoire des Sciences de I'Ingénieur pour I'Environnement-LaSIE UMR CNRS 7356La RochelleCO 17042France

Future constructions in the context of the industrial wastelands reuse may be exposed to Vapor Intrusion(VI).VI can be evaluated by combining in-situ measures and analytical models to evaluate exposure risk in future indoor ***,the assumptions in the existing models may reduce their accuracy when they do not meet the characteristics of real *** estimations of indoor concentration levels may lead to inappropriate solutions against *** this context,new semi-empirical models(SEM)are proposed in order to better specify pollution scenarios and thus increase the accuracy of VI *** development is based on a parametric study(numerical CFD)and a dimensionless analysis combined to existing VI models that consider a continuous source distribution in the *** expressions allow to better take into account the source position in the soil(*** and lateral source/building separation),soil properties(air permeability,diffusion coefficient of the pollutant,…)and building features(building foundation,indoor pressure,air exchange rate,…)in the estimation of indoor concentration *** obtained results with the proposed SEM were compared with a numerical CFD model and available experimental data,showing good accuracy in the estimation of *** the advantages of these new models,they can provide better precision in the health risk assessments associated with ***,these expressions can be easily integrated into building ventilation codes allowing to consider air exchange rate and indoor pressure variations over time.

关键词： indoor air quality lateral source/building distance polluted soils semi-empirical models vapor intrusion

Multiscale Finite ElementMethods for Flows on Rough Surfaces

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Communications in Computational Physics 2013年第9期14卷 979-1000页

作者： Yalchin Efendiev juan Galvis M.sebastian Pauletti Department of Mathematics TAMUCollege StationTX 77843-3368USA Departamento de Matematicas Universidad Nacional de ColombiaBogotaColombia

In this paper,we present the Multiscale Finite Element Method(MsFEM)for problems on rough heterogeneous *** consider the diffusion equation on oscillatory *** objective is to represent small-scale features of the solution via multiscale basis functions described on a coarse *** problem arises in many applications where processes occur on surfaces or thin *** present a unified multiscale finite element framework that entails the use of transformations that map the reference surface to the deformed *** main ingredients of MsFEM are(1)the construction of multiscale basis functions and(2)a global coupling of these basis *** the construction of multiscale basis functions,our approach uses the transformation of the reference surface to a deformed *** the deformed surface,multiscale basis functions are defined where reduced(1D)problems are solved along the edges of coarse-grid blocks to calculate nodalmultiscale basis ***,these basis functions are transformed back to the reference *** discuss the use of appropriate transformation operators that improve the accuracy of the *** method has an optimal convergence if the transformed surface is smooth and the image of the coarse partition in the reference configuration forms a quasiuniform *** this paper,we consider such transformations based on harmonic coordinates(following *** and ***[*** and Applied Math.,LX(2007),pp.675-723])and discuss gridding issues in the reference *** results are presented where we compare the MsFEM when two types of deformations are used formultiscale basis *** first deformation employs local information and the second deformation employs a global *** numerical results showthat one can improve the accuracy of the simulations when a global information is used.

关键词： Multiscale finite elements on surfaces Laplace Beltrami resonance error harmonic maps

FINDING EVIDENCE OF GREEN LEASING IN UNITED STATES GOVERNMENT-LEASED PROPERTIES

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Green Building 2020年第1期15卷 55-72页

作者： Eunhwa Yang juan sebastian Guevara-Ramirez Catherine Bisson School of Building Construction Georgia Institute of Technology

Although the term“green leasing”is not yet well defined,its primary purpose is *** an aim to create a collaborative environment through legal provisions between a building owner and a tenant,green leasing may ultimately help resolve the energy paradox in tenanted *** surrounding split-incentives are driven by a mismatch between owners’capital expenditures on improving building energy efficiency and an uncertainty of tenant or occupant behavior that might affect a building’s energy *** some countries have started to develop guidelines promoting the adoption of green leasing,especially in government buildings and commercial real estate,implementation has not been overly successful *** study has two focuses,the first of which is to compare green leasing guidelines from various countries and to suggest six comprehensive categories of green leasing components:management relationships,information sharing,certificates,legal stipulations,financial factors,and *** second core area of research places government-tenanted properties’lease agreement *** goal is to find any evidence in a legal condition between a building owner and a tenant,in this case federal government,to improve building energy efficiency with less environmental impact in the United *** findings of the study indicated 41 out of 400 leases had green *** out of six categories proposed in this study were found in the ***-tenanted properties,while the other three types were not *** findings of this study also suggest categories of green leasing clauses can contribute to defining green leasing and provide empirical evidence of green leasing in government-tenanted ***,this study produces arguments for possible reasoning behind the employment of some green lease categories but the lack of use of others,specifically in the *** market and government-tenanted buildings.

关键词： green leasing government-tenanted building energy efficiency

TopSTO:a 115-line code for topology optimization of structures under stationary stochastic dynamic loading

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Earthquake Engineering and Engineering Vibration 2023年第4期22卷 1081-1100页

作者： sebastian Pozo Fernando Gomez Thomas Golecki juan Carrion Billie F.Spencer Jr. Civil and Environmental Engineering University of Illinois at Urbana-ChampaignUrbana 61801ILUSA College of Science and Engineering Universidad San Francisco de QuitoDiego de Robles y Vía InteroceanicaQuitoEcuador Skidmore Owings&MerrillLLPChicago 60604ILUSA Department of Civil Engineering University of CuencaCuencaEcuador

The use of topology optimization in structural design under dynamic excitation is becoming more prevalent in the *** many such applications utilize frequency or time domain formulations,relatively few consider stochastic dynamic *** paper presents an efficient and compact code called TopSTO for structural topology optimization considering stationary stochastic dynamic loading using a method derived from random vibration *** theory,described in conjunction with the implementation in the provided code,is illustrated for a seismically excited *** work demonstrates the efficiency of the approach in terms of both the computational resources and minimal amount of code *** code is intended to serve as a baseline for understanding the theory and implementation of this topology optimization approach and as a foundation for additional applications and developments.

关键词： topology optimization stochastic dynamics matlab python

维普期刊数据库

Alternative models of cancer stem cells: The stemness phenotype model, 10 years later

在线全文

学校读者我要写书评

暂无评论

World Journal of Stem Cells 2021年第7期13卷 934-943页

作者： Vivek Kaushik Yogesh Kulkarni Kumar Felix Neelam Azad Anand Krishnan V Iyer juan sebastian Yakisich School of Pharmacy Department of Pharmaceutical SciencesHampton UniversityHamptonVA 23668United States

The classical cancer stem cell(CSCs)theory proposed the existence of a rare but constant subpopulation of *** this model cancer cells are organized hierarchically and are responsible for tumor resistance and tumor ***,eliminating CSCs will eventually lead to cure of *** simplistic model has been challenged by experimental *** 2010 we proposed a novel and controversial alternative model of CSC biology(the Stemness Phenotype Model,SPM).The SPM proposed a non-hierarchical model of cancer biology in which there is no specific subpopulation of CSCs in ***,cancer cells are highly plastic in term of stemness and CSCs and non-CSCs can interconvert into each other depending on the *** model predicts the existence of cancer cells ranging from a pure CSC phenotype to pure non-CSC phenotype and that survival of a single cell can originate a new *** the past 10 years,a plethora of experimental evidence in a variety of cancer types has shown that cancer cells are indeed extremely plastic and able to interconvert into cells with different stemness *** this review we will(1)briefly describe the cumulative evidence from our laboratory and others supporting the SPM;(2)the implications of the SPM in translational oncology;and(3)discuss potential strategies to develop more effective therapeutic regimens for cancer treatment.

关键词： Cancer Stem cells Stemness Plasticity Chemotherapy Interconversion

Acute kidney injury in severely injured patients admitted to the Intensive Care Unit

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Military Medical Research 2021年第2期8卷 141-147页

作者： Alberto F.García Ramiro Manzano-Nunez juan G.Bayona Maria P.Naranjo Dary Neicce Villa Manuel Moreno sebastian Ossa juan M.Martinez Nathalia Martinez juan C.Puyana Division of Trauma and Acute Care Surgery Department of SurgeryFundación Valle del LiliCaliColombia Clinical Research Center Fundación Valle del LiliCaliColombia Escuela de Medicina Ciencias de la SaludUniversidad del RosarioCarrera 98#18-49760001BogotaColombia Méderi Hospital Universitario Mayor Colombia School of Medicine Universidad ICESI(ICESI University)CaliColombia Department of Surgery University of PittsburghPittsburghPAUSA

Background:Our objective was to identify possible associations between clinical and laboratory variables and the risk of developing acute kidney injury(AKI)in severely injured patients admitted to the Intensive Care Unit(ICU)for whom creatine kinase(CK)levels were ***:For this retrospective observational study,we analyzed adult trauma patients admitted to the ICU from 2011 to 2015 at Fundación Valle del Lili(FVL)University *** primary outcome was the incidence of *** regression analysis was used to assess risk factors for this ***:A total of 315 patients were *** trauma mechanisms were blunt(n=130),penetrating(n=66)and blast(n=44)*** median[interquartile range,(IQR)of injury severity score(ISS)was 21(16–29).AKI developed in 75 patients(23.8%).Multivariate regression analysis revealed that the thoracic abbreviated injury scale(AIS)value(median(IQR)in the AKI group:3(0–4)],Acute Physiology and Chronic Health Evaluation(APACHE Ⅱ)score[median(IQR)in the AKI group:18(10–27)],CK greater than 5000 U/L,lactic acid concentration at admission,and dobutamine administration were independently associated with ***:We found that age,APACHE Ⅱ score,thoracic trauma,lactic acidosis,and dobutamine administration were independently associated with *** surgeons need to be aware of the increased odds of AKI if one of these factors is identified during the evaluation and treatment of injured patients.

关键词： Rhabdomyolysis Wounds and injuries Acute kidney injury Critical care Trauma

维普期刊数据库