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.

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

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

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

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

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.

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

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

销售管理系统研究与设计

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

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

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

某院住院患者用药医嘱全程审核干预模式的实践

目的建立住院医嘱全程审核干预模式,促进临床合理用药。方法探索前置审核+医嘱执行中审核的干预模式,统计分析并评价该模式运行1年的效果。结果2020年12月-2021年12月共审核住院医嘱755104条,成功干预933条不合理医嘱;外科的不合理医嘱发生率较内科高。干预的不合理医嘱中,60.13%为审方药师干预,39.87%为临床药师干预。两类药师干预的不合理医嘱类型各有侧重点,临床药师更能发现并干预深层次的不合理医嘱。结论住院医嘱全程审核干预模式可充分发挥审方药师和临床药师的专业优势,有效干预不合理医嘱,促进临床合理用药。

基于直觉模糊环境的海上风机选型

选择合适的海上风力发电机机型对海上风电场的长期高效运行起着至关重要的作用。针对决策者在风机选型决策过程中存在不确定性和主观偏好等问题,提出一种改进的多准则决策(multi-criteria decision making, MCDM)框架及方法:在权重求解算法中将群体决策和直觉模糊数与层次分析法相结合,提出群体直觉模糊层次分析法(group intuitionistic fuzzy analytic hierarchy process, GIAHP)计算指标权重;在备选方案排序算法中将余弦距离引入接近理想点法(technique for order preference by similarity to an ideal solution, TOPSIS),提出多距离TOPSIS确定备选方案排序。最后以山东省海上风电场风机选型为例,并通过敏感性分析验证框架及方法的鲁棒性。该框架及方法为中国海上风电场风机选型提供理论依据,可确保海上风电场长期稳定运行。

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

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

基于FreeSWITCH的电话约车系统方案与应用

随着移动互联网技术的发展,智能交通出行系统日益普及,老年人等不方便使用智能手机的人群面临约车难的问题。对这一难题进行了研究,提出一种基于FreeSWITCH的电话约车方案。该方案通过对接IMS/PSTN实现全自动叫车功能,并由约车平台进行车辆调度和结果反馈。该方案操作简便、无需智能手机,提高了出行效率和便利性。实际应用案例验证了系统的可行性和实用性,为不方便使用智能手机的人群提供了便捷的出行选择。

数据专线自动开通系统研究

随着运营商数据专线业务的不断扩展,在不同类型网络应用场景中进行标准化的业务自动配置显得尤为重要。文章从技术架构、功能架构、系统实现及功能验证等方面探讨了数据专线自动开通系统的构建及实现。

指向高阶思维的初中物理实验探究学历案设计研究——以摩擦力的大小与哪些因素有关为例

实验探究是初中物理学习的重要内容,是获取物理知识的重要手段,也是提升学生学科核心素养和思维能力的重要方法。文章提出了指向高阶思维培养的实验学习路径、实验探究学历案的关键栏目和学历案的编制路径。并以“探究—摩擦力的大小与哪些因素有关”为例,展示了指向高阶思维培养的初中物理实验探究学历案关键栏目的具体撰写方法。

基于改进AHP-TOPSIS的村镇太阳能+生物质能联合供暖综合评价

构建基于改进层次分析法(AHP)-逼近理想解排序法(TOPSIS)的村镇太阳能+生物质能联合供暖综合评价模型,过程包括建立基于能源效益、经济效益、环境效益、室内环境4个准则的评价指标体系,改进AHP确定指标权重,TOPSIS综合评级。将模型应用于案例,得出案例综合评价等级。结果表明:该评价模型可通过理论计算客观地得到评级,增强了评价的科学性,案例4个准则评级依次为优秀、良好、优秀、良好,综合评价等级为良好。