As an important resource in data link,time slots should be strategically allocated to enhance transmission efficiency and resist eavesdropping,especially considering the tremendous increase in the number of nodes and ...As an important resource in data link,time slots should be strategically allocated to enhance transmission efficiency and resist eavesdropping,especially considering the tremendous increase in the number of nodes and diverse communication needs.It is crucial to design control sequences with robust randomness and conflict-freeness to properly address differentiated access control in data link.In this paper,we propose a hierarchical access control scheme based on control sequences to achieve high utilization of time slots and differentiated access control.A theoretical bound of the hierarchical control sequence set is derived to characterize the constraints on the parameters of the sequence set.Moreover,two classes of optimal hierarchical control sequence sets satisfying the theoretical bound are constructed,both of which enable the scheme to achieve maximum utilization of time slots.Compared with the fixed time slot allocation scheme,our scheme reduces the symbol error rate by up to 9%,which indicates a significant improvement in anti-interference and eavesdropping capabilities.展开更多
In order to solve the problem of artificial generation and low efficiency of test sequences for zone controller (ZC), a model-based automatic generation method of test sequence is proposed. Firstly, the timed automata...In order to solve the problem of artificial generation and low efficiency of test sequences for zone controller (ZC), a model-based automatic generation method of test sequence is proposed. Firstly, the timed automata model is established based on function analysis of the zone controller, and the correctness of the model is verified by UPPAAL. Then by parsing the timed automata model files, state information and transition conditions can be extracted to generate test case sets. Finally, according to the serialization conditions of test cases, the test cases are serialized into test sequences by using the improved depth first search algorithm. A case, the ZC controls the train running within its jurisdiction, shows that the method is correct and can effectively improve the efficiency of test sequence generation.展开更多
To understand the evolution of the Miocene gravity flow deposits in the Lower Congo-Congo Fan Basin,this paper documents the Miocene sequence stratigraphic framework,the depositional characteristics and the controllin...To understand the evolution of the Miocene gravity flow deposits in the Lower Congo-Congo Fan Basin,this paper documents the Miocene sequence stratigraphic framework,the depositional characteristics and the controlling factors of the gravity flow system.Based on the establishment of high-resolution sequence stratigraphic framework,lithofacies characteristics and sedimentary units of the gravity flow deposits in the region are identified by using seismic,well logging and core data comprehensively,and the sedimentary evolution process is revealed and the controlling factors are discussed.The Miocene can be divided into four 3 rd-order sequences(SQ1-SQ4).The gravity flow deposits mainly include siliciclastic rock and pelite.The main sedimentary units include slumping deposits,mass transport deposits(MTD),channel fills,levee-overbank deposits,and frontal lobes.In the Early Miocene(SQ1),mainly gull-wing,weakly restricted to unrestricted depositional channel-overbank complexes and lobes were formed.In the early Middle Miocene(SQ2),W-shaped and weakly restricted erosional-depositional channels(multi-phase superposition)were subsequently developed.In the late Middle Miocene(SQ3),primarily U-shaped and restricted erosional channels were developed.In the Late Miocene(SQ4),largely V-shaped and deeply erosional isolated channels were formed in the study area.Climate cooling and continuous fall of the sea level made the study area change from toe of slope-submarine plain to lower continental slope,middle continental slope and finally to upper continental slope,which in turn affected the strength of the gravity flow.The three times of tectonic uplifting and climate cooling in the West African coast provided abundant sediment supply for the development of gravity flow deposits.Multistage activities of salt structures played important roles in redirecting,restricting,blocking and destroying the gravity flow deposits.Clarifying the characteristics,evolution and controlling factors of the Miocene gravity flow deposits in the Lower Congo-Congo Fan Basin can provide reference for deep-water petroleum exploration in this basin.展开更多
On the basis of the relationship between the Hamiltonian of spin 1/2 quantum system under control and the energy level structure and transitions, a radio frequency pulse sequence is designed using intuitive and half c...On the basis of the relationship between the Hamiltonian of spin 1/2 quantum system under control and the energy level structure and transitions, a radio frequency pulse sequence is designed using intuitive and half counter-intuitive sequences of pulse to transfer the population of the 3-qubit system coherently. The effectiveness of the designed control sequence is verified through the system simulation experiment of the evolution of state. In principle, the design method of the control pulse sequence proposed can be generalized to use in the quantum systems of higher dimension.展开更多
In this paper, the mutual information between clock-controlled input and output sequences is discussed. It is proved that the mutual information is a strictly monotone increasing function of the length of output seque...In this paper, the mutual information between clock-controlled input and output sequences is discussed. It is proved that the mutual information is a strictly monotone increasing function of the length of output sequence, and its divergent rate is gaven.展开更多
By using m-sequence over the finite field GF(2m) of degree L to control m-sequence over GF(2m) of degree L, a class of periodic sequences with large linear complexity is constructed. The lower bounds of the linear com...By using m-sequence over the finite field GF(2m) of degree L to control m-sequence over GF(2m) of degree L, a class of periodic sequences with large linear complexity is constructed. The lower bounds of the linear complexity of these sequences are L((L +1)m-Lm).展开更多
Power control is an important issue in mobile communication systems and has been studied extensively in the literature. This paper has taken on a new perspective and modeled the problem as a state estimation problem w...Power control is an important issue in mobile communication systems and has been studied extensively in the literature. This paper has taken on a new perspective and modeled the problem as a state estimation problem with finite communication constraints. The problem is solved by using the 1-bit mean coder-estimator sequence. The performance of the coder-estimator sequence is compared with that of the simple feedback power control technique by evaluating their respective fade margins as in commonly done in radio system engineering.展开更多
The 5’-end of the mitochondrial control region sequences of three flatfishes (Pleuronectiformes: Pleuronectidae) were amplified and sequenced. These sequences were compared with those of other three Pleuronectids spe...The 5’-end of the mitochondrial control region sequences of three flatfishes (Pleuronectiformes: Pleuronectidae) were amplified and sequenced. These sequences were compared with those of other three Pleuronectids species retrieved from GenBank. A phylogenetic tree was constructed based on the partial control region sequences. The results of phyloge- netic analysis are consistent with those of conventional systematics. Compared to previous studies, the structure of the 5’-end of mitochondrial control region was analyzed. The terminal associated sequence motif and its complementary motif were i- dentified at the 5’-end of the sequences. A conserved sequence block, named as CM5’d, was identified in the 5’-end of con- trol region sequences in all Pleuronectids. Another central conserved sequence block, named as CSB-F, was detected in the central conserved blocks.展开更多
A large gas reservoir in the Sinian Dengying Fm was recently discovered in Anyue area,central Sichuan Basin.In order to promote the oil and gas exploration in this area,it is of great significance to sustainably deepe...A large gas reservoir in the Sinian Dengying Fm was recently discovered in Anyue area,central Sichuan Basin.In order to promote the oil and gas exploration in this area,it is of great significance to sustainably deepen the analysis on its high-quality reservoir distribution and sourcereservoir assemblage.In this paper,a series of studies were performed on the sequence frameworks and sedimentary filling evolution characteristics of the Dengying Fm in centralewestern Sichuan Basin,and their controlling effects on the reservoir development and distribution and source-reservoir assemblage during its sedimentation.It is shown that the Deyang-Anyue paleo-rift is,on the whole,distributed in a NW direction,and is morphologically wide and steep in the north,but narrow and gentle in the south.There are two rift boundaries of the second and fourth members of Dengying Fm(Deng 2 Member and Deng 4 Member,respectively).The rift of Deng 2 Member is distributed in the shape of“U”in Deyang-Neijiang area.Dengying Fm is divided into four third-order sequences(SQ1-SQ4).In SQ3 of Gaoshiti-Moxi area,central Sichuan Basin,a complete sedimentation reflection structure of transgressive overlap and regressive progradation can be identified with earlyemiddle Deng 4 Member platform margin.The paleo-rift was in embryo before the sedimentation of Sinian,so the sedimentary filling and lithofacies distribution of the Sinian were influenced by the inherited activities of pre-Sinian rifts.The favorable distribution zones of highquality reservoirs are located at the rift margins of Deng 2 and Deng 4 Members that were formed respectively during the SQ2 and SQ4 and the platform margin of early Deng 4 Member that was formed during the SQ3.A laterally connected source-reservoir assemblage occurs at the margins of Deng 2 and Deng 4 Members around the Lower Cambrian source rocks of the paleo-rift.The northwestward extending margin zone along the eastern flank of the paleo-rift shows a good potential for hydrocarbon accumulation.展开更多
The configuration an electric vehicle's electrical system and its control sequence design scheme was discussed. Vehicle management unit (VMU), power management unit (PMU) and battery management unit (BMU) were use...The configuration an electric vehicle's electrical system and its control sequence design scheme was discussed. Vehicle management unit (VMU), power management unit (PMU) and battery management unit (BMU) were used as the control units in the vehicle. VMU was used as master control unit, PMU was used as the traction control unit and BMU was used as battery management unit. The concentrated single module control was found to be on one of its configurations.展开更多
In this study,four sequencing batch reactors(SBR),with the sludge retention time(SRT)of 5,10,20 and 40 d,were used to treat domestic wastewater,and the effect of SRT on nitrite accumulation in the biological nitrogen ...In this study,four sequencing batch reactors(SBR),with the sludge retention time(SRT)of 5,10,20 and 40 d,were used to treat domestic wastewater,and the effect of SRT on nitrite accumulation in the biological nitrogen removal SBR was investigated.The real-time control strategy based on online parameters,such as pH,dissolved oxygen(DO)and oxidation reduction potential(ORP),was used to regulate the nitrite accumulation in SBR. The model-based simulation and experimental results showed that with the increase of SRT,longer time was needed to achieve high level of nitritation.In addition,the nitrite accumulation rate(NAR)was higher when the SRT was relatively shorter during a 112-day operation.When the SRT was 5 d,the system was unstable with the mixed liquor suspended solids(MLSS)decreased day after day.When the SRT was 40 d,the nitrification process was significantly inhibited.SRT of 10 to 20 d was more suitable in this study.The real-time control strategy combined with SRT control in SBR is an effective method for biological nitrogen removal via nitrite from wastewater.展开更多
In developing distributed systems, conformance testing is required to determine whether an implementation under test （IUT） conforms to its specification. With distributed test architectures involving multiple remote...In developing distributed systems, conformance testing is required to determine whether an implementation under test （IUT） conforms to its specification. With distributed test architectures involving multiple remote testers, testing approaches may become more complicated because of issues known as controllability and observability problems. Based on a finite state machine （FSM） representation of the system＇s specification, this paper proposes a new method to generate a test sequence utilizing multiple UIO sequences. The method is essentially guided by the way of minimizing the use of external coordination messages and input/output operations. Experiments are given to evaluate the proposed method.展开更多
Weedy rice exerts a severe impact on rice production by competing for sunlight, water and nutrients. This study assayed the population structure, genetic diversity and origin of Northeast Asia weedy rice by using 48 s...Weedy rice exerts a severe impact on rice production by competing for sunlight, water and nutrients. This study assayed the population structure, genetic diversity and origin of Northeast Asia weedy rice by using 48 simple sequence repeat markers. The results showed that weedy rice in Northeast Asia had a high genetic diversity, with Shannon＇s diversity index （I） of 0.748 and the heterozygosity （He） of 0.434. In each regional population, I value varied widely. The widest range of I （0.228-0.489） was observed in the weedy rice of Eastern China, which was larger than that of Northeast China and Korea （0.168-0.270）. The F-statistics of regional populations （Fis, Fit and Fst） also showed higher values in the weedy rice of Eastern China than those of Northeast China and Korea All weedy rice accessions were grouped into two clusters in the unweighted pair group method with arithmetic mean cluster analysis dendrogram, namely Eastern China branch and Northeastern China plus Korea branch. There was significant differentiation in genetic characteristics in weedy rice of northeastern and eastern Asia, especially in Eastern China.展开更多
Sequenced-defined oligomer has been emerged as one of the hot topics in polymer chemistry due to its capability of precisely controlling both chain length and monomer sequence.Recent efforts have focused on developmen...Sequenced-defined oligomer has been emerged as one of the hot topics in polymer chemistry due to its capability of precisely controlling both chain length and monomer sequence.Recent efforts have focused on development of synthetic methodologies using state-ofthe-art chemistry tools.However,investigating the impact of minor changes in monomer sequence on physical properties of these materials is still underdeveloped.Herein,four sequenced pentamers are synthesized by a reversible addition-fragmentation chain transfer(RAFT)single unit monomer insertion technique,in which a base pentamer possesses a relatively rigid backbone comprising of five cyclic monomer units.One of the cyclic units in this base pentamer is replaced by an acyclic monomer at different locations(the 1st,3rd and 5th unit)to produce three modified pentamers,which leads to a significant decrease of glass transition temperature(Tg)compared to the base pentamer.Meanwhile,the modified pentamers with identical primary structures but distinct monomer sequences also present different Tg values depending on the position of the acyclic monomer unit.The middle(3rd)position of the acyclic unit causes profound decrease of Tg due to its increased molecular flexibility.These synthetic pentamers have been demonstrated to be excellent oligomeric plasticizers to modulate thermal transitions of bulk polymer materials.展开更多
Hydrothermal stability is crucial for the practical application of deNO_(x)catalyst on diesel vehicles,for the selective catalytic reduction of NO_(x)with NH_(3)(NH_(3)-SCR).SnO_(2)-based materials possess superior hy...Hydrothermal stability is crucial for the practical application of deNO_(x)catalyst on diesel vehicles,for the selective catalytic reduction of NO_(x)with NH_(3)(NH_(3)-SCR).SnO_(2)-based materials possess superior hydrothermal stability,which is attractive for the development of NH_(3)-SCR catalyst.In this work,a series of Ce-Nb/SnO_(2)catalysts,with Ce and Nb loading on SnO_(2)support,were prepared by impregnation method.It was found that,the NH_(3)-SCR activities and hydrothermal stabilities of the Ce-Nb/SnO_(2)catalysts significantly varied with the impregnation sequences,and the Ce-Nb(f)/SnO_(2) catalyst that firstly impregnated Nb and then impregnated Ce exhibited the best performance.The characterization results revealed that CeNb(f)/SnO_(2)possessed appropriate acidity and redox capability.Furthermore,the strong synergistic effect between Nb and Sn species stabilized the structure and maintained the dispersion of acid sites.This study may provide a new understanding for the effect of impregnation sequence on activity and hydrothermal stability and a new environmental-friendly NH_(3)-SCR catalyst with potential applications for NO_(x)removal from diesel and hydrogenfueled engines.展开更多
Dear Editor,In this letter,several novel controllability results for a class of linear switched and impulsive systems are established.Different from the developed controllability conditions in most existing literature...Dear Editor,In this letter,several novel controllability results for a class of linear switched and impulsive systems are established.Different from the developed controllability conditions in most existing literature,the important role of switched and impulsive time sequence is considered.Applying the relevant geometric theory of matrix,a necessary and sufficient criterion for the controllability is firstly developed to judge when the controllability of such systems is affected by switched and impulsive time sequence.Furthermore,we further obtain a sufficient controllability condition that can be used to verify the controllability of such systems regardless of the switched and impulsive time sequence.Finally,a numerical example is given to verify the obtained theoretical results.展开更多
With the reduction of sequencing costs,optimization of algorithms,and improvement of multi-omics integration capabilities,transcriptomics,as a core technology for analyzing gene expression dynamics and discovering key...With the reduction of sequencing costs,optimization of algorithms,and improvement of multi-omics integration capabilities,transcriptomics,as a core technology for analyzing gene expression dynamics and discovering key functional molecules,has shown great potential in the field of disease prevention and control[1,2].The multi-continental transcriptomics study of tick-borne poxvirus not only provides a new perspective for understanding the evolution and transmission of vector-mediated viruses,but also reflects the trend of transcriptomics research and highlights its key role in disease prevention and control[3].展开更多
基金supported by the National Science Foundation of China(No.62171387)the Science and Technology Program of Sichuan Province(No.2024NSFSC0468)the China Postdoctoral Science Foundation(No.2019M663475).
文摘As an important resource in data link,time slots should be strategically allocated to enhance transmission efficiency and resist eavesdropping,especially considering the tremendous increase in the number of nodes and diverse communication needs.It is crucial to design control sequences with robust randomness and conflict-freeness to properly address differentiated access control in data link.In this paper,we propose a hierarchical access control scheme based on control sequences to achieve high utilization of time slots and differentiated access control.A theoretical bound of the hierarchical control sequence set is derived to characterize the constraints on the parameters of the sequence set.Moreover,two classes of optimal hierarchical control sequence sets satisfying the theoretical bound are constructed,both of which enable the scheme to achieve maximum utilization of time slots.Compared with the fixed time slot allocation scheme,our scheme reduces the symbol error rate by up to 9%,which indicates a significant improvement in anti-interference and eavesdropping capabilities.
文摘In order to solve the problem of artificial generation and low efficiency of test sequences for zone controller (ZC), a model-based automatic generation method of test sequence is proposed. Firstly, the timed automata model is established based on function analysis of the zone controller, and the correctness of the model is verified by UPPAAL. Then by parsing the timed automata model files, state information and transition conditions can be extracted to generate test case sets. Finally, according to the serialization conditions of test cases, the test cases are serialized into test sequences by using the improved depth first search algorithm. A case, the ZC controls the train running within its jurisdiction, shows that the method is correct and can effectively improve the efficiency of test sequence generation.
基金Supported by the China National Science and Technology Major Project(2016ZX05004-002)National Natural Science Foundation of China(91328201)。
文摘To understand the evolution of the Miocene gravity flow deposits in the Lower Congo-Congo Fan Basin,this paper documents the Miocene sequence stratigraphic framework,the depositional characteristics and the controlling factors of the gravity flow system.Based on the establishment of high-resolution sequence stratigraphic framework,lithofacies characteristics and sedimentary units of the gravity flow deposits in the region are identified by using seismic,well logging and core data comprehensively,and the sedimentary evolution process is revealed and the controlling factors are discussed.The Miocene can be divided into four 3 rd-order sequences(SQ1-SQ4).The gravity flow deposits mainly include siliciclastic rock and pelite.The main sedimentary units include slumping deposits,mass transport deposits(MTD),channel fills,levee-overbank deposits,and frontal lobes.In the Early Miocene(SQ1),mainly gull-wing,weakly restricted to unrestricted depositional channel-overbank complexes and lobes were formed.In the early Middle Miocene(SQ2),W-shaped and weakly restricted erosional-depositional channels(multi-phase superposition)were subsequently developed.In the late Middle Miocene(SQ3),primarily U-shaped and restricted erosional channels were developed.In the Late Miocene(SQ4),largely V-shaped and deeply erosional isolated channels were formed in the study area.Climate cooling and continuous fall of the sea level made the study area change from toe of slope-submarine plain to lower continental slope,middle continental slope and finally to upper continental slope,which in turn affected the strength of the gravity flow.The three times of tectonic uplifting and climate cooling in the West African coast provided abundant sediment supply for the development of gravity flow deposits.Multistage activities of salt structures played important roles in redirecting,restricting,blocking and destroying the gravity flow deposits.Clarifying the characteristics,evolution and controlling factors of the Miocene gravity flow deposits in the Lower Congo-Congo Fan Basin can provide reference for deep-water petroleum exploration in this basin.
基金supported by the National Natural Science Foundation of China (60774098)the National Key Basic Research Program (2006922004)
文摘On the basis of the relationship between the Hamiltonian of spin 1/2 quantum system under control and the energy level structure and transitions, a radio frequency pulse sequence is designed using intuitive and half counter-intuitive sequences of pulse to transfer the population of the 3-qubit system coherently. The effectiveness of the designed control sequence is verified through the system simulation experiment of the evolution of state. In principle, the design method of the control pulse sequence proposed can be generalized to use in the quantum systems of higher dimension.
文摘In this paper, the mutual information between clock-controlled input and output sequences is discussed. It is proved that the mutual information is a strictly monotone increasing function of the length of output sequence, and its divergent rate is gaven.
文摘By using m-sequence over the finite field GF(2m) of degree L to control m-sequence over GF(2m) of degree L, a class of periodic sequences with large linear complexity is constructed. The lower bounds of the linear complexity of these sequences are L((L +1)m-Lm).
基金Supported by a grant from the Hong Kong Research Grants Councilpartially supported by Shenzhen University
文摘Power control is an important issue in mobile communication systems and has been studied extensively in the literature. This paper has taken on a new perspective and modeled the problem as a state estimation problem with finite communication constraints. The problem is solved by using the 1-bit mean coder-estimator sequence. The performance of the coder-estimator sequence is compared with that of the simple feedback power control technique by evaluating their respective fade margins as in commonly done in radio system engineering.
基金the Shandong Foundation of Sciences(No.Y2000D04) the National Key Basic Research Program from the Ministry of Science and Technology of China(No.G19990437).
文摘The 5’-end of the mitochondrial control region sequences of three flatfishes (Pleuronectiformes: Pleuronectidae) were amplified and sequenced. These sequences were compared with those of other three Pleuronectids species retrieved from GenBank. A phylogenetic tree was constructed based on the partial control region sequences. The results of phyloge- netic analysis are consistent with those of conventional systematics. Compared to previous studies, the structure of the 5’-end of mitochondrial control region was analyzed. The terminal associated sequence motif and its complementary motif were i- dentified at the 5’-end of the sequences. A conserved sequence block, named as CM5’d, was identified in the 5’-end of con- trol region sequences in all Pleuronectids. Another central conserved sequence block, named as CSB-F, was detected in the central conserved blocks.
文摘A large gas reservoir in the Sinian Dengying Fm was recently discovered in Anyue area,central Sichuan Basin.In order to promote the oil and gas exploration in this area,it is of great significance to sustainably deepen the analysis on its high-quality reservoir distribution and sourcereservoir assemblage.In this paper,a series of studies were performed on the sequence frameworks and sedimentary filling evolution characteristics of the Dengying Fm in centralewestern Sichuan Basin,and their controlling effects on the reservoir development and distribution and source-reservoir assemblage during its sedimentation.It is shown that the Deyang-Anyue paleo-rift is,on the whole,distributed in a NW direction,and is morphologically wide and steep in the north,but narrow and gentle in the south.There are two rift boundaries of the second and fourth members of Dengying Fm(Deng 2 Member and Deng 4 Member,respectively).The rift of Deng 2 Member is distributed in the shape of“U”in Deyang-Neijiang area.Dengying Fm is divided into four third-order sequences(SQ1-SQ4).In SQ3 of Gaoshiti-Moxi area,central Sichuan Basin,a complete sedimentation reflection structure of transgressive overlap and regressive progradation can be identified with earlyemiddle Deng 4 Member platform margin.The paleo-rift was in embryo before the sedimentation of Sinian,so the sedimentary filling and lithofacies distribution of the Sinian were influenced by the inherited activities of pre-Sinian rifts.The favorable distribution zones of highquality reservoirs are located at the rift margins of Deng 2 and Deng 4 Members that were formed respectively during the SQ2 and SQ4 and the platform margin of early Deng 4 Member that was formed during the SQ3.A laterally connected source-reservoir assemblage occurs at the margins of Deng 2 and Deng 4 Members around the Lower Cambrian source rocks of the paleo-rift.The northwestward extending margin zone along the eastern flank of the paleo-rift shows a good potential for hydrocarbon accumulation.
文摘The configuration an electric vehicle's electrical system and its control sequence design scheme was discussed. Vehicle management unit (VMU), power management unit (PMU) and battery management unit (BMU) were used as the control units in the vehicle. VMU was used as master control unit, PMU was used as the traction control unit and BMU was used as battery management unit. The concentrated single module control was found to be on one of its configurations.
基金Supported by the National Key Technologies Research and Development Program of China during the Eleventh Five-year Plan Period(2006BAC19B03)the Project of Scientific Research Base and Scientific Innovation Platform of Beijing Municipal Education Commission(PXM2008_014204_050843the State Key Laboratory of Urban Water Resource and Environment(HIT)(QAK201006)
文摘In this study,four sequencing batch reactors(SBR),with the sludge retention time(SRT)of 5,10,20 and 40 d,were used to treat domestic wastewater,and the effect of SRT on nitrite accumulation in the biological nitrogen removal SBR was investigated.The real-time control strategy based on online parameters,such as pH,dissolved oxygen(DO)and oxidation reduction potential(ORP),was used to regulate the nitrite accumulation in SBR. The model-based simulation and experimental results showed that with the increase of SRT,longer time was needed to achieve high level of nitritation.In addition,the nitrite accumulation rate(NAR)was higher when the SRT was relatively shorter during a 112-day operation.When the SRT was 5 d,the system was unstable with the mixed liquor suspended solids(MLSS)decreased day after day.When the SRT was 40 d,the nitrification process was significantly inhibited.SRT of 10 to 20 d was more suitable in this study.The real-time control strategy combined with SRT control in SBR is an effective method for biological nitrogen removal via nitrite from wastewater.
基金Project supported by the National Natural Science Foundation of China （Grant No.60673115）, and the Open Foundation of State Key Laboratory of Software Engineering （Grant No.SKLSE05-13）
文摘In developing distributed systems, conformance testing is required to determine whether an implementation under test （IUT） conforms to its specification. With distributed test architectures involving multiple remote testers, testing approaches may become more complicated because of issues known as controllability and observability problems. Based on a finite state machine （FSM） representation of the system＇s specification, this paper proposes a new method to generate a test sequence utilizing multiple UIO sequences. The method is essentially guided by the way of minimizing the use of external coordination messages and input/output operations. Experiments are given to evaluate the proposed method.
基金funded by Shanghai Municipal Key Task Projects of Prospering Agriculture by Science and Technology Plan in China (Grant No. Hu Nong Ke Gong Zi 2008: 2-1)
文摘Weedy rice exerts a severe impact on rice production by competing for sunlight, water and nutrients. This study assayed the population structure, genetic diversity and origin of Northeast Asia weedy rice by using 48 simple sequence repeat markers. The results showed that weedy rice in Northeast Asia had a high genetic diversity, with Shannon＇s diversity index （I） of 0.748 and the heterozygosity （He） of 0.434. In each regional population, I value varied widely. The widest range of I （0.228-0.489） was observed in the weedy rice of Eastern China, which was larger than that of Northeast China and Korea （0.168-0.270）. The F-statistics of regional populations （Fis, Fit and Fst） also showed higher values in the weedy rice of Eastern China than those of Northeast China and Korea All weedy rice accessions were grouped into two clusters in the unweighted pair group method with arithmetic mean cluster analysis dendrogram, namely Eastern China branch and Northeastern China plus Korea branch. There was significant differentiation in genetic characteristics in weedy rice of northeastern and eastern Asia, especially in Eastern China.
基金the Australian Research Council(ARC)and UNSW Sydney for the financial support under the schemes of Future Fellowship(No.FT160100095)and Startup Fund。
文摘Sequenced-defined oligomer has been emerged as one of the hot topics in polymer chemistry due to its capability of precisely controlling both chain length and monomer sequence.Recent efforts have focused on development of synthetic methodologies using state-ofthe-art chemistry tools.However,investigating the impact of minor changes in monomer sequence on physical properties of these materials is still underdeveloped.Herein,four sequenced pentamers are synthesized by a reversible addition-fragmentation chain transfer(RAFT)single unit monomer insertion technique,in which a base pentamer possesses a relatively rigid backbone comprising of five cyclic monomer units.One of the cyclic units in this base pentamer is replaced by an acyclic monomer at different locations(the 1st,3rd and 5th unit)to produce three modified pentamers,which leads to a significant decrease of glass transition temperature(Tg)compared to the base pentamer.Meanwhile,the modified pentamers with identical primary structures but distinct monomer sequences also present different Tg values depending on the position of the acyclic monomer unit.The middle(3rd)position of the acyclic unit causes profound decrease of Tg due to its increased molecular flexibility.These synthetic pentamers have been demonstrated to be excellent oligomeric plasticizers to modulate thermal transitions of bulk polymer materials.
基金supported by the National Natural Science Foundation of China(Nos.52225004 and 22276182)the National Key R&D Program of China(Nos.2022YFC3701804 and 2022YFC3704400)the Science and Technology Innovation“2025”major program in Ningbo(No.2020Z103)。
文摘Hydrothermal stability is crucial for the practical application of deNO_(x)catalyst on diesel vehicles,for the selective catalytic reduction of NO_(x)with NH_(3)(NH_(3)-SCR).SnO_(2)-based materials possess superior hydrothermal stability,which is attractive for the development of NH_(3)-SCR catalyst.In this work,a series of Ce-Nb/SnO_(2)catalysts,with Ce and Nb loading on SnO_(2)support,were prepared by impregnation method.It was found that,the NH_(3)-SCR activities and hydrothermal stabilities of the Ce-Nb/SnO_(2)catalysts significantly varied with the impregnation sequences,and the Ce-Nb(f)/SnO_(2) catalyst that firstly impregnated Nb and then impregnated Ce exhibited the best performance.The characterization results revealed that CeNb(f)/SnO_(2)possessed appropriate acidity and redox capability.Furthermore,the strong synergistic effect between Nb and Sn species stabilized the structure and maintained the dispersion of acid sites.This study may provide a new understanding for the effect of impregnation sequence on activity and hydrothermal stability and a new environmental-friendly NH_(3)-SCR catalyst with potential applications for NO_(x)removal from diesel and hydrogenfueled engines.
基金supported in part by the National Natural Science Foundation of China(62322311,62303162,62233007,62203157)the Technology Development Program of Henan Province(242102211052).
文摘Dear Editor,In this letter,several novel controllability results for a class of linear switched and impulsive systems are established.Different from the developed controllability conditions in most existing literature,the important role of switched and impulsive time sequence is considered.Applying the relevant geometric theory of matrix,a necessary and sufficient criterion for the controllability is firstly developed to judge when the controllability of such systems is affected by switched and impulsive time sequence.Furthermore,we further obtain a sufficient controllability condition that can be used to verify the controllability of such systems regardless of the switched and impulsive time sequence.Finally,a numerical example is given to verify the obtained theoretical results.
文摘With the reduction of sequencing costs,optimization of algorithms,and improvement of multi-omics integration capabilities,transcriptomics,as a core technology for analyzing gene expression dynamics and discovering key functional molecules,has shown great potential in the field of disease prevention and control[1,2].The multi-continental transcriptomics study of tick-borne poxvirus not only provides a new perspective for understanding the evolution and transmission of vector-mediated viruses,but also reflects the trend of transcriptomics research and highlights its key role in disease prevention and control[3].
