Formal verification of a SONET data stream processor

We describe the formal verification of an industrial hardware design from PMC-Sierra, Inc. The design under investigation is a telecom system block, which processes a portion of the synchronous optical network (SONET) line overhead of a received data stream. We adopted a hierarchical modelling and verification approach which follows the natural design hierarchy. The formal specification and verification have been carried out based on multiway decision graphs (MDG), a new decision diagram subsuming the traditional binary decision diagrams and allowing abstract data and functions. The verification has been performed using both equivalence and model checking. To measure the performance of the MDG-based model checking, we also conducted a comparative verification of the same design using Cadence FormalCheck

Single-filament Composite MgB2/SUS Ribbons by Powder-In-Tube Process

We report the successful fabrication of single-filament composite MgB2/SUS ribbons, as an ultra-robust conductor type, employing the powder-in-tube (PIT) process, by swaging and cold rolling only. The remarkable transport critical current (Ic) of the non-sintered MgB2/SUS ribbon has observed, as an unexpected result. Transport critical currents Ic ~ 316 A at T = 4.2 K and Ic ~ 82 A at T = 20 K were observed at self-field, for the non-sintered composite MgB2/SUS ribbon. In addition, the persistent current density Jp values, that were estimated by Bean formula, were more than ~ 7  105 A/cm2 at T = 5 K, and ~ 1.2  105 A/cm2 at T = 30 K, for the sintered composite MgB2/SUS ribbon, at H = 0 G.Comment: 10 pages, 4 figure

Effects of reducing dietary crude protein and metabolic energy in weaned piglets

The objective of this experiment was to determine the effects of a pure reduction in the dietary crude protein (CP) and metabolic energy (ME) contents on growth performance, nutrient digestibility, blood profile, faecal microflora and odour gas emission in weaned pigs. A total of 80 weaned piglets ((Landrace × Yorkshire) × Duroc) with a mean initial bodyweight (BW) of 6.8 ± 0.5 kg were randomly allotted to four treatments with four replicate pens of five piglets per pen (based on average BW) for 45 days. The dietary treatments consisted of i) CON: basal diet; ii) LME: reduction of 10% of ME in basal diet; iii) LCP: reduction of 10% of CP in basal diet; iv) MECP: reduction of 10% of CP and 10% of ME in basal diet. During the experimental period, average daily feed intake (ADFI) improved in piglets fed the LME and LCP diets, compared with those fed the CON diets. Average daily gain (ADG) and gain to feed (G : F) ratio decreased in piglets fed LCP, LME, and MECP diet, when compared with those fed the CON diet. However, during the total experimental period, ADG and G : F ratio were not affected by dietary treatment. With regard to nutrient digestibility, apparent total track digestibility (ATTD) of CP was not affected by experimental diets. The concentration of blood urea nitrogen (BUN) in blood decreased more in piglets fed LME, LCP, and MECP than those fed the CON diet. The emissions of ammonia (NH3), hydrogen sufide (H2S), and volatile fatty acids (VFAs) were lower in piglets fed LME, LCP, and MECP diet than those fed the CON diet. In conclusion, these results indicate that reduction in dietary CP and ME content did not decrease growth performance and nutrient digestibility, and they increased positive effects such as BUN and gas emission reduction.Keywords: Blood profile, digestibility, growth performance, odour emission, pi

Influence of season of birth, sex and paternal line on growth performance and carcass traits in pigs

Participants in the pig production industry focus on feed and feed additives to improve growth performance and meat quality of pigs. Consequently, the Rural Development Administration of the Republic of Korea produced a new paternal line to improve economic traits in pigs. However, there is an absence of information on pig traits with regard to season and sex, and a comparison between the new paternal line and past paternal lines. Therefore, the authors conducted this study to investigate the influence of season of birth, sex and paternal line on growth performance and carcass traits in pigs. A total of 2888 piglets ((Landrace × Yorkshire) × Darby Duroc (DD) or Chookjin Duroc (CD)) with an average age of three weeks were tested for 22 weeks during the four season of the year (spring 608 piglets, summer 404 piglets, autumn 576 piglets and winter 1300 piglets). The bodyweights (BW) of individual pig were recorded, and feed consumption was recorded at weeks 2, 12 and 22, to determine growth performance. At reaching market weight, backfat thickness was determined at the last rib area. Meat was graded according to the criteria of the slaughterhouse. There were no significant differences in growth performance and carcass traits between sexes. The CD line crossbred pig had a significant higher BW at 16 weeks, and higher carcass trait values at 22 weeks than the DD line. During weeks 8 to 16 the CD line crossbred pigs showed a tendency of an increased average daily gain (ADG) and gain : feed (G : F) ratio compared with the DD line. Furthermore, pigs born in spring had significant lower ADG, average daily feed intake (ADFI) and carcass trait values than born in the other seasons. In conclusion, the new paternal line (Chookjin Duroc) improved growth performance and carcass traits compare with the DD line.Keywords: sex, growth, terminal sire, meat quality, backfat thicknes

Full counting statistics of information content

We review connections between the cumulant generating function of full counting statistics of particle number and the R\'enyi entanglement entropy. We calculate these quantities based on the fermionic and bosonic path-integral defined on multiple Keldysh contours. We relate the R\'enyi entropy with the information generating function, from which the probability distribution function of self-information is obtained in the nonequilibrium steady state. By exploiting the distribution, we analyze the information content carried by a single bosonic particle through a narrow-band quantum communication channel. The ratio of the self-information content to the number of bosons fluctuates. For a small boson occupation number, the average and the fluctuation of the ratio are enhanced.Comment: 16 pages, 5 figure

Polarization characteristics of phase retardation defect mode lasing in polymeric cholesteric liquid crystals

We have studied the lasing characteristics of a dye-doped nematic layer sandwiched by two polymeric cholesteric liquid crystal (CLC) films as photonic band gap (PBG) materials. The nematic layer acts as a defect layer, the anisotropy of which brings about the following remarkable optical characteristics: (1) reflectance in the PBG region exceeds 50% due to the retardation effect, being unpredictable from a single CLC film; (2) efficient lasing occurs either at the defect mode wavelength or at the photonic band edge; and (3) the lasing emission due to both the defect mode and the photonic band edge mode contains both right- and left-circular polarizations, while the lasing emission from a dye-doped single CLC layer with a left-handed helix is left-circularly polarized.open2

Quality of care received and patient-reported regret in prostate cancer: Analysis of a population-based prospective cohort

BACKGROUND: Meeting quality of care standards in oncology is recognized as important by physicians, professional organizations, and payers. Data from a population-based cohort of patients with prostate cancer were used to examine whether receipt of care was consistent with published consensus metrics and whether receiving high-quality care was associated with less patient-reported treatment decisional regret. METHODS: Patients with incident prostate cancer were enrolled in collaboration with the North Carolina Central Cancer Registry, with an oversampling of minority patients. Medical record abstraction was used to determine whether participants received high-quality care based on 5 standards: 1) discussion of all treatment options; 2) complete workup (prostate-specific antigen, Gleason grade, and clinical stage); 3) low-risk participants did not undergo a bone scan; 4) high-risk participants treated with radiotherapy (RT) received androgen deprivation therapy; and 5) participants treated with RT received conformal or intensity-modulated RT. Treatment decisional regret was assessed using a validated instrument. RESULTS: A total of 804 participants were analyzed. Overall, 66% of African American and 73% of white participants received care that met all standards (P =.03); this racial difference was confirmed by multivariable analysis. Care that included “discussion of all treatment options” was found to be associated with less patient-reported regret on univariable analysis (P =.03) and multivariable analysis (odds ratio, 0.59; 95% confidence interval, 0.37-0.95). CONCLUSIONS: The majority of participants received high-quality care, but racial disparity existed. Participants who discussed all treatment options appeared to have less treatment decisional regret. To the authors' knowledge, this is the first study to demonstrate an association between a quality of care metric and patient-reported outcome

Electromagnetic vertex function of the pion at T > 0

The matrix element of the electromagnetic current between pion states is calculated in quenched lattice QCD at a temperature of $T = 0.93 T_c$. The nonperturbatively improved Sheikholeslami-Wohlert action is used together with the corresponding ${\cal O}(a)$ improved vector current. The electromagnetic vertex function is extracted for pion masses down to $360 {\rm MeV}$ and momentum transfers $Q^2 \le 2.7 {\rm GeV}^2$.Comment: 17 pages, 8 figure

Effect of Phosphorus and Strontium Additions on Formation Temperature and Nucleation Density of Primary Silicon in Al-19 Wt Pct Si Alloy and Their Effect on Eutectic Temperature

The influence of P and Sr additions on the formation temperature and nucleation density of primary silicon in Al-19 wt pct Si alloy has been determined, for small volumes of melt solidified at cooling rates _T of ~0.3 and 1 K/s. The proportion of ingot featuring primary silicon decreased progressively with increased Sr addition, which also markedly reduced the temperature for first formation of primary silicon and the number of primary silicon particles per unit volume �Nv: When combined with previously published results, the effects of amount of P addition and cooling rate on �Nv are in reasonable accord with �Nv� _T ¼ ðp=6fÞ1=2 109 [250 � 215 (wt pct P)0.17]�3, where �Nv is in mm�3, _T is in K/s, and f is volume fraction of primary silicon. Increased P addition reduces the eutectic temperature, while increased Sr appears to generate a minimum in eutectic temperature at about 100 ppmw Sr

Quantum phase properties of two-mode Jaynes-Cummings model for Schr\"odinger-cat states: interference and entanglement

In this paper we investigate the quantum phase properties for the coherent superposition states (Schr\"odinger-cat states) for two-mode multiphoton Jaynes-Cummings model in the framework of the Pegg-Barnett formalism. We also demonstrate the behavior of the Wigner ($W$) function at the phase space origin. We obtain many interesting results such as there is a clear relationship between the revival-collapse phenomenon occurring in the atomic inversion (as well as in the evolution of the $W$ function) and the behavior of the phase distribution of both the single-mode and two-mode cases. Furthermore, we find that the phase variances of the single-mode case can exhibit revival-collapse phenomenon about the long-time behavior. We show that such behavior occurs for interaction time several times smaller than that of the single-mode Jaynes-Cummings model.Comment: 23, 8 figure