计算机支持的协作学习设计模式

提出了代表协作学习构造最佳实践的协作学习设计模式(CLDP),建立软件开发人员与协作学习专家之间的概念共同点,探讨了用教育建模语言IMSLD对它们进行形式化的方法,使之可被软件系统处理。最后讨论了基于CLDP的学习设计创作工具的设计开发,帮助教师根据特定学习场景的需求,通过重用和定制模式,创建有效的协作学习设计。     

A reflective approach for dynamic change of BPEL process

WS-BPEL (Web Service Business Process Execution Language), as an emerging workflow standard, provides a simple and effective way to construct Web Services-oriented workflows. However, to the best of our knowledge, few effort from the industry and academia has addressed the dynamic change problems of BPEL process. This paper proposes a reflective approach to solve this problem. In this paper, a formal meta-object model of process instance is defined; the behavioral consistency criterion based on this model is proposed; a set of modification primitives are given to modify the meta-object while keeping the change atomic and consistent; and in addition, the MOP is offered to provide the programming interfaces for dynamic BPEL process change. Biography: JIA Xiangyang (1972–), male, Ph. D. candidate, research directions: software engineer, service-oriented software engineer, workflow.     

A template-based approach for automatic mapping between business process and BPEL process

In order to support just-in-time reconfiguration of business process execution language （BPEL） process, a template-based mapping method is proposed to map business level process to BPEL process. The method builds up mapping relationships between the key points of business level process and BPEL process, which helps users to adjust the business level process with simplified operations, and automatically maps the changes to BPEL. In addition, a case of the application of the method in a clothing enterprise was illustrated.     

基于着色Petri网的BPEL建模与验证

目的为了保证使用商业过程执行语言(BPEL)描述的Web服务组合的正确性。方法用着色Petri网(CP-nets)对BPEL流程进行建模、分析以及验证。结果定义了一套从BPEL到CP-nets的映射规则,该规则可以将BPEL流程转换成CP-nets,通过着色Petri网工具-CPN tools对该CP-nets进行自动分析以及验证,从而验证该BPEL流程的安全性、活性等性质。结论利用CP-nets这种形式化工具可以有效地发现BPEL流程中存在的设计错误。     

基于BPEL的网格工作流系统

设计并实现了一个基于业务流程执行语言(business process execution language,BPEL)的网格工作流管理系统.针对满足网格环境中的特殊需求,如状态的交互、动态服务绑定、高吞吐量和可扩展性、界面友好的工作流定义工具等,分别提出了BPEL与Web服务资源框架(Web service resource framework,WSRF)整合方法、BPEL的简单集群架构和面向应用组件的工作流定义等.最后,给出了在中国教育科研网格公共支撑平台(ChinaGrid supporting platform,CGSP)中网格工作流系统的原型实现.实验结果表明,原型系统支持负载均衡是正确、可行和有效的.     

动态服务流程模型混合分割方法及应用

为统一跨组织之间的服务流程定制问题,提出了基于高级Petri网的动态服务流程模型混合分割方法,将一个全局的BPEL模型分割为若干个完备的执行分片,根据组织的不同,分别放置在多个BPEL引擎上协同执行,在此基础上进行了模型混合分割的正确性验证.通过示例验证了BPEL流程模型混合分割执行的可行性,最后结合示例给出了支持模型混合分割的原型系统.仿真结果表明:动态服务流程模型混合分割方法支持下的多个BPEL引擎分布式执行比集中式BPEL引擎的集中编制有明显的优势,从而提高了服务流程引擎的吞吐率,也减少了服务响应时间的花费.     

一种基于Petri网的服务组合流程分析方法

虽然业务流程执行语言(BPEL)有很多特征使它适合组合流程的描述,但它缺乏形式化语义,从而不能对组合流程进行严格的分析和验证。本文提出了一种基于Petri网的BPEL语言所对应的组合流程分析方法。应用Petri网来描述BPEL所定义的组合流程,描述组合流程的基本活动及它们之间关系,进而分析了组合流程结构上的合理性。通过实例网的构建,给出了流程可组合性的判定定理,并提出减少服务搜索空间的算法。最后,应用具体实例模拟组合流程的分析过程,展示了该方法的有效性。     

一类新型6-烷氨基-2-烷硫基嘌呤核苷衍生物抗血小板凝集的3D-QSAR研究

通过自组织分子场分析（SOMFA）方法,对20个具有测试活性的2-烷硫基-6-烷氨基嘌呤核苷衍生物进行三维定量构效关系（3D-QSAR）研究,得到预测能力最佳的SOMFA模型,其中交叉验证系数r_cv²=0.801,非交叉验证系数r²=0.807,统计方差比F=75.281,标准方差s=0.130。同时,通过对该模型的立体场和静电场三维网格图进行分析,能够较清晰直观地为设计新型的高活性抗血小板药物分子提供理论指导。     

基于IMS的网络融合(FMC)QoS研究

在分析了现行网络融合的业务对QoS支持不足的基础上,详细分析了IMS的QoS技术,提出了在网络融合中IMS的QoS体系结构,并详细地介绍了体系结构的各模块具体完成的功能,最后分析了在网络融合中引入IMS的必要性及先进性.     

A two-tier location management mechanism for IMS

This paper proposed a two-tier location management mechanism(TTLM)by improving the currentregistration mechanism(CR)in IP Multimedia Subsystem(IMS).The TTLM includes the visited networkregistration and the home network registration,in which the visited network registration is responsible forre-registration in IMS.When subscriber roams,the location information of home network will be updatedby the visited network based on the change of user equipment(UE)' s IP address.Therefore the TTLMcan reduce the tim...     

支持媒体多径中继传输的IMS会话协商机制

针对IMS(IP multimedia subsystem)目前尚不支持媒体多径中继传输模式,提出一种支持媒体多径中继传输的IMS会话协商管控机制.将多径传输功能以一种业务形式引入至IMS系统,将基于应用层中继的多径传输框架MPTS-AR与IMS系统相结合,使得IMS网络侧能够对媒体传输进行多径管理.结果表明,所提方法不仅最大程度地重用IMS现有的网络架构,保护IMS系统的已有资金投入,提高方案可实施性;而且使得IMS网络侧有能力为用户提供差异化的媒体传输服务质量.     

VoLTE异厂家组网方案研究

VoLTE 是 LTE(Long Term Evolution)语音业务的目标方案, 需要 IMS(IP Multimedia Subsystem)系统提供业务支撑, VoLTE 核心网的单厂家组网方案, 短时期内满足了呼叫业务的端到端测试, 但也容易受单个厂家的技术限制。 从现有 VoLTE 单厂家单域组网的实际情况出发, 分析 IMS 核心网网元异厂家设备间组网方案的可行性, 并提出多种组网方案的分析和建议。 综合无线系统、 HSS/ HLR(Home Subscriber Server/ Home LocationRegister)、 分组域等因素的影响, 分业务区引入不同厂家 VoLTE IMS 设备组网, 在控制网络建设投资的前提下, 既能保证新技术和新业务的快速上线, 也能为网络的安全性、 扩展性带来保障。 对 VoLTE 的扩大部署及各运营商的实际网络建设提供指导意见。     

BPEL商业流程建模

介绍了标准化的商业流程执行语言BPEL，从一个例子出发，借鉴统一开发过程(RUP)中的用例模型和分析模型对整个商业流程进行刻画，并简要介绍了如何采用WSDL和BPEL4WS两种标准的语言对整个模型进行文档化的过程。     

基于时序可中断π演算的BPEL和BPEL4People建模

为了形式化地定义BPEL和BPEL4People的语义,提出了一个π演算的变种——πit演算。相对于传统的π演算,πit演算可以描述中断事件和时间事件,从而拥有更好的建模表达能力。介绍了πit演算的语法和语义,定义了一类强互模拟关系来判定πit演算进程间的行为等价,然后使用πit演算对BPEL和BPEL4People的活动进行了建模。该形式化模型有助于在BPEL和BPEL4People程序的设计阶段对其可靠性和一致性进行验证。     

An rFC based service triggering algorithm for IMS network

To reduce the potential signaling traffic in IP multimedia subsystem(IMS),the session establish-ment procedures were investigated.The serving call session control function(S-CSCF)is the major bot-tleneck in IMS and the existing 3GPP service triggering algorithm(STA)based on initial filter criteria(iFC)increases the end-to-end session setup delay remarkably.To reduce the session setup delay andimprove the system performance,a SIP response message based filter criteria(rFC)was proposed.Basedon the rFC,a S...     

基于隐马尔可夫模型的多重序列分析

隐马尔可夫模型是最近几年在许多机器学习领域都得到成功应用的关于序列分析的重要统计模型,特别是在蛋白质家族的识别方面.这主要是由于生物数据的急剧增长导致2个领域(计算科学和生物学)走向结合引起的.探讨了多重序列比对和序列谱隐马尔可夫模型,讨论了隐马尔可夫模型的基本算法以及如何建立HMMs.根据E值和训练分数进行蛋白质家族的识别和分类.     

全氟辛酸对小鼠肝脏相关酶系的影响

目的:观察全氟辛酸对小鼠肝脏相关酶系的影响。方法:将小鼠随机分为4组,分别为空白组、1/16LD50、1/8LD50和1/4LD50组,染毒14 d后采用试剂盒法测定肝组织匀浆中琥珀酸脱氢酶(SDH)、血清中乳酸脱氢酶(LDH)和血清中单胺氧化酶(MAO)含量的变化。结果:染毒组肝组织中SDH活性显著低于空白组(P0.01),随染毒剂量增加呈递减趋势;染毒组血清中LDH和MAO活性显著高于空白组(P0.01)。随染毒剂量增加呈递增趋势。结论:全氟辛酸通过损伤肝细胞线粒体,破坏能量代谢,进而损伤肝组织,可致肝坏死。     

整车道路模拟试验台的控制算法研究

介绍多输入多输出系统时域波形再现(TWR)过程,给出基于频率响应函数(FRF)模型的系统辨识方法以及基于频域迭代自学习控制(ILC)算法的目标信号迭代具体流程.针对整车道路模拟试验台控制算法软件的开发,提出在迭代过程中对信号进行适当重叠分段的频域迭代自学习控制算法.通过现有的四通道整车道路模拟试验台,在真实环境中成功实现了对某样车各车轮轴头处垂向加速度的时域波形再现.结果表明,该算法精度较高,能够作为试验台的控制算法.     

Numerical study of three phase shifts and dual corrugation pitch modulated (CPM) DFB semiconductor lasers based on reconstruction equivalent chirp technology

A distributed feedback (DFB) semiconductor laser with three phase shifts based on reconstruction equivalent chirp (REC) tech-nology is proposed and investigated numerically. With the combination of multiple phase shifts and corrugation pitch modulated (CPM) structure, we also propose a novel and more complex structure named dual CPM, which has a flatter light power distribution along the laser cavity compared with the true double phase shifts DFB laser diode (LD), while the P-I curves are nearly the same. The proposed dual CPM structure is also designed and analyzed based on REC technology. The simulation results show that, the DFB semiconductor laser with complex structure such as phase shifts, or even arbitrary variation of the grating period can be achieved equivalently and easily by changing the sampling structure. But its external characteristics are almost the same as those DFB lasers with true phase shifts, or true arbitrary variation of the grating period. The key advantage of the REC technology is that it varies only the sampling structure and keeps the seed grating (actual grating in sampling structure) period constant. So its fabrication needs only low-cost and standard holographic exposure technology. Therefore we believe this method can achieve the high-end and low-cost DFB LD for mass production.