首页 > 最新文献

Proceedings of the 2019 3rd High Performance Computing and Cluster Technologies Conference最新文献

英文 中文
A Case Study of HealthCare Platform using Big Data Analytics and Machine Learning 使用大数据分析和机器学习的医疗保健平台案例研究
M. Z. Islam, Daizong Liu, Kewei Wang, Pan Zhou, Li Yu, D. Wu
The medical services in Bangladesh are shortage nowadays; people are suffering from getting the correct treatment from the hospital. With the low proportion of the doctors and the low per capita salary in Bangladesh, patients need to spend more money to get the appropriate treatments. Therefore, it is necessary to apply modern information technologies by which the scaffold between the patients and specialists can be reduced, and the patients can take proper treatment at a lower cost. Fortunately, we can solve this critical problem by utilizing interaction among electrical devices. With the big data collected from these devices, machine learning is a powerful tool for the data analytics because of its high accuracy, lower computational costs, and lower power consumption. This research is based on a case of study by the incorporation of the database, mobile application, web application and develops a novel platform through which the patients and the doctors can interact. In addition, the platform helps to store the patients' health data to make the final prediction using machine learning methods to get the proper healthcare treatment with the help of the machines and the doctors. The experiment result shows the high accuracy over 95% of the disease detection using machine learning methods, with the cost 90% lower than the local hospital in Bangladesh, which provides the strong support to implement of our platform in the remote area of the country.
目前孟加拉国的医疗服务短缺;人们无法从医院得到正确的治疗。孟加拉国的医生比例较低,人均工资较低,患者需要花更多的钱才能得到合适的治疗。因此,有必要应用现代信息技术,减少患者与专家之间的支架,使患者以更低的成本接受适当的治疗。幸运的是,我们可以通过利用电子设备之间的相互作用来解决这个关键问题。通过从这些设备中收集的大数据,机器学习因其高精度、较低的计算成本和较低的功耗而成为数据分析的强大工具。本研究以案例研究为基础,将数据库、移动应用、web应用相结合,开发了一个全新的医患互动平台。此外,该平台还帮助存储患者的健康数据,利用机器学习方法进行最终预测,在机器和医生的帮助下获得适当的医疗保健治疗。实验结果表明,使用机器学习方法的疾病检测准确率高达95%以上,成本比孟加拉国当地医院低90%,为我们的平台在该国偏远地区的实施提供了强有力的支持。
{"title":"A Case Study of HealthCare Platform using Big Data Analytics and Machine Learning","authors":"M. Z. Islam, Daizong Liu, Kewei Wang, Pan Zhou, Li Yu, D. Wu","doi":"10.1145/3341069.3342980","DOIUrl":"https://doi.org/10.1145/3341069.3342980","url":null,"abstract":"The medical services in Bangladesh are shortage nowadays; people are suffering from getting the correct treatment from the hospital. With the low proportion of the doctors and the low per capita salary in Bangladesh, patients need to spend more money to get the appropriate treatments. Therefore, it is necessary to apply modern information technologies by which the scaffold between the patients and specialists can be reduced, and the patients can take proper treatment at a lower cost. Fortunately, we can solve this critical problem by utilizing interaction among electrical devices. With the big data collected from these devices, machine learning is a powerful tool for the data analytics because of its high accuracy, lower computational costs, and lower power consumption. This research is based on a case of study by the incorporation of the database, mobile application, web application and develops a novel platform through which the patients and the doctors can interact. In addition, the platform helps to store the patients' health data to make the final prediction using machine learning methods to get the proper healthcare treatment with the help of the machines and the doctors. The experiment result shows the high accuracy over 95% of the disease detection using machine learning methods, with the cost 90% lower than the local hospital in Bangladesh, which provides the strong support to implement of our platform in the remote area of the country.","PeriodicalId":411198,"journal":{"name":"Proceedings of the 2019 3rd High Performance Computing and Cluster Technologies Conference","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129848498","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Research on Cross-Cluster Migration Technologies 跨集群迁移技术研究
Dingkun Song, Dong Li, Xiaobing Huang
To solve the problem that OpenStack cloud platforms can not well support the migration of virtual machines across clusters, several cross-cluster migration technologies are proposed. Based on a novel multi-cluster collabrative architecture, a cross-cluster static migration approach and a cross-cluster live migration approach are provided. The experiments of comparing our approachs with the original intra-cluster migration are carried out. The results show that the proposed approaches have nearly the same migration time cost but gain better performance in disaster tolerance.
针对OpenStack云平台不能很好地支持虚拟机跨集群迁移的问题,提出了几种跨集群迁移技术。基于一种新的多集群协作架构,提出了跨集群静态迁移和跨集群动态迁移方法。将我们的方法与原有的集群内迁移方法进行了对比实验。结果表明,这两种迁移方法的迁移时间成本基本相同,但在容灾方面具有更好的性能。
{"title":"Research on Cross-Cluster Migration Technologies","authors":"Dingkun Song, Dong Li, Xiaobing Huang","doi":"10.1145/3341069.3342986","DOIUrl":"https://doi.org/10.1145/3341069.3342986","url":null,"abstract":"To solve the problem that OpenStack cloud platforms can not well support the migration of virtual machines across clusters, several cross-cluster migration technologies are proposed. Based on a novel multi-cluster collabrative architecture, a cross-cluster static migration approach and a cross-cluster live migration approach are provided. The experiments of comparing our approachs with the original intra-cluster migration are carried out. The results show that the proposed approaches have nearly the same migration time cost but gain better performance in disaster tolerance.","PeriodicalId":411198,"journal":{"name":"Proceedings of the 2019 3rd High Performance Computing and Cluster Technologies Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130267059","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Multi-Level Feature Learning for Pedestrian Attribute Recognition 行人属性识别的多层次特征学习
Mengling Deng, Jianbiao He
Pedestrian attribute recognition is important for many subjects such as pedestrian tracking and person re-identification in monitoring scenario. Recently plenty of models address this task with deeply learned feature representations, but there still great potentials to make further progress due to some variations including low resolution, occlusion and so on. In this paper, we propose a new deep network structure for attribute classification, which takes advantage of multi-level features and an attention weighted scheme to combine multiple predictions from different layers. At last, we evaluate our method on PA-100K benchmark and the experimental results show the effectiveness of our proposed approach.
行人属性识别是监控场景中行人跟踪、人员再识别等诸多课题的重要内容。目前已有大量的模型利用深度学习的特征表示来解决这一问题,但由于存在分辨率低、遮挡等问题,仍有很大的发展空间。本文提出了一种新的用于属性分类的深度网络结构,该结构利用多层次特征和关注加权方案来组合来自不同层的多个预测。最后,在PA-100K基准上对该方法进行了测试,实验结果表明了该方法的有效性。
{"title":"Multi-Level Feature Learning for Pedestrian Attribute Recognition","authors":"Mengling Deng, Jianbiao He","doi":"10.1145/3341069.3342967","DOIUrl":"https://doi.org/10.1145/3341069.3342967","url":null,"abstract":"Pedestrian attribute recognition is important for many subjects such as pedestrian tracking and person re-identification in monitoring scenario. Recently plenty of models address this task with deeply learned feature representations, but there still great potentials to make further progress due to some variations including low resolution, occlusion and so on. In this paper, we propose a new deep network structure for attribute classification, which takes advantage of multi-level features and an attention weighted scheme to combine multiple predictions from different layers. At last, we evaluate our method on PA-100K benchmark and the experimental results show the effectiveness of our proposed approach.","PeriodicalId":411198,"journal":{"name":"Proceedings of the 2019 3rd High Performance Computing and Cluster Technologies Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129577819","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Proceedings of the 2019 3rd High Performance Computing and Cluster Technologies Conference 2019第三届高性能计算与集群技术会议论文集
{"title":"Proceedings of the 2019 3rd High Performance Computing and Cluster Technologies Conference","authors":"","doi":"10.1145/3341069","DOIUrl":"https://doi.org/10.1145/3341069","url":null,"abstract":"","PeriodicalId":411198,"journal":{"name":"Proceedings of the 2019 3rd High Performance Computing and Cluster Technologies Conference","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126453143","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Survey of Testing Methods of O2O Catering Platform 餐饮O2O平台测试方法调查
Hefang Xu, Caihong Su, Shaoyu Wu, D. Tang
The particularity of the Web application of catering O2O platform makes its testing challenging, but the current research on its testing is relatively weak compared with the research on its design and development.This paper summarizes the research progress of Web platform testing methods in recent years.The Basic test contents and technologies, typical test models and automated testing tools of existing platforms are summarized.The current research hotspots and difficulties are analyzed, including the optimization of test models, the improvement and development of automated testing tools, the guarantee of test comprehensiveness, safety, stability and efficiency.Finally, the future research directions of the testing methods of catering O2O Web platform are discussed from three aspects: testing content, testing methods and testing tools.
餐饮O2O平台Web应用的特殊性使得其测试具有挑战性,但目前对其测试的研究相对于对其设计和开发的研究相对薄弱。本文综述了近年来Web平台测试方法的研究进展。总结了现有平台的基本测试内容和技术、典型测试模型和自动化测试工具。分析了当前的研究热点和难点,包括优化测试模型,改进和开发自动化测试工具,保证测试的全面性、安全性、稳定性和高效性。最后,从测试内容、测试方法和测试工具三个方面探讨了餐饮O2O Web平台测试方法的未来研究方向。
{"title":"Survey of Testing Methods of O2O Catering Platform","authors":"Hefang Xu, Caihong Su, Shaoyu Wu, D. Tang","doi":"10.1145/3341069.3341070","DOIUrl":"https://doi.org/10.1145/3341069.3341070","url":null,"abstract":"The particularity of the Web application of catering O2O platform makes its testing challenging, but the current research on its testing is relatively weak compared with the research on its design and development.This paper summarizes the research progress of Web platform testing methods in recent years.The Basic test contents and technologies, typical test models and automated testing tools of existing platforms are summarized.The current research hotspots and difficulties are analyzed, including the optimization of test models, the improvement and development of automated testing tools, the guarantee of test comprehensiveness, safety, stability and efficiency.Finally, the future research directions of the testing methods of catering O2O Web platform are discussed from three aspects: testing content, testing methods and testing tools.","PeriodicalId":411198,"journal":{"name":"Proceedings of the 2019 3rd High Performance Computing and Cluster Technologies Conference","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132927921","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Off-topic Detection Model based on Biterm-LDA and Doc2vec 基于bitterm - lda和Doc2vec的脱题检测模型
Pan Liu, Jie Liu, Xiaoli Ma, Jianshe Zhou
Chinese writing in primary and secondary schools occupies an extremely important position in Chinese education. With the advent of natural language processing, the automatic e ssay review system has gradually matured, which has greatly promoted the development of composition writing. Especially the off-topic detection plays a key role in the automatic essay review system. We propose effective methods for off-topic detection. Firstly, we use Biterm-LDA combined with Doc2vec to inspect the topic and semantics of composition. Secondly, we propose a threshold calculation method based on the topic composition class center under different topic compositions. Finally, the ROC curve is employed to find the optimal threshold for each type of topic composition, then according to the optimal threshold, the off topic essay is judged. Experiments of the five types of topic composition show the average F1-score value of the off-topic detection reach about 65%.
中小学语文写作在语文教育中占有极其重要的地位。随着自然语言处理技术的出现,作文自动评审系统逐渐成熟,极大地促进了作文写作的发展。在论文自动审稿系统中,跑题检测起着至关重要的作用。我们提出了有效的脱题检测方法。首先,我们使用bitterm - lda结合Doc2vec来检查组合的主题和语义。其次,提出了一种基于不同主题作文下的主题作文类中心的阈值计算方法。最后,利用ROC曲线找出每一类话题作文的最优阈值,根据最优阈值判断出离题作文。五种类型的主题作文实验表明,偏离主题检测的平均f1分值达到65%左右。
{"title":"Off-topic Detection Model based on Biterm-LDA and Doc2vec","authors":"Pan Liu, Jie Liu, Xiaoli Ma, Jianshe Zhou","doi":"10.1145/3341069.3342989","DOIUrl":"https://doi.org/10.1145/3341069.3342989","url":null,"abstract":"Chinese writing in primary and secondary schools occupies an extremely important position in Chinese education. With the advent of natural language processing, the automatic e ssay review system has gradually matured, which has greatly promoted the development of composition writing. Especially the off-topic detection plays a key role in the automatic essay review system. We propose effective methods for off-topic detection. Firstly, we use Biterm-LDA combined with Doc2vec to inspect the topic and semantics of composition. Secondly, we propose a threshold calculation method based on the topic composition class center under different topic compositions. Finally, the ROC curve is employed to find the optimal threshold for each type of topic composition, then according to the optimal threshold, the off topic essay is judged. Experiments of the five types of topic composition show the average F1-score value of the off-topic detection reach about 65%.","PeriodicalId":411198,"journal":{"name":"Proceedings of the 2019 3rd High Performance Computing and Cluster Technologies Conference","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129399560","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
A Lightweight Neural Network Based on AlexNet-SSD Model for Garbage Detection 基于AlexNet-SSD模型的轻量级神经网络垃圾检测
Shih-Hsiung Lee, Chien-Hui Yeh, Ting-Wei Hou, Chu-Sing Yang
As the theory of deep learning develops, object detection technology has been widely used in all fields. How to find objects accurately and quickly is one of the key technologies. A usage scenario to be solved is proposed here, that is how to facilitate object detection technology in waste sorting. Hence, in this paper, a lightweight deep learning model is proposed. The basic network architecture of SSD(Single Shot MultiBox Detector) is changed to AlexNet. In this way, the capacity on object detection of SSD is remained, and the model parameters are greatly reduced. The experimental results show that the modified model can recognize the categories of waste accurately.
随着深度学习理论的发展,目标检测技术在各个领域得到了广泛的应用。如何准确快速地找到目标是其中的关键技术之一。在此提出了一个需要解决的使用场景,即如何促进目标检测技术在垃圾分类中的应用。因此,本文提出了一种轻量级的深度学习模型。SSD(Single Shot MultiBox Detector)基本网络架构改为AlexNet。这样既保留了SSD的对象检测容量,又大大降低了模型参数。实验结果表明,改进后的模型能较准确地识别垃圾的类别。
{"title":"A Lightweight Neural Network Based on AlexNet-SSD Model for Garbage Detection","authors":"Shih-Hsiung Lee, Chien-Hui Yeh, Ting-Wei Hou, Chu-Sing Yang","doi":"10.1145/3341069.3341087","DOIUrl":"https://doi.org/10.1145/3341069.3341087","url":null,"abstract":"As the theory of deep learning develops, object detection technology has been widely used in all fields. How to find objects accurately and quickly is one of the key technologies. A usage scenario to be solved is proposed here, that is how to facilitate object detection technology in waste sorting. Hence, in this paper, a lightweight deep learning model is proposed. The basic network architecture of SSD(Single Shot MultiBox Detector) is changed to AlexNet. In this way, the capacity on object detection of SSD is remained, and the model parameters are greatly reduced. The experimental results show that the modified model can recognize the categories of waste accurately.","PeriodicalId":411198,"journal":{"name":"Proceedings of the 2019 3rd High Performance Computing and Cluster Technologies Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128486642","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 16
Detecting Smooth Surface Dental Caries in Frontal Teeth Using Image Processing 利用图像处理技术检测门牙光滑面龋
Patric Kiel Navarro, Jihan Karla Cadongonan, Michael Reyes, J. D. Goma
Dental caries is one of the most common tooth diseases in the world which affects people of all ages. In this study, we developed a model that detects and locates smooth surface carious regions in frontal teeth images using Support Vector Machine and Decision Tree in MATLAB R2018a Classification Learner. A total of 45 images with smooth surface dental caries were used which consists of 30 training images and 15 images for testing and validation. Images are pre-processed using Histogram Equalization and are segmented further into 10x10 blocks where the set of color and texture features such as Intensity, Gradient, Hue, Saturation, and Entropy were extracted. The study showed significant results with an accuracy of 84% and 78% using Decision Tree and SVM respectively which proved the effectivity of the use of image processing techniques on classification and location of dental caries.
龋齿是世界上最常见的牙齿疾病之一,影响着所有年龄段的人。在本研究中,我们在MATLAB R2018a分类学习器中使用支持向量机和决策树开发了一种检测和定位门牙图像中光滑表面龋齿区域的模型。共使用45张光滑表面龋图像,其中30张为训练图像,15张为测试验证图像。使用直方图均衡化对图像进行预处理,并进一步分割为10x10块,其中提取颜色和纹理特征集,如强度,梯度,色调,饱和度和熵。研究结果表明,决策树和支持向量机的准确率分别为84%和78%,证明了图像处理技术在龋齿分类和定位方面的有效性。
{"title":"Detecting Smooth Surface Dental Caries in Frontal Teeth Using Image Processing","authors":"Patric Kiel Navarro, Jihan Karla Cadongonan, Michael Reyes, J. D. Goma","doi":"10.1145/3341069.3341091","DOIUrl":"https://doi.org/10.1145/3341069.3341091","url":null,"abstract":"Dental caries is one of the most common tooth diseases in the world which affects people of all ages. In this study, we developed a model that detects and locates smooth surface carious regions in frontal teeth images using Support Vector Machine and Decision Tree in MATLAB R2018a Classification Learner. A total of 45 images with smooth surface dental caries were used which consists of 30 training images and 15 images for testing and validation. Images are pre-processed using Histogram Equalization and are segmented further into 10x10 blocks where the set of color and texture features such as Intensity, Gradient, Hue, Saturation, and Entropy were extracted. The study showed significant results with an accuracy of 84% and 78% using Decision Tree and SVM respectively which proved the effectivity of the use of image processing techniques on classification and location of dental caries.","PeriodicalId":411198,"journal":{"name":"Proceedings of the 2019 3rd High Performance Computing and Cluster Technologies Conference","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129902526","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Optimization of Jacobi Iteration on the Intel Xeon Phi Intel Xeon Phi处理器上Jacobi迭代的优化
Wenxiang Yang, Jiming Zou, Liang Deng
Jacobi iteration based on finite difference and finite element discrete scheme is a kind of typical stencil computation in scientific computing. In this paper, we analyze the parallel optimization of Jacobi iteration in the real CFD codes on the Intel Many Integrated Core architecture, and get high performance. We use loop fusion, data structure transformation, subroutine and loop unrolling, cache blocking and some other optimization techniques in our implementation. We also collect hardware performance indicators through the open source performance analysis tools, in order to guide and verify the performance optimization on the many-core architectures. Experimental results on Intel Xeon Phi working in the native execution mode show that our Jacobi iteration can achieve 83.47% parallel efficiency and 4.73 speed ratio of vectorization with a 128 × 128 × 256 grid.
基于有限差分和有限元离散格式的雅可比迭代是科学计算中一种典型的模板计算。本文在Intel多核集成架构下,分析了实际CFD代码中Jacobi迭代的并行优化,并获得了良好的性能。我们在实现中使用了循环融合、数据结构转换、子程序和循环展开、缓存阻塞和其他一些优化技术。我们还通过开源性能分析工具收集硬件性能指标,以指导和验证多核架构上的性能优化。在Intel Xeon Phi处理器上运行本机执行模式的实验结果表明,在128 × 128 × 256网格下,我们的Jacobi迭代可以实现83.47%的并行效率和4.73的矢量化速比。
{"title":"Optimization of Jacobi Iteration on the Intel Xeon Phi","authors":"Wenxiang Yang, Jiming Zou, Liang Deng","doi":"10.1145/3341069.3341071","DOIUrl":"https://doi.org/10.1145/3341069.3341071","url":null,"abstract":"Jacobi iteration based on finite difference and finite element discrete scheme is a kind of typical stencil computation in scientific computing. In this paper, we analyze the parallel optimization of Jacobi iteration in the real CFD codes on the Intel Many Integrated Core architecture, and get high performance. We use loop fusion, data structure transformation, subroutine and loop unrolling, cache blocking and some other optimization techniques in our implementation. We also collect hardware performance indicators through the open source performance analysis tools, in order to guide and verify the performance optimization on the many-core architectures. Experimental results on Intel Xeon Phi working in the native execution mode show that our Jacobi iteration can achieve 83.47% parallel efficiency and 4.73 speed ratio of vectorization with a 128 × 128 × 256 grid.","PeriodicalId":411198,"journal":{"name":"Proceedings of the 2019 3rd High Performance Computing and Cluster Technologies Conference","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125976482","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Decision Level Reward Based Branching Heuristic in Maple Solver 基于决策级奖励的分支启发式Maple解算器
Jing Sun
The SAT problem is one of basic issues of artificial intelligence and computer science. Maple solver is an algorithm solver that specializes in solving SAT problems. In order to improve the efficiency of the solver, decision level reward based branching heuristic was proposed. Firstly, this paper introduces its major framework and two excellent branching heuristics: Variable State Independent Decaying Sum(VSIDS) Decision Heuristic and Learning Rate Based(LRB) Branching Heuristic. Then, a new method named DLR is proposed in view of LRB considering the decision level rate. Finally, experimental results of different sets of instances indicate that the Maple solver with DLR strategy outperforms original version with LRB strategy by reducing the number of conflicts and decisions.
SAT问题是人工智能和计算机科学的基本问题之一。Maple求解器是一个算法求解器,专门用于解决SAT问题。为了提高求解器的效率,提出了基于决策级奖励的分支启发式算法。首先介绍了该算法的主要框架和两种优秀的分支启发式算法:变状态独立衰变和(VSIDS)决策启发式和基于学习率的(LRB)分支启发式。然后,针对考虑决策水平率的LRB,提出了一种新的DLR方法。最后,不同实例集的实验结果表明,采用DLR策略的Maple解算器在减少冲突和决策数量方面优于采用LRB策略的Maple解算器。
{"title":"Decision Level Reward Based Branching Heuristic in Maple Solver","authors":"Jing Sun","doi":"10.1145/3341069.3342971","DOIUrl":"https://doi.org/10.1145/3341069.3342971","url":null,"abstract":"The SAT problem is one of basic issues of artificial intelligence and computer science. Maple solver is an algorithm solver that specializes in solving SAT problems. In order to improve the efficiency of the solver, decision level reward based branching heuristic was proposed. Firstly, this paper introduces its major framework and two excellent branching heuristics: Variable State Independent Decaying Sum(VSIDS) Decision Heuristic and Learning Rate Based(LRB) Branching Heuristic. Then, a new method named DLR is proposed in view of LRB considering the decision level rate. Finally, experimental results of different sets of instances indicate that the Maple solver with DLR strategy outperforms original version with LRB strategy by reducing the number of conflicts and decisions.","PeriodicalId":411198,"journal":{"name":"Proceedings of the 2019 3rd High Performance Computing and Cluster Technologies Conference","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125269783","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
Proceedings of the 2019 3rd High Performance Computing and Cluster Technologies Conference
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1