Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.     

Perturbative manifolds and the Noether generators of nth-order Poisson equations

A manifold that contains small perturbations will induce a perturbed partial differential equation. The partial differential equation that we select is the Poisson equation – in order to explore the interplay between the geometry of the manifold and the perturbations. Specifically, we show how the problem of symmetry determination, for higher-order perturbations, can be elegantly expressed via geometric conditions.     

Epoxy-silica/clay nanocomposite for silver-based antibacterial thin coatings: structure and ionic mobility

Journal of Solid State Electrochemistry - A novel material was developed using sol-gel chemistry and an environmental-friendly grafting process of clay nanoparticles. In a previous work of our...     

Investigation on Ochratoxin A stability using different extraction techniques

The stability of Ochratoxin A during its extraction using different extraction techniques has been evaluated. Microwave-assisted extraction and pressurised liquid extraction, in addition to two other reference methods of extraction, i.e. ultrasound-assisted and magnetic stirring-assisted extraction, were evaluated. The effect of extraction temperature using the cited techniques was checked.The results show that Ochratoxin A can be extracted using microwave-assisted extraction at temperatures up to 150 °C without degradation. Pressurised liquid extraction can be used at temperatures up to 100 °C, for extraction times of less than 30 min. Further, both ultrasound-assisted extraction and magnetic stirring extraction can be applied at temperatures up to 65 °C.High-performance liquid chromatography combined with fluorescence detection using a Chromolith RP-18e column at a flow rate of 5 mL min⁻¹ was used to quantify the Ochratoxin A. The retention time for the Ochratoxin A was 1.3 min. The limits of detection (LOD) and of quantification (LOQ) were 0.03 and 0.10 μg L⁻¹, respectively.     

Radiation pasteurised oil palm empty fruit bunch fermented with Pleurotus sajor-caju as feed supplement to ruminants

In solid state fermentation, Pleurotus sajor-caju has been found to be able to degrade at least 30% oil palm empty Fruit Bunch (EFB) fibre leaving 70 % useful materials. Conditions under which fermentation carried out were investigated. It was found that, in the temperature range between 25– 28 °C, relative ph between 6–8, moisture between 60–70 % and medium composition of CaCO₃: rice bran 2 %: 5 % were the optimum conditions. The results showed in fermented products that, there were substantial reduction in cellulosic component such as Crude Fiber (CF, 18 %); Acid Detergent Fibre (ADF, 45 %), Neutral Detergent Fibre (NDF, 61 %) and Acid Detergent Lignin (ADL, 14 %). However, Crude Protein (CP, 10%) increased resulted from single cell protein enrichment of mycelial microbial mass. The mass reductions of substrate in fermentation process corresponds to the CO₂ released during fermentation. Hence, attributable to the decreased in content of CF, ADF, NDF, and ADL. The digestibility study has also been carried out to determine the useful level of this product to ruminant. Aflatoxin content was detected low in both the initial substrates and products. Based on nutritional value and low content of aflatoxin, the product is useful as a source of roughage to ruminant.     

Two-dimensional gas motion in nuclear-pumped laser cells at low energy deposits into the gas

The distribution of the two-dimensional gas velocity inside ion-irradiated laser cells is considered for low ion energy deposits into the gas. It is shown that, if the energy deposit is smoothly nonuniform, the twodimensional motion has two quasi-one-dimensional components: the longitudinal gas velocity is practically uniform across the cell and depends on the transversely averaged energy deposit, while the transverse velocity component depends on the difference between the local energy deposit and energy deposit averaged over the transverse direction.     

Design and application of double amplified recirculating ring structure for hybrid fibre buses

The design of a double-parallel amplified recirculating optical delay line utilizing an erbium-doped fibre amplifier for a fibre optical bus is described. This structure is used for amplifying, equalizing and filtering multicarrier signals coming from optoelectronic units attached to fibre couplers. The use of this structure for a hybrid multimode-singlemode fibre bus that includes optoelectronic units for sensors is also demonstrated.     

Polarographic behaviour of salicylaldehyde-2-pyridylhydrazone and its copper(II) complex

The polarographic behaviour of salicylaldehyde-2-pyridylhydrazone (SAPH) has been studied in aqueous buffer solution containing 40% ethanol using DC and DP polarographic methods. In the pH range 1.8–7.5 the observed single irreversible reduction wave is assigned to the splitting of the N-N bond and reduction of C=N centre. In alkaline medium, a second wave appears at a more negative potential due to the reduction of the salicylaldehyde which is formed by hydrolytic decomposition of the SAPH molecule. The effect of pH on the limiting current andE _1/2 as well as the reduction mechanism are discussed and compared with similar compounds. The kinetic parameters of the electrode reaction have been calculated.The analytical properties of the copper(II)-SAPH system is described. The complex gave rise to a single irreversible well-defined wave (E _1/2=–0.58 V at pH=5.2). The reaction process is diffusion controlled. A method is suggested for the determination of Cu(II) in presence of different metal ions as the difference in theirE _1/2 values is sufficient for the purpose.This work is taken partly from the M. Sc. Thesis of Jamal S. Shalabi     

Simultaneous determination of carbaryl and azinphos-methyl in water by first-derivative synchronous spectrofluorimetry

A method is proposed for the simultaneous determination of the pesticides carbaryl (CBL) and azinphos-methyl (AZM) in water by first-derivative synchronous spectrofluorimetry. It is based on the alkaline hydrolysis of both pesticides to their metabolites 1-naphthol (from CBL) and anthranilic acid (from AZM). The constant wavelength difference chosen to optimize the determination is Δλ=λ_em?λ_ex=103 nm. CBL is measured at 302/405 nm and AZM at 333/436 nm. The calibration graphs are linear between 2.0 and 500.0 ng/ml for CBL and between 1.2 and 500.0 ng/ml for AZM with detection limits of 0.62 ng/ml and 0.35 ng/ml, respectively. The precision of the method (RSD) is 2.4% at the 80.0 ng/ml level for CBL and 2.5% at the 80.0 ng/ml level for AZM. The method is applied to the determination of both analytes in samples of natural waters.     

反应原料组成对单分散苯乙烯微球粒径及其分布的影响

采用分散聚合工艺制备微米级单分散聚苯乙烯微球，并对分散聚合反应的内部影响因素(分散稳定剂、助稳定剂、单体、引发剂)进行了研究．结果表明，随着分散稳定剂和助稳定剂用量的增加，聚苯乙烯微球的粒径减小；随着单体和引发剂用量的增加，聚苯乙烯微球的粒径增大．分散稳定剂和单体用量是影响聚苯乙烯微球粒径分布的两个主要内部因素．