A multi-agent based transport system is modeled by timed automata model extended with clock variables. The correctness properties of safety and liveness of this model are verified by timed automata based UPPAAL. Agent...A multi-agent based transport system is modeled by timed automata model extended with clock variables. The correctness properties of safety and liveness of this model are verified by timed automata based UPPAAL. Agents have a degree of control on their own actions, have their own threads of control, and under some circumstances they are also able to take decisions. Therefore they are autonomous. The multi-agent system is modeled as a network of timed automata based agents supported by clock variables. The representation of agent requirements based on mathematics is helpful in precise and unambiguous specifications, thereby ensuring correctness. This formal representation of requirements provides a way for logical reasoning about the artifacts produced. We can be systematic and precise in assessing correctness by rigorously specifying the functional requirements.展开更多
Virtual reality is an effective method to eliminate the influence of time delay.However,it depends on the precision of the virtual model.In this paper,we introduce a method that corrects the virtual model on-line to e...Virtual reality is an effective method to eliminate the influence of time delay.However,it depends on the precision of the virtual model.In this paper,we introduce a method that corrects the virtual model on-line to establish a more precise model.The geometric errors of the virtual model were corrected on-line by overlapping the graphics over the images and also by syncretizing the position and force information from the remote.Then the sliding average least squares(SALS)method was adopted to determine the mass,damp,and stiffness of the remote environment and use this information to amend the dynamic model of the environment.Experimental results demonstrate that the on-line correction method we proposed can effectively reduce the impact caused by time delay,and improve the operational performance of the teleoperation system.展开更多
check,check on 和 check up on 都包含“检查”、“核对”的意义。例如:1.checkI have checked your answers and none of them are correct.我检查了你的答案,没有一个正确。When I checked my shopping list I found I’d forgotten ...check,check on 和 check up on 都包含“检查”、“核对”的意义。例如:1.checkI have checked your answers and none of them are correct.我检查了你的答案,没有一个正确。When I checked my shopping list I found I’d forgotten to buy eggs.我核对购物单时发现忘记买蛋了。展开更多
We present a method that the atomic transition frequency measurement relies on the accurate wavemeter,optical frequency comb and stable Fabry–Pérot cavity to precise determination of stable even isotope shift on...We present a method that the atomic transition frequency measurement relies on the accurate wavemeter,optical frequency comb and stable Fabry–Pérot cavity to precise determination of stable even isotope shift on single Yb+ion(A=168,170,172,174,176).The 6s^(2)S_(1/2)←→6p^(2)P_(1/2)and 5d^(2)D_(3/2)←→6s^(3)[3/2]_(1/2)resonance dipole transition frequencies are preliminarily measured by using a wavemeter which is calibrated by the 729 nm clock laser of ^(40)Ca^(+).Meanwhile,those frequencies are double checked by using optical frequency comb for correction of deviation.Ultimately,by changing frequency locking points at an ultralow expansion cavity more slightly and monitoring the corresponding atomic fluorescence changing with 17%,we finally improve the resonant frequency uncertainty to±6 MHz,which is one order of improvement in precision higher than previously published measurements on the same transitions.A King-plot analysis with sensitivity to coupling between electrons and neutrons is carried out to determine the field and mass shift constants.Our measurement combined with existing or future isotope shift measurements can be used to determine basic properties of atomic nuclei,and to test new forces beyond the Standard Model.展开更多
文摘A multi-agent based transport system is modeled by timed automata model extended with clock variables. The correctness properties of safety and liveness of this model are verified by timed automata based UPPAAL. Agents have a degree of control on their own actions, have their own threads of control, and under some circumstances they are also able to take decisions. Therefore they are autonomous. The multi-agent system is modeled as a network of timed automata based agents supported by clock variables. The representation of agent requirements based on mathematics is helpful in precise and unambiguous specifications, thereby ensuring correctness. This formal representation of requirements provides a way for logical reasoning about the artifacts produced. We can be systematic and precise in assessing correctness by rigorously specifying the functional requirements.
基金supported by the High-Tech Research and Development Program of China (No.2002AA742048)National Natural Science Foundation of China (Grant No.60475034 and 60643007).
文摘Virtual reality is an effective method to eliminate the influence of time delay.However,it depends on the precision of the virtual model.In this paper,we introduce a method that corrects the virtual model on-line to establish a more precise model.The geometric errors of the virtual model were corrected on-line by overlapping the graphics over the images and also by syncretizing the position and force information from the remote.Then the sliding average least squares(SALS)method was adopted to determine the mass,damp,and stiffness of the remote environment and use this information to amend the dynamic model of the environment.Experimental results demonstrate that the on-line correction method we proposed can effectively reduce the impact caused by time delay,and improve the operational performance of the teleoperation system.
文摘check,check on 和 check up on 都包含“检查”、“核对”的意义。例如:1.checkI have checked your answers and none of them are correct.我检查了你的答案,没有一个正确。When I checked my shopping list I found I’d forgotten to buy eggs.我核对购物单时发现忘记买蛋了。
基金Supported by the National Natural Science Foundation of China(Grant Nos.12204491 and 12121004)the National Basic Research Program of China(Grant No.2021YFF0603801)+3 种基金Wuhan Young Talent Program(Grant No.R22H000106)the Natural Science Foundation of Hubei Province(Grant No.2022CFA013)the CAS Youth Innovation Promotion Association(Grant Nos.Y201963 and 2018364)CAS Project for Young Scientists in Basic Research(Grant No.YSBR-055)。
文摘We present a method that the atomic transition frequency measurement relies on the accurate wavemeter,optical frequency comb and stable Fabry–Pérot cavity to precise determination of stable even isotope shift on single Yb+ion(A=168,170,172,174,176).The 6s^(2)S_(1/2)←→6p^(2)P_(1/2)and 5d^(2)D_(3/2)←→6s^(3)[3/2]_(1/2)resonance dipole transition frequencies are preliminarily measured by using a wavemeter which is calibrated by the 729 nm clock laser of ^(40)Ca^(+).Meanwhile,those frequencies are double checked by using optical frequency comb for correction of deviation.Ultimately,by changing frequency locking points at an ultralow expansion cavity more slightly and monitoring the corresponding atomic fluorescence changing with 17%,we finally improve the resonant frequency uncertainty to±6 MHz,which is one order of improvement in precision higher than previously published measurements on the same transitions.A King-plot analysis with sensitivity to coupling between electrons and neutrons is carried out to determine the field and mass shift constants.Our measurement combined with existing or future isotope shift measurements can be used to determine basic properties of atomic nuclei,and to test new forces beyond the Standard Model.
