CN107203871B - Marine equipment verification system based on Activiti and task scheduling optimization - Google Patents

Marine equipment verification system based on Activiti and task scheduling optimization Download PDF

Info

Publication number
CN107203871B
CN107203871B CN201710379894.3A CN201710379894A CN107203871B CN 107203871 B CN107203871 B CN 107203871B CN 201710379894 A CN201710379894 A CN 201710379894A CN 107203871 B CN107203871 B CN 107203871B
Authority
CN
China
Prior art keywords
certificate
verification
task
instrument
module
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
CN201710379894.3A
Other languages
Chinese (zh)
Other versions
CN107203871A (en
Inventor
黄冬梅
张腾飞
梅海彬
张晓桐
李瑶
李明慧
杨海鑫
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Shanghai Ocean University
Original Assignee
Shanghai Ocean University
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Shanghai Ocean University filed Critical Shanghai Ocean University
Priority to CN201710379894.3A priority Critical patent/CN107203871B/en
Publication of CN107203871A publication Critical patent/CN107203871A/en
Application granted granted Critical
Publication of CN107203871B publication Critical patent/CN107203871B/en
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/10—Office automation; Time management
    • G06Q10/103—Workflow collaboration or project management

Landscapes

  • Business, Economics & Management (AREA)
  • Human Resources & Organizations (AREA)
  • Strategic Management (AREA)
  • Engineering & Computer Science (AREA)
  • Entrepreneurship & Innovation (AREA)
  • Operations Research (AREA)
  • Economics (AREA)
  • Marketing (AREA)
  • Data Mining & Analysis (AREA)
  • Quality & Reliability (AREA)
  • Tourism & Hospitality (AREA)
  • Physics & Mathematics (AREA)
  • General Business, Economics & Management (AREA)
  • General Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

The invention relates to a marine equipment verification system based on activit and task scheduling optimization, which comprises an equipment verification module and a certificate circulation module, wherein the equipment verification module comprises an instrument receiving and registering module, an instrument distributing module, an instrument verification module and a receiving and sending instrument module, and the certificate circulation module comprises a certificate issuing module, a certificate auditing module, a certificate authorizing module, a certificate printing and stamping module and a certificate issuing module. The method has the advantages that the verification process management is systematized, normalized and streamlined, and the service state can be tracked in real time; the task scheduling strategy is used for distributing instruments and verifying the instruments, so that the working efficiency is improved, and the working time is reduced; and the Activiti engine is utilized to visualize the process and improve the cooperation of related business personnel.

Description

Marine equipment verification system based on Activiti and task scheduling optimization
Technical Field
The invention relates to the technical field of equipment verification, in particular to an ocean equipment verification system based on Acitiviti and task scheduling optimization.
Background
The ocean equipment is an essential important link in the development of ocean scientific research, ocean investigation, ocean monitoring and other works, and the quality and the measurement accuracy of the ocean equipment directly influence the quality of the works. The work of verification and calibration of marine equipment and the like has become one of the most basic business works of the national marine bureau standard metering center.
However, according to actual research, the following three problems mainly exist in the current verification business: 1) usually, the verification work of the marine equipment needs the participation of a plurality of laboratories and related personnel, the verification process is complex, and the current management on the verification process basically stays in the traditional management mode of manual registration or platform account establishment, so that the standardization and informatization degrees are low, and the completion state of the business is difficult to track. 2) In the development process, the traditional hard coding mode cannot meet the flexible change of the flow requirements, and the model and the implementation model have great difference. 3) The actual business quantity is large, multiple laboratories and multiple executive personnel are needed to participate, and efficient scheduling strategies are lacked in tasks. The workflow technology can abstract the actual sample verification business processing flow into a workflow model by using mathematics and computer knowledge, and is an effective way for solving the problem of complex flow processing. Therefore, it is necessary to establish a marine equipment verification system based on workflow technology and task scheduling mechanism for the national marine bureau standards and metering centers.
Chinese patent application No. cn201510680361.x, published as 2017.04.26, discloses a task scheduling optimization method, including a task manager deleting all task requirements of non-schedulable and non-effective schedules in an arrival task chain table and a waiting task chain table, at time t, judging whether a task in the node processor is completed and finding out a scheduling target task, finding out all processing nodes capable of processing the scheduling target task and determining candidate processing nodes, where the scheduling task corresponding to the target processing node is handed to the local scheduler for scheduling. The method can reduce the average time load rate of global system scheduling and the task rejection rate of target processor node local scheduling, and improve the efficiency of the motor control system. However, the method cannot enable the marine equipment verification system to simultaneously process scheduling of tasks such as distribution, recovery and verification, and the scheduling efficiency of the method is low.
Therefore, a marine equipment verification system capable of visualizing and processing the business, supporting the mutual cooperation of the related personnel of each process business, and effectively performing dynamic scheduling according to the degree of urgency of the task is needed, but no report is found about the system at present.
Disclosure of Invention
The invention aims to provide a marine equipment verification system based on Activiti and task scheduling optimization aiming at the defects in the prior art.
In order to achieve the purpose, the invention adopts the technical scheme that:
the utility model provides a marine equipment verification system based on Activiti and task scheduling optimization, marine equipment verification system includes equipment verification module, certificate circulation module, equipment verification module include that the instrument receives registration module, instrument distribution module, instrument verification module, send-receiver instrument module, certificate circulation module including issuing certificate module, certificate audit module, certificate authorization module, certificate print module of stamping, issue certificate module, marine equipment verification system's working procedure do:
s01: the instrument receives the registration;
s02: distributing the instruments;
s03: calibrating an instrument;
s04: transceiver instrument
S05: issuing a certificate;
s06: verifying the certificate;
s07: certificate authorization;
s08: printing and sealing the certificate;
s09: issuing a certificate;
the work flow engine of the marine equipment verification system is an Activiti engine, and the instrument distribution module and the instrument verification module perform task allocation by utilizing an EDF-PACO algorithm.
As a preferred technical scheme, the marine equipment verification system based on activit and task scheduling optimization comprises the following specific working steps:
s01: instrument acceptance enrollment
An operator registers an instrument to be calibrated in the system, and records the model number and the registration time of the instrument;
s02: instrument dispensing
The system carries out task scheduling according to the degree of urgency of the task distributed by the instrument, processes the task scheduling by utilizing an EDF-PACO algorithm and distributes the instrument to a corresponding verification department;
s03: instrumental verification
After receiving the task of instrument verification, the verification department carries out task scheduling according to the severity of the instrument verification task, processes the task scheduling by utilizing an EDF-PACO algorithm, and verifies the instrument in sequence according to the processing result;
s04: transceiver instrument
After the instrument is calibrated by the calibration department, feeding back the calibrated information to the system; the system searches and judges whether all the instruments are completely calibrated, if not, the steps S02-S03 are repeated, and if so, the step S05 is carried out;
s05: issuing certificate
After all instruments are calibrated, an operator issues a calibration certificate;
s06: certificate auditing
The system checks the verification certificate, if the verification is not passed, the step S05 is returned, and the verification certificate is issued again; if the verification is passed, the step S07 is entered;
s07: certificate authorization
The system authorizes the approved certificate, if the certificate does not pass the authorization, the step S05 is returned, and the certificate is issued again; if the authorization is passed, go to step S08;
s08: certificate printing seal
The system prints and seals the authorized certificate, if the certificate has a problem, the step returns to step S05, and the certificate is issued again; if it is correct, go to step S09;
s09: issuing certificates
The system issues the certificate after printing and stamping.
As a preferred technical scheme, the construction steps of the marine equipment verification system based on activit and task scheduling optimization are as follows:
a01: analyzing business processes
The method comprises the steps of carrying out business process analysis on marine equipment verification business, wherein the marine equipment verification business mainly comprises a sample verification process and certificate circulation, the sample verification process comprises newly-built sample verification, sample distribution, instrument verification, transceiving instrument and instrument return, when the sample verification is finished and the transceiving chamber is returned, a verification worker issues a sample certificate according to a verification project, and the certificate circulation process comprises the steps of issuing a sample certificate, certificate audit, certificate authorization, printing and stamping and issuing a certificate; through the analysis of the business process, the information and the participators of each activity link of the process are designed by using a process designer according to the BPMN2.0 specification, so that the business logic is executed on an application program.
A02: business process modeling
The business process is modeled by using a drawing mode, an eclipse drawing tool automatically converts the model into an XML file and a BPMN file, and the XML file is analyzed by an Activiti engine.
A03: deploying
And deploying the business process modeling result, namely deploying the BPMN file, wherein the deployment process is shown in the figure, the imported file during deployment can be a bar file, an xml file or a Zip file, and the file packaging can be automatically completed by using an Ant script.
A04: integration
Integrating the acitviti and the Spring, in the process of processing the integration of the acitviti and the Spring, in order to uniformly manage objects, the Spring processes the instantiation of the process, and adds a process engine configuration bean of the acitviti and related service bean configuration into an application context xml configuration file.
A05: development of
The system adopts a B/S architecture, the IntelliJ IDEA is used as a development platform, a Web architecture combining Struts2+ Spring + Hibernate is selected, a jQuery framework is adopted on a front-end page, and a simple and friendly user interface is realized by combining development technologies such as HTML5, CSS3 and KendoUI.
As a preferred technical scheme, the steps of the EDF-PACO algorithm are shown as follows, wherein the ant colony scale is Na, and the total task set scale to be currently scheduled is NsThe maximum iteration is here TmaxThe number of activities to be scheduled is M, the number of executors is N:
b01: updating the task set Ar of the total task set to be scheduled according to the earliest deadline algorithms
Setting the current task set as Ars，Ars＝{T1,T2,…,TnTask TiIs the latest execution time of eiTask TiHas a period of PiTask TiHas a deadline of diThen if and only if
Figure BDA0001304921870000041
When, the calculation formula (1) holds, ArsCan be scheduled without occupying the EDF scheduling algorithm,
Figure BDA0001304921870000042
wherein the content of the first and second substances,
Figure BDA0001304921870000043
b02: taking the waiting time for reducing the current task as a main construction factor of the pheromone, initializing information such as the pheromone of each ant and setting related parameters;
b021: prioritizing tasks to be processed
Setting the number of activities to be scheduled as M, carrying out priority classification on M tasks to be processed by using an EDF algorithm according to the sequence that the priorities I, II, III, IV and V are sequentially reduced, and setting the time from the latest deadline as L, wherein the classification standard of each stage is L/5, I is 0-delta, II is delta-2 delta, III is 2 delta-3 delta, IV is 3 delta-4 delta, and V is more than or equal to 4 delta;
b022: calculating verification task waiting time
Set the current grouping task set as GuMaximum difficulty of execution gxuThe execution difficulty of the current task i is xiThe waiting time of the current verification task is GWTuThe calculation formula is shown as (2);
Figure BDA0001304921870000051
b023: calculating the sum of delay costs
Set current task set GuThe number is { a1,a2,…,amCalculating the sum of delay costs as c, wherein the calculation formula is shown in (3);
Figure BDA0001304921870000052
b024: selecting pending tasks
Selecting task to be processed by ant, guiding ant to move in direction of reducing current waiting time and reducing sum of delay cost of current task set, setting current task group GuThe task set obtained after adding the task set j is Gu', then task set GuAnd task set Gu' time difference is Deltatu,jCorrected time difference is etau,jThe calculation formulas are respectively shown as (4) and (5);
Δtu,j＝GWTu-GWTu′ (4)
Figure BDA0001304921870000053
b03: each ant starts to search;
b04: all ants complete the first search;
b05: each ant selects an active instance from the candidate list according to the guidance of the pheromone and heuristic information, and then updates part of the pheromone;
when an activity joins the current group GuLater, there may be other paths that need to be updated with the current packet GuThe value of the relevant partial pheromone is calculated as shown in (6) by ρ (0)<Rho is less than or equal to 1) is the volatilization rate of partial pheromone,
Figure BDA0001304921870000054
representing the volatilization of the original pheromone; tau is0Is an initial pheromone;
Figure BDA0001304921870000061
b06: maintaining Ar according to a reserve set update policys；
B07: updating all pheromones;
the calculation formulas of the updating to all pheromones are shown as (7) and (8), wherein gamma is the volatilization rate of all pheromones
Figure BDA0001304921870000062
Representing the volatilization of the original pheromone, qkTo adjust the parameters, fk(S') is the objective function value of the feasible solution S in the optimization,
Figure BDA0001304921870000063
is the current reserve set ArsAnd (4) a set consisting of the optimal solution and the suboptimal solution on the k-th optimization target.
Figure BDA0001304921870000064
Figure BDA0001304921870000065
B08: updating task set Ar according to earliest deadline algorithms；
B09: judging whether a termination condition is reached, if the termination condition is reached, entering the step B10, and if the termination condition is not reached, repeating the steps B02-B09;
b10: output and task set ArsAnd (4) corresponding optimal scheduling scheme set.
The invention has the advantages that:
1. the verification process management is systematized, normalized and streamlined, and can track the service state in real time;
2. the EDF-PACO algorithm is utilized to carry out dynamic task scheduling on instrument distribution and instrument verification, so that the working efficiency is improved, and the working time is reduced;
3. and the Activiti engine is utilized to visualize the process and improve the cooperation of related business personnel.
Drawings
FIG. 1 is a structure diagram of a marine equipment verification system based on Activiti and task scheduling optimization.
FIG. 2 is a flow chart of a marine equipment verification system based on Activiti and task scheduling optimization.
Fig. 3 is a flow chart of marine equipment verification business.
Fig. 4 is a schematic diagram of the deployment process.
FIG. 5 is an architecture diagram of a marine plant verification system based on Activiti and task scheduling optimization.
Detailed Description
The following detailed description of the present invention will be made with reference to the accompanying drawings.
Example 1
Referring to fig. 1, fig. 1 is a structural diagram of a marine equipment verification system based on activit and task scheduling optimization. The invention relates to a marine equipment verification system based on Activiti and task scheduling optimization, which comprises an equipment verification module and a certificate circulation module, wherein the equipment verification module comprises an instrument receiving and registering module, an instrument distributing module, an instrument verification module and a receiving and sending instrument module, the certificate circulation module comprises a certificate issuing module, a certificate checking module, a certificate authorization module, a certificate printing and stamping module and a certificate issuing module, and the marine equipment verification system comprises the following working steps:
s01: the instrument receives the registration;
s02: distributing the instruments;
s03: calibrating an instrument;
s04: transceiver instrument
S05: issuing a certificate;
s06: verifying the certificate;
s07: certificate authorization;
s08: printing and sealing the certificate;
s09: issuing a certificate;
the work flow engine of the marine equipment verification system is an Activiti engine, and the instrument distribution module and the instrument verification module perform task allocation by utilizing an EDF-PACO algorithm.
Example 2
Referring to fig. 2, fig. 2 is a flowchart of a marine equipment verification system based on activit and task scheduling optimization. The invention relates to a marine equipment verification system based on Activiti and task scheduling optimization, which comprises the following specific working steps:
s01: instrument acceptance enrollment
An operator registers an instrument to be calibrated in the system, and records the model number and the registration time of the instrument;
s02: instrument dispensing
The system carries out task scheduling according to the degree of urgency of the task distributed by the instrument, processes the task scheduling by utilizing an EDF-PACO algorithm and distributes the instrument to a corresponding verification department;
s03: instrumental verification
After receiving the task of instrument verification, the verification department carries out task scheduling according to the severity of the instrument verification task, processes the task scheduling by utilizing an EDF-PACO algorithm, and verifies the instrument in sequence according to the processing result;
s04: transceiver instrument
After the instrument is calibrated by the calibration department, feeding back the calibrated information to the system; the system searches and judges whether all the instruments are completely calibrated, if not, the steps S02-S03 are repeated, and if so, the step S05 is carried out;
s05: issuing certificate
After all instruments are calibrated, an operator issues a calibration certificate;
s06: certificate auditing
The system checks the verification certificate, if the verification is not passed, the step S05 is returned, and the verification certificate is issued again; if the verification is passed, the step S07 is entered;
s07: certificate authorization
The system authorizes the approved certificate, if the certificate does not pass the authorization, the step S05 is returned, and the certificate is issued again; if the authorization is passed, go to step S08;
s08: certificate printing seal
The system prints and seals the authorized certificate, if the certificate has a problem, the step returns to step S05, and the certificate is issued again; if it is correct, go to step S09;
s09: issuing certificates
The system issues the certificate after printing and stamping.
The marine equipment verification system based on the Activiti and task scheduling optimization has the advantages that verification process management is systematized, normalized and streamlined, and business states can be tracked in real time; the task scheduling strategy is used for distributing instruments and verifying the instruments, so that the working efficiency is improved, and the working time is reduced; and the Activiti engine is utilized to visualize the process and improve the cooperation of related business personnel.
Example 3
The construction steps of the marine equipment verification system based on the Activiti and task scheduling optimization are as follows.
A01: analyzing business processes
Referring to fig. 3, fig. 3 is a flow chart of marine equipment verification business. The method comprises the steps of carrying out business process analysis on marine equipment verification business, wherein the marine equipment verification business mainly comprises a sample verification process and certificate circulation, the sample verification process comprises newly-built sample verification, sample distribution, instrument verification, transceiving instrument and instrument return, when the sample verification is finished and the transceiving chamber is returned, a verification worker issues a sample certificate according to a verification project, and the certificate circulation process comprises the steps of issuing a sample certificate, certificate audit, certificate authorization, printing and stamping and issuing a certificate; through the analysis of the business process, the information and the participators of each activity link of the process are designed by using a process designer according to the BPMN2.0 specification, so that the business logic is executed on an application program.
A02: business process modeling
The business process is modeled by using a drawing mode, an eclipse drawing tool automatically converts the model into an XML file and a BPMN file, and the XML file is analyzed by an Activiti engine.
A03: deploying
Referring to fig. 4, fig. 4 is a schematic diagram of a deployment process. And deploying the business process modeling result, namely deploying the BPMN file, wherein the deployment process is shown in the figure, the imported file during deployment can be a bar file, an xml file or a Zip file, and the file packaging can be automatically completed by using an Ant script.
A04: integration
Integrating the acitviti and the Spring, in the process of processing the integration of the acitviti and the Spring, in order to uniformly manage objects, the Spring processes the instantiation of the process, and adds a process engine configuration bean of the acitviti and related service bean configuration into an application context xml configuration file.
A05: development of
The system adopts a B/S architecture, the IntelliJ IDEA is used as a development platform, a Web architecture of a combination of Struts2+ Spring + Hibernate is selected, a front-end page adopts a jQuery framework, development technologies such as HTML5, CSS3 and KendoUI are combined to realize a simple and friendly user interface, and the overall architecture of the system is shown in figure 5.
Example 4
The EDF-PACO algorithm flow of the ocean equipment verification system based on Activiti and task scheduling optimization is as follows, wherein the ant colony scale is Na, and the total task set scale to be scheduled at present is NsThe maximum iteration is here TmaxThe number of activities to be scheduled is M, the number of executors is N:
b01: updating the task set Ar of the total task set to be scheduled according to the earliest deadline algorithms
Setting the current task set as Ars，Ars＝{T1,T2,…,TnTask TiIs the latest execution time of eiTask TiHas a period of PiTask TiHas a deadline of diThen if and only if
Figure BDA0001304921870000091
When, the calculation formula (1) holds, ArsCan be scheduled without occupying the EDF scheduling algorithm,
Figure BDA0001304921870000092
wherein the content of the first and second substances,
Figure BDA0001304921870000093
b02: taking the waiting time for reducing the current task as a main construction factor of the pheromone, initializing information such as the pheromone of each ant and setting related parameters;
b021: prioritizing tasks to be processed
Setting the number of activities to be scheduled as M, carrying out priority classification on M tasks to be processed by using an EDF algorithm according to the sequence that the priorities I, II, III, IV and V are sequentially reduced, and setting the time from the latest deadline as L, wherein the classification standard of each stage is L/5, I is 0-delta, II is delta-2 delta, III is 2 delta-3 delta, IV is 3 delta-4 delta, and V is more than or equal to 4 delta;
b022: calculating verification task waiting time
Set the current grouping task set as GuMaximum difficulty of execution gxuThe execution difficulty of the current task i is xiThe waiting time of the current verification task is GWTuThe calculation formula is shown as (2);
Figure BDA0001304921870000101
b023: calculating the sum of delay costs
Set current task set GuThe number is { a1,a2,…,amCalculating the sum of delay costs as c, wherein the calculation formula is shown in (3);
Figure BDA0001304921870000102
b024: selecting pending tasks
The ants are used for selecting tasks to be processed, and the ants are guided to reduce the current waiting timeAnd the direction of the current task set is set as the current task group G, and the direction of the current task set is reduced to reduce the sum of delay costs of the current task setuThe task set obtained after adding the task set j is Gu', then task set GuAnd task set Gu' time difference is Deltatu,jCorrected time difference is etau,jThe calculation formulas are respectively shown as (4) and (5);
Δtu,j＝GWTu-GWTu′ (4)
Figure BDA0001304921870000103
b03: each ant starts to search;
b04: all ants complete the first search;
b05: each ant selects an active instance from the candidate list according to the guidance of the pheromone and heuristic information, and then updates part of the pheromone;
when an activity joins the current group GuLater, there may be other paths that need to be updated with the current packet GuThe value of the relevant partial pheromone is calculated as shown in (6) by ρ (0)<Rho is less than or equal to 1) is the volatilization rate of partial pheromone,
Figure BDA0001304921870000111
representing the volatilization of the original pheromone; tau is0Is an initial pheromone;
Figure BDA0001304921870000112
b06: maintaining Ar according to a reserve set update policys；
B07: updating all pheromones;
the calculation formulas of the updating to all pheromones are shown as (7) and (8), wherein gamma is the volatilization rate of all pheromones
Figure BDA0001304921870000113
Representing the volatilization of the original pheromone, qkFor regulating ginsengNumber fk(S') is the objective function value of the feasible solution S in the optimization,
Figure BDA0001304921870000114
is the current reserve set ArsAnd (4) a set consisting of the optimal solution and the suboptimal solution on the k-th optimization target.
Figure BDA0001304921870000115
Figure BDA0001304921870000116
B08: updating task set Ar according to earliest deadline algorithms；
B09: judging whether a termination condition is reached, if the termination condition is reached, entering the step B10, and if the termination condition is not reached, repeating the steps B02-B09;
b10: output and task set ArsAnd (4) corresponding optimal scheduling scheme set.
The above description is only a preferred embodiment of the present invention, and it should be noted that, for those skilled in the art, several modifications and additions can be made without departing from the method of the present invention, and these modifications and additions should also be regarded as the protection scope of the present invention.

Claims (3)

1. The marine equipment verification system based on Activiti and task scheduling optimization is characterized by comprising an equipment verification module and a certificate circulation module, wherein the equipment verification module comprises an instrument receiving and registering module, an instrument distributing module, an instrument verification module and a receiving and sending instrument module, the certificate circulation module comprises a certificate issuing module, a certificate auditing module, a certificate authorizing module, a certificate printing and stamping module and a certificate issuing module, and the marine equipment verification system comprises the following working steps:
AS 01: the instrument receives the registration;
s02: distributing the instruments;
s03: calibrating an instrument;
s04: transceiver instrument
S05: issuing a certificate;
s06: verifying the certificate;
s07: certificate authorization;
s08: printing and sealing the certificate;
s09: issuing a certificate;
the work flow engine of the marine equipment verification system is an Activiti engine, and the instrument distribution module and the instrument verification module perform task allocation by utilizing an EDF-PACO algorithm;
the steps of the EDF-PACO algorithm are shown as follows, wherein the ant colony scale is Na, and the total task set scale to be scheduled at present is NsThe maximum iteration is here TmaxThe number of activities to be scheduled is M, the number of executors is N:
b01: updating the task set Ar of the total task set to be scheduled according to the earliest deadline algorithms
Setting the current task set as Ars，Ars＝{T1,T2,…,TnThe latest execution time of the task Ti is ei, the period of the task Ti is Pi, and the deadline of the task Ti is diThen if and only if
Figure FDA0002657992560000011
Then, the calculation formula [ 1 ] holds, ArsCan be scheduled without occupying the EDF scheduling algorithm,
Figure FDA0002657992560000012
wherein the content of the first and second substances,
Figure FDA0002657992560000013
b02: taking the waiting time for reducing the current task as a main construction factor of the pheromone, initializing information such as the pheromone of each ant and setting related parameters;
b021: prioritizing tasks to be processed
Setting the number of activities to be scheduled as M, carrying out priority classification on M tasks to be processed by using an EDF algorithm according to the sequence that the priorities I, II, III, IV and V are sequentially reduced, and setting the time from the latest deadline as L, wherein the classification standard of each stage is L/5, I is 0-delta, II is delta-2 delta, III is 2 delta-3 delta, IV is 3 delta-4 delta, and V is more than or equal to 4 delta;
b022: calculating verification task waiting time
Set the current grouping task set as GuMaximum difficulty of execution gxuThe execution difficulty of the current task i is xiThe waiting time of the current verification task is GWTu, and the calculation formula is shown as [ 2 ];
Figure FDA0002657992560000021
b023: calculating the sum of delay costs
Set current task set GuThe number is { a1, a2, …, am }, the sum of the calculated delay costs is c, and the calculation formula is shown as [ 3 ];
Figure FDA0002657992560000022
b024: selecting pending tasks
Selecting task to be processed by ant, guiding ant to move in direction of reducing current waiting time and reducing sum of delay cost of current task set, setting current task group GuThe task set obtained after adding the task set j is G'uThen task set GuAnd task set G'uHas a time difference of Δ tu,jCorrected time difference is etau,jThe calculation formulas are respectively shown as [ 4 ] and [ 5 ];
Δtu，j＝GWTu-GWTu′ 【4】
Figure FDA0002657992560000023
b03: each ant starts to search;
b04: all ants complete the first search;
b05: each ant selects an active instance from the candidate list according to the guidance of the pheromone and heuristic information, and then updates part of the pheromone;
when an activity joins the current group GuLater, there may be other paths that need to be updated with the current packet GuThe calculation formula of the related partial pheromone is shown as [ 6 ], and rho (0)<Rho is less than or equal to 1) is the volatilization rate of partial pheromone,
Figure FDA0002657992560000031
representing the volatilization of the original pheromone; tau is0Is an initial pheromone;
Figure FDA0002657992560000032
b06: maintaining Ar according to a reserve set update policys；
B07: updating all pheromones;
the calculation formulas of all pheromones are shown as [ 7 ] and [ 8 ], wherein gamma is the volatilization rate of all pheromones
Figure FDA0002657992560000033
Representing the volatilization of the original pheromone, qkTo adjust the parameters, fk(S') is the objective function value of the feasible solution S in the optimization,
Figure FDA0002657992560000034
is the current reserve set ArsA set consisting of the optimal solution and the suboptimal solution on the kth optimization target;
Figure FDA0002657992560000035
Figure FDA0002657992560000036
b08: updating task set Ar according to earliest deadline algorithms；
B09: judging whether a termination condition is reached, if the termination condition is reached, entering the step B10, and if the termination condition is not reached, repeating the steps B02-B09;
b10: output and task set ArsAnd (4) corresponding optimal scheduling scheme set.
2. The marine equipment verification system as claimed in claim 1, wherein the preferred working steps of the marine equipment verification system based on activti and task scheduling optimization are as follows:
s01: instrument acceptance enrollment
An operator registers an instrument to be calibrated in the system, and records the model number and the registration time of the instrument;
s02: instrument dispensing
The system carries out task scheduling according to the degree of urgency of the task distributed by the instrument, processes the task scheduling by utilizing an EDF-PACO algorithm and distributes the instrument to a corresponding verification department;
s03: instrumental verification
After receiving the task of instrument verification, the verification department carries out task scheduling according to the severity of the instrument verification task, processes the task scheduling by utilizing an EDF-PACO algorithm, and verifies the instrument in sequence according to the processing result;
s04: transceiver instrument
After the instrument is calibrated by the calibration department, feeding back the calibrated information to the system; the system searches and judges whether all the instruments are completely calibrated, if not, the steps S02-S03 are repeated, and if so, the step S05 is carried out;
s05: issuing certificate
After all instruments are calibrated, an operator issues a calibration certificate;
s06: certificate auditing
The system checks the verification certificate, if the verification is not passed, the step S05 is returned, and the verification certificate is issued again; if the verification is passed, the step S07 is entered;
s07: certificate authorization
The system authorizes the approved certificate, if the certificate does not pass the authorization, the step S05 is returned, and the certificate is issued again; if the authorization is passed, go to step S08;
s08: certificate printing seal
The system prints and seals the authorized certificate, if the certificate has a problem, the step returns to step S05, and the certificate is issued again; if it is correct, go to step S09;
s09: issuing certificates
The system issues the certificate after printing and stamping.
3. The marine equipment verification system as claimed in claim 1, wherein the marine equipment verification system based on activti and task scheduling optimization is constructed by the following steps:
a01: analyzing business processes
Carrying out business process analysis on marine equipment verification business, wherein the marine equipment verification business comprises a sample verification process and certificate circulation, the sample verification process comprises newly-built sample verification, sample distribution, instrument verification, transceiving instrument and instrument return, when the sample verification is finished and the transceiving room is returned, a verification worker issues a sample certificate according to a verification project, and the certificate circulation process comprises the steps of issuing a sample certificate, certificate verification, certificate authorization, printing and stamping and issuing a certificate; through the analysis of the business process, the information and the participators of each activity link of the process are designed by using a process designer according to the BPMN2.0 specification, so that the business logic is executed on an application program;
a02: business process modeling
Modeling a business process by using a drawing mode, automatically converting the model into an XML file by a drawing tool eclipse, and analyzing the XML file by an Activiti engine by a BPMN file;
a03: deploying
The business process modeling result is deployed, namely, the BPMN file is deployed, wherein the imported file during deployment is a bar file, an xml file or a Zip file, and the file is automatically completed by using an Ant script during packaging;
a04: integration
Integrating the Acitiviti with the Spring, in the process of processing the integration of the acitiv and the Spring, processing instantiation of a process by the Spring for uniformly managing objects, and adding a process engine configuration bean of the acitiv and related service bean configuration into an application context (xml) configuration file;
a05: development of
The system adopts a B/S architecture, the IntelliJ IDEA is used as a development platform, a Web architecture combining Struts2+ Spring + Hibernate is selected, a jQuery framework is adopted on a front-end page, and a simple and friendly user interface is realized by combining HTML5, CSS3 and KendoUI development technologies.
CN201710379894.3A 2017-05-25 2017-05-25 Marine equipment verification system based on Activiti and task scheduling optimization Active CN107203871B (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201710379894.3A CN107203871B (en) 2017-05-25 2017-05-25 Marine equipment verification system based on Activiti and task scheduling optimization

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201710379894.3A CN107203871B (en) 2017-05-25 2017-05-25 Marine equipment verification system based on Activiti and task scheduling optimization

Publications (2)

Publication Number Publication Date
CN107203871A CN107203871A (en) 2017-09-26
CN107203871B true CN107203871B (en) 2020-12-08

Family

ID=59905392

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201710379894.3A Active CN107203871B (en) 2017-05-25 2017-05-25 Marine equipment verification system based on Activiti and task scheduling optimization

Country Status (1)

Country Link
CN (1) CN107203871B (en)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113689073A (en) * 2021-07-20 2021-11-23 中国人民解放军92957部队 Metering information management system based on data security

Family Cites Families (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8731966B2 (en) * 2009-09-24 2014-05-20 Humedica, Inc. Systems and methods for real-time data ingestion to a clinical analytics platform to generate a heat map
US20130138470A1 (en) * 2011-11-25 2013-05-30 Infosys Limited System and method for supply chain optimization
US10037511B2 (en) * 2013-06-04 2018-07-31 International Business Machines Corporation Dynamically altering selection of already-utilized resources
CN103970609B (en) * 2014-04-24 2017-03-08 南京信息工程大学 A kind of cloud data center method for scheduling task based on improvement ant group algorithm
CN105487920A (en) * 2015-10-12 2016-04-13 沈阳工业大学 Ant colony algorithm based optimization method for real-time task scheduling of multi-core system
CN106095555A (en) * 2016-06-17 2016-11-09 河海大学常州校区 Executor's method for scheduling task in WSAN based on ant group algorithm
CN106325988B (en) * 2016-08-03 2019-06-18 天津西瑞尔信息工程有限公司 Method for scheduling task and device

Also Published As

Publication number Publication date
CN107203871A (en) 2017-09-26

Similar Documents

Publication Publication Date Title
JP5212381B2 (en) FEED FORWARD CONTROL METHOD, SERVICE PROVIDED QUALITY CONTROL DEVICE, SYSTEM, PROGRAM, AND ITS RECORDING MEDIUM
Yen et al. A stochastic programming approach to the airline crew scheduling problem
Bresina et al. Activity Planning for the Mars Exploration Rovers.
US8583467B1 (en) Method and system for optimized scheduling of workflows
Birolini et al. Integrated flight scheduling and fleet assignment with improved supply-demand interactions
CN114037311B (en) Information system engineering supervision project risk assessment method
US20080183553A1 (en) Method and apparatus for workforce demand forecasting
Cohen et al. Managing stochastic, finite capacity, multi-project systems through the cross-entropy methodology
Liu et al. A probabilistic strategy for temporal constraint management in scientific workflow systems
Niño-Mora Resource allocation and routing in parallel multi-server queues with abandonments for cloud profit maximization
Atan et al. Setting planned leadtimes in customer-order-driven assembly systems
US6473721B1 (en) Factory traffic monitoring and analysis apparatus and method
Gkiotsalitis et al. Exact optimization of bus frequency settings considering demand and trip time variations
Soriguera On the value of highway travel time information systems
CN107203871B (en) Marine equipment verification system based on Activiti and task scheduling optimization
Pozin et al. Models in performance testing
Andreev et al. A multi-agent scheduler for rent-a-car companies
CN109901820A (en) A kind of optimization method for the Airborne Software agile development process meeting DO-178B/C
Sun et al. Satellites scheduling algorithm based on dynamic constraint satisfaction problem
Zeng et al. Effective role resolution in workflow management
Wang et al. Data-driven integrated home service staffing and capacity planning: stochastic optimization approaches
US11276017B2 (en) Method and system for estimating efforts for software managed services production support engagements
Shrinivasan et al. A method for assessing influence relationships among KPIs of service systems
Alasheev et al. Methods and models for decision-making in systems engineering for creating (developing) distributed organizational information and control systems
Thiagarasu et al. Multi-agent coordination in project scheduling: priority rules based resource allocation

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant