In this paper,an antenna array composed of circular array and orthogonal linear array is proposed by using the design of long and short baseline“orthogonal linear array”and the circular array ambiguity resolution de...In this paper,an antenna array composed of circular array and orthogonal linear array is proposed by using the design of long and short baseline“orthogonal linear array”and the circular array ambiguity resolution design of multi-group baseline clustering.The effectiveness of the antenna array in this paper is verified by sufficient simulation and experiment.After the system deviation correction work,it is found that in the L/S/C/X frequency bands,the ambiguity resolution probability is high,and the phase difference system error between each channel is basically the same.The angle measurement error is less than 0.5°,and the positioning error is less than 2.5 km.Notably,as the center frequency increases,calibration consistency improves,and the calibration frequency points become applicable over a wider frequency range.At a center frequency of 11.5 GHz,the calibration frequency point bandwidth extends to 1200 MHz.This combined antenna array deployment holds significant promise for a wide range of applications in contemporary wireless communication systems.展开更多
By employing function one-direction S-rough sets and rough law generation method based on function S-rough sets, ^-f-decomposition law and ^-F-decomposition rough law are proposed, and the measurement of rough law var...By employing function one-direction S-rough sets and rough law generation method based on function S-rough sets, ^-f-decomposition law and ^-F-decomposition rough law are proposed, and the measurement of rough law variation in the process of rough law ^-F-decomposition is researched. The concepts of law energy and attdbute ^-f-interference degree are presented, which make the variation of rough law become measurable. ^-f-decomposition law energy characteristic theorem, ^-f- decomposition law energy inequality theorem, ^-F-decomposition rough law energy characteristic theorem, and ^-f-decomposition law energy mean value theorem are presented.展开更多
A laser collimating system based on 2-D position sensitive detector (PSD) is presented in this paper. The working principle of PSD is depicted in detail. A calibration device was developed to check the nonlinearity er...A laser collimating system based on 2-D position sensitive detector (PSD) is presented in this paper. The working principle of PSD is depicted in detail. A calibration device was developed to check the nonlinearity errors of PSD and a multilayer feedforward neural network based on error back-propagation algorithm was used to compensate errors. With the aid of computer-based data acquisition system, an automatic dynamic measuring process was realized. A series of experiments, including comparison tests with laser interferometer, were done to evaluate the performance of the measuring system. The experimental results show that the spatial straightness errors of guide rails can be measured with high accuracy. The maximum differences between the device and laser interferometer are 0.027 mm in Y direction, and 0.053 mm in X direction in the measuring distance of 6 m.展开更多
The linear motor applied in electromagnetic emission system uses a closed loop position control strategy,which needs a set of position measurement system with high reliability,high resolution and integration to achiev...The linear motor applied in electromagnetic emission system uses a closed loop position control strategy,which needs a set of position measurement system with high reliability,high resolution and integration to achieve real-time acquisition and analysis of position signals.The existing position controller is based on the simple logic chip design without memory function,and does not have the storage analysis and preprocessing function to position signals.Therefore,the system has insufficient scalability,low integration and reliability.Aiming at the improvement of the existing position measurement system,an intelligent position measurement system integrating the functions of position signals acquisition,processing and uploading,data storage and analysis is proposed in this paper,and its working principle and system composition are discussed in detail.The position,speed and acceleration obtained on the electromagnetic emission platform are in good agreement with the expected value of the system.As results,the feasibility and accuracy of the improved integrated intelligent position measurement system are verified,and the control performance of the system is also satisfied well,which can be good guidance and reference for subsequent engineering practice.展开更多
As a new form of industry proposed in the context of the rural revitalization strategy,the pastoral complex has sprung up under the support of various policies.However,there are also various problems in the developmen...As a new form of industry proposed in the context of the rural revitalization strategy,the pastoral complex has sprung up under the support of various policies.However,there are also various problems in the development of pastoral complex.The functional positioning of pastoral complex is not proper and there is serious homogeneous problem.These greatly restrict the development of pastoral complex.This study,taking the rural revitalization strategy as the background,analyzed the functional positioning of pastoral complex from production,ecology,and living.Besides,taking Pavlo Eco Valley in Gaoan City of Jiangxi Province as an example,it studied its functional positioning and came up with pertinent recommendations for its further development.展开更多
A foil–microchannel plate(MCP)detector,which uses electrostatic lenses and possesses both good position and timing resolutions,has been designed and simulated for beam diagnostics and mass measurements at the next-ge...A foil–microchannel plate(MCP)detector,which uses electrostatic lenses and possesses both good position and timing resolutions,has been designed and simulated for beam diagnostics and mass measurements at the next-generation heavy-ion-beam facility HIAF in China.Characterized by low energy loss and good performances of timing and position measurements,it would be located at focal planes in fragment separator HFRS for position monitoring,beam turning,Bq measurement,and trajectory reconstruction.Moreover,it will benefit the building-up of a magnetic-rigidity–energy-loss–time-offlight(BqDETOF)method at HFRS for high-precision in-flight particle identification of radioactive isotope beams on an event-by-event basis.Most importantly,the detector can be utilized for in-ring TOF and position measurements,beam-line TOF measurements at two achromatic foci,and position measurements at a dispersive focus of HFRS,thus making it possible to use two complementary mass measurement methods[isochronous mass spectrometry at the storage ring SRing and magnetic-rigidity–time-of-flight(BqTOF)at the beam-line HFRS]in one single experimental run.展开更多
The short-range wireless communication technology has advanced considerably and provides the feasibility of train-train(T2T)communication link in the communication-based train control system.The introduction of the T2...The short-range wireless communication technology has advanced considerably and provides the feasibility of train-train(T2T)communication link in the communication-based train control system.The introduction of the T2T link would reduce the headway and improve operational efficiency.Formal methods are system design techniques that use rigorously specified mathematical models to ensure all behaviors work as expected.And it is exactly the functional safety verification needed.Therefore,to deal with the functional safety verification of the T2T link,an untimed colored petri net model is first constructed.Secondly,the verification process is performed.Conclusions can be drawn from the state space report and the computation tree logic queries.Lastly,the model is parameterized,and then data log files are obtained for further performance measurement.Results show that the proposed criteria are satisfied and there are no defects in the basic design requirements.The transmission delay has considered the reconnection,transmission errors and the interruption.The probability of the delay lower than 150 ms accounts for 98.106%,which meets the specification and the previous field test.展开更多
In this work,author expressed new R-Synthesis specifically.Good and/or correct perspective that must be behind the definitions and administration generally expressed.New perspective of the philosophy explained general...In this work,author expressed new R-Synthesis specifically.Good and/or correct perspective that must be behind the definitions and administration generally expressed.New perspective of the philosophy explained generally.Philosophy of GodForm is defined and expressed as connected/related with the following concepts:(a)basic principles,(b)17 upper constructional philosophies,(c)14 lower constructional philosophies,(d)eight basic philosophies.As special cases,Philosophy of Engineering and Technology,Philosophy of Wireless Administration and others defined as hybrid philosophies.17 specific components/units which can be considered to define the basic principles of the related formation,are proposed to be designed by GodForm and defined by the author.Philosophy of GodForm and its relation with Values and Positions specifically defined.New Era Theory and New Era Belief explained generally.Some specific religions/beliefs are defined as variants/forms of the Progressive Religion.Good and/or correct power authorities(R-Power Authority)are defined due to 29 categories.Functional position levels defined for the R-Power Authorities with a unique table.As result of the R-Synthesis,functional position levels of some philosophers,some scientists,and of Prophet Jesus,Prophet Mohamed,Prophets Mouses,Buddha,and of Confucius generally/specifically defined.Integration and past/present effects of some R-Power Authorities in 5 x 5 Ideal Political Construction specifically explained.New Era Belief,Concepts of GodX and Science relation explained with the following concepts:(1)Religion of GodForm,(2)Knowledge of GodX,(3)Nature of GodX.With this respect,some other characteristics of 7 GodX power authorities expressed with details as complementary information.Following concepts/systems defined to arrange and solve some/most/all religious problems,which are determined with R-Synthesis:(a)Religious Responsibilities and Positions,(b)Ideal Religious Administration,(c)Sustainable/Continuable Political Administration System,(d)Community Values Council/Authority for each world country,(e)Progressive Councils.15 general religious position categories defined to express their good and/or correct meanings/values/responsibilities in the religious system.21 general/specific cases/programs defined due to New Era Belief to solve possible past/present/future community values problems,to have continuous,judicious,and progressive administration about the 36 kinds of community values.Progressive Councils,which are related with the CUS-WW-HO,are defined.Progressive Religion Council and some of the related religious responsibilities expressed for the kind progressive religion studies due to the Philosophy of Progressive Religions.展开更多
In this paper, we propose a new method for position-sensitive measurement of beta surface contamination. With a position-sensitive detector of enlarged sensitive detection area, accurate information of the contaminati...In this paper, we propose a new method for position-sensitive measurement of beta surface contamination. With a position-sensitive detector of enlarged sensitive detection area, accurate information of the contamination distribution can be obtained. The positionsensitive detection is based on a large-area plastic scintillator and the wavelength shifting(WLS) fibers and adopts the ‘‘light center of gravity'' method. Optical transmission of the detector is simulated with a preliminary detector model, and feasibility of the detector design and measurement method is evaluated using an experiment system.The simulation and experiment results at different beta-ray incident points on the scintillator surface show that there is a polynomial relationship between the average amplitude ratio of the output pulses from the two parallel WLS fibers in the same fiber layer and the relative distance from the incident point to the WLS fiber.展开更多
This fully digital beam position measurement instrument is designed for beam position monitoring and machine research in Shanghai Synchrotron Radiation Facility. The signals received from four position-sensitive detec...This fully digital beam position measurement instrument is designed for beam position monitoring and machine research in Shanghai Synchrotron Radiation Facility. The signals received from four position-sensitive detectors are narrow pulses with a repetition rate up to 499.654 MHz and a pulse width of around 100 ps, and their dynamic range could vary over more than 40 dB in machine research. By the employment of the under-sampling technique based on high-speed high-resolution A/D conversion, all the processing procedure is performed fully by the digital signal processing algorithms integrated in one single Field Programmable Gate Array. This system functions well in the laboratory and commissioning tests, demonstrating a position resolution (at the turn by turn rate of 694 kHz) better than 7 μm over the input amplitude range of -40 dBm to 10 dBm which is well beyond the requirement.展开更多
This article presents a prototype of beam position and phase measurement(BPPM)electronics designed for the LINAC in China Accelerator Driven Sub-critical system(ADS).The signals received from the Beam Position Monitor...This article presents a prototype of beam position and phase measurement(BPPM)electronics designed for the LINAC in China Accelerator Driven Sub-critical system(ADS).The signals received from the Beam Position Monitor(BPM)detectors are narrow pulses with a repetition frequency of 162.5 MHz and a dynamic range more than40 dB.Based on the high-speed high-resolution Analog-to-Digital conversion technique,the input RF signals are directly converted to In-phase and Quadrature-phase(IQ)streams through under-sampling,which simplifies both the analog and digital processing circuits.All signal processing is integrated in one single FPGA,in which real-time beam position,phase and current can be obtained.A series of simulations and tests have been conducted to evaluate the performance.Initial test results indicate that this prototype achieves a phase resolution better than 0.1 degree and a position resolution better than 20μm over a 40 dB dynamic range with the bandwidth of 780 kHz,which is well beyond the application requirements.展开更多
As a promising technology to completely transform how we architect, deploy, operate and manage various networks, software-based Network Function Virtualization(NFV) enables hardware-independent, flexible, fast and eff...As a promising technology to completely transform how we architect, deploy, operate and manage various networks, software-based Network Function Virtualization(NFV) enables hardware-independent, flexible, fast and efficient network service provision. With the increasing popularity of NFV paradigm, the Internet has also transformed to be a hybrid environment where NFV-based network entities coexist with traditional network devices. To facilitate our understanding, design, evaluate and manage of such novel network environment, there is a great need for a new NFV-compatible network measurement system which is still in absent so far. To bridge this gap, a system, named Software Defined Network Measurement System(SDNMS), is presented in this paper. Firstly, the architecture of SDNMS is proposed. In this architecture, a formal method to describe the working mode of the network measurement is defined. This method can also be utilized to generate a network measurement middle box(NMMB) in a specific location of the NFV network according to the customized description file, and to flexibly deploy the network measurement function. Secondly, the technology of virtual network measurement function(VNMF) combined with LXC is studied to form NMMB function. Thirdly, a control method is presented to control the start, stop, and update NMMB to form a specific network measurement system function. Finally, a prototype of SDNMS with network monitoring function to monitor network performance anomalies and locate faults is introduced. Experimental results have shown that SDNMS architecture and related technologies are feasible and effective to deploy and control network measurement functions in NFV networks. We hope SDNMS could provide a new method for practitioners to conduct network management and research at the age of NFV.展开更多
ABSTRACT The optimal Kalman gain was analyzed in a rigorous statistical framework. Emphasis was placed on a comprehensive understanding and interpretation of the current algorithm, especially when the measurement fun...ABSTRACT The optimal Kalman gain was analyzed in a rigorous statistical framework. Emphasis was placed on a comprehensive understanding and interpretation of the current algorithm, especially when the measurement function is nonlinear. It is argued that when the measurement function is nonlinear, the current ensemble Kalman Filter algorithm seems to contain implicit assumptions: the forecast of the measurement function is unbiased or the nonlinear measurement function is linearized. While the forecast of the model state is assumed to be unbiased, the two assumptions are actually equivalent. On the above basis, we present two modified Kalman gain algorithms. Compared to the current Kalman gain algorithm, the modified ones remove the above assumptions, thereby leading to smaller estimated errors. This outcome was confirmed experimentally, in which we used the simple Lorenz 3-component model as the test-bed. It was found that in such a simple nonlinear dynamical system, the modified Kalman gain can perform better than the current one. However, the application of the modified schemes to realistic models involving nonlinear measurement functions needs to be further investigated.展开更多
The terrestrial time-variable gravity measurements are characterized by a high signal-to-noise ratio and sensitivity to the sources of mass change in the Earth's crust.These gravity data have many applications,suc...The terrestrial time-variable gravity measurements are characterized by a high signal-to-noise ratio and sensitivity to the sources of mass change in the Earth's crust.These gravity data have many applications,such as surface deformation,groundwater storage changes,and mass migration before and after earthquakes.Based on repeated terrestrial gravity measurements at 198 gravity stations in the Sichuan-Yunnan region(SYR)from 2015 to 2017,we determine a time series of degree 120 gravity fields using the localized spherical harmonic(Slepian)basis functions.Our results show that adopting the first 6 Slepian basis functions is sufficient for effective localized Slepian modeling in the SYR.The differences between two gravity campaigns at the same time of year show an obvious correlation with tectonic features.The degree 120 timevariable gravity models presented in this paper will benefit the study of the regional mass migration inside the crust of the SYR and supplement the existing geophysical models for the China Seismic Experimental Site.展开更多
AIM To establish minimum clinically important difference(MCID) for measurements in an orthopaedic patient population with joint disorders.METHODS Adult patients aged 18 years and older seeking care for joint condition...AIM To establish minimum clinically important difference(MCID) for measurements in an orthopaedic patient population with joint disorders.METHODS Adult patients aged 18 years and older seeking care for joint conditions at an orthopaedic clinic took the Patient-Reported Outcomes Measurement Information System Physical Function(PROMIS~? PF) computerized adaptive test(CAT), hip disability and osteoarthritis outcome score for joint reconstruction(HOOS JR), and the knee injury and osteoarthritis outcome score for joint reconstruction(KOOS JR) from February 2014 to April 2017. MCIDs were calculated using anchorbased and distribution-based methods. Patient reports of meaningful change in function since their first clinic encounter were used as an anchor.RESULTS There were 2226 patients who participated with a mean age of 61.16(SD = 12.84) years, 41.6% male, and 89.7% Caucasian. Mean change ranged from 7.29 to 8.41 for the PROMIS~? PF CAT, from 14.81 to 19.68 for the HOOS JR, and from 14.51 to 18.85 for the KOOS JR. ROC cut-offs ranged from 1.97-8.18 for the PF CAT, 6.33-43.36 for the HOOS JR, and 2.21-8.16 for the KOOS JR. Distribution-based methods estimated MCID values ranging from 2.45 to 21.55 for the PROMIS~? PF CAT; from 3.90 to 43.61 for the HOOS JR, and from 3.98 to 40.67 for the KOOS JR. The median MCID value in the range was similar to the mean change score for each measure and was 7.9 for the PF CAT, 18.0 for the HOOS JR, and 15.1 for the KOOS JR.CONCLUSION This is the first comprehensive study providing a wide range of MCIDs for the PROMIS? PF, HOOS JR, and KOOS JR in orthopaedic patients with joint ailments.展开更多
The research considers wavelike objects that are elements of even subalgebra of geometric algebra in three dimensions. The used formalism particularly eliminates long existing confusion about the reasons behind the ap...The research considers wavelike objects that are elements of even subalgebra of geometric algebra in three dimensions. The used formalism particularly eliminates long existing confusion about the reasons behind the appearance of the imaginary unit in quantum mechanics and introduces clear definition of wave functions. When a wave function acts through the Hopf fibration on a localized geometric algebra element, that is executing a measurement, the result can be named as “collapse” of the wave function.展开更多
The staticε-consensus problem for a high-order linear multi-agent system is studied over a connected undirected communication topology,in which the state measurements of neighbors are affected by unknown but bounded(...The staticε-consensus problem for a high-order linear multi-agent system is studied over a connected undirected communication topology,in which the state measurements of neighbors are affected by unknown but bounded(UBB)noises.Using the dead-zone function and binomial coefficients,we propose a distributed consensus protocol.Under this protocol,all agents achieve staticε-consensus,i.e.,the first components of the states for each agent reachε-consensus,and the remaining components reach agreement at zero.Numerical examples illustrate the validity of the theoretical results.展开更多
BACKGROUND Assessment of liver reserve function(LRF)is essential for predicting the prognosis of patients with chronic liver disease(CLD)and determines the extent of liver resection in patients with hepatocellular car...BACKGROUND Assessment of liver reserve function(LRF)is essential for predicting the prognosis of patients with chronic liver disease(CLD)and determines the extent of liver resection in patients with hepatocellular carcinoma.AIM To establish noninvasive models for LRF assessment based on liver stiffness measurement(LSM)and to evaluate their clinical performance.METHODS A total of 360 patients with compensated CLD were retrospectively analyzed as the training cohort.The new predictive models were established through logistic regression analysis and were validated internally in a prospective cohort(132 patients).RESULTS Our study defined indocyanine green retention rate at 15 min(ICGR15)≥10%as mildly impaired LRF and ICGR15≥20%as severely impaired LRF.We constructed predictive models of LRF,named the mLPaM and sLPaM,which involved only LSM,prothrombin time international normalized ratio to albumin ratio(PTAR),age and model for end-stage liver disease(MELD).The area under the curve of the mLPaM model(0.855,0.872,respectively)and sLPaM model(0.869,0.876,respectively)were higher than that of the methods for MELD,albumin bilirubin grade and PTAR in the two cohorts,and their sensitivity and negative predictive value were the highest among these methods in the training cohort.In addition,the new models showed good sensitivity and accuracy for the diagnosis of LRF impairment in the validation cohort.CONCLUSION The new models had a good predictive performance for LRF and could replace the indocyanine green(ICG)clearance test,especially in patients who are unable to undergo ICG testing.展开更多
Gas holdup is one of the key parameters in flotation process. Gas holdup as measured by a differential pressure method was investigated and the relative errors compared to the average gas holdup from the volume expans...Gas holdup is one of the key parameters in flotation process. Gas holdup as measured by a differential pressure method was investigated and the relative errors compared to the average gas holdup from the volume expansion method. The errors were used to establish optimum measurement positions. The results show that the measurement position should be in the middle of the column and in the region half way from the center to the wall (the half-radius). The gas holdup along the axial direction is lower at the bottom and higher at the top of the floatation column. The gas holdup along the radial direction is lower near the wall and higher near the center of the flotation column. The average gas holdup measure- ment can be replaced by regional gas holdup values.展开更多
文摘In this paper,an antenna array composed of circular array and orthogonal linear array is proposed by using the design of long and short baseline“orthogonal linear array”and the circular array ambiguity resolution design of multi-group baseline clustering.The effectiveness of the antenna array in this paper is verified by sufficient simulation and experiment.After the system deviation correction work,it is found that in the L/S/C/X frequency bands,the ambiguity resolution probability is high,and the phase difference system error between each channel is basically the same.The angle measurement error is less than 0.5°,and the positioning error is less than 2.5 km.Notably,as the center frequency increases,calibration consistency improves,and the calibration frequency points become applicable over a wider frequency range.At a center frequency of 11.5 GHz,the calibration frequency point bandwidth extends to 1200 MHz.This combined antenna array deployment holds significant promise for a wide range of applications in contemporary wireless communication systems.
基金supported by the Natural Science Foundation of Shandong Province (Y2007H02)
文摘By employing function one-direction S-rough sets and rough law generation method based on function S-rough sets, ^-f-decomposition law and ^-F-decomposition rough law are proposed, and the measurement of rough law variation in the process of rough law ^-F-decomposition is researched. The concepts of law energy and attdbute ^-f-interference degree are presented, which make the variation of rough law become measurable. ^-f-decomposition law energy characteristic theorem, ^-f- decomposition law energy inequality theorem, ^-F-decomposition rough law energy characteristic theorem, and ^-f-decomposition law energy mean value theorem are presented.
文摘A laser collimating system based on 2-D position sensitive detector (PSD) is presented in this paper. The working principle of PSD is depicted in detail. A calibration device was developed to check the nonlinearity errors of PSD and a multilayer feedforward neural network based on error back-propagation algorithm was used to compensate errors. With the aid of computer-based data acquisition system, an automatic dynamic measuring process was realized. A series of experiments, including comparison tests with laser interferometer, were done to evaluate the performance of the measuring system. The experimental results show that the spatial straightness errors of guide rails can be measured with high accuracy. The maximum differences between the device and laser interferometer are 0.027 mm in Y direction, and 0.053 mm in X direction in the measuring distance of 6 m.
基金This work was supported in part by the National Natural Science Foundation of China(NSFC)under Grant 51507182 and 51477178.
文摘The linear motor applied in electromagnetic emission system uses a closed loop position control strategy,which needs a set of position measurement system with high reliability,high resolution and integration to achieve real-time acquisition and analysis of position signals.The existing position controller is based on the simple logic chip design without memory function,and does not have the storage analysis and preprocessing function to position signals.Therefore,the system has insufficient scalability,low integration and reliability.Aiming at the improvement of the existing position measurement system,an intelligent position measurement system integrating the functions of position signals acquisition,processing and uploading,data storage and analysis is proposed in this paper,and its working principle and system composition are discussed in detail.The position,speed and acceleration obtained on the electromagnetic emission platform are in good agreement with the expected value of the system.As results,the feasibility and accuracy of the improved integrated intelligent position measurement system are verified,and the control performance of the system is also satisfied well,which can be good guidance and reference for subsequent engineering practice.
文摘As a new form of industry proposed in the context of the rural revitalization strategy,the pastoral complex has sprung up under the support of various policies.However,there are also various problems in the development of pastoral complex.The functional positioning of pastoral complex is not proper and there is serious homogeneous problem.These greatly restrict the development of pastoral complex.This study,taking the rural revitalization strategy as the background,analyzed the functional positioning of pastoral complex from production,ecology,and living.Besides,taking Pavlo Eco Valley in Gaoan City of Jiangxi Province as an example,it studied its functional positioning and came up with pertinent recommendations for its further development.
基金supported by the National Natural Science Foundation of China(Nos.11605248,11605249,11605267,and 11805032.)
文摘A foil–microchannel plate(MCP)detector,which uses electrostatic lenses and possesses both good position and timing resolutions,has been designed and simulated for beam diagnostics and mass measurements at the next-generation heavy-ion-beam facility HIAF in China.Characterized by low energy loss and good performances of timing and position measurements,it would be located at focal planes in fragment separator HFRS for position monitoring,beam turning,Bq measurement,and trajectory reconstruction.Moreover,it will benefit the building-up of a magnetic-rigidity–energy-loss–time-offlight(BqDETOF)method at HFRS for high-precision in-flight particle identification of radioactive isotope beams on an event-by-event basis.Most importantly,the detector can be utilized for in-ring TOF and position measurements,beam-line TOF measurements at two achromatic foci,and position measurements at a dispersive focus of HFRS,thus making it possible to use two complementary mass measurement methods[isochronous mass spectrometry at the storage ring SRing and magnetic-rigidity–time-of-flight(BqTOF)at the beam-line HFRS]in one single experimental run.
基金National Natural Science Foundation of China(No.61963023)。
文摘The short-range wireless communication technology has advanced considerably and provides the feasibility of train-train(T2T)communication link in the communication-based train control system.The introduction of the T2T link would reduce the headway and improve operational efficiency.Formal methods are system design techniques that use rigorously specified mathematical models to ensure all behaviors work as expected.And it is exactly the functional safety verification needed.Therefore,to deal with the functional safety verification of the T2T link,an untimed colored petri net model is first constructed.Secondly,the verification process is performed.Conclusions can be drawn from the state space report and the computation tree logic queries.Lastly,the model is parameterized,and then data log files are obtained for further performance measurement.Results show that the proposed criteria are satisfied and there are no defects in the basic design requirements.The transmission delay has considered the reconnection,transmission errors and the interruption.The probability of the delay lower than 150 ms accounts for 98.106%,which meets the specification and the previous field test.
文摘In this work,author expressed new R-Synthesis specifically.Good and/or correct perspective that must be behind the definitions and administration generally expressed.New perspective of the philosophy explained generally.Philosophy of GodForm is defined and expressed as connected/related with the following concepts:(a)basic principles,(b)17 upper constructional philosophies,(c)14 lower constructional philosophies,(d)eight basic philosophies.As special cases,Philosophy of Engineering and Technology,Philosophy of Wireless Administration and others defined as hybrid philosophies.17 specific components/units which can be considered to define the basic principles of the related formation,are proposed to be designed by GodForm and defined by the author.Philosophy of GodForm and its relation with Values and Positions specifically defined.New Era Theory and New Era Belief explained generally.Some specific religions/beliefs are defined as variants/forms of the Progressive Religion.Good and/or correct power authorities(R-Power Authority)are defined due to 29 categories.Functional position levels defined for the R-Power Authorities with a unique table.As result of the R-Synthesis,functional position levels of some philosophers,some scientists,and of Prophet Jesus,Prophet Mohamed,Prophets Mouses,Buddha,and of Confucius generally/specifically defined.Integration and past/present effects of some R-Power Authorities in 5 x 5 Ideal Political Construction specifically explained.New Era Belief,Concepts of GodX and Science relation explained with the following concepts:(1)Religion of GodForm,(2)Knowledge of GodX,(3)Nature of GodX.With this respect,some other characteristics of 7 GodX power authorities expressed with details as complementary information.Following concepts/systems defined to arrange and solve some/most/all religious problems,which are determined with R-Synthesis:(a)Religious Responsibilities and Positions,(b)Ideal Religious Administration,(c)Sustainable/Continuable Political Administration System,(d)Community Values Council/Authority for each world country,(e)Progressive Councils.15 general religious position categories defined to express their good and/or correct meanings/values/responsibilities in the religious system.21 general/specific cases/programs defined due to New Era Belief to solve possible past/present/future community values problems,to have continuous,judicious,and progressive administration about the 36 kinds of community values.Progressive Councils,which are related with the CUS-WW-HO,are defined.Progressive Religion Council and some of the related religious responsibilities expressed for the kind progressive religion studies due to the Philosophy of Progressive Religions.
基金supported by the Technology and Industry for National Defense(No.HK.FA1001-1)
文摘In this paper, we propose a new method for position-sensitive measurement of beta surface contamination. With a position-sensitive detector of enlarged sensitive detection area, accurate information of the contamination distribution can be obtained. The positionsensitive detection is based on a large-area plastic scintillator and the wavelength shifting(WLS) fibers and adopts the ‘‘light center of gravity'' method. Optical transmission of the detector is simulated with a preliminary detector model, and feasibility of the detector design and measurement method is evaluated using an experiment system.The simulation and experiment results at different beta-ray incident points on the scintillator surface show that there is a polynomial relationship between the average amplitude ratio of the output pulses from the two parallel WLS fibers in the same fiber layer and the relative distance from the incident point to the WLS fiber.
基金Supported by Knowledge Innovation Program of The Chinese Academy of Sciences (KJCX2-YW-N27)the National Natural Science Foundation of China (10875119)100 Talents Program of The Chinese Academy of Sciences
文摘This fully digital beam position measurement instrument is designed for beam position monitoring and machine research in Shanghai Synchrotron Radiation Facility. The signals received from four position-sensitive detectors are narrow pulses with a repetition rate up to 499.654 MHz and a pulse width of around 100 ps, and their dynamic range could vary over more than 40 dB in machine research. By the employment of the under-sampling technique based on high-speed high-resolution A/D conversion, all the processing procedure is performed fully by the digital signal processing algorithms integrated in one single Field Programmable Gate Array. This system functions well in the laboratory and commissioning tests, demonstrating a position resolution (at the turn by turn rate of 694 kHz) better than 7 μm over the input amplitude range of -40 dBm to 10 dBm which is well beyond the requirement.
基金Supported by the Knowledge Innovation Program of The Chinese Academy of Sciences(KJCX2-YW-N27)the National Natural Science Foundation of China(No.11205153,11185176,and 10875119)the Fundamental Research Funds for the Central Universities(WK2030040029)
文摘This article presents a prototype of beam position and phase measurement(BPPM)electronics designed for the LINAC in China Accelerator Driven Sub-critical system(ADS).The signals received from the Beam Position Monitor(BPM)detectors are narrow pulses with a repetition frequency of 162.5 MHz and a dynamic range more than40 dB.Based on the high-speed high-resolution Analog-to-Digital conversion technique,the input RF signals are directly converted to In-phase and Quadrature-phase(IQ)streams through under-sampling,which simplifies both the analog and digital processing circuits.All signal processing is integrated in one single FPGA,in which real-time beam position,phase and current can be obtained.A series of simulations and tests have been conducted to evaluate the performance.Initial test results indicate that this prototype achieves a phase resolution better than 0.1 degree and a position resolution better than 20μm over a 40 dB dynamic range with the bandwidth of 780 kHz,which is well beyond the application requirements.
基金supported by National Natural Science Foundation of China (No. 61772271, 61379149)
文摘As a promising technology to completely transform how we architect, deploy, operate and manage various networks, software-based Network Function Virtualization(NFV) enables hardware-independent, flexible, fast and efficient network service provision. With the increasing popularity of NFV paradigm, the Internet has also transformed to be a hybrid environment where NFV-based network entities coexist with traditional network devices. To facilitate our understanding, design, evaluate and manage of such novel network environment, there is a great need for a new NFV-compatible network measurement system which is still in absent so far. To bridge this gap, a system, named Software Defined Network Measurement System(SDNMS), is presented in this paper. Firstly, the architecture of SDNMS is proposed. In this architecture, a formal method to describe the working mode of the network measurement is defined. This method can also be utilized to generate a network measurement middle box(NMMB) in a specific location of the NFV network according to the customized description file, and to flexibly deploy the network measurement function. Secondly, the technology of virtual network measurement function(VNMF) combined with LXC is studied to form NMMB function. Thirdly, a control method is presented to control the start, stop, and update NMMB to form a specific network measurement system function. Finally, a prototype of SDNMS with network monitoring function to monitor network performance anomalies and locate faults is introduced. Experimental results have shown that SDNMS architecture and related technologies are feasible and effective to deploy and control network measurement functions in NFV networks. We hope SDNMS could provide a new method for practitioners to conduct network management and research at the age of NFV.
基金supported by research grants from the NSERC (Natural Sciences and Engineering Research Council of Canada) Discovery Programthe National Natural Science Foundation of China (Grant Nos.41276029 and 40730843)the National Basic Research Program (Grant No.2007CB816005)
文摘ABSTRACT The optimal Kalman gain was analyzed in a rigorous statistical framework. Emphasis was placed on a comprehensive understanding and interpretation of the current algorithm, especially when the measurement function is nonlinear. It is argued that when the measurement function is nonlinear, the current ensemble Kalman Filter algorithm seems to contain implicit assumptions: the forecast of the measurement function is unbiased or the nonlinear measurement function is linearized. While the forecast of the model state is assumed to be unbiased, the two assumptions are actually equivalent. On the above basis, we present two modified Kalman gain algorithms. Compared to the current Kalman gain algorithm, the modified ones remove the above assumptions, thereby leading to smaller estimated errors. This outcome was confirmed experimentally, in which we used the simple Lorenz 3-component model as the test-bed. It was found that in such a simple nonlinear dynamical system, the modified Kalman gain can perform better than the current one. However, the application of the modified schemes to realistic models involving nonlinear measurement functions needs to be further investigated.
基金the National Natural Science Foundation of China(Nos.41974095,41774090,and U1939205)the Special Fund of the Institute of Geophysics,China Earthquake Administration(Nos.DQJB20X09,and DQJB21R30)The first author acknowledges support from the China Postdoctoral Science Foundation(No.2018M641424)。
文摘The terrestrial time-variable gravity measurements are characterized by a high signal-to-noise ratio and sensitivity to the sources of mass change in the Earth's crust.These gravity data have many applications,such as surface deformation,groundwater storage changes,and mass migration before and after earthquakes.Based on repeated terrestrial gravity measurements at 198 gravity stations in the Sichuan-Yunnan region(SYR)from 2015 to 2017,we determine a time series of degree 120 gravity fields using the localized spherical harmonic(Slepian)basis functions.Our results show that adopting the first 6 Slepian basis functions is sufficient for effective localized Slepian modeling in the SYR.The differences between two gravity campaigns at the same time of year show an obvious correlation with tectonic features.The degree 120 timevariable gravity models presented in this paper will benefit the study of the regional mass migration inside the crust of the SYR and supplement the existing geophysical models for the China Seismic Experimental Site.
基金National Institute of Arthritis and Musculoskeletal and Skin Diseases of the National Institutes of Health,No.U01AR067138.
文摘AIM To establish minimum clinically important difference(MCID) for measurements in an orthopaedic patient population with joint disorders.METHODS Adult patients aged 18 years and older seeking care for joint conditions at an orthopaedic clinic took the Patient-Reported Outcomes Measurement Information System Physical Function(PROMIS~? PF) computerized adaptive test(CAT), hip disability and osteoarthritis outcome score for joint reconstruction(HOOS JR), and the knee injury and osteoarthritis outcome score for joint reconstruction(KOOS JR) from February 2014 to April 2017. MCIDs were calculated using anchorbased and distribution-based methods. Patient reports of meaningful change in function since their first clinic encounter were used as an anchor.RESULTS There were 2226 patients who participated with a mean age of 61.16(SD = 12.84) years, 41.6% male, and 89.7% Caucasian. Mean change ranged from 7.29 to 8.41 for the PROMIS~? PF CAT, from 14.81 to 19.68 for the HOOS JR, and from 14.51 to 18.85 for the KOOS JR. ROC cut-offs ranged from 1.97-8.18 for the PF CAT, 6.33-43.36 for the HOOS JR, and 2.21-8.16 for the KOOS JR. Distribution-based methods estimated MCID values ranging from 2.45 to 21.55 for the PROMIS~? PF CAT; from 3.90 to 43.61 for the HOOS JR, and from 3.98 to 40.67 for the KOOS JR. The median MCID value in the range was similar to the mean change score for each measure and was 7.9 for the PF CAT, 18.0 for the HOOS JR, and 15.1 for the KOOS JR.CONCLUSION This is the first comprehensive study providing a wide range of MCIDs for the PROMIS? PF, HOOS JR, and KOOS JR in orthopaedic patients with joint ailments.
文摘The research considers wavelike objects that are elements of even subalgebra of geometric algebra in three dimensions. The used formalism particularly eliminates long existing confusion about the reasons behind the appearance of the imaginary unit in quantum mechanics and introduces clear definition of wave functions. When a wave function acts through the Hopf fibration on a localized geometric algebra element, that is executing a measurement, the result can be named as “collapse” of the wave function.
基金National Natural Science Foundation of China(No.12001097)Fundamental Research Funds for the Central Universities,China(No.2232021G-13)。
文摘The staticε-consensus problem for a high-order linear multi-agent system is studied over a connected undirected communication topology,in which the state measurements of neighbors are affected by unknown but bounded(UBB)noises.Using the dead-zone function and binomial coefficients,we propose a distributed consensus protocol.Under this protocol,all agents achieve staticε-consensus,i.e.,the first components of the states for each agent reachε-consensus,and the remaining components reach agreement at zero.Numerical examples illustrate the validity of the theoretical results.
基金Startup Fund for Scientific Research of Fujian Medical University,No.2018QH1052Fujian Health Research Talents Training Program,No.2019-1-42.
文摘BACKGROUND Assessment of liver reserve function(LRF)is essential for predicting the prognosis of patients with chronic liver disease(CLD)and determines the extent of liver resection in patients with hepatocellular carcinoma.AIM To establish noninvasive models for LRF assessment based on liver stiffness measurement(LSM)and to evaluate their clinical performance.METHODS A total of 360 patients with compensated CLD were retrospectively analyzed as the training cohort.The new predictive models were established through logistic regression analysis and were validated internally in a prospective cohort(132 patients).RESULTS Our study defined indocyanine green retention rate at 15 min(ICGR15)≥10%as mildly impaired LRF and ICGR15≥20%as severely impaired LRF.We constructed predictive models of LRF,named the mLPaM and sLPaM,which involved only LSM,prothrombin time international normalized ratio to albumin ratio(PTAR),age and model for end-stage liver disease(MELD).The area under the curve of the mLPaM model(0.855,0.872,respectively)and sLPaM model(0.869,0.876,respectively)were higher than that of the methods for MELD,albumin bilirubin grade and PTAR in the two cohorts,and their sensitivity and negative predictive value were the highest among these methods in the training cohort.In addition,the new models showed good sensitivity and accuracy for the diagnosis of LRF impairment in the validation cohort.CONCLUSION The new models had a good predictive performance for LRF and could replace the indocyanine green(ICG)clearance test,especially in patients who are unable to undergo ICG testing.
基金supports for this work provided by the NationalKey Technology R&D Program in the 11th Five-Year Plan of China(No. 2008BAB31B03)
文摘Gas holdup is one of the key parameters in flotation process. Gas holdup as measured by a differential pressure method was investigated and the relative errors compared to the average gas holdup from the volume expansion method. The errors were used to establish optimum measurement positions. The results show that the measurement position should be in the middle of the column and in the region half way from the center to the wall (the half-radius). The gas holdup along the axial direction is lower at the bottom and higher at the top of the floatation column. The gas holdup along the radial direction is lower near the wall and higher near the center of the flotation column. The average gas holdup measure- ment can be replaced by regional gas holdup values.