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.

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

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

基于相位补偿的过热汽温自抗扰控制

随着可再生能源接入电网比例的逐步增大,热力发电厂需要应对更加频繁、更大范围的负荷变化,给电厂的高阶大惯性过热汽温过程的控制带来严峻的挑战。为此,文中针对一类高阶大惯性过热汽温过程,提出一种基于相位补偿的自抗扰控制(phase compensation based active disturbance rejection control,PC-ADRC)方法。首先,阐述过热汽温系统的工作原理和控制难点。然后,采用低频近似法详细推导相位补偿(phase compensation,PC)网络模型,提出采用PC网络对模型动态特性进行补偿,得到等效降阶模型的简化思路。为便于工程应用,给出PC-ADRC系统的简单实现方法和等效模型分析。最后,对PC-ADRC系统的稳定性和鲁棒性进行研究。理论分析和仿真结果表明,所提出的PC-ADRC系统能有效提升高阶过程控制系统的鲁棒性和快速响应能力。

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.

在整本书阅读中运用思维导图和过程评价提升高阶思维能力的实证分析

高阶思维能力的发展对于提升学生的学习效率和成绩具有重要价值,但在现实中这种高阶思维能力并未得到足够重视,也缺乏提升高阶思维能力的有效方法。结合一项为期14天的整本书阅读实验项目,探讨思维导图和过程评价在提升学生高阶思维能力方面的效果。结果显示:基于过程评价的思维导图训练能有效促进学生发散性思维、综合性思维、批判性思维、创造性思维以及元认知能力等高阶思维能力的提升,但不同学生高阶思维能力提升的幅度和速度有所不同,体现出学生高阶思维能力发展的非均质化和非线性化特点。

耦合变密度地下水流降阶模型与高斯过程的蒙特卡罗模拟

变密度地下水流系统受水力梯度和密度梯度共同驱动,非线性强,数值模型计算量大,尤其在开展不确定性分析时需要的计算成本很高。常规的数据驱动机器学习方法只能对点监测信息进行模拟分析,不能模拟整个地下水流系统。本研究发展了变密度地下水流降阶模型,利用高斯过程模型对降阶模型的数值误差进行修正组成耦合模型。耦合模型既能克服高斯过程只能模拟有限监测点信息的缺陷,又能提高降阶模型对监测点信息的模拟精度。考虑二维剖面变密度地下水流案例,将渗透系数场设定为空间随机变量,采用基于全阶模型(FSMC)、降阶模型(ROMC)和耦合模型(GP-ROMC)3种蒙特卡罗模拟方法进行不确定分析。研究结果表明:(1)ROMC能替代FSMC开展不确定性分析;(2)水头和盐度的平均相对二范误差与降阶模型维度的关系可用指数函数描述(决定性系数R2≥0.99);(3)GP-ROMC对监测点信息的模拟精度比ROMC高,GP-ROMC可有效修正降阶模型误差提高蒙特卡罗模拟的精度。研究成果可为地下水建模、不确定性分析、风险评估及参数反演等工作提供重要技术支撑。

基于二阶价值梯度模型强化学习的工业过程控制方法

为了实现对高延时、非线性和强耦合的复杂工业过程稳定准确的连续控制,提出了一种基于二阶价值梯度模型强化学习的控制方法。首先,该方法在模型训练过程中加入了状态价值函数的二阶梯度信息,具备更精确的函数逼近能力和更高的鲁棒性,学习迭代效率更高;其次,通过采用新的状态采样策略,可以更高效地利用模型进行策略学习。最后,通过在OpenAI的Gym公共实验环境和两个工业场景的仿真环境的实验表明:基于二阶价值梯度模型对比传统的基于最大似然估计模型,环境模型预测误差显著降低;基于二阶价值梯度模型的强化学习方法学习效率优于现有的基于模型的策略优化方法,具备更好的控制性能,并减小了控制过程中的振荡现象。可见该方法能有效地提升训练效率,同时提高工业过程控制的稳定性和准确性。

工艺管线高效预制方案探讨

工艺管线材料种类繁多、建造工艺复杂、检验要求高,车间预制需优化图纸材料前端输入,施工过程加强管控,通过简化工序流程和提高焊接、检验效率的方式,达到快速释放的目的。采用预制前图料匹配、工单精准配送、高效管线组对工艺与自动焊接等施工措施,可加快管线预制施工效率。生产管理系统、PAUT及批次放行等现代化检验方式的应用,在保障产品质量的同时,缩短了检验周期。

考虑同层后道工序的柔性设备网络综合调度算法

针对柔性设备网络综合调度算法,难以合理选择加工设备加工相关工序进而影响产品完工时间的问题,该文提出考虑同层后道工序的柔性设备网络综合调度算法(SP-FENIS)。首先,采用逆序层优先策略,将各工序分配至逆序层待调度工序集;然后,提出均值逆序紧后路径策略,确定了各逆序层待调度工序集中工序的调度顺序;最后,提出最早完工时间策略和设备空闲插入策略,当工序在柔性设备上最早完工时间相同时,考虑了在柔性设备上的加工时间和同层后道工序的加工设备,确定了目标工序的加工设备以及加工时间。实例表明,和已有算法相比,该算法能够缩短产品完工时间。

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.

基于AHP和TOPSIS-模糊综合评价的多场景储能选型方法

目前储能技术路线多样,不同类型的储能各具应用前景,但储能选型需要综合考虑经济性、安全性等因素,是一个复杂的多目标决策问题,因此储能选型是工程应用中的关键问题之一。提出一种将层次分析法(analytic hierarchy process,AHP)和优劣解距离法(technique for order preference by similarity to ideal solution,TOPSIS)-模糊综合分析法相结合的储能选型评价体系。首先,通过建立评价体系的判断矩阵,利用AHP获取指标权重;其次,将判断矩阵里量纲不同的指标类型用TOPSIS做规范化处理,以此获得更客观的权重向量,改善AHP法的主观性;而后,将指标权重对角化处理并与标准化后的矩阵相乘获得加权判断矩阵,并求取贴近度向量。最后,加权判断矩阵与模糊综合分析法关系矩阵相乘获取储能类型的隶属度评价结果,并以隶属度最大值所在的等级为最终评价,处于等级Ⅰ中最佳,等级Ⅱ次之并以此类推;由此通过TOPSIS获得更客观的权重向量,改善AHP法的主观性,得到的权重向量也更客观。最后以锂离子电池、钠硫电池和铅酸电池等七种储能类型在应用于削峰填谷、电网保供电和改善电压质量场景为例,并与现有的储能选型方法进行比较,体现该评价体系的创新,检验所提评价体系和选型方法的有效性。

基于组合赋权-偏序集的应急供应链可靠性评价

为协调好应急供应链中物资的分配与使用,基于文献分析等方法提炼应急供应链可靠性评价指标,建立由组织保障可靠性、系统制度可靠性以及运作流程可靠性3个一级指标及其对应的17个二级指标组成的应急供应链可靠性评价指标体系;利用层次分析法(AHP)、熵权法(EWM)和三角模糊数计算指标权重,将蕴含权重信息的偏序关系引入评价研究中,构建组合赋权-偏序集模型评价应急供应链的可靠性,并应用该模型评价分析C市5个县级城市的应急供应链可靠性水平。结果表明:5个县级城市的应急供应链可靠性程度可分为4类,其中,地区03的可靠性水平高,地区04、02的可靠性水平较高,地区05的可靠性水平中等,而地区01的可靠性水平低;通过对比分析,获取各地区的优势环节和薄弱环节以及需改进的地方。该评价模型可有效评估应急供应链可靠性水平。

销售管理系统研究与设计

销售管理系统作为ERP(企业资源计划)系统中的一部分,伴随企业需求的日益增长,不断革新进步。在商业世界里,销售可谓是无处不在,是连接生产、物流和客户的重要纽带。因此,销售管理系统对于各类企业是不可或缺的。该研究基于YonBuilder低代码开发平台,设计构建销售订单管理系统模型,对提升效率、节约资源提供设计思路,给出设计框架以及流程介绍,并针对个别企业的特殊业务需求提供解决思路。

基于AHP与TOPSIS的水电站能效管理水平评价方法研究

针对现有水电站能效管理水平评价方法的不足,将层次分析法(AHP)和优劣解距离法(TOPSIS)引入评价过程中,综合考虑经济、安全和管理3个方面的因素,构建了水电站能效管理评价指标体系;针对九分位标度法的不足,采用指数标度法确定各指标权重;分别利用TOPSIS方法和专家打分法对定量指标、定性指标进行评分,并进一步实现水电站能效管理水平的综合评价;以某实际水电站为例,分析和计算2018-2022年的水电站能效管理水平得分,结果表明该电站能效管理水平总体上呈上升趋势。