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.

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%。该信号处理流程合理可行,算法简单有效,具有一定的工程应用价值。

基于互联网医院建设的肿瘤患者自助开单服务探索与实践

目的:探索自助开单服务模式的设计及实施效果,为患者提供高效、便捷的就医服务,提升患者服务效率。方法:采用χ~2检验、独立样本t检验对使用自助开单服务的患者及同期使用APP自约号来院就诊的患者的性别、年龄、来源、预约挂号至就诊的等待时间进行比较;测量系统应用后为患者节省的就医成本并对患者的就医流程进行比较。结果:使用自助开单服务的患者相比自约号的患者,老年人比例提升了5.4%(P=0.02)、京外患者比例下降了3.6%(P=0.028),患者预约挂号至就诊的平均等待时间减少了51.8个小时(P<0.01),平均为每位患者节省费用1 790元/次。结论:自助开单服务系统的应用有助于优化就医流程、缩短预约挂号到就诊的等待时间,节省就医成本,促进医疗资源合理配置,提高医疗服务效率。

Bayesian Reliability——Growth Analysis for Statistical of Diverse Population Based on Non-homogeneous Poisson Process

New armament systems are subjected to the method for dealing with multi-stage system reliability-growth statistical problems of diverse population in order to improve reliability before starting mass production. Aiming at the test process which is high expense and small sample-size in the development of complex system, the specific methods are studied on how to process the statistical information of Bayesian reliability growth regarding diverse populations. Firstly, according to the characteristics of reliability growth during product development, the Bayesian method is used to integrate the testing information of multi-stage and the order relations of distribution parameters. And then a Gamma-Beta prior distribution is proposed based on non-homogeneous Poisson process（NHPP） corresponding to the reliability growth process. The posterior distribution of reliability parameters is obtained regarding different stages of product, and the reliability parameters are evaluated based on the posterior distribution. Finally, Bayesian approach proposed in this paper for multi-stage reliability growth test is applied to the test process which is small sample-size in the astronautics filed. The results of a numerical example show that the presented model can make use of the diverse information synthetically, and pave the way for the application of the Bayesian model for multi-stage reliability growth test evaluation with small sample-size. The method is useful for evaluating multi-stage system reliability and making reliability growth plan rationally.