L-fuzzy闭包算子及其等价刻画

借助L-fuzzy映射和L-fuzzy集的像,给出了由L-fuzzy映射诱导的L-fuzzy闭包算子及其等价刻画.当L为有限分配格时,讨论了代数的L-fuzzy闭包算子及其所诱导的闭包系统的等价刻画.     

可量测实景影像在城市部件管理中的应用

介绍了移动测量系统采集的可量测实景影像在城市部件管理中的应用,通过对城市立面街景影像与部件地图、属性关联技术,利用实景影像对部件量测技术,提出了一种集成地图、部件属性库和多角度影像的城市部件管理新手段．     

基于图像子块DCT系数对的盲检测数字水印

提出一种新的基于Logistic加密的鲁棒性盲检测数字水印算法.利用Logistic映射特性产生的混沌序列加密生成水印序列;结合人眼的视觉系统(HVS)对原始图像中的子块进行选择;在每个被选择的子块上,根据鲁棒性要求选择DCT系数;通过对相邻系数对的大小进行比较嵌入水印.实验结果表明,本算法具有鲁棒性强、安全性高、透明性好、可以盲提取等特点,可有效用于数字媒体的版权保护.     

英语隐喻性词义的认知心理透视

从认知心理学视角探讨、分析英语隐喻性词义的认知和思维过程,揭示了隐喻对词义形成的影响,从而说明词的比喻意义是词汇原始意义的引申,是词语在原始意义基础上所进行的深层语义联想和推测.此外,用实例说明隐喻性词义是跨域映射的结果,相似性和类比思维起至关重要的作用.词的隐喻用法增强了语言表达的生动性和形象性.     

以项目为导向的VB测绘程序设计课程教学设计与实践

针对VB测绘程序设计课程教学中存在的问题,以学生职业岗位能力培养为核心,以项目为导向,从课程教学模式、教学内容组织、教学过程设计、考核与评价等方面进行了探索与实践,取得了较好的教学效果。     

用修正的Mann迭代算法求解分裂可行性问题

在Hilbert框架下借助于度量投影修正Mann迭代程序,证明了关于无限族非扩张映射的强收敛定理,并用于求解分裂可行性问题SFP.研究成果在很大程度上推广和改进了现有的结果.     

一种基于AST的代码抄袭检测方法*

针对目前代码抄袭检测方面的研究大多是基于程序源码层面进行相似度比较,不需要对代码进行语法分析,由于忽略程序语法语义,对稍加结构修改的抄袭行为无法有效检测的现状,提出一种基于AST的代码抄袭检测方法.先将代码进行格式化预处理,再进行词法分析、语法分析,得到对应的AST;然后遍历AST生成代码序列,对代码序列进行相似度计算,从而得到代码的抄袭检测报告.实验结果表明,该方法能够有效检测出C程序代码的抄袭行为,并对C++、Java等多种程序代码的抄袭检测具有一定的通用性和可扩展性.     

Costate estimation for dynamic systems of the second order

The dynamics of a mechanical system in the Lagrange space yields a set of differential equations of the second order and involves much less variables and constraints than that described in the state space. This paper presents a so-called Legendre pseudo-spectral (PS) approach for directly estimating the costates of the Bolza problem of optimal control of a set of dynamic equations of the second order. Under a set of closure conditions, it is proved that the Karush-Kuhn-Tucker (KKT) multipliers satisfy the same conditions as those determined by collocating the costate equations of the second order. Hence, the KKT multipliers can be used to estimate the costates of the Bolza problem via a simple linear mapping. The proposed approach can be used to check the optimality of the direct solution for a trajectory optimization problem involving the dynamic equations of the second order and to remove any conversion of the dynamic system from the second order to the first order. The new approach is demonstrated via two classical benchmark problems. Supported by the National Natural Science Foundation of China (Grant Nos. 10372039, 10672073), and the Innovation Fund for Graduate Students of NUAA (Grant No. 4003-019016)     

具R（X）〈2的自反Banach空间中的M不动点性质

对于Banach空间中的两个有界闭凸集,首先引入一个新的度量,并且在这种新的度量下重新定义非扩张映射,称它为肘非扩张映射,并且证明在一个自反的Banach空间中,当R（X）〈2时,它有肘不动点性质．     

混沌伪随机序列发生器的实现

针对广泛应用于密码学、扩频通信、数字系统测试等领域的伪随机序列信号实现的疑难问题,应用DSPBuilder模块将Matlab中S函数产生的Kent混沌二进制序列算法转换成VHDL语言,在现场可编程阵列FPGA上实现混沌伪随机序列.通过分析可以看出Kent混沌二进制序列具有优良的伪随机性能.