首页 > 最新文献

Asian Research Journal of Mathematics最新文献

英文 中文
Irredundant and Almost Irredundant Sets in (mathbb{M}_2)((mathbb{C})) (mathbb{M}_2)((mathbb{C})) 中的冗余集和几乎冗余集
Pub Date : 2024-07-16 DOI: 10.9734/arjom/2024/v20i7812
Clayton Suguio Hida
We consider irredundant and almost irredundant subsets in the *-algebra (mathbb{M}_2)((mathbb{C})) of all 2 X 2 matrices with coefficients in (mathbb{C}). We prove that the largest size of an irredundant subset is two, and that (mathbb{M}_2)((mathbb{C})) has an infinite almost irredundant subset.
我们考虑了*代数 (mathbb{M}_2)((mathbb{C})) 中所有系数在 (mathbb{C}) 中的 2 X 2 矩阵的非冗余子集和几乎非冗余子集。我们证明了一个非冗余子集的最大大小是 2,并且 (mathbb{M}_2)((mathbb{C})) 有一个无限的几乎非冗余的子集。
{"title":"Irredundant and Almost Irredundant Sets in (mathbb{M}_2)((mathbb{C}))","authors":"Clayton Suguio Hida","doi":"10.9734/arjom/2024/v20i7812","DOIUrl":"https://doi.org/10.9734/arjom/2024/v20i7812","url":null,"abstract":"We consider irredundant and almost irredundant subsets in the *-algebra (mathbb{M}_2)((mathbb{C})) of all 2 X 2 matrices with coefficients in (mathbb{C}). We prove that the largest size of an irredundant subset is two, and that (mathbb{M}_2)((mathbb{C})) has an infinite almost irredundant subset.","PeriodicalId":281529,"journal":{"name":"Asian Research Journal of Mathematics","volume":"10 41","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141640274","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
Modeling HIV-HBV Co-infection Dynamics: Stochastic Differential Equations and Matlab Simulation with Euler-Maruyama Numerical Method HIV-HBV 协同感染动力学建模:随机微分方程和采用欧拉-马鲁山数值法的 Matlab 仿真
Pub Date : 2024-07-11 DOI: 10.9734/arjom/2024/v20i7811
Mirgichan Khobocha James, C. Ngari, Stephen Karanja, Robert Muriungi
HIV/AIDS and Hepatitis B co-infection complicates population dynamics and brings forth a wide range of clinical outcomes which makes it a difficult situation for public health. In particular designing treatment plans for the co-infection. A Stochastic Differential Equation (SDE) model is a special class of a stochastic model with continuous parameter space and continuous state space. Deterministic model lacks randomness while an SDE model accounts for randomness and uncertainties. In this study, an SDE model was formulated from an existing deterministic model to examine the variability of dynamic behavior. The analysis and numerical schemes were derived based on Euler-Maruyama SDE algorithms. The model utilized epidemiological insights with current developments in mathematical modeling approaches to represent the interaction between these two viruses. Matlab software was used to obtain SDE numerical results alongside the deterministic solution. Descriptive statistics of the sample paths indicated that the variability of infection outcomes oscillates around the deterministic trajectory. None of the sample paths are absorbed during the time steps. This shows the persistence of the co-infection in the population, in particular  The variability of the infections ranges between 1.972 and 202.4, being lowest in AIDS infectives and highest in acute Hepatitis B infectives. An indication that variability cannot be ignored in designing control interventions of co-infections. These results provide new insights into the dynamics of co-infection through in-depth research and simulation, which helps to understand the inherent nature of deterministic model by incorporating the stochastic effects. These understanding will further help the policy makers in health sector to take care of the variability and uncertainty in designing treatment and management strategies.
艾滋病毒/艾滋病和乙型肝炎合并感染使人口动态变得复杂,并带来了多种临床结果,这给公共卫生工作带来了困难。特别是在设计治疗方案时,要考虑到合并感染的情况。随机微分方程(SDE)模型是一类特殊的随机模型,具有连续的参数空间和连续的状态空间。确定性模型缺乏随机性,而 SDE 模型则考虑了随机性和不确定性。本研究在现有确定性模型的基础上建立了 SDE 模型,以研究动态行为的可变性。分析和数值方案基于 Euler-Maruyama SDE 算法。该模型利用流行病学的见解和当前数学建模方法的发展来表示这两种病毒之间的相互作用。Matlab 软件与确定性解法一起用于获得 SDE 数值结果。样本路径的描述性统计表明,感染结果的变化围绕确定性轨迹摆动。没有一个样本路径在时间步长内被吸收。感染的变异性介于 1.972 和 202.4 之间,艾滋病感染者的变异性最低,急性乙型肝炎感染者的变异性最高。这表明,在设计合并感染的控制干预措施时,不能忽视变异性。通过深入研究和模拟,这些结果为共同感染的动态变化提供了新的见解,有助于通过纳入随机效应来理解确定性模型的固有性质。这些认识将进一步帮助卫生部门的决策者在设计治疗和管理策略时考虑到变异性和不确定性。
{"title":"Modeling HIV-HBV Co-infection Dynamics: Stochastic Differential Equations and Matlab Simulation with Euler-Maruyama Numerical Method","authors":"Mirgichan Khobocha James, C. Ngari, Stephen Karanja, Robert Muriungi","doi":"10.9734/arjom/2024/v20i7811","DOIUrl":"https://doi.org/10.9734/arjom/2024/v20i7811","url":null,"abstract":"HIV/AIDS and Hepatitis B co-infection complicates population dynamics and brings forth a wide range of clinical outcomes which makes it a difficult situation for public health. In particular designing treatment plans for the co-infection. A Stochastic Differential Equation (SDE) model is a special class of a stochastic model with continuous parameter space and continuous state space. Deterministic model lacks randomness while an SDE model accounts for randomness and uncertainties. In this study, an SDE model was formulated from an existing deterministic model to examine the variability of dynamic behavior. The analysis and numerical schemes were derived based on Euler-Maruyama SDE algorithms. The model utilized epidemiological insights with current developments in mathematical modeling approaches to represent the interaction between these two viruses. Matlab software was used to obtain SDE numerical results alongside the deterministic solution. Descriptive statistics of the sample paths indicated that the variability of infection outcomes oscillates around the deterministic trajectory. None of the sample paths are absorbed during the time steps. This shows the persistence of the co-infection in the population, in particular  The variability of the infections ranges between 1.972 and 202.4, being lowest in AIDS infectives and highest in acute Hepatitis B infectives. An indication that variability cannot be ignored in designing control interventions of co-infections. These results provide new insights into the dynamics of co-infection through in-depth research and simulation, which helps to understand the inherent nature of deterministic model by incorporating the stochastic effects. These understanding will further help the policy makers in health sector to take care of the variability and uncertainty in designing treatment and management strategies.","PeriodicalId":281529,"journal":{"name":"Asian Research Journal of Mathematics","volume":"63 9","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141658333","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
Finite-Time Synchronization of Fractional-Order Quaternion-Valued Neural Networks under Aperiodically Intermittent Control: A Non-Separation Method 非周期间歇控制下分数阶四元数值神经网络的有限时间同步:一种非分离方法
Pub Date : 2024-07-06 DOI: 10.9734/arjom/2024/v20i7810
Xinlong Zhang
This article mainly focuses on investigating finite-time synchronization(FTS) of fractional-order quaternionvalued neural networks(FOQVNNs) with time-varying delay via aperiodically intermittent control. Firstly, a new group of fractional differential inequalities during aperiodically intermittent times is proposed, which provides a formula for calculating stable time (tilde{t}) related to a parameter (varpi) about aperiodically intermittent control strategy. It can make the stable time (tilde{t}) even shorter than that of many existing literature results. Secondly, the theoretical analysis of the entire paper is conducted in a nonseparable method, and a quaternion-valued aperiodically intermittent controller based on 1-norm is directly designed to ensure the synchronization of FOQVNNs. By constructing a suitable Lyapunov function, the FTS criterion is derived. Finally, the validity of the proposed theoretical results is confirmed by numerical simulations.
本文主要通过非周期性间歇控制来研究具有时变延迟的分数阶四元值神经网络(FOQVNN)的有限时间同步(FTS)问题。首先,提出了一组新的非周期性间歇时间分数微分不等式,为计算与参数(varpi)有关的非周期性间歇控制策略的稳定时间(tilde{t})提供了公式。它可以使稳定时间(tilde{t})比许多现有文献结果的稳定时间(tilde{t})更短。其次,整篇论文的理论分析都是以不可分割的方法进行的,并直接设计了一个基于 1-norm 的四元数值周期性间歇控制器来保证 FOQVNNs 的同步性。通过构建合适的 Lyapunov 函数,得出了 FTS 准则。最后,通过数值模拟证实了所提理论结果的正确性。
{"title":"Finite-Time Synchronization of Fractional-Order Quaternion-Valued Neural Networks under Aperiodically Intermittent Control: A Non-Separation Method","authors":"Xinlong Zhang","doi":"10.9734/arjom/2024/v20i7810","DOIUrl":"https://doi.org/10.9734/arjom/2024/v20i7810","url":null,"abstract":"This article mainly focuses on investigating finite-time synchronization(FTS) of fractional-order quaternionvalued neural networks(FOQVNNs) with time-varying delay via aperiodically intermittent control. Firstly, a new group of fractional differential inequalities during aperiodically intermittent times is proposed, which provides a formula for calculating stable time (tilde{t}) related to a parameter (varpi) about aperiodically intermittent control strategy. It can make the stable time (tilde{t}) even shorter than that of many existing literature results. Secondly, the theoretical analysis of the entire paper is conducted in a nonseparable method, and a quaternion-valued aperiodically intermittent controller based on 1-norm is directly designed to ensure the synchronization of FOQVNNs. By constructing a suitable Lyapunov function, the FTS criterion is derived. Finally, the validity of the proposed theoretical results is confirmed by numerical simulations.","PeriodicalId":281529,"journal":{"name":"Asian Research Journal of Mathematics","volume":" 40","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141672802","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
Conditions of Safe Dominating Set in Some Graph Families 某些图族中安全支配集的条件
Pub Date : 2024-06-14 DOI: 10.9734/arjom/2024/v20i6807
Devine Fathy Mae S. Grino, I. S. Jr.
Let X be an arbitrary Banach space. For a nontrivial connected graph G and nonempty subset S (subseteq) V (G), S is a safe dominating set of G if and only if S is a dominating set of G and every component X of G[S] and every component Y of G[V (G) S] adjacent to X, |X| (ge) |Y|. Moreover, S is called a minimum safe dominating set if S is a safe dominating set of the smallest size in a given graph. The cardinality of the minimum safe dominating set of G is the safe domination number of G, denoted by (gamma s)(G). In this paper, we characterized the safe dominating set and determine its corresponding safe domination number in some special classes of graphs.
让 X 是一个任意的巴拿赫空间。对于一个非难连通图 G 和非空子集 S (subseteq) V (G),当且仅当 S 是 G 的支配集且 G[S] 的每个分量 X 和 G[V (G) S] 的每个分量 Y 都与 X 相邻时,S 是 G 的安全支配集,|X| (ge) |Y|。此外,如果 S 是给定图中最小的安全支配集,那么 S 称为最小安全支配集。G 的最小安全支配集的心数就是 G 的安全支配数,用 (gamma s)(G) 表示。在本文中,我们将描述安全支配集的特征,并确定其在一些特殊图类中的相应安全支配数。
{"title":"Conditions of Safe Dominating Set in Some Graph Families","authors":"Devine Fathy Mae S. Grino, I. S. Jr.","doi":"10.9734/arjom/2024/v20i6807","DOIUrl":"https://doi.org/10.9734/arjom/2024/v20i6807","url":null,"abstract":"Let X be an arbitrary Banach space. For a nontrivial connected graph G and nonempty subset S (subseteq) V (G), S is a safe dominating set of G if and only if S is a dominating set of G and every component X of G[S] and every component Y of G[V (G) S] adjacent to X, |X| (ge) |Y|. Moreover, S is called a minimum safe dominating set if S is a safe dominating set of the smallest size in a given graph. The cardinality of the minimum safe dominating set of G is the safe domination number of G, denoted by (gamma s)(G). In this paper, we characterized the safe dominating set and determine its corresponding safe domination number in some special classes of graphs.","PeriodicalId":281529,"journal":{"name":"Asian Research Journal of Mathematics","volume":"80 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141342338","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
Correlates of Ghanaian Teachers' Understanding of Mathematics Strands and Cognitive Domains in Basic Education Certificate Examination 加纳教师对基础教育证书考试中数学分支和认知领域理解的相关性
Pub Date : 2024-06-13 DOI: 10.9734/arjom/2024/v20i6806
Osei-Asibey Eunice
In the field of mathematics education, it is essential to grasp teachers' competence in recognizing cognitive domains, as it plays a pivotal role in elevating teaching methods, evaluation techniques, and ultimately enhancing student academic achievements. This study examines the proficiency of basic school teachers in Ghana in identifying the cognitive domains of mathematics questions using Bloom's Taxonomy. A sample of 338 teachers from across the regions of Ghana participated, selected through random sampling. Teachers were assessed using a set of 50 Basic Education Certificate Examination (BECE) past questions spanning a decade (2010-2022), covering Algebra, Geometry and Measurement, Data, and Number strands. Participants categorized each question according to Bloom's Taxonomy. Poisson regression analysis and Confirmatory Factor Analysis were employed to evaluate teachers' proficiency. Results indicated a statistically significant intercept term, suggesting a baseline performance level among teachers. Significant interaction effects between demographic and professional characteristics (Class:category, Class:SchTyp, TeachEx:SchTyp, TeachEx:Domain, and the main effect of Domain) influenced teachers' ability to identify mathematics domains. Teaching experience positively influenced scores, while school type had a negative impact. The model demonstrated high discriminatory power and strong predictive performance with an AUC of 0.996. Dependency analysis revealed that understanding Bloom's taxonomy domains influenced the identification of mathematics strands. Primary level teachers’ consistently demonstrated higher proficiency compared to Junior High School (JHS) level teachers. Additionally, experienced and qualified professionals performed better than pupil teachers. These findings highlight the importance of targeted interventions and professional development programs to enhance teachers' competency in identifying mathematics domains, thus improving mathematics education in Ghana.
在数学教育领域,掌握教师识别认知领域的能力至关重要,因为这对提升教学方法、评价技巧以及最终提高学生的学业成绩起着举足轻重的作用。本研究考察了加纳基础学校教师使用布鲁姆分类法识别数学问题认知领域的能力。通过随机抽样,从加纳各地区抽取了 338 名教师参与研究。对教师的评估采用了一套 50 道基础教育证书考试(BECE)历年试题,时间跨度长达十年(2010-2022 年),涵盖代数、几何、测量、数据和数字等领域。参与者根据布鲁姆分类学对每道试题进行了分类。采用泊松回归分析和确证因子分析来评估教师的能力。结果表明,截距项在统计上有显著意义,表明教师的基线水平。人口统计学特征和专业特征(Class:category、Class:SchTyp、TeachEx:SchTyp、TeachEx:Domain 和 Domain 的主效应)之间的交互效应对教师识别数学领域的能力有显著影响。教学经验对得分有积极影响,而学校类型则有消极影响。该模型具有很高的判别能力和很强的预测性能,AUC 为 0.996。依赖性分析表明,对布鲁姆分类法领域的理解会影响数学分支的识别。与初中(JHS)教师相比,小学教师的熟练程度一直较高。此外,经验丰富的合格专业人员比学生教师的表现更好。这些发现凸显了有针对性的干预措施和专业发展计划的重要性,以提高教师识别数学领域的能力,从而改善加纳的数学教育。
{"title":"Correlates of Ghanaian Teachers' Understanding of Mathematics Strands and Cognitive Domains in Basic Education Certificate Examination","authors":"Osei-Asibey Eunice","doi":"10.9734/arjom/2024/v20i6806","DOIUrl":"https://doi.org/10.9734/arjom/2024/v20i6806","url":null,"abstract":"In the field of mathematics education, it is essential to grasp teachers' competence in recognizing cognitive domains, as it plays a pivotal role in elevating teaching methods, evaluation techniques, and ultimately enhancing student academic achievements. This study examines the proficiency of basic school teachers in Ghana in identifying the cognitive domains of mathematics questions using Bloom's Taxonomy. A sample of 338 teachers from across the regions of Ghana participated, selected through random sampling. Teachers were assessed using a set of 50 Basic Education Certificate Examination (BECE) past questions spanning a decade (2010-2022), covering Algebra, Geometry and Measurement, Data, and Number strands. Participants categorized each question according to Bloom's Taxonomy. Poisson regression analysis and Confirmatory Factor Analysis were employed to evaluate teachers' proficiency. Results indicated a statistically significant intercept term, suggesting a baseline performance level among teachers. Significant interaction effects between demographic and professional characteristics (Class:category, Class:SchTyp, TeachEx:SchTyp, TeachEx:Domain, and the main effect of Domain) influenced teachers' ability to identify mathematics domains. Teaching experience positively influenced scores, while school type had a negative impact. The model demonstrated high discriminatory power and strong predictive performance with an AUC of 0.996. Dependency analysis revealed that understanding Bloom's taxonomy domains influenced the identification of mathematics strands. Primary level teachers’ consistently demonstrated higher proficiency compared to Junior High School (JHS) level teachers. Additionally, experienced and qualified professionals performed better than pupil teachers. These findings highlight the importance of targeted interventions and professional development programs to enhance teachers' competency in identifying mathematics domains, thus improving mathematics education in Ghana.","PeriodicalId":281529,"journal":{"name":"Asian Research Journal of Mathematics","volume":"43 8","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141349742","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
Persistent Homology in Solar Production 太阳能生产中的持久同源性
Pub Date : 2024-06-10 DOI: 10.9734/arjom/2024/v20i6805
Revathi G, G. Ilango
Persistent homology, an algebraic topology-based mathematical framework, presents an innovative method for capturing and characterizing the inherent topological features present in time series datasets. The research aims to evaluate the efficacy of features derived from persistent homology in enhancing the accuracy and interpretability of classification models. This investigation contributes to the expanding convergence of topology and time series analysis, providing valuable insights into the potential of persistent homology for extracting information from temporal data. The study specifically focuses on the analysis of region-wise solar production data obtained from India for the year 2022. The examination of this data is conducted using R-Software, and the resulting topological properties are represented through persistent diagrams.
持久同源性是一种基于代数拓扑的数学框架,它提出了一种创新方法,用于捕捉和描述时间序列数据集中存在的固有拓扑特征。这项研究旨在评估从持久同源性中提取的特征在提高分类模型的准确性和可解释性方面的功效。这项研究有助于拓扑学和时间序列分析不断扩大的融合,为持久同源性从时间数据中提取信息的潜力提供有价值的见解。本研究特别关注对 2022 年印度地区太阳能生产数据的分析。使用 R 软件对这些数据进行了检查,并通过持久图来表示由此产生的拓扑特性。
{"title":"Persistent Homology in Solar Production","authors":"Revathi G, G. Ilango","doi":"10.9734/arjom/2024/v20i6805","DOIUrl":"https://doi.org/10.9734/arjom/2024/v20i6805","url":null,"abstract":"Persistent homology, an algebraic topology-based mathematical framework, presents an innovative method for capturing and characterizing the inherent topological features present in time series datasets. The research aims to evaluate the efficacy of features derived from persistent homology in enhancing the accuracy and interpretability of classification models. This investigation contributes to the expanding convergence of topology and time series analysis, providing valuable insights into the potential of persistent homology for extracting information from temporal data. The study specifically focuses on the analysis of region-wise solar production data obtained from India for the year 2022. The examination of this data is conducted using R-Software, and the resulting topological properties are represented through persistent diagrams.","PeriodicalId":281529,"journal":{"name":"Asian Research Journal of Mathematics","volume":" 56","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141365798","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
Deciding Satisfiability in the Twinkling of an Eye 转眼间决定可满足性
Pub Date : 2024-06-07 DOI: 10.9734/arjom/2024/v20i6804
Okoh Ufuoma
The question as to whether a CNF Boolean formula is satisfiable is referred to as Boolean satisfiability problem (SAT). For decades now, this problem has attracted a great deal of attention. A well-known algorithm for solving this problem is the DPLL algorithm. However, this algorithm may run in an exponential (long) time. The great plan embraced in this work is to show how the satisfiability of any CNF Boolean formula can be decided in a very short time. This is achieved by the modification of the DPLL algorithm and the introduction of a quick algorithm.
关于 CNF 布尔公式是否可满足的问题被称为布尔可满足性问题(SAT)。几十年来,这个问题一直备受关注。解决这一问题的著名算法是 DPLL 算法。然而,这种算法的运行时间可能是指数级的(长)。这项工作的伟大计划是展示如何在极短的时间内确定任何 CNF 布尔式的可满足性。这是通过修改 DPLL 算法和引入快速算法来实现的。
{"title":"Deciding Satisfiability in the Twinkling of an Eye","authors":"Okoh Ufuoma","doi":"10.9734/arjom/2024/v20i6804","DOIUrl":"https://doi.org/10.9734/arjom/2024/v20i6804","url":null,"abstract":"The question as to whether a CNF Boolean formula is satisfiable is referred to as Boolean satisfiability problem (SAT). For decades now, this problem has attracted a great deal of attention. A well-known algorithm for solving this problem is the DPLL algorithm. However, this algorithm may run in an exponential (long) time. The great plan embraced in this work is to show how the satisfiability of any CNF Boolean formula can be decided in a very short time. This is achieved by the modification of the DPLL algorithm and the introduction of a quick algorithm.","PeriodicalId":281529,"journal":{"name":"Asian Research Journal of Mathematics","volume":" 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141371021","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
Advancing Numerical Methods of Block Multi-Derivative Approaches for ODEs of Various Orders 推进针对各种阶数 ODE 的块状多衍生数值方法
Pub Date : 2024-06-07 DOI: 10.9734/arjom/2024/v20i6803
B. Olabode, S. Kayode, O. J. Olatubi, A. Momoh
This work presents advancing numerical methods of block multi-derivative approaches for ordinary differential equations (ODEs) of Various Orders. The derivation of the methods is achieved by applying the techniques of interpolation and collocation to a power series polynomial, which is considered an approximate solution to the problems. Higher derivative terms are introduced to improve the accuracy of the method, giving room to modify the method for solving second and third-order initial value problems (IVPs) of ordinary differential equations (ODEs). Details conformation of the block method is presented, showing that the method is zero stable, consistent and convergent. The method is applied block-by-block to first, second and third-order initial value problems (IVPs) of ordinary differential equations. The application of the method to a real-life example also yields accurate results.
本著作介绍了针对各种阶常微分方程(ODEs)的块多衍生方法的先进数值方法。方法的推导是通过对幂级数多项式应用插值和配位技术实现的,幂级数多项式被认为是问题的近似解。为了提高方法的精确度,引入了更高的导数项,为解决常微分方程(ODEs)的二阶和三阶初值问题(IVPs)提供了修改方法的空间。介绍了分块方法的详细构型,表明该方法是零稳定、一致和收敛的。该方法被逐块应用于一阶、二阶和三阶常微分方程的初值问题(IVP)。将该方法应用于现实生活中的一个例子也得到了精确的结果。
{"title":"Advancing Numerical Methods of Block Multi-Derivative Approaches for ODEs of Various Orders","authors":"B. Olabode, S. Kayode, O. J. Olatubi, A. Momoh","doi":"10.9734/arjom/2024/v20i6803","DOIUrl":"https://doi.org/10.9734/arjom/2024/v20i6803","url":null,"abstract":"This work presents advancing numerical methods of block multi-derivative approaches for ordinary differential equations (ODEs) of Various Orders. The derivation of the methods is achieved by applying the techniques of interpolation and collocation to a power series polynomial, which is considered an approximate solution to the problems. Higher derivative terms are introduced to improve the accuracy of the method, giving room to modify the method for solving second and third-order initial value problems (IVPs) of ordinary differential equations (ODEs). Details conformation of the block method is presented, showing that the method is zero stable, consistent and convergent. The method is applied block-by-block to first, second and third-order initial value problems (IVPs) of ordinary differential equations. The application of the method to a real-life example also yields accurate results.","PeriodicalId":281529,"journal":{"name":"Asian Research Journal of Mathematics","volume":"8 5","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141375555","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
Equal Sums of Four Even Powers 四个偶数的相等和
Pub Date : 2024-06-06 DOI: 10.9734/arjom/2024/v20i5802
Kimtai Boaz Simatwo
Let u, v, w, z,  k, m and I be any integers such that k = z - w = w - v = v - u . The study of integer I for which I = u2n + v2n + w2n + z2n = k2 + m2 + r2 is not known. This study is therefore, set to partially overcome this challenge by introducing new formula relating sums of four even powers as an exact sum of three squares.
设 u、v、w、z、k、m 和 I 是任意整数,使得 k = z - w = w - v = v - u 。关于 I = u2n + v2n + w2n + z2n = k2 + m2 + r2 的整数 I 的研究尚不清楚。因此,本研究通过引入有关四个偶数幂的和为三个平方的精确和的新公式来部分克服这一难题。
{"title":"Equal Sums of Four Even Powers","authors":"Kimtai Boaz Simatwo","doi":"10.9734/arjom/2024/v20i5802","DOIUrl":"https://doi.org/10.9734/arjom/2024/v20i5802","url":null,"abstract":"Let u, v, w, z,  k, m and I be any integers such that k = z - w = w - v = v - u . The study of integer I for which I = u2n + v2n + w2n + z2n = k2 + m2 + r2 is not known. This study is therefore, set to partially overcome this challenge by introducing new formula relating sums of four even powers as an exact sum of three squares.","PeriodicalId":281529,"journal":{"name":"Asian Research Journal of Mathematics","volume":"54 s186","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141376374","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
Novel Idea on Edge-Ultrafilter and Edge-Tangle 关于边缘超滤器和边缘纠结的新想法
Pub Date : 2024-04-11 DOI: 10.9734/arjom/2024/v20i4794
Takaaki Fujita
The study of width parameters holds significant interest in both graph theory and algebraic settings. Among these, the tree-cut decomposition stands out as a key metric. The "Edge-tangle" concept is closely related to the "tree-cut width" width parameter in graph theory. This obstruction is often seen as vital for creating effective algorithms to calculate graph width, with the edge-tangle being the specific obstruction for tree-cut width. Meanwhile, the idea of an "Ultrafilter" is well-established in topology and algebra.  Due to their versatile nature, ultrafilters hold significant and broad-ranging importance. In this paper, we introduce a new concept called Edge-Ultrafilters for graphs and demonstrate how they are equivalent to Edge-tangles.
宽度参数的研究在图论和代数学中都具有重要意义。其中,树切分解是一个重要的度量指标。边缘-纠结 "概念与图论中的 "树切宽度 "宽度参数密切相关。这种障碍通常被视为创建有效算法计算图宽的关键,而边缘-纠结是树割宽度的具体障碍。与此同时,"超滤波器 "的概念在拓扑学和代数学中也已确立。 由于其多用途的性质,超滤波器具有重要而广泛的意义。在本文中,我们引入了一个新概念--图的边缘超滤波器,并演示了它们是如何等价于边缘三角形的。
{"title":"Novel Idea on Edge-Ultrafilter and Edge-Tangle","authors":"Takaaki Fujita","doi":"10.9734/arjom/2024/v20i4794","DOIUrl":"https://doi.org/10.9734/arjom/2024/v20i4794","url":null,"abstract":"The study of width parameters holds significant interest in both graph theory and algebraic settings. Among these, the tree-cut decomposition stands out as a key metric. The \"Edge-tangle\" concept is closely related to the \"tree-cut width\" width parameter in graph theory. This obstruction is often seen as vital for creating effective algorithms to calculate graph width, with the edge-tangle being the specific obstruction for tree-cut width. Meanwhile, the idea of an \"Ultrafilter\" is well-established in topology and algebra.  Due to their versatile nature, ultrafilters hold significant and broad-ranging importance. In this paper, we introduce a new concept called Edge-Ultrafilters for graphs and demonstrate how they are equivalent to Edge-tangles.","PeriodicalId":281529,"journal":{"name":"Asian Research Journal of Mathematics","volume":"3 2","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140712799","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
期刊
Asian Research Journal of Mathematics
全部 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