Relatorio do cruzeiro realizado no Banco de Sofala pelo arrastao Muleve em Julho-Agosto/1979

In July-August 1979 a first survey of Sofala Bank was carried out with shallow water prawn resources as the main objective. Some preliminary conclusions on the circulation in the Sofala Bank and the influence of the Zambezi River in this area were drawn. Analysis of catch rates and distribution of the different prawn species resulted in the division of Sofala Bank in 6 areas. Particular importance is given to the species Penaeus indicus and Metapenaeus monoceros which constitute 70-90% of catches in depths less than 25 m. The greatest concentrations of P. indicus are found very close to the shore, principally in an area north of Quelimane and another south of Angoche. At the time of the survey 40% of females of this species were in late maturing stages. The species M. monoceros is most abundant in depths greater than 15 m, with concentrations south of Zambezi River and in small areas near Pebane and Angoche.

Experiments on the induced spawning and larval rearing of the milkfish, Chanos chanos (Forsskal) in 1979

This paper summarizes the results of the experiments on the induced breeding and larval rearing of milkfish (Chanos chanos) during the 1979 season. Milkfish larvae could be reared successfully without the use of trochophore larvae of oysters as feed during the first few days. In order to induce the ovulation of wild adult milkfish a higher dose of human chorionic gonadotropin hormone is required.

Understanding the branching ratios of chi(c1) -> phi phi,omega omega,omega phi observed at BES-III

In this work, we discuss the contribution of the mesonic loops to the decay rates of chi(c1) -> phi phi, omega omega, which are suppressed by the helicity selection rules and chi(c1) -> phi omega, which is a double- Okubo- ZweigIizuka forbidden process. We find that the mesonic loop effects naturally explain the clear signals of chi(c1) -> phi phi, omega omega decay modes observed by the BES Collaboration. Moreover, we investigate the effects of the omega - phi mixing, which may result in the order of magnitude of the branching ratio BR(chi(c1) -> omega phi) being 10(-7). Thus, we are waiting for the accurate measurements of the BR(chi(c1) -> omega omega), BR(chi(c1) -> phi phi) and BR(chi(c1) -> omega phi) which may be very helpful for testing the long- distant contribution and the omega - phi mixing in chi(c1) -> phi phi, omega omega, omega phi decays.

Copolymerizations of ethylene with alpha-olefin-omega-ols by highly active vanadium(III) catalysts bearing [N,O] bidentate chelated ligands

The copolymerizations of ethylene with polar hydroxyl monomers such as 10-undecen-1-ol, 5-hexen-1-ol and 3-buten-1-ol were investigated by the vanadium(III) catalysts bearing bidentate [N,O] ligands (1, [PhN=C(CH3)CHC(Ph)O]VCl2(THF)(2): 2, [PhN=CHC6H4O]VCl2(THF)(2); 3, [PhN=CHC(Ph)CHO]VCl2(THF)(2)). The polar monomers were pretreated by alkylaluminum before the polymerization. High catalytic activities and efficient comonomer incorporations can be easily obtained by changing monomer masking reagents and polymerization conditions in the presence of diethylaluminium chloride as a cocatalyst. The longer the spacer group, the higher the incorporation of the monomer. Under the mild conditions, the incorporation level of 10-undecen-1-ol reached 13.9 mol% in the resultant copolymers was obtained. The reactivity ratios of copolymerization (r(1) = 41.4, r(2) = 0.02, r(1)r(2) = 0.83) were evaluated by Fineman-Ross method. According to C-13 NMR spectra, polar units were located both on the main chain and at the chain end.

Preparation and properties of conductive polyaniline/poly-omega-aminoundecanoyle fibers

Historically, polyaniline (PANI) had been considered an intractable material, but it can be dissolved in some solvents. Therefore, it could be processed into films or fibers. A process of preparing a blend of conductive fibers of PANI/poly-omega-aminoun-decanoyle (PA11) is described in this paper. PANI in the emeraldine base was blended with PA11 in concentrated sulfuric acid (c-H,SO,) to form a spinning dope solution. This solution was used to spin conductive PANI/PA11 fibers by wet-spinning technology. As-spun fibers were obtained by spinning the dopes into coagulation bath water or diluted acid and drawn fibers were obtained by drawing the as-spun fibers in warm drawing bath water. A scanning electron microscope was employed to study the effect of the acid concentration in the coagulation bath on the microstructure of as-spun fibers. The results showed that the coagulating rate of as-spun fibers was reduced and the size of pore shrank with an increase in the acid concentration in the coagulation bath. The weight fraction of PANI in the dope solution also had an influence on the microstructure of as-spun fibers. The microstructure of as-spun fibers had an influence on the drawing process and on the mechanical properties of the drawn fibers. Meanwhile, the electrically conductive property of the drawn fibers with different percentage of PANI was measured.

Synthesis, 2D NMR, electrochemistry and luminescence of ruthenium(II) complexes with 2,2 '-bipyridine and 5-(omega-bromoalkylamido)-1,10-phenanthroline

The efficient synthesis of 5-(5-bromovaleramido)-1,10-phenanthroline, 5-(6-bromohexanamido)-1,10-phenanthroline, and 5-(11-bromoundecanamido)-1,10-phenanthroline are described, which reacted with cis-Ru(bpy)(2)Cl-2. 2H(2)O and sodium hexafluorophosphate to form Ru(bpy)(2)[phen-NHCO(CH2)(n)Br](PF6)(2) (n = 4, 5 or 10; phen = 1,10-phenanthroline). The intricate H-1 NMR spectra at low field of these complexes were completely assigned in virtue of H-1-H-1 COSY technique. Cyclic voltammetry was used to study electrochemical behaviours of these complexes, and their luminescent properties were investigated with fluorescent spectra.

Conductive polyaniline poly-omega-aminoundecanoyle blending fiber

Conductive fibers were obtained by blending polyaniline with poly-omega-aminoundecanoyle in-concentrated H2SO4 Micro-fiber caused by non-compatibility between the two polymers was valuable for improving conductive property of the fibers. Abnormal effect on the crystallinity of polyaniline and poly-omega-aminoundecanoyle upon drawing stress was observed.

Type-omega DPLs

Type-omega DPLs (Denotational Proof Languages) are languages for proof presentation and search that offer strong soundness guarantees. LCF-type systems such as HOL offer similar guarantees, but their soundness relies heavily on static type systems. By contrast, DPLs ensure soundness dynamically, through their evaluation semantics; no type system is necessary. This is possible owing to a novel two-tier syntax that separates deductions from computations, and to the abstraction of assumption bases, which is factored into the semantics of the language and allows for sound evaluation. Every type-omega DPL properly contains a type-alpha DPL, which can be used to present proofs in a lucid and detailed form, exclusively in terms of primitive inference rules. Derived inference rules are expressed as user-defined methods, which are "proof recipes" that take arguments and dynamically perform appropriate deductions. Methods arise naturally via parametric abstraction over type-alpha proofs. In that light, the evaluation of a method call can be viewed as a computation that carries out a type-alpha deduction. The type-alpha proof "unwound" by such a method call is called the "certificate" of the call. Certificates can be checked by exceptionally simple type-alpha interpreters, and thus they are useful whenever we wish to minimize our trusted base. Methods are statically closed over lexical environments, but dynamically scoped over assumption bases. They can take other methods as arguments, they can iterate, and they can branch conditionally. These capabilities, in tandem with the bifurcated syntax of type-omega DPLs and their dynamic assumption-base semantics, allow the user to define methods in a style that is disciplined enough to ensure soundness yet fluid enough to permit succinct and perspicuous expression of arbitrarily sophisticated derived inference rules. We demonstrate every major feature of type-omega DPLs by defining and studying NDL-omega, a higher-order, lexically scoped, call-by-value type-omega DPL for classical zero-order natural deduction---a simple choice that allows us to focus on type-omega syntax and semantics rather than on the subtleties of the underlying logic. We start by illustrating how type-alpha DPLs naturally lead to type-omega DPLs by way of abstraction; present the formal syntax and semantics of NDL-omega; prove several results about it, including soundness; give numerous examples of methods; point out connections to the lambda-phi calculus, a very general framework for type-omega DPLs; introduce a notion of computational and deductive cost; define several instrumented interpreters for computing such costs and for generating certificates; explore the use of type-omega DPLs as general programming languages; show that DPLs do not have to be type-less by formulating a static Hindley-Milner polymorphic type system for NDL-omega; discuss some idiosyncrasies of type-omega DPLs such as the potential divergence of proof checking; and compare type-omega DPLs to other approaches to proof presentation and discovery. Finally, a complete implementation of NDL-omega in SML-NJ is given for users who want to run the examples and experiment with the language.