服务流程动态分割执行中时序一致性的实时验证

服务流程的动态分割执行目前已经成为国内外研究的热点,但是已有研究工作普遍没有考虑时序约束下分割执行的时序一致性验证。针对服务流程的这种实际需求,提出了一种动态分割执行的时序一致性实时验证方法。在服务流程动态分割时,通过约束映射将时序约束细化到分片中,并随着分片发布到执行站点。在执行时,执行站点可以基于分片执行信息,实时分析其约束映射的满足情况,从而实现服务流程的时序一致性分析验证。该方法有效减少了时序异常的处理开销,提高了执行站点的自治性;另外,它对分布结构没有限制,能够应用于各种动态分割执行方式。     

工作流多过程动态时序一致性的实时模型检测

现实企业中通常存在多个并行的工作过程,并且它们之间可能存在资源冲突。在运行阶段,动态验证资源约束下多个过程的时序一致性具有重要意义。基于实时模型检测技术,提出一种工作流多过程时序一致性动态验证方法。采用时间自动机(Time automata,TA)对多个并发过程建模,并将所需验证的时序约束转化为对TA模型的性质查询。当运行到检测点,依据已知的时间信息更新TA模型,再进行相关性质查询,从而完成时序约束的验证。该方法实用性较强,能够有效处理现实业务环境中资源约束情况下多个业务过程的动态时序验证问题。具有较好的柔性和扩展性,当时序约束发生变化时,仅需改变相应TA模型。本方法有多种实时模型检测工具或软件的支持。     

基于制造组合状态跃迁的制造系统建模方法

针对制造资源状态的时变性,以及制造资源状态、制造资源组合状态、任务状态之间存在非线性关系的问题,提出一种基于制造组合状态跃迁的制造系统建模方法。该方法通过建立制造资源在时序上与组合逻辑上的多层状态拓扑结构,定义了不同层次状态之间的跃迁函数,形成了制造组合状态之间的跃迁机制,实现了对制造系统内不同状态之间的非线性关系描述。以关联制造系统不同层次状态的制造组合状态跃迁为基础,建立了从制造资源个体状态、组合状态及任务状态的自动机模型,最终实现了制造系统建模。最后,利用所建的自动机模型对两个卫星箱体混线生产过程进行描述,验证了所提建模方法的有效性。     

时序约束条件下序列测试建模方法

时序约束的描述是测试序列生成前必须面对的问题,但是目前还没有完善的方法能够对时序约束进行描述,为此提出了一种时序约束序列测试建模方法。该建模方法中提出了状态转移允许区间,使得可以对转移发生时前一个状态的连续出现次数进行描述。针对目前欠缺能够有效评价测试序列目标覆盖程度的方法的问题,通过引入核函数来评价测试序列的目标覆盖程度对该问题给予了解决。最后利用提出的建模方法对实例进行建模,验证了建模方法的有效性和可行性。     

逆向供应链服务组合与优化

针对逆向供应链服务组合中协作与竞争并存的组合模式,提出一种逆向供应链服务活动组合、服务资源优化的两阶段服务组合方法。通过基于语义本体的逆向供应链服务形式化描述方式,提出一种"正向组合—逆向缩减"的逆向供应链服务活动组合方法;利用带约束的多目标双种群遗传优化算法,以服务时间、服务成本和服务质量等逆向供应链服务质量指标为优化目标,针对服务活动方案对应的服务资源进行优化组合选择,得到全局最优的服务资源组合方案,为服务需求者提供决策支持;以废钢逆向供应链服务组合为例对该逆向供应链服务组合方法进行了验证,并结合带精英策略的非支配排序遗传算法对优化算法的收敛性与多样性进行有效性分析。     

微型晶体谐振器预封定位装置动作时序优化研究

针对微型晶体谐振器预封定位装置结构复杂、动作时序难以规划的问题,对微型晶体谐振器预封定位装置的动作时序,及其有限状态机模型仿真优化进行了研究。基于预封定位装置的结构,结合工艺流程要求,分析了预封定位装置各执行元件的动作、动作顺序与位置,提出了预封定位装置的性能指标;以预封定位装置传感器的状态参数和执行元件的位置为依据,设计了其动作时序;基于有限状态机理论,利用Simulink/Stateflow建立了预封定位装置的动作时序模型;依据模型仿真结果,对预封定位装置动作时序进行了优化,确定了最终动作时序;利用样机试验对预封定位装置动作时序进行了验证。研究结果表明:优化后的动作时序满足预封定位装置性能指标要求。     

模糊情况下带时序约束服务流程的构建与优化

为满足模糊情况下带时序约束服务流程的迫切业务需求,提出一种新的服务流程构建与优化方法。建立了模糊情况下带时序约束的服务流程优化模型,从而有效表达服务质量属性及时序约束的模糊化内涵。基于模糊机会约束理论及最大模糊满意度法,将多目标模糊服务流程优化模型进行等价转化,并采用基于信息素的混合遗传算法求解。该求解算法不但利用局部优化信息,而且通过信息素记录的全局优化信息指导染色体的交叉,提高了求解效率。通过多组实验对比,说明了所提算法在求解精度及求解效率上的优越性。     

支持钢铁企业产能时序预测的数据同化方法

针对目前钢铁企业产能状态时序数据预处理方法难以保证产能数据及时准确更新、状态描述信息不失真等问题,提出了支持产能时序预测的数据动态重构技术,研究了相应的产能状态数据梳理、清洗和映射等过程处理方法,建立了基于动态重构技术的产能状态数据同化模型,给出了基于特征属性匹配的同化数据快速检索方法.结合某特殊钢集团企业产能状态时序数据的实际预处理过程进行了应用验证研究和案例分析.     

基于协同进化的松弛时序约束多服务流程优化

为满足复杂服务流程优化的需求,提出一种新的松弛时序约束下的多服务流程优化方法。建立了多服务流程优化问题的形式化模型,并通过定义带松弛量的时序约束满足性,为实现时序约束的量化判定及流程优化求解奠定基础。针对问题模型具有搜索规模大且需考虑跨流程间松弛时序协调的难点,提出基于非均衡协作的混合协同进化算法实现模型求解。该算法参考Potter的协同进化框架,设计了基于信息素交叉的子种群进化、非均衡概率的种群间协作及精英迁移等改进策略,有利于提高种群搜索导向性及保持种群多样性。通过与现有方法的多组实验对比,证明了该算法在求解精度及执行时间上的优越性。     

基金会现场总线功能块的有限状态自动机模型

功能块是一种面向工业现场的智能化控制模块。首先 ,针对基金会现场总线功能块建立了描述其内部行为逻辑的有限状态自动机模型 ;其次 ,由功能块的自动机模型构成基于功能块的控制应用的自动机模型。同时 ,建立了反映功能块应用时间特性的功能块调度的时间自动机模型 ;最后 ,以一个 PID回路的自动机模型模拟了该回路的级连初始化过程。所建的功能块及其应用模型为进一步分析功能块及其应用奠定了基础。     

多视频超分辨率的时间重建倍数

多视频超分辨率时间重建技术可以消除视频中的运动模糊和运动混叠现象。进行多视频时间重建时,重建倍数过小不能有效地减小运动模糊和运动混叠现象;而重建倍数过大会产生严重的时间振铃现象和运动物体位置的跳变。本文对如何在重建过程中确定最优的时间重建倍数进行了研究。通常情况下,在决定多视频时间重建倍数时只考虑输入视频的个数;但在实际重建过程中,除了输入视频个数的因素,时间重建倍数还与各个输入视频在时间上能提供的冗余信息量有关。文中从多个低分辨率输入视频配准后的位置关系入手,通过对曝光区间的分析,提出了确定多视频时间重建倍数的计算方法。最后对提出的方法进行了理论分析与实验,证明了所提方法的有效性。     

工作流建模中时态逻辑的研究与应用

在使用Petri网构建工作流行为结构模型的同时，使用时态逻辑描述工作流模型的需求与特性，则具有描述能力强、灵活方便的优点。在此基础上，综合考虑时态逻辑列表法和即时验证方法的特点，给出一种主要利用Buchi自动机进行工作流模型需求及特性验证的方法，提高了工作流模型的合理性和可靠性。最后，验证分析了电子商务的工作流实例。     

Premiere Pro CS4中时间插值法的应用研究

关键帧插值是优化关键帧的工具,用来控制动画的过渡,以减缓关键帧进入或离开的速度,避免突兀过渡.     

基于时间和空间冗余的视频隐写分析方法

为了实现对视频隐写的有效检测,提出一种使用支持向量机(SVMs)的视频隐写盲检测方法.该方法利用时间和空间冗余,用帧间共谋的方式获取帧估计数据,提取视频帧的融合马尔科夫和DCT特征,构造SVMs分类器对待测视频进行检测,从而达到视频隐写检测的目的.实验结果表明,该方法能够准确地区分载密视频和原始视频.     

江苏省50a近地面风速及气温的时空分布特征分析

利用江苏省12个气象站1960-2010年逐日风速、气温等资料,对12个站点资料进行分类,采用常规的统计方法分析江苏地区50a近地面风速的时空分布以及月循环、季节循环、年内、年际、年代际等变化规律。结果表明：近50a来风速呈下降的趋势;沿海站的风速大于内陆站的风速,但是其下降速率小;乡村站的平均风速比城市站高出0．4m／s左右,下降速率也略大;夏季海陆站、城乡站的风速差较小,冬季较大;强风天数的变化与平均风速的变化类似。     

Heterogeneity of spine density in pyramidal neurons of isocortex of mongoose,Herpestes edwardsii (É. Geoffroy Saint‐Hilaire 1818)

The characteristics of pyramidal neurons within six layers of Indian gray mongoose (Herpestes edwardsii) isocortex have been investigated using Golgi and Cresyl‐Violet methods. Pyramidal neurons and the cytoarchitecture of isocortex of mongoose were photographed with the help of computer aided Nikon eclipse 80i microscope whereas the lucida drawings were made by simple light microscope equipped with camera lucida. The cortical neurons exhibit marked regional differences in phenotype. The differences occur in morphology and distribution of spines within the cortical neurons not only among different species but also within an animal's brain. The present investigation aims at studying the features of pyramidal neurons and to find out the differences if any in distribution of spines in different layers (II–VI) as well as regions (Frontal, Temporal, Parietal, and Occipital) of isocortex of mongoose, which will provide information regarding importance of different layer and region. This piece of work embarks the findings that spine density shows inter‐regional as well as interlaminar variations within isocortex of mongoose indicating that pyramidal cells present in varied layer and region are not equally functional and there do exists differences in activity among layers and regions. Among regions, the Temporal region possessing highest spine density contributes more toward functioning of mongoose isocortex and might play significant role in predatory nature of mongoose because this region in mammals is associated with auditory, visual perception, and object recognition. Microsc. Res. Tech. 76:818–828, 2013. © 2013 Wiley Periodicals, Inc.     

客户时序关联规则挖掘方法研究

针对客户交易数据的特点，提出了一种基于前缀映射累加树的客户时序关联规则发现方法。将时间窗口内频繁项的信息映射到前缀映射累加树中，以降低频繁时序模式的搜索空间，提高时序关联规则的挖掘效率。另外，通过为特定的频繁项建立前缀映射累加树，可以挖掘特定的时序关联规则，并能以较精确的方式，发现具有一定模糊性的客户时序关联规则。实验结果表明，所提出的方法能够提高客户时序关联规则的挖掘效率。     

时空域结合的红外弱小运动目标检测新方法

为解决远距离和复杂背景下红外弱小运动目标的检测问题,提出了一种将时域背景抑制和空域相关性检测相结合的新方法.首先在时域窗口内根据像素的时域信号进行时域背景抑制和二值化,得到既有像素点的灰度值又有时域信号值的组合帧图像;再充分利用运动目标在空域上的连续性和时域信号上与噪声的差异性,在组合帧上对每个候选目标点与其8邻域像素进行时域信号相关性检测,以剔除虚警点和确定目标轨迹.实验结果表明该法具有较低虚警率和较强的鲁棒性.     

一种基于时空信息的多目标检测新算法

运动目标检测是计算机视觉中进行信息提取的关键技术之一.为了克服传统帧间差分法检测出的目标不完整的缺点,提出了一种基于时空信息的视频图像中多目标检测新算法.该算法将帧间差分得到的图像序列的时间信息和帧间边缘差分得到的图像空间信息结合起来检测图像中的运动目标,同时利用形态学闭运算和近区域合并方法进一步强化图像中的空间信息,利用小区域去除的方法去除图像中的噪声影响.最后通过3组实验对其有效性进行了验证,实验结果证明,其检测效果与传统算法相比有较大改善.