Sparse-Grid Implementation of Fixed-Point Fast Sweeping WENO Schemes for Eikonal Equations

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.

A Secure and Effective Energy-Aware Fixed-Point Quantization Scheme for Asynchronous Federated Learning

Asynchronous federated learning(AsynFL)can effectivelymitigate the impact of heterogeneity of edge nodes on joint training while satisfying participant user privacy protection and data security.However,the frequent exchange of massive data can lead to excess communication overhead between edge and central nodes regardless of whether the federated learning(FL)algorithm uses synchronous or asynchronous aggregation.Therefore,there is an urgent need for a method that can simultaneously take into account device heterogeneity and edge node energy consumption reduction.This paper proposes a novel Fixed-point Asynchronous Federated Learning(FixedAsynFL)algorithm,which could mitigate the resource consumption caused by frequent data communication while alleviating the effect of device heterogeneity.FixedAsynFL uses fixed-point quantization to compress the local and global models in AsynFL.In order to balance energy consumption and learning accuracy,this paper proposed a quantization scale selection mechanism.This paper examines the mathematical relationship between the quantization scale and energy consumption of the computation/communication process in the FixedAsynFL.Based on considering the upper bound of quantization noise,this paper optimizes the quantization scale by minimizing communication and computation consumption.This paper performs pertinent experiments on the MNIST dataset with several edge nodes of different computing efficiency.The results show that the FixedAsynFL algorithm with an 8-bit quantization can significantly reduce the communication data size by 81.3%and save the computation energy in the training phase by 74.9%without significant loss of accuracy.According to the experimental results,we can see that the proposed AsynFixedFL algorithm can effectively solve the problem of device heterogeneity and energy consumption limitation of edge nodes.

A Fixed-Point Iterative Method for Discrete Tomography Reconstruction Based on Intelligent Optimization

Discrete Tomography(DT)is a technology that uses image projection to reconstruct images.Its reconstruction problem,especially the binary image(0–1matrix)has attracted strong attention.In this study,a fixed point iterative method of integer programming based on intelligent optimization is proposed to optimize the reconstructedmodel.The solution process can be divided into two procedures.First,the DT problem is reformulated into a polyhedron judgment problembased on lattice basis reduction.Second,the fixed-point iterativemethod of Dang and Ye is used to judge whether an integer point exists in the polyhedron of the previous program.All the programs involved in this study are written in MATLAB.The final experimental data show that this method is obviously better than the branch and bound method in terms of computational efficiency,especially in the case of high dimension.The branch and bound method requires more branch operations and takes a long time.It also needs to store a large number of leaf node boundaries and the corresponding consumptionmatrix,which occupies a largememory space.

A Fixed-Point Fast Sweeping WENO Method with Inverse Lax-Wendroff Boundary Treatment for Steady State of Hyperbolic Conservation Laws

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.

智慧养老服务高质量发展:现实障碍、建设逻辑与实现路径

打造高质量的智慧养老服务是顺应时代发展、积极应对人口老龄化的必然要求。然而囿于养老服务的技术斥老化、主体碎片化、模式分层化和保障空心化等问题,老年人并未在智慧养老领域中获得较好的数字化服务体验。文章对当前我国智慧养老服务低效运行现象隐含的底层冲突和诱发的现实原因进行了系统深入分析,基于主体性和嵌入性的建设逻辑,从多个维度探寻应对问题的有效良方:一是针对数字技术进行适老改造,使老年人摆脱被动型数字化,消解其与数字社会的双向互斥,实现老年友好型数字社会的建设构想;二是侧重服务主体、强调包容协同,从整体性视角出发,整合各方利益诉求,调配多元角色站位,落实主体本位职责,推动服务开发升级;三是围绕服务模式展开耦合创新,根植于多种养老模式的性质与类型差异,巧妙化解资源整合困难、资源配置效率低下等矛盾现象,实现模式机制的共生共创;四是立足保障制度深化要素改革,完善养老保障体系建设,提升政策支撑力度,扩大福利配套范围,强化老年群体的服务购买能力与意愿,优化智慧养老结构。在此基础上,合理维持多重举措间的动态平衡与辩证调整,为老龄群体享受高质量的老年生活、破解数字时代老年人急需解决的服务难题提供一条可供参考的实践路径。

多通道奇异频率信号的稳相合成研究

为了解决多通道奇异频率间相位差稳定的难题,理论上分析了锁相环稳相原理,提出了一种多通道奇异频率的稳相算法。该算法通过求解奇异频率间的最大公约数,联动输出频率的同时可满足稳相合成的条件。电路实物加入适当的环路阶型设计,当输出频率在S波段时,相位差稳定性≤4°,满足使用需求,同时很好地验证了该算法的可行性和灵活性。

无小环大列重QC-LDPC短码的显式构造

针对列重较大的无4环且无6环的准循环(Quasi-Cyclic,QC)低密度奇偶校验(Low-Density Parity-Check,LDPC)码,本文提出了三种新的显式构造方法.新方法的指数矩阵由两个整数序列完全定义,其中第一个序列是从0开始且公差为1的等差序列,第二个序列是由符合最大公约数约束的整数组成的特殊序列.对于现有显式方法只能提供较大循环块尺寸的多种行重类型,新显式构造方法在这些行重类型下均获得了相当小的循环块尺寸,从而将最小循环块尺寸降低到大约只有原来的一半.与近期提出的基于搜索的对称结构法相比,新的显式构造方法具有类似或更优的译码性能、极低的描述复杂度且不需要计算机搜索.

围长为8的较大列重准循环低密度奇偶校验码的行重普适代数构造

适合于任意行重(即行重普适(RWU))的无小环准循环(QC)低密度奇偶校验(LDPC)短码,对于LDPC码的理论研究和工程应用具有重要意义。具有行重普适特性且消除4环6环的现有构造方法,只能针对列重为3和4的情况提供QC-LDPC短码。该文在最大公约数(GCD)框架的基础上,对于列重为5和6的情况,提出了3种具有行重普适特性且消除4环6环的构造方法。与现有的行重普适方法相比,新方法提供的码长从目前的与行重呈4次方关系锐减至与行重呈3次方关系,因而可以为QC-LDPC码的复合构造和高级优化等需要较大列重基础码的场合提供行重普适的无4环无6环短码。此外,与基于计算机搜索的对称结构QC-LDPC码相比,新码不仅无需搜索、描述复杂度更低,而且具有更好的译码性能。

Fermat and Pythagoras Divisors for a New Explicit Proof of Fermat’s Theorem:a4 + b4 = c4. Part I

In this paper we prove in a new way, the well known result, that Fermat’s equation a4 + b4 = c4, is not solvable in ℕ , when abc≠0 . To show this result, it suffices to prove that: ( F 0 ): a 1 4 + ( 2 s b 1 ) 4 = c 1 4 , is not solvable in ℕ , (where a 1 , b 1 , c 1 ∈2ℕ+1 , pairwise primes, with necessarly 2≤s∈ℕ ). The key idea of our proof is to show that if (F0) holds, then there exist α 2 , β 2 , γ 2 ∈2ℕ+1 , such that ( F 1 ): α 2 4 + ( 2 s−1 β 2 ) 4 = γ 2 4 , holds too. From where, one conclude that it is not possible, because if we choose the quantity 2 ≤ s, as minimal in value among all the solutions of ( F 0 ) , then ( α 2 ,2 s−1 β 2 , γ 2 ) is also a solution of Fermat’s type, but with 2≤s−10) is solvable in ( a 1 ,2 s b 1 , c 1 ) , s ≥ 2 like above;afterwards, proceeding with “Pythagorician divisors”, we creat the notions of “Fermat’s b-absolute divisors”: ( d b , d ′ b ) which it uses hereafter. Then to conclude our proof, we establish the following main theorem: there is an equivalence between (i) and (ii): (i) (F0): a 1 4 + ( 2 s b 1 ) 4 = c 1 4 , is solvable in ℕ , with 2≤s∈ℕ , ( a 1 , b 1 , c 1 )∈ ( 2ℕ+1 ) 3 , coprime in pairs. (ii) ∃( a 1 , b 1 , c 1 )∈ ( 2ℕ+1 ) 3 , coprime in pairs, for wich: ∃( b ′ 2 , b 2 , b ″ 2 )∈ ( 2ℕ+1 ) 3 coprime in pairs, and 2≤s∈ℕ , checking b 1 = b ′ 2 b 2 b ″ 2 , and such that for notations: S=s−λ( s−1 ) , with λ∈{ 0,1 } defined by c 1 − a 1 2 ≡λ( mod2 ) , d b =gcd( 2 s b 1 , c 1 − a 1 )= 2 S b 2 and d ′ b = 2 s−S b ′ 2 = 2 s B 2 d b , where ( 2 s B 2 ) 2 =gcd( b 1 2 , c 1 2 − a 1 2 ) , the following system is checked: { c 1 − a 1 = d b 4 2 2+λ = 2 2−λ ( 2 S−1 b 2 ) 4 c 1 + a 1 = 2 1+λ d ′ b 4 = 2 1+λ ( 2 s−S b ′ 2 ) 4 c 1 2 + a 1 2 =2 b ″ 2 4;and this system implies: ( b 1−λ,2 4 ) 2 + ( 2 4s−3 b λ,2 4 ) 2 = ( b ″ 2 2 ) 2;where: ( b 1−λ,2 , b λ,2 , b ″ 2 )={ ( b ′ 2 , b 2 , b ″ 2 ) if λ=0 ( b 2 , b ′ 2 , b ″ 2 ) if λ=1;From where, it is quite easy to conclude, following the method explained above, and which thus closes, part I, of this article. .

The Criteria for Reducing Centrally Restricted Three-Body Problem to Two-Body Problem

Our Solar System contains eight planets and their respective natural satellites excepting the inner two planets Mercury and Venus. A satellite hosted by a given Planet is well protected by the gravitational pertubation of much heavier planets such as Jupiter and Saturn if the natural satellite lies deep inside the respective host Planet Hill sphere. Each planet has a Hill radius aH and planet mean radius RP and the ratio R1=RP/aH. Under very low R1 (less than 0.006) the approximation of CRTBP (centrally restricted three-body problem) to two-body problem is valid and planet has spacious Hill lobe to capture a satellite and retain it. This ensures a high probability of capture of natural satellite by the given planet and Sun’s perturbation on Planet-Satellite binary can be neglected. This is the case with Earth, Mars, Jupiter, Saturn, Neptune and Uranus. But Mercury and Venus has R1=RP/aH =0.01 and 5.9862 × 10-3 respectively hence they have no satellites. There is a limit to the dimension of the captured body. It must be a much smaller body both dimensionally as well masswise. The qantitative limit is a subject of an independent study.

“Greatest lake period” and its palaeo-environment on the Tibetan Plateau

The “greatest lake period” means that the lakes are in the stage of their maximum areas. As the paleo lake shorelines are widely distributed in the lake basins on the Tibetan Plateau, the lake areas during the “greatest lake period” may be inferred by the last highest lake shorelines. They are several, even tens times larger than that at present. According to the analyses of tens of lakes on the Plateau, most dating data fell into the range of 40-25 ka BP, some lasted to 20 ka BP. It was corresponded to the stage 3 of marine isotope and interstitial of last glaciation. The occurrence of maximum areas of lakes marked the very humid period on the Plateau and was also related to the stronger summer monsoon during that period.

Quantum Polynomial-Time Fixed-Point Attack for RSA

Security analysis of public-key cryptosystems is of fundamental significance for both theoretical research and applications in cryptography. In particular, the security of widely used public-key cryptosystems merits deep research to protect against new types of attacks. It is therefore highly meaningful to research cryptanalysis in the quantum computing environment. Shor proposed a wellknown factoring algorithm by finding the prime factors of a number n =pq, which is exponentially faster than the best known classical algorithm. The idea behind Shor's quantum factoring algorithm is a straightforward programming consequence of the following proposition: to factor n, it suffices to find the order r; once such an r is found, one can compute gcd( a^(r/2) ±1, n)=p or q. For odd values of r it is assumed that the factors of n cannot be found(since a^(r/2) is not generally an integer). That is, the order r must be even. This restriction can be removed, however, by working from another angle. Based on the quantum inverse Fourier transform and phase estimation, this paper presents a new polynomial-time quantum algorithm for breaking RSA, without explicitly factoring the modulus n. The probability of success of the new algorithm is greater than 4φ( r)/π~2 r, exceeding that of the existing quantum algorithm forattacking RSA based on factorization. In constrast to the existing quantum algorithm for attacking RSA, the order r of the fixed point C for RSA does not need to be even. It changed the practices that cryptanalysts try to recover the private-key, directly from recovering the plaintext M to start, a ciphertext-only attack attacking RSA is proposed.

Normality Criteria of Meromorphic Functions Concerning Shared Fixed-points

In this paper, we study the normality criteria of meromorphic functions concerning shared fixed-points, we obtain: Let F be a family of meromorphic functions defined in a domain D. Let n, k ≥ 2 be two positive integers. For every f ∈ F, all of whose zeros have multiplicity at least (nk+2)/(n-1). If f(f(k))nand g(g(k))nshare z in D for each pair of functions f and g, then F is normal.

Fixed-Point Iteration Method for Solving the Convex Quadratic Programming with Mixed Constraints

The present paper is devoted to a novel smoothing function method for convex quadratic programming problem with mixed constrains, which has important application in mechanics and engineering science. The problem is reformulated as a system of non-smooth equations, and then a smoothing function for the system of non-smooth equations is proposed. The condition of convergences of this iteration algorithm is given. Theory analysis and primary numerical results illustrate that this method is feasible and effective.

A CLASS OF NATURALLY ORDERED ABUNDANT SEMIGROUPS WITH A GREATESTIDEMPOTENT

On the base of the construction of abundant semigroups with a normal medial idempotent [14], in this paper we consider a class of naturally ordered abundant semigroups which satisfies the regularity condition and contains a greatest idempotent. Furthermore, we give a completely description of the overall structure of such ordered semigroups via the algebraic structure of them, which generalizes known result obtained by Blyth and McFadden[3].

A Note on Determine the Greatest Common Subfamily of Two NFSRs by Grbner Basis

For nonlinear feedback shift registers （NFSRs）, their greatest common subfamily may be not unique. Given two NFSRs, the authors only consider the case that their greatest common subfamily exists and is unique. If the greatest common subfamily is exactly the set of all sequences which can be generated by both of them, the authors can determine it by Grobner basis theory. Otherwise, the authors can determine it under some conditions and partly solve the problem.

Attractive fixed-point solution study of shell model for homogeneous isotropic turbulence

The attractive fixed-point solution of a nonlinear cascade model is stud- ied for the homogeneous isotropic turbulence containing a parameter C, introduced by Desnyansky and Novikov. With a traditional constant positive external force added on the first shell equation, it can be found that the attractive fixed-point solution of the model depends on both the parameter C and the external force. Thus, an explicit force is introduced to remove the effects of the external force on the attractive fixed-point solu- tion. F^arthermore, two groups of attractive fixed-point solutions are derived theoretically and studied numerically. One of the groups has the same scaling behavior of the velocity in the whole inertial range and agrees well with those observed by Bell and Nelkin for the nonnegative parameters. The other is found to have different scaling behaviors of the velocity at the odd and even number shells for the negative parameters. This special characteristic may be used to study the anomalous scaling behavior of the turbulence.

Quantum search for unknown number of target items by hybridizing fixed-point method with trail-and-error method

For the unsorted database quantum search with the unknown fraction λ of target items, there are mainly two kinds of methods, i.e., fixed-point and trail-and-error.(i) In terms of the fixed-point method, Yoder et al. [Phys. Rev. Lett.113 210501(2014)] claimed that the quadratic speedup over classical algorithms has been achieved. However, in this paper, we point out that this is not the case, because the query complexity of Yoder’s algorithm is actually in O(1/λ01/2)rather than O(1/λ1/2), where λ0 is a known lower bound of λ.(ii) In terms of the trail-and-error method, currently the algorithm without randomness has to take more than 1 times queries or iterations than the algorithm with randomly selected parameters. For the above problems, we provide the first hybrid quantum search algorithm based on the fixed-point and trail-and-error methods, where the matched multiphase Grover operations are trialed multiple times and the number of iterations increases exponentially along with the number of trials. The upper bound of expected queries as well as the optimal parameters are derived. Compared with Yoder’s algorithm, the query complexity of our algorithm indeed achieves the optimal scaling in λ for quantum search, which reconfirms the practicality of the fixed-point method. In addition, our algorithm also does not contain randomness, and compared with the existing deterministic algorithm, the query complexity can be reduced by about 1/3. Our work provides a new idea for the research on fixed-point and trial-and-error quantum search.

Study on growth cycle and ultrastructure of calmodulin fixed-point yeast mutant

Objective: To study the effects of the fixed-point mutant on growth cycle and ultrastructure of the Calmodulin fixed-point mutant yeast. Methods: Growth cycle and ultrastructure of the Calmodulin fixed-point mutant yeast were studied by using cytometry and scan electron microscope. Results: After culture at 30'C for 36 h, the content of aneuploidy of the temperature-sensitive recombinant yeast monoploid B(F92+) and E(F89+FH1 + ) strains were 63. 87% and 63. 55%, respectively. These were significantly different from control OP<0. 01) ; The content of the non-temperature-sensitive recombinant yeast monoploid A(F89+) and C(F141+) strains were 100. 00% and 99. 97% , respectively, which were not significantly different from control value (P>0. 05). Observed by scan electron microscope, the control group, A and C strain's buds were spherical or oval and those bud-necks were fairly shorter; the B and E strain's buds were slender, some cell were abnormal and some buds might show spherical or oval. Conclusion: DNA division and growth velocity of the temperature-sensitive recombinant B and E strains are slower than those of control group and the non-temperature-sensitive recombinant A and C strains.

Investigation on dynamic characteristics of a rod fastening rotor-bearing coupling system with fixed-point rubbing

The aim of this paper is to gain insight into the nonlinear vibration feature of a dynamic model of a gas turbine.First,a rod fastening rotor-bearing coupling model with fixed-point rubbing is proposed,where the fractal theory and the finite element method are utilized.For contact analysis,a novel contact force model is introduced in this paper.Meanwhile,the Coulomb model is adopted to expound the friction characteristics.Second,the governing equations of motion of the rotor system are numerically solved,and the nonlinear dynamic characteristics are analyzed in terms of the bifurcation diagram,Poincarémap,and time history.Third,the potential effects provided by contact degree of joint interface,distribution position,and amount of contact layer are discussed in detail.Finally,the contrast analysis between the integral rotor and the rod fastening rotor is conducted under the condition of fixed-point rubbing.