一类高阶Bent函数的构造方法

提出一类高阶Bent函数的构造方法,将级联后的Bent序列转化为矩阵形式,对矩阵作任意行列置换,得到一类新的Bent序列,根据Bent序列的性质,对2个已知的 元Bent函数进行Kronecker积运算,由此构造一个 元的Bent函数,同理对 个 元Bent函数进行Kronecker积运算,构造 元高阶Bent函数,并对构造的 元Bent函数进行矩阵变换,得到数量更多的高阶Bent函数。     

基于核函数的高阶特征表示方法

为了解决高阶局部特征带来的计算复杂度提高问题,提出一种基于核函数的高阶局部特征表示方法。通过在两幅图像的局部特征之间进行比较,将特征空间映射到几何不变空间,统计高阶局部特征构建核函数,并结合支持向量机进行多类目标图像分类实验。实验结果分析表明,该方法在提高分类准确率的同时,所需的计算时间只与局部特征的个数呈线性增长。     

高阶函数式语言到逻辑式语言的转移

本文给出高阶函数式语言Ｐｒｏｌｏｇ语言的一种转换技术，其中主要用到抽象闭包分析，Ｌａｍｂｄａ提升，顺序化以及Ｐｒｏｌｏｇ中的Ｃａｌｌ技术，本文的研究征顺于高阶性的处理上。     

高阶函数式语言的部分求值器

本文提出了一种新的基于ＣＬＯＳＵＲＥ分析的高阶函数式语言的部分求值方法，对表达式中的高阶值采取了有效的抽象分析手段，从而提高了剩余程序的质量。文中给出了ＣＬＯＳＵＲＥ分析，抽象分析，标记和例化较完整的形式描述。     

高阶代码消除性能比较框架的设计与实现

函数式语言编译中,闭包变换和函数消除是广泛采用的高阶代码消除方法。为了提高函数式语言的运行效率,针对函数式语言编译阶段的高阶代码消除过程对目标代码效率的影响,设计并实现了一种函数式语言编译框架。该框架采用了菱形的架构,平行地使用了闭包变换与函数消除两种高阶代码消除方法。设计了一种具有代表性的函数式语言——FUN语言,并以FUN语言为基础,给出了比较框架的一个完整实现。通过该系统,对闭包变换与函数消除的效率影响进行对比实验,选取具有典型特征的测试例,分别从生成代码的规模和运行效率方面对闭包变换与函数消除两种方法的结果进行比较。实验结果表明,与闭包变换相比,使用函数消除方式所得的目标代码量更少,最多可减少33.76%的目标代码量;并且运行效率更高,最多可提高69.51%。     

多个函数定义的空间凸体高阶磨光

基于KS函数的凝聚算法，提出一种对多个函数定义的空间凸体的高阶磨光方法。该方法利用映射反演技术，将KS函数的凝聚算法推广至球坐标系，从而实现了仅用一个拟合函数表达，拟合精度仅由一个参数控制的多函数空间凸体光顺拟合图形的绘制。图形算例表明，该拟合方法具有明确的及潜在的应用价值。     

函数矩阵及其微积分的高阶逻辑形式化

函数矩阵广泛应用于动态系统的建模与分析。传统的函数矩阵分析主要采用纸笔演算、数值计算和符号推导的方法,这些方法不能保证提供精确或正确的结果。高阶逻辑定理证明作为一种高可靠的形式化验证方法,可以克服以上不足。在高阶逻辑定理证明器HOL4中对函数向量和函数矩阵相关理论进行形式化,内容包括函数向量和函数矩阵及其连续性、微分、积分的形式化定义和相关性质的逻辑推理证明。为示范函数矩阵形式化的应用,最后给出机器人运动学中旋转矩阵微分公式的形式化验证。     

函数编程之风云再起

甫于11／30北京落幕的Software Development 2．0研讨会,来宾之一的Andrei Alexandrescu被问到未来编程语言的趋势时,他认为函数编程（Functional Pogramming）可能会再度兴起。我认同他的看法,过去我在其它IT杂志上发表JavaFX文章时,碰巧也有提到这一点。     

基于高阶阈值函数与小波包的混沌信号降噪

针对混沌信号小波降噪法中,高频段频率分辨率较差,且对小波分解系数所广泛采用的硬、软阈值量化方法存在着局限等问题,给出一种基于新型高阶阈值函数的混沌信号小波包降噪法。该方法采用小波包方法能够对小波分析中没有细分的高频部分进一步分解,保留了有用的高频信息,从而具有更加精确的局部分析能力;且所采用的阈值函数连续光滑,在噪声小波系数和混沌信号小波系数之间存在一个平滑过渡区,更符合信号的连续特性。仿真对比实验表明：与软阈值降噪法以及半软阈值与小波包降噪法相比,该方法对混沌信号的降噪效果明显,信噪比(SNR)有3.7~7dB的显著提高。     

用Lambda Probe监控Tomcat实例的内存使用

介绍了Lambda Probe的基本功能,说明了它的安装部署及其注意事项,给出内存使用监控中遇到的问题及其解决办法。最后,指出了Lambda Probe及其在监控Tomcat实例内存使用方面的不足之处。     

Lambda*路径规划算法

分析A*算法耗时多的基础上,针对性地提出Lambda*算法,通过减少open表中保持的节点数,减少计算量,算法能在较少的时间里得到较优的路径。相对于A*算法,采用Lambda*进行路径规划,在2D环境下时耗减少了48.76%,在3D环境下时耗减少了30.11%。即使在复杂的3D环境中,Lambda*算法也能较快地获取较优的路径规划方案,更能适应现代工业机器人的快速路径规划的需求。     

高阶函数式语言到逻辑式语言的转换

本文给出高阶函数式语言到Ｐｒｏｌｏｇ语言的一种转换技术．其中主要用到抽象闭包分析、Ｌａｍｂｄａ提升、顺序化以及Ｐｒｏｌｏｇ中的Ｃａｌ技术．本文的研究重点在于高阶性的处理上.     

对象式Lambda演算的自作用部分计值

讨论了一个对象式Lambda演算的部分计值器.对象式Lambda演算在Lambda演算的基础上添加了对象机制.部分计值器的构造是采用传统的三步法,首先定义对象式Lambda演算的元解释器;然后提出对象式Lambda演算的约束时间分析方法(binding-timeanalysis),约束时间分析决定哪些计算可以在编译时完成,哪些计算需留在运行时执行;最后定义部分计值器,同时,给出了元解释器和部分计值器的正确性证明.     

函数式程序设计语言的教学研究与探讨

本文主要研究以OCaml为核心语言的函数式程序设计语言的课程教学设计,填补国内计算机专业在程序设计语言课程设置上的空白,以培养程序设计人员的程序设计全面素质和能力。     

Lambda架构在轨道交通车辆智能运维系统中的应用

针对轨道交通车辆智能运维系统中海量车载数据处理需求,为解决单点数据处理模式下海量数据在接收、处理、存储、查询、分析等各环节的性能瓶颈问题,文章提出一种基于Lambda架构原理搭建的数据处理架构方案.其以分布式服务器集群作为底层硬件支撑,采用分布式处理框架,大幅提高了运维系统的数据并发处理能力.实验结果证明,该方案相对于...     

函数式编程探析

计算机硬件水平的迅速提高为函数式编程提供了充分的发展空间.在主流编程语言中处处可见函数式身影.借助高阶函数和闭包的特性,受益于纯函数的诸多优势,开发人员开始用新的编程思维去设计和实施项目.通过改良传统的编程范式,融入函数式编程的优越特性,软件行业定会朝着更加规范的方向迈进.     

Lambda整定方法的频域分析及工程应用

Lambda是针对自衡对象有效的PID控制器工程整定方法。在频域上针对使用该整定方法的闭环控制系统进行分析,给出了相位裕度和幅值裕度的计算公式,并对λ选择进行了分析。当λ=τ相位裕度和幅值裕度分别达到61.4°和π,这两个参数都非常接近工程推荐的最佳裕度。当被控对象是高阶过程时,可以采用基于响应曲线的控制模型辨识工程方法获得控制模型的等效模型增益、等效时间常数和等效纯滞后时间,然后用Lambda整定公式进行PID整定。仿真结果展示了获得模型的过程和整定方法的有效性。     

论高校计算机专业开展函数式程序语言教学的必要性

针对命令式程序语言在计算机科学研究及数学思维能力培养等方面存在的不足,提出将函数式程序语言作为高校计算机专业本科生的程序教学语言,分析函数式程序语言与命令式程序语言间的区别并以Haskell为例介绍函数式程序语言的一些典型的编程风格及主要知识点,概括函数式程序语言的发展趋势。     

Haskell语言的高阶特性及其应用

Haskell语言的高阶特性使笔者在开发软件时受益匪浅,但很遗憾,目前国内同行应用这一语言的人非常少。本文介绍Haskell语言的高阶特性,并通过几个与树相关的例子,阐述如何利用Haskell语言的高阶特性来编写功能强大但却简短漂亮的程序。