959 resultados para Fractional Navier-Stokes Equation, Separation of Variables, Adomian Decomposition
Resumo:
The objective of this research was to test the addition of soymilk residue, also known as okara, to a molded sweet biscuit (MSB). The okara was provided by two soymilk producing companies whose production systems are based on hot disintegration of decorticated (company B) or non-decorticated (company A) soybeans and separation of the soymilk. Okaras A and B were dehydrated in a flash dryer and then ground to a flour (< 200 mesh). The okara flours showed high protein (35 g.100 g-1 dwb), lipid (17 g.100 g-1 dwb), and fiber (17 to 21 g.100 g-1 dwb) contents. The water holding capacity, protein solubility, emulsifying capacity, emulsion stability and isoflavone contents found in flour A were significantly higher (p < 0.05) than in flour B. The formulation of MSB, replacing 30% (w/w) of the wheat flour with okara flour was tested. The results of the physical measurements, brittleness and water activity of the MSB with flours A and B did not differ significantly (p < 0.05) from those of the standard. The color, flavor and overall quality of the MSB with 30% of okara flour B did not differ significantly from those of the standard biscuit, demonstrating its potential for application in confectionery products.
Resumo:
"Petit Suisse" is a creamy cheese. Kefir is a symbiotic mixture of lactic acid bacteria and yeasts with probiotic activity including immunomodulation and balance of intestinal microflora. The present study aims to develop "Petit Suisse" cheese from kefir. Kefir grains were grown in pasteurized cow milk, and after the separation of kefir the serum was discarded and the "Petit Suisse" cheese was prepared using strawberry, mangaba, herbs, and dried tomatoes. The acceptance of the different preparations was evaluated using a nine-point hedonic scale followed by ANOVA. The sweet and salty products were compared by the Student's t-test. Purchase intent was evaluated by the means test and frequency distribution. All products were well accepted by the judges. The product was characterized by low yield, but it can be prepared at home at low cost. The nutritional composition analyses and the variety of flavors as well as the range of age of the judges are alternatives for further studies.
Resumo:
Schinus terebinthifolius is a native forest species which may be used in recuperating degraded areas and in urban afforestation. In order to evaluate the efficiency of methods for separating lots of S. terebinthifolius seeds into vigor levels, five lots of seeds were qualitatively evaluated for their moisture content, germination, first count, accelerated aging (the traditional and the saturated salt methods), germination speed index, average time of germination and seedling length and dry weight. The results showed that the tests of first germination count, accelerated aging at 41 ºC for 72 hours, average time of germination, seedling length and dry matter permitted the separation of S. terebinthifolius seeds into different vigor levels.
Resumo:
Catharanthus roseus is the sole biological source of the medicinal compounds vinblastine and vincristine. These chemotherapeutic compounds are produced in the aerial organs of the plant, however they accumulate in small amounts constituting only about 0.0002% of the fresh weight of the leaf. Their limited biological supply and high economical value makes its biosynthesis important to study. Vinblastine and vincristine are dimeric monoterpene indole alkaloids, which consists of two monomers vindoline and catharanthine. The monoterpene indole alkaloids (MIA's) contain a monoterpene moiety which is derived from the iridoid secologanin and an indole moiety tryptamine derived from the amino acid tryptophan. The biosynthesis of the monoterpene indole alkaloids has been localized to at least three cell types namely, the epidermis, the laticifer and the internal phloem assisted parenchyma. Carborundum abrasion (CA) technique was developed to selectively harvest epidermis enriched plant material. This technique can be used to harvest metabolites, protein or RNA. Sequencing of an expressed sequence tagged (EST) library from epidermis enriched mRNA demonstrated that this cell type is active in synthesizing a variety of secondary metabolites namely, flavonoids, lipids, triterpenes and monoterpene indole alkaloids. Virtually all of the known genes involved in monterpene indole alkaloid biosynthesis were sequenced from this library.This EST library is a source for many candidate genes involved in MIA biosynthesis. A contig derived from 12 EST's had high similarity (E'^') to a salicylic acid methyltransferase. Cloning and functional characterization of this gene revealed that it was the carboxyl methyltransferase imethyltransferase (LAMT). In planta characterization of LAMT revealed that it has a 10- fold enrichment in the leaf epidermis as compared to the whole leaf specific activity. Characterization of the recombinant enzyme revealed that vLAMT has a narrow substate specificity as it only accepts loganic acid (100%) and secologanic acid (10%) as substrates. rLAMT has a high Km value for its substrate loganic acid (14.76 mM) and shows strong product inhibition for loganin (Kj 215 |iM). The strong product inhibition and low affinity for its substrate may suggest why the iridoid moiety is the limiting factor in monoterpene indole alkaloid biosynthesis. Metabolite profiling of C. roseus organs shows that secologanin accumulates within these organs and constitutues 0.07- 0.45% of the fresh weight; however loganin does not accumulate within these organs suggesting that the product inhibition of loganin with LAMT is not physiologically relevant. The limiting factor to iridoid and MIA biosynthesis seems to be related to the spatial separation of secologanin and the MIA pathway, although secologanin is synthesized in the epidermis, only 2-5% of the total secologanin is found in the epidermis while the remaining secologanin is found within the leaf body inaccessable to alkaloid biosynthesis. These studies emphasize the biochemical specialization of the epidermis for the production of secondary metabolites. The epidermal cells synthesize metabolites that are sequestered within the plant and metabolites that are secreted to the leaf surface. The secreted metabolites comprise the epidermome, a layer separating the plant from its environment.
Resumo:
A Gram negative aerobic flagellated bacterium with fungal growth inhibitory properties was isolated from a culture of Trichoderma harzianum. According to its cultural characteristics and biochemical properties it was identified as a strain of Alcaligenes (aeca/is Castellani and Chalmers. Antisera prepared in Balbc mice injected with live and heat-killed bacterial cells gave strong reactions with the homologous immunogen and with ATCC 15554, the type strain of A. taeca/is, but not with Escherichia coli or Enterobacter aerogens in immunoprecipitation and dot immunobinding assays. Growth of Botrytis cinerea Pers. and several other fungi was significantly affected when co-cultured with A. taeca/is on solid media. Its detrimental effect on germination and growth of B. cinerea has been found to be associated with antifungal substances produced by the bacterium and released into the growth medium. A biotest for the antibiotic substances, based on their inhibitory effect on germination of B. cinerea conidia, was developed. This biotest was used to study the properties of these substances, the conditions in which they are produced, and to monitor the steps of their separation during extraction procedures. It has been found that at least two substances could be involved in the antagonistic interaction. One of these is a basic volatile substance and has been identified as ammonia. The other substance is a nonvolatile, dialysable, heat stable, polar compound released into the growth medium. After separation of growth medium samples by Sephadex G-10 column chromatography a single peak with a molecular weight below 700 Daltons exhibited inhibitory activity. From its behaviour in electrophoretic separation in agarose gels it seems that this is a neutral or slightly positively charged.
Resumo:
The challenge the community college faces in helping meet the needs of the living open system of society is examined in this study. It is postulated that internalization student outcomes are required by society to reduce entropy and remain self-renewing. Such behavior is characterized as having an intrinsically motivated energy source and displays the seeking and conquering of challenge, the development of reflective knowledge and skill, full use of all capabilities, internal control, growth orientation, high self-esteem, relativistic thinking and competence. The development of a conceptual systems model that suggests how transactions among students, faculty and administration might occur to best meet the needs of internalization outcomes in students, and intrinsic motivation in faculty is a major purpose of this study. It is a speculative model that is based on a synthesis of a wide variety of variables. Empirical evidence, theoretical considerations, and speculative ideas are gathered together from researchers and theoretici.ans who are working on separate answers to questions of intrinsic motivation, internal control and environments that encourage their development. The model considers the effect administrators·have on faculty anq the corresponding effect faculty may have on students. The major concentration is on the administrator--teacher interface.For administrators the model may serve as a guide in planning effective transactions, and establishing system goals. The teacher is offered a means to coordinate actions toward a specific overall objective, and the administrator, teacher and researcher are invited to use the model to experiment, innovate, verify the assumptions on which the model is based, and raise additional hypotheses. Goals and history of the community colleges in Ontario are examined against current problems, previous progress and open system thinking. The nature of the person as a five part system is explored with emphasis on intrinsic motivation. The nature, operation, conceptualization, and value of this internal energy source is reviewed in detail. The current state of society, education and management theory are considered and the value of intrinsically motivating teaching tasks together with "system four" leadership style are featured. Evidence is reviewed that suggests intrinsically motivated faculty are needed, and "system four" leadership style is the kind of interaction-influence system needed to nurture intrinsic motivation in faculty.
Resumo:
Electrostatic forces between membranes containing charged lipids were assumed to play an important role in influencing interactions between membranes long before quantitative measurements of such forces were available. ~ur measurements were designed to measure electrostatic forces between layers of lecithin charged with lipi~s carrying ionizable head groups. These experiments have shown that the interactions between charged lipid bila.yere are dominated by electrostatic forces only at separations greater than 30 A. At smaller separations the repulsion between charged bilayers is dominated by strong hydration forces. The net repulsive force between egg lecithin bilayers containing various amounts of cherged lipids (phosphatidylglycerol (PG) 5,10 ano 50 mole%, phosphatidyli. nosi tol (PI) 10 mole% and sodium oleate (Na-Ol) 3,5 and 10 mole%, where mole% gives the ratio of the number of moles' of .charged lipid to the total number of moles of all lipids present in the sample) was stuoied with the help ('If the osmotic streas technique described by LeNeveu et aI, (1977). Also, the forces between pure PG were j_nvestigated in the same manner. The results have been plotted showing variation of force as a function of bilay- _ er separation dw• All curVes 90 obtained called force curves, were found to be similar in sha.pe, showing two distinct regions, one when dw<.30 A is a region cf very rapid iiivariation of force with separation ( it is the region dominated by hydre,tion force) and second when dw> 40 A is a region of very slow variation of force with separB.tion ( it is the region dominated by the electrostatic force). Between these two regions there exists a transition area in which, in most systems studied, a phase separation of lipids into fractions containing different amounts of charged groups, was observed. A qualitative analysis showed that our results were v/ell described by the simple electrostatic double -le.yer theory. For quantitative agreement between measured and calculated force curves however, the charge density for the calculations had to be taken as half of that given by the number density of charged lipids present in the lecithin bilayers. It is not clear at the moment what causes such low apparent degree of ionization among the charged head groups, and further study is needed in this area.
Resumo:
Silicon carbide, which has many polytypic modifications of a very simple and very symmetric structure, is an excellent model system for exploring, the relationship between chemical shift, long-range dipolar shielding, and crystal structure in network solids. A simple McConnell equation treatment of bond anisotropy effects in a poly type predicts chemical shifts for silicon and carbon sites which agree well with the experiment, provided that contributions from bonds up to 100 A are included in the calculation. The calculated chemical shifts depend on three factors: the layer stacking sequence, electrical centre of gravity, and the spacings between silicon and carbon layers. The assignment of peaks to lattice sites is proved possible for three polytypes (6H, 15R, and 3C). The fact that the calculated chemical shifts are very sensitive to layer spacings provides us a potential way to detennine and refine a crystal structure. In this work, the layer spacings of 6H SiC have been calculated and are within X-ray standard deviations. Under this premise, the layer spacings of 15R have been detennined. 29Si and 13C single crystal nmr studies of 6H SiC polytype indicate that all silicons and carbons are magnetically anisotropic. The relationship between a magnetic shielding tensor component and layer spacings has been derived. The comparisons between experimental and semi-empirical chemical shielding tensor components indicate that the paramagnetic shielding of silicon should be included in the single crystal chemical shift calculation.
Resumo:
As Ca2+ and phosphatidylserine (PS) are known to induce the adhesion of bilayer vesicles and form collapsed multibilayer structures in vitro, it was the aim of this study to examine how that interaction and the resultant structures might be modified by neutral lipid species. X-ray diffraction data from multilamellar systems suggest that phosphatidylcholine (PC) and diacylglycerol (DG) might be in the collapsed phase up to a concentration of -30 mole % and that above this concentration these neutral lipids may modify Ca2+-induced bilayer interactions. Using large unilamellar vesicles and long incubations in excess Ca2+ to ensure equilibration, similar preliminary results were again obtained with PC, and also with phosphatidylethanolamine (PE). A combination of X-ray diffraction, thin-layer chromatography, density gradient centrifugation and freeze-fracture electron microscopy, used in conjunction with an osmotic stress technique, showed that (i) -30 mole % PC can be accomodated in the Ca(DOPS)2 phase; and (ii) higher PC levels modify Ca2+-induced bilayer interactions resulting in single lamellar phases of larger dimension and reduced tendency for REV collapse. Importantly, the data suggest that PC is dehydrated during the rapid collapse process leading. to Ca(DOPS)2 formation and exists with this dehydrated phase. Similar results were obtained using PS isolated from bovine brain. Preliminary studies using two different phosphatidylethanolamine (PE) species indicated accomodation by Ca(DOPS)2 of -25-30 mole 0/0 PE and bulk phase separation, of species favouring a non-bilayer phase, at higher levels. Significantly, all PS/PE vesicles appear to undergo a complete Ca2+-induced collapse, even with contents of up to 90 mole % PE. These data suggest that PE may have an important role in fusion mechanisms in vivo. In sum the data lend both structural and stoichiometric evidence for th~ existence of laterally segregated neutral lipid molecules within the same bilayers as PS domains exposed to Ca2+.
Resumo:
The goal of this thesis was to study factors related to the development of Brassica juncea as a sustainable nematicide. Brassica juncea is characterized by the glycoside (glucosinolate) sinigrin. Various methods were developed for the determination of sinigrin in Brassica juncea tissue extracts. Sinigrin concentrations in plant tissues at various stages of growth were monitored. Sinigrin enzymatically breaks down into allylisothiocyanate (AITC). AITC is unstable in aqueous solution and degradation was studied in water and in soil. Finally, the toxicity of AITC against the root-lesion nematode (Pratylenchus penetrans) was determined. A method was developed to extract sinigrin from whole Brassica j uncea tissues. The optimal time of extraction wi th boiling phosphate buffer (0.7mM, pH=6.38) and methanol/water (70:30 v/v) solutions were both 25 minutes. Methanol/water extracted 13% greater amount of sinigrin than phosphate buffer solution. Degradation of sinigrin in boiling phosphate buffer solution (0.13%/minute) was similar to the loss of sinigrin during the extraction procedure. The loss of sinigrin from boiling methanol/water was estimated to be O.Ol%/minute. Brassica juncea extract clean up was accomplished by an ion-pair solid phase extraction (SPE) method. The recovery of sinigrin was 92.6% and coextractive impurities were not detected in the cleaned up extract. Several high performance liquid chromatography (HPLC) methods were developed for the determination of sinigrin. All the developed methods employed an isocratic mobile phase system wi th a low concentration of phosphate buffer solution, ammonium acetate solution or an ion-pair reagent solution. A step gradient system was also developed. The method involved preconditioning the analytical column with phosphate buffer solution and then switching the mobile phase to 100% water after sample injection.Sinigrin and benzyl-glucosinolate were both studied by HPLC particle beam negative chemical ionization mass spectrometry (HPLCPB- NCI-MS). Comparison of the mass spectra revealed the presence of fragments arising from the ~hioglucose moiety and glucosinolate side-chain. Variation in the slnlgrin concentration within Brassica juncea plants was studied (Domo and Cutlass cuItivars). The sinigrin concentration in the top three leaves was studied during growth of each cultivar. For Cutlass, the minimum (200~100~g/g) and maximum (1300~200~g/g) concentrations were observed at the third and seventh week after planting, respectively. For Domo, the minimum (190~70~g/g) and maximum (1100~400~g/g) concentrations were observed at the fourth and eighth week after planting, respectively. The highest sinigrin concentration was observed in flower tissues 2050±90~g/g and 2300±100~g/g for Cutlass and Domo cultivars, respectively. Physical properties of AITC were studied. The solubility of AITC in water was determined to be approximately 1290~g/ml at 24°C. An HPLC method was developed for the separation of degradation compounds from aqueous AITC sample solutions. Some of the degradation compounds identified have not been reported in the literature: allyl-thiourea, allyl-thiocyanate and diallyl-sulfide. In water, AITC degradation to' diallyl-thiourea was favored at basic pH (9.07) and degradation to diallyl-sulfide was favored at acidic pH (4 . 97). It wap necessary to amend the aqueous AITC sample solution with acetonitrile ?efore injection into the HPLC system. The acetonitrile amendment considerably improved AITC recovery and the reproducibility of the results. The half-life of aqueous AITC degradation at room temperature did not follow first-order kinetics. Beginning with a 1084~g/ml solution, the half-life was 633 hours. Wi th an ini tial AITC concentration of 335~g/ml the half-life was 865 hours. At 35°C the half-life AITC was 76+4 hours essentially independent of the iiisolution pH over the range of pH=4.97 to 9.07 (1000~g/ml). AITC degradation was also studied in soil at 35°C; after 24 hours approximately 75% of the initial AITC addition was unrecoverable by water extraction. The ECso of aqueous AITC against the root-lesion nematode (Pratylenchus penetrans) was determined to be approximately 20~g/ml at one hour exposure of the nematode to the test solution. The toxicological study was also performed with a myrosinase treated Brassica juncea extract. Myrosinase treatment of the Brassica juncea extract gave nearly quantitative conversion of sinigrin into AITC. The myrosinase treated extract was of the same efficacy as an aqueous AITC solution of equivalent concentration. The work of this thesis was focused upon understanding parameters relevant to the development of Brassica juncea as a sustainable nematicide. The broad range of experiments were undertaken in support of a research priority at Agriculture and Agri-Food Canada.
Resumo:
The relationships among chick feeding, size and type of prey item, and foraging time away from the brood have not been well studied in seabirds. This study investigated spatial and temporal patterns of foraging and chick-provisioning among 23 radio-tagged male common terns nesting at Hamilton Harbour, Lake Ontario during 1991 and 1992. Telemetry data were collected concurrently with behavioural observations from an elevated blind. Terns fitted with transmitters did not differ from controls with respect to either brood attendance, patterns of chick mortality, species and size distributions of prey delivered to offspring, or chick-provisioning rates. There was a clear separation of parental roles: males were primarily responsible for feeding chicks while females allocated more time to brood attendance. The prey species most commonly delivered to chicks by adults were rainbow smelt (Osmerus mordax) and alewife (A/osa pseudoharengus), followed in importance by larval fish, emerald shiner (Notropis antherinoides), salmonids, and fathead minnows (Pimepha/es prome/as). The relative proportions of various fish speCies delivered to chicks by males differed over the course of each breeding season, and there was also much variability in species composition of prey between years. Sizes of prey delivered to chicks also differed between sampling periods. The modal size of fish brought to chicks during Peak 1991 was 1.5 bill lengths, while the majority of prey in Late 1991 were small larval fish. The reverse trend occurred in 1992 when small fish were delivered to chicks predominantly during the Peak nesting period. During periods when predominantly small fish were delivered to chicks, the foraging activity of radio-tagged males was concentrated within a two kilometer radius of the colony. The observed variation in prey composition and foraging locations during the study likely reflects temporal variation in the availability of prey in the vicinity of the colony. Males delivered fish to chicks at a constant rate, while females 4 increased their feeding frequency over the first six to ten brood days. The mean length of fish delivered to chicks by adults increased significantly with increasing chick age. As a group, within each nesting period, transmittered males either foraged predominantly in the same directional bearing (north during Peak 1991, south during Late 1992), or concentrated foraging activity in the immediate vicinity of the colony (Late 1991, Peak 1992). However, individual radio-tagged males exhibited unique and predictable foraging patterns, often favouring specific locations within these areas and differing in their secondary foraging patterns. Overall, the Lake Ontario shoreline between NCB Bay" (3.5 km south of colony) and the lift bridge canal (4 km north of colony) was the foraging area used most frequently by radiotagged males during the chick-rearing period. Foraging patterns of transmittered males at Windermere Basin are similar to patterns of peak-nesting common terns, but differ from those of late-nesters, at a nearby colony (Port Colborne, Lake Erie). Differences between the foraging patterns of late-nesting terns at these colonies likely reflect differences in annual patterns of fish availability between the two locations. No relationship was found between foraging proficiency of adults and survival of offspring. Stochastic factors, such as predation by black-crowned nightherons (Nycticorax nycticorax) and adverse weather conditions during the early stages of chick rearing, may be more important determinants of common tern breeding success than parental quality or fish availability.
Resumo:
Sweat bees exhibit a range of social behaviours, from solitary nesting, in which no workers are produced, to strong eusociality, in which workers exhibit a high degree of altruism, behaviour that is measured by the degree of personal reproductive sacrifice. Field studies were carried out for seven weeks during May-June 2000 in southern Greece in order to investigate intraspecific social variation, and test the hypothesis of a north-south cline of decreasing eusociality in the obligately eusocial sweat bee L. (E.) malachurum. A comparative study, using principal components analysis, was performed to determine if patterns of intraspecific social variation in L. malachurum reflect the patterns of social variation within the subgenus, Evylaeus, as a whole. The results of the field study reveal that, in Greece, two worker broods were produced followed by a third brood consisting of gynes, males and some workers, indicating that there was an overlap in worker and gyne production. There was strong caste distinction between queens and workers. Workers actively foraged and participated in nest construction as most workers (58%, n=303) had a high degree of mandibular wear. Workers did not participate in the oviposition of Brood 3 gynes since only 0.7% (n=278) of workers were mated. Furthermore, queen survival until the end of Brood 3 and a substantial size differential of 10.6% between queens and workers suggested that queen domination over worker behaviour during the early to mid-part of the colony cycle was plausible. Male production in Brood 3 by some workers was likely, since the timing of worker ovarian development corresponded with the timing of male production. These findings suggest that workers of the first two broods were primarily altruistic, but some (28%) Brood 1 (9%) and Brood 2 (19%) workers produced males, indicating that the degree of altruistic behaviour declined during the lifetime of the colony. In comparison with other L. malachurum populations in Europe, the Greek population of L. malachurum had a weaker social level as a result of the higher proportion of workers potentially involved in male production, thus 3 supporting the hypothesis of a southerly cline of decreasing eusociality. Furthermore, intraspecific variation in social level across Europe appears to be due to longer breeding seasons in more southerly locations that would promote the production of larger colonies and provide opportunities for workers to evade queen control. The comparative study using principal components analysis on 20 solitary (of the subgenera Evylaeus and Lasioglossum), eusocial and socially polymorphic Evylaeus species and populations reveals that six traits are closely associated with stronger eusociality in Evylaeus. These traits are: (1) a reduction in the proportion of males in the early brood(s); (2) a reduction in the proportion of females that mate; (3) an increase in the mean number of first brood workers; (4) a reduction in the proportion of females with developed ovaries; (5) an increase in size dimorphism between castes, and (6) nest guarding. These are traits that most significantly define principal component one and therefore distinguish social type as indicated by a clear separation of the eusocial and the solitary populations, with a socially polymorphic species falling in between. Furthermore, most of these traits are under foundress control and may suggest that the evolutionary loss or gain of eusociality is based on selection pressures on a founding female. Colony size and female ovarian development are common factors distinguishing social variation in L. malachurum and within the subgenus as a whole. The principal components analysis excluding the solitary species and the socially aberrant L. marginatum populations show the L. malachurum populations separated based on an increasing proportion of workers with developed ovaries as populations are found more south, lending further support to the hypothesis of a north-south cline of decreasing eusociality.
Resumo:
Several stresses to tissues including hyperthermia, ischemia, mechanical trauma and heavy metals have been demonstrated to affect the regulation of a subset of the family of heat shock proteins of70kOa (hsp70). In several organisms following some of these traumas, the levels of hsp70 mRNA and proteins are dramatically upregulated. However, the effects of the stress on limb and tail amputation in the newt Notophthalmus viridescens, involving mechanical tissue damage, have not adequately been examined. In the present study, three techniques were utilized to quantitate the levels of hsp70 mRNA and protein in the tissues of the forelimbs and tails of newts during the early post-traumatic events following surgical resection of these:: appendages. These included quantitative Western blotting of proteins separated by both one and twodimensional SDS-polyacrylamide gel electrophoresis and quantitative Northern blot analysis of total RNA. In tissues of both the limb and tail one hour after amputation, there were no significant differences in the levels of hsp70 protein measured by one-dimensional SOSPAGE followed by Western blotting, when compared to the levels measured in the unamputated limb. A 30 minute heat shock at 35°C failed to elicit an increase in the levels of hsp70 protein in these tissues. Further analysis using the more sensitive 20 PAGE separation of stump tissue proteins revealed that at least some of the five hsp70 isoforms of the newt may be differentially regulated in limbs and tails in response to trauma. It appears also that amputation of the tail and limb tissues leads to slight 3 elevation in the levels of HSP70 mRNA when compared to those of their respective unstressed tissues.
Resumo:
If you want to know whether a property is true or not in a specific algebraic structure,you need to test that property on the given structure. This can be done by hand, which can be cumbersome and erroneous. In addition, the time consumed in testing depends on the size of the structure where the property is applied. We present an implementation of a system for finding counterexamples and testing properties of models of first-order theories. This system is supposed to provide a convenient and paperless environment for researchers and students investigating or studying such models and algebraic structures in particular. To implement a first-order theory in the system, a suitable first-order language.( and some axioms are required. The components of a language are given by a collection of variables, a set of predicate symbols, and a set of operation symbols. Variables and operation symbols are used to build terms. Terms, predicate symbols, and the usual logical connectives are used to build formulas. A first-order theory now consists of a language together with a set of closed formulas, i.e. formulas without free occurrences of variables. The set of formulas is also called the axioms of the theory. The system uses several different formats to allow the user to specify languages, to define axioms and theories and to create models. Besides the obvious operations and tests on these structures, we have introduced the notion of a functor between classes of models in order to generate more co~plex models from given ones automatically. As an example, we will use the system to create several lattices structures starting from a model of the theory of pre-orders.