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, ma...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 .展开更多
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...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.展开更多
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 methodo...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.展开更多
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 ...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.展开更多
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 priorit...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 .展开更多
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...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.展开更多
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 ...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.展开更多
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 undirecte...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.展开更多
In previous evacuation flow planning, a system optimal dynamic traffic assignment(SODTA) did not consider the exogenous costs caused by potential traffic accidents. A traffic accident,which might occur as a result of ...In previous evacuation flow planning, a system optimal dynamic traffic assignment(SODTA) did not consider the exogenous costs caused by potential traffic accidents. A traffic accident,which might occur as a result of traffic congestion, will impact an evacuation process because of accidentrelated delays experienced by the downstream vehicles. This paper establishes a safety-based SO-DTA linear programming model in which the generalized system cost incorporates both the travel time and the accident-related delay. The goal is to minimize the generalized system cost under the cell transmission setup. Furthermore, the authors provide strategic guidance information that considers both the objective of the decision maker and the route choice behavior of the evacuees. Mathematically,the authors propose an unconstrained non-linear programming model aimed at minimizing the gap between the safety-based flows and the stochastic real-world evacuation flows, to provide strategic travel time information to be published on variable message signs(VMS). In the case study, the authors found that the safety-based SO-DTA model can reduce congestion and improve the evacuation efficiency; the stochastic real-world evacuation flows, guided by strategic information, can approach the safety-based flows.展开更多
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 dyn...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.展开更多
文摘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 .
基金The National Natural Science Foundation of China (No.10974093)the Scientific Research Foundation for Senior Personnel of Jiangsu University (No.07JDG014)the Natural Science Foundation of Higher Education Institutions of Jiangsu Province (No.08KJD520015)
文摘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.
文摘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.
文摘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.
基金This workis partly supported by national 863 project under grant 2002 AA412010 08
文摘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 .
文摘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.
基金supported by the National Natural Science Foundation of China under Grant Nos.61603109and 51209051the Natural Science Foundation of Heilongjiang Province of China under Grant No.LC2016023+1 种基金the Fundamental Research Funds for the Central Universities under Grant Nos.HEUCFM170406 and HEUCFM170112the State Key Laboratory of Ocean Engineering(Shanghai Jiao Tong University)under Grant No.1415
文摘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.
基金supported by the Taishan Scholar Construction Engineering by Shandong Government,the National Natural Science Foundation of China under Grant Nos.61120106011 and 61203029
文摘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.
基金supported by the National Natural Science Foundation of China under Grant Nos.51408321,51078086,51278101Specialized Research Fund for the Doctoral Program of Higher Education under Grant No.20120092110043
文摘In previous evacuation flow planning, a system optimal dynamic traffic assignment(SODTA) did not consider the exogenous costs caused by potential traffic accidents. A traffic accident,which might occur as a result of traffic congestion, will impact an evacuation process because of accidentrelated delays experienced by the downstream vehicles. This paper establishes a safety-based SO-DTA linear programming model in which the generalized system cost incorporates both the travel time and the accident-related delay. The goal is to minimize the generalized system cost under the cell transmission setup. Furthermore, the authors provide strategic guidance information that considers both the objective of the decision maker and the route choice behavior of the evacuees. Mathematically,the authors propose an unconstrained non-linear programming model aimed at minimizing the gap between the safety-based flows and the stochastic real-world evacuation flows, to provide strategic travel time information to be published on variable message signs(VMS). In the case study, the authors found that the safety-based SO-DTA model can reduce congestion and improve the evacuation efficiency; the stochastic real-world evacuation flows, guided by strategic information, can approach the safety-based flows.
基金supported by the National Natural Science Foundation of China(Grant No.41304132)the 53-Class General Financial Grant from the China Postdoctoral Science Foundation(Grant No.2013M532115)
文摘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.
