Banach格上的序连续范数算子

根据Banach格上的序连续范数算子的等价定义,在定理(I)的基础上,进一步得出了在某些Banach格上序连续范数算子、L-弱紧算子及M-弱紧算子的一致性．同时认为序连续范数算子的对偶算子也是序连续范数算子．从而系统地阐述了L-弱紧算子、M-弱紧算子、序连续范数算子及其对偶算子之间的本质联系。     

Density-based clustering method in the moving object database

With the rapid advance of wireless communication, tracking the positions of the moving objects is becoming increasingly feasible and necessary. Because a large number of people use mobile phones, we must handle a large moving object database as well as the following problems. How can we provide the customers with high quality service, that means, how can we deal with so many enquiries within as less time as possible? Because of the large number of data, the gap between CPU speed and the size of main memory has increasing considerably. One way to reduce the time to handle enquiries is to reduce the I/O number between the buffer and the secondary storage. An effective clustering of the objects can minimize the I/O cost between them. In this paper, according to the characteristic of the moving object database, we analyze the objects in buffer, according to their mappiigs in the two-dimension coordiiate, and then develop a density-based clustering method to effectively reorganize the clusters. This new mechanism leads to the less cost of the I/O operation and the more efficient response to enquiries.     

价值工程(VE)在工程招标评标中的应用

工程招标评标旨在选择最能够实现招标人价值目标的投标人,从而实现招标人整体最优化的价值目标.现行工程招标评标方法没有定量描述工程项目的质量、工期和投资三者之间的关系,因此不能科学、综合地评价投标人价值目标,不利于实现工程项目最优价值.价值工程是以最低的全寿命周期费用实现一定的必要功能,而致力于功能分析的有组织的活动.为了解决现有工程招标评标方法存在的问题,采用了价值工程的分析方法以改进现有招标评标方法,通过功能评价、成本评价及价值评价系数的计算,为择优评标提供了有力的科学依据.     

基于MA的可生存系统基本服务模型

可生存性系统是指当系统面临外部的攻击与入侵,内部的错误与紊乱时,仍能继续履行事先确定好的基本服务,直到入侵结束,系统恢复正常运行为止.可生存性系统最显著的特点是,系统处于危机情况时,系统的基本服务仍能继续履行.因此,在可生存性系统中怎样保障基本服务的继续履行就变的非常重要.Mobile Agent作为一项新的技术,除了具有反应性、自治性、面向目标性等Agent的基本特点外,还有其独特性,即具有移动性的特点.在分析了可生存性理论和Mobile Agent的特点基础之上,笔者提出了基于Mobile Agent的移动性,来保障可生存性系统中基本服务继续履行的模型--MESMMA(A Model For Essential Services Mobility Based On Mobile Agent),并且着重探讨了MESMMA系统的结构设计、运行过程和各种Mobile Agent的功能.     

一类被m次积分解类决定的脉冲积分微分方程的古典解

首先引入一类被m次积分解类刻画的脉冲积分微分方程的古典解的定义,然后利用半群理论得出古典解的存在性和唯一性。     

民汉稀缺资源神经机器翻译技术研究

该文介绍了中国科学院自动化研究所参加第15届全国机器翻译大会(CCMT2019)翻译评测任务总体情况以及采用的技术细节.在评测中,中国科学院自动化研究所参加了3个翻译任务,分别是蒙汉日常用语机器翻译、藏汉政府文献机器翻译以及维汉新闻领域机器翻译; 阐述了参评系统采用的模型框架、数据预处理方法以及译码策略; 最后给出了不同设置下评测系统在测试数据集上的表现,并进行了对比和分析.     

岩石复电阻率测量技术及标定方法研究

研究储层岩石的复电阻率特性,首先必须排除岩石物理测量系统极化效应的影响。基于不同金属电极材料测量装置和硫酸铜面团装置,完成清水条件下的复电阻率实验,并应用纯电阻和RC并联电路对测量仪器和测量装置系统进行标定,证实硫酸铜面团测量装置的性能最稳定,确保了实验结果的准确性和可靠性。在此基础上,建立了一套完整的岩石复电阻率测量技术和标定方法,优选出性能最稳定的测量装置系统,排除非岩石极化效应的影响,为常规与非常规油气储层岩石物理分析和评价提供技术保障。     

朋友圈社交行为对员工知识共享意愿的影响机制——职场友谊的中介作用和感知差异性的调节作用

基于社会影响理论,从社会影响的内化视角探究员工朋友圈社交行为对知识共享意愿的影响机制,并揭示了朋友圈社交行为对知识共享意愿的不同程度感知差异性的差异化作用。通过对255个有效样本进行分析发现:职场友谊完全中介了朋友圈社交行为与知识共享意愿的关系;职场友谊对知识共享意愿有着积极影响;感知差异性负向调节了"朋友圈社交行为-职场友谊-知识共享意愿"的前半径,即感知差异性水平低的员工通过加强社交互动会增强职场友谊,而感知差异性水平高的员工则会因为过度的社交互动而削弱其职场友谊。     

非凸半定规划的鞍点存在性研究

主要利用矩阵分析的谱分解、Frobenius 内积及其相关性质，凸分析的凸集分离定理来研究非凸半定规划问题的鞍点的存在性，通过 3 种不同的方式给出并证明了鞍点存在的一些充分、必要以及充分必要条件。首先，利用一个不等式系统给出了与文献[1]中的对偶定理等价的一个鞍点存在的充分必要条件。然后，给出了广义的 KKT 条件，并在不变凸性的假设下，证明了广义 KKT 条件是鞍点存在的一个充分条件；若 x∈intC，则广义KKT 条件是鞍点存在的一个必要条件。最后，定义了一个扰动函数 ，并在非凸半定规划问题的最优解存在的假设下，利用此扰动函数给出了鞍点存在的一个充分必要条件：若非凸半定规划问题的最优解存在，则对偶可达且无对偶间隙等价于扰动函数v的上图在点 (0,v(0))处存在支撑超平面。
     

基于随机阵列的NUFFT BP三维快速成像

传统的二维实阵列用于三维微波成像时,需要相对较高的脉冲重复频率才能切换发射阵元。针对这种情况,利用随机阵列来实现三维成像,目的是有效降低脉冲重复频率。进一步提出利用等效相位中心原理来实现任意随机阵列布局的可行性方案。然后,基于随机阵列,发现使用非均匀快速傅里叶变换(nonuniform fast Fourier transform,NUFFT)来实现后向投影(back projection,BP)算法的插值过程,能够用较少的运算量实现BP算法的高精度插值。最后,结合并行处理技术来实现NUFFT BP算法,结果使得BP算法的执行效率得到显著提高。