论日语和英语时态和“体”的比较

日语的时态和“体”在表现形式上有其自身的特点，本文将简单地对日语和英语的时态和“体”进行比较，并结合日语动词分类，从日语的“体”的主要形式ティル形及其语法意义进行论述。

西藏现代口语动词的时态和体及其表达方法(兼述动词的特陈式和泛陈式)

引言在藏语书面语里,动词有未来、现在、过去三时,用动词本身的曲折变化表达。曲折变化除表达时间意义外,还表达bdag(自)和gzhan(他)的语法意义。在构成曲折形态的成分里,以前置字母(prefix)的变化尤为重要。在相传为七世纪吞米桑布扎(thon mi sambho ta)所著的藏文文法sum rtags里说:

Competitive Strategies of Two Species of Co-occuring Tadpoles

We examined the competitive ability of larval toads （Bufo gargarizans ） and frogs （Rana kukunoris ） which co-occur in natural pools in the Jiuzhaigou Nature Reserve. We measured the activity level, growth rate, mass at metamorphosis and larval period in a laboratory experiment. Tadpoles of B. gargarizans were significantly more active when food was abundant than scarce, while there was no significant difference in the activity of R. kukunoris tadpoles at different food levels. At low food availability, mass at metamorphosis and growth rate of R. kukunoris were significantly increased in the presence of B. gargarizans, whereas the presence of R. kukunoris had no significant effect on the mass and growth rate of B. gargarizans. In all treatments, the larval period of B. gargarizans at low food availability was the shortest. These results suggest that B. gargarizans can adapt to different food levels by changing their activity rate. At high food level, B. gargarizans increased activity to gain more food. At low food level, B. gargarizans decreased activity and achieved early metamorphosis. However, when food resources were limited, R. kukunoris could gain more food than B.gargarizans .

Completeness of bounded model checking temporal logic of knowledge

In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge is introduced into the past tense operator, and then a new temporal epistemic logic LTLKP is obtained, so that LTLKP can naturally and precisely describe the system＇s reliability. Secondly, a set of prior algorithms are designed to calculate the maximal reachable depth and the length of the longest of loop free paths in the structure based on the graph structure theory. Finally, some theorems are proposed to show how to approximate the complete threshold with the diameter and recurrence diameter. The proposed work resolves the completeness threshold problem so that the completeness of bounded model checking can be guaranteed.

试论动词作定语时的ル形、タ形、テイル形

日语的动词可以在句中作定语修饰名词,这时动词在时态和体的方面采用哪种形式就成了要考虑的问题。本文将从动词作定语时是否受作谓语时的时态和体的基本意义影响的角度,对ル形、タ形、テイル形的用法进行考察。

法汉形容词几个问题的比较

汉语形容词与名词一样属于静词范畴,即有性数变化,没有动词范畴中时态和体的变化,也没有独立的谓语性。汉语形容词同法语形容词相反,“它与动词相近,并与动词构成一个统一的谓语范畴。”(见龙果夫《现代汉语语法研究》,第159页)

Flow shop rescheduling problem under rush orders

In the environment of customization, disturbances such as rush orders and material shortages often occur in the manufacturing system, so rescheduling is necessary for the manufacturing system. The rescheduling methodology should be able to dispose of the disturbance efficiently so as to keep production going smoothly. This aims researching flow shop rescheduling problem (FSRP) necessitated by rush orders. Disjunctive graph is employed to demonstrate the FSRP. For a flow shop processing n jobs, after the original schedule has been made, and z out of n jobs have been processed in the flow shop, x rush orders come, so the original n jobs together with x rush orders should be rescheduled immediately so that the rush orders would be processed in the shortest time and the original jobs could be processed subject to some optimized criteria. The weighted mean flow time of both original jobs and rush orders is used as objective function. The weight for rush orders is much bigger than that of the original jobs, so the rush orders should be processed early in the new schedule. The ant colony optimization (ACO) algorithm used to solve the rescheduling problem has a weakness in that the search may fall into a local optimum. Mutation operation is employed to enhance the ACO performance. Numerical experiments demonstrated that the proposed algorithm has high computation repeatability and efficiency.

英语标题式语言的语法特点和使用探究

英语标题式语言文字简练，常用于揭示语、文章和新闻报导的题目、电报及某些应用文体；结构上以名词（或名词短语、名词分句及其他起名词作用的结构）为主；封闭类词的省略、动词的时态和体以及大写规则等有其共性而又各有特点．

Volume-conserved Twist Excited State of π-Conjugated Molecules

The excited state characters of HY103 have been studied by means of time-resolved photon emission （time-correlated single photon counting） and time dependent density functional theory calculations. The experimental and theoretical results demonstrate that HY103 dyes undergo an efficient one-bond-flip motion after photoexicitation at room temperature, which leads to a very short lifetime of the normM fluorescence state, and a weak fluorescence emission around 670 am. However, when HY103 are excited in amorphous glasses at 77 K, the normal fluorescence emission is prolonged to nanoseconds time scale about 2 ns, and the fluorescence emission is enhanced. Furthermore, a new emission state is produced, which is characterized as a volume-conserved twisted （VCT） state. This is the first observation of a VCT state. The experiment indicates that the VCT motion of excited state of π-conjugated molecules in restricted environment can form a stable emission state, and the excited state character of π-conjugated molecules in restricted environment is complex.

Time-dependent behaviors and volumetric recovery phenomenon of sandstone under triaxial loading and unloading

The time-dependent behaviors of coal and rocks were easily ignored. Besides, “three-stage” triaxial loading and unloading mechanics tests of sandstone were conducted based on the idea of the initial high in-situ stress state recovery according to the full-life cycle evolution characteristics of surrounding rocks in deep mines(pre-excavation,excavation and post-excavation). The time-dependent stress-strain curves of sandstone were obtained. Meanwhile, the deformation and strength fitting relationships with time of sandstone were also built. Furthermore, the dilatancy and volumetric recovery mechanical mechanisms of sandstone were revealed. The results showed that: 1) There were significant time-dependent evolution characteristics on the deformation and strength of sandstone;2) There were significant correlations among the internal friction angle, cohesion and the simulated depths;3) Volumetric recovery phenomenon of sandstone was observed for the first time, which mainly occurred at the simulated depth of 2000 m. The above research conclusions could provide a certain theoretical basis for the stability control of surrounding rocks in deep mines.

Purification and separation of durene by static melt crystallization

The purification and separation of durene from the mixture containing durene isomers were studied.Since the boiling points of tetramethyl benzene isomers are very close but their melting points are of great differences,static melt crystallization was applied to separate and purify durene from its isomers.Crystallization experiments were carried out under various operating conditions.The effects of cooling rate,crystallization temperature,sweating temperature and sweating time on the yield and purity of crystal were investigated.Orthogonal experimental design method was adopted to analyze the factors that may affect the yield of durene.Under the optimal crystallization conditions,the purity of durene could reach as high as 99.06%with the yield of 75.3%through one crystallization process.By fitting purification data based on sweating time in isothermal operations,the purification rate coefficient was obtained.

An IEEE 802.3 Compatible Real Time Medium Access Control with Length-based Priority

A new medium access control method is proposed over the predominant Ethernet broadcast channel. Taking advantages of intrinsic variable length characteristic of standard Ethemet frame, message-oriented dynamic priority mechanism is established. Prioritized medium access control operates under a so-called block mode in event of collisions. High priority messages have a chance to preempt block status incurred by low priority ones. By this means, the new MAC provides a conditional detrministic real time performance beyond a statistical one. Experiments effectiveness and attractiveness of the proposed scheme.Moreover,this new MAC is completely compatible with IEEE802.3 .

Correlation of expression of preprothyrotropin-releasing hormone and receptor with rat testis development

Objective To investigate the expression regulation of thyrotrophin-releasing hormone (TRH) and TRH receptor (TRH-R), and their role in the development of rat testis.Methods Oligonucleotide primers were designed from the sequences of rat hypothalamus prepro TRH (ppTRH) and pituitary TRH-R cDNA for reverse transcription polymerase chain reaction (RT-PCR). Specific fragments of ppTRH and TRH-R cDNA were cloned and sequenced. Expression plasmids containing ppTRH and TRH-R genes were then constructed, and expression was found in E.coli DH5-α. ppTRH and TRH-R mRNA in the testis was quantitated in RNA samples prepared from rats at different developmental stages by real time quantitative RT-PCR.Results The quantitative analyses demonstrated that no ppTRH and TRH mRNA could be detected at the earliest stage (day 8). ppTRH and TRH mRNA signals were detected on day 15 and increased progressively on days 20, 35, 60 and 90. Conclusion Our results suggest that rat testis could specifically express TRH and TRH-R, and the transcriptions of ppTRH and TRH-R genes in the rat testis were development-dependent. The acquirement of expressed products for ppTRH and TRH-R can be used for further research on the physiological significance of TRH and TRH-R expression in rat testis.

Observability of Boolean Control Networks with Time-Variant Delays in States

This paper gives an equivalent condition for the observability of Boolean control networks（BCNs） with time-variant delays in states under a mild assumption by using the graph-theoretic method under the framework of the semi-tensor product of matrices. First, the BCN under consideration is split into a finite number of subsystems with no time delays. Second, the observability of the BCN is verified by testing the observability of the so-called observability constructed path（a special subsystem without time delays） based on graph theory. These results extend the recent related results on the observability of BCNs. Examples are shown to illustrate the effectiveness of the results.

CONSENSUS DESIGN FOR CONTINUOUS-TIME MULTI-AGENT SYSTEMS WITH COMMUNICATION DELAY

This paper investigates a consensus design problem for continuous-time first-order multiagent systems with uniform constant communication delay.Provided that the agent dynamic is unstable and the diagraph is undirected,sufficient conditions are derived to guarantee consensus.The key technique is the adoption of historical input information in the protocol.Especially,when agent's own historical input information is used in the protocol design,the consensus condition is constructed in terms of agent dynamic,communication delay,and the eigenratio of the network topology.Simulation result is presented to validate the effectiveness of the theoretical result.

Characteristics of the double layer associated with terrestrial bow shock by THEMIS observation

This study presents observation and detailed analysis on the double layers （DLs） in the ramp and the foreshock contacting with the foot of the terrestrial bow shock by THEMIS on September 14, 2008 under enhanced dynamic pressure in the solar wind. The results reveal that： （1） The time duration of the double layers is nus 10-40 mV/m. （2） On assuming a propagation speed at the ion mainly 3-8 ms, and their max parallel electric field is miacoustic speed （vs）, their spatial scale is estimated to be 0.3-1.15 km （about 75-200 2D）. （3） The net potential drop of DLs is estimated to be 5-32 V. （4） The DLs in the ramp and the foreshock contacting to the foot of the bow shock is current-carrying as a result of development and evolution of nonlinear phase of instability in the self-consistent current-carrying plasma. The DLs may play an important role in strong turbulence in the foreshock contacting with the foot of the bow shock.

Transient emission wavelength estimation for DFB laser with temperature tuning

The prediction method of dynamic wavelength is proposed for temperature tuning process. The temperature of the thermistor integrated in laser diode(LD) module is recorded to predict the LD chip temperature. Then according to the injection current and priori tuning characteristics of the LDs, the emission wavelength is estimated in real time. The method is validated by using a 1.58 μm distributed feedback(DFB) LD. The absorption spectra of mixture gas of CO_2 and CO are measured by means of the thermal tuning gas sensing system. The center wavelength of each absorption line is compared with the data in HITRAN2012 database. The results show that the deviations are less than 5 pm. This method fully meets the needs of spectroscopic measurement, and can be applied to spectroscopy, optical communications and other fields.