Carbon fibre cloth as an electrode material: electrical conductivity and mass transfer

The paper deals with carbon fibre cloth electrodes, employed in the fabrication of composite materials. The electrical conductivity of single bundles, groups of bundles and cloth is studied. Ohm's law applies to the electrical conduction in the direction of the fibre length, but bundle conductivity decreases with the number of fibres in the bundle. Electrochemical mass transfer between a flowing electrolyte and a cloth arranged as a flow-through or a flow-by porous electrode indicates the existence of double porosity in the material. Due to double porosity, only the external surface of the cloth works as an electrode. This finding shows that the material is not suitable for such an application.     

Test-data generation for control coverage by proof

Many tools can check if a test set provides control coverage; they are, however, of little or no help when coverage is not achieved and the test set needs to be completed. In this paper, we describe how a formal characterisation of a coverage criterion can be used to generate test data; we present a procedure based on traditional programming techniques like normalisation, and weakest precondition calculation. It is a basis for automation using an algebraic theorem prover. In the worst situation, if automation fails to produce a specific test, we are left with a specification of the compliant test sets. Many approaches to model-based testing rely on formal models of a system under test. Our work, on the other hand, is not concerned with the use of abstract models for testing, but with coverage based on the text of programs.     

A novel electromyographic signal simulator for muscle contraction studies

Mathematical simulation has been widely used in biomedical and biological sciences. In the case of the surface electromyographic (SEMG) activity, some models have been proposed aiming to study muscle contraction strategies that are used during different tasks and conditions. Most of SEMG simulators are based on energy modulation of a Gaussian noise. This work proposes a novel simulator in which the user-defined parameters are associated with the motor units (MUs) recruitment and their firing rate. Comparison between the mean spectrum of real SEMG signals collected in isometric contraction of the muscle biceps brachii and the mean spectrum obtained from simulated SEMG signals showed a good agreement, pointing the proposed simulator seems to be capable to generate consistent electromyographic signals in time and frequency domains and that can be used in many studies, in particular in the evaluation of automatic methods aimed to detect muscular contraction.     

Randomized constraint solvers: a comparative study

The complexity of constraints is a major obstacle for constraint-based software verification. Automatic constraint solvers are fundamentally incomplete: input constraints often build on some undecidable theory or some theory the solver does not support. This paper proposes and evaluates several randomized solvers to address this issue. We compared the effectiveness of a symbolic solver (CVC3), a random solver, two heuristic search solvers, and seven hybrid solvers (i.e. mix of random, symbolic, and heuristic solvers). We evaluated the solvers on a benchmark generated with a concolic execution of 9 subjects. The performance of each solver was measured by its precision, which is the fraction of constraints that the solver can find solution out of the total number of constraints that some solver can find solution. As expected, symbolic solving subsumes the other approaches for the 4 subjects that only generate decidable constraints. For the remaining 5 subjects, which contain undecidable constraints, the hybrid solvers achieved the highest precision (fraction of constraints that a solver can find a solution out of the total number of satisfiable constraints). We also observed that the solvers were complementary, which suggests that one should alternate their use in iterations of a concolic execution driver.     

Biocompatibility and cutaneous reactivity of cellulosic polysaccharide film in induced skin wounds in rats

The development of a skin substitute suitable for immediately performing the function of the lost dermis and epidermis could result in a positive impact on the treatment of patients with extensive skin lesions. A biopolymer film was applied to skin wounds to investigate the biocompatibility and cutaneous reaction and to test its activity as a mechanical barrier and conductor in the healing process. Forty Wistar rats of both sexes were used in the present study. Two excisions were performed in the dorsal part of the skin flaps. The polysaccharide film was applied over one of the incisions and other incision was washed with saline. The time spent for complete healing of both lesions was virtually the same in both groups, during 21 days of observation. The film remained attached to the bed of the exposed wound for an average period of 6 days. There were no statistically significant differences with regard to lesion measurement area at assessment times of 2nd, 7th and 14th postoperative days. At day 21, the scar area showed a significant difference (0.0229). After 40 days, all wounds were completely healed. No statistically significant differences were found between the histological parameters assessed in the experimental and control groups. The cellulosic polysaccharide film integrated well with the tissue showing high biocompatibility and low skin reactivity.     

Composites based on high-density polyethylene,polylactide and calcium carbonate: effect of calcium carbonate nanoparticles as co-compatibilizers

Polymer Bulletin - Investigating the compatibility mechanism of hybrid composites based on two polymers and one mineral nanofiller is a challenge that needs to be better understood. This study...     

Polysaccharides as excipients for colon-specific coatings. Permeability and swelling properties of casted films

Oligosaccharides such as inulin (In) and polysaccharides such as galactomannans, combined with polymethacrylates on isolated films for film coatings, were obtained from aqueous-based solvents and investigated as potential vehicles for colonic drug delivery. These compositions, which are susceptible to fermentation by colonic microflora, constitute promising excipients for the development of new colon-specific therapeutic systems. The characteristics of several compositions have been demonstrated in permeability and swelling studies on isolated films composed of a polymethacrylate associated with In or galactomannans of mesquite seed gum (MSG). Results reported prove a dependency of the properties of mixed films on the polymethacrylate-polysaccharide concentration ratio and on the composition of the dissolution media. An increase in permeability through the mixed films was observed in a simulated colonic environment for the following compositions: Eudragit®RS30D-MSG 70 : 30 w/w; Eudragit® RS30D-In 90 : 10 w/w; Eudragit®RS30D-In 76 : 24 w/w.     

Circumferential pharyngolaryngectomy with total esophagectomy for locally advanced carcinomas

In 1996, 20 of 21 patients with mucosal leishmaniasis, treated in 1994 with aminosidine sulfate, 16mg/kg/day salt, by intramuscular injection for 20 days, were clinically evaluated. One patient died due to disease not related to mucosal leishmaniasis. Seven of 14 patients (66.7% N = 21) who achieved complete remission three months after treatment remained clinically cured 24 months later and seven relapsed in the same period (50% N = 14). Sorological follow-up showed poor correlation with the results of clinical examination.