In recent years, the widespread adoption of parallel computing, especially in multi-core processors and high-performance computing environments, ushered in a new era of efficiency and speed. This trend was particularl...In recent years, the widespread adoption of parallel computing, especially in multi-core processors and high-performance computing environments, ushered in a new era of efficiency and speed. This trend was particularly noteworthy in the field of image processing, which witnessed significant advancements. This parallel computing project explored the field of parallel image processing, with a focus on the grayscale conversion of colorful images. Our approach involved integrating OpenMP into our framework for parallelization to execute a critical image processing task: grayscale conversion. By using OpenMP, we strategically enhanced the overall performance of the conversion process by distributing the workload across multiple threads. The primary objectives of our project revolved around optimizing computation time and improving overall efficiency, particularly in the task of grayscale conversion of colorful images. Utilizing OpenMP for concurrent processing across multiple cores significantly reduced execution times through the effective distribution of tasks among these cores. The speedup values for various image sizes highlighted the efficacy of parallel processing, especially for large images. However, a detailed examination revealed a potential decline in parallelization efficiency with an increasing number of cores. This underscored the importance of a carefully optimized parallelization strategy, considering factors like load balancing and minimizing communication overhead. Despite challenges, the overall scalability and efficiency achieved with parallel image processing underscored OpenMP’s effectiveness in accelerating image manipulation tasks.展开更多
In the present work, two new, （multi-）parametric programming （mp-P）-inspired algorithms for the solutionof mixed-integer nonlinear programming （MINLP） problems are developed, with their main focus being onproces...In the present work, two new, （multi-）parametric programming （mp-P）-inspired algorithms for the solutionof mixed-integer nonlinear programming （MINLP） problems are developed, with their main focus being onprocess synthesis problems. The algorithms are developed for the special case in which the nonlinearitiesarise because of logarithmic terms, with the first one being developed for the deterministic case, and thesecond for the parametric case （p-MINLP）. The key idea is to formulate and solve the square system of thefirst-order Karush-Kuhn-Tucker （KKT） conditions in an analytical way, by treating the binary variables and/or uncertain parameters as symbolic parameters. To this effect, symbolic manipulation and solution tech-niques are employed. In order to demonstrate the applicability and validity of the proposed algorithms, twoprocess synthesis case studies are examined. The corresponding solutions are then validated using state-of-the-art numerical MINLP solvers. For p-MINLP, the solution is given by an optimal solution as an explicitfunction of the uncertain parameters.展开更多
BPEL(business process execution language)是一种可执行的Web服务组合语言.与传统程序相比,BPEL程序在编程模型、执行方式等方面存在较大差异.这些新特点使得如何定位并修改测试阶段发现的BPEL程序故障成为挑战,面向传统软件的故障修...BPEL(business process execution language)是一种可执行的Web服务组合语言.与传统程序相比,BPEL程序在编程模型、执行方式等方面存在较大差异.这些新特点使得如何定位并修改测试阶段发现的BPEL程序故障成为挑战,面向传统软件的故障修复技术难以直接应用于BPEL程序.从变异分析角度出发,提出一种基于模板匹配的BPEL程序故障修复方法BPELRepair.为了克服基于变异分析的故障修复技术计算开销高的缺点,从补丁生成、测试用例选择以及终止条件3个角度提出多种优化策略.开发一个BPEL故障修复支持工具,提高故障修复的自动化程度与效率.采用经验研究的方式,评估所提故障修复技术及优化策略的有效性.实验结果表明,所提故障修复方法能够成功修复约53%的BPEL程序故障;所提优化策略能够显著降低搜索匹配、补丁程序验证、测试用例执行与故障修复等方面的开销.展开更多
目的构建基于拓展平行过程理论(extended parallel process model,EPPM)的胃癌患者一级亲属胃癌筛查行为干预方案。方法2023年3—11月,在文献回顾和小组讨论的基础上形成基于EPPM理论的胃癌患者一级亲属胃癌筛查行为干预方案初稿,采用...目的构建基于拓展平行过程理论(extended parallel process model,EPPM)的胃癌患者一级亲属胃癌筛查行为干预方案。方法2023年3—11月,在文献回顾和小组讨论的基础上形成基于EPPM理论的胃癌患者一级亲属胃癌筛查行为干预方案初稿,采用德尔菲专家函询法对18名专家进行2轮函询,形成干预方案终稿。结果2轮专家函询共构建2个一级指标、4个二级指标和27个三级指标的筛查干预方案。专家权威系数分别为0.822、0.884;2轮函询的肯德尔协调系数分别为0.176、0.373,差异有统计学意义(P<0.001)。结论构建的基于EPPM理论的胃癌患者一级亲属胃癌筛查行为干预方案具有可靠性和实用性,以期为胃癌患者一级亲属胃癌筛查行为干预提供借鉴依据。展开更多
文摘In recent years, the widespread adoption of parallel computing, especially in multi-core processors and high-performance computing environments, ushered in a new era of efficiency and speed. This trend was particularly noteworthy in the field of image processing, which witnessed significant advancements. This parallel computing project explored the field of parallel image processing, with a focus on the grayscale conversion of colorful images. Our approach involved integrating OpenMP into our framework for parallelization to execute a critical image processing task: grayscale conversion. By using OpenMP, we strategically enhanced the overall performance of the conversion process by distributing the workload across multiple threads. The primary objectives of our project revolved around optimizing computation time and improving overall efficiency, particularly in the task of grayscale conversion of colorful images. Utilizing OpenMP for concurrent processing across multiple cores significantly reduced execution times through the effective distribution of tasks among these cores. The speedup values for various image sizes highlighted the efficacy of parallel processing, especially for large images. However, a detailed examination revealed a potential decline in parallelization efficiency with an increasing number of cores. This underscored the importance of a carefully optimized parallelization strategy, considering factors like load balancing and minimizing communication overhead. Despite challenges, the overall scalability and efficiency achieved with parallel image processing underscored OpenMP’s effectiveness in accelerating image manipulation tasks.
基金financial support from EPSRC grants (EP/M027856/1 EP/M028240/1)
文摘In the present work, two new, （multi-）parametric programming （mp-P）-inspired algorithms for the solutionof mixed-integer nonlinear programming （MINLP） problems are developed, with their main focus being onprocess synthesis problems. The algorithms are developed for the special case in which the nonlinearitiesarise because of logarithmic terms, with the first one being developed for the deterministic case, and thesecond for the parametric case （p-MINLP）. The key idea is to formulate and solve the square system of thefirst-order Karush-Kuhn-Tucker （KKT） conditions in an analytical way, by treating the binary variables and/or uncertain parameters as symbolic parameters. To this effect, symbolic manipulation and solution tech-niques are employed. In order to demonstrate the applicability and validity of the proposed algorithms, twoprocess synthesis case studies are examined. The corresponding solutions are then validated using state-of-the-art numerical MINLP solvers. For p-MINLP, the solution is given by an optimal solution as an explicitfunction of the uncertain parameters.
文摘BPEL(business process execution language)是一种可执行的Web服务组合语言.与传统程序相比,BPEL程序在编程模型、执行方式等方面存在较大差异.这些新特点使得如何定位并修改测试阶段发现的BPEL程序故障成为挑战,面向传统软件的故障修复技术难以直接应用于BPEL程序.从变异分析角度出发,提出一种基于模板匹配的BPEL程序故障修复方法BPELRepair.为了克服基于变异分析的故障修复技术计算开销高的缺点,从补丁生成、测试用例选择以及终止条件3个角度提出多种优化策略.开发一个BPEL故障修复支持工具,提高故障修复的自动化程度与效率.采用经验研究的方式,评估所提故障修复技术及优化策略的有效性.实验结果表明,所提故障修复方法能够成功修复约53%的BPEL程序故障;所提优化策略能够显著降低搜索匹配、补丁程序验证、测试用例执行与故障修复等方面的开销.
文摘目的构建基于拓展平行过程理论(extended parallel process model,EPPM)的胃癌患者一级亲属胃癌筛查行为干预方案。方法2023年3—11月,在文献回顾和小组讨论的基础上形成基于EPPM理论的胃癌患者一级亲属胃癌筛查行为干预方案初稿,采用德尔菲专家函询法对18名专家进行2轮函询,形成干预方案终稿。结果2轮专家函询共构建2个一级指标、4个二级指标和27个三级指标的筛查干预方案。专家权威系数分别为0.822、0.884;2轮函询的肯德尔协调系数分别为0.176、0.373,差异有统计学意义(P<0.001)。结论构建的基于EPPM理论的胃癌患者一级亲属胃癌筛查行为干预方案具有可靠性和实用性,以期为胃癌患者一级亲属胃癌筛查行为干预提供借鉴依据。
