多项式族左扇区稳定的最大摄动区间

已知多项式ｐ（ｓ，ｒ）＝ｘ∑ｉ＝０ａｉ（ｒ）ｓ＾ｉ。其中诸系数ａｉ（ｒ）（ｉ＝０，１，…，ｎ）为参量ｒ的多项式函数且ｐ（ｓ，０）是左扇区稳定的多项式，本文给出ｒ的最大摄动区间以使对这区间中的所有ｒ．多项式ｐ（ｓ，ｒ）都是左扇区稳定的，     

环网的强连通度与最佳强连通性

本文得到了环网Ｄ（ｎ；ｓ）（ｓ＝（ｓ１，ｓ２．．．，ｓｍ））的强连通度的求法及构造强连通度Ｋ（Ｄ）≥ω（≤ｍ）的环网Ｄ（ｎ；ｓ）的方法。     

Grzegorczyk分层的一种延伸

本文讨论某些递归函数类的分层问题．首先给出的是原始的Ｇｏｒｚｅｇｏｒｃｚｙｋ分层的一种较为简单的等价定义．然后，作为对Ａｃｋｅｒｍａｎｎ函数的一种推广，定义了一个递归函数序列｛Ａ_ｎ｝_ｎ∈ω．并以此作为分层函数列定义了一种新的递归分层｛Ｚ_ｎ｝_ｎ∈ω（即Ｚ—分层），这种分层涉及了比原始递归函数类更大的一个违归函数类．实际上，原始递归函数类仅是Ｚ—分层的第一层Ｚ_０．而且这种分层的任意的第ｎ＋１层都含     

寻找无向图中回路的并行算法

对无向简单图Ｇ＝（Ｖ，Ｅ），｜Ｖ｜＝ｎ，｜Ｅ｜＝ｍ，给出对下述问题的ＮＣ算法：（１）寻找Ｇ中最短回路；（２）寻找Ｇ中最短偶（奇）长度回路；（３）求解Ｃ_ｋ，ｋ＝３，４，这里Ｃ_ｋ表示Ｇ中长度为ｋ的回路．     

用插值算子解FIF反问题

１．引言 记区间Ｉ＝［０,１］,Ｎ是某给定的正整数,ｘｊ＝ｊ／Ｎ,ｊ＝０,１,…,Ｎ,又给定实函数Ｙ．令 ｛ Ｌｎ（ｘ）＝ Ｎ ＋ Ｎ, Ｆｎ（ｘ,ｙ）＝ｄｎ－１ｙ＋ｈＹ（Ｌｎ（ｘ））－ｄｎ－１Ｙ（ｘ）ｂｎ＝１,２…．Ｎ．（１,１） 其中 （１）ｈＹ（ｘ）∈Ｃ（Ｉ）,满足插值条件：ｈＹ（ｘｊ）＝Ｙ（ｘｊ）,ｊ＝０,１;…,Ｎ （２）ｂｙ（ｘ）∈Ｃ（Ｉ）,满足条件：ｂＹ（ｘ０）－Ｙ（ｘ０）,ｂＹ（ｘＮ）＝Ｙ（ｘＮ）; （３）实数列｛ｄｉ｝Ｎ－１ｉ＝０满足｜ｄｉ｜＜１,Ｖｉ． 定义 Ｗｕ （ｘ,ｙ）＝（Ｌｎ（ｘ）…     

4个多色Ramsey数的下界

研究了素数阶完全图Ｋｐ的边的ｎ－染色，给出了计算它的子图Ｇｐ（Ｓｉ）的团数的一种算法，得到１个三色，３个四色Ｒａｍｓｅｙ数的新的下界     

用递推公式解常系数齐次线性微分方程组

１引言关于常系数齐次线性微分方程组ｄＹ／ｄＸ-ＡＹ（１）其中＊一ｈ,儿...,";Ａ一【Ｚ的解法有关教材上已有介绍,当方程组（１）中系数矩阵ＡＬａ－,"ａ－－－一的特征根有重根时,所用方法或是将矩阵Ａ化为Ｊ。ｄａｎ标准型;或是应用待定系数法求解。而这些解法过程较繁琐、不便应用。为此,本文应用待定向量建立了递推公式解法。２主要结果２．１定理１若矩阵Ａ有ｎ（ｎ＞２）重特征根Ａ,则方程组（ｌ）的通解可设为ｙ００。（ａ;＋ｏｐ＋...＋Ｍ''）ｅｔｓ（２）其中,。;为含有ｎ个任意常数的非零向量,即：。;一（ｃ;,…     

二维模式近似匹配的快速算法

给定一个大小为ｎ×ｎ的文本Ｔ和一个大小为ｍ×ｍ的模板Ｐ，如果文本Ｔ中存在一个ｍ×ｍ的子块与模板Ｐ能够逐点匹配，称为精确匹配。如果最多有ｋ个元素不同，称为带有最多ｋ个误差的近似匹配。对于精确匹配，本文给出了一个时间复杂性为Ｏ（ｎ２ｌｏｇ｜∑｜）的算法，∑＝｛ａ１，２，…，ａ｜∑｜｝，是模板的字符集。对于近似匹配，快速算法分为两步：（１）预选。利用精确匹配算法找出能精确匹配的ｓ×ｓ（０≤ｓ≤ｍ）子块，得到ｈ个候选的对准点；（２）验证。把模板对准候选点，逐点比较，以确定不相同的元素是否不超过ｋ个。近似匹配的时间复杂性为Ｏ（ｎ２ｌｏｇ｜∑｜＋ｈｍ２）。     

矩形区域上仿射变分不等式的一个直接法

１．引言我们将建立一个求解矩形区域上具Ｚ一阵的仿射交分不等式的直接法．设ＡｅＲｎ×ｎ为给定实矩阵,ｑＲｎ为给定实向量,Ｋ为由ｎ个非空闲区间,即组成的Ｃａｒｔｅｓｉａｎ积．考虑仿射变分不等式：求ｘ＊Ｋ,使１得其中ａ;＜ｂｉ对每个指标ｉ＝１,２,…,ｎ都成立．我们允许ａ;或ｂｉ取无穷大,此时意指题（１）,它可写成如下等价形式（可参见［３］）：ＯＭｘ”．ｏＬ＞０．芳ｘｇ＝ａ。（（Ａｘ”．ｏＬ＜０．开ｘ？＝ｂ。门）【（砌”一ＸＬ＝０．若Ｘ。＜Ｘ了＜ｂ．显然,如果Ｋｉ＝【０,十一（ｉ一１,…,。）,则ＶＩ…     

关于S_4~2(△_(mn)~((2)))插值与逼近

§１．引言及定义 设平面上矩形 Ｄ：［a,b］×［ｃ,ｄ］上的 Ⅱ型三角剖分（图５）．令 ｈ１＝,ｈ２＝．为方便,（ｉ,ｊ）（ｉｈ１,ｊｈ２）．记表示总次数不超过４的二元多项式空间;Ｄｉｊ表示以（ｉ,ｊ）,（ｉ ＋１,ｊ）（ｉ,ｊ＋１）,（ｉ＋１, ｊ＋１）为顶点的矩形,其上的四个三角形域依次记为（ｋ＝１,２,３,４）． 定义 １．１．二元四次样条集S_4～2（△_（mm）～（（２）））是由满足下列条件的Ｓ（ｘ,ｙ）所组成的集合： （ｉ） Ｓ（ｘ,ｙ） Ｃ２（Ｄ）;（ｉｉ）Ｓ（ｘ,ｙ）（ｋ＝１,２,３,４）． 设一…     

Only connect: teaching, technology and telesis

Abstract This paper describes an approach to the design of interactive multimedia materials being developed in a European Community project. The developmental process is seen as a dialogue between technologists and teachers. This dialogue is often problematic because of the differences in training, experience and culture between them. Conditions needed for fruitful dialogue are described and the generic model for learning design used in the project is explained.     

European Community policy and the market

Abstract This paper starts with some reflections on the policy considerations and priorities which are shaping European Commission (EC) research programmes. Then it attempts to position the current projects which seek to capitalise on information and communications technologies for learning in relation to these priorities and the apparent realities of the marketplace. It concludes that while there are grounds to be optimistic about the contribution EC programmes can make to the efficiency and standard of education and training, they are still too technology driven.     

一种自适应子融合集成多分类器方法

融合集成方法已经广泛应用在模式识别领域,然而一些基分类器实时性能稳定性较差,导致多分类器融合性能差,针对上述问题本文提出了一种新的基于多分类器的子融合集成分类器系统。该方法考虑在度量层融合层次之上通过对各类基多分类器进行动态选择,票数最多的类别作为融合系统中对特征向量识别的类别,构成一种新的自适应子融合集成分类器方法。实验表明,该方法比传统的分类器以及分类融合方法识别准确率明显更高,具有更好的鲁棒性。     

Avoiding semantic and temporal gaps in developing software intensive systems

Development of software intensive systems (systems) in practice involves a series of self-contained phases for the lifecycle of a system. Semantic and temporal gaps, which occur among phases and among developer disciplines within and across phases, hinder the ongoing development of a system because of the interdependencies among phases and among disciplines. Such gaps are magnified among systems that are developed at different times by different development teams, which may limit reuse of artifacts of systems development and interoperability among the systems. This article discusses such gaps and a systems development process for avoiding them.     

Designing economic np control charts: A programmed simulation approach

This paper presents control charts models and the necessary simulation software for the location of economic values of the control parameters. The simulation program is written in FORTRAN, requires only 10K of main storage, and can run on most mini and micro computers. Two models are presented - one describes the process when it is operating at full capacity and the other when the process is operating under capacity. The models allow the product quality to deteriorate to a further level before an existing out-of-control state is detected, and they can also be used in situations where no prior knowledge exists of the out-of-control causes and the resulting proportion defectives.     

The development of robot art

Going through a few examples of robot artists who are recognized worldwide, we try to analyze the deepest meaning of what is called “robot art” and the related art field definition. We also try to highlight its well-marked borders, such as kinetic sculptures, kinetic art, cyber art, and cyberpunk. A brief excursion into the importance of the context, the message, and its semiotics is also provided, case by case, together with a few hints on the history of this discipline in the light of an artistic perspective. Therefore, the aim of this article is to try to summarize the main characteristics that might classify robot art as a unique and innovative discipline, and to track down some of the principles by which a robotic artifact can or cannot be considered an art piece in terms of social, cultural, and strictly artistic interest. This work was presented in part at the 13th International Symposium on Artificial Life and Robotics, Oita, Japan, January 31–February 2, 2008     

Explanation and prediction: an architecture for default and abductive reasoning

Although there are many arguments that logic is an appropriate tool for artificial intelligence, there has been a perceived problem with the monotonicity of classical logic. This paper elaborates on the idea that reasoning should be viewed as theory formation where logic tells us the consequences of our assumptions. The two activities of predicting what is expected to be true and explaining observations are considered in a simple theory formation framework. Properties of each activity are discussed, along with a number of proposals as to what should be predicted or accepted as reasonable explanations. An architecture is proposed to combine explanation and prediction into one coherent framework. Algorithms used to implement the system as well as examples from a running implementation are given.     

Three Process Perspectives: Organizations, Teams, and People

This paper provides the author's personal views and perspectives on software process improvement. Starting with his first work on technology assessment in IBM over 20 years ago, Watts Humphrey describes the process improvement work he has been directly involved in. This includes the development of the early process assessment methods, the original design of the CMM, and the introduction of the Personal Software Process (PSP)^SM and Team Software Process (TSP){^SM}. In addition to describing the original motivation for this work, the author also reviews many of the problems he and his associates encountered and why they solved them the way they did. He also comments on the outstanding issues and likely directions for future work. Finally, this work has built on the experiences and contributions of many people. Mr. Humphrey only describes work that he was personally involved in and he names many of the key contributors. However, so many people have been involved in this work that a full list of the important participants would be impractical.     

基于复小波噪声方差显著修正的SAR图像去噪

提出了一种基于复小波域统计建模与噪声方差估计显著性修正相结合的合成孔径雷达(Synthetic Aperture Radar,SAR)图像斑点噪声滤波方法。该方法首先通过对数变换将乘性噪声模型转化为加性噪声模型,然后对变换后的图像进行双树复小波变换(Dualtree Complex Wavelet Transform,DCWT),并对复数小波系数的统计分布进行建模。在此先验分布的基础上,通过运用贝叶斯估计方法从含噪系数中恢复原始系数,达到滤除噪声的目的。实验结果表明该方法在去除噪声的同时保留了图像的细节信息,取得了很好的降噪效果。     

How do children do mathematics with LOGO?

Abstract  This paper considers some results of a study designed to investigate the kinds of mathematical activity undertaken by children (aged between 8 and 11) as they learned to program in LOGO. A model of learning modes is proposed, which attempts to describe the ways in which children used and acquired understanding of the programming/mathematical concepts involved. The remainder of the paper is concerned with discussing the validity and limitations of the model, and its implications for further research and curriculum development.