Currently, triple phase-shift (TPS) modulation has attracted more and attention of researchers as an advanced strategy for dual active bridge converter (DAB). Since it three degrees freedom, can realize better performance both in soft switching ranges power efficiency. However, how to choose these freedom optimal efficiency DAB becomes a concern researchers. Generally, there exist two difficult...

Ivor Spence[1] has developed an ingenious method for easily generating unsatisfiable 3-cnfs that turn out to be rather difficult for ATPs (automated theorem provers). In this paper, we generalize his construction to cnfs of arbitrary clause length and then show that the unsatisfiable cnfs generated are, usually, “minimally unsatisfiable,” that is, the removal of even one clause results in a sat...

Scott Long et al. have constructed synthetic cells comprised of lipid bilayer membranes surrounding a two-phase, aqueous polymer solution that can be reversibly converted to a single phase. An understanding of compartmentalization in cell function has been hampered by the lack of an experimental model system. Using a previously developed method, the authors constructed artificial cells by encap...

We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligations which are then processed by an automated first-order theorem prover (ATP). We discuss the unique requirements this application places on the ATPs, focusing on automation, proof checking, traceability, and usability,...

The surface properties of transfer RNA (tRNA) were analyzed using a poly(ethylene glycol)/dextran aqueous two-phase system (ATPS), where the surface net hydrophobicity (HFS) and the local hydrophobicity (LH) were evaluated based on the partition coefficient of tRNA in the ATPS. According to the evaluated HFS values, the surface of the tRNA molecule was hydrophilic at 20° -40 °C, and it became h...

BACKGROUND Phenylalanine dehydrogenase (PheDH; EC 1.4.1.20) is a NAD+-dependent enzyme that performs the reversible oxidative deamination of L-phenylalanine to phenylpyruvate. It plays an important role in detection and screening of phenylketonuria (PKU) diseases and production of chiral intermediates as well. The main goal of this study was to find a simple and rapid alternative method for pur...

In this paper, we study the combinatorial multi-armed bandit problem (CMAB) with probabilistically triggered arms (PTAs). Under the assumption that the arm triggering probabilities (ATPs) are positive for all arms, we prove that a class of upper confidence bound (UCB) policies, named Combinatorial UCB with exploration rate κ (CUCB-κ), and Combinatorial Thompson Sampling (CTS), which estimates t...