Some Properties on Cone Co-radiant Mappings

The co-radiant and inverse co-radiant mappings from a cone to another in a topological vector space are discussed. The study is carried out in contemporary framework of cone theory in abstract space. A few of examples are presented. Various properties of these mappings are derived. The conditions for the co-radiant and inverse co-radiant mappings being continuous are shown.     

XML-based integration data model and schema mappingin multidatabase systems

Keywords:multidatabasesystems,commondatamodel,schemamapping,extensiblemarkuplanguage(XML).1.INTRODUCTION Amultidatabasesystem(MDBS)isalayerofsoftware thatintegratesacollectionofpre existing,heterogeneous,distributeddatabasesystemscalledlocaldatabasesystems(LDBSs)[1].Itmainlysolvestheproblemthathowto achievetheschemaintegrationanddatainteroperabilitya mongmultipleLDBSs.AMDBSallowsaglobalapplica tiontoaccessdistributedobjectslocatedatdifferenttypes ofLDBSs,suchasrelationaldatabases…     

可视化及漫游技术的研究与实现

本系统是基于Creator和Vega平台,设计并实现了可选择路径的交互式漫游。根据校园内的特点,对实景进行拍摄并制作各种纹理贴图,应用photoshop软件对纹理贴图进行处理,实现了一种快速的实景建模解决方法,并使得人机工程学的理论得到了引用与应用。灵活的运用了三维建模的关键技术,建立校园的3D模型。然后将模型导入到仿真软件中设置仿真过程。并根据要求对仿真软件进行二次开发,用以实现选择路径的漫游。     

嵌入式实时软件可视化开发方法

分析了传统嵌入式实时软件开发方法的不足之处 ,同时在分析统一建模语言 (UML)与规范描述语言(SDL)各自优缺点的基础上 ,论述了二者集成的可行性。重点讨论了UML与SDL之间的映射问题。最后讨论了以SDL为核心的可视化集成开发环境的可行性、实现方法及特点     

Block and parallel modelling of broad domain nonlinear continuous mapping based on NN

1 .THENECESSITY OF THEBLOCK ANDPARALLELMODELING OFTHENONLINEARCONTINUOUSMAPPINGSWITHNNINBROADDOMAINIn the scientific research especially in the naturalscientific research,the mathematical modelingis ofa general and efficient method in better describingthe movement law of the objective things and therelated physic state and characrastics . Models areabstractive presentation to study the changingrules of the object (much attentionis paid especial-ly to continu…     

THREE-POINT BOUNDARY VALUE PROBLEMSFOR A CLASS OF THREE ORDER DIFFERENTIAL INCLUSIONS

1.IntroductionandLemmasThree-pointboundaryvalueproblems(BVPforshort)forthreeorderdifferentialequationsareveryusefulincertainpracticalworkandattractcloseattentionextensively,see[l--41.Recently,in[11,GuptaandLakshmikanthamstudiedthefollowingthree-pointBVP:U"'(x)=f(x,ulU',U")--e(x),(l)u(0)=u(n)=u(1)~0,(2)wheref:[0,1]xR3-RdoesnothavetobecontinuousandnE(0,1).ThemainresultisthefollowingTheoremLetfsatisfyCarntheodory'sc.nditions[1]andthefollowingconditions:i)3a,b,cER,or(x)ELI[0,1],suchthatfo…     

The effects of redundant control inputs in finite-time optimal control

This paper is concerned with the effects of redundant control inputs on the quadratic optimal performance index in finite-time optimal control. Actually, the effects of redundant control input on quadratic performance index is equal to study the effects of the redundant control input on the solution of Riccati differential equation (RDE). Hence, some sufficient conditions are presented to strictly decrease the solution of RDE with the column of input matrix increased. Especially, a necessary and sufficient condition is derived to strictly decrease the solution of the homogeneous RDE after control input extensions. Moreover, one sufficient condition is obtained, which guarantees that the minimum control energy index strictly decreases with input extension. It is shown that redundant control inputs can improve the system performance based on these results. Some examples are taken to illustrate the effectiveness of related problems.     

平衡问题解的收敛性

利用集收敛、函数收敛建立了集值映射收敛的概念及其性质 ,并依此讨论了平衡问题解的收敛性 .     

Feature matching based on geometric constraints in weakly calibrated stereo views of curved scenes

The identification of the correspondences of points of views is an important task. A new feature matching algorithm for weakly calibrated stereo images of curved scenes is proposed, based on mere geometric constraints. After initial correspondences are built via the epipolar constraint, many point-to-point image mappings called homographies are set up to predict the matching position for feature points. To refine the predictions and reject false correspondences, four schemes are proposed. Extensive experiments on simulated data as well as on real images of scenes of variant depths show that the proposed method is effective and robust.     

ON THE STRICT EFFICIENCY IN A LOCALLYCONVEX SPACE

1.IntroductionInreference[11,theconceptofstrictefficiency)anewkindofproperefficiency,wasintroductedinvectoroptimizationinarealnormedspace.ThisefficiencyisshowntohavemailydesirablepropertiesandbeanextensionofthesuperefficiencyinthesenseofBorwein[2].Inthispaper,wecontinuethestudyofstrictefficiency.WeeXtendthestrictefficiencyinnormedspacestothecaseinlocallyconvexvectorspaces.Themainpurposeofthepreselltpaperistogiveascalarchaxacterizationofstrictefficiencybyusingakindoffunctional(so--called"base…     

New results on system of generalized quasi-Ky Fan inequalities with set-valued mappings in topological semilattice spaces

Under new assumptions, this paper obtains some extended versions of Ky Fan type inequality for a family of C-continuous set-valued mappings in the setting of topological semilattices. The obtained results are new and different from the corresponding known results in the literature. Some special cases of the main result are also discussed. Some examples are given to illustrate the results.     

On the Model Study of Multiobjective Optimization for Regulating Regional Economy

In the recovering period after the second world war, the market economy countries'national economy were increasing in quickness, stability and continuity under the guidanceof market ru1e of "efficiency first", but following by the serious inequity in economicdevelopment between different regions. Kylns has offered the rule of Tharket failure" inadjusting the economic development relationship between the developed and undevelopedregions. In the last of l950s, G. Myrdal['j further offered 'cau…     

Continuity of solution mappings for parametric generalized set-valued weak vector equilibrium problems

This paper obtains some stability results for parametric generalized set-valued weak vector equilibrium problem. Under new assumptions, which do not contain any information about solution mappings, the authors establish the continuity of the solution mapping to a parametric generalized set-valued weak vector equilibrium problem without monotonicity. These results extend and improve some results in the literature. Some examples are given to illustrate the results.     

THE STRICT POSITIVITY IN A NONSTANDARD HULL AND ITS APPLICATIONS TO ECONOMICS

1.IntroductionThenonstandardhull,originallyintroducedbyLuxemburgin[1],hasprovedtobeausefultoolinstudyingthelocaltheoryofBanachspacesandnormedRieszspaces.Asystematictheoryinthisaspectisdevelopedin[2--4].However,peoplepaylessattentiontostrictlypositivevecto…     

基于直觉模糊逻辑的插值推理方法

针对直觉模糊逻辑及命题演算,揭示了规则前件与规则后件中模糊论域之间的映射关系,提出利用隶属度与非隶属度计算直觉模糊逻辑的插值推理方法.研究了在连续空间与离散空间状态下线性插值的推理合、成方法,包括直觉模糊取式推理、直觉模糊拒式推理及直觉模糊假言推理,推导了相关的推理合成运算公式.以具体算例验证和表明了所推导方法的正确性和有效性,以及对方法进行验证的详细步骤.     

一类T-S 模糊广义系统的无源控制

研究了一类T-S模糊广义系统的无源控制问题.通过矩阵分解方法,证明了这类系统容许的充分必要条件.在此基础上,将严格无源的概念引入到T-S模糊广义系统中,得到了使闭环系统容许、严格无源的充分条件,并将此条件用线性矩阵不等式(LMIs)表示.通过解这些矩阵不等式得到状态反馈增益矩阵.这个充分条件,可以一次判定系统的容许、严格无源.最后的数值算例说明所给方法的可行、有效.     

决策表的分布约简和严凸函数下约简的等价性

用严凸函数定义决策表的属性约简，证明用严凸函数定义的属性约简同分布约简是等价的，给出严凸函数定义的相对约简的一个判定定理。     

准拟阵合作对策的τ值

考虑合作对策中联盟结构受到拟阵限制的情形,探讨准拟阵合作分配的理性和公平原则的公理化.利用经典合作对策τ值思想,构造了准拟阵合作对策τ值,并证明其满足理性和公平原则.最后将该方法与拟阵合作对策Shapley值在个体理性方面做了比较.     

一类资源约束单机排序问题

讨论具有连续资源的单机排序问题．在这一模型中，工件的释放时间是所消耗资源的非负严格减少连续函数，工件的加工时间是开工时间的严格增加线性函数．考虑两类问题，第一类问题的目标函数是在满足最大完工时间限制条件下极小化资源消耗总量、第二类问题的目标函数是在满足资源消耗总量限制条件下极小化最大完工时间．对两类问题讨论了最优排序的某些特征．基于对问题的分析，分别给出了求解最优资源分配的方法．结果表明，加工时间为常数情况的结论对于加工时间是开工时间线性函数的情况仍然成立。     

线性减少加工时间的资源约束单机排序问题

讨论具有连续资源的单机排序问题。在这一模型中,工件的准备时间是所消耗资源的非负严格减少连续函数,工件的加工时间是开工时间的严格减少线性函数。考虑两类问题,第一类问题的目标函数是在满足最大完工时间限制条件下极小化资源消耗总量。第二类问题的目标函数是在满足资源消耗总量限制条件下极小化最大完工时间。对两类问题讨论了最优排序的某些特征。基于对问题的分析,分别给出了求解最优资源分配的方法。结果表明,加工时间为常数情况的结论对于加工时间是开工时间线性函数的情况仍然成立。