An Example of Machine Vision Applied in Printing Quality Checking——Research on the Checking of Printing Quality by Image Processing

The traditional printing checking method always uses printing control strips,but the results are not very well in repeatability and stability. In this paper,the checking methods for printing quality basing on image are taken as research objects. On the base of the traditional checking methods of printing quality,combining the method and theory of digital image processing with printing theory in the new domain of image quality checking,it constitute the checking system of printing quality by image processing,and expound the theory design and the model of this system. This is an application of machine vision. It uses the high resolution industrial CCD(Charge Coupled Device) colorful camera. It can display the real-time photographs on the monitor,and input the video signal to the image gathering card,and then the image data transmits through the computer PCI bus to the memory. At the same time,the system carries on processing and data analysis. This method is proved by experiments. The experiments are mainly about the data conversion of image and ink limit show of printing.

Development of a Model for International Traveler’s Check-In Process Using Arena Software Tool

The increasing demand for airline services amidst limited resources results in passenger dissatisfaction and dwindling revenue for airports and airlines. The dynamics of service demand and resource supply results in check-in issues for the stakeholders in the commercial aviation industry. This has the effect of impacting negatively on service performance, cost of operations, customer satisfaction, and overall throughput. Hence, this paper modelled the travelers’ check-in process at the “D Wing” of the Departure Section of Murtala Muhammed International Airport (MMIA), Ikeja, using Arena Software Tool. The work was carried out by determining the parameters of the queues at designated service points in the check-in process. The primary data required to develop the model were acquired by direct observation of passenger flow and oral interview. Thus, the average check-in time was determined. Thereafter, a model of the international check-in system of the MMIA was developed using Arena software in combination with Microsoft Office tools. The data collected were therefore inputted into the model and simulated;the real result was compared with the simulation result of 133 completions and there was no significant difference. The result showed that the model is a representation of the real system under study. Further work will be tailored towards simulation (i.e. the model will be subjected to experimentation in order to have different scenario).

Simulation of a Model for International Traveler’s Check-In Process Using Arena Software Tool

With the current situation of insecurity in Nigeria and the worsening condition of Nigerian roads, there is increasing demand for air travel. This increasing demand for airline services amidst limited resources results in passenger dissatisfaction and reduction of revenue for airports and airlines. The dynamics of service demand and resource supply result in check-in issues for all the stakeholders in the commercial aviation industry. Hence, this research simulated the developed model for travelers’ check-in process at the “D Wing” of the Departure Section of Murtala Muhammed International Airport (MMIA), Ikeja, using Arena Software Tool. The simulation of the developed model was carried out by varying five different configurations of the servers with respect to the baggage weighing machines and passenger profiling devices to obtain the minimum average check-in time (ACT) for the process, with each configuration undergoing 133 completions of simulation runs. The result of the experimentation revealed that the 3 × 3 × 4 configuration of servers produced the smallest ACT of 18.25 minutes. This translates to a difference of about 58 minutes from the 76.16 minutes ACT of the real system;representing about 76% improvement in the check-in time of passengers. This study contributed to knowledge by revealing that the main choke points in the MMIA check-in system occur at the baggage weighing and passenger profiling areas as against the check-in counter sub-section as advanced by previous works. Furthermore, the research added value to knowledge by creating a balance between customer satisfaction and cost of operations thereby accommodating the interests of the passenger and the operator who are the two main stakeholders in the commercial aviation industry.

Model checking web services choreography in process analysis toolkit

Web service （WS） is an emerging software technology, especially acting an important role in cloud computing. The WS choreography description language （WS-CDL） is the standard for modeling the observable behavior of WS composition across multiple participants from a global point of view. However, it lacks of a formal semantics and could easily lead to misunderstanding and different implementations. In this paper, the WS-CDL based specifications are formally extracted in a communicating sequential process supporting a formal approach to checking WS models. In addition, formalisms and model checking are explicitly illustrated through a simple but non-trivial example with the help of model checker process analysis toolkit （PAT）.

智能化手术安全核查流程的设计与应用

目的构建智能化手术安全核查流程,探讨其应用效果。方法将2023年8-10月的11204例手术设为改进前组,采用常规手术安全核查方式;2023年11月至2024年1月的11012例手术设为改进后组,采用智能化手术安全核查系统,实现手术安全核查执行情况的全流程闭环管理。结果流程改进后,手术安全核查的规范执行率显著高于改进前,护理安全隐患事件发生率显著低于改进前(均P<0.05)。结论智能化手术安全核查的构建与实施,能有效提升手术安全核查的规范率,减少护理安全隐患事件发生率,保障手术患者安全。

A Spell Checking Web Service API for Smart City Communication Platforms

The Internet of Things becomes Internet of Everything when in the process of communication machine-to-machine also intelligent forms of communication between human and machine are involved. Cities can be viewed as a microcosm of this interconnected system where ICT and emerging technologies can be enabling factors to transform cities in Smart Cities. Cities can take great advantage by using information intelligence to achieve important public-policy goals and, in particular, by enabling network communication channels between citizens and public administrators in order to provide information and online services in real time through platform systems rather than by means of humans, using Artificial Intelligence and Natural Language Processing techniques. This work was the first step of a wider project aimed at providing a Spell Checking Web Service API for Smart City communication platforms able to automatically select, among the large availability of open source spell checking tools, the most suitable tool based on the semantic structure of the specific textual data. The system should manage an enhanced Italian Vocabulary Database, specifically implemented to support all the tools of the system. The goal of the present work was to test, through an experimental research, the feasibility of the entire project by implementing a Spell Checking Prototype System designed to manage two selected spell checking tools. Results showed that the Spell Checking Prototype System significantly improves performances by allowing the user to select the most suitable tool for the specific semantic structure of the text. The system also enables to manage the list of exceptions, which continuously enhance the Italian Vocabulary Database. The experimentation proved scientific evidence of the validity of the project aimed at implementing a Spell Checking Web Service API in order to improve the quality of natural language data to be stored or processed in Smart City NCeSDP systems, through the use of existing spell checking tools.

基于多队列的机场旅客安检流程仿真研究

为改善机场旅客安检现状,在不改变安检物理格局的前提下,结合排队论提出6种安检验证服务台的排队方式。根据某机场的安检布局及空间尺寸,在以社会力模型为基础的AnyLogic软件中,构建机场旅客安检流程模型。按照低、中、高峰时段的旅客到达率402、623、802人/h对6种排队方式进行仿真,得到安检总时间、平均单队列人数、旅客平均等待时间和安检平均服务时间4个性能指标用来衡量安检效率,发现1对1型且验证服务台远离安检通道的排队方式表现效果更好。再对比验证服务台远离安检通道1~20 m,每隔1 m放置时的性能指标,结果表明:1对1型且验证服务台远离安检通道20 m,队列为S形的排队方式更适用于目前机场旅客安检的需求。

基于自然语言处理的临床医学检查危急值自动识别平台的设计与应用

目的:面对人工式检查检验危急值管理存在的效率低、易出错等痛点,借助自然语言处理技术进一步提升危急值识别率,减少人工差错。方法:采用自然语言分词的方法,利用Jieba中文分词工具,创新利用正反双向规则库,与相关系统进行集成,构建了一个具备检查检验危急值处理等功能的危急值自动识别平台。结果:该平台使得危急值报告上报率达到了100%,显著提高了危急值的识别效率,减少了危急值上报遗漏,进一步提升了医疗安全质量。结论:自然语言处理技术可有效应用于检查检验危急值自动识别和提示,对于辅助临床危急值管理识别具有积极作用。

The Remote Product Check and Acceptance Technology Based on Web

This paper analyzes the feasibility of the remote check and acceptance of product and presents an architecture through which the remote product check and acceptance system can be realized. This paper also illuminates the work process of this system and discusses the technological details of the quality inspection as well as the key technologies.

面向流程偏差根因分析的港口物流流程挖掘方法及应用

港口物流是一种高度以人为中心、复杂灵活的业务流程。现有研究对其进行流程挖掘时,存在自动发现流程模型质量低的问题,同时缺少对于流程偏差进行系统化根因分析的支持,使港口流程偏差分析能力较弱。针对这一问题,提出一种面向流程偏差根因分析的港口物流流程挖掘方法。该方法基于事件日志进行港口物流活动统计实现流程绩效分析,使用Split Miner和Inductive Miner发现实际流程模型,并使用对齐方法识别流程偏差,接着结合分类决策树和桑基图对流程偏差进行根因分析。通过在某大型港口物流提货流程进行实际应用,结果表明,应用该方法能发现实际执行流程的更多细节来为流程偏差根因分析提供支持,并可以对流程偏差进行系统化的根因分析。该方法强化了港口物流流程偏差分析能力,进而降低了港口物流管理风险。

圆弧抽芯注塑模具优化设计

基于圆弧抽芯注塑模具,根据塑件结构及材料性能特点,对浇口的位置及结构进行了优化设计,通过CAE模拟分析得到位于填充末端、最大壁厚处的塑件最大变形量为0.739 mm,变形量在设计允许范围内。以油缸作为驱动动力源,通过齿条驱动齿轮、内齿轮旋转,实现抽芯动作;将内齿轮设计为异形非标齿轮,减少了所占空间,实现了1模2腔布局。为解决圆弧型芯冷却水路难以加工的问题,设计的加工工序为先按照直型芯进行粗加工,钻孔加工型芯冷却水路,然后,将型芯加热弯曲为所需形状,并进行调质处理,最后对型芯进行精加工使其满足设计要求,达到了随形冷却效果。传动机构关键参数采用理论计算与CAE模拟分析相结合的法验证,测试结果表明,计算校核效率提高了约4倍。

预检-挂号一体化信息系统在改进急诊科就诊流程及提升患者就诊体验中的作用分析

目的探讨分析预检-挂号一体化信息系统在改进急诊科就诊流程及提升患者就诊体验中的作用。方法选取2022年1月至12月浙江大学医学院附属儿童医院收治的100例急诊患者,为对照组,实施传统就诊模式,即预检与挂号分开进行;选取2023年1月至12月医院收治的100例急诊患者,为观察组,实施预检-挂号一体化就诊模式。对比两组患者分诊时间、分诊准确率、候诊时间、医务人员满意度及患者满意度。结果观察组分诊时间短于对照组,分诊准确率高于对照组,差异有统计学意义(P<0.05)。观察组总候诊时间较对照组短,差异有统计学意义(P<0.05)。观察组医护人员各条目及总分满意度评分均高于对照组,且差异有统计学意义(P<0.05)。观察组患者各条目评分及满意度总分均高于对照组,差异有统计学意义(P<0.05)。结论预检-挂号一体化信息系统可改进急诊科就诊流程,缩短分诊及候诊时间,提高分诊准确率,并可有效提升医务人员及患者的就诊满意度。

基于数据影响的业务流程一致性检查方法

近年来,业务流程的精确管理受到越来越多的关注,作为业务流程管理内容之一的一致性检查技术正变得越来越重要。现有的一致性检查技术主要从模型的控制流角度出发,并未考虑业务流程中的数据或数据的变化对业务流程产生的影响,为此提出了一种基于数据影响的业务流程一致性检查方法。首先,通过业务流程建模符号(business process modeling notation,BPMN)模型中数据和行为之间的依赖关系来分析数据对偏差活动预期行为的影响,进而获取偏差活动的预期行为集;其次,通过在BPMN模型中引入决策模型和符号(decision model and notation,DMN)决策表来充分捕获当前实例执行的数据上下文与行为上下文之间的关系,以区分有效数据更改和异常数据更改,找到偏差活动的有效预期行为集。最后,通过设计数据对偏差活动影响的各类成本函数提出了有效一致性检查方法。实验结果表明,相比已有工作,该方法在进行业务流程一致性检查时提高了业务流程的一致性,可以成功捕获偏差活动作出反应的适应行为,使得业务流程在复杂多变的环境下表现得更加准确、合理。

基于活动次序决策树的业务过程合规性检查方法

针对现有方法判断轨迹合规情况效率较低的问题,提出了一种基于活动次序决策树检查业务过程合规性的方法,并对该树进行剪枝处理以提高检测效率。首先,访问事件日志中完全拟合的轨迹,按照活动次序分别记录下每个活动的可取值,构建一棵以活动次序为属性的决策树;然后,为了减小决策树的结构规模提高判断效率,在尽量保证准确率的同时,对决策树进行剪枝,并对测试集中轨迹的拟合情况进行判断;最后,分别以地震应急流程及真实事件案例为数据集进行仿真实验。相较基于字符串距离度量方法和经典对齐方法,该算法显著提高了业务过程合规性检查效率,基于真实事件案例实验结果,进一步说明了该方法在进行业务过程合规性检查时的可行性和优越性。

《中药调剂职业教育规范》解读(一)

《中药调剂职业教育规范》(SCM 72-2022,以下简称《规范》)是全球范围首个关于中药调剂职业教育的国际组织标准,是中医药服务能力建设的重要依据和参考,旨在促进中药调剂工作的规范化、标准化。中药饮片调剂是《规范》中的一个规范性职业教育模块,包括调剂基础知识和调剂实践技能,其中中药饮片调整实践技能涵盖了中药饮片性状辨识、临方炮制、处方应付、调剂供应、处方审核、汤剂煎煮、发药交代、采购验收以及贮存养护等9项中药调剂关键技术,是中药调剂的重要组成部分,也是实现中医临床诊疗效果的重要环节。本研究通过分析中药饮片调剂过程中常见的问题,对中药饮片处方审核技术、中药饮片临方炮制技术、中药饮片处方应付技术与中药饮片发药交代技术进行解读,以方便中药调剂从业人员及时准确掌握和应用《规范》的相关内容,提高中药调剂从业人员的专业素养和技能水平,推进全球范围内中药调剂规范化建设,保障中药饮片调剂质量,进而保障患者的用药安全。

基于流程模型分解的分布式合规性检查方法

合规性检查是流程挖掘领域的一项重要任务,旨在发现业务流程日志行为和模型行为之间的差异和共性。对齐(Alignment)是当前合规性检查的标准技术之一,能精确定位日志行为和模型行为之间的偏差。然而,随着事件日志规模和复杂程度的增长,对齐通常非常耗时且难以在合理的时间内返回结果。为此,提出一种基于流程模型分解的分布式合规性检查方法,首先,将各类流程模型统一转换为流程树模型,并利用流程树的结构特性将流程树分解为子树,以减少对齐方法的搜索空间;其次,在分布式平台Spark上计算轨迹和子模型的最优对齐,从而加快对齐的计算;最后,通过多个日志进行实验对比。所提方法均已在PM4PY和Spark分布式环境中实现,并且可以作为一种框架与其他合规性检查方法结合使用。通过公开日志数据集将所提方法与已有基于A*的对齐方法和托肯重演方法进行对比,实验结果表明所提方法可以提高业务流程合规性检查的计算效率。

基于FME的国土变更建库数据检查与处理工具

针对全国国土变更调查整合建库数据修改费时费力的问题,本文基于要素操纵引擎(FME)设计并搭建了一种自动化检查与批量处理的工具,依照国土变更调查整合建库要求,对图斑存在的几何及属性错误进行检查并自动化批量处理。以广东省某县2022年度国土变更调查项目数据对工具进行测试,结果表明,该工具实现了自动化、批量化错误识别与处理,减少了人工逐图斑修改的工作量,能够极大提升整合建库的工作效率。

基于PDCA模式下案例教学在神经外科规培医生教学中的价值

目的探讨分析基于计划—执行—检查—处理(PDCA)模式下案例教学(CBL)在神经外科规培医生教学中的价值。方法选择2021年2月—2023年3月将40名在本院神经外科接受规范化培训的医生作为研究对象,按照规培时间顺序分为对照组(2021年2月—2022年2月)和观察组(2022年3月—2023年3月)两组,对照组18名,观察组22名。对照组采用常规教学方法,观察组采用基于PDCA模式下的CBL教学。应用试卷考核两组规培医生知识掌握情况,观察并统计规培医生学习积极性相关指标,且使用自拟调查表评估教学效果以及教学满意度。结果观察组规培医生的理论知识成绩、临床操作技能成绩以及总分均明显高于对照组,差异有统计学意义(P<0.05);观察组规培医生的提问次数与讨论发言次数明显多于对照组,且查阅资料时间与自学时间长于对照组,差异有统计学意义(P<0.05);观察组规培医生的提高自学能力、提高实践能力以及专业知识掌握的人数均高于对照组,差异有统计学意义(P<0.05);观察组规培医生的满意度(95.45%)高于对照组(72.22%),差异有统计学意义(P<0.05)。结论对神经外科医生进行规范培训,与采用常规教学方法相比,使用基于PDCA模式下的CBL教学有效提高培训医生知识掌握程度与学习积极性,整体教学效果较好,满意度较高。

插装式溢流阀校验用接头设计

结合插装式溢流阀结构特点、使用工况以及安全阀校验装置特点,根据校验用规程和标准要求,设计了一种插装式溢流阀校验用接头。采用插装式溢流阀和校验装置对接头进行性能检测。结果表明:该接头满足校验工艺要求,并能精准校验插装式溢流阀的整定压力和密封性。

大语言模型驱动的立场感知事实核查

为解决事实核查领域的证据立场不平衡和忽略立场信息的问题,提出一种大语言模型(LLM)驱动的立场感知事实核查(LLM-SA)方法。首先,使用LLM推理并生成一系列与原始声明立场不同的辩证声明,使事实核查任务能够获取不同立场的视角;其次,通过语义相似度计算衡量每个证据句子与原始声明及辩证声明之间的相关性,并从证据句子中分别选择与两者语义上最相近的k个句子,作为支持或反对原始声明的证据,从而获得代表不同立场的证据,有助于事实核查模型综合多角度的信息,更准确地评估声明的真实性;最后,引入BERT-StuSE(Bidirectional Encoder Representations from Transformers-based Stance-infused Semantic Encoding network)模型,利用多头注意力机制充分融合证据的语义和立场信息,并更全面、客观地判断声明和证据的关系。在CHEF数据集上的实验结果表明,与BERT方法相比,所提方法在测试集上的Micro F1值和Macro F1值分别提高了3.52、3.90个百分点,达到较好的水平。验证了所提方法的有效性,以及考虑不同立场的证据和充分利用证据的立场信息对事实核查的性能提升具有重要意义。