南海沉积物中的放射虫及其古环境意义

In this paper a systematic study of radiolarian from surface sediments of all the South China Sea (SCS) has initially been done for its deposit ecology, biogeography and paleoenvironment significance. The paleoenvironment information obtained by radiolarian analysis and other sedimentary method for core samples is also made use as the synthesis proxy for revealing the paleoenvironment changes in the SCS and the relations of it with the past globe change during last 200ka. Some results come out of this study as: 1) Radiolarian skeleton chemistry composition and skeleton morphological features were analyzed, chiefly dividing them as 15 types of basic morphological features: 2) Analysis of biogeographical feature demonstrates that the fauna in SCS obviously belonging to a transitional type of west Pacific - Indian Ocean and has a particularity of itself: 3) Tendency of radiolarian population distribution is lower in shallow continental shelf area, increasing gradually toward the abyssal region; 4) Nine character boundaries of radiolarian depth distribution in the sediments from whole the South China Sea may be recognized; 5)Two radiolarian transfer functions for paleotemperature and paleo-primary productivity in the South China Sea have also been established respectively. The equation of transfer function for winter paleotemperature has only an average estimated error of 0.18678 ℃ and the equation for paleo-primary productivity has the calculation accuracy of 85.31%; 6) Changes of radiolarian individuals, numbers of species and H(S) values in core NS93-5 show the completely different oceanic geographical circumstance and ecology structure in the Last Maximum Glacial with present; 7) The abundance variation of some raiolarian warm species and cold species indicate the changes of water masse features along with the paleoenvironment evolution, showing that this sea area clearly is controlled in 6 issues of oxygen isotopes by the cold water masses; 8) By comparative analysis of δ ~(18)O curves with GISP2;s ice core can core 17940 of the northern SCS, the occurring characters of D/O's events 1-21 and Heinrich's events H1-H6 have been revealed in this sea area by core NS93-5, which prove the existence of paleoclimatic tele-connections between the southern SCS and Arctic region since about 200ka BP.

中国东部上第三系硬粘土的工程地质特性及边坡开挖工程环境效应研究

The engineering geological properties of Neogene hard clays and related engineering problems are frontiers in the fields of Engineering Geology, Soil Mechanics and Rock Mechanics. Recently, it has been recognized that Neogene hard clay is the intermediate type of material between the soil and the rock. Many aspects of them, such as sampling, testing, calculating and engineering process, are special, which could not be researched by means of theories and methods of traditional Soil Mechanics of Rock Mechanics. In order to get real knowledge and instruct the engineering practice, intersect studying of multiple disciplines, including Engineering Geology, Soil Mechanics and Rock Mechanics, etc., is necessary. Neogene hard clay is one of the important study objects of regional problem rocks & soils in our country, which extensively distributed in China, especially in Eastern China. Taking the related areas along the middle line of the Project of Transferring Water from the South to the North (e.g. Nanyang basin, Fangcheng-Baofeng area and Handan-Yongnian area), South-west of Shandong, Xu-Huai area and Beijing area, etc. as main study areas, the paper divided Neogene hard clays into reduction environment dominated origin and oxidation environment dominated origin, which distributed on areas western and eastern to Mount Taihangshan respectively. Intermediate types are also existed in some areas, which mainly distribute near the edges of depositional basins; they are usually of transitions between diluvial and lacustrine deposits. As to Neogene hard clays from Eastern China, the clay particle content is high, and montmorillonite or illite/montmorillonite turbostratic mineral is the dominating clay mineral. The content of effective montmorillonite is very high in each area, which is the basis for the undesirable engineering properties of Neogene hard clays. For hard clays from the same area, the content of effective montmorillonite in gray-greenish hard clay is much higher than that in purple-brownish or brown-yellowish hard clay, which is the reason why the gray-greenish hard clay usually has outstanding expansive property. On the other hand, purple-brownish or brown-yellowish hard clay has relatively less montmorillonite, so its property is better. All of these prove that the composition (clay mineral) of Neogene hard clay is the control factor for the engineering properties. Neogene hard clays have obvious properties such as fissured, overconsolidated and expansive, which are the main reasons that many engineering problems and geological harzards usually occur in Neogene hard clays. The paper systematically elaborates the engineering properties of Neogene hard clays from Eastern China, analyses the relationships between engineering properties and basic indexes. The author introduces the ANN method into the prediction of engineering property indexes of hard clays, which provides a new way for quantitatively assessment and prediction of engineering property indexes. During investigation in the field, the author found that there exists obvious seam-sheared zone between different hard clays in Miocene Xiacaowan formation in Xu-Huai area. Similar phenomenon also exists near the borderline between Neogene hard clays and underlying coal measures in the Southwest of Shandong province, which could be observed in the cores. The discovery of seam-sheard zone has important theoretical and practical significance for engineering stability analysis and revealing the origin of fissures in Neogene hard clays. The macrostructure, medium structure and microstructure together control the engineering properties of hard clays. The author analyses and summarizes the structural effects on hard clays in detail. The complex of the strength property of hard clays is mostly related to the characteristics of fissures, which is one of the main factors that affect the choice of shear strength parameters. So structure-control theory must be inseparably combined with composition-control theory during the engineering geological and rock/soil mechanics research of hard clays. The engineering properties, such as fissured, overconsolidated and expansive, control the instability of engineering behaviors of Neogene hard clays under the condition of excavation, i.e. very sensitive to the change of existence environment. Based on test data analysis, the author elaborates the effects of engineering environment change on the engineering properties. Taking Nanyang basin as example, the author utilizes FEM to study the effects of various factors on stability of cutting canal slopes, than sets forth the characteristics, development laws and formation mechanism of the deformation and failure of hard clay canal slopes, summarizes the protection and reinforcement principles, as well as the protection and remedy steps. On the basis of comparison of engineering properties of domestic and foreign Neogene muddy deposits, in the view of whole globe and associated with the geological characteristics of China, the paper demonstrates that the intermediate type of the material between the soil and the rock, named "hard clay/soft rock", which can not be separated abruptly, really exists in China. The author has given a preliminary classification based on its geological origin and distribution law, which is very significant for promoting the mixture of Engineering Geology, Soil Mechanics and Rock Mechanics. In the course of large scales engineering construction in China, many engineering experiences and testing data are gained, summarizing these testing results and automatically managing them with computer technology are very necessary. The author develops a software named "Hard Clay-Soft Rock Engineering Geological Information Management and Analysis System (HRGIMS)", realizes the automatic and visual management of geo-engineering information, on the basis of information management, the functions of test data analysis and engineering property prediction are strengthened. This system has well merits for practice and popularization.

晚中生代松辽盆地形成的大地构造环境及成因机制

Directed by the theory of "Collision Tectonic Facies", the tectonic setting and dynamic mechanism of the formation of Songliao basin in late Mesozoic (J_3-K_1) are studied in the present thesis with the methods of petrology, petrochemistry, geochemistry and isotopic geochronology. The research contents in this paper include as followings. Firstly, the general tectonic frame is made up of different tectonic facies formed from Mid-late Proterozoic to Mesozoic, which are Huabei plate, the Chengde-Siziwangqi melange (Pz_1), the Wenduermiao magmatic arc (Pz_1), the Hegenshan-Chaogenshan melange (Pz_2), the accretion arec (Pz_1-P), the Raohe-Hulin melange (Mz), the magmatic arc (Mz) and the pull-apart basin on the magmatic arc (Mz). Secondly, the volcanic rock assemblages of Songliao basin and its adjacent area in late Mesozoic is the typical calc-alkaline of the magmatic arc. The types of volcanic rocks in the study area include basalts, basaltic andesites, andesites, dacites and rhyolites, and basic-intermediate volcanic rocks have higher alkalinity. The volcanic rock series in this area is the high-K calc-alkaline series. Thirdly, the total REE of volcanic rocks in Songliao basin and its adjacent area is higher than that of the chondrite. The pattern of the REE normalized by the chondrite shows the characteristics similar to that of the typical island arcs or the active continental margins in the earth, that is enrichment of LREE and depletion of Eu. The spider-diagram of the trace element normalized by the primitive mantle also expresses the similar features to that of the typical island arcs or the active continental margins, it has distinctive valleies of Nb, Ta, Sr, P, and Ti, as well as the peaks of La, Ce, Th, U, and K. The incompatible elements show that the high field strength elements, such as Nb, Ta, Ti, and P, are depletion while the low field strength elements, such as K, U, Pb, and Ba, are enrichment. These features are similar to those of orogenic volcanic rocks and imply the formation of the volcanic rocks in this area is related to the subduction. The degrees of both the enrichment of the HFS elements and depletion of the LFS elements become more obvious from basic to acid volcanic rocks, which suggests crustal contamination enhances with the magmatic crystallization and fractionation. The concentration of the compatible elements is W-shape, and anomalies in Cr and Ni suggest there is the contamination during the magmatic crystallization and fractionation. Fourthly, the isotopic age data prove the volcanic activity in the Songliao basin and its adjacent area started in the early-middle Jurassic, and ended in the end of the early Cretaceous-the beginning of the Cretaceous. The volcanism summit was the late Jurassic-the early Cretaceous (100 - 150Ma). Finally, the tectonic setting of volcanism in the late Mesozoic was magmatic arc, which originated the subduction of Raohe-Hulin trench to the northwest Asian plate. The subduction began in the middle Jurassic, and the collision orogenesis between the Sikhote-Alin arc and Asian continent was completed in the end of the early Cretaceous-the beginning of the late Cretaceous. The results of above tectonic processes were finally to format Nadanhada orogenic belt symbolized by the Raohe-Hulin suture or melange belt. The violently oblique movement of the Izanagi plate toward Asian plate in the late Mesozoic was the dynamic mechanism of above tectonic processes. At the same tome, the left-lateral strike-slip shear caused by the oblique movement of the Izanagi plate produced a series of strike-slip faults in east Asian margin, and the large scale displacements of these strike-slip faults then produced the pull-apart basing or grabens on the magmatic arc. Conclusively, the tectonic setting during the formation of the grabens of Songliao basin in the late Mesozoic was magmatic arc, and its dynamic mechanism was the pull-apart. In a word, there was a good coupling relation among the oblique subduction of the oceanic plate, collisional orogene between island arc and continental plate, strike-slip shear of the faults and the formation of the grabens in Songliao basin and its adjacent area in late Mesozoic. These tectonic processes were completed in the unoin dynamic setting and mechanism as above description.

均质弹性条件下多洞平面问题解析算法及其应用研究

The scholars in the world have been trying to find an effective analytic algorithm of multiple hole problems usually meet in engineering designs. Though some studies on circular or elliptic holes had been achieved under specific conditions, no efforts were made to any multiple hole problems that is most significant for engineering designs. The author has made further studies on any multiple hole problems, using complex variable function method and Schwarz alternating method. After solving a series of technological difficulties, the author obtains an effective analytic algorithm, and acquires stress field and displacement field with high accuracy, which can be conducted for arbitrary many iterations according to practical accuracy requirements. In addition, th solution of stress and displacement fields, even for multiple holes of complex shapes and smaller distances. Further, the author made preliminary studies on viscoelastic displacement solution for any double holes. In terms of the obtained displacement solution of any multiple holes, this paper studies displacement back-analysis for the excavations of two tunnels, and find that the back-analysis method is accurate. Additionally, the author presents the mathematical prove of inversion uniqueness for ground stresses, elastic modulus and Poisson ratio. The author believes that the accurate analytic algorithm provided in this paper will presents an effective way to stress and displacement analysis for any multiple hole problems, optimal arrangement of multiple holes, hole shape optimization of multiple holes, etc..

山东东营凹陷浊积岩油藏形成机制及预测技术

More and more exploration practises and research results prove that deep-water turbidites and slump turbidites in abrupt slope belt as well as slump turbidites in deposit center are favorable places to find subtle reservoirs. Based on sedimentology, sequence stratigraphy, tectonics and petroleum geology and with the tool of computer, this paper focused a set of questions such as the forming mechanism and m&a of turbidite reservoir in Dongying Sag, and obtained a systematic research result from available information of geology, seismic survey, well logging and testing, etc. Since the structural pattern and tectonic stress are controlling factors on distribution of turbidite reservoirs, deep-water sequence and shallow-water sequence have close relation with various turbidites. The author primarily disclose the regular pattern of the turbidites in the abrupt slope trouth, and predict that the abrupt slope is mainly connected to near-bank slump turbidite fans and deep-water turbidite fans; whereas the depocenter area usually developed with front delta slump fans. According to this, seismic-geology models corresponding to various deposit systems can be set up as a principle for predicting the turbiditea in faulted lacustrine basins. Based on comprehensive study of the turbidite reservoir forming condition and main controlling factors, a differential accumulation model and a multiple migration&accumulation model were also set up for abrupt slope turbidities. Referenced the m

中国大中型气田天然气成藏物理化学模拟研究

Natural gas pays more important role in the society as clean fuel. Natural gas exploration has been enhanced in recent years in many countries. It also has prospective future in our country through "85" and "95" national research. Many big size gas fields have been discovered in different formations in different basins such as lower and upper Paleozoic in Erdos basin, Tertiary system in Kuche depression in Tarim basin, Triassic system in east of Sichuan basin. Because gas bearing basins had been experienced multiple tectogenesis. The characteristics of natural gases usually in one gas field are that they have multiple source rocks and are multiple maturities and formed in different ages. There has most difficult to research on the gas-rock correlation and mechanism of gas formation. Develop advanced techniques and methods and apply them to solve above problems is necessary. The research is focused on the critical techniques of geochemistry and physical simulation of gas-rock correlation and gas formation. The lists in the following are conclusions through research and lots of experiments. I 8 advanced techniques have been developed or improved about gas-rock correlation and gas migration, accumulation and formation. A series of geochemistry techniques has been developed about analyzing inclusion enclave. They are analyzing gas and liquid composition and biomarker and on-line individual carbon isotope composition in inclusion enclave. These techniques combing the inclusion homogeneous temperature can be applied to study on gas-rock correlation directly and gas migration, filling and formation ages. Technique of on-line determination individual gas carbon isotope composition in kerogen and bitumen thermal pyrolysis is developed. It is applied to determine the source of natural is kerogen thermal degradation or oil pyrolysis. Method of on-line determination individual gas carbon isotope composition in rock thermal simulation has being improved. Based on the "95"former research, on-line determination individual gas carbon isotope composition in different type of maceral and rocks thermal pyrolys is has been determined. The conclusion is that carbon isotope composition of benzene and toluene in homogenous texture kerogen thermal degradation is almost same at different maturity. By comparison, that in mixture type kerogen thermal pyrolysis jumps from step to step with the changes of maturity. This conclusion is a good proof of gas-rock dynamic correlation. 3. Biomarker of rock can be determined directly through research. It solves the problems such as long period preparing sample, light composition losing and sample contamination etc. It can be applied to research the character of source rock and mechanism of source rock expulsion and the path of hydrocarbon migration etc. 4. The process of hydrocarbon dynamic generation in source rock can be seen at every stage applying locating observation and thermal simulation of ESEM. The mechanism of hydrocarbon generation and expulsion in source rock is discussed according to the experiments. This technique is advanced in the world. 5. A sample injection system whose character is higher vacuum, lower leaks and lower blank has been built up to analyze inert gas. He,Ar,Kr and Xe can be determined continuously on one instrument and one injection. This is advanced in domestic. 7. Quality and quantity analysis of benzene ring compounds and phenolic compounds and determination of organic acid and aqueous gas analysis are applied to research the relationship between compounds in formation water and gas formation. This is another new idea to study the gas-rock correlation and gas formation. 8. Inclusion analysis data can be used to calculate the Paleo-fluid density, Paleo-geothermal gradient and Paleo-geopressure gradient and then to calculate the Paleo-fluid potential. It's also a new method to research the direction of hydrocarbon migration and accumulation. 9. Equipment of natural gas formation simulation is produced during the research to probe how the physical properties of rock affect the gas migration and accumulation and what efficiency of gas migrate and factors of gas formation and the models of different type of migration are. II study is focused on that if the source rocks of lower Paleozoic generated hydrocarbon and what the source rocks of weathered formation gas pool and the mechanism of gas formation are though many advanced techniques application. There are four conclusions. 1.The maturity of Majiagou formation source rocks is higher in south than that in north. There also have parts of the higher maturity in middle and east. Anomalous thermal pays important role in big size field formation in middle of basin. 2. The amount of gas generation in high-over maturity source rocks in lower Paleozoic is lager than that of most absorption of source rocks. Lower Paleozoic source rocks are effective source rocks. Universal bitumen exists in Ordovician source rocks to prove that Ordovician source rocks had generated hydrocarbon. Bitumen has some attribution to the middle gas pool formation. 3. Comprehensive gas-rock correlation says that natural gases of north, west, south of middle gas field of basin mainly come from lower Paleozoic source rocks. The attribution ratio of lower Paleozoic source rocks is 60%-70%. Natural gases of other areas mainly come from upper Paleozoic. The attribution ratio of upper Paleozoic source rocks is 70%. 4. Paleozoic gases migration phase of Erdos basin are also interesting. The relative abundance of gasoline aromatic is quite low especially toluene that of which is divided by that of methyl-cyclohexane is less than 0.2 in upper Paleozoic gas pool. The migration phase of upper Paleozoic gas may be aqueous phase. By comparison, the relative abundance of gasoline aromatic is higher in lower Paleozoic gas. The distribution character of gasoline gas is similar with that in source rock thermal simulation. The migration phase of it may be free phase. IH Comprehensive gas-rock correlation is also processed in Kuche depression Tarim basin. The mechanism of gas formation is probed and the gas formation model has been built up. Four conclusions list below. 1. Gases in Kuche depression come from Triassic-Jurassic coal-measure source rocks. They are high-over maturity. Comparatively, the highest maturity area is Kelasu, next is Dabei area, Yinan area. 2. Kerogen thermal degradation is main reason of the dry gas in Kuche depression. Small part of dry gas comes from oil pyrolysis. VI 3.The K12 natural gas lays out some of hydro-gas character. Oil dissolved in the gas. Hydro-gas is also a factor making the gas drier and carbon isotope composition heavier. 4. The mechanism and genesis of KL2 gas pool list as below. Overpressure has being existed in Triassic-Jurassic source rocks since Keche period. Natural gases were expulsed by episode style from overpressure source rocks. Hetero-face was main migration style of gas, oil and water at that time. The fluids transferred the pressure of source rocks when they migrated and then separated when they got in reservoir. After that, natural gas migrated up and accumulated and formed with the techno-genesis. Tectonic extrusion made the natural gas overpressure continuously. When the pressure was up to the critical pressure, the C6-C7 composition in natural gas changed. The results were that relative abundance of alkane and aromatic decreased while cycloalkane and isoparaffin increased. There was lots of natural gas filling during every tectonic. The main factors of overpressure of natural gas were tectonic extrusion and fluid transferring pressure of source rocks. Well preservation was also important in the KL2 gas pool formation. The reserves of gas can satisfy the need of pipeline where is from west to east. IV A good idea of natural gas migration and accumulation modeling whose apparent character is real core and formation condition is suggested to model the physical process of gas formation. Following is the modeling results. 1. Modeling results prove that the gas accumulation rule under cap layer and gas fraction on migration path. 2. Natural gas migration as free phase is difficult in dense rock. 3. Natural gases accumulated easily in good physical properties reservoirs where are under the plugging layer. Under the condition of that permeability of rock is more than 1 * 10~(-3)μm~(-1), the more better the physical properties and the more bigger pore of rock, the more easier the gas accumulation in there. On the contrary, natural gas canonly migrate further to accumulate in good physical properties of rock. 4. Natural gas migrate up is different from that down. Under the same situation, the amount of gas migration up is lager than that of gas migration down and the distance of migration up is 3 times as that of migration down. 5. After gas leaks from dense confining layer, the ability of its dynamic plug-back decreased apparently. Gas lost from these arils easily. These confining layer can confine again only after geology condition changes. 6. Water-wetted and capillary-blocking rocks can't block water but gases generally. The result is that water can migrate continuously through blocking rocks but the gases stay under the blocking rocks then form in there. The experiments have proved the formation model of deep basin gas.

改善三维波动方程叠前深度偏移处理效果的方法研究

3D wave equation prestack depth migration is the effective tool for obtaining the exact imaging result of complex geology structures. It's a part of the 3D seismic data processing. 3D seismic data processing belongs to high dimension signal processing, and there are some difficult problems to do with. They are: How to process high dimension operators? How to improve the focusing? and how to construct the deconvolution operator? The realization of 3D wave equation prestack depth migration, not only realized the leap from poststack to prestack, but also provided the important means to solve the difficult problems in high dimension signal processing. In this thesis, I do a series research especially for the solve of the difficult problems around the 3D wave equation prestack depth migration and using it as a mean. So this thesis service for the realization of 3D wave equation prestack depth migration for one side and improve the migration effect for another side. This thesis expatiates in five departs. Summarizes the main contents as the follows: In the first part, I have completed the projection from 3D data point area to low dimension are using de big matrix transfer and trace rearrangement, and realized the liner processing of high dimension signal. Firstly, I present the mathematics expression of 3D seismic data and the mean according to physics, present the basic ideal of big matrix transfer and describe the realization of five transfer models for example. Secondly, I present the basic ideal and rules for the rearrange and parallel calculate of 3D traces, and give a example. In the conventional DMO focusing method, I recall the history of DM0 process firstly, give the fundamental of DMO process and derive the equation of DMO process and it's impulse response. I also prove the equivalence between DMO and prestack time migration, from the kinematic character of DMO. And derive the relationship between DMO base on wave equation and prestack time migration. Finally, I give the example of DMO process flow and synthetic data of theoretical models. In the wave equation prestak depth migration, I firstly recall the history of migration from time to depth, from poststack to prestack and from 2D to 3D. And conclude the main migration methods, point out their merit and shortcoming. Finally, I obtain the common image point sets using the decomposed migration program code.In the residual moveout, I firstly describe the Viterbi algorithm based on Markov process and compound decision theory and how to solve the shortest path problem using Viterbi algorithm. And based on this ideal, I realized the residual moveout of post 3D wave equation prestack depth migration. Finally, I give the example of residual moveout of real 3D seismic data. In the migration Green function, I firstly give the concept of migration Green function and the 2D Green function migration equation for the approximate of far field. Secondly, I prove the equivalence of wave equation depth extrapolation algorithms. And then I derive the equation of Green function migration. Finally, I present the response and migration result of Green function for point resource, analyze the effect of migration aperture to prestack migration result. This research is benefit for people to realize clearly the effect of migration aperture to migration result, and study on the Green function deconvolution to improve the focusing effect of migration.

个体人格类型与气味偏好的关系

So far the studies on personality are based on indirect way due to the complexity and limitation. Present research attempt to find another route to approach personality through olfaction. The framework of present research is on account of a modern personality theory model produced by the British psychologist Eysenck. The aim of present research is to prove a correlation between olfaction and personality because sensation and perception of the olfaction on special part of brain closely related to emotional arousal. This research was carefully designed and performed by both psychological questionnaire and olfaction examination. The results indicated some good correlation between smell sense and personal character, which can by applied into personality and behavior analysis.

线索语义相容性的研究

With the studies of the Stimulus-Response Compatibility (SRC), more and more psychologists consider that the compatibility isn't only exist between stimulus and stimulus, response and response, but also any two sets in the information processing, it means that the compatibility is the basic feature of the human information processing. Research on the compatibility of the precue is a powerful evidence to support the issue. Dimension Overlap Model (Kornblum, 1990) is one of the most popular models to explain the mechanism of the SRC which focus on the dimension overlapping between the stimulus and response will activate the compatible response automatically, the compatibility effects origin from whether the compatible response prove or interference the response, the so the time course between the automatic activation and the task processing cause the dynamical time feature of the SRC (Kornblum, 1997). Yet the DO model has gotten many supports, it hasn't been tested in the paradigm of the precue task. At the same time, company with the development of the Environment Psychology, the effect of the ex-information in the environment on the inside information processing has drown much attention, does the validity probability of the cue have any influence on the cue compatibility? How about the relationship of the cue compatibility and the SRC? Research on the questions will reveal the characteristics of the human information processing, enhance the knowledge of the compatibility phenomena and resource, enlarge the field of SRC and produce more practice usage on the design of human-machine system. The mechanism and influence factors of symbolic compatibility between cue and stimulus were investigated within a precueing paradigm. The influence of the dimension overlapping relation between the cue and the stimulus, cue and the response on the reaction time were studied under the different kinds of SRC, to test whether or not it confirms the dimension overlap hypothesis, to test is there any effect of SOA and validity probability of cues on the cue compatibility. The results showed that the cue compatibility exists and owns such features: 1, It confirms the dimension overlap model that the cue which dimension overlapped with the stimulus or the response will influence the efficiency of the processing, the reaction time is shorter when the cue is congruent with the stimulus or the response that that of the incongruent cue; 2, Consistent to the automatic activation hypothesis, the time course is the important characteristic of the cue compatibility. The largest compatibility effect can be gotten from the middle duration of SOA. 3, The validity probability of cues influence the cue compatibility significantly, the strength of the cue compatibility effect grows stronger with the higher validity probability of cues. 4, The cue compatibility affect the effect of SRC, especially when the cue is compatible with the stimulus; 5, The cue compatibility has two-fold meaning, the cue-stimulus compatibility and the cue-response compatibility, the former is stronger than the later when they compete each other. In summary, the compatibility, the basic feature of human information processing, is proved by the research, and the dimension overlap model and automatic activation hypothesis is tested by the studying on the cue compatibility.

Feature Matching for Object Localization in the Presence of Uncertainty

We consider the problem of matching model and sensory data features in the presence of geometric uncertainty, for the purpose of object localization and identification. The problem is to construct sets of model feature and sensory data feature pairs that are geometrically consistent given that there is uncertainty in the geometry of the sensory data features. If there is no geometric uncertainty, polynomial-time algorithms are possible for feature matching, yet these approaches can fail when there is uncertainty in the geometry of data features. Existing matching and recognition techniques which account for the geometric uncertainty in features either cannot guarantee finding a correct solution, or can construct geometrically consistent sets of feature pairs yet have worst case exponential complexity in terms of the number of features. The major new contribution of this work is to demonstrate a polynomial-time algorithm for constructing sets of geometrically consistent feature pairs given uncertainty in the geometry of the data features. We show that under a certain model of geometric uncertainty the feature matching problem in the presence of uncertainty is of polynomial complexity. This has important theoretical implications by demonstrating an upper bound on the complexity of the matching problem, an by offering insight into the nature of the matching problem itself. These insights prove useful in the solution to the matching problem in higher dimensional cases as well, such as matching three-dimensional models to either two or three-dimensional sensory data. The approach is based on an analysis of the space of feasible transformation parameters. This paper outlines the mathematical basis for the method, and describes the implementation of an algorithm for the procedure. Experiments demonstrating the method are reported.

Free Indexation: Combinatorial Analysis and a Compositional Algorithm

In the principles-and-parameters model of language, the principle known as "free indexation'' plays an important part in determining the referential properties of elements such as anaphors and pronominals. This paper addresses two issues. (1) We investigate the combinatorics of free indexation. In particular, we show that free indexation must produce an exponential number of referentially distinct structures. (2) We introduce a compositional free indexation algorithm. We prove that the algorithm is "optimal.'' More precisely, by relating the compositional structure of the formulation to the combinatorial analysis, we show that the algorithm enumerates precisely all possible indexings, without duplicates.

Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies

This paper describes a theory of inheritance theories. We present an original theory of inheritance in nonmonotonic hierarchies. The structures on which this theory is based delineate a framework that subsumes most inheritance theories in the literature, providing a new foundation for inheritance. * Our path-based theory is sound and complete w.r.t. a direct model-theoretic semantics. * Both the credulous and the skeptical conclusions of this theory are polynomial-time computable. * We prove that true skeptical inheritance is not contained in the language of path-based inheritance. Because our techniques are modular w.r.t. the definition of specificity, they generalize to provide a unified framework for a broad class of inheritance theories. By describing multiple inheritance theories in the same "language" of credulous extensions, we make principled comparisons rather than the ad-hoc examination of specific examples makes up most of the comparative inheritance work.

The Synthesis of Stable Grasps in the Plane

This paper addresses the problem of synthesizing stable grasps on arbitrary planar polygons. Each finger is a virtual spring whose stiffnes and compression can be programmed. The contacts between the finger tips and the object are point contacts without friction. We prove that all force-closure grasps can be made stable, and it costs 0(n) time to synthesize a set of n virtual springs such that a given force closure grasp is stable. We can also choose the compliance center and the stiffness matrix of the grasp, and so choose the compliant behavior of the grasped object about its equilibrium. The planning and execution of grasps and assembly operations become easier and less sensitive to errors.

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.

Program Improvement by Automatic Redistribution of Intermediate Results

Introducing function sharing into designs allows eliminating costly structure by adapting existing structure to perform its function. This can eliminate many inefficiencies of reusing general componentssin specific contexts. "Redistribution of intermediate results'' focuses on instances where adaptation requires only addition/deletion of data flow and unused code removal. I show that this approach unifies and extends several well-known optimization classes. The system performs search and screening by deriving, using a novel explanation-based generalization technique, operational filtering predicates from input teleological information. The key advantage is to focus the system's effort on optimizations that are easier to prove safe.