A framework for interoperability of BPEL-based workflows

With the prevalence of service-oriented architecture (SOA), web services have become the dominating technology to construct workflow systems. As a workflow is the composition of a series of interrelated web services which realize its activities, the interoperability of workflows can be treated as the composition of web services. To address it, a framework for interoperability of business process execution language (BPEL)-based workflows is presented, which can perform three phases, that is, transformation, conformance test and execution. The core components of the framework are proposed, especially how these components promote interoperability. In particular, dynamic binding and re-composition of workflows in terms of web service testing are presented. Besides, an example of business-to-business (B2B) collaboration is provided to illustrate how to perform composition and conformance test.     

二项分布与泊松分布判别的假设检验

提出了判别二项分布与泊松分布的假设检验方法,并举例说明这种检验方法的可行性。     

两个小孩时随机男子的排父率的计算

在许多基因检测案例中,要排除父权的更可能是与小孩无任何血缘关系的男性。根据Mendel遗传定律,一个男子被排除父权当且仅当他在某个基因座上与Mendel遗传定律有冲突。本文给出了排除随机男子是两个小孩父亲的概率的简洁且通用的计算公式,结合两组汉族地区数据,计算出随机男子的排父率,数值结果表明:排除一个随机男子父权的机会是非常大的。     

微带偶极子天线的小型化改进设计

基于传统的偶极振子天线的原理和结构特点,结合微带天线的优势,改进设计了一种中心工作频率为2.45GHz的微带贴片偶极子天线,缩小了天线尺寸。设计过程中使用Ansoft HFSS软件搭建天线的模型并进行仿真。制作的天线利用PNA3621网络分析仪进行了测试,测量结果表明:在2.2GHz~2.7GHz频带范围内,天线方向图对称性较好,旁瓣较少,与仿真结果较为吻合,天线输入端电压驻波比和回波损耗较为理想,实现了较宽的频带。     

双线圈结构电涡流位移传感器的设计

根据电涡流检测原理,采用双线圈结构设计电涡流位移传感器探头,并结合由信号源、直流电源、信号处理和显示等模块构成的测量电路进行实验.实验结果表明,双线圈电涡流位移传感器具有输出信号稳定、抗干扰能力强、测量精度较高、电路简单、成本低等特点.     

重力坝深层抗滑稳定试验中结构面变位测试技术

软弱结构面内部相对变位的测试一直是重力坝深层抗滑稳定试验中的一个重点和难点。以电阻应变技术为基础,成功研制了适用于地质力学模型中软弱结构面相对变位量测的位移传感器。该传感器体积小,精度高,同时设置有隔热装置,不受升温降强的影响,稳定性好。介绍了该位移传感器的设计思路、工作原理,并将该传感器应用于某重力坝三维地质力学模型综合法试验中,获得了主要结构面的内部相对变位,为大坝稳定性分析提供了科学依据。     

一种面向交互代码的构件合约化测试方法

构件技术是软件复用的关键技术,构件测试是检测构件故障保证构件质量的重要手段。构件故障分为构件本身的故障和构件化软件集成时的故障,前者由于构件开发者熟悉源代码而易于测试和定位;后者由于软件复用者对构件的不清楚和集成的复杂性导致故障往往难以检测和发现,因此构件集成测试中的故障测试是目前研究的难点问题之一。构件集成测试离不开交互代码(粘贴代码),文中提出了一种面向粘贴代码的构件合约化测试方法。分析了基于粘贴代码的构件测试中的四种故障类型;针对这四种故障类型,依据合约的适应性,阐述了基于XML的粘贴代码合约的构造机理;并且给出了构件集成中基于合约检查的测试过程;最后以网络购物系统为应用实例,验证了该方法的有效性和实用性。该方法为捕捉错误,抛出异常信息,快速定位构件集成中的故障位置,准确发现故障原因提供了一种非常有效的途径。该方法的使用减少了构件集成测试中粘贴代码产生的冗余,提高了测试的灵活性,实现了高效的软件复用,缩短了软件开发周期,降低了开发成本。     

裂缝性气藏分支水平井试井模型及井底压力动态

综合运用渗流力学、数学物理方法、计算数学基础理论,基于严格的数学推导,建立裂缝性气藏分支水平井不稳定试井模型,并求得模型的Laplace空间解,利用Stehfest数值反演结合计算机编程,绘制出裂缝性气藏鱼骨型分支水平井的典型曲线。结果表明:裂缝性气藏鱼骨型分支水平井不稳定渗流过程可能出现早期纯井储段、井储后过渡段、裂缝系统第一径向流段、裂缝系统线性流阶段、裂缝系统第二拟径向流段、分支干扰过渡段、裂缝系统第三拟径向流阶段、窜流段和总系统拟径向流段9个流动阶段;水平井分支长度越短或分支间距越长,第二拟径向流段越明显。     

一体化瞬态高温智能存储测试系统设计

为解决当前瞬态高温测试中存在的测试系统对瞬态高温参数信号响应速度慢、动态特性不足、设备布设及装置回收不便等问题,综合运用无线通信技术、数据采集与缓冲技术和存储测试技术,设计了一种通用一体化瞬态高温智能存储测试系统。该系统可用于特殊测试环境下瞬态高温参数的测试,并实时记录存储测试数据和处理结果。设计了基于蓝宝石黑体平面的瞬态高温敏感体、数据处理存储模块和无线模块,并将瞬态高温敏感体、数据处理存储模块和无线模块进行一体化设计。通过ZigBee模块对系统进行参数设置(上、下电、触发电平、测量范围等),使用AVR单片机和FPGA为主控芯片,解决了特殊测试环境下瞬态高温参数的测试采集问题。实际测试结果表明,该瞬态高温智能存储测试系统可准确获得被测温度场瞬态高温参数,具有无线遥控、微功耗、高精度、抗高冲击、抗干扰、微型化、工作稳定和可靠性高等特点,适于恶劣测试环境下瞬态高温参数的测试和记录。     

双因素方差分析模型中的广义p-值

利用Fiducial方法得到模型中假设检验问题的广义枢轴向量,由此直接定义广义p-值,并证明由此广义p-值所给出的检验在边界上具有频率性质. 在数值模拟中对广义p-值方法与广义F-检验方法作了比较. 模拟结果表明,在异方差时,广义p-值方法优于广义F-检验.