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 ar...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.展开更多
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 c...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 (<em>i.e</em>. the model will be subjected to experimentation in order to have different scenario).展开更多
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 result...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.展开更多
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 o...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）.展开更多
近年来,业务流程的精确管理受到越来越多的关注,作为业务流程管理内容之一的一致性检查技术正变得越来越重要。现有的一致性检查技术主要从模型的控制流角度出发,并未考虑业务流程中的数据或数据的变化对业务流程产生的影响,为此提出了...近年来,业务流程的精确管理受到越来越多的关注,作为业务流程管理内容之一的一致性检查技术正变得越来越重要。现有的一致性检查技术主要从模型的控制流角度出发,并未考虑业务流程中的数据或数据的变化对业务流程产生的影响,为此提出了一种基于数据影响的业务流程一致性检查方法。首先,通过业务流程建模符号(business process modeling notation,BPMN)模型中数据和行为之间的依赖关系来分析数据对偏差活动预期行为的影响,进而获取偏差活动的预期行为集;其次,通过在BPMN模型中引入决策模型和符号(decision model and notation,DMN)决策表来充分捕获当前实例执行的数据上下文与行为上下文之间的关系,以区分有效数据更改和异常数据更改,找到偏差活动的有效预期行为集。最后,通过设计数据对偏差活动影响的各类成本函数提出了有效一致性检查方法。实验结果表明,相比已有工作,该方法在进行业务流程一致性检查时提高了业务流程的一致性,可以成功捕获偏差活动作出反应的适应行为,使得业务流程在复杂多变的环境下表现得更加准确、合理。展开更多
文摘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.
文摘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 (<em>i.e</em>. the model will be subjected to experimentation in order to have different scenario).
文摘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.
基金supported by the Shanghai Leading Academic Discipline Project (Grant No.J50103)
文摘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）.
文摘近年来,业务流程的精确管理受到越来越多的关注,作为业务流程管理内容之一的一致性检查技术正变得越来越重要。现有的一致性检查技术主要从模型的控制流角度出发,并未考虑业务流程中的数据或数据的变化对业务流程产生的影响,为此提出了一种基于数据影响的业务流程一致性检查方法。首先,通过业务流程建模符号(business process modeling notation,BPMN)模型中数据和行为之间的依赖关系来分析数据对偏差活动预期行为的影响,进而获取偏差活动的预期行为集;其次,通过在BPMN模型中引入决策模型和符号(decision model and notation,DMN)决策表来充分捕获当前实例执行的数据上下文与行为上下文之间的关系,以区分有效数据更改和异常数据更改,找到偏差活动的有效预期行为集。最后,通过设计数据对偏差活动影响的各类成本函数提出了有效一致性检查方法。实验结果表明,相比已有工作,该方法在进行业务流程一致性检查时提高了业务流程的一致性,可以成功捕获偏差活动作出反应的适应行为,使得业务流程在复杂多变的环境下表现得更加准确、合理。
