Q型插值样条逼近度的精确估计

设 △={0=x_0相似文献   

光滑函数的一种保凸插值法

§1.问题的提出 [1]和[2]都研究了单调光滑函数的保凸插值法。本文就一般光滑函数提出一种保凸插值方法。设△:a=x_0相似文献   

一种 C~2类五次缺插值样条函数

关于 C~2类的五次缺插值样条函数,已有不少讨论.本文讨论一种特殊的 C~2类的五次缺插值样条,它的构造方法和逼近性质与已讨论过的各种均不相同.设 f(x)是[0,1]上的连续函数,Δ:0=x_0相似文献   

单调及保凸二次样条插值

本文将集中研究保形二次样条插值.假设序列X={x_i}和Y={y_i}(i=0,1,2,…,N)满足x_(i-1)相似文献   

关于三次插值样条的最佳误差界

<正> 设△_n:0=x_o相似文献   

三次保凸样条曲线的一种构造法

一、曲线的方程 给定平面点组p_i(x_i,y_i)(i=0,1,2,…,n),它们构成拆线p_0p_1p_2…p_n。考虑x_0相似文献   

三次样条的Hermite-Birkboff插值

设Δ:0=x_0相似文献   

三次样条插值逼近的误差表示及其超收敛性

(一)前言 记△N,0=x_0相似文献   

一阶三角样条插值投影算子的模

§1.引言 设区间[0,1]的分划如下: △:0=x_0相似文献   

Hermite样条对可微函数类逼近的准确估值

1.设m为任意非负整数.以C~m表示[0,1]上具有m次连续导数的全体函数组成的集(C~0=C). 设n为正整数.以Δn表示区间[0,1]的n节分割 0=x_(0,n)相似文献   

Homological properties of generic matrix rings

It is shown that the ring of two 2×2 generic matrices over a field has infinite global dimension. It is also proved that there is a non-free projective module over that ring. Finally, the authors show that the trace ring of that generic matrix ring is an iterated Ore extension from which it follows that the trace ring has global dimension five and that the finitely-generated projective modules are stably free.     

Ten Myths of Science: Reexamining What We Think We Know About the Nature of Science

This article addresses and attempts to refute several of the most widespread and enduring misconceptions held by students regarding the enterprise of science. The ten myths discussed include the common notions that theories become laws, that hypotheses are best characterized as educated guesses, and that there is a commonly-applied scientific method. In addition, the article includes discussion of other incorrect ideas such as the view that evidence leads to sure knowledge, that science and its methods provide absolute proof, and that science is not a creative endeavor. Finally, the myths that scientists are objective, that experiments are the sole route to scientific knowledge and that scientific conclusions are continually reviewed conclude this presentation. The paper ends with a plea that instruction in and opportunities to experience the nature of science are vital in preservice and inservice teacher education programs to help unseat the myths of science.     

Relational properties, causal powers and psychological laws

This paper argues that Twin Earth twins belong to the same psychological natural kind, but that the reason for this is not that the causal powers of mental states supervene on local neural structure. Fodor’s argument for this latter thesis is criticized and found to rest on a confusion between it and the claim that Putnamian and Burgean type relational psychological properties do not affect the causal powers of the mental states that have them. While it is true that Putnamian and Burgean type relational psychological properties do not affect causal powers, it is false that no relational psychological properties do. Examples of relational psychological properties that do affect causal powers are given and psychological laws are sketched that subsume twins in virtue of them instantiating these relational properties rather than them sharing the narrow contents of their thoughts.     

Lower bound on size of branch-and-bound trees for solving lot-sizing problem

We show that there exists a family of instances of the lot-sizing problem, such that any branch-and-bound tree that solves them requires an exponential number of nodes, even in the case when the branchings are performed on general split disjunctions. This result is of interest since there exists dynamic programming algorithm that solves lot-sizing in polynomial-time. To the best of our knowledge, this is the first study that shows that dynamic programming can be exponentially faster than branch-and-bound.     

The deterministic EOQ with partial backordering: A new approach

Previous authors have shown that if demand that cannot be filled from stock is partially backordered, then using the full-backordering model or assuming that all stockouts will result in lost sales can lead to substantial increases in cost relative to using a model that specifically recognizes the percentage of the stockouts that will be backordered. The models that these authors developed resulted in procedures or equations that are relatively difficult to use. In this paper we take a different approach to modeling the deterministic EOQ with partial backordering that results in equations that are more like the comparable equations for the basic EOQ and its full-backordering extension.     

Behaviorism and belief

The examination of now-abandoned behaviorist analysis of the concept of belief can bring to light defects in perspectives such as functionalism and physicalism that are still considered viable. Most theories have in common that they identify the holding of the belief that p by a subject S with some matter of fact in or about S that is distinct from and independent of p. In the case of behaviorism it is easy to show that this feature of the theory generates incoherence in the first-person point of view since it gives footing to the possibility that S could correctly assert “I believe that p,” (that is, “I have the complex disposition the behaviorist theory identifies with holding the belief that p”) and at the same time deny that p is the case. Parallel incoherence can be developed in the context of other philosophically popular accounts of the nature of belief.     

Optimal cutting directions and rectangle orientation algorithm

The first stage in hierarchical approaches to Floorplan Design defines topological relations between components that intend to optimize a given objective in a circuit board. These relations determine a placement that is subsequently optimized in order to minimize a cost measurement (that will probably be one between chip area or perimeter). The board optimization gives rise to multiple subproblems that need to be answered in order to obtain a good solution. Among the most relevant ones we find the problem of defining the optimal orientation of cells and the definition of the optimal cutting sequence that minimize the placement board area. We will present a generalization of an algorithm due to Stockmeyer so that it obtains a solution that not only defines the optimal cell orientation but also the slicing cuts sequence that will lead to this optimal orientation and overall area minimization.     

Possibly v. actually the case: Davidson’s omniscient interpreter at twenty

The publication of Davidson 2001, anthologizing articles from the 1980s and 1990s, encourages reconsidering arguments contained in them. One such argument is Davidson’s omniscient-interpreter argument (‘OIA’) in Davidson 1983. The OIA allegedly establishes that it is necessary that most beliefs are true. Thus the omniscient interpreter, revived in 2001 and now 20 years old, was born to answer the skeptic. In Part I of this paper, I consider charges that the OIA establishes only that it is possible that most beliefs are true; if correct, then it is also possibly the case that most beliefs are false—the skeptic’s very position. Next, I consider two responses on Davidson’s behalf, showing that each fails. In Part II, I show that the OIA establishes neither that it is necessarily merely possibly but actually the case that most beliefs are true. I then conclude that this is enough to answer the skeptic.     

The Gergonne and Nagel centers of an n-dimensional simplex

In contrast with the analogous situation for a triangle, the cevians that join the vertices of a tetrahedron to the points where the faces touch the insphere (or the exspheres) are not concurrent in general. This observation led the present author and P. Walker in [4] to devise alternative definitions of the Gergonne and Nagel centers of a tetrahedron that do not assume the concurrence of such cevians and that coincide with the ordinary definitions in the case of a triangle. They then proved that the Gergonne center exists and is unique for all tetrahedra and that the Nagel center, though unique, exists only for tetrahedra that satisfy certain conditions. In this article, we extend these definitions to simplices of any dimension. By keeping the requirement that the Gergonne center be interior and relaxing such a condition for the Nagel center, we prove that both centers exist and are unique for all simplices, thus polishing the definitions and generalizing the results of the above-mentioned article.     

OPTIMAL INSTAR PARASITIZATION IN A STAGE STRUCTURED HOST-PARASITOID MODEL

A stage structured host-parasitoid model is derived and the equilibria studied. It is shown under what conditions the parasitoid controls an exponentially growing host in the sense that a coexistence equilibrium exists. Furthermore, for host populations whose inherent growth rate is not too large it is proved that in order to minimize the adult host equilibrium level it is necessary that the parasitoids attack only one of the larval stages. It is also proved in this case that the minimum adult host equilibrium level is attained when the parasitoids attack that larval stage which also maximizes the expected number of emerging adult parasitoid per larva at equilibrium. Numerical simulations tentatively indicate that the first conclusion remains in general valid for the model. However, numerical studies also show that it is not true in general that the optimal strategy will maximize the number of emerging adult parasitoid per larva at equilibrium.