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

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

基于Petri网的动态服务流程模型分割

为解决不同组织之间的统一流程定制和动态服务流程模型分割问题,提出了基于多个业务流程执行引擎支持的动态服务流程模型分割方法.首先提出基于高级Petri网的水平分割和垂直分割方法,将一个全局的BPEL模型分割为若干个完备的执行分片,然后根据组织的不同,分别放置在多个BPEL行语言引擎上执行,在此基础上进行了模型分割的正确性验证;为进一步提高多个BPEL引擎共同执行的性能,提出了混合分割方法及其体系结构,从而提高了其吞吐率,减少了服务响应时间的花费,并通过示例验证了BPEL流程模型混合分割执行的可行性.最后给出了支持模型混合分割的原型系统,实验结果表明,该模型的混合分割比水平分割和垂直分割更有效.     

面向服务的分布式工作流执行站点优化

针对现有模型分割方法在工作流执行效率、成本和可靠性等方面存在的不足,提出一种基于组织和资源服务约束的分布式工作流执行站点优化方法.通过扩展现有服务工作流网,增加协同组织服务、资源服务和角色三要素,以组合服务质量最优为目标,从全局和局部两个方面分别获得各局部流程最佳执行站点.最后,通过一个应用实例,验证了该方法的可用性,并对两种方法进行了对比.     

时序约束下Web服务组合的兼容性及修正研究

针对时序约束情况下Web服务组合的迫切需求,提出一种基于有限状态自动机的服务组合兼容性分析及修正方法。该方法首先根据组合有限状态自动机模型中的时序约束及内部活动的时间信息,推导服务组合的可能时间;然后对带有外部组合时间的活动进行组合可能性分析,基于活动的组合可能性验证服务组合的时序兼容性;针对时序部分兼容的服务组合,提出相应的时序兼容性修正方法。通过实例验证了该方法的有效性。与现有方法相比,该方法能够有效避免状态爆炸问题,且具有直观、实用性强、可重用性好等优点。     

网格环境下多服务质量约束的复合服务调度机制

目前,由于没有一个动态、可扩展的服务组合模型,在服务网格环境中缺乏满足多性能目标约束的、复合服务的调度机制。为此,在分析动态服务调度机制基础上,将服务质量约束引入到状态图工作流模型中,提出一种多服务质量约束的动态组合服务模型,给出了在服务组合过程中保持服务组件之间服务质量一致性的方法,并将复合服务的调度问题（即执行路径的动态选择问题）归结为多属性决策问题。采用简单加权法,以保证组合后的服务满足综合服务质量约束。通过实现的服务调度组件验证了该机制的可行性和有效性。     

微控制器静态时序分析方法研究

静态时序分析方法不依赖于激励,且可以穷尽所有路径,运行速度很快,占用内存很少,克服了动态时序验证的缺陷.我们探讨了时序路径、路径延迟、时序约束等问题,重点研究了多周期路径造成的时序异常排除方法,并用静态时序分析工具Primetime对微控制器软核HGD08R01进行了案例分析,获得了满意的效果.     

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

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

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

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

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

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

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

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

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

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

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

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

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

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

江苏省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.     

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

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

基于机器视觉的芯片编号识别算法

针对芯片检测过程中芯片编号形状小、人眼无法识别的现状,开发了一套芯片编号识别系统。系统以机器视觉技术为基础,配备高分辨率Basler相机、高倍率镜头以及高性能点光源,能实现高分辨率图像采集;利用Hough直线检测对图像进行水平旋转,利用图像轮廓查找算法对兴趣区域进行提取分割,利用帧差法对兴趣区域与标准库进行比较,找到最匹配的图像,其标签为识别结果。实验结果表明,运用系统的图像处理算法可以代替人眼通过高倍放大镜识别,改进了芯片检测工艺,大大提高了芯片检测的效率。     

Processing of auditory information in insects

Insects exhibit an astonishing diversity in the design of their ears and the subsequent processing of information within their auditory pathways. The aim of this review is to summarize and compare the present concepts of auditory processing by relating behavioral performance to known neuronal mechanisms. We focus on three general aspects, that is frequency, directional, and temporal processing. The first part compares the capacity (in some insects high) for frequency analysis in the ear with the rather low specificity of tuning in interneurons by looking at Q10dB values and frequency dependent inhibition of interneurons. Since sharpening of frequency does not seem to be the prime task of a set of differently tuned receptors, alternative hypotheses are discussed. Moreover, the physiological correspondence between tonotopic projections of receptors and dendritic organization of interneurons is not in all cases strong. The second part is concerned with directional hearing and thus with the ability for angular resolution of insects. The present concepts, as derived from behavioral performances, for angular resolution versus lateralization and serial versus parallel processing of directional and pattern information can be traced to the thoracic level of neuronal processing. Contralateral inhibition, a mechanism for enhancing directional tuning, appears to be most effective in parallel pathways, whereas in serial processing it may have detrimental effects on pattern processing. The third part, after some considerations of signal analysis in the temporal domain, demonstrates that closely related species often use different combinations of temporal parameters in their recognition systems. On the thoracic level, analysis of temporal modulation functions and effects of inhibition on spiking patterns reveals relatively simple processing, whereas brain neurons may exhibit more complex properties.