Modal logic characterization in a higher-order setting is usually not a trivial task because higher-order process-passing is quite different from first-order name-passing. We study the logical characterization of high...Modal logic characterization in a higher-order setting is usually not a trivial task because higher-order process-passing is quite different from first-order name-passing. We study the logical characterization of higherorder processes constrained by linearity. Linearity respects resource-sensitiveness and does not allow processes to duplicate themselves arbitrarily. We provide a modal logic that characterizes linear higher-order processes,particularly the bisimulation called local bisimulation over them. More importantly, the logic has modalities for higher-order actions downscaled to resembling first-order ones in Hennessy-Milner logic, based on a formulation exploiting the linearity of processes.展开更多
In this paper, a labelled transition semantics for higher-order processcalculi is studied. The labelled transition semantics is relatively clean and simple, andcorresponding bisimulation equivalence can be easily form...In this paper, a labelled transition semantics for higher-order processcalculi is studied. The labelled transition semantics is relatively clean and simple, andcorresponding bisimulation equivalence can be easily formulated based on it. And the congruenceproperties of the bisimulation equivalence can be proved easily. To show the correspondence betweenthe proposed semantics and the well-established ones, the bisimulation is characterized as a versionof barbed equivalence and a version of context bisimulation.展开更多
Fe-6. 5 mass% Si alloy is an excellent soft magnetic material with good application prospects. After rolling,the structure of the sheet is likely to be heterogeneous along the normal direction. The microstructure and ...Fe-6. 5 mass% Si alloy is an excellent soft magnetic material with good application prospects. After rolling,the structure of the sheet is likely to be heterogeneous along the normal direction. The microstructure and ordering evolution in the thickness range of the sheets during hot-warm rolling process was studied by means of optical microscope and transmission electron microscope. The results show that dynamic recrystallization occurs in the surface parts during the hot and warm rolling processes,where the grains are equiaxed but have high density of dislocations due to the large deformation. The grains in the center part are elongated along the rolling direction. It is also found that in the hot rolled sheet,the center part has lower density of dislocations because of dynamic recovery. Meanwhile,this part has higher ordering content compared with the surface part,indicating that the high density of dislocations can inhibit the formation of ordering in the air cooling process after hot rolling. In the warm rolling process,both of the parts are deformed heavily. Large deformation destroys ordered phases and induces disordering. The ordering content is low in the whole warm rolled sheet.展开更多
Invertibility is one of the desirable properties of moving average processes. This study derives consequences of the invertibility condition on the parameters of a moving average process of order three. The study also...Invertibility is one of the desirable properties of moving average processes. This study derives consequences of the invertibility condition on the parameters of a moving average process of order three. The study also establishes the intervals for the first three autocorrelation coefficients of the moving average process of order three for the purpose of distinguishing between the process and any other process (linear or nonlinear) with similar autocorrelation structure. For an invertible moving average process of order three, the intervals obtained are , -0.5ρ2ρ1<0.5.展开更多
Statistics of order 2 (variance, auto and cross-correlation functions, auto and cross-power spectra) and 3 (skewness, auto and cross-bicorrelation functions, auto and cross-bispectra) are used to analyze the wave-part...Statistics of order 2 (variance, auto and cross-correlation functions, auto and cross-power spectra) and 3 (skewness, auto and cross-bicorrelation functions, auto and cross-bispectra) are used to analyze the wave-particle interaction in space plasmas. The signals considered here are medium scale electron density irregularities and ELF/ULF electrostatic turbulence. Nonlinearities are mainly observed in the ELF range. They are independently pointed out in time series associated with fluctuations in electronic density and in time series associated with the measurement of one electric field component. Peaks in cross-bicorrelation function and in mutual information clearly show that, in well delimited frequency bands, the wave-particle interactions are nonlinear above a certain level of fluctuations. The way the energy is transferred within the frequencies of density fluctuations is indicated by a bi-spectra analysis.展开更多
This paper addresses the problem of adaptively estimating the consistent parameters for non Gaussian nonminimum MA processes with symmetric PDF using the fourth order cumulant of the underlying processes. The process...This paper addresses the problem of adaptively estimating the consistent parameters for non Gaussian nonminimum MA processes with symmetric PDF using the fourth order cumulant of the underlying processes. The processes may be corrupted by additive noise.展开更多
The finite data estimates of the complex fourth-order moments of a signal consisting of random harmonics are analyzed. Conditions for the fourth-order stationarity and ergodicity are obtained. Explicit formulas for th...The finite data estimates of the complex fourth-order moments of a signal consisting of random harmonics are analyzed. Conditions for the fourth-order stationarity and ergodicity are obtained. Explicit formulas for the estimation error and its variance, as well as their limiting large sample values are derived. Finally, a special case relevant to cubic phase coupling is considered, and these results are stated for this case, the variance is shown to comprise an ergodic and a nonergodic part.展开更多
Network maintenance strategy selection is a multi-objective decision making topic. It mostly depends on the uncertainty and fuzziness of decision makers and conditions. In this paper, based on analytic hierarchy proce...Network maintenance strategy selection is a multi-objective decision making topic. It mostly depends on the uncertainty and fuzziness of decision makers and conditions. In this paper, based on analytic hierarchy process(AHP) and technique for order preference by similarity to ideal solution(TOPSIS), TOPSIS partial order method is proposed to choose the optimal maintenance strategy. This method uses AHP to determine the weights of evaluation indexes. The optimal maintenance strategy choice is given as an example to demonstrate the effectiveness of the method.展开更多
Four phenoxysilicon networks for nonlinear optical (NLO) applications were designed and prepared by an extended sol-gel process without additional H2O and catalyst. All poled polymer network films possess high second-...Four phenoxysilicon networks for nonlinear optical (NLO) applications were designed and prepared by an extended sol-gel process without additional H2O and catalyst. All poled polymer network films possess high second-order nonlinear optical coefficients (d(33)) Of 10(-7)similar to 10(-8) esu. The investigation of NLO temporal stability at room temperature and elevated temperature (120 degreesC) indicated that these films exhibit high d(33) stability because the orientation of the chromophores are locked in the phenoxysilicon organic/inorganic networks.展开更多
Conventional PI control encounters some problems when dealing with large lag process in the presence of parameter uncertainties.For the typical first-order process,an observerbased linear active disturbance rejection ...Conventional PI control encounters some problems when dealing with large lag process in the presence of parameter uncertainties.For the typical first-order process,an observerbased linear active disturbance rejection control（LADRC） scheme is presented to cope with the difficulties,and a reduced-order observer scheme is proposed further.Some quantitative dynamic results with regard to non-overshoot characteristics are obtained.Finally,the performance boundaries of LADRC and PI control are explicitly compared with each other,which shows that the former is more superior in most cases.展开更多
针对同时考虑时间维、对象维和指标维的三维动态评价问题,指出传统TOPSIS(technique for order preference by similarity)方法的应用弊端,提出了一种扩展TOPSIS理论下的三维空间组合定权投影模型,阐明其投影降维原理与算法实现。在此...针对同时考虑时间维、对象维和指标维的三维动态评价问题,指出传统TOPSIS(technique for order preference by similarity)方法的应用弊端,提出了一种扩展TOPSIS理论下的三维空间组合定权投影模型,阐明其投影降维原理与算法实现。在此基础上,引入指标维存在非线性映射关系的普适性假设和混沌系统设计思想,分别选择ANP(the analytic network process)结构模型和CPSO(chaos particle swarm optimization)寻优算法来确定指标体系的对象维与时间维权重,测算出最终的三维空间组合权重与评价排序结果。实证研究结果表明,本文提出的动态综合评价模型能够较好地解决三维空间组合定权问题,与PSO(particle swarm optimization)、EGA(elite genetic algorithm)等算法相比,CPSO具有权值全局寻优、搜索速度快、定权方法简便的优点,综合评价结论具有较强的可信度。展开更多
内孤立波(internal solitary wave,ISW)的传播扰动声速场,进而引起声场周期起伏。本文利用数值仿真的研究手段,研究了内孤立波在不同类型的初始发射角度声线的多个声线上转折区域中传播时对声场产生的周期性影响,分析了对于声线掠射角...内孤立波(internal solitary wave,ISW)的传播扰动声速场,进而引起声场周期起伏。本文利用数值仿真的研究手段,研究了内孤立波在不同类型的初始发射角度声线的多个声线上转折区域中传播时对声场产生的周期性影响,分析了对于声线掠射角度、声能量到达时间这两个物理量的起伏频率,发现利用声学参数-时间曲线两点间的斜率与差值的偶次平方的乘积(product of the slope and the even square of the difference between two points of the acoustic parameter-time curve,PSD)处理方法更容易从这两种物理量中提取到显著的声场起伏特征。此外,讨论了高阶PSD参数对声场起伏特征提取效果的影响。结果表明,合适的高阶PSD参数可以提高PSD处理方法对声场起伏特征的提取能力。展开更多
This paper addresses a unified approach of the PID controller design for low as well as high order unstable processes with time delay.The design method is based on the direct synthesis(DS)approach to achieve the enhan...This paper addresses a unified approach of the PID controller design for low as well as high order unstable processes with time delay.The design method is based on the direct synthesis(DS)approach to achieve the enhanced load disturbance rejection.To improve the servo response,a two-degree of freedom control scheme has been considered.A suitable guideline has been provided to select the desired reference model in the DS scheme.The direct synthesis controller has been approximated to the PID controller using the frequency response matching method.A consistently better performance has been obtained in comparison with the recently reported methods.展开更多
基金the National Natural Science Foundation of China(Nos.61202023,61261130589 and61173048)the PACE Project(No.12IS02001)the Specialized Research Fund for the Doctoral Program of Higher Edueation of China(No.20120073120031)
文摘Modal logic characterization in a higher-order setting is usually not a trivial task because higher-order process-passing is quite different from first-order name-passing. We study the logical characterization of higherorder processes constrained by linearity. Linearity respects resource-sensitiveness and does not allow processes to duplicate themselves arbitrarily. We provide a modal logic that characterizes linear higher-order processes,particularly the bisimulation called local bisimulation over them. More importantly, the logic has modalities for higher-order actions downscaled to resembling first-order ones in Hennessy-Milner logic, based on a formulation exploiting the linearity of processes.
文摘In this paper, a labelled transition semantics for higher-order processcalculi is studied. The labelled transition semantics is relatively clean and simple, andcorresponding bisimulation equivalence can be easily formulated based on it. And the congruenceproperties of the bisimulation equivalence can be proved easily. To show the correspondence betweenthe proposed semantics and the well-established ones, the bisimulation is characterized as a versionof barbed equivalence and a version of context bisimulation.
基金Item Sponsored by Major State Basic Research Development Program of China(2011CB606304)High-tech Research and Development Program of China(2012AA03A505)National Natural Science Foundation of China(51301019,51471031)
文摘Fe-6. 5 mass% Si alloy is an excellent soft magnetic material with good application prospects. After rolling,the structure of the sheet is likely to be heterogeneous along the normal direction. The microstructure and ordering evolution in the thickness range of the sheets during hot-warm rolling process was studied by means of optical microscope and transmission electron microscope. The results show that dynamic recrystallization occurs in the surface parts during the hot and warm rolling processes,where the grains are equiaxed but have high density of dislocations due to the large deformation. The grains in the center part are elongated along the rolling direction. It is also found that in the hot rolled sheet,the center part has lower density of dislocations because of dynamic recovery. Meanwhile,this part has higher ordering content compared with the surface part,indicating that the high density of dislocations can inhibit the formation of ordering in the air cooling process after hot rolling. In the warm rolling process,both of the parts are deformed heavily. Large deformation destroys ordered phases and induces disordering. The ordering content is low in the whole warm rolled sheet.
文摘Invertibility is one of the desirable properties of moving average processes. This study derives consequences of the invertibility condition on the parameters of a moving average process of order three. The study also establishes the intervals for the first three autocorrelation coefficients of the moving average process of order three for the purpose of distinguishing between the process and any other process (linear or nonlinear) with similar autocorrelation structure. For an invertible moving average process of order three, the intervals obtained are , -0.5ρ2ρ1<0.5.
文摘Statistics of order 2 (variance, auto and cross-correlation functions, auto and cross-power spectra) and 3 (skewness, auto and cross-bicorrelation functions, auto and cross-bispectra) are used to analyze the wave-particle interaction in space plasmas. The signals considered here are medium scale electron density irregularities and ELF/ULF electrostatic turbulence. Nonlinearities are mainly observed in the ELF range. They are independently pointed out in time series associated with fluctuations in electronic density and in time series associated with the measurement of one electric field component. Peaks in cross-bicorrelation function and in mutual information clearly show that, in well delimited frequency bands, the wave-particle interactions are nonlinear above a certain level of fluctuations. The way the energy is transferred within the frequencies of density fluctuations is indicated by a bi-spectra analysis.
文摘This paper addresses the problem of adaptively estimating the consistent parameters for non Gaussian nonminimum MA processes with symmetric PDF using the fourth order cumulant of the underlying processes. The processes may be corrupted by additive noise.
文摘The finite data estimates of the complex fourth-order moments of a signal consisting of random harmonics are analyzed. Conditions for the fourth-order stationarity and ergodicity are obtained. Explicit formulas for the estimation error and its variance, as well as their limiting large sample values are derived. Finally, a special case relevant to cubic phase coupling is considered, and these results are stated for this case, the variance is shown to comprise an ergodic and a nonergodic part.
基金the Weapons and Equipment Preresearch Fund(No.9140A27040414JB34079)the Specialized Research Fund for the Doctoral Program of the Military Education(No.2015JY354)
文摘Network maintenance strategy selection is a multi-objective decision making topic. It mostly depends on the uncertainty and fuzziness of decision makers and conditions. In this paper, based on analytic hierarchy process(AHP) and technique for order preference by similarity to ideal solution(TOPSIS), TOPSIS partial order method is proposed to choose the optimal maintenance strategy. This method uses AHP to determine the weights of evaluation indexes. The optimal maintenance strategy choice is given as an example to demonstrate the effectiveness of the method.
文摘Four phenoxysilicon networks for nonlinear optical (NLO) applications were designed and prepared by an extended sol-gel process without additional H2O and catalyst. All poled polymer network films possess high second-order nonlinear optical coefficients (d(33)) Of 10(-7)similar to 10(-8) esu. The investigation of NLO temporal stability at room temperature and elevated temperature (120 degreesC) indicated that these films exhibit high d(33) stability because the orientation of the chromophores are locked in the phenoxysilicon organic/inorganic networks.
基金supported by the National Natural Science Foundation of China(60774088)the National High Technology Research and Development Program of China(863 Program)(2009AA04Z132)the Specialized Research Fund for the Doctoral Program of Higher Education of China(20090031110029)
文摘Conventional PI control encounters some problems when dealing with large lag process in the presence of parameter uncertainties.For the typical first-order process,an observerbased linear active disturbance rejection control（LADRC） scheme is presented to cope with the difficulties,and a reduced-order observer scheme is proposed further.Some quantitative dynamic results with regard to non-overshoot characteristics are obtained.Finally,the performance boundaries of LADRC and PI control are explicitly compared with each other,which shows that the former is more superior in most cases.
文摘内孤立波(internal solitary wave,ISW)的传播扰动声速场,进而引起声场周期起伏。本文利用数值仿真的研究手段,研究了内孤立波在不同类型的初始发射角度声线的多个声线上转折区域中传播时对声场产生的周期性影响,分析了对于声线掠射角度、声能量到达时间这两个物理量的起伏频率,发现利用声学参数-时间曲线两点间的斜率与差值的偶次平方的乘积(product of the slope and the even square of the difference between two points of the acoustic parameter-time curve,PSD)处理方法更容易从这两种物理量中提取到显著的声场起伏特征。此外,讨论了高阶PSD参数对声场起伏特征提取效果的影响。结果表明,合适的高阶PSD参数可以提高PSD处理方法对声场起伏特征的提取能力。
文摘This paper addresses a unified approach of the PID controller design for low as well as high order unstable processes with time delay.The design method is based on the direct synthesis(DS)approach to achieve the enhanced load disturbance rejection.To improve the servo response,a two-degree of freedom control scheme has been considered.A suitable guideline has been provided to select the desired reference model in the DS scheme.The direct synthesis controller has been approximated to the PID controller using the frequency response matching method.A consistently better performance has been obtained in comparison with the recently reported methods.
