Ehrenfeucht-Fraïssé games in finite set theory

In this article, with Ehrenfeucht-Fraïssé games we prove that Δ₁≠Δ₀ on BFR, which implies Δ≠Δ₀ on BFR, and thus solve an open problem raised by Albert Atserias in his dissertation (Δ₀,Δ₁,Δ are fragments of first order logic and BFR is a class of finite sets which in essence is equivalent to a class of finite pure arithmetic structures with built-in BIT predicate).     

A weighted H1 seminorm regularization method for Fredholm integral equations of the first kind

Many problems in mathematics and engineering lead to Fredholm integral equations of the first kind, e.g. signal and image processing. These kinds of equations are difficult to solve numerically since they are ill-posed. Therefore, regularization is required to obtain a reasonable approximate solution. This paper presents a new regularization method based on a weighted H¹ seminorm. Details of numerical implementation are given. Numerical examples, including one-dimensional and two-dimensional integral equations, are presented to illustrate the efficiency of the proposed approach. Numerical results show that the proposed regularization method can restore edges as well as details.     

N皇后问题的启发式算法探讨

搜索策略的选择与设计是人工智能领域问题求解的核心问题之一,直接影响到问题求解过程中存储空间的占用和计算的复杂性,影响到问题求解的效率。在给出N皇后问题形式化描述和现有搜索算法的基础上,设计了3种解决N皇后问题的启发式算法,并将其与深度优先和宽度优先等搜索策略进行了分析和比较,得出了几点关于设计启发式算法的启示。     

一阶电路的四要素公式

给出了直流激励下的一阶电路的四要素公式,将经典分析的起点延伸到0_,使经典电路分析与现代电路分析的起点一致,统一了动态分析理论。     

有向图的先深遍历与显示

图论是一门应用性很强的学科 ,在计算机科学、信息论等各个方面都有着广泛的应用。对图的概念和遍历方法进行了简单的阐述。并以有向图为例 ,介绍了有向图的先深遍历和简单显示 ,以及如何用C程序语言对其进行的实际编程。     

On Curvatures and Focal Points of Distributions of Dynamical Lagrangian Distributions and their Reductions by First Integrals

Pairs (Hamiltonian system, Lagrangian distribution) called dynamical Lagrangian distributions, appear naturally in differential geometry, calculus of variations, and rational mechanics. The basic differential invariants of a dynamical Lagrangian distribution with respect to the action of the group of symplectomorphisms of the ambient symplectic manifold are the curvature operator and curvature form. These invariants can be considered as generalizations of the classical curvature tensor in Riemannian geometry. In particular, in terms of these invariants one can localize the focal points along extremals of the corresponding variational problems. In the present paper we study the behavior of the curvature operator, the curvature form, and the focal points of a dynamical Lagrangian distribution after its reduction by arbitrary first integrals in involution. An interesting phenomenon is that the curvature form of so-called monotone increasing Lagrangian dynamical distributions, which appear naturally in mechanical systems, does not decrease after reduction. It also turns out that the set of focal points to the given point with respect to the monotone increasing dynamical Lagrangian distribution and the corresponding set of focal points with respect to its reduction by one integral are alternating sets on the corresponding integral curve of the Hamiltonian system of the considered dynamical distributions. Moreover, the first focal point corresponding to the reduced Lagrangian distribution comes before any focal point related to the original dynamical distribution. We illustrate our results on the classical N-body problem. 2000 Mathematics Subject Classification. 37J15, 37J05, 53D20.     

改进型遗传算法的滑动参差MTI滤波器设计

介绍了基于改进型遗传算法的滑动参差MTI滤波器优化设计。采用滑动脉冲的方式进行MTI滤波器设计,利用改进型遗传算法搜索最优参差码,有利于检测陷在滤波器第一零点里的弱目标。同时该滤波器可形成凹口以滤去杂波,并将盲速推到3倍音速以外。由于采用改进型遗传算法对参差码进行搜索,使运算量大大减少。仿真结果和性能分析验证了算法的可行性和有效性。     

三峡工程右岸一期工程施工进度控制

在三峡工程右岸一期工程施工中，工程监理根据合同要求首先编制合同目标控制性施工进度计划，作为审查施工承包单位施工组织设计的重要依据。在工程进展过程中，再根据工程实施情况，为确保合同工期目标的实现，适时调整某一时段的施工进度计划，对工程进度实施动态控制。由于采取了有效的控制措施，使右岸工程建设进度基本按控制目标进行，较合同工期目标略有提前，工程质量满足设计要求。     

光缆线路的雷击故障概率计算

给出了光缆第一类和第二类雷击故障概率的计算方法,确定了计算中各参数的取值。     

一种改进的进程调度算法在机顶盒上的设计与实现

调度算法对操作系统中的实时性起着关键的作用.就此问题,深入分析了基于最小优裕度算法的内核进程调度算法,为更好地满足Linux系统对嵌入式系统实时可靠性的要求,对现有的LSF调度策略进行分析,指出LSF算法调度算法的不足.为了改进LSF算法的颠簸现象,基于抢占阈值的思想,提出适用于LSF算法的抢占阈值分配方法,动态地给每...