检索结果-南通市图书馆

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

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Occult hepatitis B—the result of the host immune response interaction with different genomic expressions of the virus

引用

World Journal of Clinical Cases 2022年第17期10卷 5518-5530页

作者： George sebastian Gherlan Department of Infectious Diseases “Carol Davila”University of Medicine and PharmacyBucharest 030303Romania Department of Infectious Diseases “Dr.Victor Babes”Hospital of Infectious and Tropical DiseasesBucharest 030303Romania

With over 40 years of history,occult hepatitis B infection(OBI)continues to remain an important and challenging public health *** as the presence of replication-competent hepatitis B virus(HBV)DNA(i.e.,episomal HBV covalently closed circular DNA)in the liver and/or HBV DNA in the blood of people who test negative for hepatitis B surface antigen(HBsAg)in currently available assays,OBI is currently diagnosed using polymerase chain reaction(PCR)and real-time PCR ***,all efforts should be made to exclude a false negative HBsAg in order to completely follow the definition of *** recent years,significant advances have been made in understanding the HBV lifecycle and the molecular mechanisms that lead to the persistence of the virus in the occult *** factors are mainly related to the host immune system and,to a smaller proportion,to the *** innate and adaptive immune responses are important in HBV infection management,and epigenetic changes driven by host mechanisms(acetylation,methylation,and microRNA implication)are added to such *** greater genetic variability in the S gene of HBV isolated from OBIs was found compared with overt infection,the mechanisms of OBI are not mainly viral mutations.

关键词： Hepatitis B virus Occult hepatitis B Covalently closed circular DNA Epigenetic factors Immune factors MicroRNA

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Charge carrier mobilities of organic semiconductors:ab initio simulations with mode-specific treatment of molecular vibrations

引用

npj Computational Materials 2022年第1期8卷 2199-2209页

作者： sebastian Hutsch Michel Panhans Frank Ortmann School of Natural Sciences Department of ChemistryTechnische Universität MünchenGarching b.MünchenGermany

The modeling of charge transport in organic semiconductors usually relies on the treatment of molecular vibrations by assuming a certain limiting case for all vibration modes,such as the dynamic limit in polaron theory or the quasi-static limit in transient localization *** opposite limits are each suitable for only a subset of ***,we present a model that combines these different *** is based on a separation of the vibrational spectrum and a quantum-mechanical treatment in which the slow modes generate a disorder landscape,while the fast modes generate polaron band *** apply the combined method to 20 organic crystals,including prototypical acenes,thiophenes,benzothiophenes,and their *** mobilities span several orders of magnitude and we find a close agreement to the experimental *** analysis reveals clear correlations to simple mobility predictors and a combination of them can be used to identify high-mobility materials.

关键词： theory semiconductors limit

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Conductivity improvement of Ce_(0.8)Gd_(0.2)O_(1.9) solid electrolyte

引用

Journal of Rare Earths 2009年第4期27卷 655-660页

作者： sebastian Molin Maria Gazda Piotr Jasinski Faculty of Electronics Telecommunications and Informatics Gdansk University of Technology ul.Narutowicza 11/12 80-952 Gdansk Poland Faculty of Applied Physics and Mathematics Gdansk University of Technology ul.Narutowicza 11/12 80-952 Gdansk Poland

Solid oxide fuel cells based on doped cefia electrolytes offer operating temperatures of -600℃. During recent years much atten- tion was aimed at successful powder preparation with high sinter activity and high conductivity. The properties of ceria electrolyte are very sensitive to impurities introduced during powder and electrolyte fabrication. One of the most successful and commercially available processes for the production of clean powders is based on the addition of several percent metallic cations that will react with impurities and segregate into the triple points of grain boundaries. In this work the results obtained from doping of CGO20 by 2% Ca and prepared by different routes were presented. The way of introducing Ca seemed to play an important role.

关键词： rare earth solid elecllolyte electrical properties impedance spectroscopy fuel cell solid oxide fuel cells (SOFC)

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Free-space interferometer design for optical frequency dissemination and out-of-loop characterization below the 10^(-21)-level

引用

Photonics Research 2023年第6期11卷 1113-1124页

作者： THOMAS JÜRSS GESINE GROSCHE sebastian KOKE Physikalisch-Technische Bundesanstalt 38116 BraunschweigGermany

For improving the performance of optical frequency dissemination and the resolution of its out-of-loop(OOL)characterization,we investigate a compact free-space interferometer design in which a monolithic assembly forms the reference *** interferometer designs are realized,and their environmental sensitivity is analyzed based on the properties of the materials *** elucidate that in these designs the temperature sensitivities of the out-of-loop signal paths are greater than for the reference *** the estimated temperature-variation-induced frequency transfer errors are observed to be the relevant limitation,the out-of-loop characterization signal can be regarded as a trustworthy upper limit of the frequency transfer error to a remote *** demonstrate a fractional frequency transfer uncertainty and OOL characterization resolution of≤2.7×10^(-21)over many measurement *** a value of(0.23±1.07)×10^(-22)the weighted mean offset is significantly below the best reported results so far.

关键词： characterization fractional limit

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

The use of carbon nanomaterials in membrane distillation membranes:a review

引用

Frontiers of Chemical Science and Engineering 2021年第4期15卷 755-774页

作者： sebastian Leaper Ahmed Abdel-Karim Patricia Gorgojo Department of Chemical Engineering and Analytical Science School of EngineeringThe University of ManchesterManchesterM139PLUK Water Pollution Research Department National Research CentreGiza 12622Egypt

Membrane distillation(MD)is a thermal-based separation technique with the potential to treat a wide range of water types for various applications and *** challenges remain however,which prevent it from becoming commercially widespread including moderate permeate flux,decline in separation performance over time due to pore wetting and high thermal energy ***,its attractive characteristics such as high rejection(ca.100%)of nonvolatile species,its ability to treat highly saline solutions under low operating pressures(typically atmospheric)as well as its ability to operate at low temperatures,enabling waste-heat integration,continue to drive research interests *** particular interest is the class of carbon-based nanomaterials which includes graphene and carbon nanotubes,whose wide range of properties have been exploited in an attempt to overcome the technical challenges that MD *** low dimensional materials exhibit properties such as high specific surface area,high strength,tuneable hydrophobicity,enhanced vapour transport,high thermal and electrical conductivity and *** use in MD has resulted in improved membrane performance characteristics like increased permeability and reduced fouling *** have also enabled novel membrane capabilities such as in-situ fouling detection and localised heat *** this review we provide a brief introduction to MD and describe key membrane characteristics and fabrication *** then give an account of the various uses of carbon nanomaterials for MD applications,focussing on polymeric membrane *** research directions based on the findings are also suggested.

关键词： carbon nanomaterials graphene membrane distillation desalination carbon nanotubes

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Collisions and protein aggregations ahead: how aging affects ribosomal elongation dynamics

引用

Signal Transduction and Targeted Therapy 2022年第5期7卷 1369-1370页

作者： Pallab Maity sebastian Iben Department of Dermatology and Allergic Diseases Ulm UniversityUlmGermany

A recent study by Stein et al.1 deciphers how altered ribosomal elongation dynamics in aging contribute to a loss of protein homeostasis,***,the balance of protein synthesis,maintenance and degradation is severely affected in aging causing aging-associated neurodegenerative *** the contributions of disturbances in protein maintenance and degradation to the development of the disease have attracted much attention over the past decades,there is scant knowledge about protein synthesis dynamics in aging.

关键词： aging dynamics synthesis

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Modeling the dynamics of firms' technological impact

引用

Chinese Physics B 2021年第12期30卷 111-120页

作者： Shuqi Xu Manuel sebastian Mariani Linyuan Lü Yangtze Delta Region Institute(Huzhou)&Institute of Fundamental and Frontier Sciences University of Electronic Science and Technology of ChinaHuzhou 313001China University Research Priority Program on Social Networks University of ZurichCH-8050 ZurichSwitzerland Beijing Computational Science Research Center Beijing 100193China

Recent studies in complexity science have uncovered temporal regularities in the dynamics of impact along scientific and other creative careers, but they did not extend the obtained insights to firms. In this paper, we show that firms' technological impact patterns cannot be captured by the state-of-the-art dynamical models for the evolution of scientists' research impact, such as the Q model. Therefore, we propose a time-varying returns model which integrates the empiricallyobserved relation between patent order and technological impact into the Q model. The proposed model can reproduce the timing pattern of firms' highest-impact patents accurately. Our results shed light on modeling the differences behind the impact dynamics of researchers and firms.

关键词： firm technological impact patent analysis impact dynamics

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Higher-order exceptional points in waveguidecoupled microcavities:perturbation induced frequency splitting and mode patterns

引用

Photonics Research 2023年第10期11卷 I0011-I0021页

作者： JULIUS KULLIG DANIEL GROM sebastian KLEMBT JAN WIERSIG Institut für Physik Otto-von-Guericke-Universität Magdeburg39106 MagdeburgGermany Technische Physik and Würzburg-Dresden Cluster of Excellence ct.qmat Physikalisches Institut and Wilhelm-Conrad-Röntgen-Research Center for Complex Material SystemsAm HublandUniversity of Würzburg97070 WürzburgGermany

Exceptional points are degeneracies in the spectrum of non-Hermitian open systems where at least two eigenfrequencies and simultaneously the corresponding eigenstates of the Hamiltonian ***,the robust construction of higher-order exceptional points with more than two degenerate eigenfrequencies and eigenstates is challenging but yet worthwhile for *** this paper,we reconsider the formation of higher-order exceptional points through waveguide-coupled microring cavities and asymmetric *** this context,we demonstrate the influence of perturbations on the frequency splitting of the *** generate higher-order exceptional points in a simple and robust way,a mirror-induced asymmetric backscattering approach is *** addition to the exceptional-point enhanced sensing capabilities of such systems,also a cavity-selective sensitivity is achieved for particle *** results are motivated by an effective Hamiltonian description and verified by full numerical simulations of the dielectric structure.

关键词： structure exceptional splitting

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Contact Angle Determination in Multicomponent Lattice Boltzmann Simulations

引用

Communications in Computational Physics 2011年第5期9卷 1165-1178页

作者： sebastian Schmieschek Jens Harting Institute for Computational Physics University of StuttgartPfaffenwaldring 2770569 StuttgartGermany Department of Applied Physics Eindhoven University of TechnologyP.O.Box 5135600 MB EindhovenThe Netherlands

Droplets on hydrophobic surfaces are ubiquitous in microfluidic applications and there exists a number of commonly used multicomponent and multiphase lattice Boltzmann schemes to study such *** this paper we focus on a popular implementation of a multicomponent model as introduced by Shan and ***,interactions between different components are implemented as repulsive forces whose strength is determined by model *** this paper we present simulations of a droplet on a hydrophobic *** investigate the dependence of the contact angle on the simulation parameters and quantitatively compare different approaches to determine *** show that the method is capable of modelling the whole range of contact *** find that the a priori determination of the contact angle is depending on the simulation parameters with an uncertainty of 10%to 20%.

关键词： Lattice Boltzmann Shan-Chen model contact angle droplets hydrophobic surface

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：