Full linear-time hybrid logic (HL) is a non-elementary and equally expressive extension of standard LTL + past obtained by adding the well-known binder operators ↓ and ∃. We investigate complexity and succinctness issues for HL in terms of the number of variables and nesting depth of binder modalities. First, we present direct automata-theoretic decision procedures for satisfiability and model-...

In order to minimize the binder content in composite lunar “cement,” this paper uses JSC-1A lunar soil simulant and unsaturated polyester resin (UPR) to produce low-binder-content composite. Important system parameters such as compression pressure, compression duration, vibration, loading rate, loading number, and initial grain size distribution are analyzed. The most critical control variable ...

The binder force in sheet metal forming controls the material flow into the die cavity. Maintaining precise material flow characteristics is crucial for producing a high-quality stamped part. Process control can be used to adjust the binder force based on tracking of a reference punch force trajectory to improve part quality and consistency. The purpose of this paper is to present a systematic ...

The properties of a new synthetic LDL binding material, consisting of fragments of loosely crosslinked hydrogel, based on sulfated polyvinylalcohol are described. When incubated with 20 times its volume of plasma, this material binds up to 95% of the LDL, even from plasma with severely elevated LDL cholesterol levels (up to 20 mM). In addition a cholesterol-rich subfraction of VLDL is bound but...

On diethylaminoethyl-cellulose column chromatography, the folate binding protein in the serum of 21 patients eluted in the early effluents as a single sharply defined peak. The chromatographic behavior of the folate binder remained unchanged whether or not the serum was, before chromatography, complexed with tritium-labeled pteroylglutamic acid ([3H]PGA), dialyzed, or charcoal-adsorbed. Heating...

The effect of replacing hexahydro-1,3,5-trinitro-1,3,5-triazine (RDX) by octahydro-1,3,5,7-tetranitro-1,3,5,7tetrazocine (HMX) in HTPB-binder on the performance, sensitivity, thermal, and mechanical properties of the sheet explosive formulation has been studied. The maximum loading of HMX was achieved up to 78 per cent in HTPB-binder system. The velocity of detonation (VOD) of HMX-based sheet e...

The present investigation describes the influence of the concentration of PEG 6000 as a melt binder and ratio of HPMC K4M : PVP on Zolpidem tartrate controlled-release tablet formulations using 3(2) full factorial design. The ratio of HPMC K4M and PVP K30 (X(1)) and the concentration of melt binder (X(2)) were selected as independent variables, and drug release at 1 hr (Q(1)), 4 hr (Q(4)), 8 hr...

Mortars with mud, gypsum and lime as binder have, since ancient times, been used for very different applications. The characterisation of these historic mortars was until 1970–1980 mostly based on traditional wet chemical analyses but the interpretation of these results is difficult and often impossible without a good knowledge of the nature of the different mortar components. More recently dev...

A maximum of 91% recovery of interfacial shear strength (IFSS) is achieved for carbon fiber/epoxy interfaces functionalized with capsules containing reactive epoxy resin and ethyl phenyl acetate (EPA). We find a binder is necessary to improve the retention of capsules on the carbon fiber surface. Two different methods for applying the binder to the carbon fiber surface are investigated. Healing...

It is recognized that mycotoxins can cause a variety of adverse health effects in animals, including altered gastrointestinal barrier function. It is the aim of the present study to determine whether mycotoxin-contaminated diets can alter the oral bioavailability of the antibiotics doxycycline and paromomycin in pigs, and whether a mycotoxin adsorbing agent included into diets interacts with th...