基于线性时序逻辑的业务流程验证

目的为了解决业务流程设计与需求的不一致性问题。方法提出了一种基于XML过程定义语言和线性时序逻辑的业务流程验证方法。结果采用Promela语言描述业务流程模型,线性时序逻辑表示抽象的业务需求,通过模型检测器Spin完成流程的验证工作。结论实现了对流程正确性的判断。     

高速公路城市化路段短时交通量预测方法研究

在对高速公路进出城路段交通拥堵现象产生原因进行分析的基础上,基于径向基神经网络的思想,建立了适用于高速公路城市化路段的短时交通量预测模型,为高速公路服务水平判定、交通控制与诱导提供理论依据和技术支持。最后,以京津塘高速公路城市化路段为例,对建立的模型进行效果验证,结果证明所建立的方法是有效性的、可行的。     

自密实混凝土与老混凝土的粘结滑移关系研究

以自密实混凝土(SCC)为新混凝土材料,通过设计推出式剪切试验装置进行了新老混凝土粘结面的单剪试验,研究自密实混凝土与老混凝土的粘结滑移关系,并考察了新混凝土强度、粗糙度、界面剂以及粘结长度等主要因素的影响.试验结果表明,新老混凝土粘结滑移曲线的发展主要经历初始刚性阶段、弹性变形阶段、弹塑性变形阶段和塑性破坏阶段这四个部分.在实验结果的回归分析基础上,提出了自密实混凝土与老混凝土结合面粘结滑移本构关系的基本模式.     

基于模糊规则的深海底作业机器车不等分状态时间轨线规划

针对深海底自行走履带作业机器车,给出了一种新的基于模糊规则的不等分状态时间轨线规划方案.为适应深海底环境的不确定性,采用基于模糊规则的不等分状态时间轨线规划改进等分贝塞尔曲线运动规划,控制机器车按照既定路线行走.在不平整地面的试验结果验证了算法的有效性.     

混合异养螺旋藻中藻蓝蛋白的分离和纯化

为了从螺旋藻中分离和纯化藻蓝蛋白,研究了一种采用硫铵分步盐析,离子交换层析和凝胶过滤层析的分离纯化方法,在硫酸铵分步盐析中,通过对沉淀物的吸收光谱扫描发现,３００ｇ／Ｌ的硫酸铵溶溶能很好除去杂蛋白,而５００ｇ／Ｌ和６５０ｇ／Ｌ的硫酸铵溶液能较好离ｃ－蓝蓝蛋白和别藻蓝蛋白。     

传声器次声段幅值与相位灵敏度影响因素分析

次声波广泛存在于人类活动中,传声器是目前应用最广的次声测量仪器。通过活塞发生器原级校准得到的传声器幅值灵敏度和相位灵敏度是衡量传声器声学性能的关键指标,也是保证测量精度的前提。传声器固有的结构性能参数是其灵敏度特征的构成因素,基于内外均压校准模式下的传声器次声段灵敏度参数化模型,理论分析了背腔内的泄漏与热传导因素对其幅值与相位灵敏度响应的影响,在COMSOL多物理场仿真软件中对不同泄漏与温度传递条件下的传声器次声段灵敏度校准过程进行了联合数值模拟。仿真结果表明,传声器背腔泄漏会造成内均压校准中幅值灵敏度的明显衰减,并产生最大90°的相位超前,但对外均压校准响应影响极小。     

基于区域的运动阴影检测方法

为了使阴影检测结果更加准确和鲁棒,提出了一种基于区域的运动阴影检测方法。该方法从阴影具有的物理特性出发,考虑了区域内所有像素的总体特征。将每帧图像进行合理的分块,并且采用基于梯度的方法对运动区域边缘的小块进行合并。对每个小块根据阴影区域和对应的背景区域之间具有较强的结构相似性和色度近似性的特点进行阴影检测。实验结果表明,阴影检测准确率超过90%,其结果明显比基于颜色不变量的方法有效。该方法能够准确而鲁棒地检测出运动阴影。     

塔城近82年夏季干湿变化分析

利用塔城夏季帕尔默干旱指数数据,分析其与降水、气温等气候要素的关系,发现帕尔默干旱指数与降水、气温等气候要素存在明显的相关。由于考虑了多个气候因子和时间因子的影响,帕尔默干旱指数能反映出动态旱涝的累积演变过程。分析指数发现,近82年塔城地区极端干旱年份与树轮记录有良好的对应关系,并在近30年有上升的趋势。塔城的帕尔默干旱指数在近82年中主要以2~8年的周期振荡为主。     

用D／max－rBX光机实现EXAFS测量

分析了同步辐射和普通Ｘ射线源的巨大差别，计算了在Ｄ／ｍａｘ－ｒＢＸ光机上进行ＥＸＡＦＳ（ＥｘｔｎｄｅｄＸ－ｒａｙＡｂｓｏｒｐｔｉｏｎＦｉｎｅＳｔｒｕｃｔｕｒｅ）测量光强计数、能量分辨率、高次谐波等主要参数的限度。为了获得能够用于结构研究的ＥＸＡＦＳ谱线，采取了一系列措施，如选用合适的靶材、工作电压电流、单色器晶体、狭缝、单道分析器等。作者强调探测器的有限线性范围是产生系统误差的主要原因之一，在实验室ＥＳＡＦＳ测量中，总存在ｘ射线光强与分辨能力的矛盾与协调问题，为此，计数率必须控制在２×１０４ＣＰＳ以下。最后，报道了在ＲｉｇａｋｕＤ／ｍａｘ－ｒＢＸ射线衍射仪上的一个实例结果。并分析了实验室测量的局限性。     

基于DSM的软件架构重构工具

目的探索目前软件架构重构过程中,模块之间依赖关系解析的有效方法和工具。方法将设计结构矩阵分析方法和包模式识别相结合,通过实例分析表明了该工具可以有效识别系统架构信息并发现违背设计规则的依赖关系。结果设计并实现了一个软件架构重构工具ArTDsm。结论极大地改进了软件架构重构的自动化程度和易用性。