THE GENERAL AN INDEX AND ITS APPLICATION .4. THE APPLICATION OF GENERAL AN INDEX TO HYDROCARBONS

The general a(N) index (GAI) was used to characterize the cis, trans isomers of hydrocarbons. The best one-variable equations were obtained with GAI for several physicochemical properties of seven pairs of olefin cis, trans isomers. The linear correlation coefficients are in the range of 0.975 to 0.997. GAI was also compared with the other five topological indices, Randic connectivity index chi, Wiener number W, Hosoya index Z, the average distance sum connectivity J proposed by Balaban and a(N) index introduced by Yang, in correlating with the octane number (MON) of heptanes and octanes.

The genomic structure, alternative splicing and immune response of Chlamys farreri thioester-containing protein

MEP is a member of thioester-containing protein (TEP) family found in Zhikong scallop Chlamys farreri and is involved in innate immunity against invading microbes. In the present study, the genomic DNA of CfTEP was cloned and characterized. The genomic DNA sequence of CfTEP consisted of 40 exons and 39 introns spanning 35 kb with all exon-intron junction sequences agreeing with the GT/AG consensus. The genomic organization of CfTEP was similar to human and mouse 0 rather than ciona C3-1 and Drosophila dTEP2. By RT-PCR technique, seven different cDNA variants of CfTEP (designated as CfTEP-A-CfTEP-G) were cloned from scallop gonad. CfTEP-A-CfTEP-F were produced by alternative splicing of six mutually exclusive exons (exons 19-24), respectively, which encoded the highly variable central region. While in CfTEP-G, the deletion of all the six exons introduced a new translation stop site and might trigger nonsense mediated decay (NMD). The mRNA expression and the proportion of the seven CfTEP variant transcripts were examined in the gonad of scallops after bacterial challenge. The fragments containing the highly variable central region of UTEP were amplified by RT-PCR and a 100 positive clones were sequenced randomly. The expression profiles of the seven MEP variants were different and displayed the sex and bacteria dependent manner. In the blank, sea water and Listonella anguillarum challenged subgroups of male scallops, all the transcripts detected were CfTEP-G isoform. In the Micrococcus luteus challenged subgroup, the isoforms expressed and their proportions were CfTEP-F (54%), CfTEP-B (23%), CfTEP-A (10%), CfTEP-C (7%) and CfTEP-E (6%). However, in the gonad of female scallops, only CfTEP-A were found in blank and sea water challenged subgroups. After L anguillarum or M. luteus challenge, four and five isoforms were detected, respectively, with CfTEP-F isoform being the most one in the both subgroups. These results suggested that the evolution of TEP genes was very complex, and that the diverse CfTEP transcripts generated by alternative splicing played an important role as pattern recognition receptors in the innate immune defense of scallops. (C) 2009 Elsevier Ltd. All rights reserved.

The complete amino acid sequence of growth hormone and partial amino acid sequence of prolactin and somatolactin from sea perch (Lateolabrax japonicus)

Growth hormone (GH), prolactin (PRL) and somatolactin (SL) were purified simultaneously under alkaline condition (pH 9.0) from pituitary glands of sea perch (Lateolabrax japonicas) by a two-step procedure involving gel filtration on Sephadex G-100 and reverse-phase high-performance liquid chromatography (rpHPLC). At each step of purification, fractions were monitored by sodium dodecyl sulfate polyacrylamide gel electrophoresis (SDS-PAGE) and by immunoblotting with chum salmon GH. PRL and SL antisera. The yields of sea perch GH, PRL and SL were 4.2, 1.0 and 0.28 mg/g wet tissue, respectively. The molecular weights of 19,200 and 20,370 Da were estimated by SDS-PAGE for sea perch GH and PRL, respectively. Two forms of sea perch SL were found: one (28,400 Da) is probably glycosylated, while the other one (23,200 Da) is believed to be deglycosylated. GH bioactivity was examined by an in vivo assay. Intraperitoneal injection of sea perch GH at a dose of 0.01 and 0.1 mug/g body weight at 7-day intervals resulted in a significant increase in body weight and length of juvenile rainbow trout. The complete sea-perch GH amino acid sequence of 187 residues was determined by sequencing fragments cleaved by chemicals and enzymes. Alignment of sea-perch GH with those of other fish GHs revealed that sea-perch GH is most similar to advanced marine fish, such as tuna, gilthead sea bream, yellowfin porgy, red sea bream, bonito and yellow tail with 98.4, 96.2%, 95.7%, 95.2%, 94.1% and 91% sequence identity, respectively. Sea-perch GH has low identity to Atlantic cod (76.5%), hardtail (73.3%), flounder (68.4%), chum salmon (66.3%), carp (54%) and blue shark (38%). Partial amino-acid sequences of 127 of sea-perch PRL and the N-terminal of 16 amino-acid sequence of sea-perch SL have been determined. The data show that sea-perch PRL has a slightly higher sequence identity with tilapia PRL( 73.2%) than with chum salmon PRL(70%) in this 127 amino-acid sequence. (C) 2001 Elsevier Science B.V. All rights reserved.

Expression of a twist-related gene, Bbtwist, during the development of a lancelet species and its relation to cephalochordate anterior structures

Mesoderm formation plays a crucial role in the establishment of the chordate body plan. In this regard, lancelet embryos develop structures such as the anteriorly extended notochord and the lateral divertecula in their anterior body. To elucidate the developmental basis of these structures, we examined the expression pattern of a lancelet twist-related gene, Bbtwist, from the late gastrula to larval stages. In late-gastrula embryos, the transcripts of Bbtwist were detected in the presumptive first pair of somites and the middorsal wall of the primitive gut. The expression of Bbtwist was then upregulated in the lateral wall of somites and the notochord. At the late-neurula stage, it was also expressed in the anterior wall of the primitive gut, as well as in the evaginating lateral diverticula. No signal was detected in the left lateral diverticulum when it was separated from the gut, while in the right one, the gene was expressed later during the formation of the head coelom in knife-shaped larvae, and in the anterior part of the notochord in the same larvae. In 36-h larvae, only faint expression was detected in the differentiating notochordal and paraxial mesoderm in the caudal region. These expression patterns suggest that Bbtwist is involved in early differentiation of mesodermal subsets as seen in Drosophila and vertebrates. The expression in the anterior notochord may be related to its anterior expansion. The expression in the anterior wall of the primitive gut and its derivative, the lateral diverticula, suggests that lancelets share the capability to produce a mesodermal population from the tip of the primitive gut with nonchordate deuterostome embryos. (C) 1998 Academic Press.

The history of the Yangtze River entering sea since the last glacial maximum: a review and look forward

This review paper provides a brief review on the development of ideas in the fields of the sea level change of the ECS (East China Sea), the history of the Yangtze River entering the sea and paleochannels in the shelf of the ECS since the Last Glacial Maximum (LGM). The paper summarizes two opposite theories about the Yangtze River entering the sea during the LGM. One theory is that the Yangtze River input a lacustrine in the north of Jiangsu province which was defunct in middle Holocene, and the river was once dry. The other was that the Yangtze River still existed and entered into the Okinawa Trough during the LGM, but scholars share different opinions on which course the river ran across and which place the river input the trough. This paper concludes future work is to study the evolution of the Yangtze River and the paleoclimate and the corresponding events as a whole from the view of regional and even global change, and more attention should be paid to the study on mud sediment, the Yangtze River's response to the changes in climate and sea-level, and the channel metamorphosis.

Heinrich event imprints in the Okinawa Trough: evidence from oxygen isotope and planktonic foraminifera

Planktonic foraminiferal faunas, oxygen isotope and modern analog technique sea surface temperature records were obtained in piston core DGKS9603 (28degrees08.869'N, 127degrees16.238'E, water depth 1100 in) collected from the middle Okinawa Trough. During the last glaciation, four cold events were identified and correlate Heinrich events (HE) H2-5 of the last 45 ka. During the last deglaciation, core DGKS9603 has begun to be influenced by the Kuroshio since about 16 cal ka BP. Three weakenings of this warm current occurred at about 2.8-5.3, 11.4 and 15.5 cal ka BP respectively. Among the three fluctuations, the oldest one is synchronous with HE1 and could be a response to the strong cooling observed in the North Atlantic Ocean. The fluctuation occurring at about 11.4 cal ka ago corresponds to the Younger Dryas within the age error bars. Our observations provide new evidence that the HEs documented from Greenland and the northern North Atlantic had a global climatic impact. Changes in the intensity of the East Asian monsoon could be the main mechanism responsible for the paleoccanographic variations observed in the Okinawa Trough. (C) 2001 Elsevier Science B.V. All rights reserved.

Observation of the seasonal evolution of the Yellow Sea Cold Water Mass in 1996-1998

We use the hydrographic data obtained during the joint survey of the Yellow Sea by the First Institute of Oceanography, China and the Korea Ocean Research and Development Institute, Korea, to quantify the spatial structures and temporal evolution of the southern Yellow Sea Cold Water Mass (YSCWM). It is indicated that the southern YSCWM is a water mass that develops in summer and decays in fall. In winter, due to the intrusion of the Yellow Sea Warm Current (YSWC), the central area (approximately between 34 degrees N and 35 degrees N, 122 degrees E and 124 degrees E) of the Yellow Sea is mainly occupied by relatively high temperature water (T > 10 degrees C). By contrast, from early summer to fall, under the seasonal thermocline, the central area of Yellow Sea is occupied by cold water (T < 10 degrees C). In summer, the southern YSCWM has two cold cores. One is formed locally southeast of Shandong Peninsula, and the other one has a tongue-like feature occupying the area approximately between 34 degrees N and 37 degrees N, 123 degrees E and 126 degrees E. The bottom layer temperature anomalies from February to July in the cold tongue region, along with the trajectories of the bottom floaters, suggest that the cold water mass in the northeast region has a displacement from the north to the central area of the Yellow Sea during the summer. (c) 2007 Elsevier Ltd. All rights reserved.

Geochemical characteristics of nitrogen in the southern Yellow Sea surface sediments

Roles and distributions of various forms of nitrogen in biogeochemical cycling in the southern Yellow Sea surface sediments were investigated. The southern Yellow Sea could be divided into three regions (I, II and III) according to the proportion of fine-grained sediment in > 65%, 35-65% and < 35%, respectively. The ratios of different forms of nitrogen contents between each two of the three regions indicated that the nitrogen contents increased with the proportion of fine-grained sediment increasing. The quanta of exchangeable forms of nitrogen were similar in the three regions, while their releasing time increased from regions I to III, indicating that the cycle of nitrogen in fine-grained sediments was shorter than that in coarse-grained sediments. Nitrogen burial fluxes were also similar in these regions, while the burial efficiency increased from regions I to III. The highest burial efficiency was 30.21% in region III, indicating that more than 70% of nitrogen in the southern Yellow Sea surface sediments could be released to take part in biogeochemical recycling. When all the four forms of exchangeable nitrogen (nitrogen in ion exchangeable form (IEF-N), nitrogen in weak acid extractable form (WAEF-N), nitrogen in strong alkali extractable form (SAEF-N) and nitrogen in strong oxidant extractable form (SOEF-N)) were released to take part in recycling, their potential contributions were 80% (SOEF-N), 11% (IEF-N), 6% (SAEF-N), 3% (WAEF-N) respectively, which showed that SOEF-N was the predominant one, and its contribution to biogeochemical cycling was the highest. (c) 2004 Elsevier B.V. All rights reserved.

The Apertospathulidae, a new family of haptorid ciliates (Protozoa, Ciliophora)

We studied the morphology of three rare haptorid ciliates, using live observation and silver impregnation: Apertospathula verruculifera n. sp., Longispatha elegans n. gen., n. sp., and Rhinothrix porculus (Penard, 1922) n. gen., n. comb. Simple ethanol fixation (50-70%, v/v) is recommended to reveal the ciliary pattern of "difficult" ciliates, such as R. porculus, by protargol impregnation. The three genera investigated have a distinct feature in common, viz., a lasso-shaped oral bulge and circumoral kinety, where the right half is slightly to distinctly longer than the left and the circumoral kinety is open ventrally. Thus, they are united in a new spathidiid family, the Apertospathulidae n. fam., which probably evolved from a Bryophyllum-like ancestor by partial reduction of the oral bulge and circumoral kinety. Apertospathula verruculifera has a wart-like process, the palpus dorsalis, at the anterior end of the dorsal brush. The right branch of the circumoral kinety is only slightly longer than the left one. Longispatha elegans has a straight oral bulge and circumoral kinety, the right branch of which extends to the posterior end of the body while the left branch ends in the anterior third of the body. Rhinothrix porculus, a curious ciliate with a snout-like dorsal elongation of the oral bulge, the palpus oralis, has a highly characteristic ciliary pattern: the oral pattern is as in Longispatha, but the bulge and circumoral kinety extend spirally to the posterior end of the body while the somatic kinetics course meridionally. This is achieved by inserting some shortened kinetics in the curves of the oral bulge.

H5N1 avian influenza re-emergence of Lake Communication Qinghai: phylogenetic and antigenic analyses of the newly isolated viruses and roles of migratory birds in virus circulation

Highly pathogenic avian influenza H5N1 virus has swept west across the globe and caused serious debates on the roles of migratory birds in virus circulation since the first large-scale outbreak in migratory birds of Lake Qinghai, 2005. In May 2006, another outbreak struck Lake Qinghai and six novel strains were isolated. To elucidate these QH06 viruses, the six isolates were subjected to whole-genome sequencing. Phylogenetic analyses show that QH06 viruses are derived from the lineages of Lake Qinghai, 2005. Five of the six novel isolates are adjacent to the strain A/Cygnus olor/Croatia/1/05, and the last one is related to the strain A/duck/Novosibirsk/ 02/05, an isolate of the flyway. Antigenic analyses suggest that QH06 and QH05 viruses are similar to each other. These findings implicate that QH06 viruses of Lake Qinghai may travel back via migratory birds, though not ruling out the possibility of local circulation of viruses of Lake Qinghai.

海底金属矿床充水条件及矿坑突水的断层效应研究

The Xinli mine area of Sanshandao mine is adjacent to the Bohai Sea and its main exploitable ore deposit occurs in the undersea rock mass. The mine is the biggest undersea gold mine of China after production. The mine area faces a latent danger of water bursting, even sudden seawater inrush. There is no mature experience in undersea mining in China so far. The vein ore deposit is located in the lower wall of a fault; its possible groundwater sources mainly include bittern, Quaternary pore water and modern seawater. To ensure the safety of undersea mining, to survey the flooding conditions of the ore deposit using proper measures and study the potential seawater inrush pattern are the key technical problems. With the Xinli mine area as a case study, the engineering geological conditions of the Xinli mine area are surveyed in situ, the regional structural pattern and rock mass framework characteristics are found out, the distribution of the structural planes are modeled by a Monte Carlo method and the connectivity coefficients of rock mass structural planes are calculated. The regional hydro-geological conditions are analyzed and the in-situ hydro-geological investigation and sampling are performed in detail, the hydrochemistry and isotopes testing and groundwater dynamic monitoring are conducted, the recharge, runoff, discharge conditions are specified and the sources of flooding are distinguished. Some indices are selected from the testing results to calculate the proportion of each source in some water discharge points and in the whole water discharge of the Xinli mine area. The temporal and spatial variations of each water source of the whole ore deposit flooding are analyzed. According to the special project conditions in the Xinli mine area, the permeability coefficient tensors of the rock mass in Xinli mine area are calculated based on a fracture geometry measurement method, in terms of the connectivity and a few hydraulic testing results, a modified synthetic permeability coefficient are calculated. The hydro-geological conceptual and mathematical model are established，the water yield of mine is predicted using Visual Modflow code. The spreading law of surrounding rock mass deformation and secondary stress are studied by numerical analysis; the intrinsic mechanism of the faults slip caused by the excavation of ore deposit is analyzed. The results show that the development of surrounding rock mass deformation and secondary stress of vein ore deposit in the lower wall of a fault, is different from that in a thick-big ore deposit. The secondary stress caused by the excavation of vein ore deposit in the lower wall of a fault, is mainly distributed in the upper wall of the fault, one surface subsidence center will occur. The influences of fault on the rock mass movement, secondary stress and hydro-geological structures are analyzed; the secondary stress is blocked by the fault and the tensile stress concentration occurs in the rock mass near the fault, the original water blocking structure is destructed and the permeable structure is reconstructed, the primary structural planes begin to expand and newborn fissures occur, so the permeability of the original permeable structure is greatly enhanced, so the water bursting will probably occur. Based on this knowledge, the possible water inrush pattern and position of the Xinli mine area are predicted. Some computer programs are developed using object-oriented design method under the development platform Visual Studio.Net. These programs include a Monte Carlo simulation procedure, a joint diagrammatizing procedure, a structural planes connectivity coefficient calculating procedure, a permeability tensor calculating procedure, a water chemical formula edit and water source fixture conditions calculating procedure. A new computer mapping algorithm of joint iso-density diagram is raised. Based on the powerful spatial data management and icon functions of Geographic Information System, the pit water discharge dynamic monitoring data management information systems are established with ArcView.

波动方程模拟与偏移的实用化方法研究

Along with the widespread and in-depth applications in petroleum prospecting and development, the seismic modeling and migration technologies are proposed with a higher requirement by oil industrial, and the related practical demand is getting more and more urgent. Based on theories of modeling and migration methods for wave equation, both related with velocity model, I thoroughly research and develop some methods for the goal of highly effective and practical in this dissertation. In the first part, this dissertation probes into the layout designing by wave equations modeling, focusing on the target-oriented layout designing method guided by wave equation modeling in complicated structure areas. It is implemented by using the fourth order staggered grid finite difference (FD) method in velocity-stress 2D acoustic wave equations plus perfectly matched layer (PML) absorbing boundary condition. To design target-oriented layout: (a) match the synthetic record on the surface with events of subsurface structures by analyzing the snapshots of theoretical model; (b) determine the shot-gather distance by tracking the events of target areas and measuring the receiving range when it reaches the surface; (c) restrict the range of valid shot-gather distance by drawing seismic windows in single shot records; (d) choose the best trace distance by comparing the resolution of prospecting targets from the simulated records with different trace distance. Eventually, we obtained the observation system parameters, which achieve the design requirements. In the second part, this dissertation presents the practical method to improve the 3D Fourier Finite Difference (FFD) migration, and carefully analyzes all the factors which influence 3D FFD migration’s efficiency. In which, one of the most important parameters of migration is the extrapolating step. This dissertation presents an efficient 3D FFD migration algorithm, which use FFD propagator to extrapolate wavefields over big layers, and use Born-Kirchhoff interpolator to image wavefields over small layers between the big ones. Finally, I show the effectiveness of this hybrid migration method by comparing migration results from 3D SEG/EAGE model with different methods.

阿尔泰南缘侧向增生过程中的VMS矿床：地质、地球化学特征与成矿机制

The Chinese Altai is one of the most important volcanogenic massive sulfide (VMS) deposit districts in China. All orebodies were lenticular or bedded and stratabounded by a suite of early Devonian volcanic-sedimentary rocks. Hydrothermal feeder zones developed under some of the orebodies. All the ores are massive or laminated, and show typical characteristics of VMS deposit. Based on the mineralizing time and the metal assembles, we divide 3 metallogenic stages: 1, Fe orefroming stage associated with basaltic and sedimentary rocks during very early Devonian; 2, Cu-Pb-Zn oreforming stage associated with rhyolitic and sedimentary rocks during early Devonian; 3， Cu-Zn oreforming stage in the dacitic and basaltic rocks during mid. Devonian. The hosting rocks for all orebodies are different, but they show very similar geochemical and isotopic characteristics. All the felsic rocks show enriched lighted rare earth elements (REE) patterns (La/Yb>5), and with an obvious Eu negative anomalies (Eu/Eu*<0.6). In the meanwhile, all the mafic rocks show flat REE pattern and no Eu anomalies. The Ashele basalt show an apparent Ce negative anomalies (Ce/Ce* <0.76), All the volcanic roks in Chinese Altai show the decoupled property between the high field strength elements (HFSE) and large ion lithophile elements (LILE). The negative Nb, Ta characteristics with respect to adjacent elements indicate that subduction-modified source. The Nd(t) of the hosting rocks for all orebodies changed in a small range (-1.5~5), and the (87Sr/86Sr)i change in a big range. The initial Sr value of the hosting rocks in Mengku and Tiemuerte are obviously affected by the seawater (0.705~0.710), and initial Sr values of hosting rocks Ashele change in a small range (0.704~0.706). All Sr-Nd isotopes of ores have the same range with the hosting rocks, indicating that both the ores and volcanic rocks have the same island arc source. The mean sulfur isotopes of sulfides from Ashele and Mengku are 6.2‰ and 3.4‰, respectively, indicating a deep magmatic source. However, the sulfur isotopes of sulfides from Keketale, Tiemuerte and Keyinbulake changed in -15.8‰~9.9‰, -23.5‰~1.87‰, -8.3‰~1.6‰, respectively. And the big sulfur isotope range indicated that the sulfur of the ores was a combination biogenic and magmatic source. All volcanic rocks from the VMS deposits in the southern Chinese Altai show a typical subduction related environments. Based on the regional and locally geological evidence, here we propose that the southern Chinese Altai is an island arc system, and all VMS deposits formed during the lateral accretion process. No VMS deposit formed during the formation of the island arc during Silurian; Fe VMS deposit formed during the beginning of the opening of the backarc basin in very early Devonian; Cu-Pb-Zn VMS deposits formed during the mature stage of the backarc basin in early Devonian; at last the Cu-Zn VMS deposit formed during the rifted stage of the island arc itself.

河北寿王坟铜矿成矿定年及同位素地球化学特征

Samples from carbonate wall-rocks, skarn, ore of skarn type, later calcite vein, and ore of porphyry type in Shouwangfen copper deposit district were collected. Systematic study was carried out on carbon, oxygen, rubidium, strontium and sulfur isotope compositions of carbonates and sulfides in these samples. The first Isochron dating by the Rb-Sr isotopes in chalcopyrite of ore sub-sample was done as well. The following conclusions were obtained. The age (113.6±4.3Ma), obtained by Rb-Sr isotope isochron dating of chalcopyrite and pyrite from sub-sample of skarn ores, probably represents the true mineralization age of skarn ores. That demonstrates the genetic relationship between granodiorite in Shouwangfen complex and skarn copper ores. On the other hand, the Rb-Sr isochron age (73±15Ma) of chalcopyrite from porphyry ores is a little incredible because of bad synthesizing evaluation. But combined with other age data of igneous rocks, it implies the possibility of hydrothermal mineralization in connection with magma activity during the fourth period of Yanshanian in Hebei Province, even in the whole northern edge of Huabei continental block. Together from structure analysis of sulfide sub-samples, from pretreating preccedure of Rb-Sr isotope isochron and its' valuating, we found out that Rb-Sr isotope isochron of sulfide sub-samples is influenced by the crystal structure of sulfides. That is, sulfide ores with very big crystals are not suitable for sub-sample isochron. Carbon, oxygen, sulfur and strontium compositions, of different minerals in these two kinds of ores, imply that the ore-forming hydrothermal fluids were probably derived from magma deep under the crust. The calcite ~(87)Sr/~(86)Sr ratios from the porphyry are consistent to the initial 87Sr/86Sr ratio of the Rb-Sr isochron of chalcopyrite and pyrite in the skarn ore, indicating that these two kinds of ores have the same source characteristic, although the porphyry deposit was formed probably 40 million years later than the skarn one according to our dating results. Skarn and skarn ores are usually considered as interaction product between carbonate wall-rocks and magmatic fluids, but the carbon of the sedimentary carbonate seems not involved in the skarn ores. Considering the connection of magmatic processes and hydrothermal ore formation in the Shouwangfen district, particularly, the spatial distribution of skarn-type and porphyry-type ores, it is possible that the Shouwangfen ore district corresponds to a hydrothermal ore-forming system, which was promoted by high-intruding magmatic rocks. Systematic stable isotopic research can help to reveal the upper part of this hydrothermal ore-forming system, which mainly related to heated and circulating meteoric water, and the lower part principally related to ascending magmatic fluids. Both skarn and porphyry ore-bodies are formed by up-intruding magmatic fluids (even more deep mantle-derived fluids).

The Definition and Implementation of a Computer Programming Language Based on Constraints

The constraint paradigm is a model of computation in which values are deduced whenever possible, under the limitation that deductions be local in a certain sense. One may visualize a constraint 'program' as a network of devices connected by wires. Data values may flow along the wires, and computation is performed by the devices. A device computes using only locally available information (with a few exceptions), and places newly derived values on other, locally attached wires. In this way computed values are propagated. An advantage of the constraint paradigm (not unique to it) is that a single relationship can be used in more than one direction. The connections to a device are not labelled as inputs and outputs; a device will compute with whatever values are available, and produce as many new values as it can. General theorem provers are capable of such behavior, but tend to suffer from combinatorial explosion; it is not usually useful to derive all the possible consequences of a set of hypotheses. The constraint paradigm places a certain kind of limitation on the deduction process. The limitations imposed by the constraint paradigm are not the only one possible. It is argued, however, that they are restrictive enough to forestall combinatorial explosion in many interesting computational situations, yet permissive enough to allow useful computations in practical situations. Moreover, the paradigm is intuitive: It is easy to visualize the computational effects of these particular limitations, and the paradigm is a natural way of expressing programs for certain applications, in particular relationships arising in computer-aided design. A number of implementations of constraint-based programming languages are presented. A progression of ever more powerful languages is described, complete implementations are presented and design difficulties and alternatives are discussed. The goal approached, though not quite reached, is a complete programming system which will implicitly support the constraint paradigm to the same extent that LISP, say, supports automatic storage management.