期刊文献+
共找到353篇文章
< 1 2 18 >
每页显示 20 50 100
INTERVAL ARITHMETIC AND STATIC INTERVAL FINITE ELEMENT METHOD 被引量:2
1
作者 GUO Shu-xiang(郭书祥) +1 位作者 LU Zhen-zhou(吕震宙) 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI 2001年第12期1390-1396,共7页
When the uncertainties of structures may be bounded in intervals, through some suitable discretization, interval finite element method can be constructed by combining the interval analysis with the traditional finite ... When the uncertainties of structures may be bounded in intervals, through some suitable discretization, interval finite element method can be constructed by combining the interval analysis with the traditional finite element method (FEM). The two parameters, median and deviation, were used to represent the uncertainties of interval variables. Based on the arithmetic rules of intervals, some properties and arithmetic rules of interval variables were demonstrated. Combining the procedure of interval analysis with FEM, a static linear interval finite element method was presented to solve the non-random uncertain structures. ne solving of the characteristic parameters of n-freedom uncertain displacement field of the static governing equation was transformed into 2 n-order linear equations. It is shown by a numerical example that the proposed method is practical and effective. 展开更多
关键词 interval variable interval arithmetic finite element method interval finite element method
在线阅读 下载PDF
FUZZY ARITHMETIC AND SOLVING OF THE STATIC GOVERNING EQUATIONS OF FUZZY FINITE ELEMENT METHOD 被引量:1
2
作者 郭书祥 吕震宙 冯立富 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI 2002年第9期1054-1061,共8页
The key component of finite element analysis of structures with fuzzy parameters, which is associated with handling of some fuzzy information and arithmetic relation of fuzzy variables, was the solving of the governin... The key component of finite element analysis of structures with fuzzy parameters, which is associated with handling of some fuzzy information and arithmetic relation of fuzzy variables, was the solving of the governing equations of fuzzy finite element method. Based on a given interval representation of fuzzy numbers, some arithmetic rules of fuzzy numbers and fuzzy variables were developed in terms of the properties of interval arithmetic. According to the rules and by the theory of interval finite element method, procedures for solving the static governing equations of fuzzy finite element method of structures were presented. By the proposed procedure, the possibility distributions of responses of fuzzy structures can be generated in terms of the membership functions of the input fuzzy numbers. It is shown by a numerical example that the computational burden of the presented procedures is low and easy to implement. The effectiveness and usefulness of the presented procedures are also illustrated. 展开更多
关键词 fuzzy variable fuzzy arithmetic fuzzy finite element method interval finite element method
在线阅读 下载PDF
Comparison of Classical Method, Extension Principle and α-Cuts and Interval Arithmetic Method in Solving System of Fuzzy Linear Equations
3
作者 Sahidul Islam Md. Saiduzzaman +1 位作者 Md. Shafiqul Islam Abeda Sultana 《American Journal of Computational Mathematics》 2019年第1期1-24,共24页
The system of linear equations plays a vital role in real life problems such as optimization, economics, and engineering. The parameters of the system of linear equations are modeled by taking the experimental or obse... The system of linear equations plays a vital role in real life problems such as optimization, economics, and engineering. The parameters of the system of linear equations are modeled by taking the experimental or observation data. So the parameters of the system actually contain uncertainty rather than the crisp one. The uncertainties may be considered in term of interval or fuzzy numbers. In this paper, a detailed study of three solution techniques namely Classical Method, Extension Principle method and α-cuts and interval Arithmetic Method to solve the system of fuzzy linear equations has been done. Appropriate applications are given to illustrate each technique. Then we discuss the comparison of the different methods numerically and graphically. 展开更多
关键词 Fuzzy Set CLASSICAL Solution Extension Principle α-Cut and INTERVAL arithmetic method
在线阅读 下载PDF
Arithmetic Operations of Generalized Trapezoidal Picture Fuzzy Numbers by Vertex Method
4
作者 Mohammad Kamrul Hasan Abeda Sultana Nirmal Kanti Mitra 《American Journal of Computational Mathematics》 2023年第1期99-121,共23页
In this article, we define the arithmetic operations of generalized trapezoidal picture fuzzy numbers by vertex method which is assembled on a combination of the (α, γ, β)-cut concept and standard interval analysis... In this article, we define the arithmetic operations of generalized trapezoidal picture fuzzy numbers by vertex method which is assembled on a combination of the (α, γ, β)-cut concept and standard interval analysis. Various related properties are explored. Finally, some computations of picture fuzzy functions over generalized picture fuzzy variables are illustrated by using our proposed technique. 展开更多
关键词 Picture Fuzzy Set Generalized Trapezoidal Picture Fuzzy Number γ β)-Cut arithmetic Operations Vertex method
在线阅读 下载PDF
A Fixed-Point Fast Sweeping WENO Method with Inverse Lax-Wendroff Boundary Treatment for Steady State of Hyperbolic Conservation Laws
5
作者 Liang Li Jun Zhu +1 位作者 Chi-Wang Shu Yong-Tao Zhang 《Communications on Applied Mathematics and Computation》 2023年第1期403-427,共25页
Fixed-point fast sweeping WENO methods are a class of efficient high-order numerical methods to solve steady-state solutions of hyperbolic partial differential equations(PDEs).The Gauss-Seidel iterations and alternati... Fixed-point fast sweeping WENO methods are a class of efficient high-order numerical methods to solve steady-state solutions of hyperbolic partial differential equations(PDEs).The Gauss-Seidel iterations and alternating sweeping strategy are used to cover characteristics of hyperbolic PDEs in each sweeping order to achieve fast convergence rate to steady-state solutions.A nice property of fixed-point fast sweeping WENO methods which distinguishes them from other fast sweeping methods is that they are explicit and do not require inverse operation of nonlinear local systems.Hence,they are easy to be applied to a general hyperbolic system.To deal with the difficulties associated with numerical boundary treatment when high-order finite difference methods on a Cartesian mesh are used to solve hyperbolic PDEs on complex domains,inverse Lax-Wendroff(ILW)procedures were developed as a very effective approach in the literature.In this paper,we combine a fifthorder fixed-point fast sweeping WENO method with an ILW procedure to solve steadystate solution of hyperbolic conservation laws on complex computing regions.Numerical experiments are performed to test the method in solving various problems including the cases with the physical boundary not aligned with the grids.Numerical results show highorder accuracy and good performance of the method.Furthermore,the method is compared with the popular third-order total variation diminishing Runge-Kutta(TVD-RK3)time-marching method for steady-state computations.Numerical examples show that for most of examples,the fixed-point fast sweeping method saves more than half CPU time costs than TVD-RK3 to converge to steady-state solutions. 展开更多
关键词 fixed-point fast sweeping methods Multi-resolution WENO schemes Steady state ILW procedure Convergence
在线阅读 下载PDF
Solving a Class of Brouwer Fixed-point Problems via a Modified Aggregate Constraint Homotopy Method
6
作者 苏孟龙 吕显瑞 《Northeastern Mathematical Journal》 CSCD 2007年第5期377-385,共9页
In this paper, we provide an aggregate function homotopy interior point method to solve a class of Brouwer fixed-point problems. Compared with the homotopy method (proposed by Yu and Lin, Appl. Math. Comput., 74(199... In this paper, we provide an aggregate function homotopy interior point method to solve a class of Brouwer fixed-point problems. Compared with the homotopy method (proposed by Yu and Lin, Appl. Math. Comput., 74(1996), 65), the main adavantages of this method are as foUows: on the one hand, it can solve the Brouwer fixed-point problems in a broader class of nonconvex subsets Ω in R^n (in this paper, we let Ω={x∈ R^n : gi(x) ≤0, i= 1,... , m}); on the other hand, it can also deal with the subsets Ω with larger amount of constraints more effectively. 展开更多
关键词 homotopy method Brouwer fixed-point problem nonconvex subset
在线阅读 下载PDF
Modified Homotopy Method for a Class of Brouwer Fixed-point Problems
7
作者 苏孟龙 吕显瑞 《Northeastern Mathematical Journal》 CSCD 2007年第1期35-42,共8页
In this paper, we modify the homotopy method (proposed by Yu and Lin, Appl. Math. Comput., 74(1996), 65) and hence make the modified method be able to solve Brouwer fixed-point problems in a broader class of nonco... In this paper, we modify the homotopy method (proposed by Yu and Lin, Appl. Math. Comput., 74(1996), 65) and hence make the modified method be able to solve Brouwer fixed-point problems in a broader class of nonconvex subsets in Rn. In addition, a simple example is given to show the effectiveness of the modified method. 展开更多
关键词 homotopy method Brouwer fixed-point problem nonconvex subset
在线阅读 下载PDF
Sparse-Grid Implementation of Fixed-Point Fast Sweeping WENO Schemes for Eikonal Equations
8
作者 Zachary M.Miksis Yong-Tao Zhang 《Communications on Applied Mathematics and Computation》 EI 2024年第1期3-29,共27页
Fixed-point fast sweeping methods are a class of explicit iterative methods developed in the literature to efficiently solve steady-state solutions of hyperbolic partial differential equations(PDEs).As other types of ... Fixed-point fast sweeping methods are a class of explicit iterative methods developed in the literature to efficiently solve steady-state solutions of hyperbolic partial differential equations(PDEs).As other types of fast sweeping schemes,fixed-point fast sweeping methods use the Gauss-Seidel iterations and alternating sweeping strategy to cover characteristics of hyperbolic PDEs in a certain direction simultaneously in each sweeping order.The resulting iterative schemes have a fast convergence rate to steady-state solutions.Moreover,an advantage of fixed-point fast sweeping methods over other types of fast sweeping methods is that they are explicit and do not involve the inverse operation of any nonlinear local system.Hence,they are robust and flexible,and have been combined with high-order accurate weighted essentially non-oscillatory(WENO)schemes to solve various hyperbolic PDEs in the literature.For multidimensional nonlinear problems,high-order fixed-point fast sweeping WENO methods still require quite a large amount of computational costs.In this technical note,we apply sparse-grid techniques,an effective approximation tool for multidimensional problems,to fixed-point fast sweeping WENO methods for reducing their computational costs.Here,we focus on fixed-point fast sweeping WENO schemes with third-order accuracy(Zhang et al.2006[41]),for solving Eikonal equations,an important class of static Hamilton-Jacobi(H-J)equations.Numerical experiments on solving multidimensional Eikonal equations and a more general static H-J equation are performed to show that the sparse-grid computations of the fixed-point fast sweeping WENO schemes achieve large savings of CPU times on refined meshes,and at the same time maintain comparable accuracy and resolution with those on corresponding regular single grids. 展开更多
关键词 fixed-point fast sweeping methods Weighted essentially non-oscillatory(WENO)schemes Sparse grids Static Hamilton-Jacobi(H-J)equations Eikonal equations
在线阅读 下载PDF
基于Critic赋权法的我国“四好农村路”发展水平评价
9
作者 梁仁鸿 孙杨 +1 位作者 王嫱 贾皓 《交通运输研究》 2025年第1期30-38,共9页
为全面衡量“四好农村路”的发展总体水平,精准把握各地区“四好农村路”发展的相对薄弱环节,基于“建好、管好、护好、运营好”的发展理念,考虑农村物流服务、信息化应用、客货邮融合等发展新特征,构建了我国“四好农村路”发展水平评... 为全面衡量“四好农村路”的发展总体水平,精准把握各地区“四好农村路”发展的相对薄弱环节,基于“建好、管好、护好、运营好”的发展理念,考虑农村物流服务、信息化应用、客货邮融合等发展新特征,构建了我国“四好农村路”发展水平评价指标体系,运用Critic赋权法和算术加权合成法设计了相应的评价方法,并对我国31个省(自治区、直辖市)“四好农村路”发展水平开展了实证研究。权重分析结果表明,农村公路中二级及以上公路占比、30户及以上自然村通畅率、农村公路四五类桥梁占比、农村公路优良路率以及农村公路养护投资额占地方一般公共预算支出比例是较为重要的评价指标。评价分析结果显示:①“四好农村路”评价结果与农村居民人均可支配收入呈正相关,可用于反映农村地区经济发展水平;②我国各区域“四好农村路”呈现不均衡发展特性,东部地区的“四好农村路”发展水平最高,而东北及中西部地区显著低于东部地区;③我国长三角地区的上海、浙江、江苏“四好农村路”总体发展水平处于全国领先地位。 展开更多
关键词 “四好农村路” 评价指标体系 发展水平 Critic赋权法 算术加权合成法 省级行政区
在线阅读 下载PDF
基于时域嵌入的电-气互联系统仿射动态能流算法
10
作者 陈飞雄 张河 +2 位作者 邵振国 吴鸿斌 胡昆熹 《中国电机工程学报》 北大核心 2025年第7期2594-2604,I0012,共12页
电-气互联系统是提高能源利用效率、实现能源清洁化利用的重要载体。在不确定性愈发复杂交错、影响日益增强的背景下,如何量化分析电-气动态传输过程中的不确定性传递成为亟待解决的问题。为此,提出基于时域嵌入的电-气互联系统仿射动... 电-气互联系统是提高能源利用效率、实现能源清洁化利用的重要载体。在不确定性愈发复杂交错、影响日益增强的背景下,如何量化分析电-气动态传输过程中的不确定性传递成为亟待解决的问题。为此,提出基于时域嵌入的电-气互联系统仿射动态能流算法,揭示不确定因素对电-气互联系统动态过程的影响机理。首先,基于仿射算术表征不确定因素,构建电-气互联系统仿射动态能流模型;在此基础上,通过时域嵌入重构仿射微分方程组,将仿射微分方程组求解问题转换为能流状态量泰勒幂级数系数递归计算问题,进而递归求解得到仿射能流关于时间的显式表达式;接着,为提升计算效率并降低保守性,提出基于噪声元动态校正的多时段计算方法,获取连续时域的仿射动态能流分布。仿真结果验证所提算法能够从时间维度量化分析源荷不确定性的传递影响,具有精度高、保守度低与计算效率高等优势。 展开更多
关键词 电-气互联系统 动态能流计算 仿射算术 全纯嵌入法
在线阅读 下载PDF
基于WLS-AUKF混合算法的主动配电网联合状态估计
11
作者 满延露 刘敏 《电子科技》 2025年第2期93-102,共10页
响应负载和分布式能源的随机性和波动性、相量测量单元(Phasor Measurement Unit,PMU)配置的经济性需求对配电网状态估计提出了更高要求。文中提出了考虑PMU配置优化的加权最小二乘法(Weighted Least Squares,WLS)-自适应无迹卡尔曼滤波... 响应负载和分布式能源的随机性和波动性、相量测量单元(Phasor Measurement Unit,PMU)配置的经济性需求对配电网状态估计提出了更高要求。文中提出了考虑PMU配置优化的加权最小二乘法(Weighted Least Squares,WLS)-自适应无迹卡尔曼滤波(Adaptive Untraced Kalman Filtering,AUKF)的主动配电网联合状态估计。通过改进粒子群优化算法(Metropolis-Hastings Crossover Particle Swarm Optimization,MHCPSO)实现PMU优化配置,再结合WLS和AUKF提出联合状态估计。联合方式是WLS为AUKF馈送稳健的量测数据,AUKF为WLS提供先验预测值并补充量测冗余。仿真结果表明,在相同PMU数量下,MHCPSO算法比遗传粒子群算法(Genetic Algorithm Particle Swarm Optimization,GAPSO)估计精度更高。在相同状态估计误差情况下,MHCPSO算法配置的PMU数量比GAPSO算法可最多减少4个。在光伏(Photovoltaic,PV)/电动汽车(Electric Vehicles,EV)并网无序充放电和某一时刻负荷突变情况下,WLS-AUKF算法均体现出了比UKF(Untraced Kalman Filtering)算法更好的估计性能。在PMU配置优化、PV/VE并网以及负荷突变3个场景中体现出了WLS-AUKF状态估计的高精度、经济性、抗差性和稳健性。 展开更多
关键词 主动配电网 联合状态估计 加权最小二乘法 自适应无迹卡尔曼滤波 PMU优化配置 改进粒子群算法 两点交叉法 Metropolis-Hastings算法 遗传粒子群算法
在线阅读 下载PDF
Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information 被引量:1
12
作者 Zhuang-Zhuang Liu Tian-ShuWang Jun-Feng Li 《Acta Mechanica Sinica》 SCIE EI CAS CSCD 2016年第1期170-180,共11页
This paper proposes a new non-intrusive hybrid interval method using derivative information for the dynamic response analysis of nonlinear systems with uncertain-but- bounded parameters and/or initial conditions. This... This paper proposes a new non-intrusive hybrid interval method using derivative information for the dynamic response analysis of nonlinear systems with uncertain-but- bounded parameters and/or initial conditions. This method provides tighter solution ranges compared to the existing polynomial approximation interval methods. Interval arith- metic using the Chebyshev basis and interval arithmetic using the general form modified affine basis for polynomials are developed to obtain tighter bounds for interval computation. To further reduce the overestimation caused by the "wrap- ping effect" of interval arithmetic, the derivative information of dynamic responses is used to achieve exact solutions when the dynamic responses are monotonic with respect to all the uncertain variables. Finally, two typical numerical examples with nonlinearity are applied to demonstrate the effective- ness of the proposed hybrid interval method, in particular, its ability to effectively control the overestimation for specific timepoints. 展开更多
关键词 Non-intrusive hybrid interval method Dynamic response analysis Uncertain nonlinear systems Polynomial approximation Interval arithmetic Derivative information
在线阅读 下载PDF
Hybrid method for global optimization using more accuracy interval computation
13
作者 崔中浩 雷咏梅 《Journal of Shanghai University(English Edition)》 CAS 2011年第5期445-450,共6页
In this paper, a novel hybrid method is presented for finding global optimization of an objective function. Based on the interval computation, this hybrid method combines interval deterministic method and stochastic e... In this paper, a novel hybrid method is presented for finding global optimization of an objective function. Based on the interval computation, this hybrid method combines interval deterministic method and stochastic evolution method. It can find global optimization quickly while ensuring the deterministic and stability of the algorithm. When using interval computation, extra width constraints accuracy of interval computation results. In this paper, a splitting method to reduce the extra width is introduced. This method is easy and it can get a more precise interval computation result. When finding the global optimization, it can increase the efficiency of pruning. Several experiments are given to illustrate the advantage of the new hybrid method. 展开更多
关键词 interval arithmetic global optimization interval computation extra width hybrid method
在线阅读 下载PDF
Evaluation of Double Average Asian Options by the Legendre Spectral Method
14
作者 盛慧莉 马和平 《Journal of Shanghai University(English Edition)》 CAS 2003年第3期206-213,共8页
In this paper, the evaluation of discretely sampled Asian options was considered by numerically solving the associated partial differential equations with the Legendre spectral method. Double average options were disc... In this paper, the evaluation of discretely sampled Asian options was considered by numerically solving the associated partial differential equations with the Legendre spectral method. Double average options were discussed as examples. The problem is a parabolic one on a finite domain whose equation degenerates into ordinary differential equations on the boundaries. A fully discrete scheme was established by using the Legendre spectral method in space and the Crank-Nicolson finite difference scheme in time. The stability and convergence of the scheme were analyzed. Numerical results show that the method can keep the spectral accuracy in space for such degenerate problems. 展开更多
关键词 double average Asian options discretely sampled arithmetic Asian options Legendre spectral method degenerate parabolic problem.
在线阅读 下载PDF
基于棱边元的三维定点谐波平衡有限元法及其在非线性问题中的应用
15
作者 高圣泽 赵小军 +3 位作者 刘兰荣 杜振斌 GAO Yanhui LU Junwei 《中国电机工程学报》 EI CSCD 北大核心 2024年第S01期332-341,共10页
为提升三维非线性电磁场仿真计算效率,提出了基于A、φ-A位组的三维定点谐波平衡有限元法。算法采用棱边元与节点元组合单元结构降低自由度,通过引入基于规范变换原则选取的标量位φ,保证矩阵方程的对称性。算法基于谐波平衡理论,实现... 为提升三维非线性电磁场仿真计算效率,提出了基于A、φ-A位组的三维定点谐波平衡有限元法。算法采用棱边元与节点元组合单元结构降低自由度,通过引入基于规范变换原则选取的标量位φ,保证矩阵方程的对称性。算法基于谐波平衡理论,实现了有限元方程系数矩阵的频域分解,使其适用于并行计算,并提出了直流分量定点磁阻率法及一种自适应的松弛因子选取方法,提升了算法非线性迭代的收敛速度。通过与传统时步有限元法及直流偏磁工况下的实验数据对比,验证了算法在三维涡流问题及考虑场路耦合的非线性问题上的有效性。在非线性工况下,分析了不同定点磁阻率选取方法对算法计算效率与收敛性能的影响。结果表明,在保证计算数值误差小于10-5时,相比其他定点磁阻率法,改进的定点磁阻率选取方法约降低31%的非线性迭代次数,29%的计算时间。 展开更多
关键词 谐波平衡法 定点技术 场路耦合 棱边元 非线性问题
在线阅读 下载PDF
Characteristics of Multi-Objective Linear Programming Problem and Multi-Objective Linear Fractional Programming Problem Taking Maximum Value of Multi-Objective Functions
16
作者 Samsun Nahar Md. Asadujjaman +2 位作者 Khadiza Begum Mahede-Ul-Hassan Md. Abdul Alim 《Applied Mathematics》 2024年第1期22-32,共11页
In this paper, a new statistical averaging technique is proposed for finding an optimal solution to a multi-objective linear fractional programming problem (MOLFPP) and multi-objective linear programming problem (MOLP... In this paper, a new statistical averaging technique is proposed for finding an optimal solution to a multi-objective linear fractional programming problem (MOLFPP) and multi-objective linear programming problem (MOLPP) by using new arithmetic averaging method and new geometric averaging method. It is significantly noticeable same characteristics among all the technique while taking maximum or minimum among all optimized values for multi-objective functions using simplex algorithm. The characteristics provided from the problems are verified by the numerical examples. 展开更多
关键词 MOLPP MOLFPP New arithmetic Averaging method New Geometric Averaging method
在线阅读 下载PDF
Integrated Analysis of Water Quality in Artificial Fishponds Using WQI and GIS in South-East Sierra Leone
17
作者 Hadji D. S. Kallon Lamin R. Mansaray +1 位作者 Misbah Fida Pratap Sundar Shrestha 《Journal of Geoscience and Environment Protection》 2024年第1期145-163,共19页
Artificial fishponds play a pivotal role in global aquaculture, serving as a source of livelihood and nourishment for many communities. Ensuring the sustained health and productivity of Fishes in these environments re... Artificial fishponds play a pivotal role in global aquaculture, serving as a source of livelihood and nourishment for many communities. Ensuring the sustained health and productivity of Fishes in these environments relies heavily on water quality management. This assessment was done to determine the water quality of ten artificial fishponds in the south-eastern part of Sierra Leone using twelve physicochemical factors (pH, BOD, EC, TDS, turbidity, COD, Fe<sup>2+</sup>, Mg<sup>2+</sup>, Ca<sup>2+</sup>, NH<sub>3</sub>, , and alkalinity) to find out the Water Quality Index (WQI) and spatial distribution of respective parameters. The assessment of artificial fishponds using WQI and Inverse Distant Weighting (IDW) integration represents a relatively underexplored area within the domain of environmental water resources. The WQI was determined using the “Weighted Arithmetic Water Quality Index’’ method. The results of WQI in the study area range from 65.05 to 147.26. Several locations have water quality deemed unsuitable for consumption, while others range from good to very poor. It is essential to address and improve water quality in locations categorized as unsuitable for consumption and very poor to ensure safe and healthy water sources. It was also clear from the calculation that the smaller the mean concentration value of the pH as compared to the ideal value (7), the smaller the WQI value and the better the water quality. To keep the artificial fishpond water in good condition, mass domestic use should be controlled, and draining of surrounding organic matter should be stopped in ponds Bo_001, Kenema_001, and Kenema_002. 展开更多
关键词 Physicochemical Parameters Water Quality Index WQI-“Weighted arithmetic Index method
在线阅读 下载PDF
斯多葛命题逻辑系统不完全性的新证明
18
作者 李章吕 潘易欣 《重庆理工大学学报(社会科学)》 2024年第10期160-166,共7页
斯多葛学派的命题逻辑理论是古希腊人对逻辑学的第二次伟大贡献。从现代逻辑的角度来看,应该把它理解为一个有且仅有5条推演规则的自然演绎系统而不是公理系统。陈志美和胡泽洪在承认它是自然演绎系统的基础上,运用算术解释方法证明了... 斯多葛学派的命题逻辑理论是古希腊人对逻辑学的第二次伟大贡献。从现代逻辑的角度来看,应该把它理解为一个有且仅有5条推演规则的自然演绎系统而不是公理系统。陈志美和胡泽洪在承认它是自然演绎系统的基础上,运用算术解释方法证明了它的不完全性。然而,他们所证明的是添加了两条“元逻辑规则”之后的系统,而且证明过程还存着一些不严谨之处。为此,本文采用现代逻辑中更为常用的语义比较方法直观且严谨地证明了斯多葛命题逻辑系统的不完全性,并给出了寻找该系统所缺失的规则从而使其具有完全性的方法,进一步深化了我们对斯多葛命题逻辑的认识。 展开更多
关键词 斯多葛学派 命题逻辑 自然演绎系统 不完全性 算术解释方法 辅助语义
在线阅读 下载PDF
Applications of interval arithmetic in solving polynomial equations by Wu's elimination method
19
作者 CHEN Falai YANG Wu 《Science China Mathematics》 SCIE 2005年第9期1260-1273,共14页
Wu's elimination method is an important method for solving multivariate polynomial equations. In this paper, we apply interval arithmetic to Wu's method and convert the problem of solving polynomial equations ... Wu's elimination method is an important method for solving multivariate polynomial equations. In this paper, we apply interval arithmetic to Wu's method and convert the problem of solving polynomial equations into that of solving interval polynomial equations. Parallel results such as zero-decomposition theorem are obtained for interval polynomial equations. The advantages of the new approach are two-folds: First, the problem of the numerical instability arisen from floating-point arithmetic is largely overcome. Second,the low efficiency of the algorithm caused by large intermediate coefficients introduced by exact compaction is dramatically improved. Some examples are provided to illustrate the effectiveness of the proposed algorithm. 展开更多
关键词 MATHEMATICAL mechanization Wu's method POLYNOMIAL equation INTERVAL arithmetic.
原文传递
敦煌写本《立成算经》中若干重要问题新探
20
作者 张永萍 《闽南师范大学学报(哲学社会科学版)》 2024年第1期63-72,共10页
敦煌遗书计有二十余件算学写本,其中S.930V《立成算经》保存相对完整,其内容丰富,与《孙子算经》的大部分内容相类,包括对度、量、衡的规定和九九乘法表等。二十世纪三十年代李俨先生对敦煌写本《立成算经》进行了研究,此后鲜少有学者... 敦煌遗书计有二十余件算学写本,其中S.930V《立成算经》保存相对完整,其内容丰富,与《孙子算经》的大部分内容相类,包括对度、量、衡的规定和九九乘法表等。二十世纪三十年代李俨先生对敦煌写本《立成算经》进行了研究,此后鲜少有学者涉猎此件。通过对S.930V进行录文、梳理,并结合录文对古代算筹法、度量衡等进行研究后发现:古算筹法计数分为横式、纵式,不同数位对应不同模式的算筹,如此错落间隔,清晰计数;零作为特殊的数字,算筹在计数时会为之留有空位;度、量、衡采用十进位制,且保有敦煌地区的特色,反映出中古时期敦煌地区社会经济的状况。 展开更多
关键词 立成算经 孙子算经 九九表 古算筹
在线阅读 下载PDF
上一页 1 2 18 下一页 到第
使用帮助 返回顶部