过程模型

摘要： 传统的流程挖掘技术通常假设过程模型在服务期间不会随时间改变,但是实际过程模型在执行中总是动态调整的。检测漂移发生的时间点并确定漂移过程中所涉及的行为变化,可以帮助业务分析人员更好地理解流程行为。目前大多数方法侧重于漂移检测和变体差异分析这两个独立的任务,但漂移检测仅能单纯定位发生变化的关键点,不能对漂移点前后流程行为的变化进行描述,因而无法有效地对流程进行配置和维护。因此,提出一种集漂移检测和流程变体差异分析于一体的综合方法,既能检测漂移又能对漂移后流程行为的差异进行具体分析。应用不同类型的控制流变化得到的事件日志来评估该方法,验证了所提方法的有效性。

摘要： 针对当前装配式建筑轮廓多由不规则形状组成,无法准确提取图像所含特征点,导致装配式建筑图像布局标定效果较差,标定精度较低,标定时间较长的问题,提出基于Markov过程的装配式建筑图像布局标定方法。根据装配式建筑图像的不同特征,架构图像特征空间图与转移矩阵,结合逼近属性与全概率条件,构建图像布局标定的Markov过程数学模型。预处理待标定图像,采用哈里斯算子提取建筑图像角点,根据多尺度哈里斯-拉普拉斯角点,绘制三角网。利用欧几里得距离度量近似三角形间的相似性,升序排列相似度顺序,采取最小相似度加权值方案,实现建筑图像布局标定。实验结果表明,所提方法的装配式建筑图像布局标定效果较好,能够有效提高标定精度,缩短标定时间。

摘要： 制度逻辑视角是一个元理论框架,用于分析制度、个体和组织在社会系统中的相互关系。制度逻辑理论建构具有四项基本原则:社会结构与行动的定向战略,制度既有物质性又有象征性,制度的历史权变性,以及制度具有多重分析层级。在制度逻辑视角中,实践与身份是基本概念,多重制度逻辑为行动者提供了在社会互动中用来再现、改变组织身份与实践的微观基础。本文在制度逻辑的微观基础之上建立了一个关于制度逻辑跨层级分析的整体模型,从而分析关于不同类型的社会互动(决策、意义构建和集体动员)如何在组织内部和组织之间实践与身份的动态关系之间起到中介作用。

摘要： 教科书编制是教科书研究的重要领域,直接影响着教科书的质量。当前教科书编制研究较少关注编制过程,难以为人们提供一个较为清晰的教科书内容编制图景。为此,以评析教科书内容编制过程相关模型为基础,结合对教科书内容编制过程的实际考察,构建教科书内容编制过程模型,指出教科书内容需要历经宏观、中观、微观三个层面的内容编制过程,即从组建编写队伍、解读课程文件到拟定编写方案、搭建内容框架以构建教科书体系;从设计编排主线、创设教科书栏目到结合具体主题、优化单元结构以形成单元体例;从依据单元主题选择内容、依循单元体例呈现内容到内容、体例与体系的精致化以形成教科书文本。同时,进一步指出了教科书内容编制过程模型具有为编写者落实课程文件提供路径支持、为研究者分析教科书内容提供理论框架,以及为教师合理使用教科书内容提供方法支撑等应用价值。

摘要： 形成性评价作为工程教育专业认证中的重要环节,对提升我国工程人才培养质量具有积极作用,特别是后疫情时代,更多学校和专业选择线上线下混合式教学开展教学活动。专业认证实践显示,形成性评价实施过程中存在不少问题。基于此,该文主要研究如何将线上线下教学与形成性评价机制进行有效衔接和融合,探索并优化适合学生学情的形成性评价机制,包括采用适合本专业学情的形成性评价模型、构建切实可行的形成性评价实施办法、形成完善的形成性评价反馈机制,最终将本研究方案应用在我校计算机专业课的工程认证中,为地方本科院校在工程教育专业认证中开展形成性评价提供思路和参考。

摘要： 在线健康信息替代搜寻行为是弥合数字不平等的有效方式,本研究旨在探究互联网环境下健康信息替代搜寻过程中的用户行为特征并识别出不同的行为阶段。通过准实验设计,结合实验观察、出声思考法、用户访谈及调查收集了相关实验数据,分析了替代搜寻过程中的信息源选择、搜寻结果类型以及信息沟通的作用。研究发现,健康信息替代搜寻者普遍使用多个信息源获取健康信息,他们重点关注日常保健、症状、治疗/检查、疾病原因和注意事项等相关信息,进一步信息沟通的替代搜寻者在搜寻结果的准确性、全面性以及主观感知的满意度和有用性评价方面显著较高。本研究构建了七个阶段的在线健康信息替代搜寻过程模型,研究结果有助于了解健康信息替代搜寻的行为过程,同时为优化健康网站设计以及提升健康信息服务提供了借鉴。

摘要： 数字化转型有具体的内容和特定的结构,是一个复杂的系统推进过程。国家教育新型基础设施建设为数字化转型工作带来重要发展契机,激发了新的教育需求。基层开放教育需要对数字化转型进行全面的思考和规划,开拓出与实际需求相结合,可操作性、适应性强的数字化转型路径。在此背景下,作者梳理了基层开放教育面临的数字化转型问题与挑战,提出了分校级数字化转型过程模型、基于“共建-需求-收益”的建设模型和具体实施对策,以期为基层开放教育信息化建设工作提供思路和方法。

摘要： 鉴于现有量化模型行为的研究大多数集中在结构化的过程模型层面,实际挖掘得到的业务模型多为非结构化,提出对非结构化过程模型的轨迹计数方法。整合现有结构化转换方法,最大化地计算非结构化过程模型的结构化后轨迹数,并对带同步条件的半结构化过程模型设计轨迹计数方法;对部分不能结构化的过程模型,基于完全前缀展开设计了对非自由选择结构的轨迹计数算法,包括循环和非循环两种情况;将两种方法与块结构过程模型的轨迹计数方法结合。在人工合成模型和实际的过程模型数据集上,对所提算法进行有效性测试和性能评估,实验结果表明,所提方法在其规定的作用范围内能够准确量化非结构化过程模型的行为。

摘要： 目的探索设计驱动的功能创新过程,利用该过程满足用户对不同产品意义的追求,从而提升企业产品的竞争力。方法首先,明确设计驱动功能创新的原理、特点以及实现所需的基本过程。其次,通过分析不同类型产品意义实现的方式,以及产品用户和应用场景在产品意义发掘中的作用,总结出产品意义发掘的三种模式。根据产品意义发生变化时产品功能变化的相关特点,总结出适用于设计驱动的功能创新技术。最终,形成设计驱动的功能创新过程模型。结论设计驱动的产品功能创新过程模型可以分阶段地指导设计人员进行功能的创新设计,包括如何提出新的产品意义以及如何对产品功能系统进行调整,为产品功能的创新提供了需求拉动和技术推动之外的新思路。

摘要： 云仿真平台支持“云仿真”模式,能够自动查找仿真资源、动态构建云仿真系统。由于云仿真平台具有按需构建仿真服务、多粒度资源共享等特点,云仿真系统的可信度评估工作在仿真资源的可信度、仿真子系统的可信度、仿真运行环境的可靠性等方面面临新的问题。从云仿真系统全生命周期角度,建立了云仿真系统的可信度评估过程模型和云仿真系统可信度评估指标体系,并给出了一种仿真资源排序评估方法,为云仿真系统可信度评估工作提供参考。

摘要： 自奥巴马政府宣布“大数据的研究和发展计划”以来，大数据引起了世界各国的高度关注。面对大数据带来的各种挑战，业务过程管理必将得到进一步发展。校准是事件日志中迹与过程模型之间一致性检查的重要手段,可以精确定位偏差出现位置,但已有校准方法一次只能计算一条迹与过程模型之间的校准.若计算m条迹与过程模型之间的校准,需调用m次该方法,做大量重复工作.针对这个问题,基于Petri网提出一种新的校准方法——AoPm方法,同时得到多条迹与模型之间最优校准.以一个给定完备事件日志集和过程模型为例,基于区域的过程发现算法,对事件日志中所有迹挖掘其日志模型;发现日志模型与过程模型的日志移动、模型移动和同步移动,并得到它们的乘积系统;计算乘积Petri网的可达图,得到变迁系统;最后运用A+算法及A++算法,分别得到日志中所有迹与过程模型之间的一个最优校准和所有最优校准.对AoPm方法的时间复杂度和空间复杂度进行了理论分析,与已有校准方法进行比较可知:计算m条迹与过程模型之间的最优校准时,AoPm方法计算乘积与变迁系统的次数和所占用空间都是传统方法的1/m.给出并验证了变迁系统中必定能找到日志中任意一条迹的一个校准、一个最优校准以及所有最优校准的定理,并提出了日志同步网的概念,证明了A+算法和A++算法的正确性.基于ProM平台,对AoPm方法进行了仿真实验,并与传统校准方法进行了比较分析.针对给定网上购物模型及生成日志集,实验结果表明在处理批量迹与过程模型之间校准时,AoPm方法比传统校准方法,在计算变迁系统的运行时间和占用空间上,分别有指数级和多项式级的降低.因此,AoPm方法在空间复杂度和时间复杂度方面,都优于传统校准方法.该方法突破了以往每次只对一条迹和过程模型进行校准的限制,首次实现了批量迹与模型之间的校准,提高了事件日志中迹与过程模型之间的一致性检查效率.

摘要： 铁路工程项目工期对质量、投资、健康安全有重要影响.在广泛的现场调研、问卷调查和文献阅读基础上,本文借鉴美国公路管理部门的做法,结合中国铁路工程建设的实际,提出确定铁路工程项目合理工期应该遵从“分类确定、平均先进、确保质量职业健康安全和保护环境、有利于抵御风险、合理确定建设模式和划分施工标段”5条原则,建立铁路工程项目合理工期确定过程模型,并提出了应分类建立已完铁路工程实际工期案例库的建议.

摘要： 首先分析了复杂产品研发过程的特点,明确了影响复杂产品项目进度费用风险的关键风险因子,针对复杂产品研发项目研发过程随机因素多的特点,建立了复杂产品研发项目的过程模型;该模型综合使用活动网络和依赖结构矩阵(DSM)等工具,前者比较直观,用来表示活动的顺序关系;后者可以通过多视图方法表达复杂产品研发项目活动间的信息依赖关系、时间费用参数、返工概率、返工影响系数、学习曲线、并行重叠信息、约束情况甚至更复杂的动态模型.建立复杂产品研发项目过程模型为建立复杂产品研发项目风险仿真模型奠定了基础.

摘要： 人的头脑运行着一个心智图像系统,视觉语言会显得更加有效率.但是如何给出具有说服力证据来证明可视化对于教与学的有效性,就需要教学实践研究作为基础,实践研究的基础就是首先需要了解可视化教学过程的整体概况.本文就是通过对可视化过程模型演变的描述,获得在未来可视化技术环境支持下的可视化教学过程模型.可视化教学不仅仅是一个内部认知的过程，还包括外部教学环境和教学活动的因素。可视化进程是利用可视化技术环境的优势对数据可视化，对可视化辅助过程和对学习群体、学习者认知过程实施影响，运用技术手段、环境以及相应的教学设计，增加教学过程中人与环境、人与人之间的相互作用，提高可视化的效率与效果。

摘要： 近年来,集体离职现象日益加剧,为企业带来巨大的损失和风险.传统的离职理论主要关注于个体离职模型,少有的集体离职研究也大多把员工离职视作独立事件,忽视了集体性离职可能存在的群体过程.本研究从集体离职定义和集体离职动因出发,从群体过程视角,探究群体离职过程,并基于案例分析集体离职的形成机制,提出具有多条路径的集体离职过程模型.本研究不仅会丰富集体离职过程的机制研究,也会为组织的留人机制的建设和发展提供理论依据和技术支持.

摘要： 空中交通管制员是保证空中交通安全和高效运行的重要环节,研究管制员压力产生的过程对空管系统正常运行起着关键作用.首先对管制员压力问题进行分析,总结出管制员的压力源分类及影响.基于BODY-LOOP理论采用逻辑建模语言LEADSTO(Language and Environment for Analysis of Dynamics by SimulaTiOn)建立压力产生模型;根据所建模型,实现压力产生模型的仿真.解决了复杂的压力产生过程,揭示了动态的复杂过程中各个环节的变化规律.通过形式化分析,提出了在压力产生过程中不同层次之间的逻辑关系.为研究管制员压力提供了理论依据.与传统方法对比,本方法能对动态系统仿真,在时态性和复杂程度上具有一定的优势.

摘要： 复杂仿真具有因子数量众多、类型各异、指标多样等特点,为了能够更高效的进行仿真,进行了仿真因子筛选方法的研究和辅助工具的开发.首先,提出了仿真因子筛选的过程模型,为筛选过程提供指导;然后研究了多种仿真因子筛选方法,对各方法进行了比较分析,方便实验者根据特定的实验要求,选择合适的因子筛选方法;最后,设计并实现仿真因子筛选的辅助工具,提高仿真的效率.

摘要： 本文对指挥控制系统的含义进行了概述,阐述了指挥控制系统的现状、过程模型和发展趋势,并提出面向服务体系结构技术、基于知识的战场感知技术、信息融合技术、智能辅助决策技术、敏捷自适应技术、大数据分析技术、建模仿真技术、互操作性技术等关键技术,以促进作战指挥体系的完善与能力的提升.

摘要： 文章针对目前信息化规划理论都比较抽象的特点,引入能够较为精确描述问题的目标分析方法、领域分析技术和资源管理技术等,通过结合这三种需求分析技术,提出一种辅助信息化建设规划工作的策略.该策略基本保持原有经典规划过程不变,重点是在深入研究现有信息化建设规划过程模型的基础上,提出了一种结合三种经典需求工程分析方法的信息化建设规划过程模型.该过程模型可以充分利用需求工程方法在描述问题中的某些优势,使信息系统的规划设计工作更加合理.

摘要： 功能处于进化状态,并受客观规律支配.利用专利知识挖掘抽取功能进化定律,基于功能进化定律进行产品功能进化预测,并将功能进化技术与功能设计过程融合建立功能创新过程模型,最后通过电池机械创新设计案例验证所建立模型与方法的可行性.rn 扣式电池由于其体积小，作为电子装置的电源在微型电子产品中得到了广泛的应用。电池极壳组件是扣式电池的一个重要部件，电池机壳装入密封圈的工序是电池生产中重要一步的，而能够实现此操作的机械设备是所有厂家所急需的。rn 由于扣式电池自动扣圈机在中国尚处于初级发展阶段，并且相关专利和文献中很少有专门针对扣圈机进行研究的，因此确定扣圈机的设计属于新产品的研发设计。建立扣式电池自动扣圈机的功能结构，其功能结构的进化规律应该遵循功能组织定律:功能完整性定律、功能连接性定律、功能组织协调性定律。综合以上功能进化定律对功能结构调整的指导，最终得到优化的功能结构。

摘要： 一种用于诸如减少校准时间、改进模型的精确度以及改进整个制造过程的各种目的的方法，其中通过两个不同的过程模型模拟图像的特性的偏差或通过过程模型模拟且通过量测工具测量所述特性的偏差。

摘要： 本发明提供了一种基于阶梯矩阵和过程树的过程模型修正方法，属于过程模型修正领域，基于足迹对比提出了阶梯矩阵，通过阶梯矩阵可以直接对比原始过程模型和事件日志之间的偏差，并将偏差存储在模型偏差矩阵中，根据模型偏差矩阵能精确定位偏差位置。对于在Petri网的并发结构处发生的偏差，将指定并发结构处的所有新活动收集起来，分别作为并发分支添加到原模型中进行修复。利用该方法修复后的过程模型能更加准确地反映实际的业务流程，降低了模型的复杂性。通过对某医院疾病诊断治疗数据的分析，以及与其他方法的对比和分析，例证了该修复方法的有效性和正确性，而且得到的修正模型拟合度和精确度更高。

摘要： 本发明提出一种基于可配置过程模型的过程实例集合演化管理方法，属于业务过程与信息技术领域。本发明以描述相同业务的相似过程实例集合为输入，经过过程实例合并自动生成可配置过程模型，利用该模型对过程实例集合进行统一的描述与管理。当过程实例集合发生变化时，即出现新增过程实例、删除过程实例或修改过程实例的情况时，相应的可配置过程模型会发生自动演化以适应过程实例集合的变化。本发明方法直观、简单、有效，可配置过程模型的生成具有一次性模型合并以及支持配置规则构建的特点，通过建立统一的可配置过程模型，在一定程度上解决了过程模型库中存在相似过程实例所带来的冗余度高和演化不一致等问题。

摘要： 描述并示出了一种用于在具有过程接口（2）的过程计算机（1）上在相继的时间步骤中计算混合微分代数过程模型(混合DAP，hDAP)的状态参量（

摘要： 本发明提供了一种过程控制系统的过程模型库的动态管理。一种对存储有过程模型的过程模型历史进行管理的方法，包括根据第一优先级标准和第二优先级标准来组织过程模型，其中根据与第一优先级标准和第二优先级标准有关的值的合成来表示各个过程模型。该表示可以是多维空间中的坐标值，该多维空间具有对应于第一优先级标准和第二优先级标准的维度。针对各个过程模型来计算到公共基准点的分离程度或关系，其中基准点是与第一优先级标准和第二优先级标准有关的值。可以遵从针对同一控制例程所识别的过程模型的总数和针对同一操作区域所识别的模型的总数，基于涉及基准点的分离程度或接近度，来移除过程模型或选择用于删除的过程模型。

摘要： 本发明针对CIM到PIM的自动转换问题，提出了一种基于形式化模型的业务过程模型至服务组成模型的自动模型转换方法。该转换方法，首先设计模型转换框架，在此基础上，依次进行BPMN至EPN模型转换和EPN模型至SCM模型转换。该方法实现优势在于利用形式化模型作为“桥”模型的模型转换方法即保证了业务过程模型的正确性，也保障了转换后服务组成模型的正确性，从而使得业务系统的工作流模型在不同抽象层次上保持良好的一致性。

摘要： 一种用于诸如减少校准时间、改进模型的精确度以及改进整个制造过程的各种目的的方法，其中通过两个不同的过程模型模拟图像的特性的偏差或通过过程模型模拟且通过量测工具测量所述特性的偏差。

摘要： 一种用于诸如减少校准时间、改进模型的精确度以及改进整个制造过程的各种目的的方法，其中通过两个不同的过程模型模拟图像的特性的偏差或通过过程模型模拟且通过量测工具测量所述特性的偏差。

摘要： 本发明提供了一种基于阶梯矩阵和过程树的过程模型修正方法，属于过程模型修正领域，基于足迹对比提出了阶梯矩阵，通过阶梯矩阵可以直接对比原始过程模型和事件日志之间的偏差，并将偏差存储在模型偏差矩阵中，根据模型偏差矩阵能精确定位偏差位置。对于在Petri网的并发结构处发生的偏差，将指定并发结构处的所有新活动收集起来，分别作为并发分支添加到原模型中进行修复。利用该方法修复后的过程模型能更加准确地反映实际的业务流程，降低了模型的复杂性。通过对某医院疾病诊断治疗数据的分析，以及与其他方法的对比和分析，例证了该修复方法的有效性和正确性，而且得到的修正模型拟合度和精确度更高。

摘要： 本发明提出一种基于可配置过程模型的过程实例集合演化管理方法，属于业务过程与信息技术领域。本发明以描述相同业务的相似过程实例集合为输入，经过过程实例合并自动生成可配置过程模型，利用该模型对过程实例集合进行统一的描述与管理。当过程实例集合发生变化时，即出现新增过程实例、删除过程实例或修改过程实例的情况时，相应的可配置过程模型会发生自动演化以适应过程实例集合的变化。本发明方法直观、简单、有效，可配置过程模型的生成具有一次性模型合并以及支持配置规则构建的特点，通过建立统一的可配置过程模型，在一定程度上解决了过程模型库中存在相似过程实例所带来的冗余度高和演化不一致等问题。