Full-Wave Analysis of Slotline Using Time-Domain Finite-Difference Method

The transmission and dispersive characteristics of slotline are calculated in this paper. The tail of Gaussion pulse is improved because a modified dispersive boundary condition (DBC) is adopted. It leads to a reduction in computer memory requirements and computational time. The computational domain is greatly reduced to enable performance in personal computer. At the same time because edges of a boundary and summits are treated well, the computational results is more accurate and more collector.

Construction of Wave-free Potentials and Multipoles in a Two-layer Fluid Having Free-surface Boundary Condition with Higher-order Derivatives

There is a large class of problems in the field of fluid structure interaction where higher-order boundary conditions arise for a second-order partial differential equation. Various methods are being used to tackle these kind of mixed boundary-value problems associated with the Laplace’s equation （or Helmholtz equation） arising in the study of waves propagating through solids or fluids. One of the widely used methods in wave structure interaction is the multipole expansion method. This expansion involves a general combination of a regular wave, a wave source, a wave dipole and a regular wave-free part. The wave-free part can be further expanded in terms of wave-free multipoles which are termed as wave-free potentials. These are singular solutions of Laplace’s equation or two-dimensional Helmholz equation. Construction of these wave-free potentials and multipoles are presented here in a systematic manner for a number of situations such as two-dimensional non-oblique and oblique waves, three dimensional waves in two-layer fluid with free surface condition with higher order partial derivative are considered. In particular, these are obtained taking into account of the effect of the presence of surface tension at the free surface and also in the presence of an ice-cover modelled as a thin elastic plate. Also for limiting case, it can be shown that the multipoles and wave-free potential functions go over to the single layer multipoles and wave-free potential.

MEASURING C PROGRAM COVERAGE BASED ON BINARY DECISION DIAGRAMS

Test coverage analysis is a structural testing technique, which helps to evaluate the sufficiency of software testing. This letter presents two test generation algorithms based on binary decision diagrams to produce tests for the Multiple-Condition Criterion(M-CC) and the Modified Condition/Decision Criterion(MC/DC), and describes the design of the C program Coverage Measurement Tool (CCMT), which can record dynamic behaviors of C programs and quantify test coverage.

Modified conditioning regimen busulfan-cyclophosphamide followed by allogeneic stem cell transplantation in patients with multiple myeloma

Background Allogeneic stem cell transplantation is a potential curative approach in patients with multiple myeloma. The very high transplant related mortality associated with standard allogeneic stem cell transplantation is currently the major limitation to wider use of this potentially curative treatment modality. The challenge for clinical investigators is to reduce the incidence of post-transplant complications for patients receiving autologous hematopoietic stem cell transplantion for multiple myeloma. In this study the toxicity and efficacy of modified myeloablative conditioning regimen followed by allogeneic stem cell transplantation was investigated in patients with multiple myeloma. Methods The conditioning regimen consisted of hydroxyurea, cytarabine, busulfan, cyclophosphamide, and semustine. Ten patients underwent allogeneic transplantation among them hydroxyurea （40 mg/kg） was administered twice on day -10 and cytarabine （2 g/ms） was given on day -9, busulfan was administered orally in four divided doses daily for 3 days （days -8 to -6）. The dose of busulfan was 12 mg/kg in the protocol followed by cyclophosphamide intravenously over 1 hour on days -5 and -4 （1.8 g/m^2）, and with semustine （Me-CCNU） 250 mg/m^2 on day -3. Results Chimerism data were available on all patients and all patients achieved full donor chimerism without graft failure. Six patients had not acute graft-versus-host disease （GVHD, 36.4%; 95% CI： 13.9%-38.6%）. Two patients （18.2%） developed grade Ⅰ acute GVHD （95% CI： 10.9%-35.9%） and grade Ⅱ acute GVHD occurred in one patient （9.1%; 95% Cl. 8.4%-32.3%）. Severe grade IVa GVHD was seen in one patient, who died from acute GVHD. The incidence of chronic GVHD was 22.2% （95% Cl： 11.7%-36.7%）, among them one died of severe grade IV GVHD and one developed multiorgan failure on day ＋170; the treatment-related mortality was 22.0% （95% Cl： 10.3%-34.1%）. The overall 4-year survival rate was 67.8% （95% Cl： 16.3%-46.7%）. The estimated 4-year progression-free survival rate was 58.5% （95% CI： 13.7%-41.8%）. The 4-year complete remission was 72.7% （95% CI： 27.8%-49.6%）. One patient relapsed after 4 months and achived the complete remission after receiving the donor lymphocyte infusion. Conclusions Modified conditioning regimen busulfan-cyclophosphamide with peripheral blood stem cells＋bone marrow cells transplantation result in a low incidence of severe GVHD with a relatively low treatment-related mortality, high complete remission rates and a long-term survival.

Improvement of sludge dewaterability with modified cinder via affecting EPS

The relationship between the improvement of sludge dewaterability and variation of organic matters has been studied in the process of sludge pre-conditioning with modified cinder, especially for extracellular polymeric substances （EPS） in the sludge. During the conditioning process, the decreases of total organic carbon （TOC） and soluble chemical oxygen demand （SCOD） were obviously in the supernatant especially for the acid modified cinder （ACMC）, which could be attributed to the processes of adsorption and sweeping. The reduction of polysaccharide and protein in supernatant indicated that ACMC might adsorb EPS so that the tightly bound EPS （TB-EPS） decreased in sludge. In the case of ACMC addition with 24 g·L^-1, SRF of the sludge decreased from 7.85 × 10^12 m·kg^-1 to 2.06× 10^12 m·kg^-1, and the filter cake moisture decreased from 85% to 60%. The reconstruction of ＂floc mass＂ was confirmed as the main sludge conditioning mechanism. ACMC promoted the dewatering performance through the charge neutralization and adsorption bridging with the negative EPS, and provided firm and dense structure for sludge floc as skeleton builder. The passages for water quick transmitting were built to avoid collapsing during the high-pressure process.

Modified condition/decision coverage(MC/DC)oriented compiler optimization for symbolic execution

Symbolic execution is an effective way of systematically exploring the search space of a program,and is often used for automatic software testing and bug finding.The program to be analyzed is usually compiled into a binary or an intermediate representation,on which symbolic execution is carried out.During this process,compiler optimizations influence the effectiveness and efficiency of symbolic execution.However,to the best of our knowledge,there exists no work on compiler optimization recommendation for symbolic execution with respect to(w.r.t.)modified condition/decision coverage(MC/DC),which is an important testing coverage criterion widely used for mission-critical software.This study describes our use of a state-of-the-art symbolic execution tool to carry out extensive experiments to study the impact of compiler optimizations on symbolic execution w.r.t.MC/DC.The results indicate that instruction combining(IC)optimization is the important and dominant optimization for symbolic execution w.r.t.MC/DC.We designed and implemented a support vector machine based optimization recommendation method w.r.t.IC(denoted as auto).The experiments on two standard benchmarks(Coreutils and NECLA)showed that auto achieves the best MC/DC on 67.47%of Coreutils programs and 78.26%of NECLA programs.

Hyperbolic positive mass theorem under modified energy condition

We provide two new positive mass theorems under respective modified energy conditions allowing T00 negative on some compact set for certain modified asymptotically hyperbolic manifolds. This work is analogous to Zhang’s previous result for modified asymptotically flat initial data sets.