r-锥和严格r-锥

引入有限维向量空间的r-锥和严格r-锥的概念,证明了r-锥是一类闭锥,严格r-锥是一类开锥。并且,研究了r-锥和严格r-锥与较多锥、严格较多锥及它们的闭包和内部之间的关系。     

γ-锥和严格γ-锥

引入有限维向量空间的γ－锥和严格γ－锥的概念．证明了γ－锥是一类闭锥,严格γ－锥是一类开锥．并且,研究了γ－锥和严格γ－锥与较多锥、严格较多锥及它们的闭包和内部之间的关系．     

体锥与满足角性质锥之间的关系

本文证明：当锥Λ的极锥是尖锥或由不含θ点的闭球体张成时，Λ是体锥；拟多面体锥Λ和极锥Λ*弱*内部非空锥类是一致的并指出了P．Q．Khanh（1992年）的一个错误．     

弱正则锥和正则锥的等价性

M.A.Kransnosel'skii在《Positive solutions of operator equations》一书中引入了正则锥和弱正则锥的概念,显然正则锥一定是弱正则锥。本文证明了弱正则锥并不比正则锥广泛,即:在一切Banach空间中弱正则锥是正则的,从而为非赋范线性拓扑空间中引入正则性提供了思路。     

点锥和锐锥的特性

本文证明了ｎ维欧氏空间中的点锥和锐锥的特征属性，由此，得到关于点锥和锐锥的描述局部性质的结果。     

张量空间中的多面体锥

本文利用文献 [1 ]中的结果给出了张量空间中多面体锥的性质 ,指出当 K1,K2 分别为 V1,V2中的多面体锥时 ,由它们所生成的 V1 V2 中的最小真正锥也是多面体锥 ,这一条件不仅是充分的也是必要的 .并利用这一结果对多面体锥的已有结论给出了新的证明     

张量空间中的真正锥

本指出了献「１」在张量空间中定义的两种锥是一致的,证明了它们是张量空间中的最小真正锥,并可用来表示有限维实空间中由锥不变算子所组成的锥,因而可用来研究锥不变算子。     

关于锥理论的一些注记

指出了再生锥和极小锥之间的关系,证明了一些具体锥的全正则性,探讨了半序空间中上确界的一些不同点,推广和发展了已有文献中的相关结论.     

ak-较多锥的有关性质

对于有限维Ｅｕｃｌｉｄ空间中带两个参数的ａｋ－较多锥,本文讨论了它与正锥以及有关较多锥类之间的若干关系．同时,还得到此类锥的一些基本性质．     

锥和类锥调和映照

本文引进了类锥调和映照,考虑了它的性质及其应用,最后得到了球面中极小超曲面的拓扑障碍:设M~n→S~(n 1)是紧致极小超曲面,如果其Gauss映照所对应的类锥调和映照是稳定的,那么M~n允许正数量曲率的度量.     

基于模糊FNN-ELECTRE法的国有商业银行竞争力评价

随着金融业全方位开放,国有商业银行已成为国家经济命脉的核心,其竞争力强弱关系着国家经济的繁荣与衰退。本文基于模糊FNN-ELECTRE方法建立国有商业银行竞争力评价模型,以因素神经网络理论(FNN)与ELECTRE融合方法为基础,以现有商业银行竞争力评价指标为着眼,把国有商业银行竞争力的评价体系从现实竞争力和潜在竞争力两个因素抽取为一级指标,以规模、质量、业务结构、效率、成长性五个因素设为二级指标。从实证的角度对银行A、银行B、银行C、银行D、银行E五大国有银行进行分析验证,对其属性值进行和谐性与非和谐性检验得出,银行B竞争能力最强,银行E竞争能力最弱,五大国有银行均有改进空间。     

Personae at play. ‘Men of Mathematics’ in commentary

Mathematical writers, above all, Euclid, tend to present their theorems as decontextualized, abstract propositions, which has become the standard modus of textual presentation in theoretical mathematics. Mathematical commentators, however, provide their readers with personal names and historical facts in order to elucidate problems, provide contexts of discovery, or construct doxographies, among other things. Modern readers have used such information for the construction of histories of science. When we look at these passages, however, we see that personal names and information about mathematicians of the past can serve quite a range of different objectives, such as the strategic self-positioning of the commentator vis-à-vis the past or present of mathematics, the education of the reader, mathematical or moral, the construction of the history of the field, etc. Not only does the commentator present a persona of himself to the reader, he can also turn colleagues and predecessors into personae. This paper attempts to elucidate the practice, by offering four examples of such plays of and with personae, in Pappus, Eutocius, al-Nayrīzī, and Proclus.     

Formulation of linear problems and solution by a universal machine

Using the predicate language for ordered fields a class of problems referred to aslinear problems is defined. This class contains, for example, all systems of linear equations and inequalities, all linear programming problems, all integer programming problems with bounded variables, all linear complementarity problems, the testing of whether sets that are defined by linear inequalities are semilattices, all satisfiability problems in sentenial logic, the rank-computation of matrices, the computation of row-reduced echelon forms of matrices, and all quadratic programming problems with bounded variables. A single, one, algorithm, to which we refer as theUniversal Linear Machine, is described. It solves any instance of any linear problem. The Universal Linear Machine runs in two phases. Given a linear problem, in the first phase a Compiler running on a Turing Machine generates alinear algorithm for the problem. Then, given an instance of the linear problem, in the second phase the linear algorithm solves the particular instance of the linear problem. The linear algorithm is finite, deterministic, loopless and executes only the five ordered field operations — additions, multiplications, subtractions, divisions and comparisons. Conversely, we show that for each linear algorithm there is a linear problem which the linear algorithm solves uniquely. Finally, it is shown that with a linear algorithm for a linear problem, one can solve certain parametric instances of the linear problem.Research was supported in part by the National Science Foundation Grant DMS 92-07409, by the Department of Energy Grant DE-FG03-87-ER-25028, by the United States—Israel Binational Science Foundation Grant 90-00434 and by ONR Grant N00014-92-J1142.Corresponding author.     

Wave parameter identification problem for ocean test structure data,part 2, discrete formulation

This paper deals with the solution of the wave parameter identification problem for ocean test structure data. A discrete formulation is assumed. An ocean test structure is considered, and wave elevation and velocities are assumed to be measured with a number of sensors. Within the frame of linear wave theory, a Fourier series model is chosen for the wave elevation and velocities. Then, the following problem is posed: Find the amplitudes of the various wave components of specified frequency and direction, so that the assumed model of wave elevation and velocities provides the best fit to the measured data. Here, the term best fit is employed in the least-square sense over a given time interval.At each time instant, the wave representation involves four indexes (frequency, direction, instrument, time); hence, four-dimensional arrays are required. This formal difficulty can be avoided by switching to an alternative representation involving only two indexes (frequency-direction, instrument-time); hence, standard vector-matrix notation can be used. Within this frame, optimality conditions are derived for the amplitudes of the assumed wave model.A characteristic of the wave parameter identification problem is that the condition number of the system matrix can be large. Therefore, the numerical solution is not an easy task and special procedures must be employed. Specifically, Gaussian elimination is avoided and advantageous use is made of the Householder transformation, in the light of the least-square nature of the problem and the discretized approach to the problem.Numerical results are presented. The effect of various system parameters (number of frequencies, number of directions, sampling time, number of sensors, and location of sensors) is investigated in connection with global or strong accuracy, local or weak accuracy, integral accuracy, and condition number of the system matrix.From the numerical experiments, it appears that the wave parameter identification problem has a unique solution if the number of directions is smaller than or equal to the number of sensors; it has an infinite number of solutions otherwise. In the case where a unique solution exists, the condition number of the system matrix increases as the size of the system increases, and this has a detrimental effect on the accuracy. However, the accuracy can be improved by proper selection of the sampling time and by proper choice of the number and location of the sensors.Generally speaking, the computations done for the discrete case exhibit better accuracy than the computations done for the continuous case (Ref. 5). This improved accuracy is a direct consequence of having used advantageously the Householder transformation and is obtained at the expense of increased memory requirements and increased CPU time.This work was supported by Exxon Production Research Company, Houston, Texas. This paper is based partly on Refs. 1–4.     

提高维吾尔文搜索质量的一些关键技术研究

维吾尔语和土耳其语、乌兹别克语、哈萨克语等同属于阿尔泰语系突厥语分支,是一种粘着型语言,具有丰富的构词合构形附加成分.主要分布于中国新疆维吾尔自治区,以及中西亚地区的维吾尔族使用.目前使用基于阿拉伯文字母的维吾尔文.当前用google,bing等搜索引擎搜索维吾尔文时搜索结果不包括该词语的构词合构形附加成分等其它形式.严重影响了搜索结果的准确性.通过词干提取和词缀附加生成词语组合的方法以解决提高维吾尔文搜索质量的问题.此问题解决,将在大幅度提高维吾尔文搜索的准确性,并针对提高其它突厥语族语言(土耳其语、乌兹别克语、哈萨克语等)的搜索质量、数据挖掘、数据分析、数据安全、自然语言理解等研究领域有一定的参考价值.     

公众参与视角下的央地环境规制博弈分析

本文首先构建环境规制中中央政府和地方政府的两方演化博弈模型,并在此基础上将公众作为第三方参与主体,构建中央政府、地方政府和公众三方演化博弈模型,详细比较两方和三方博弈模型的区别,探究各个主体策略行为的影响因素。研究发现:(1)未有公众参与下,地方政府策略选择主要受地方政府积极执行成本、环境收益、经济损失,消极执行的环境政绩损失,中央政府监管力度、治理补贴和对地方政府的处罚等因素影响;中央政府的监管策略主要受到严格监管的成本以及对地方政府的治理补贴和处罚等因素影响。引入公众参与后,在央地两方博弈的基础上,地方政府环境规制执行策略的影响因素还增加了地方政府被举报后所受到的追加处罚,中央政府监管策略的影响因素还增加了中央政府监管力度、对地方政府的追加处罚以及中央政府的公信力损失。(2)未有公众参与下,中央政府严格监管的概率随地方政府积极执行概率的增大而减小。引入公众参与后,中央政府严格监管率随地方政府积极执行概率的增大而增大。说明在公众参与下,地方政府积极执行环境规制对中央政府严格监管产生的抑制作用转变成了促进作用。(3)地方政府积极执行的概率、中央政府严格监管的概率都随公众举报概率的增大而增大。说明公众参与不仅对地方政府承担环保责任具有促进作用,而且有利于促使中央政府落实环境治理政策。     

考虑成本、等待时间和安全水平的分类安检模式研究

近年来,随着民航机场旅客吞吐量快速增加,机场安检部门的工作压力正不断加大,旅客等待时间也正在逐渐增加。针对该问题,引入了分类安检模式。然而,分类安检模式通常需要额外的投资成本,可能会产生较大的财务负担。因此,以成本为目标,综合考虑旅客等待时间和安全水平的要求,研究了分类安检模式和传统安检模式的比较以及最优决策性质等相关问题。首先,考虑安全水平和旅客等待时间的约束,分别为传统安检模式和分类安检模式建立了模型,并分析了其最优运营决策性质。其次,从成本的角度,对两种安检模式做了比较研究。研究结果表明,当旅客数量多、安检犯错容忍度较高或旅客等待敏感时,分类安检模式比传统安检模式表现更优;反之,传统安检模式更优。此外,在分类安检模式中,分配到高风险安检通道的旅客比例存在一个最优值,并且其通常在20%到30%之间取到。最后,通过数值分析验证了分类安检模式的最优服务配置。     

Utilization and maintenance in a model with scrapping

We consider a productive asset, called equipment or capital good, and we examine the properties of, as well as the interactions between, the operating policies, which are determined by its optimal utilization and maintenance, and the capital policy of scrapping, which defines the optimal time when the productive asset is retired from its current use. Starting with an abstract model and using the approach of optimal control, initially we characterize the various types of equipment by assigning to them a single total profit index, which indicates how the above policies affect the flow of operating revenues plus capital gains or losses. This index is a function of market-determined prices. So using it we then investigate how the operating and capital policies are influenced by the rate of discount, the price of new equipment, and the rise or fall of the price of new equipment relative to the value of its output. Among other interesting results, we find that the effects of these prices on the nature and interactions of optimal policies depend crucially on whether the equipment is of the usual profit making type, where output is the main source of revenue, or of the antique type, where the main source of revenue is capital gains.     

树脂基复合材料粘接的优化设计

本文在试验数据和理论分析的基础上,提出树脂基复合材料单搭接的优化设计的原则,胶粘剂的选择、被粘物的设计,粘接长度的选择、胶层厚度的选择等.认为通过优化设计可以提高粘接强度,减轻产品的重量,提高其质量.     

A double-stage piecewise recursive filter for real-time applications

This paper examines the basic problem of estimating the state of a system described by a set of dynamical equations. The state estimation is performed by means of optimal filtering techniques in which the state observation is given by a set of nonlinear equations.The basic issue encountered in most engineering problems is the availability of more observable information than the processor can effectively process in real-time, while performing full optimal filtering on all available observable data. To alleviate this deficiency, an algorithm is developed in which the rate of information processing is kept at a high value, while the system statistics are evaluated at a much slower rate.The method utilizes a combination of fast and slow filtering loops, in which the observable data are processed at a high rate during the fast loop, while the system error covariance, gain computations, and all other system statistics are processed at a lower rate in the slow loop. Methods are provided to resolve any incompatibility in the system statistics resulting from this fast-loop/slow-loop processing combination.Applications describing problems pertaining to aircraft navigation are presented. Specifically, applications to aircraft navigation through a satellite network are studied. Appropriate simulation results from the above studies are shown.This work was performed under contract with the Department of the Air Force, Space and Missile Organization (SAMSO), Los Angeles, California, Contract No. F04-701-75-C-0180.The authors are indebted to Dr. C. Johnson, GPS System Engineer, Mr. G. Consolver, GPS Software Manager, and Mr. W. Riley, Communications/Navigation Department, Texas Instruments for their continuous encouragement in the course of this work. Also, they are indebted to Major M. Birnbaum, SAMSO, for his constructive criticism on the conceptual design of this work, and to Mr. A. Bierman, Aerospace Corporation, for kindly providing simulation data of aircraft trajectories. Finally, the authors would like to express their gratitude to Dr. N. Carlson, Intermetrics, for valuable consultation during the progress of this work.Portions of this paper were presented by the senior author at the GSP Conference, Plan 76, IEEE Position, Location, and Navigation Symposium, San Diego, California, 1976.