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.展开更多
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.展开更多
目的基于AHP-TOPSIS法建立达格列净药物利用评价(Drug utilization evaluation,DUE)标准,为指导临床用药提供参考。方法以达格列净药品说明书为基础,以相关指南、专家共识等资料为依据,建立达格列净的DUE标准,并利用层次分析法(Analytic...目的基于AHP-TOPSIS法建立达格列净药物利用评价(Drug utilization evaluation,DUE)标准,为指导临床用药提供参考。方法以达格列净药品说明书为基础,以相关指南、专家共识等资料为依据,建立达格列净的DUE标准,并利用层次分析法(Analytic hierarchy process,AHP)联合逼近理想解排序法(Technique for order preference by similarity to an ideal solution,TOPSIS)对2024年1至12月南京中医药大学常熟附属医院应用达格列净患者的住院病历进行用药情况分析,评价其用药合理性。结果在1425份病历中,683例(47.93%)用药合理[0.8≤最优方案之间的接近程度(Closeness to ideal solution,C_(i))≤1.0],665例(46.67%)用药基本合理(0.6≤C_(i)<0.8),77例(5.40%)用药不合理(C_(i)<0.6)。77份病历用药不合理主要体现在用药风险评估、适应证、禁忌证、特殊人群使用和不良反应等方面。结论基于AHP-TOPSIS法建立的达格列净合理用药评价体系,其评价结果能以可量化数据的形式应用于药物合理性评价。我院达格列净的使用总体较合理,但仍存在超适应证用药、用药风险评估不足和出现不良反应等问题,临床用药需要进一步优化。展开更多
Conjugated polymers have received considerable attentions over the past years due to their large-area potential applications via low-cost solution processing. Improving crystallinity of conjugated polymer molecules in...Conjugated polymers have received considerable attentions over the past years due to their large-area potential applications via low-cost solution processing. Improving crystallinity of conjugated polymer molecules in solution-processed thin films is crucial for their efficient charge transport and thus high performance optoelectronic devices. Herein, with diketopyrrolopyrrole-quaterthiophene （PDQT） copo/ymer as an example, it is found that by simply reducing the solution concentration for spincoating meanwhile with the assistance of post-annealing, significantly enhanced film crystallinity with formation of typical single crystalline domains is obtained, which benefits from the enough space for better molecular assembly especially at the semiconductor/dielectric interface. High performance polymer transistors and phototransistors were finally constructed based on the optimal lowconcentration （2 mg/mL） spin-coated PDQT films （～12 nm）, which giving a high charge carrier mobility of 2.28 cm2 V-1 s-1 and a photoresponse on/off ratio of 2.1 ×107 at VG = 0 V under white light irradiation of 6mW/cm2. The results suggest that the bright future of PDQT crystalline films for large-area flexible integrated optoelectronic devices and the application of effective low-concentration processing approach in solution-processed organic electronics with reduced material waste.展开更多
It is important to identify and remove the wastes not only from manufacturing process, but also from nonmanufacturing process. In the last several decades, significant research achievements and practice benefits have ...It is important to identify and remove the wastes not only from manufacturing process, but also from nonmanufacturing process. In the last several decades, significant research achievements and practice benefits have been achieved about removing wastes from manufacturing process. Since the1990 s, some researchers and lean practitioners have paid more attention to removing waste from non-manufacturing process.Based on the authors' research work and industrial practice, the paper introduces a kind of lean approach for removing waste from non-manufacturing process. In its case study, the order handling process in a value chain is described with respect to a factory and its downstream distribution centers(DCs). The paper proposes a lean approach solution for creating the improved order handling process, and analyze how great improvements in performance can be achieved. As a result, the significant achievement has created a win-win scenario for both the nonmanufacturing process in a factory and non-manufacturing facilities(like DCs) across the value chain. It demonstrates that improvements have been made by removing waste from the non-manufacturing process that takes place within a factory as well as with external participants through the whole value chain. Likewise, the proposed lean approach has helped the case companies to achieve greater levels of efficiency and more benefits. Finally, some conclusions are drawn.展开更多
This paper addresses the problem of adaptive,consistent parameter estimation for a MA model from the 3rd order cumulant of the system output. The proposed adaptive algorithm is derived by using the new linear equation...This paper addresses the problem of adaptive,consistent parameter estimation for a MA model from the 3rd order cumulant of the system output. The proposed adaptive algorithm is derived by using the new linear equation system (J. K. Tugnait, 1990), which is proved to have unique solution,and hence guarantees the consistence of the MA parameters. Simulation results are provided to show the performance of the new algorithm.展开更多
Based on Duan＇s topological current theory,we propose a novel approach to study the topological properties of topological defects in a two-dimensional complex vector order parameter system.This method shows explicitl...Based on Duan＇s topological current theory,we propose a novel approach to study the topological properties of topological defects in a two-dimensional complex vector order parameter system.This method shows explicitly the fine topological structure of defects.The branch processes of defects in the vector order parameter system have also been investigated with this method.展开更多
基金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.
文摘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.
文摘目的基于AHP-TOPSIS法建立达格列净药物利用评价(Drug utilization evaluation,DUE)标准,为指导临床用药提供参考。方法以达格列净药品说明书为基础,以相关指南、专家共识等资料为依据,建立达格列净的DUE标准,并利用层次分析法(Analytic hierarchy process,AHP)联合逼近理想解排序法(Technique for order preference by similarity to an ideal solution,TOPSIS)对2024年1至12月南京中医药大学常熟附属医院应用达格列净患者的住院病历进行用药情况分析,评价其用药合理性。结果在1425份病历中,683例(47.93%)用药合理[0.8≤最优方案之间的接近程度(Closeness to ideal solution,C_(i))≤1.0],665例(46.67%)用药基本合理(0.6≤C_(i)<0.8),77例(5.40%)用药不合理(C_(i)<0.6)。77份病历用药不合理主要体现在用药风险评估、适应证、禁忌证、特殊人群使用和不良反应等方面。结论基于AHP-TOPSIS法建立的达格列净合理用药评价体系,其评价结果能以可量化数据的形式应用于药物合理性评价。我院达格列净的使用总体较合理,但仍存在超适应证用药、用药风险评估不足和出现不良反应等问题,临床用药需要进一步优化。
基金financial support from the Ministry of Science and Technology of China (Nos. 2017YFA0204503, 2016YFB0401100)the National Natural Science Foundation of China (Nos. 51725304, 91433115, 51633006, 51733004)+1 种基金the Strategic Priority Research Program of the Chinese Academy of Sciences (No. XDB12030300)National program for support of top-notch young professionals
文摘Conjugated polymers have received considerable attentions over the past years due to their large-area potential applications via low-cost solution processing. Improving crystallinity of conjugated polymer molecules in solution-processed thin films is crucial for their efficient charge transport and thus high performance optoelectronic devices. Herein, with diketopyrrolopyrrole-quaterthiophene （PDQT） copo/ymer as an example, it is found that by simply reducing the solution concentration for spincoating meanwhile with the assistance of post-annealing, significantly enhanced film crystallinity with formation of typical single crystalline domains is obtained, which benefits from the enough space for better molecular assembly especially at the semiconductor/dielectric interface. High performance polymer transistors and phototransistors were finally constructed based on the optimal lowconcentration （2 mg/mL） spin-coated PDQT films （～12 nm）, which giving a high charge carrier mobility of 2.28 cm2 V-1 s-1 and a photoresponse on/off ratio of 2.1 ×107 at VG = 0 V under white light irradiation of 6mW/cm2. The results suggest that the bright future of PDQT crystalline films for large-area flexible integrated optoelectronic devices and the application of effective low-concentration processing approach in solution-processed organic electronics with reduced material waste.
基金supported in part by the National Natural Science Foundation of China (61773381,61773382,61533019,91520301)Finnish TEKES’s Project "SoMa2020:Social Manufacturing" (211560)+1 种基金Chinese Guangdong’s S&T Project (2015B010103001,2016B090910001,2017B090912001)Dongguan’s Innovation Talents Project (Gang Xiong)
文摘It is important to identify and remove the wastes not only from manufacturing process, but also from nonmanufacturing process. In the last several decades, significant research achievements and practice benefits have been achieved about removing wastes from manufacturing process. Since the1990 s, some researchers and lean practitioners have paid more attention to removing waste from non-manufacturing process.Based on the authors' research work and industrial practice, the paper introduces a kind of lean approach for removing waste from non-manufacturing process. In its case study, the order handling process in a value chain is described with respect to a factory and its downstream distribution centers(DCs). The paper proposes a lean approach solution for creating the improved order handling process, and analyze how great improvements in performance can be achieved. As a result, the significant achievement has created a win-win scenario for both the nonmanufacturing process in a factory and non-manufacturing facilities(like DCs) across the value chain. It demonstrates that improvements have been made by removing waste from the non-manufacturing process that takes place within a factory as well as with external participants through the whole value chain. Likewise, the proposed lean approach has helped the case companies to achieve greater levels of efficiency and more benefits. Finally, some conclusions are drawn.
文摘This paper addresses the problem of adaptive,consistent parameter estimation for a MA model from the 3rd order cumulant of the system output. The proposed adaptive algorithm is derived by using the new linear equation system (J. K. Tugnait, 1990), which is proved to have unique solution,and hence guarantees the consistence of the MA parameters. Simulation results are provided to show the performance of the new algorithm.
基金Project supported by the National Natural Science Foundation of China (Grant No 10275030)Cuiying Project of Lanzhou University of China (Grant No 225000-582404)
文摘Based on Duan＇s topological current theory,we propose a novel approach to study the topological properties of topological defects in a two-dimensional complex vector order parameter system.This method shows explicitly the fine topological structure of defects.The branch processes of defects in the vector order parameter system have also been investigated with this method.
