Fatty acid composition of egg yolk phospholipid fractions following feed supplementation of Lohmann Brown hens with humic-fat preparations

The effect of feed supplementation with humic-fat preparations on the fatty acid composition of egg yolk phospholipid fractions was studied. The Lohmann Brown was the experimental hen strain and two feeding mixtures were applied – the standard feed and the mixture supplemented with humic-fat preparations. The fatty acid profile of yolk lipids was significantly affected (P = .05) by the supplementation of feed and total increase of n-3 polyunsaturated fatty acids (PUFA) was established. A different distribution of n-3 PUFA in egg yolk lipid fractions was observed: α-linolenic acid (18:3) was found in the triacylglycerol fraction, whereas docosahexaenoic acid (22:6) was detected in the phospholipid fractions. Supplementation of the hen’s diet with humic-fat preparations resulted in the production of n-3 enriched eggs with decreased n-6/n-3 ratio in all phospholipid fractions in comparison to the eggs from the control group.     

Optimization of dimensionality of symptom space in machine condition monitoring

With the modern tools of metrology we can measure almost all variables in the phenomenon field of a working machine, and some of measuring quantities can be symptoms of machine condition. On this basis we can form the symptom observation matrix for condition monitoring. From the other side we know that contemporary complex machines can have many modes of failure/damage, so called faults. The paper presents the method of extraction of fault information from the symptom observation matrix by means of singular value decomposition, in the form of generalized fault symptoms. However, at the beginning of monitoring we do not know the sensitivity of potential symptoms to the given machine faults and to its overall condition. Hence, some method of symptom observation matrix optimization leading to redundancy minimization is presented first time in this paper. This gives the possibility to assess the diagnostic contribution of every primary measured symptom. Also in the paper some possibility to assess symptom limit value, based on symptom reliability is considered. These concepts are illustrated by symptom observation matrix processing with the special program and the data are taken directly from the machine vibration condition monitoring area.     

Early and late results of surgical treatment in patients with primary mediastinal germ cell tumors]

A group of 37 patients--20 (54%) men and 17 (46%) women--aged 2-65, mean 31.6 years, was treated between 1978 and 1995 for different kinds of primary mediastinal germ cell tumours. In 14 (37.8%) of them a mature solid teratoma was diagnosed, in 13 (35.1%)--dermoid cyst, in 5 (13.5%)--malignant teratoma, in 1 (2.7%)--immature teratoma, in 4 (10.8%)--seminoma. Mediastinal tumour was removed completely in 30 (81.1%) patients, partially in 7 (18.9%). Out of 37 patients, 3 (8.1%) died during postoperative time. Out of 26 patients discharged after surgical removal of mature teratomas, all are alive and have been followed-up for 10 years (17 patients) or 5 years (6 patients). Out of 8 discharged after surgical removal of malignant neoplasm, 3 are alive and all of them had primary mediastinal seminoma. One of them has survived 17 years after complete resection, and two patients--7.5 years and 2 years after partial resection and radiotherapy. Mean survival time is 4 years and 2 months for all patients with malignant neoplasm.     

Atomicity failure and the retrenchment atomicity pattern

The issues surrounding the question of atomicity, both in the past and nowadays, are briefly reviewed, and a picture of an ACID (atomic, consistent, isolated, durable) transaction as a refinement problem is presented. An example of a simple air traffic control system is introduced, and the discrepancies that can arise when read-only operations examine the state at atomic and finegrained levels are handled by retrenchment. Non-ACID timing aspects of the ATC example are also handled by retrenchment, and the treatment is generalised to yield the Retrenchment Atomicity Pattern. The utility of the pattern is confirmed against a number of different case studies. One is the Mondex Electronic Purse, its protocol treated as a conventional atomic transaction. Another is the recovery protocol of Mondex, viewed as a compensated transaction (leading to the view that compensated transactions in general fit the pattern). A final one comprises various unruly phenomena occurring in the implementations of software transactional memory systems, which can frequently display non-ACID behaviour. In all cases the Atomicity Pattern is seen to perform well.     

Large displacements in-plane analysis of elastic-plastic frames

A large displacement theory for in-plane elastic plastic frames is formulated. The derivation is based on incremental variational principle using TLA formulation. A beam element with local-global DOF is used in the analysis. The method of solution of the FEM equations is related to computation in the load-configuration space R^N+1.

Results of two numerical examples are compared with classical solutions.     

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar

The Mizar system is one of the pioneering systems aimed at supporting mathematical proof development on a computer that have laid the groundwork for and eventually have evolved into modern interactive proof assistants. We claim that an important milestone in the development of these systems was the creation of organized libraries accumulating all previously available formalized knowledge in such a way that new works could effectively re-use all previously collected notions. In the case of Mizar, the turning point of its development was the decision to start building the Mizar Mathematical Library as a centrally-managed knowledge base maintained together with the formalization language and the verification system. In this paper we show the process of forming this library, the evolution of its design principles, and also present some data showing its current use with the modern version of the Mizar proof checker, but also as a rich corpus of semantically linked mathematical data in various areas including web-based and natural language proof presentation, maths education, and machine learning based automated theorem proving.     

Image deformation in field ion microscopy of faceted crystals

We perform detailed numerical simulations of field ion microscopy images of faceted crystals and compare them with experimental observations. In contrast to the case of crystals with a smooth surface, for a faceted topography we find extreme deformations of the ion image. Local magnification is highly inhomogeneous and may vary by an order of magnitude: from 0.64 to 6.7. Moreover, the anisotropy of the magnification at a point located on the facet edge may reach a factor of 10.     

Dielectric properties of vanadium doped barium titanate synthesized via high-energy ball milling

The study shows the advisability of using a mechanochemical synthesis method, based on a high-energy planetary ball milling, to a modification of barium titanate by a vanadium doping. This method improves useful properties of BaTi_0:95V_0:05O₃ as a capacitor material. It has a high value of electric permittivity ?′ in the wide range of temperature and low dielectric losses ?″ as well as a low electrical conductivity.     

Controlled mechanochemical synthesis and properties of a selected perovskite-type electroceramics

This paper presents mechanochemical synthesis as an alternative to the traditional high-temperature synthesis of advanced electrotechnical ceramic materials with a perovskite-type structure. The reaction conditions for high-energy ball milling, e.g. reaction environment, energy of milling and additives to BaTiO₃ such as metallic iron or zirconia from the exfoliation of the milling vessel and grinding media are discussed.