基于Petri网的面向公共过程的协同业务过程验证方法

如何在保护隐私性的前提下高效地验证协同业务过程的正确性,是业务过程管理领域中一个重要的研究问题。为此,提出一种基于Petri网的面向公共过程的协同业务过程正确性验证方法。首先,采用Petri网对组织的私有过程和协同业务过程进行建模;然后,基于私有过程的控制流,定义了基本块结构(包含顺序、选择、并发、循环及同步链接结构)并提出对应抽取规则集;最后,将私有过程的控制流转换为通信进程代数(ACP),利用ACP进程的等式理论证明抽取前后模型的正确性一致。通过大量实验,并与现有典型验证方法进行对比分析,结果表明:相较于现有的方法,所提方法可以在保护组织隐私性的前提下极大地提高协同业务过程正确性的验证效率。

异步通信系统的合理性检测

异步通信系统是一种并发分布式系统,由一组具有无界缓冲区的分布式组件通过异步通信构成。分析异步通信系统的核心问题是检测其合理性,即确保组成系统的分布式组件可以无错误地进行异步通信。然而,基于无界缓冲区的异步通信容易导致异步通信系统产生无穷状态空间,从而使得对无穷状态空间进行穷举分析是不可判定的。鉴于此,提出一种异步通信系统的合理性检测方法,用于分析具有无界缓冲区异步通信系统的合理性。首先,使用标号迁移系统建模分布式组件,并使用异步组合定义基于分布式组件的异步通信系统;其次,根据异步通信系统的特征,提出了三种合理性定义;然后,基于稳定性性质,提出了检测具有无界缓冲区异步通信系统合理性的充分条件;最后,使用进程分析工具实现了所提方法,实验结果表明了所提方法的有效性。

基于ROS的无接触式智能医疗垃圾桶控制系统

在《国家危险废物名录》中,医疗废物属于其中一种,医疗废物含有大量病原体和有害化学物质,具有感染性和毒性,严重影响人的生命安全。医生和病人是离医疗废物最近的一批人,他们感染的风险较高,减少他们与医疗废物的接触机会和时间是有效防护措施。为此设计制作一款能够室内巡航并自主拾取和倾倒垃圾的医疗废物处理垃圾桶,实现医疗废品处理过程的零接触,为医生和病人的生命安全拉开一条保护线。

PLA/PBS荧光复合材料的制备及性能研究

目的聚乳酸(PLA)具有良好的加工性能和生物相容性,通过加入耐热性能好的聚丁二酸丁二醇酯(PBS)可改善其力学性能和热力学性能,再加入365nm长波荧光粉和色母粒制得的复合材料使其获得荧光防伪性能与色彩性能。方法以聚乳酸为基体,利用双螺杆挤出机将PLA、PBS、荧光粉、普通色母熔融共混后挤出,得到含不同比例PBS的PLA/PBS共混材料,含不同比例荧光粉的PLA/PBS荧光复合材料,以及含不同比例色母的彩色PLA/PBS荧光复合材料,并对复合材料进行力学性能分析、热力学性能分析、红外分析、色彩性能分析、微观形貌分析等。结果通过实验得出,当PLA/PBS质量比为6/4、荧光粉质量分数为5%、色母质量分数为0.5%时综合性能最佳。结论制备了有色PLA/PBS荧光复合材料,赋予复合材料防伪的荧光性能和美观性,并且得到热力学性能有所改善的环境友好型复合材料,拓宽了PLA在3D打印领域和现代工业领域的应用。

高位肛瘘保留内外括约肌的虚挂线术

肛瘘的治疗,术后有一定程度大便失禁及复发,近几年来肛瘘手术学逐渐发展,但仍不能完全解决肛门功能损伤或复发的问题.本肛肠病中心,创新性应用虚挂线的方法,完全保留肛门内外括约肌治疗高位肛瘘,不损伤肛门直肠周围内、外括约肌,术后随访效果患者恢复良好未复发,肛门功能无异常.

合作创新网络特征对技术创新绩效的影响——以制造业为例

社会网络关系可以助力企业实现技术的飞跃式发展,创新网络中的科技资源却并非均匀分布,而是因位置而异。研究创新网络节点位置与关系特征对于企业技术创新绩效的影响有助于企业更好地利用创新网络的技术与知识链条获取管理经验与信息,提高资源利用效率与技术创新能力。利用2017—2021年135家制造业A股上市公司的专利申请数据构造平衡面板,使用负二项回归与社会网络分析法研究企业在合作创新网络中的度数中心度与网络关系强度对于技术创新绩效的影响,研究表明度数中心度与网络关系强度均对企业技术创新绩效有正向影响。

BPMN 2.0编排的形式语义和分析

BPMN 2.0编排已成为描述业务流程间交互事实上的标准.BPMN 2.0编排面向流的特征,使之会产生控制流方面的语义错误.因此,检查编排语义正确性是BPMN 2.0编排建模工具所期望具有的功能.但是,BPMN 2.0标准规约中的编排缺少形式语义及相应的分析技术,这阻碍了对BPMN 2.0编排的语义分析.提出了一种映射,用于将BPMN 2.0编排转换为工作流网,使用Petri网来形式化定义BPMN 2.0编排的语义.借助Petri网的分析技术,这种定义的语义可用来分析BPMN 2.0编排的结构和控制流方面的错误.该映射和语义分析已被实现为一种工具.实验结果表明,这种形式化可以识别BPM AI过程模型库中编排的语义错误.

基于深度学习的视觉拾球机器人研究

针对球类训练时(如乒乓球或棒球),散落在地上的球采用人工捡球的方式,费时费力的同时还会影响运动员训练的问题。设计一种新的基于深度学习的视觉识别拾球机器人,该系统使用STM32作为主控制器,采用K210图像处理模块作为主传感器,利用麦克纳姆轮作为机器人的移动部件,3D打印的三自由度的机械臂作为捡球的执行部件。软件层面主要对深度学习的目标球图像识别模型训练、麦克纳姆轮的PID控制算法、机械臂的控制等方面的描述,实现对乒乓球的自动识别、捡球、存球等功能。结果表明,所设计的机器人图像处理结果准确,机械结构合理,捡球速度较快。

数据驱动的双层次软件过程挖掘方法

为了解决软件过程数据因活动信息及案例属性的缺失而无法应用传统过程挖掘方法的问题,以软件过程数据为研究对象,提出了一种双层次的软件过程挖掘方法.在活动层,提出加权结构连接向量模型对过程日志进行向量化,通过平均活动熵来确定过程日志模糊聚类的结果,将聚类结果作为活动信息支持后续挖掘工作的开展;在过程层,以启发式关系度量为基础,针对非完全循环进行研究,提出了过程层单触发序列循环划分的日志完备性条件,并进一步给出了循环归属的度量方法.基于大量真实软件过程数据的实验结果表明了双层次的软件过程挖掘方法的可行性及正确性.

协同业务过程的建模及正确性修正

由自底向上建模方法建立的协同业务过程中通常存在不一致,故对其进行正确性分析是确保其正确实施的重要手段.现有方法大多关注正确性检测,这使得协同业务过程的正确性分析过程复杂且耗时.而正确性修正方法能够避免正确性检测方法中存在的重复检测和调整,但这方面的研究较少,不能有效地应用于协同业务过程修正.为此,基于简单路径提出一种协同业务过程正确性修正方法.首先,在考虑活动同步及异步交互情况下,将部分正确协同业务过程行为抽象为完整的简单路径,并将其合并成核;然后,利用协调映射技术将核映射为修正业务过程,通过将所有的修正业务过程并发组合建立修正协同业务过程.修正协同业务过程符合协同业务过程的实际特征,且含有修正前协同业务过程中所有完整的轨迹,也未引入隐藏轨迹,从而避免了有效性确认.最后,通过实验与现有方法进行对比分析,结果表明:相对已有工作,在考虑协同业务过程实际特征的情况下,协同业务过程正确性修正方法能够更加有效地对协同业务过程进行正确性修正.

“跟进式教育”理念下高校教学质量保障体系的探索与实践

教学质量是高校生存和发展的生命线,是衡量办学水平的重要指标,构建符合高校办学定位和人才培养目标的教学质量保障体系至关重要。常州大学根据"关注每一个个体的充分发展"的"跟进式教育"育人新模式,设计了"以学生为中心"的教学质量保障的框架,从教学质量标准系统、组织系统、过程监控系统、信息系统、评价与诊断系统、反馈与调控系统,构建了"跟进式教育"教学质量保障体系,从而推动学校人才培养质量的提升。

匹配、融合、共生:美国卓越本科工程教育产教融合的改革实践--基于工程顶峰课程的案例研究

我国产教融合长效机制尚未充分建立,产学合作双方之间的匹配与融合度有待提升。作为美国工程教育改革的先驱,哈维-穆德学院、欧林工学院致力于培养新一代工程人才。工程顶峰课程作为美国高校产学合作的一种传统形式,因其高匹配的项目合作伙伴、高支持的产学合作制度创设、高效规范的项目过程管理而卓尔不群,形成了独特的校企合作模式,对我国当前深化产教融合、推动高等工程教育改革具有一定借鉴意义。

正确性保证的私有过程建模方法

私有过程是构建协同业务过程基础,其正确与否对业务协同实施产生直接影响.为此,提出了一种逐步求精构建私有过程的方法.首先,定义私有过程,并将其控制流抽象为四种基本块,即顺序块、并发块、选择块及迭代块;然后,针对四种基本块提出各自的精化规则,并以此为基础提出了私有过程构建方法;最后,从理论上证明了通过该方法建立的私有过程具有工作流网特性且是正确的.通过对协同制造中供应链建模并与现有的、典型的方法对比分析,结果表明:相对已有的工作,本文方法能够更加有效地对私有过程进行建模.

水滴型凸肋通道内流动换热的数值模拟

通过三维数值模拟方法,研究了水滴型凸肋通道内的阻力和换热特性,并重点考察了尾缘角度对特性的影响。工况为Re=100~700,尾缘角度=25°、30°、35°和60°。结果表明:水滴型凸肋通道的流阻比圆柱型的小,换热性能比圆柱型的好,具有更好的综合性能。对于水滴型凸肋通道,尾缘角度对流阻的影响相对不明显,而对换热的影响较明显。不同Re下水滴型凸肋通道综合性能的最优解不同,当Re=400~700时,30°为最优,当Re=100~400时,60°为最优。

基于流程抽象的协同业务过程符合性验证

验证协同业务过程与领域约束的符合性是一个关键问题,但现有工作需忽视对内部流程细节的处理,从而导致组织内部流程信息暴露、符合性验证误判及验证效率低下等问题。为此,基于流程抽象提出一种针对协同业务过程与领域约束符合性验证方法。首先,利用标号迁移系统和符合性语言分别描述业务过程及领域约束;然后,基于弱轨迹等价将业务过程中含有的内部流程细节全部移除以得到抽象业务过程,并将其并发组合,得到抽象协同业务过程;最后,在协同业务过程与领域约束是否相符的问题上,利用模型验证技术进行自动验证。将针对协同业务过程符合性验证转化为对抽象协同业务过程符合性验证,从而能够有效地避免暴露组织内部流程信息、确保符合性验证结果的正确性及提高形式验证效率。为了阐述所提方法的有效性,利用实际协同业务过程集进行实验,并从分析效率上对所提方法进行评价。实验结果表明:对比现有工作,在协同业务过程与领域约束的符合性分析上,所提方法更加有效。

执着于土地的担当者——论《秦腔》中的夏天义的意义

《秦腔》是贾平凹唯一获茅盾文学奖的小说,其主人公之一的夏天义,是处于中国传统文化向现代文化过渡时期的旧文化的典型代表。在夏天义身上,充满了中国传统文化中底层农民求生存而重土地的文化特点。通过这一人物,表现了贾平凹对传统文化既眷念欣赏,又理性批判的双重文化立场。在剧烈的时代变幻面前,贾平凹选择了原生态、生活流的客观呈现式写作,同时也正是通过夏天义这一人物,表达了作家贾平凹面对传统与现代之冲突的不可言说的惶惑。

唐慧琴小说论

石家庄作家唐慧琴,先后发表小说《日头日头照着我》《牵牛花》和《拴马草》。这三部小说语言风格各不相同:从比较雅化的书面语体到乡土小说的口语语体,再到口语、书面语混杂的语体。小说语言方式和叙述方式的不断变化体现着唐慧琴创作的逐步深入。同时,在这三部小说中,唐慧琴的女性意识从不自觉甚至自我压抑的状态逐渐走向对女性意识的张扬。唐慧琴的小说创作,是当代石家庄文学谱系中承上启下的重要一环。

硫酸水解辅助高压均质法制备小麦秸秆纳米纤维素

以小麦秸秆纤维素为原料,通过硫酸水解辅助高压均质的方法,分层制备小麦秸秆纳米纤维素(CNC);分别采用马尔文纳米粒度分析仪、透射电子显微镜、原子力显微镜、傅里叶变换红外光谱仪、X射线衍射仪和热重分析仪对分层制备的小麦秸秆CNC进行表征分析。结果表明,经硫酸水解预处理、离心收集得到的上层清液纳米纤维素(CNC-SL)为纳米纤维素晶须,与原料相比,其结晶度由48.61%提高至71.87%;硫酸水解预处理、离心收集的残余纤维固体(CNC-S)经8次均质处理制备的纳米纤维素(CNCSP),其粒径分布在100~200 nm,直径约为15 nm,为高结晶度的短棒状纳米纤维素晶须,晶型为Iβ型。与原料相比,CNC-SL和CNCSP的热稳定性均下降。与硫酸水解法制备CNC相比,硫酸水解辅助高压均质法制备的CNC得率较高;与机械均质化方法相比,此方法所需均质次数明显减少。

微服务技术:体系结构、通信和挑战

微服务是一种新型架构风格,受到了工业界和学术界的广泛关注.微服务架构通过高内聚的微服务和轻量级的通信机制能有效地解决单体系统难于维护和扩展等问题.采用系统评价方法,从微服务架构、通信、挑战三方面分析和概况了该领域的最新进展和研究现状.首先系统地比较了单体架构、面向服务架构(service oriented architecture,SOA)和微服务结构;其次概述了微服务间的通信;最后讨论了微服务面临的技术挑战.

基于视觉分析的景区人流密度检测系统

随着经济的发展,人们关于物质生活的需求越来越高,更多人愿意在空闲时间前往旅游景点放松身心,但是如何在观光的同时避免意外的发生,成为了许多旅游景点所要考虑的问题。为了解决这一问题,本文提出了基于视觉数据对景区人流密度进行分析的方法。