谓词μ演算和模态图的语义一致性

模态图是谓词μ演算的一种有效的图形表示形式。证明了谓词μ演算和模态图的语义一致性，详细讨论了谓词μ演算公式、嵌套谓词等式系和模态图之间的关系，并给出了一种优化的从线性公式到嵌套谓词等式系的转换算法。

When is `partial' adequate? A logic-based proof technique using partial specifications

A technique is presented for ascertaining when a (finite-state) partial process specification is adequate, in the sense of being specified enough, for contexts in which it is to be used. The method relies on the automatic generation of a modal formula from the partial specification; if the remainder of the network satisfies this formula, then any process that meets the specification is guaranteed to ensure correct behavior of the overall system. Using the results, the authors develop compositional proof rules for establishing the correctness of networks of parallel processes and illustrate their use with several examples

Long period grating for 3-5 mu m quantum-well infra-red photodetectors

By considering all possible high order diffracted waves, the authors calculate the coupling efficiency of long period gratings for 3-5 mu m quantum-well infra-red photodetectors (QWIPs) on the basis of the modal expansion model (MEM). A large coupling efficiency for 3-5 mu m QWIPs has been demonstrated. This greatly reduces the difficulties in fabricating 3-5 mu m grating coupled QWIPs and opens the way to fabricate high performance 3-5 mu m and two colour QWIPs image arrays.

Multi-mode Vortex-induced Vibration of Slender Cable Experiencing Shear Flow

The dynamic characteristics of slender cable often present serried modes with low frequencies due to large structure flexibility resulted from high aspect ratio (ratio of length to diameter of cable), while the flow velocity distributes non-uniformly along the cable span actually in practical engineering. Therefore, the prediction of the vertex-induce vibration of slender cable suffered from multi-mode and high-mode motions becomes a challenging problem. In this paper a prediction approach based on modal energy is developed to deal with multi-mode lock-in. Then it is applied to the modified wake-oscillator model to predict the VIV displacement and stress responses of cable in non-uniform flow field. At last, illustrative examples are given of which the VIV response of flexible cable in nonlinear shear flow field is analyzed. The effects of flow velocity on VIV are explored. Our results show that both displacement and stress responses become larger as the flow velocity increasing; especially higher stress response companied with higher frequency vibration should be paid enough attention in practical design of SFT because of its remarkable influence on structure fatigue life.

Preliminary analysis of grain-size populations with environmentally sensitive terrigenous components in marginal sea setting

Terrigenous components were separated from the bulk sediment of Core A7 from the Okinawa Trough and Core A37 from the Ryukru Trench and grain-size distributions of these sub-samples were analyzed. Based upon an analysis of the grain-size data of the two sedimentary sequences, grain-size populations are identified to be sensitive to sedimentary environmental changes. The modal values and size ranges of the two main grain-size populations in Core A7 are evidently different from those of Core A37, indicating the spatial variability of sediment sources and transport processes between the two places. The downcore variations in the content of the environmentally sensitive grain-size populations reveal that during the accumulation of sedimentary material the environment remained relatively stable at the site where Core A7 was collected, except for the apparent events for the formation of two turbidite layers and a volcanic ash layer. However, the sedimentary sequence of Core A37 shows six sedimentary cycles, indicating a highly variable sedimentary environment at this location.

Resuspension and advection processes affecting suspended particulate matter concentrations in the central English Channel

Suspended particulate matter (SPM) measurements obtained along a cross-section in the central English Channel (Wight-Cotentin transect) indicate that the area may be differentiated into: (1) an English coastal zone, associated with the highest concentrations; (2) a French coastal zone, with intermediate concentrations; and (3) the offshore waters of the Channel, characterised by a very low suspended-sediment load. The SPM particle-size distribution was modal close to the English coast (main mode 10-12 mu m); the remainder of the area was characterised by flat SPM distributions. Examination of the diatom communities in the SPM suggest:; that material resuspended in the intertidal zone and the estuarine environments was advected towards the offshore waters of the English Channel. Considerable variations in SPM concentrations occurred during a tidal cycle: maximum concentrations were sometimes up to 3 times higher than the minimum concentrations, Empirical orthogonal function (EOF) analysis of the SPM concentration time series indicates that, although the bottom waters were more turbid than the surficial waters, this was not likely to be the result of in situ sediment resuspension. Instead, the observed variations appear to be controlled mainly by advective mechanisms. The limited resuspension was probably caused by: (1) the limited availability of fine-grained material within the bottom sediments, and (2) 'bed-armouring' processes which protect the finer-grained fractions of the seabed material from erosion and entrainment within the overlying flow during the less energetic stages of the tide.

Metasomatism of the peridotites from southern Mariana fore-arc: Trace element characteristics of clinopyroxene and amphibole

Modal composition and mineral composition of harzburgites from the southern Mariana fore-arc show that they are highly refractory. There are a few modals of clinopyroxene (0.7 vol %) in harzburgites. Two types of amphibole are found in these harzburgites: magnesiohornblende accompanied by clinopyroxene with higher Al2O3 content (> 7%) and lower Mg-#; tremolite around orthopyroxene with lower Al2O3 content (< 2%) and higher Mg-#. Trace element of clinopyroxene and two types of amphibole are analyzed. Primitive mantle-normalised REE patterns for clinopyroxene and magnesio hornblende are very similar and both show HREE enrichment relative to LREE, while magnesiohornblende has higher content of trace element than clinopyroxene. The contents of trace element of tremolite are much lower than those of magnesiohornblende. Clinopyroxene shows enrichment of most of the trace element except HREE and Ti relative to clinopyroxene in abyssal peridotites. Petrology and trace element characteristic of clinopyroxene and two types of amphibole indicate that southern Mariana fore-arc harzburgites underwent two stages of metasomatism. The percolation of a hydrous melt led to mobility of Al, Ca, Fe, Mg, Na, and large amounts of trace element. LILE and LREE can be more active in hydrous melt than HREE and Ti, and the activities of most of the trace element except some of LILE are influenced by temperature and pressure.

Chromosomal rearrangement in Pectinidae revealed by rRNA loci and implications for bivalve evolution

Karyotype and chromosomal localization of major (18-5.8-28S) and minor (5S) ribosomal RNA genes were studied in two species of Pectinidae, zhikong (Chlamys farreri) and bay (Argopecten irradians irradians) scallops. using fluorescence in situ hybridization (FISH). C. farreri had a haploid number of 19 with a karyotype of 3m + 4sm + 7sm-st + 4st + 1st-t, and A. i. irradians had a haploid number of 16 with a karyotype of 5st + 11t. In C. farreri, the major and minor rRNA genes had one locus each and were mapped to the same chromosome-Chromosome 5. In A. i. irradians, the major rRNA genes had two loci, located on Chromosomes 4 and 8, and the 5S rRNA gene was found at a third chromosome-Chromosome 10. Results of this and other studies indicate that karyotype of A. i. irradians (n = 16, 21 arms) is secondary and derived from an ancestral karyotype similar to that of C. farreri (n = 19, 38 arms) through considerable chromosomal loss and rearrangements. The ability to tolerate significant chromosomal loss suggests that the modal karyotype of Pectinidae and possibly other bivalves with a haploid number of 19 is likely tetraploid; i.e., at least one genome duplication has occurred during the evolution of Bivalvia.

用事态概念概括传统情态与时态的研究

本文在研究“事情”(affair)基本组成角色和因果关系的基础之上,提出将事情的发生可能性、发生、进展与结果状态概括为事态的概念并标记为state_of_affairs(4S体系的第四类符号),以它涵盖传统的情态(modality)与时态(tense)等概念.文中采取4S内涵表方法将事态表示为一系列的数字,在语言的可信赖翻译过程中,应该持有不变性,是一个需要认真分析和保持的不动点.

柔性机械臂运动轨迹的鲁棒自适应控制

本文针对多连杆柔性机械臂的运动轨迹控制问题，讨论了动力学建模、控制系统结构设计以及鲁棒自适应控制算法，运用假设模态方法得到了柔性机械臂动力学近似方程，通过对柔性机械臂动力学特性分析，建立了等价动力学模型，依此提出了一种鲁棒自适应控制算法，并给出了仿真研究结果。

穿甲弹发射故障的动态诊断

对某研制阶段的高膛压火炮发射穿甲弹研究发现,当静强度安全系数较大时多次发生断弹事故,这说明此时动强度已成为主要矛盾,应用模态实验技术研究了脱壳穿甲弹动态特性,获得了该脱壳穿甲弹结构模态参数,模态分析方法所获得的动态薄弱截面位置与试验弹断弹情况相吻合,为其发射故障诊断提供了实验依据。

细粒沉积物多组分粒度特征及其成因机制研究

By using high-resolution laser grain size instrument Mastersizer 2000, the grain size distribution of windblown depositions (loess and sandy dunes), aqueous sediments (lake, river, riverside and foreshore sand), weathering crust, sloping materials and other fine-grain sediments are systemically measured. The multimodal characteristics of grain size distribution of these sediments are carefully studied. The standard patterns and their grain size characteristics of various sediments are systemically summarized. The discrepancies of multimodal distribution among windblown depositions, aqueous sediments and other sediments are concluded and the physical mechanisms of grain size multimodal distribution of various sediments are also discussed in this paper. The major conclusions are followed: 1. The multimodal characteristic of grain size distribution is a common feature in all sediments and results from properties of transportation medium, dynamic intensity, transportation manner and other factors. 2. The windblown depositions are controlled by aerodynamic forcing, resulting in that the median size of the predominant mode gradually decreases form sandy dunes to loess. Similarly, the aqueous sediments are impacted by dynamic forces of water currents and the median grain size of the predominant mode decreases gradually from river to lake sediments. Because the kinetic viscidity of air is lower than of water, the grain size of modes of windblown depositions is usually finer than that of corresponding modes of aqueous sediments. Typical characteristics of sediments grain size distribution of various sediments have been summarized in the paper: (1) Suspended particles which diameters are less than 75μm are dominant in loess and dust. There are three modes in loess’ grain size distribution: fine, median and coarse (the median size is <1μm、1-10μm、10-75μm, respectively). The coarse mode which percentage is larger than that of others is controlled by source distance and aerodynamic intensity of dust source areas. Some samples also have a saltation mode which median size is about 300-500μm. Our analysis demonstrates that the interaction of wind, atmospheric turbulence, and dust grain gravity along the dust transportation path results in a multimodal grain size distribution for suspended dust. Changes in the median sizes of the coarse and medium modes are related to variation in aerodynamic forcing (lift force related to vertical wind and turbulence) during dust entrainment in the source area and turbulence intensity in the depositional area. (2) There is a predominant coarse saltation mode in grain size distribution of sandy dunes, which median size is about 100-300μm and the content is larger than that of other modes. The grain size distribution curve is near axis symmetric as a standard logarithm normal function. There are some suspended particles in some samples of sandy dunes, which distribution of the fine part is similar to that of loess. Comparing with sandy samples of river sediments, the sorting property of sandy dunes is better than of river samples although both they are the saltation mode. Thus, the sorting property is a criterion to distinguish dune sands and river sands. (3) There are 5~6 modes (median size are <1μm, 1-10μm, 10-70μm, 70-150μm, 150-400μm, >400μm respectively) in grain size distribution of lacustrine sediments. The former 4 modes are suspensive and others are saltated. Lacustrine sediments can be divided into three types: lake shore facies, transitional facies and central lake facies. The grain size distributions of the three facies are distinctly different and, at the same time, the transition among three modes is also clear. In all these modes, the third mode is a criteria to identify the windblown deposition in the watershed. In lake shore sediments, suspended particles are dominant, a saltation mode sometimes occurs and the fourth mode is the most important mode. In the transitional facies, the percentage of the fourth mode decreases and that of the second mode increases from lake shore to central lake. In the central lake facies, the second mode is dominant. A higher content of the second mode indicates its position more close to the central lake. (4) The grain size distribution of river sediments is the most complex. It consist of suspension, saltation and rolling modes. In most situations, the percentage of the saltation mode is larger than that of other modes. The percentage of suspension modes of river sediments is more than of sandy dunes. The grain size distribution of river sediments indicates dynamic strength of river currents. If the fourth mode is dominant, the dynamic forcing of river is weaker, such as in river floodplain. If the five or sixth mode is dominant, the water dynamic forcing of rivers is strong. (5) Sediments can be changed by later forcing in different degree to form some complicated deposition types. In the paper, the grain size distribution of aqueous sediments of windblown deposition, windblown sediments of aqueous deposition, weathering crust and slope materials are discussed and analyzed. 3. The grain size distribution characteristics of different sediments are concluded: (1) Modal difference: Usually there are suspended and saltation modes in the windblown deposition. The third mode is dominant in loess dust and the fifth mode is predominant in sandy dunes. There are suspended, saltation and rolling particles in aqueous sediments. In lacustrine sediments, the second and fourth mode are predominant for central lake facies or lake shore facies, respectively. In river sediments, the fourth, or fifth, or sixth mode is predominant. Suspended modes: the grain size of suspended particles of windblown depositions usually is less than 75μm. The content of suspended particles is lower or none in sandy dunes. However, suspended particles of aqueous sediments may reach 150μm. Difference in grain size of suspended modes represents difference between transitional mediums and the strength of dynamic forcing. Saltation modes: the median size of saltation mode of sandy dunes fluctuates less than that of river sediments. (2) Loess dust and lacustrine sediment: Their suspended particles are clearly different. There is an obvious pit between the second and the third modes in grain size distribution of lacustrine sediments. The phenomenon doesn’t occur in loess dust. In lacustrine sediments, the second mode can be a dominant mode, such as central lake facies, and contents of the second and the third modes change reversely. However, the percentage of the third mode is always the highest in loess dust. (3) Dune Sand and fluvial sand: In these two depositions, the saltation particles are dominant and the median sizes of their saltation modes overlay in distribution range. The fifth mode of dune sand fluctuates is sorted better than that of fluvial sand. (4) Lacustrine and fluvial sediments: In lacustrine sediments, there are 5-6 modes and suspended particles can be predominant. The second mode is dominant in central lake facies and the third mode is dominant in lake shore facies. Saltation or roll modes occurred in central lake facies may indicate strong precipitation events. In fluvial sediments, saltation particles (or rolling particles) usually dominant. 4. A estimation model of lake depth is firstly established by using contents of the second, the third and the fourth modes. 5. The paleoenvironmental history of the eastern part of SongLiao basin is also discussed by analyzing the grain size distribution of Yushu loess-like sediments in Jilin. It was found that there is a tectonic movement before 40ka B.P. in SongLiao basin. After the movement, loess dust deposited in Yushu area as keerqin desert developed. In recent 2000 years, the climate became drier and more deserts activated in the eastern part of Song-Liao basin.