Traditional models for project management have not adequately incorporated a number of factors that are important for resource allocation. This paper proposed a unified timed Petri net model in which scheduling and pl...Traditional models for project management have not adequately incorporated a number of factors that are important for resource allocation. This paper proposed a unified timed Petri net model in which scheduling and planning were collectively carried out to take full advantages of the flexibility of the FMS. Through the lens of system theory, two types of resources were distinguished: major role and auxiliary role, and the major role was used to construct the FMS' Petri net. The method simplified the Petri net's construction and gave a clear flow chart for scheduling. Hence, the auxiliary resource allocation could be easily carried out according to the schedule, which was proposed by heuristic search algorithm. At last, the efficacy of the Petri net model for online scheduling in a resource constrained environment was discussed.展开更多
In the paper,we propose a framework to investigate how to effectively perform traffic flow splitting in heterogeneous wireless networks from a queue point.The average packet delay in heterogeneous wireless networks is...In the paper,we propose a framework to investigate how to effectively perform traffic flow splitting in heterogeneous wireless networks from a queue point.The average packet delay in heterogeneous wireless networks is derived in a probabilistic manner.The basic idea can be understood via treating the integrated heterogeneous wireless networks as different coupled and parallel queuing systems.The integrated network performance can approach that of one queue with maximal the multiplexing gain.For the purpose of illustrating the effectively of our proposed model,the Cellular/WLAN interworking is exploited.To minimize the average delay,a heuristic search algorithm is used to get the optimal probability of splitting traffic flow.Further,a Markov process is applied to evaluate the performance of the proposed scheme and compare with that of selecting the best network to access in terms of packet mean delay and blocking probability.Numerical results illustrate our proposed framework is effective and the flow splitting transmission can obtain more performance gain in heterogeneous wireless networks.展开更多
A cable net structure is selected to support its reflecting triangular aluminum panels of FAST(five-hundred-meter aperture spherical radio telescope).To ensure the security and stability of the supporting structure,ca...A cable net structure is selected to support its reflecting triangular aluminum panels of FAST(five-hundred-meter aperture spherical radio telescope).To ensure the security and stability of the supporting structure,cable force of typical cables must be monitored on line.Considering the stringent requirements in installation,accuracy,long-term stability and EMI(Electromagnetic interference),most of the commonly used cable force measurement methods or sensors are not suitable for the cable force monitoring of the supporting cable-net of FAST.A method is presents to accomplish the cable force monitoring,which uses a vibrating wire strain gauge to monitor the strain of linear strain area at the anchor head.Experiments have been carried out to verify the feasibility.The method has a series of advantages,such as high reliability,high accuracy,good dynamic performance and durability,easiness of maintenance,technical maturity in industry and EMI shielding.Theoretical analysis shows that there is a linear relationship between the cable body force and anchor head surface strain,and experimental results proves a good linear relationship with excellent repeatability between the cable body force and anchor head surface strain measured by the vibrating wire strain gauge,with a linear fit better than 0.98.Mean square error in practical measuring is 2.5t.The relative error is better than 4%within the scope of the cable force in FAST operation which meets practical demand in FAST engineering.展开更多
The prestress developing of tensile cable-net structures is a state transforming process from the initial unstressed state to the final prestressed state, and it is rather complicated because the elastic deformation i...The prestress developing of tensile cable-net structures is a state transforming process from the initial unstressed state to the final prestressed state, and it is rather complicated because the elastic deformation is normally coupled with the kinematic mechanism movement. Firstly, the basic equations of prestress developing by moving boundary joint are derived from the total potential energy equation. Secondly, the presumed initial tension is proposed to impose into the elements and avoid the singularity of global stiffness matrix. And the self-stress mode which is calculated from the equilibrium matrix with singular vMue decomposition is employed as basically presumed initial tension. By applying boundary movement increment, an iterative computation is developed to calculate the updating geometric configuration and tension evolution. Finally, the MATLAB program is coded from the presented method, and numerical examples indicate that this computational method is effective and has theoretical significance and valuable guide to design and construction of tensile cable-net structure.展开更多
During free exploration,the emergence of patterned and sequential behavioral responses to an unknown environment reflects exploration traits and adaptation.However,the behavioral dynamics and neural substrates underly...During free exploration,the emergence of patterned and sequential behavioral responses to an unknown environment reflects exploration traits and adaptation.However,the behavioral dynamics and neural substrates underlying the exploratory behavior remain poorly understood.We developed computational tools to quantify the exploratory behavior and performed in vivo electrophysiological recordings in a large arena in which mice made sequential excursions into unknown territory.Occupancy entropy was calculated to characterize the cumulative and moment-to-moment behavioral dynamics in explored and unexplored territories.Local field potential analysis revealed that the theta activity in the dorsal hippocampus(d HPC)was highly correlated with the occupancy entropy.Individual d HPC and prefrontal cortex(PFC)oscillatory activities could classify various aspects of free exploration.Initiation of exploration was accompanied by a coordinated decrease and increase in theta activity in PFC and d HPC,respectively.Our results indicate that d HPC and PFC work synergistically in shaping free exploration by modulating exploratory traits during emergence and visits to an unknown environment.展开更多
文摘通过随机误差影响分析索长误差和外联节点坐标误差对索力的影响特性,确定合理的误差控制指标.对比了定值分布、均匀分布和正态分布3种索长误差分布模型,分析了环索和径向索的长度误差对索力的影响,探讨了不同索长误差控制标准.计算结果表明,环索力受径向索长误差影响较小,径向索和环向索的索力受环索索长误差影响基本一致.索长误差限值越小,外联节点的安装误差限值越大.各榀外联节点的安装误差限值不同,高处限值比低处小.为满足索力误差不超出±10%的要求,案例工程控制指标为:拉索制作长度误差应不超出索长的±0.01%,低处和高处外联节点沿径向索方向的坐标误差应分别不超出±83和±67 mm.
文摘Traditional models for project management have not adequately incorporated a number of factors that are important for resource allocation. This paper proposed a unified timed Petri net model in which scheduling and planning were collectively carried out to take full advantages of the flexibility of the FMS. Through the lens of system theory, two types of resources were distinguished: major role and auxiliary role, and the major role was used to construct the FMS' Petri net. The method simplified the Petri net's construction and gave a clear flow chart for scheduling. Hence, the auxiliary resource allocation could be easily carried out according to the schedule, which was proposed by heuristic search algorithm. At last, the efficacy of the Petri net model for online scheduling in a resource constrained environment was discussed.
基金ACKNOWLEDGEMENT This work was supported by National Natural Science Foundation of China （Grant No. 61231008）, National Basic Research Program of China （973 Program） （Grant No. 2009CB320404）, Program for Changjiang Scholars and Innovative Research Team in University （Grant No. IRT0852）, and the 111 Project （Grant No. B08038）.
文摘In the paper,we propose a framework to investigate how to effectively perform traffic flow splitting in heterogeneous wireless networks from a queue point.The average packet delay in heterogeneous wireless networks is derived in a probabilistic manner.The basic idea can be understood via treating the integrated heterogeneous wireless networks as different coupled and parallel queuing systems.The integrated network performance can approach that of one queue with maximal the multiplexing gain.For the purpose of illustrating the effectively of our proposed model,the Cellular/WLAN interworking is exploited.To minimize the average delay,a heuristic search algorithm is used to get the optimal probability of splitting traffic flow.Further,a Markov process is applied to evaluate the performance of the proposed scheme and compare with that of selecting the best network to access in terms of packet mean delay and blocking probability.Numerical results illustrate our proposed framework is effective and the flow splitting transmission can obtain more performance gain in heterogeneous wireless networks.
基金Supported by the National Natural Science Foundation of China(No.11173035,11273036)
文摘A cable net structure is selected to support its reflecting triangular aluminum panels of FAST(five-hundred-meter aperture spherical radio telescope).To ensure the security and stability of the supporting structure,cable force of typical cables must be monitored on line.Considering the stringent requirements in installation,accuracy,long-term stability and EMI(Electromagnetic interference),most of the commonly used cable force measurement methods or sensors are not suitable for the cable force monitoring of the supporting cable-net of FAST.A method is presents to accomplish the cable force monitoring,which uses a vibrating wire strain gauge to monitor the strain of linear strain area at the anchor head.Experiments have been carried out to verify the feasibility.The method has a series of advantages,such as high reliability,high accuracy,good dynamic performance and durability,easiness of maintenance,technical maturity in industry and EMI shielding.Theoretical analysis shows that there is a linear relationship between the cable body force and anchor head surface strain,and experimental results proves a good linear relationship with excellent repeatability between the cable body force and anchor head surface strain measured by the vibrating wire strain gauge,with a linear fit better than 0.98.Mean square error in practical measuring is 2.5t.The relative error is better than 4%within the scope of the cable force in FAST operation which meets practical demand in FAST engineering.
基金the National Natural Science Foundation of China (Nos. 50878128 and 51278299)
文摘The prestress developing of tensile cable-net structures is a state transforming process from the initial unstressed state to the final prestressed state, and it is rather complicated because the elastic deformation is normally coupled with the kinematic mechanism movement. Firstly, the basic equations of prestress developing by moving boundary joint are derived from the total potential energy equation. Secondly, the presumed initial tension is proposed to impose into the elements and avoid the singularity of global stiffness matrix. And the self-stress mode which is calculated from the equilibrium matrix with singular vMue decomposition is employed as basically presumed initial tension. By applying boundary movement increment, an iterative computation is developed to calculate the updating geometric configuration and tension evolution. Finally, the MATLAB program is coded from the presented method, and numerical examples indicate that this computational method is effective and has theoretical significance and valuable guide to design and construction of tensile cable-net structure.
基金the National Natural Science Foundation of China(32070985)Shenzhen-Hong Kong Institute of Brain Science-Shenzhen Fundamental Research Institutions(NYKFKT20190018)Shenzhen Key Laboratory of Translational Research for Brain Diseases(ZDSYS20200828154800001)。
文摘During free exploration,the emergence of patterned and sequential behavioral responses to an unknown environment reflects exploration traits and adaptation.However,the behavioral dynamics and neural substrates underlying the exploratory behavior remain poorly understood.We developed computational tools to quantify the exploratory behavior and performed in vivo electrophysiological recordings in a large arena in which mice made sequential excursions into unknown territory.Occupancy entropy was calculated to characterize the cumulative and moment-to-moment behavioral dynamics in explored and unexplored territories.Local field potential analysis revealed that the theta activity in the dorsal hippocampus(d HPC)was highly correlated with the occupancy entropy.Individual d HPC and prefrontal cortex(PFC)oscillatory activities could classify various aspects of free exploration.Initiation of exploration was accompanied by a coordinated decrease and increase in theta activity in PFC and d HPC,respectively.Our results indicate that d HPC and PFC work synergistically in shaping free exploration by modulating exploratory traits during emergence and visits to an unknown environment.
