首页 > 最新文献

Conference on Pure, Applied, and Computational Mathematics最新文献

英文 中文
Investigation of telescopic boom with single cylinder and pinning system for truck crane 汽车起重机单缸伸缩臂及固定系统的研究
Pub Date : 2023-06-14 DOI: 10.1117/12.2679234
Xiang Wen
Structure of telescopic boom is becoming increasingly complicated, since truck crane with excellent performance, larger-ton as well as intelligence has dominated the tendency of development, enterprises home and abroad attach importance to the investigation of telescopic boom and some achievements have been obtained. So far, structure of telescopic boom with single cylinder and pinning system equipped with high intelligence and reliable performance represents the newest technology. Targeted with telescopic boom with single cylinder and pinning system, the paper builds the model of the whole telescopic boom. Secondly, the paper investigates the statics of telescopic boom, which provides strong proof for the optimization design of telescopic boom, more specifically, at the background of crane with lifting competence 25 ton(rating load), contour plot of press and displacement for each boom in all-extended condition are also studied, which contributes to strengthening design of slide-pad attached to moving boom and also confirms location of regional stress concentration for each boom. Finally, the cross-section size for the first telescopic boom is optimized by using optimization toolbox provided by MATLAB software which brings about the reducing gross weight of the whole system.
伸缩臂结构日趋复杂,汽车起重机以性能优良、吨位大、智能化为主导发展趋势,国内外企业重视伸缩臂的研究,并取得了一些成果。目前,智能化程度高、性能可靠的单缸伸缩臂结构和固定系统代表了最新技术。本文以单缸夹紧系统伸缩臂为研究对象,建立了整体伸缩臂模型。其次,本文对伸缩臂的静力学进行了研究,为伸缩臂的优化设计提供了有力的依据,具体以起升能力为25吨(额定载荷)的起重机为背景,研究了各伸缩臂在全伸出状态下的压力和位移等高线图,有助于加强动臂附滑垫的设计,确定各伸缩臂区域应力集中的位置。最后,利用MATLAB软件提供的优化工具箱对第一伸缩臂的横截面尺寸进行优化,使整个系统的总重量得到减轻。
{"title":"Investigation of telescopic boom with single cylinder and pinning system for truck crane","authors":"Xiang Wen","doi":"10.1117/12.2679234","DOIUrl":"https://doi.org/10.1117/12.2679234","url":null,"abstract":"Structure of telescopic boom is becoming increasingly complicated, since truck crane with excellent performance, larger-ton as well as intelligence has dominated the tendency of development, enterprises home and abroad attach importance to the investigation of telescopic boom and some achievements have been obtained. So far, structure of telescopic boom with single cylinder and pinning system equipped with high intelligence and reliable performance represents the newest technology. Targeted with telescopic boom with single cylinder and pinning system, the paper builds the model of the whole telescopic boom. Secondly, the paper investigates the statics of telescopic boom, which provides strong proof for the optimization design of telescopic boom, more specifically, at the background of crane with lifting competence 25 ton(rating load), contour plot of press and displacement for each boom in all-extended condition are also studied, which contributes to strengthening design of slide-pad attached to moving boom and also confirms location of regional stress concentration for each boom. Finally, the cross-section size for the first telescopic boom is optimized by using optimization toolbox provided by MATLAB software which brings about the reducing gross weight of the whole system.","PeriodicalId":301595,"journal":{"name":"Conference on Pure, Applied, and Computational Mathematics","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121123069","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
Research on glass relics based on neural network and K-means clustering algorithm 基于神经网络和K-means聚类算法的玻璃文物研究
Pub Date : 2023-06-14 DOI: 10.1117/12.2678966
Dechen Xing, Tingting Yan, Zhuoling Han, Jiawei Liu, Long Ma
In this paper, we construct a prediction and classification model based on neural network and K-means clustering algorithm to complete the prediction of glass composition before weathering and the classification of unknown glass. In the process of studying glass relics, we discussed the important chemical components and analyzed their influence on the properties of glass. At the same time, through the collected data, the neural network algorithm is used to train and test the data to analyze the composition content of glass before and after weathering. Then, the classification simulation of the data is carried out according to the K-means clustering algorithm. Finally, the classification results of glass relics with different chemical composition in the classification model are analyzed. We conclude that there are six classification systems for high-potassium glass and lead-barium glass. Effective classification can not only reduce the difficulty of scholars' archaeological classification, but also effectively improve the research value of glass relics.
本文构建了基于神经网络和K-means聚类算法的预测分类模型,完成了风化前玻璃成分的预测和未知玻璃的分类。在研究玻璃文物的过程中,讨论了重要的化学成分,并分析了它们对玻璃性能的影响。同时,通过采集到的数据,利用神经网络算法对数据进行训练和测试,分析风化前后玻璃的成分含量。然后,根据K-means聚类算法对数据进行分类模拟。最后,对分类模型中不同化学成分玻璃文物的分类结果进行了分析。我们认为高钾玻璃和铅钡玻璃有六大分类体系。有效的分类不仅可以降低学者考古分类的难度,还可以有效地提高玻璃文物的研究价值。
{"title":"Research on glass relics based on neural network and K-means clustering algorithm","authors":"Dechen Xing, Tingting Yan, Zhuoling Han, Jiawei Liu, Long Ma","doi":"10.1117/12.2678966","DOIUrl":"https://doi.org/10.1117/12.2678966","url":null,"abstract":"In this paper, we construct a prediction and classification model based on neural network and K-means clustering algorithm to complete the prediction of glass composition before weathering and the classification of unknown glass. In the process of studying glass relics, we discussed the important chemical components and analyzed their influence on the properties of glass. At the same time, through the collected data, the neural network algorithm is used to train and test the data to analyze the composition content of glass before and after weathering. Then, the classification simulation of the data is carried out according to the K-means clustering algorithm. Finally, the classification results of glass relics with different chemical composition in the classification model are analyzed. We conclude that there are six classification systems for high-potassium glass and lead-barium glass. Effective classification can not only reduce the difficulty of scholars' archaeological classification, but also effectively improve the research value of glass relics.","PeriodicalId":301595,"journal":{"name":"Conference on Pure, Applied, and Computational Mathematics","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124218100","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
Comparison of two causal inference methods: linear regression and matching score and introduction of causal forest 线性回归与匹配分数两种因果推理方法的比较及因果森林的介绍
Pub Date : 2023-06-14 DOI: 10.1117/12.2679249
Zhiqi Huang, W. Mo
Under the context of the rapid development of artificial intelligence, the introduction of causal inference will improve the accuracy of machine analysis of data. This work aims to introduce three methods of calculating causal effect, linear regression, propensity score matching and causal forest, illuminate some about the combination of causal inference and matching-learning. Here, we substitute the dataset National Supported Work experiment by Lalonde (1986) into three methods and compare the results. We show experimentally that causal forest Causal forests can minimize data bias and obtain more accurate estimates of causal effects.
在人工智能快速发展的背景下,引入因果推理将提高机器分析数据的准确性。本文介绍了三种计算因果效应的方法:线性回归、倾向得分匹配和因果森林,并对因果推理与匹配学习相结合的一些问题进行了阐述。在这里,我们将Lalonde(1986)的数据集National Supported Work experiment替换为三种方法,并对结果进行比较。我们通过实验证明,因果森林可以最小化数据偏差,并获得更准确的因果效应估计。
{"title":"Comparison of two causal inference methods: linear regression and matching score and introduction of causal forest","authors":"Zhiqi Huang, W. Mo","doi":"10.1117/12.2679249","DOIUrl":"https://doi.org/10.1117/12.2679249","url":null,"abstract":"Under the context of the rapid development of artificial intelligence, the introduction of causal inference will improve the accuracy of machine analysis of data. This work aims to introduce three methods of calculating causal effect, linear regression, propensity score matching and causal forest, illuminate some about the combination of causal inference and matching-learning. Here, we substitute the dataset National Supported Work experiment by Lalonde (1986) into three methods and compare the results. We show experimentally that causal forest Causal forests can minimize data bias and obtain more accurate estimates of causal effects.","PeriodicalId":301595,"journal":{"name":"Conference on Pure, Applied, and Computational Mathematics","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121682094","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
Research on urban shrinkage based on entropy weight TOPSIS-grey correlation analysis method 基于熵权topsis -灰色关联分析法的城市收缩研究
Pub Date : 2023-06-14 DOI: 10.1117/12.2678970
Ziqi Chen, T. Yan, Dechen Xing, Chengnan Cheng
In order to reasonably evaluate the shrinkage degree of 30 cities in Liaoning Province, this paper proposes an Entropy Weight TOPSIS-Grey Correlation Analysis method. Based on the Entropy Weight TOPSIS method and Grey Correlation Degree, the evaluation model of shrinkage degree of 30 cities in Liaoning Province is constructed. Based on the data, we determine six indicators to construct an evaluation model of urban shrinkage, including population growth rate, GDP growth rate, per capita GDP, secondary and tertiary industry employment population growth rate, per capita total social consumption and per capita public budget expenditure. According to the results, the cities are classified into severe shrinkage cities, moderate shrinkage cities, mild shrinkage cities, slight shrinkage cities, and critical or growth cities. In addition, the Grey Correlation Analysis method is used to further quantitatively analyze the impact of various indicators on the shrinkage of urban population changes. We find that the total social consumption per capita and GDP per capita are highly correlated, and except for the growth rate of the employed population in the secondary and tertiary industries, the remaining four indicators are positively correlated with the population growth rate as a whole.
为了合理评价辽宁省30个城市的收缩程度,本文提出了一种熵权topsis -灰色关联分析法。基于熵权TOPSIS法和灰色关联度,构建了辽宁省30个城市收缩程度的评价模型。在此基础上,我们确定了人口增长率、GDP增长率、人均GDP、二、三产业就业人口增长率、人均社会消费总额和人均公共预算支出6个指标,构建了城市收缩的评价模型。根据研究结果,将城市分为严重收缩城市、中度收缩城市、轻度收缩城市、轻微收缩城市和关键或增长型城市。此外,运用灰色关联分析方法,进一步定量分析各指标对城市人口变化收缩的影响。研究发现,社会人均消费总量与人均GDP高度相关,除二、三产业就业人口增长率外,其余4个指标与人口增长率整体呈正相关。
{"title":"Research on urban shrinkage based on entropy weight TOPSIS-grey correlation analysis method","authors":"Ziqi Chen, T. Yan, Dechen Xing, Chengnan Cheng","doi":"10.1117/12.2678970","DOIUrl":"https://doi.org/10.1117/12.2678970","url":null,"abstract":"In order to reasonably evaluate the shrinkage degree of 30 cities in Liaoning Province, this paper proposes an Entropy Weight TOPSIS-Grey Correlation Analysis method. Based on the Entropy Weight TOPSIS method and Grey Correlation Degree, the evaluation model of shrinkage degree of 30 cities in Liaoning Province is constructed. Based on the data, we determine six indicators to construct an evaluation model of urban shrinkage, including population growth rate, GDP growth rate, per capita GDP, secondary and tertiary industry employment population growth rate, per capita total social consumption and per capita public budget expenditure. According to the results, the cities are classified into severe shrinkage cities, moderate shrinkage cities, mild shrinkage cities, slight shrinkage cities, and critical or growth cities. In addition, the Grey Correlation Analysis method is used to further quantitatively analyze the impact of various indicators on the shrinkage of urban population changes. We find that the total social consumption per capita and GDP per capita are highly correlated, and except for the growth rate of the employed population in the secondary and tertiary industries, the remaining four indicators are positively correlated with the population growth rate as a whole.","PeriodicalId":301595,"journal":{"name":"Conference on Pure, Applied, and Computational Mathematics","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133534014","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
Study on the correlation degree of chemical elements of glass based on grey theory 基于灰色理论的玻璃化学元素关联度研究
Pub Date : 2023-06-14 DOI: 10.1117/12.2678952
Lin Zhang, Tingting Yan, Dongyang Xi, Xiaodan Wang
In order to classify glass samples with known chemical composition, this paper adopts K-Means clustering analysis algorithm. By distinguishing the main element content of the two kinds of glass, we have made a subclassification under the major category. The high potassium glass is divided into high silica low potassium oxide group and low silica high potassium oxide group. Lead barium glass can be divided into low barium oxide low phosphorus pentoxide group and high barium oxide high phosphorus pentoxide group. Therefore, after the content of various elements of various glass is obtained, the grey correlation analysis model is used to make the data of each chemical component as the parent sequence and the other chemical components as the sub-sequence to solve the grey correlation coefficient of pair chemical components successively, so as to further analyze the correlation between their chemical components. Therefore, after the completion of the subclassification, it is helpful for archaeologists to distinguish the glass cultural relics after weathering. With the analysis of grey relational degree, the composition relationship of ancient glass relics can be further explored.
为了对化学成分已知的玻璃样品进行分类,本文采用K-Means聚类分析算法。通过区分两种玻璃的主要元素含量,我们在大类下做了一个小分类。高钾玻璃分为高硅低氧化钾基团和低硅高氧化钾基团。铅钡玻璃可分为低氧化钡低五氧化二磷基团和高氧化钡高五氧化二磷基团。因此,在获得各种玻璃的各种元素含量后,采用灰色关联分析模型,将每种化学成分的数据作为父序列,其他化学成分作为子序列,依次求解成对化学成分的灰色关联系数,从而进一步分析其化学成分之间的相关性。因此,在完成分类后,有助于考古学家对风化后的玻璃文物进行区分。通过灰色关联度分析,可以进一步探索古代玻璃文物的成分关系。
{"title":"Study on the correlation degree of chemical elements of glass based on grey theory","authors":"Lin Zhang, Tingting Yan, Dongyang Xi, Xiaodan Wang","doi":"10.1117/12.2678952","DOIUrl":"https://doi.org/10.1117/12.2678952","url":null,"abstract":"In order to classify glass samples with known chemical composition, this paper adopts K-Means clustering analysis algorithm. By distinguishing the main element content of the two kinds of glass, we have made a subclassification under the major category. The high potassium glass is divided into high silica low potassium oxide group and low silica high potassium oxide group. Lead barium glass can be divided into low barium oxide low phosphorus pentoxide group and high barium oxide high phosphorus pentoxide group. Therefore, after the content of various elements of various glass is obtained, the grey correlation analysis model is used to make the data of each chemical component as the parent sequence and the other chemical components as the sub-sequence to solve the grey correlation coefficient of pair chemical components successively, so as to further analyze the correlation between their chemical components. Therefore, after the completion of the subclassification, it is helpful for archaeologists to distinguish the glass cultural relics after weathering. With the analysis of grey relational degree, the composition relationship of ancient glass relics can be further explored.","PeriodicalId":301595,"journal":{"name":"Conference on Pure, Applied, and Computational Mathematics","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116873856","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
Periodic solution of a periodic prey-predator model with variable carrying capacity 具有可变承载能力的周期性捕食-捕食模型的周期解
Pub Date : 2023-06-14 DOI: 10.1117/12.2678958
Liya Yang, Guirong Guo
Commonly, it is assumed that the carrying capacity is constant in the conventional predator-prey model. In contrast, we investigate a predator-prey scenario which have a common prey in this work, the carrying capacity of the predator and the prey are variables changing with the amount of common prey which consumed by both predator and prey. We were able to establish the necessary requirements in favor of asymptotic stability globally and uniqueness of periodic solutions.
通常,在传统的捕食者-猎物模型中,假设承载能力是恒定的。相反,我们研究的是一个有共同猎物的捕食者-猎物情景,捕食者和猎物的承载能力是随捕食者和猎物消耗共同猎物数量而变化的变量。我们能够建立有利于全局渐近稳定和周期解唯一性的必要条件。
{"title":"Periodic solution of a periodic prey-predator model with variable carrying capacity","authors":"Liya Yang, Guirong Guo","doi":"10.1117/12.2678958","DOIUrl":"https://doi.org/10.1117/12.2678958","url":null,"abstract":"Commonly, it is assumed that the carrying capacity is constant in the conventional predator-prey model. In contrast, we investigate a predator-prey scenario which have a common prey in this work, the carrying capacity of the predator and the prey are variables changing with the amount of common prey which consumed by both predator and prey. We were able to establish the necessary requirements in favor of asymptotic stability globally and uniqueness of periodic solutions.","PeriodicalId":301595,"journal":{"name":"Conference on Pure, Applied, and Computational Mathematics","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129907896","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
Forest management decision based on carbon sequestration and multi-index evaluation model 基于固碳和多指标评价模型的森林经营决策
Pub Date : 2023-06-14 DOI: 10.1117/12.2679261
Dechen Xing, Dongyang Xi, Chengnan Cheng, Yingtong Lu
In this paper, according to the definition of carbon sinks, we established a carbon sequestration model by adding parameters, and calculated the carbon sinks of 10 main trees in the sixth and seventh inventory in the state-owned forest area of Heilongjiang Province. Subsequently, we analyzed the four first-level indicators that affect the effective area of the forest, and refined them into ten second-level indicators, and established a multi-index evaluation model based on the entropy weight method to comprehensively evaluate different forests. According to the evaluation results, we constructed the fitting relationship model between forest effective area and forest assessment results. Taking 9 kinds of effective forest area as an example, we get the comprehensive evaluation index corresponding to different forest effective area. Subsequently, we discussed the model of forest effective area based on the model of planting and cutting balanced forest management plan. Based on the previous evaluation model, taking the Saihanba forest as an example, combined with the specific situation of the effective area of the Saihanba forest, a goal programming model was established, to find the transition point of the effective area of the forest and formulate a suitable management plan for forest managers.
本文根据碳汇的定义,通过添加参数建立固碳模型,计算了黑龙江省国有林区第六次和第七次清查中10种主要树种的碳汇。随后,对影响森林有效面积的4个一级指标进行分析,将其细化为10个二级指标,建立基于熵权法的多指标评价模型,对不同森林进行综合评价。根据评价结果,构建了森林有效面积与森林评价结果的拟合关系模型。以9种有效森林面积为例,得到了不同森林有效面积对应的综合评价指标。在此基础上,讨论了基于种伐平衡森林经营计划模式的森林有效面积模型。在之前评价模型的基础上,以塞罕坝森林为例,结合塞罕坝森林有效面积的具体情况,建立目标规划模型,寻找森林有效面积的过渡点,为森林经营者制定合适的经营方案。
{"title":"Forest management decision based on carbon sequestration and multi-index evaluation model","authors":"Dechen Xing, Dongyang Xi, Chengnan Cheng, Yingtong Lu","doi":"10.1117/12.2679261","DOIUrl":"https://doi.org/10.1117/12.2679261","url":null,"abstract":"In this paper, according to the definition of carbon sinks, we established a carbon sequestration model by adding parameters, and calculated the carbon sinks of 10 main trees in the sixth and seventh inventory in the state-owned forest area of Heilongjiang Province. Subsequently, we analyzed the four first-level indicators that affect the effective area of the forest, and refined them into ten second-level indicators, and established a multi-index evaluation model based on the entropy weight method to comprehensively evaluate different forests. According to the evaluation results, we constructed the fitting relationship model between forest effective area and forest assessment results. Taking 9 kinds of effective forest area as an example, we get the comprehensive evaluation index corresponding to different forest effective area. Subsequently, we discussed the model of forest effective area based on the model of planting and cutting balanced forest management plan. Based on the previous evaluation model, taking the Saihanba forest as an example, combined with the specific situation of the effective area of the Saihanba forest, a goal programming model was established, to find the transition point of the effective area of the forest and formulate a suitable management plan for forest managers.","PeriodicalId":301595,"journal":{"name":"Conference on Pure, Applied, and Computational Mathematics","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115283525","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
Research on the muddy children puzzle problem 泥巴儿童拼图问题的研究
Pub Date : 2023-06-14 DOI: 10.1117/12.2679586
Alysa Xu
Muddy children puzzle is a well-spread mathematical puzzle. It can be solved by two ways, which are Kripke Structure and true and false statement. The model checking problem is solved by searching the state space of the system. Ideally, the verification is completely automatic. The main challenge is the state explosion problem. The problem occurs in systems with many components that can interact with each other, so that the number of global states can be enormous. This paper observes that any propositional planning problem can be modeled as an LTL model checking problem as any propositional goal g can be expressed in the form of a counterexample to the temporal formula in LTL. If the problem is solvable, the LTL model checker will return a counterexample, which manifests a solution for the planning problem. This paper shows that the puzzle is solvable for any number of agents if and only if the quantifier in the announcement is positively active (satisfies a form of variety).
泥泞儿童拼图是一个广为流传的数学拼图。它可以通过两种方法来解决,即Kripke结构和真假陈述。通过搜索系统的状态空间来解决模型检验问题。理想情况下,验证是完全自动的。主要的挑战是国家爆炸问题。这个问题发生在具有许多组件的系统中,这些组件可以相互作用,因此全局状态的数量可能是巨大的。本文注意到,任何命题规划问题都可以建模为LTL模型检验问题,因为任何命题目标g都可以用LTL中时间公式的反例形式表示。如果问题是可解决的,那么LTL模型检查器将返回一个反例,该反例显示了计划问题的解决方案。本文证明了当且仅当公告中的量词是积极主动的(满足一种变化形式)时,任何数量的主体都可以解决这个谜题。
{"title":"Research on the muddy children puzzle problem","authors":"Alysa Xu","doi":"10.1117/12.2679586","DOIUrl":"https://doi.org/10.1117/12.2679586","url":null,"abstract":"Muddy children puzzle is a well-spread mathematical puzzle. It can be solved by two ways, which are Kripke Structure and true and false statement. The model checking problem is solved by searching the state space of the system. Ideally, the verification is completely automatic. The main challenge is the state explosion problem. The problem occurs in systems with many components that can interact with each other, so that the number of global states can be enormous. This paper observes that any propositional planning problem can be modeled as an LTL model checking problem as any propositional goal g can be expressed in the form of a counterexample to the temporal formula in LTL. If the problem is solvable, the LTL model checker will return a counterexample, which manifests a solution for the planning problem. This paper shows that the puzzle is solvable for any number of agents if and only if the quantifier in the announcement is positively active (satisfies a form of variety).","PeriodicalId":301595,"journal":{"name":"Conference on Pure, Applied, and Computational Mathematics","volume":"139 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114495536","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
Identification and trend analysis of urban shrinkage in Liaoning province based on grey theory 基于灰色理论的辽宁省城市收缩识别与趋势分析
Pub Date : 2023-06-14 DOI: 10.1117/12.2678961
Weihao Zhang, T. Yan, Zihao Tan, Ziyan Wang
Through the construction of urban shrinkage evaluation indicators, we analyze 30 cities in Liaoning Province. We divide the degree of urban shrinkage according to the evaluation index system. Through the construction of population economic elasticity model, quantitative analysis is made on the impact of various factors in the economic society on the population change of the shrinking city. The results show that there are 5 prefecture-level cities and 13 county-level cities with moderate shrinkage, and 6 prefecture-level cities with severe shrinkage. Liaoning's economic growth of 1%, the population size will be reduced by 2%, indicating that most cities in Liaoning Province are smart shrinking cities. In addition, 12 typical shrinking cities are selected as the main research objects. After 12 time series pass the rank comparison test, a mathematical model is established based on GM (1,1) grey prediction model. Then we predict the urban comprehensive index and urban shrinkage of 12 prefecture level cities.
通过构建城市收缩评价指标,对辽宁省30个城市进行了分析。根据评价指标体系划分城市收缩程度。通过构建人口经济弹性模型,定量分析经济社会各因素对萎缩城市人口变化的影响。结果表明,有5个地级市和13个县级市出现中度收缩,6个地级市出现严重收缩。辽宁经济每增长1%,人口规模就会减少2%,说明辽宁省大部分城市都是智能萎缩城市。此外,选取了12个典型萎缩城市作为主要研究对象。在12个时间序列通过秩比较检验后,基于GM(1,1)灰色预测模型建立数学模型。然后对12个地级市的城市综合指数和城市收缩进行了预测。
{"title":"Identification and trend analysis of urban shrinkage in Liaoning province based on grey theory","authors":"Weihao Zhang, T. Yan, Zihao Tan, Ziyan Wang","doi":"10.1117/12.2678961","DOIUrl":"https://doi.org/10.1117/12.2678961","url":null,"abstract":"Through the construction of urban shrinkage evaluation indicators, we analyze 30 cities in Liaoning Province. We divide the degree of urban shrinkage according to the evaluation index system. Through the construction of population economic elasticity model, quantitative analysis is made on the impact of various factors in the economic society on the population change of the shrinking city. The results show that there are 5 prefecture-level cities and 13 county-level cities with moderate shrinkage, and 6 prefecture-level cities with severe shrinkage. Liaoning's economic growth of 1%, the population size will be reduced by 2%, indicating that most cities in Liaoning Province are smart shrinking cities. In addition, 12 typical shrinking cities are selected as the main research objects. After 12 time series pass the rank comparison test, a mathematical model is established based on GM (1,1) grey prediction model. Then we predict the urban comprehensive index and urban shrinkage of 12 prefecture level cities.","PeriodicalId":301595,"journal":{"name":"Conference on Pure, Applied, and Computational Mathematics","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114557515","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
Estimation of parameters for two-stage mixed fuzzy linear regression models 两阶段混合模糊线性回归模型的参数估计
Pub Date : 2023-06-14 DOI: 10.1117/12.2679155
Xiaoli Xu, Pingping Zhang
Combining nonlinear programming and least squares method, this paper proposes a two-stage mixed fuzzy linear regression model based on distance criterion. In order to ensure that the error of fuzzy estimated value and fuzzy observation value can be reduced when the explanatory variable is a clear number, the fuzzy regression model has a fuzzy adjustment term in addition to the clear regression coefficient. Firstly, based on the distance criterion, a nonlinear programming model is established to obtain the regression coefficient of the explanatory variables, and the fuzzy adjustment term is obtained based on the distance criterion and the least square method. Compared with the existing methods that cannot determine the sign of the coefficient, the method can accurately determine the sign of the regression coefficient. Finally, it is verified that the model has smaller mean square error and higher reliability than other models through a large number of numerical experiments and practical examples.
结合非线性规划和最小二乘法,提出了一种基于距离准则的两阶段混合模糊线性回归模型。为了保证解释变量为明确数字时,模糊估定值和模糊观测值的误差能够减小,在模糊回归模型中除了有明确的回归系数外,还有一个模糊调整项。首先,基于距离准则建立非线性规划模型,得到解释变量的回归系数,并基于距离准则和最小二乘法得到模糊调整项;与现有的无法确定系数符号的方法相比,该方法可以准确地确定回归系数的符号。最后,通过大量的数值实验和实例验证了该模型比其他模型具有更小的均方误差和更高的可靠性。
{"title":"Estimation of parameters for two-stage mixed fuzzy linear regression models","authors":"Xiaoli Xu, Pingping Zhang","doi":"10.1117/12.2679155","DOIUrl":"https://doi.org/10.1117/12.2679155","url":null,"abstract":"Combining nonlinear programming and least squares method, this paper proposes a two-stage mixed fuzzy linear regression model based on distance criterion. In order to ensure that the error of fuzzy estimated value and fuzzy observation value can be reduced when the explanatory variable is a clear number, the fuzzy regression model has a fuzzy adjustment term in addition to the clear regression coefficient. Firstly, based on the distance criterion, a nonlinear programming model is established to obtain the regression coefficient of the explanatory variables, and the fuzzy adjustment term is obtained based on the distance criterion and the least square method. Compared with the existing methods that cannot determine the sign of the coefficient, the method can accurately determine the sign of the regression coefficient. Finally, it is verified that the model has smaller mean square error and higher reliability than other models through a large number of numerical experiments and practical examples.","PeriodicalId":301595,"journal":{"name":"Conference on Pure, Applied, and Computational Mathematics","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121778176","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
期刊
Conference on Pure, Applied, and Computational Mathematics
全部 Geobiology Appl. Clay Sci. Geochim. Cosmochim. Acta J. Hydrol. Org. Geochem. Carbon Balance Manage. Contrib. Mineral. Petrol. Int. J. Biometeorol. IZV-PHYS SOLID EART+ J. Atmos. Chem. Acta Oceanolog. Sin. Acta Geophys. ACTA GEOL POL ACTA PETROL SIN ACTA GEOL SIN-ENGL AAPG Bull. Acta Geochimica Adv. Atmos. Sci. Adv. Meteorol. Am. J. Phys. Anthropol. Am. J. Sci. Am. Mineral. Annu. Rev. Earth Planet. Sci. Appl. Geochem. Aquat. Geochem. Ann. Glaciol. Archaeol. Anthropol. Sci. ARCHAEOMETRY ARCT ANTARCT ALP RES Asia-Pac. J. Atmos. Sci. ATMOSPHERE-BASEL Atmos. Res. Aust. J. Earth Sci. Atmos. Chem. Phys. Atmos. Meas. Tech. Basin Res. Big Earth Data BIOGEOSCIENCES Geostand. Geoanal. Res. GEOLOGY Geosci. J. Geochem. J. Geochem. Trans. Geosci. Front. Geol. Ore Deposits Global Biogeochem. Cycles Gondwana Res. Geochem. Int. Geol. J. Geophys. Prospect. Geosci. Model Dev. GEOL BELG GROUNDWATER Hydrogeol. J. Hydrol. Earth Syst. Sci. Hydrol. Processes Int. J. Climatol. Int. J. Earth Sci. Int. Geol. Rev. Int. J. Disaster Risk Reduct. Int. J. Geomech. Int. J. Geog. Inf. Sci. Isl. Arc J. Afr. Earth. Sci. J. Adv. Model. Earth Syst. J APPL METEOROL CLIM J. Atmos. Oceanic Technol. J. Atmos. Sol. Terr. Phys. J. Clim. J. Earth Sci. J. Earth Syst. Sci. J. Environ. Eng. Geophys. J. Geog. Sci. Mineral. Mag. Miner. Deposita Mon. Weather Rev. Nat. Hazards Earth Syst. Sci. Nat. Clim. Change Nat. Geosci. Ocean Dyn. Ocean and Coastal Research npj Clim. Atmos. Sci. Ocean Modell. Ocean Sci. Ore Geol. Rev. OCEAN SCI J Paleontol. J. PALAEOGEOGR PALAEOCL PERIOD MINERAL PETROLOGY+ Phys. Chem. Miner. Polar Sci. Prog. Oceanogr. Quat. Sci. Rev. Q. J. Eng. Geol. Hydrogeol. RADIOCARBON Pure Appl. Geophys. Resour. Geol. Rev. Geophys. Sediment. Geol.
×
引用
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