CQ Method for Strictly Pseudo-Contractive Mapping

This paper obtains a strong convergence theorem for k-strictly pseudo-contractive mapping under the framework of Hilbert spaces using CQ method. Due to the fact that non-expansive mapping is only 0-strictly pseudo-contractive, the main result obtained in this paper extends the corresponding main result of Nakajo-Takahashi from non-expansive mapping to k-strictly pseudo-contractive one, where k∈[0,1).     

ON A CONSTANT OF QUASICONFORMAL DEFORMATION

ＩｎｔｒｏｄｕｃｔｉｏｎＡｃｏｎｔｉｎｕｏｕｓｒｅａｌ－ｖａｌｕｅｄｆｕｎｃｔｉｏｎｆ（ｘ）ｏｎｔｈｅｒｅａｌａｘｉｓＲｉｓｓａｉｄｔｏｂｅｌｏｎｇｔｏＺｙｇｍｕｎｄｃｌａｓｓΛ（Ｒ）ｉｆｉｔｓａｔｉｓｆｉｅｓ‖ｆ‖ｚ＝ｓｕｐｘ，ｔ∈Ｒｆ（ｘ＋ｔ）－２ｆ（ｘ）＋ｆ（ｘ－ｔ）ｔ＜＋∞（１）Ａｃｏｎｔｉｎｕｏｕｓｃｏｍｐｌｅｘ－ｖａｌｕｅｄｆｕｎｃｔｉｏｎＦ（ｚ）ｉｓｃａｌｌｅｄａｑｕａｓｉｃｏｎｆｏｒｍａｌｄｅｆｏｒｍａｔｉｏｎｉｆｉｔｈａｓｇｅｎ－ｅｒａｌｉｚｅｄｄｅｒｉｖａｔｉｏｎＦａｎｄ…     

概念格的分层及逐层建格法

给出了分层概念格重要性质:同层概念不可比和每个概念至少被1个上层的概念覆盖.得到了概念格上的对象映射和属性映射的一般计算公式和在对象化简过程中格结构不变的定理.由上述性质和定理,给出建格算法.此方法以概念格分层为基础,逐层建格.因为在建每层格的节点的过程中同时进行筛选,所以不会生成冗余重复的格节点.     

Statistical Approaches to Mapping QTL of Dynamic Traits

Dynamic traits are those that change with timein the development process of life or other quanti-tative factor (e. g. environmental condition).These traits also are called infinite-dimensionalcharacters by Kirkpatrick and Heckman[1]andfunction-valued traits by Pletcher and Geyer[2], be-cause they can be expressed as a function of someindependent and continuous variables. Dynamictraits are collected at many time points during thecourse of life. Therefore, studies of dynamic traitsare regarded…     

一种实用的航测数字化测图系统DIGIP

在摄影测量积极向数字化、自动化方向发展的过程中,大有迈向更有力量的微机系统的趋势。本文将介绍一种适用于大比例尺测图的航测数字化测图系统DIGIP。该系统包括以联机立体坐标量测仪为主体的数据采集子系统和以微型计算机为核心的制图编辑子系统。     

Generalized S-KKM Theorems and Minimax Inequalities in FC-Spaces

The concept of FC-closed subset in FC-spaee without any linear structure was introduced. Then, the generalized KKM theorem is proved for FC-closed value mappings under some conditions. The FC-space in the theorem is the generalization of L-convex space and the condition of the mapping with finitely FC-closed value is weaker than that with finitely L-closed value.     

基于生存时间的映射缓存建模与仿真分析

映射缓存在身份与位置分离网络中用于暂时存储通信对端的身份标识与位置标识的映射关系,以减少映射查询时延,提高网络性能.本文对基于生存时间（Time-To-Live,TTL）的映射缓存的命中概率进行了数学建模.该解析模型得到的缓存命中概率,可以作为数据包到达间隔分布的函数进行计算.通过仿真分析对数据包到达间隔的分布进行数据拟合,得到其累积概率分布,并验证了所建模型的正确性.进一步仿真评估了映射缓存的性能.     

基于价值流视域下的AIP公司生产流程改善研究

以AIP公司轮胎生产线的优化为例,探讨了价值流图分析技术在复杂产品生产中的应用。结合现状数据绘制了AIP公司现状价值流图,分析了AIP公司当前存在问题,制定了改善方案,绘制了未来价值流图从而实现生产线的再设计。通过对比前后价值流图发现:企业产能、设备利用率及生产周期改善显著且降低了生产成本。     

一种少自由度并联机器人雅克比分析的新方法

提出一种对称少自由度并联机器人雅克比方阵的建立方法.利用螺旋理论分析单个支链的结构,找出动平台对驱动关节的映射系数,根据不同的输入选取,对映射系数进行组合,去除映射系数矩阵中非独立运动参数对应的列,得到满秩的映射系数矩阵.对映射系数矩阵求逆,得到对称少自由度并联机器人的雅克比方阵,说明了运动输入与运动输出之间的对应关系,并得到实例验证.     

数字化测绘技术在公路设计中的应用

数字化测绘技术是依托于智能化测量仪器兴起的一门测绘技术.数字化测绘技术涉及到的全球定位系统、地理信息系统以及遥感系统的发展,对于公路设计中有关测绘的方法和手段产生了深刻的影响.公路设计测绘技术正朝着数字化、实时化采集和处理测量数据的方向发展.通过介绍数字化测绘技术及其特点,重点是GPS技术和激光跟踪仪技术,分析了数字化测绘技术在公路设计中的运用.     

Solving resource-constrained multiple project scheduling problem using timed colored Petri nets

To solve the resource-constrained multiple project scheduling problem (RCMPSP) more effectively, a method based on timed colored Petri net (TCPN) was proposed. In this methodology, firstly a novel mapping mechanism between traditional network diagram such as CPM (critical path method)/PERT (program evaluation and review technique) and TCPN was presented. Then a primary TCPN (PTCPN) for solving RCMPSP was modeled based on the proposed mapping mechanism. Meanwhile, the object PTCPN was used to simulate the multiple projects scheduling and to find the approximately optimal value of RCMPSP. Finally, the performance of the proposed approach for solving RCMPSP was validated by executing a mould manufacturing example.     

RTK与全站仪在城镇地籍调查中的联合应用

在巴彦托海镇第二次土地调查过程中,根据国家二调规范和测区设计方案,采用GPS与全站仪联合测图方法,应用南方CASS软件成图,并对采集的数据进行检核,实践证明该方法可以快速准确的获得界址点、地物点的定位信息,满足国家二调中对于界址点的精度要求。     

一致L-Lipschitz映象对公共不动点的迭代逼近

Banach空间中非线性算子的不动点的迭代逼近问题是非线性逼近理论中所研究的最重要的问题之一。通常用Mann和Ishikawa迭代法去逼近非线性算子的不动点。本文研究了Banach空间中一致L-Lipschitz映象对公共不动点的迭代逼近问题,改进和推广了文献[5-6]的相应结果。     

新一代互联网中连接标识解析映射研究

分析了连接标识解析映射的4种情况,并提出了一种新型的动态映射机制.其优势在于根据服务的要求,合理的选择路径建立方式用于数据传输,通过探测网络单向状态参数,实现动态调整映射关系的目标.在真实网络中的测试结果表明,该机制能够很好的测量多条路径单项时延的差别,为准确检测网络单向状态参数提供了一种新的思路,也为在新一代互联网中实现高性能数据传输提供了重要的方法.     

厦门市基础测绘成果生产技术分析

城市基础测绘一图多用的方法不但能够提高工作效益和经济效益,同时可加快地理空间基础框架的架设。以具体项目为例,完成对厦门市基础测绘成果生产技术分析,以期为新一轮的基础测绘建设启动提供技术保障。     

GPS-RTK配合全站仪数字测图技术的应用

采用RTK与全站仪联合进行数字化测图的方法比之传统方法更具优越性,可保证图根点点位误差不积累、不传播,减少人为的干预,自动化程度较高,在很大程度上避免人为误差,使精度得到提高。     

全野外大比例尺数字化测绘质量控制

全野外大比例尺地形图数字化测绘是目前较为普及的测绘手段,它与常规的地形网测绘有本质区别,从分析全野外大比例尺地形图数字化测绘质量的控制因素人手,提出数字化测绘质量的控制方法和策略。     

一种基于Arnold混沌映射的数字水印技术研究

数字水印技术作为版权保护的重要手段,已得到广泛地研究和应用．提出了一种基于Arnold混沌映射的数字水印技术和水印信息置乱效果评价方法,用Arnold变换对原始水印信号进行置乱,再经过M序列扩频,将处理后水印信号嵌入宿主图片小波域的低频系数中,通过对四组不同条件和嵌入方法的比较,通过实验证明该算法具有良好的稳健性．     

基于差分Poincaré映射的间歇混沌信号判别方法

针对混沌振子微弱信号检测中间歇混沌信号难以判别的问题,利用混沌系统的参数敏感特性,提出一种差分Poincaré映射判别方法,实现强噪声干扰下输出间歇混沌信号的判别．该方法选取周期激励幅值具有微小差异的两个混沌振子的Poincaré映射进行差值运算,利用周期状态下输出信号收敛,而混沌状态下输出信号分离的特点,降低了噪声对周期区域的影响,使可检测输入信号的信噪比达到了-87dB．实验表明,在时域或Poincaré映射已经无法进行分辨的情况下,该方法仍然实现了检测系统输出间歇混沌信号的有效判别．     

Banach空间中渐近伪压缩映象迭代序列的强收敛性

Banach空间中非线性算子的不动点的迭代逼近问题是非线性逼近理论中所研究的最重要的问题之一。本文中研究了Banach空间中渐近伪压缩映象不动点的迭代逼近问题,改进和推广了文献[6]的相应结果。