Towards a Theory of Bisimulation for the Higher-Order Process Calculi

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.

A Logical Characterization for Linear Higher-Order Processes

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.

Necessary Conditions for the Application of Moving Average Process of Order Three

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.

Higher-Order Statistics and Nonlinear Processes in Space Plasmas

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.

Adaptive Consistent Parameter Estimation for Non－Gaussian MA Processes Using 4th Order Cumulant

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.

CONDITIONS FOR FOURTH-ORDER STATIONARITY AND ERGODICITY OF A HARMONIC RANDOM PROCESS

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.

PREPARATION AND SECOND-ORDER OPTICAL NONLINEARITY OF NOVEL PHENOXYSILICON NETWORKS BY SOL-GEL PROCESS

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.

Active disturbance rejection control on first-order plant

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.

A unified approach of PID controller design for unstable processes with time delay

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.

基于高阶扩展卡尔曼滤波的锂电池剩余使用寿命自适应预测

锂电池的剩余使用寿命(Remaining Useful Life,RUL)预测对于电池健康管理系统的预防性维护至关重要,基于随机过程的退化模型在此领域中发挥了关键作用,特别是采用双隐含状态非线性维纳过程,能够更加灵活具体地描述锂电池退化趋势。在锂电池RUL自适应预测中,退化模型参数在线更新较多采用扩展卡尔曼滤波(Extended Kalman Filter,EKF)方法,它是近似精度只有一阶的非线性高斯滤波器,对强非线性系统滤波精度偏低。基于锂电池双隐含状态非线性维纳退化模型,设计高阶扩展卡尔曼滤波器(High-order Extended Kalman Filter,HEKF),利用高阶项信息减小截断误差,得到最优在线参数估计值,推导出RUL的概率密度函数,实现锂电池RUL自适应预测。通过NASA的锂电池退化数据进行实例验证,相较其他两种方法,所建立方法RUL预测结果的RMSE值、MAE值分别降低53.3%、61.6%和65.7%、66.1%。

基于TIFANP-TOPSIS-TIFCE法的大跨桥梁安全状态评估方法

针对传统方法子指标的不确定性问题,提出了一种基于三角直觉模糊网络分析法(triangular intuitionistic fuzzy analytic network process,TIFANP)、优劣解距离法(technique for order preference by similarity to an ideal solution,TOPSIS)和三角直觉模糊综合评价(triangular intuitionistic fuzzy comprehensive evaluation,TIFCE)的大跨桥梁安全状态评估方法。首先,建立大跨桥梁安全状态分层指标体系,采用TIFANP法确定考虑指标相互影响后的权重;其次,引入TOPSIS法分配指标各截面权重,进而获得子指标取值;然后,将桥梁安全状态划分为5级,通过TIFCE法构建指标在不同等级的隶属度和非隶属度函数,据此建立对应判断矩阵,并进行桥梁安全状态指数综合计算;最后,以某大跨悬索桥监测数据为依托,验证了所提方法的有效性。结果表明:所提方法能够更合理地处理评价指标间的相互影响以及专家评分时的不确定,可为运营期大跨桥梁安全状态的准确评估提供新思路。

A Kind of Lean Approach for Removing Wastes From Non-Manufacturing Process With Various Facilities

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.

ADAPTIVE ALGORITHM FOR CONSISTENTMA PARAMETER ESTIMATION VIATHIRD ORDER CUMULANT

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.

A novel approach to topological defects in a vector order parameter system

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.

A Framework Model for an Order Fulfillment System Based on Service Oriented Architecture

To effectively implement order fulfillment, we present an integrated framework model focusing on the whole process of order fulfillment. Firstly, five aims of the OFS （order fulfillment system） are built. Then after discussing three major processes of order fulfillment, we summarize functional and quality attributes of the OFS. Subsequently, we investigate SOA （Service Oriented Architecture） and present a SOA meta-model to be an integrated framework and to fulfill quality requirements. Moreover,based on the SOA meta-model, we construct a conceptual framework model that aims to conveniently integrate other functions fiom different systems into the order fulfillment system. This model offers enterprises a new approach to implementing order fulfillment.

An interconnecting bus power optimization method combining interconnect wire spacing with wire ordering

On-chip interconnect buses consume tens of percents of dynamic power in a nanometer scale integrated circuit and they will consume more power with the rapid scaling down of technology size and continuously rising clock frequency, therefore it is meaningful to lower the interconnecting bus power in design. In this paper, a simple yet accurate interconnect parasitic capacitance model is presented first and then, based on this model, a novel interconnecting bus optimization method is proposed. Wire spacing is a process for spacing wires for minimum dynamic power, while wire ordering is a process that searches for wire orders that maximally enhance it. The method, i.e., combining wire spacing with wire ordering, focuses on bus dynamic power optimization with a consideration of bus performance requirements. The optimization method is verified based on various nanometer technology parameters, showing that with 50% slack of routing space, 25.71% and 32.65% of power can be saved on average by the proposed optimization method for a global bus and an intermediate bus, respectively, under a 65-nm technology node, compared with 21.78% and 27.68% of power saved on average by uniform spacing technology. The proposed method is especially suitable for computer-aided design of nanometer scale on-chip buses.

Kinetics of Degradation of Eosin Y by One of the Advanced Oxidation Processes (AOPs)—Fenton’s Process

Kinetics of homogeneous degradation of Eosin Y (EY), also known as Acid red 87 (CI 45380), are studied, mostly using Fenton’s process, at 30℃ by monitoring its absorbance at 517 nm (λmax of EY). This process is one of the advanced oxidation processes (AOPs). Mixture of H2O2 and Fe(II) ion in acetate buffer medium (pH 2.74 - 4.56) generates hydroxyl free radicals (?OH) which attack the dye molecules, resulting in degradation of the dye molecules. Results show that the initial rate of EY degradation decreases with the increasing of solution pH because of removal of kinetically important Fe (iron) species through formation of ferric hydroxide. On the other hand, the rate increases with increasing the concentrations of H2O2, Fe(II) and EY at low solution pH. The initial rate increases with increasing of concentration of H2O2 and, subsequently remains unaffected with further increase of its concentration at a constant Fe(II) concentration because of the enhanced scavenging environment created by H2O2 at its higher concentration. The initial rate also increases with increasing of concentration of Fe(II) at a constant H2O2 concentration and remains unaffected with its further increase. EY concentration also enhances the initial rate at low pH. However, the initial rate is significantly enhanced by UV light. This is because of formation of additional hydroxyl radicals through excitation of the dye molecules by UV light. During the period of experiment, EY in aqueous solution alone hardly suffered any degradation. Degradation mechanism of EY by the Fenton and photo-Fenton’s processes is also discussed. Statistical analysis was used to validate the experimental results. Low values of the standard deviation for both the initial rate and % degradation indicated the consistency of the experimental data.

Coherent state evolution in a Raman dispersion process

1. Introduction In quantum optics, optical frequency conversion is a typical nonlinear process and is worth studying, for example, a second harmonic frequency generation will generate a squeezed state.[1＇2l In this work, we tackle the evolution of an initial coherent state in a Raman dispersion process which is also a nonlinear process. The process involves the inelastic scattering of a pho- ton when it is incident on a molecule. The photon loses some of its energy to the molecule or gains some from it, and so leaves the molecule with a lower or a higher frequency. The lower frequency components of the scattered radiation are called the Stokes lines and the higher frequency components are called the anti- Stokes lines. The Hamiltonian governing its dynamics is[3]

基于高阶累积量的脉冲激光雷达信号处理技术研究

当前,激光雷达在低信噪比条件下的微弱目标探测能力面临挑战。基于多脉冲累积、高阶累积量的信号处理技术备受关注。针对激光雷达全通道高阶累积量信号处理中的易溢出、高虚警率问题,提出了分段多层检测思路,并对高阶累积量信号处理技术开展了理论分析、算法仿真以及软、硬件实验研究。实验结果表明:在同等测试条件和不增加额外硬件资源的前提下,采用该信号处理方法,整机消光比提高约1.5 dB,探测距离提高约10%。该信号处理流程合理可行,算法简单有效,具有一定的工程应用价值。