The ease of accessing a virtually unlimited pool of resources makes Infrastructure as a Service (IaaS) clouds an ideal platform for running data-intensive workflow applications comprising hundreds of computational tas...The ease of accessing a virtually unlimited pool of resources makes Infrastructure as a Service (IaaS) clouds an ideal platform for running data-intensive workflow applications comprising hundreds of computational tasks. However, executing scientific workflows in IaaS cloud environments poses significant challenges due to conflicting objectives, such as minimizing execution time (makespan) and reducing resource utilization costs. This study responds to the increasing need for efficient and adaptable optimization solutions in dynamic and complex environments, which are critical for meeting the evolving demands of modern users and applications. This study presents an innovative multi-objective approach for scheduling scientific workflows in IaaS cloud environments. The proposed algorithm, MOS-MWMC, aims to minimize total execution time (makespan) and resource utilization costs by leveraging key features of virtual machine instances, such as a high number of cores and fast local SSD storage. By integrating realistic simulations based on the WRENCH framework, the method effectively dimensions the cloud infrastructure and optimizes resource usage. Experimental results highlight the superiority of MOS-MWMC compared to benchmark algorithms HEFT and Max-Min. The Pareto fronts obtained for the CyberShake, Epigenomics, and Montage workflows demonstrate closer proximity to the optimal front, confirming the algorithm’s ability to balance conflicting objectives. This study contributes to optimizing scientific workflows in complex environments by providing solutions tailored to specific user needs while minimizing costs and execution times.展开更多
BACKGROUND A key cardiac magnetic resonance(CMR)challenge is breath-holding duration,difficult for cardiac patients.AIM To evaluate whether artificial intelligence-assisted compressed sensing CINE(AICS-CINE)reduces im...BACKGROUND A key cardiac magnetic resonance(CMR)challenge is breath-holding duration,difficult for cardiac patients.AIM To evaluate whether artificial intelligence-assisted compressed sensing CINE(AICS-CINE)reduces image acquisition time of CMR compared to conventional CINE(C-CINE).METHODS Cardio-oncology patients(n=60)and healthy volunteers(n=29)underwent sequential C-CINE and AI-CS-CINE with a 1.5-T scanner.Acquisition time,visual image quality assessment,and biventricular metrics(end-diastolic volume,endsystolic volume,stroke volume,ejection fraction,left ventricular mass,and wall thickness)were analyzed and compared between C-CINE and AI-CS-CINE with Bland–Altman analysis,and calculation of intraclass coefficient(ICC).RESULTS In 89 participants(58.5±16.8 years,42 males,47 females),total AI-CS-CINE acquisition and reconstruction time(37 seconds)was 84%faster than C-CINE(238 seconds).C-CINE required repeats in 23%(20/89)of cases(approximately 8 minutes lost),while AI-CS-CINE only needed one repeat(1%;2 seconds lost).AICS-CINE had slightly lower contrast but preserved structural clarity.Bland-Altman plots and ICC(0.73≤r≤0.98)showed strong agreement for left ventricle(LV)and right ventricle(RV)metrics,including those in the cardiac amyloidosis subgroup(n=31).AI-CS-CINE enabled faster,easier imaging in patients with claustrophobia,dyspnea,arrhythmias,or restlessness.Motion-artifacted C-CINE images were reliably interpreted from AI-CS-CINE.CONCLUSION AI-CS-CINE accelerated CMR image acquisition and reconstruction,preserved anatomical detail,and diminished impact of patient-related motion.Quantitative AI-CS-CINE metrics agreed closely with C-CINE in cardio-oncology patients,including the cardiac amyloidosis cohort,as well as healthy volunteers regardless of left and right ventricular size and function.AI-CS-CINE significantly enhanced CMR workflow,particularly in challenging cases.The strong analytical concordance underscores reliability and robustness of AI-CS-CINE as a valuable tool.展开更多
人工智能技术在教育领域的深度应用,已成为国家教育数字化转型的核心战略。在计算机实践教学领域,实践学习资料的精准推荐是提升学生学习效能与质量的重要途径。针对高校教育规模化与学生需求多元化之间的矛盾,提出一种基于轻量级教育...人工智能技术在教育领域的深度应用,已成为国家教育数字化转型的核心战略。在计算机实践教学领域,实践学习资料的精准推荐是提升学生学习效能与质量的重要途径。针对高校教育规模化与学生需求多元化之间的矛盾,提出一种基于轻量级教育大模型的个性化实践学习资料推荐模型LightPLRec(Lightweight Personalized Learning Recommender for Dynamic Practice Materials),旨在依据学生个体特征的动态变化智能推荐个性化的实践学习资料。基于低算力需求的轻量级大模型,通过指令微调和强化学习方法构建了面向个性化实践学习资料推荐的教育大模型SPIR(Student Profile&Interest-based Re-commender)。通过整合多源异构数据,深度融入课程知识体系、学科前沿动态、产业发展趋势、国家战略导向,构建了跨学科、多模态的实践学习资料库,并设计了图转主题文本方法gragh2topic。依托于SPIR大模型的强大赋能和多源资料库的坚实支撑,提出了基于智能工作流的资料推荐方法。设计主题分析方法从学生能力评估结果中提取学生的能力特征,应用图卷积网络算法GCN从学生学习行为数据中挖掘学生的兴趣特征,创建了“能力-推荐智能体”和“兴趣-推荐智能体”,构建了双智能体协同驱动的智能化流程体系,实现了从学生个性化画像智能生成到实践学习资料动态推荐的系列工作流任务;并且构建了个性化资料推荐数据集,在该数据集上验证了所提模型的性能显著优于基线模型。其中,以Qwen2.5-3.0B为基模型训练的LightPLRec模型,在能力推荐与兴趣推荐这两项任务中展现出卓越性能,准确率分别高达0.947和0.939,其表现均优于DeepSeek-V3在同一数据集上的测评结果。该研究为教育大模型的垂直场景应用提供了技术范式,同时通过创建个性化实践学习资料动态推荐模型,为践行“因材施教”理念和培育高素质计算机实践人才提供了创新路径。展开更多
Workflow management is an important aspect in CSCW at present. The elementary knowledge of workflow process is introduced, the Petri nets based process modeling methodology and basic definitions are provided, and the ...Workflow management is an important aspect in CSCW at present. The elementary knowledge of workflow process is introduced, the Petri nets based process modeling methodology and basic definitions are provided, and the analysis and verification of structural and behavioral correctness of workflow process are discussed. Finally, the algorithm of verification of process definitions is proposed.展开更多
Along with the extensive use of workflow, analysis methods to verify the correctness of the workflow are becoming more and more important. In the paper, we exploit the verification method based on Petri net for workfl...Along with the extensive use of workflow, analysis methods to verify the correctness of the workflow are becoming more and more important. In the paper, we exploit the verification method based on Petri net for workflow process models which deals with the verification of workflow and finds the potential errors in the process design. Additionally, an efficient verification algorithm is given.展开更多
To align customer demand with suppliers for reducing work in process and supply costs and increasing re sp onsiveness to customer requirements, a real time collaborative supply chain mana gement system is essential...To align customer demand with suppliers for reducing work in process and supply costs and increasing re sp onsiveness to customer requirements, a real time collaborative supply chain mana gement system is essential. A solution to the realization of supply chain manage ment capable of timely responding to customer requirements is proposed. Workflow automation is used to manage process interaction across enterprises; Agents can be automatically invoked by supply chain workflow process and are used to pro mote the flexibility and reconfigurability by providing the mechanism in support of distributed compution in an enterprises to meet the requirements of performa nce and business dynamics. An approach that supports agent based workflow proce ss in a supply chain is proposed. And the coordination mechanism between agents is also discussed.展开更多
An evaluation approach for the response time probability distribution of workflows based on the fluid stochastic Petri net formalism is presented. Firstly, some problems about stochastic workflow net modeling are disc...An evaluation approach for the response time probability distribution of workflows based on the fluid stochastic Petri net formalism is presented. Firstly, some problems about stochastic workflow net modeling are discussed. Then how to convert a stochastic workflow net model into a fluid stochastic Petri net model is described. The response time distribution can be obtained directly upon the transient state solution of the fluid stochastic Petri net model. In the proposed approach, there are not any restrictions on the structure of workflow models, and the processing times of workflow tasks can be modeled by using arbitrary probability distributions. Large workflow models can be efficiently tackled by recursively using a net reduction technique.展开更多
The interactive task allocation process between workflow management system（WFMS） and resources in real bussiness is analyzed. A series of fundamental workflow resource allocation patterns （WRAPs） are identified. T...The interactive task allocation process between workflow management system（WFMS） and resources in real bussiness is analyzed. A series of fundamental workflow resource allocation patterns （WRAPs） are identified. These patterns provide the basis for the design of the more adaptive workflow system. A WRAP framework is proposed to provide a referenced classification system for further pattern extensions.展开更多
A dynamic hierarchical description method for workflow is presented. The method provides a dynamic hierarchical way to define a workflow with non-determinate or dynamic factors. With this method, the main process defi...A dynamic hierarchical description method for workflow is presented. The method provides a dynamic hierarchical way to define a workflow with non-determinate or dynamic factors. With this method, the main process defined at build-time can be reified and extended by the principle of the sub-organizations at either the build-time or the run-time. To ensure the consistency and integrity of the description, a series of constraint rules are also discussed to realize seamless integration between a decomposed process and its original one. This approach supports the description of unpredictable uncertainties, the dynamic hierarchy of business process, and the dynamic modification of enterprise organizations, and all of these improve the flexibility and extendability of workflow management systems dramatically.展开更多
文摘The ease of accessing a virtually unlimited pool of resources makes Infrastructure as a Service (IaaS) clouds an ideal platform for running data-intensive workflow applications comprising hundreds of computational tasks. However, executing scientific workflows in IaaS cloud environments poses significant challenges due to conflicting objectives, such as minimizing execution time (makespan) and reducing resource utilization costs. This study responds to the increasing need for efficient and adaptable optimization solutions in dynamic and complex environments, which are critical for meeting the evolving demands of modern users and applications. This study presents an innovative multi-objective approach for scheduling scientific workflows in IaaS cloud environments. The proposed algorithm, MOS-MWMC, aims to minimize total execution time (makespan) and resource utilization costs by leveraging key features of virtual machine instances, such as a high number of cores and fast local SSD storage. By integrating realistic simulations based on the WRENCH framework, the method effectively dimensions the cloud infrastructure and optimizes resource usage. Experimental results highlight the superiority of MOS-MWMC compared to benchmark algorithms HEFT and Max-Min. The Pareto fronts obtained for the CyberShake, Epigenomics, and Montage workflows demonstrate closer proximity to the optimal front, confirming the algorithm’s ability to balance conflicting objectives. This study contributes to optimizing scientific workflows in complex environments by providing solutions tailored to specific user needs while minimizing costs and execution times.
基金Supported by James Russell Hornsby and Jun Xiong Fund and United Imaging Healthcare.
文摘BACKGROUND A key cardiac magnetic resonance(CMR)challenge is breath-holding duration,difficult for cardiac patients.AIM To evaluate whether artificial intelligence-assisted compressed sensing CINE(AICS-CINE)reduces image acquisition time of CMR compared to conventional CINE(C-CINE).METHODS Cardio-oncology patients(n=60)and healthy volunteers(n=29)underwent sequential C-CINE and AI-CS-CINE with a 1.5-T scanner.Acquisition time,visual image quality assessment,and biventricular metrics(end-diastolic volume,endsystolic volume,stroke volume,ejection fraction,left ventricular mass,and wall thickness)were analyzed and compared between C-CINE and AI-CS-CINE with Bland–Altman analysis,and calculation of intraclass coefficient(ICC).RESULTS In 89 participants(58.5±16.8 years,42 males,47 females),total AI-CS-CINE acquisition and reconstruction time(37 seconds)was 84%faster than C-CINE(238 seconds).C-CINE required repeats in 23%(20/89)of cases(approximately 8 minutes lost),while AI-CS-CINE only needed one repeat(1%;2 seconds lost).AICS-CINE had slightly lower contrast but preserved structural clarity.Bland-Altman plots and ICC(0.73≤r≤0.98)showed strong agreement for left ventricle(LV)and right ventricle(RV)metrics,including those in the cardiac amyloidosis subgroup(n=31).AI-CS-CINE enabled faster,easier imaging in patients with claustrophobia,dyspnea,arrhythmias,or restlessness.Motion-artifacted C-CINE images were reliably interpreted from AI-CS-CINE.CONCLUSION AI-CS-CINE accelerated CMR image acquisition and reconstruction,preserved anatomical detail,and diminished impact of patient-related motion.Quantitative AI-CS-CINE metrics agreed closely with C-CINE in cardio-oncology patients,including the cardiac amyloidosis cohort,as well as healthy volunteers regardless of left and right ventricular size and function.AI-CS-CINE significantly enhanced CMR workflow,particularly in challenging cases.The strong analytical concordance underscores reliability and robustness of AI-CS-CINE as a valuable tool.
文摘人工智能技术在教育领域的深度应用,已成为国家教育数字化转型的核心战略。在计算机实践教学领域,实践学习资料的精准推荐是提升学生学习效能与质量的重要途径。针对高校教育规模化与学生需求多元化之间的矛盾,提出一种基于轻量级教育大模型的个性化实践学习资料推荐模型LightPLRec(Lightweight Personalized Learning Recommender for Dynamic Practice Materials),旨在依据学生个体特征的动态变化智能推荐个性化的实践学习资料。基于低算力需求的轻量级大模型,通过指令微调和强化学习方法构建了面向个性化实践学习资料推荐的教育大模型SPIR(Student Profile&Interest-based Re-commender)。通过整合多源异构数据,深度融入课程知识体系、学科前沿动态、产业发展趋势、国家战略导向,构建了跨学科、多模态的实践学习资料库,并设计了图转主题文本方法gragh2topic。依托于SPIR大模型的强大赋能和多源资料库的坚实支撑,提出了基于智能工作流的资料推荐方法。设计主题分析方法从学生能力评估结果中提取学生的能力特征,应用图卷积网络算法GCN从学生学习行为数据中挖掘学生的兴趣特征,创建了“能力-推荐智能体”和“兴趣-推荐智能体”,构建了双智能体协同驱动的智能化流程体系,实现了从学生个性化画像智能生成到实践学习资料动态推荐的系列工作流任务;并且构建了个性化资料推荐数据集,在该数据集上验证了所提模型的性能显著优于基线模型。其中,以Qwen2.5-3.0B为基模型训练的LightPLRec模型,在能力推荐与兴趣推荐这两项任务中展现出卓越性能,准确率分别高达0.947和0.939,其表现均优于DeepSeek-V3在同一数据集上的测评结果。该研究为教育大模型的垂直场景应用提供了技术范式,同时通过创建个性化实践学习资料动态推荐模型,为践行“因材施教”理念和培育高素质计算机实践人才提供了创新路径。
文摘Workflow management is an important aspect in CSCW at present. The elementary knowledge of workflow process is introduced, the Petri nets based process modeling methodology and basic definitions are provided, and the analysis and verification of structural and behavioral correctness of workflow process are discussed. Finally, the algorithm of verification of process definitions is proposed.
文摘Along with the extensive use of workflow, analysis methods to verify the correctness of the workflow are becoming more and more important. In the paper, we exploit the verification method based on Petri net for workflow process models which deals with the verification of workflow and finds the potential errors in the process design. Additionally, an efficient verification algorithm is given.
文摘To align customer demand with suppliers for reducing work in process and supply costs and increasing re sp onsiveness to customer requirements, a real time collaborative supply chain mana gement system is essential. A solution to the realization of supply chain manage ment capable of timely responding to customer requirements is proposed. Workflow automation is used to manage process interaction across enterprises; Agents can be automatically invoked by supply chain workflow process and are used to pro mote the flexibility and reconfigurability by providing the mechanism in support of distributed compution in an enterprises to meet the requirements of performa nce and business dynamics. An approach that supports agent based workflow proce ss in a supply chain is proposed. And the coordination mechanism between agents is also discussed.
基金The National Natural Science Foundation of China(No.60175027).
文摘An evaluation approach for the response time probability distribution of workflows based on the fluid stochastic Petri net formalism is presented. Firstly, some problems about stochastic workflow net modeling are discussed. Then how to convert a stochastic workflow net model into a fluid stochastic Petri net model is described. The response time distribution can be obtained directly upon the transient state solution of the fluid stochastic Petri net model. In the proposed approach, there are not any restrictions on the structure of workflow models, and the processing times of workflow tasks can be modeled by using arbitrary probability distributions. Large workflow models can be efficiently tackled by recursively using a net reduction technique.
文摘The interactive task allocation process between workflow management system（WFMS） and resources in real bussiness is analyzed. A series of fundamental workflow resource allocation patterns （WRAPs） are identified. These patterns provide the basis for the design of the more adaptive workflow system. A WRAP framework is proposed to provide a referenced classification system for further pattern extensions.
文摘A dynamic hierarchical description method for workflow is presented. The method provides a dynamic hierarchical way to define a workflow with non-determinate or dynamic factors. With this method, the main process defined at build-time can be reified and extended by the principle of the sub-organizations at either the build-time or the run-time. To ensure the consistency and integrity of the description, a series of constraint rules are also discussed to realize seamless integration between a decomposed process and its original one. This approach supports the description of unpredictable uncertainties, the dynamic hierarchy of business process, and the dynamic modification of enterprise organizations, and all of these improve the flexibility and extendability of workflow management systems dramatically.
