摘要：企业内部存在着大量的业务过程,这些业务过程的模型可能会发生变化从而使得一些数据分析的算法失效.检测过程模型变化这一“概念漂移”现象对业务过程管理具有突出的意义.目前的过程模型概念漂移检测存在参数过多,特征抽取复杂等问题.本文中从过程模型的变化伴有新活动对的出现、旧活动对的消失以及活动对出现频率的变化这一基本现象出发,设计了一种简洁高效的检测框架.在该框架中,针对活动对的出现和消失设计了对活动对出现的轨迹索引进行差分的检测方法;针对活动对频率的变化,在轨迹索引差分的基础上首次运用统计过程控制的工具来检测概念漂移.为了验证本文提出方法的性能,使用合成日志和真实生活日志进行评估,并将本文方法与2种相似方法和4中不同方法进行了实验对比,实验结果表明,本文的方法有效且有更高的精度.

摘要：本文讨论了在一定的光源设计前提下,光照强度及其分布所满足的规律,并在此基础上,分析了车灯线光源的优化设计的途径。在分析的方法上,我们侧重于计算机数值模拟辅以理论推导,提出了一系列创新的技术,用以克服离散途径解决连续问题时所遇到的困难。在基本的方法上,我们将线光源用离散的点光源逼近,将抛物面离散为网格。这里我们从法向量变化率出发。提出按曲率划分而非单纯尺寸长度划分,大大提高了模拟精度。在处理离散条件下点线相交时,我们引入了连通集这一重要概念,以克服(屏上点,光源)1—>(抛面面上点)映射时的多值性,解决了因细分抛物面而产生的多重光路的问题。在实现过程中,我们应用了广度优先的线性复杂度算法,使计算效率一跃提升了近5000倍。在解决多点采样问题时,我们又开发了并行连通集算法,减少了串行算法的重复计算,使计算速度加快了近2000倍。在验证模型合理性和进行数据分析时,在第一题中我们着重于收敛的程度问题,并证明我们的模型是稳定的,能克服误差的影响;第二小题中,我们着重分析光强分布的合理性问题,并结合第三小题的要求,对图象进行分析,最终得出题目中的设计规范是符合实际应用需要的,并且光源消耗很优化,光强分布合理。

摘要：提出了一种通过对设计模式进行精化,从Z规约开发并行程序的方法.该方法对Z语言进行了并行扩充,从Z功能规约出发,通过使用扩展的设计模式逐步精化得到并行的设计规约,再通过保持语义的转换,得到可最后转换为并行代码的抽象并行程序.通过实例对这一方法进行了详细的描述.

摘要：设计模式形式规范描述的研究对于设计模式的广泛重用具有重要的意义。以设计模式的模型规范描(DPs)3(Three-model Specification)述方法为基础,提出了一种设计模式的混合规范描述模型。该模型采用图示化的手段描述的静态结构,采用图示化和时态逻辑方法相结DPs合的手段描述动态行为中各参与者行为操作的语义,克服了一般图示化方法对进行完整描述需借助自然语言的补充从而DPs(participants)DPs引起的二义性问题,比较精确、完整地描述了的静态结构和动态行为。

摘要：介绍了23个软件设计模式中的命令模式,并分析了其在分布式应用环境下的应用及一些变化,同时提出了实现方法.

摘要：并行程序的可编程性是并行计算的难点之一 ,使用传统的方法对非数值问题进行并行求解则更加困难 .通过对设计模式概念的扩展 ,定义了算法模式与结构模式 ,以此为基础提出了一种基于设计模式的三阶段并行程序设计方法 ,并通过算法模式库与结构模式库实现对该方法的系统支持 .该方法不仅可用于一般的数值问题求解 ,而且在处理复杂的非数值问题时与传统方法相比要简单得多 .

摘要：文章探讨了怎样在纯函数式语言中加入赋值操作，而又不丧失引用透明性特征的问题，给出了这些操作的指称语义。

摘要：目前被人们广泛采用的处理函数式I／O的机制有三种：Monad，Dialogue，CPS．本文采用CCS的理论和方法，把互模拟等价作为I／O程序的相等关系，描述了这三种I／O机制的操作语义，推导出这三种I／O机制相互之间的转换关系，从而证明了这三种I／O机制在语义上是等价的．

摘要：介绍了一个基于电话和Internet的限定领域的口语问答对话系统,该系统为出行者提供上海市任意两地间的最佳的出行路线.系统集成了语音识别、自然语言理解、语音合成以及对话管理技术;在语言理解中采用了部分句法分析,系统的实现通过对话管理中情景语义框架的定义和容错控制的设计来完成.文中还介绍了系统的构成,重点分析了语言理解和对话管理的设计,并对系统效率和理解能力作了评测.

摘要：提出了一种利用目前的CRS系统摄取六角网格数字图像的方法,并对获取的图像提出了基于金字塔处理的、从边缘检测等低层处理到模式识别等高层处理的算法.借助串行计算机模拟,利用六角几何和并行处理构架来识别六角网格数字图像中的物体.实验结果表明,该算法能够快速地识别一些简单的三维物体.最后提出了一个2层的六角网格视网膜的设计方案.文中论证了用于图像分析的六角像素网格的鲁棒性.