首页 > 最新文献

Wuhan University Journal of Natural Sciences最新文献

英文 中文
Semantic Segmentation Using DeepLabv3+ Model for Fabric Defect Detection 基于DeepLabv3+模型的织物疵点检测语义分割
Q3 Multidisciplinary Pub Date : 2022-12-01 DOI: 10.1051/wujns/2022276539
Runhu Zhu, B. Xin, N. Deng, Mingzhu Fan
Currently, numerous automatic fabric defect detection algorithms have been proposed. Traditional machine vision algorithms that set separate parameters for different textures and defects rely on the manual design of corresponding features to complete the detection. To overcome the limitations of traditional algorithms, deep learning-based correlative algorithms can extract more complex image features and perform better in image classification and object detection. A pixel-level defect segmentation methodology using DeepLabv3+, a classical semantic segmentation network, is proposed in this paper. Based on ResNet-18, ResNet-50 and Mobilenetv2, three DeepLabv3+ networks are constructed, which are trained and tested from data sets produced by capturing or publicizing images. The experimental results show that the performance of three DeepLabv3+ networks is close to one another on the four indicators proposed (Precision, Recall, F1-score and Accuracy), proving them to achieve defect detection and semantic segmentation, which provide new ideas and technical support for fabric defect detection.
目前,已经提出了许多织物缺陷自动检测算法。传统的机器视觉算法对不同的纹理和缺陷设置单独的参数,依靠人工设计相应的特征来完成检测。为了克服传统算法的局限性,基于深度学习的相关算法可以提取更复杂的图像特征,在图像分类和目标检测方面表现更好。提出了一种基于经典语义分割网络DeepLabv3+的像素级缺陷分割方法。基于ResNet-18、ResNet-50和Mobilenetv2,构建了三个DeepLabv3+网络,通过采集或发布图像产生的数据集对其进行训练和测试。实验结果表明,三种DeepLabv3+网络在提出的四个指标(Precision、Recall、F1-score和Accuracy)上的性能接近,证明了它们能够实现疵点检测和语义分割,为织物疵点检测提供了新的思路和技术支持。
{"title":"Semantic Segmentation Using DeepLabv3+ Model for Fabric Defect Detection","authors":"Runhu Zhu, B. Xin, N. Deng, Mingzhu Fan","doi":"10.1051/wujns/2022276539","DOIUrl":"https://doi.org/10.1051/wujns/2022276539","url":null,"abstract":"Currently, numerous automatic fabric defect detection algorithms have been proposed. Traditional machine vision algorithms that set separate parameters for different textures and defects rely on the manual design of corresponding features to complete the detection. To overcome the limitations of traditional algorithms, deep learning-based correlative algorithms can extract more complex image features and perform better in image classification and object detection. A pixel-level defect segmentation methodology using DeepLabv3+, a classical semantic segmentation network, is proposed in this paper. Based on ResNet-18, ResNet-50 and Mobilenetv2, three DeepLabv3+ networks are constructed, which are trained and tested from data sets produced by capturing or publicizing images. The experimental results show that the performance of three DeepLabv3+ networks is close to one another on the four indicators proposed (Precision, Recall, F1-score and Accuracy), proving them to achieve defect detection and semantic segmentation, which provide new ideas and technical support for fabric defect detection.","PeriodicalId":23976,"journal":{"name":"Wuhan University Journal of Natural Sciences","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46910835","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
Photometric Stereo-Based 3D Reconstruction Method for the Objective Evaluation of Fabric Pilling 基于光度立体三维重建的织物起球客观评价方法
Q3 Multidisciplinary Pub Date : 2022-12-01 DOI: 10.1051/wujns/2022276550
Jian Luo, B. Xin, Xi Yuan
Fabric pilling evaluation has been considered as an essential element for textile quality inspection. Traditional manual method is still based on human eyes and brain, which is subjective with low efficiency. This paper proposes an objective evaluation method based on semi-calibrated near-light Photometric Stereo (PS). Fabric images are digitalized by self-developed image acquisition system. The 3D depth information of each point could be obtained by PS algorithm and then mapped to 2D grayscale image. After that, the non-textured image could be filtered by using the Gaussian low-pass filter. The pilling segmentation is conducted by using global iterative threshold segmentation method, and then K-Nearest Neighbor (KNN) is finally selected as a tool for the grade classification of fabric pilling. Our experimental results show that the proposed evaluation system could achieve excellent judging performance for the objective pilling evaluation.
织物起球评价一直被认为是纺织品质量检验的一个重要组成部分。传统的手工方法仍然是基于人眼和大脑的,具有主观性,效率低。本文提出了一种基于半定标近光光度立体(PS)的客观评价方法。采用自主研发的图像采集系统对织物图像进行数字化处理。可以通过PS算法获得每个点的3D深度信息,然后将其映射到2D灰度图像。然后,可以使用高斯低通滤波器对无纹理图像进行滤波。采用全局迭代阈值分割方法对织物起球进行分割,最终选择K近邻(KNN)作为织物起球等级分类的工具。实验结果表明,所提出的评价系统能够对客观起球评价取得良好的评判性能。
{"title":"Photometric Stereo-Based 3D Reconstruction Method for the Objective Evaluation of Fabric Pilling","authors":"Jian Luo, B. Xin, Xi Yuan","doi":"10.1051/wujns/2022276550","DOIUrl":"https://doi.org/10.1051/wujns/2022276550","url":null,"abstract":"Fabric pilling evaluation has been considered as an essential element for textile quality inspection. Traditional manual method is still based on human eyes and brain, which is subjective with low efficiency. This paper proposes an objective evaluation method based on semi-calibrated near-light Photometric Stereo (PS). Fabric images are digitalized by self-developed image acquisition system. The 3D depth information of each point could be obtained by PS algorithm and then mapped to 2D grayscale image. After that, the non-textured image could be filtered by using the Gaussian low-pass filter. The pilling segmentation is conducted by using global iterative threshold segmentation method, and then K-Nearest Neighbor (KNN) is finally selected as a tool for the grade classification of fabric pilling. Our experimental results show that the proposed evaluation system could achieve excellent judging performance for the objective pilling evaluation.","PeriodicalId":23976,"journal":{"name":"Wuhan University Journal of Natural Sciences","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43740937","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
Manufacturing Resource Scheduling Based on Deep Q-Network 基于深度Q网络的制造资源调度
Q3 Multidisciplinary Pub Date : 2022-12-01 DOI: 10.1051/wujns/2022276531
Yufei Zhang, Yuanhao Zou, Xiaodong Zhao
To optimize machine allocation and task dispatching in smart manufacturing factories, this paper proposes a manufacturing resource scheduling framework based on reinforcement learning (RL). The framework formulates the entire scheduling process as a multi-stage sequential decision problem, and further obtains the scheduling order by the combination of deep convolutional neural network (CNN) and improved deep Q-network (DQN). Specifically, with respect to the representation of the Markov decision process (MDP), the feature matrix is considered as the state space and a set of heuristic dispatching rules are denoted as the action space. In addition, the deep CNN is employed to approximate the state-action values, and the double dueling deep Q-network with prioritized experience replay and noisy network (D3QPN2) is adopted to determine the appropriate action according to the current state. In the experiments, compared with the traditional heuristic method, the proposed method is able to learn high-quality scheduling policy and achieve shorter makespan on the standard public datasets.
为了优化智能制造工厂中的机器分配和任务调度,本文提出了一种基于强化学习的制造资源调度框架。该框架将整个调度过程表述为一个多阶段序列决策问题,并通过深度卷积神经网络(CNN)和改进的深度Q网络(DQN)的结合进一步获得调度顺序。具体而言,关于马尔可夫决策过程(MDP)的表示,将特征矩阵视为状态空间,并将一组启发式调度规则表示为动作空间。此外,采用深度CNN来近似状态动作值,并采用具有优先体验重放和噪声网络的双重决斗深度Q网络(D3QPN2)来根据当前状态确定适当的动作。在实验中,与传统的启发式方法相比,该方法能够学习高质量的调度策略,并在标准公共数据集上实现更短的完成时间。
{"title":"Manufacturing Resource Scheduling Based on Deep Q-Network","authors":"Yufei Zhang, Yuanhao Zou, Xiaodong Zhao","doi":"10.1051/wujns/2022276531","DOIUrl":"https://doi.org/10.1051/wujns/2022276531","url":null,"abstract":"To optimize machine allocation and task dispatching in smart manufacturing factories, this paper proposes a manufacturing resource scheduling framework based on reinforcement learning (RL). The framework formulates the entire scheduling process as a multi-stage sequential decision problem, and further obtains the scheduling order by the combination of deep convolutional neural network (CNN) and improved deep Q-network (DQN). Specifically, with respect to the representation of the Markov decision process (MDP), the feature matrix is considered as the state space and a set of heuristic dispatching rules are denoted as the action space. In addition, the deep CNN is employed to approximate the state-action values, and the double dueling deep Q-network with prioritized experience replay and noisy network (D3QPN2) is adopted to determine the appropriate action according to the current state. In the experiments, compared with the traditional heuristic method, the proposed method is able to learn high-quality scheduling policy and achieve shorter makespan on the standard public datasets.","PeriodicalId":23976,"journal":{"name":"Wuhan University Journal of Natural Sciences","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47539035","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
A Fault Diagnosis Model for Complex Industrial Process Based on Improved TCN and 1D CNN 基于改进TCN和1D CNN的复杂工业过程故障诊断模型
Q3 Multidisciplinary Pub Date : 2022-12-01 DOI: 10.1051/wujns/2022276453
Mingsheng Wang, Bo Huang, Chuanpeng He, Peipei Li, Jiahao Zhang, Yu Chen, Jie Tong
Fast and accurate fault diagnosis of strongly coupled, time-varying, multivariable complex industrial processes remain a challenging problem. We propose an industrial fault diagnosis model. This model is established on the base of the temporal convolutional network (TCN) and the one-dimensional convolutional neural network (1DCNN). We add a batch normalization layer before the TCN layer, and the activation function of TCN is replaced from the initial ReLU function to the LeakyReLU function. To extract local correlations of features, a 1D convolution layer is added after the TCN layer, followed by the multi-head self-attention mechanism before the fully connected layer to enhance the model's diagnostic ability. The extended Tennessee Eastman Process (TEP) dataset is used as the index to evaluate the performance of our model. The experiment results show the high fault recognition accuracy and better generalization performance of our model, which proves its effectiveness. Additionally, the model's application on the diesel engine failure dataset of our partner's project validates the effectiveness of it in industrial scenarios.
对强耦合、时变、多变量的复杂工业过程进行快速、准确的故障诊断一直是一个具有挑战性的问题。提出了一种工业故障诊断模型。该模型是在时域卷积网络(TCN)和一维卷积神经网络(1DCNN)的基础上建立的。我们在TCN层之前增加了一个批归一化层,并将TCN的激活函数由最初的ReLU函数替换为LeakyReLU函数。为了提取特征的局部相关性,在TCN层之后加入1D卷积层,在全连接层之前加入多头自关注机制,增强模型的诊断能力。扩展的田纳西伊士曼过程(TEP)数据集被用作评估模型性能的指标。实验结果表明,该模型具有较高的故障识别精度和较好的泛化性能,证明了该模型的有效性。此外,该模型在合作伙伴项目的柴油机故障数据集上的应用验证了该模型在工业场景中的有效性。
{"title":"A Fault Diagnosis Model for Complex Industrial Process Based on Improved TCN and 1D CNN","authors":"Mingsheng Wang, Bo Huang, Chuanpeng He, Peipei Li, Jiahao Zhang, Yu Chen, Jie Tong","doi":"10.1051/wujns/2022276453","DOIUrl":"https://doi.org/10.1051/wujns/2022276453","url":null,"abstract":"Fast and accurate fault diagnosis of strongly coupled, time-varying, multivariable complex industrial processes remain a challenging problem. We propose an industrial fault diagnosis model. This model is established on the base of the temporal convolutional network (TCN) and the one-dimensional convolutional neural network (1DCNN). We add a batch normalization layer before the TCN layer, and the activation function of TCN is replaced from the initial ReLU function to the LeakyReLU function. To extract local correlations of features, a 1D convolution layer is added after the TCN layer, followed by the multi-head self-attention mechanism before the fully connected layer to enhance the model's diagnostic ability. The extended Tennessee Eastman Process (TEP) dataset is used as the index to evaluate the performance of our model. The experiment results show the high fault recognition accuracy and better generalization performance of our model, which proves its effectiveness. Additionally, the model's application on the diesel engine failure dataset of our partner's project validates the effectiveness of it in industrial scenarios.","PeriodicalId":23976,"journal":{"name":"Wuhan University Journal of Natural Sciences","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41585850","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 Short Text Classification Model for Electrical Equipment Defects Based on Contextual Features 基于上下文特征的电气设备缺陷短文本分类模型
Q3 Multidisciplinary Pub Date : 2022-12-01 DOI: 10.1051/wujns/2022276465
Peipei Li, Guohui Zeng, Bo Huang, Ling Yin, Zhicai Shi, Chuanpeng He, Wei Liu, Yu Chen
The defective information of substation equipment is usually recorded in the form of text. Due to the irregular spoken expressions of equipment inspectors, the defect information lacks sufficient contextual information and becomes more ambiguous. To solve the problem of sparse data deficient of semantic features in classification process, a short text classification model for defects in electrical equipment that fuses contextual features is proposed. The model uses bi-directional long-short term memory in short text classification to obtain the contextual semantics of short text data. Also, the attention mechanism is introduced to assign weights to different information in the context. Meanwhile, this model optimizes the convolutional neural network parameters with the help of the genetic algorithm for extracting salient features. According to the experimental results, the model can effectively realize the classification of power equipment defect text. In addition, the model was tested on an automotive parts repair dataset provided by the project partners, thus enabling the effective application of the method in specific industrial scenarios.
变电站设备的缺陷信息通常以文本形式记录。由于设备检查员的口语表达不规则,缺陷信息缺乏足够的上下文信息,变得更加模糊。针对分类过程中稀疏数据缺乏语义特征的问题,提出了一种融合上下文特征的电气设备缺陷短文本分类模型。该模型在短文本分类中使用双向长短期记忆来获得短文本数据的上下文语义。此外,还引入了注意力机制来为上下文中的不同信息分配权重。同时,该模型借助遗传算法对卷积神经网络参数进行优化,提取显著特征。根据实验结果,该模型可以有效地实现电力设备缺陷文本的分类。此外,该模型在项目合作伙伴提供的汽车零部件维修数据集上进行了测试,从而使该方法能够在特定的工业场景中有效应用。
{"title":"A Short Text Classification Model for Electrical Equipment Defects Based on Contextual Features","authors":"Peipei Li, Guohui Zeng, Bo Huang, Ling Yin, Zhicai Shi, Chuanpeng He, Wei Liu, Yu Chen","doi":"10.1051/wujns/2022276465","DOIUrl":"https://doi.org/10.1051/wujns/2022276465","url":null,"abstract":"The defective information of substation equipment is usually recorded in the form of text. Due to the irregular spoken expressions of equipment inspectors, the defect information lacks sufficient contextual information and becomes more ambiguous. To solve the problem of sparse data deficient of semantic features in classification process, a short text classification model for defects in electrical equipment that fuses contextual features is proposed. The model uses bi-directional long-short term memory in short text classification to obtain the contextual semantics of short text data. Also, the attention mechanism is introduced to assign weights to different information in the context. Meanwhile, this model optimizes the convolutional neural network parameters with the help of the genetic algorithm for extracting salient features. According to the experimental results, the model can effectively realize the classification of power equipment defect text. In addition, the model was tested on an automotive parts repair dataset provided by the project partners, thus enabling the effective application of the method in specific industrial scenarios.","PeriodicalId":23976,"journal":{"name":"Wuhan University Journal of Natural Sciences","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46052282","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
Automatic Detection of Weld Defects in Pressure Vessel X-Ray Image Based on CNN 基于CNN的压力容器X射线图像焊缝缺陷自动检测
Q3 Multidisciplinary Pub Date : 2022-12-01 DOI: 10.1051/wujns/2022276489
Wenkai Xiao, Xiang Feng, Shuiyu Nan, Linlin Zhang
The visual automatic detection method based on artificial intelligence has attracted more and more attention. In order to improve the performance of weld nondestructive defect detection, we propose DRepDet (Dilated RepPoints Detector). First, we analyze the weld defect dataset in detail and summarize the distribution characteristics of weld defect data, that is, the defect scale is very different and the aspect ratio distribution range is large. Second, according to the distribution characteristics of defect data, we design DResBlock module, and introduce dilated convolution with different dilated rates in the process of feature extraction to expand the receptive field and improve the detection performance of large-scale defects. Based on DResBlock and anchor-free detection framework RepPoints, we design DRepDet. Extensive experiments show that our proposed detector can detect 7 types of defects. When using combined dilated rate convolution network in detection, the AP50 and Recall50 of big defects are improved by 3.1% and 3.3% respectively, while the performance of small defects is not affected, almost the same or slightly improved. The final performance of the whole network is improved a large margin, with 6% AP50 and 4.2% Recall50 compared with Cascade R-CNN and 1.4% AP50 and 2.9% Recall50 compared with RepPoints.
基于人工智能的视觉自动检测方法越来越受到人们的关注。为了提高焊缝无损检测的性能,我们提出了DRepDet(Dilated RepPoints Detector)。首先,我们对焊缝缺陷数据集进行了详细分析,总结了焊缝缺陷数据的分布特征,即缺陷规模差异很大,长宽比分布范围较大。其次,根据缺陷数据的分布特征,我们设计了DResBlock模块,并在特征提取过程中引入不同扩张率的扩张卷积,以扩大感受野,提高对大规模缺陷的检测性能。基于DResBlock和无锚检测框架RepPoints,我们设计了DRepDet。大量实验表明,我们提出的检测器可以检测7种类型的缺陷。当使用组合扩张率卷积网络进行检测时,大缺陷的AP50和Recall50分别提高了3.1%和3.3%,而小缺陷的性能没有受到影响,几乎相同或略有提高。整个网络的最终性能有了很大的提高,与Cascade R-CNN相比,AP50和Recall50分别为6%和4.2%,与RepPoints相比,AP50%和Recall50%分别为1.4%和2.9%。
{"title":"Automatic Detection of Weld Defects in Pressure Vessel X-Ray Image Based on CNN","authors":"Wenkai Xiao, Xiang Feng, Shuiyu Nan, Linlin Zhang","doi":"10.1051/wujns/2022276489","DOIUrl":"https://doi.org/10.1051/wujns/2022276489","url":null,"abstract":"The visual automatic detection method based on artificial intelligence has attracted more and more attention. In order to improve the performance of weld nondestructive defect detection, we propose DRepDet (Dilated RepPoints Detector). First, we analyze the weld defect dataset in detail and summarize the distribution characteristics of weld defect data, that is, the defect scale is very different and the aspect ratio distribution range is large. Second, according to the distribution characteristics of defect data, we design DResBlock module, and introduce dilated convolution with different dilated rates in the process of feature extraction to expand the receptive field and improve the detection performance of large-scale defects. Based on DResBlock and anchor-free detection framework RepPoints, we design DRepDet. Extensive experiments show that our proposed detector can detect 7 types of defects. When using combined dilated rate convolution network in detection, the AP50 and Recall50 of big defects are improved by 3.1% and 3.3% respectively, while the performance of small defects is not affected, almost the same or slightly improved. The final performance of the whole network is improved a large margin, with 6% AP50 and 4.2% Recall50 compared with Cascade R-CNN and 1.4% AP50 and 2.9% Recall50 compared with RepPoints.","PeriodicalId":23976,"journal":{"name":"Wuhan University Journal of Natural Sciences","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45820897","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
A Class of n-to-1 Binomials over Finite Fields 有限域上一类n- 1二项式
Q3 Multidisciplinary Pub Date : 2022-10-01 DOI: 10.1051/wujns/2022275372
Xiaoer Qin, Li Yan
[see formula in PDF]-to-1 mappings have many applications in combinatorial design, coding theory and cryptography. In this paper, by using piecewise method and monomials on subsets of [see formula in PDF]-th roots of unity, we show a class of [see formula in PDF]-to-1 binomials having the form [see formula in PDF] over [see formula in PDF].
[见PDF中的公式]to-1映射在组合设计、编码理论和密码学中有许多应用。在本文中,我们利用分段方法和一元根的子集上的单项式,给出了一类[见PDF中公式]/[见PDF中公式]的1 -1二项式。
{"title":"A Class of n-to-1 Binomials over Finite Fields","authors":"Xiaoer Qin, Li Yan","doi":"10.1051/wujns/2022275372","DOIUrl":"https://doi.org/10.1051/wujns/2022275372","url":null,"abstract":"\u0000[see formula in PDF]-to-1 mappings have many applications in combinatorial design, coding theory and cryptography. In this paper, by using piecewise method and monomials on subsets of [see formula in PDF]-th roots of unity, we show a class of [see formula in PDF]-to-1 binomials having the form [see formula in PDF] over [see formula in PDF].","PeriodicalId":23976,"journal":{"name":"Wuhan University Journal of Natural Sciences","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45218257","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
Pointwise Estimate of Cahn-Hilliard Equation with Inertial Term in ℝ3 含惯性项的Cahn-Hilliard方程的点态估计
Q3 Multidisciplinary Pub Date : 2022-10-01 DOI: 10.1051/wujns/2022275361
Hongmei Xu, Yue Zhu
Cauchy problem of Cahn-Hilliard equation with inertial term in three-dimensional space is considered. Using delicate analysis of its Green function and its convolution with nonlinear term, pointwise decay rate is obtained.
考虑三维空间中带有惯性项的Cahn-Hilliard方程的Cauchy问题。通过对格林函数及其与非线性项的卷积的精细分析,得到了逐点衰减率。
{"title":"Pointwise Estimate of Cahn-Hilliard Equation with Inertial Term in ℝ3","authors":"Hongmei Xu, Yue Zhu","doi":"10.1051/wujns/2022275361","DOIUrl":"https://doi.org/10.1051/wujns/2022275361","url":null,"abstract":"Cauchy problem of Cahn-Hilliard equation with inertial term in three-dimensional space is considered. Using delicate analysis of its Green function and its convolution with nonlinear term, pointwise decay rate is obtained.","PeriodicalId":23976,"journal":{"name":"Wuhan University Journal of Natural Sciences","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44909133","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
A Unified Strategy for Formal Derivation and Proof of Binary Tree Nonrecursive Algorithms 二叉树非递归算法形式推导与证明的统一策略
Q3 Multidisciplinary Pub Date : 2022-10-01 DOI: 10.1051/wujns/2022275415
Z. Zuo, Zhipeng Huang, Yue-Jian Fang, Qing Huang, Yuan Wang, Changjing Wang
In the formal derivation and proof of binary tree algorithms, Dijkstra's weakest predicate method is commonly used. However, the method has some drawbacks, including a time-consuming derivation process, complicated loop invariants, and the inability to generate executable programs from the specification. This paper proposes a unified strategy for the formal derivation and proof of binary tree non-recursive algorithms to address these issues. First, binary tree problem solving sequences are decomposed into two types of recursive relations based on queue and stack, and two corresponding loop invariant templates are constructed. Second, high-reliability Apla (abstract programming language) programs are derived using recursive relations and loop invariants. Finally, Apla programs are converted automatically into C++ executable programs. Two types of problems with binary tree queue and stack recursive relations are used as examples, and their formal derivation and proof are performed to validate the proposed strategy's effectiveness. This strategy improves the efficiency and correctness of binary tree algorithm derivation.
在二叉树算法的形式推导和证明中,通常使用Dijkstra的最弱谓词方法。然而,该方法有一些缺点,包括耗时的推导过程、复杂的循环不变量,以及无法根据规范生成可执行程序。为了解决这些问题,本文提出了一种统一的二叉树非递归算法的形式推导和证明策略。首先,将二叉树问题求解序列分解为基于队列和堆栈的两种递归关系,并构造了两个相应的循环不变模板。其次,利用递归关系和循环不变量导出了高可靠性的Apla(抽象编程语言)程序。最后,Apla程序被自动转换为C++可执行程序。以二叉树队列和堆栈递归关系的两类问题为例,对它们进行了形式化推导和证明,验证了该策略的有效性。该策略提高了二叉树算法推导的效率和正确性。
{"title":"A Unified Strategy for Formal Derivation and Proof of Binary Tree Nonrecursive Algorithms","authors":"Z. Zuo, Zhipeng Huang, Yue-Jian Fang, Qing Huang, Yuan Wang, Changjing Wang","doi":"10.1051/wujns/2022275415","DOIUrl":"https://doi.org/10.1051/wujns/2022275415","url":null,"abstract":"In the formal derivation and proof of binary tree algorithms, Dijkstra's weakest predicate method is commonly used. However, the method has some drawbacks, including a time-consuming derivation process, complicated loop invariants, and the inability to generate executable programs from the specification. This paper proposes a unified strategy for the formal derivation and proof of binary tree non-recursive algorithms to address these issues. First, binary tree problem solving sequences are decomposed into two types of recursive relations based on queue and stack, and two corresponding loop invariant templates are constructed. Second, high-reliability Apla (abstract programming language) programs are derived using recursive relations and loop invariants. Finally, Apla programs are converted automatically into C++ executable programs. Two types of problems with binary tree queue and stack recursive relations are used as examples, and their formal derivation and proof are performed to validate the proposed strategy's effectiveness. This strategy improves the efficiency and correctness of binary tree algorithm derivation.","PeriodicalId":23976,"journal":{"name":"Wuhan University Journal of Natural Sciences","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46071825","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
Complete qth-Moment Convergence of Moving Average Process for m-WOD Random Variable m-WOD随机变量移动平均过程的完全qth矩收敛性
Q3 Multidisciplinary Pub Date : 2022-10-01 DOI: 10.1051/wujns/2022275396
Mingzhu Song, Yongfeng Wu, Ying Chu
In this paper, we obtained complete qth-moment convergence of the moving average processes, which is generated by m-WOD moving random variables. The results in this article improve and extend the results of the moving average process. m-WOD random variables include WOD, m-NA, m-NOD and m-END random variables, so the results in the paper also promote the corresponding ones in WOD, m-NA, m-NOD, m-END random variables .
在本文中,我们得到了由m-WOD移动随机变量产生的移动平均过程的完全qth矩收敛性。本文的结果改进和扩展了移动平均过程的结果。m-WOD随机变量包括WOD、m-NA、m-NOD和m-END随机变量,因此本文的结果也推广了WOD、m-NA、m-node和m-END中相应的随机变量。
{"title":"Complete qth-Moment Convergence of Moving Average Process for m-WOD Random Variable","authors":"Mingzhu Song, Yongfeng Wu, Ying Chu","doi":"10.1051/wujns/2022275396","DOIUrl":"https://doi.org/10.1051/wujns/2022275396","url":null,"abstract":"In this paper, we obtained complete qth-moment convergence of the moving average processes, which is generated by m-WOD moving random variables. The results in this article improve and extend the results of the moving average process. m-WOD random variables include WOD, m-NA, m-NOD and m-END random variables, so the results in the paper also promote the corresponding ones in WOD, m-NA, m-NOD, m-END random variables .","PeriodicalId":23976,"journal":{"name":"Wuhan University Journal of Natural Sciences","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49664854","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
期刊
Wuhan University Journal of Natural Sciences
全部 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