基于活动序列的服务二元行为模式及操作语义

组合E-服务是电子商务开发部署中被广泛关注的问题,行为需求的刻画、建模是服务设计开发的重要步骤,分析和验证服务行为满足用户特定需求则是保证服务可信的关键工作.已有分析服务行为研究中,行为需求都是LTL类逻辑规范或MSC类图式规范,前者基于活动的,后者基于场景的.现在提出一种新颖的基于活动序列的行为规范概念,该概念的粒度介于活动和场景概念之间,目的是便于直接表达某些行为需求,针对活动序列设计了"序列前提、序列因果和序列嵌入"二元行为模式,用模式来刻画基于活动序列的活性和安全性,其结果是行为需求表达更为简洁,将这些模式映射标记传递系统LTS,精确刻画了行为模式的操作语义,为需求验证提供基础,最后给出实例分析.     

地下蓄能热扩散和传输的能流通量描述

通过对地下蓄能系统能量输入、存储和输出过程中的能量传输问题的研究,提出地下岩土蓄能能流通量的概念。通过衡量蓄存能量的扩散传输程度,定量分析判断地下蓄能过程的能流效应,为控制扩散提供了衡量参数和依据。在此基础上,研究了不同排列竖孔地下换热器群布置形式的能流问题以比较它们在保存土壤蓄能期间能流强度的差别。研究发现,孔群布置决定地下温度场形态,该温度场形态对能量输入、输出及蓄存的自由扩散传输程度产生明显的影响。     

Effect of Carbon Properties on Melting Behavior of Mold Fluxes for Continuous Casting of Steels

Mold fluxes are synthetic slags used to coverthe liquid steel meniscus during continuous castingof steel.The flux,whichis continuously fed on thesurface of liquid pool during casting,melts first andthenflowsintothe gap between mold wall and solid-ified steel shell.It is well known that the perform-ance of the flux can greatly affect both the castingoperation and product quality.Because of its i mpor-tance,intensiveinvestigations have been performed,and considerable progress has been made[1-6].…     

单峰映射揉搓序列的特性

为了更好地解释Feigenbaum现象,研究了单峰映射的揉搓序列,利用分析的方法证明了单峰映射揉搓序列极大性的一些性质,进而给出了一个序列作为允许揉搓序列的一个等价条件;利用单峰映射厂和Tpf的揉搓序列之间的关系,给出了重正化算子Tp不动点的揉搓序列的特征．     

Burst pulses for positive corona discharges in atmospheric air: the collective movement of charged species

Positive corona burst pulses are an unstable pulse mode. They appear in a small range of the onset stage, and their current pulses result from the collective movement of charged species. This paper focused on the connections between these pulses and the collective movement of charged species. The movement of species is divided into four parts with respect to time: the(1) initial growth of species,(2) formation and development of the streamer region and negative ion sheath,(3) dead time(the time interval between the pulses), and(4) rapid re-growth of species.The movement of the species in the four parts and the correspondence with the current pulse were analyzed. The numerical results indicated the following: the rapid rising of the species matched the rising edge of the pulses, the streamer region, and negative ion sheath appeared in the falling edge of the primary pulse, and the rapid re-growth of species matched the re-ignition of the pulses. The results were in qualitative agreement with deductions and experimental observations in the literature.     

基于CAZAC序列的OFDM时频同步算法

针对Schmidl和Minn算法存在符号定时和频率同步精度不高,频率同步运算量大的缺点,提出一种新的基于CAZAC序列的OFDM同步算法.算法利用2个相同的CAZAC序列作为一个训练符号,并对第二个序列用CAZAC序列进行加权,在接收端利用训练符号所包含数据的重复性和CAZAC序列的相关性,进行符号定时同步;然后利用CAZAC序列具有的时域移位特性进行整数倍频偏估计.算法在时域完成,因运算量较小.仿真结果表明,新算法克服了Schmidl和Minn算法的缺点,在AWGN和多径信道下,均能精确同步并进行较大范围的频偏估计.特别是在信噪比较低时采用该算法能实现更准确的同步.     

带分布时滞分数阶微分方程非振动解的存在性北大核心CSCD

研究了一类中立型部分带有分布时滞且具有正负系数的分数阶微分方程,利用Banach压缩映像原理,通过克服算子构造和不等式放缩技巧,得到了方程有界的非振动解存在的充分条件,将其系数的适用范围拓展成不等于1和-1的实数,并通过算例验证了相关结果。     

温度极化对膜蒸馏过程的影响研究

采用直接接触式膜蒸馏，以纯水为料液，考察了材料及结构不同的5种微孔疏水膜的渗透性能．分析结果认为，膜的渗透系数和温度极化系数共同影响着膜通量的大小．实验还考察了料液温度和流率对膜通量及热效率的影响，利用膜及膜两侧边界层内传热传质理论对此进行了分析讨论．因温度极化系数随操作温度变化，可通过控制适宜操作温度获得大膜通量和高热效率．增大料液流率可强化传热，使温度极化减弱，膜通量增加．     

铝合金熔剂的研究

本文介绍了熔剂在铝合金熔炼过程中的作用,熔剂的分类和要求,常用熔剂的组成,适用范围及使用方法等。     

基于“双芯”51内核的学习机设计

嵌入式系统在教育领域的应用产生了各种类型的学习机,重点论述了一种基于M CS-51内核的“双芯”的嵌入式学习机系统,满足了职业学校学生录入练习的需求。通过对这个系统的分析和论述提出一种在51内核上运行复杂系统的方法。