关于p-adic变量函数的微分(英文)

给出了p-adic变量P-adic值函数及P-adic变量实值函数的导数定义,将黎曼积分中下列公式推广到P-adic积分中去:(1)有限增量公式;(2)积分变量替换公式;(3)微分链导法则。

p-adic数域Q_p上的积分(英文)

完整地给出了有理数域Q关于p—adic度量完备化数域Qp上的p—adic测度与p—adic变量实值函数的积分的定义,构造了R+与Qp之间的自然映射P与P*,提示了p—adic积分与Riemann积分之间的内在关系,最后给出了p—adic积分中值定理。

关于p-adic数域上的窗口Fourier变换(英文)

在P-adic数域上定义了窗口Fourier变换的概念和阶梯函数的概念,并且证明了关于任意的模函数g∈l2(Qp)的函数f窗口Fourier变换仍然是一个模函数,给出了具体的计算公式,充分利用了p-adic数域的优良性质,得到了用∑计算的窗口Fourier变换的计算公式。

精细农业机械化作物生产计算机集成技术(英文)

介绍了一项适用于精细农业机械化的新技术计算机集成作物生产技术(CCP)。该技术融合信息采集、网络通讯、数据处理、过程决策、自动执行等功能,能有效地完成作物生产的精确机械化作业。计算机集成作物生产技术的3个主要功能是先根据需要实时采集传感数据,然后根据传感信息构建合理的行动决策,最后将传递上述决策并付诸实施。为了说明CCP的工作原理和结构设计,介绍了由伊利诺依大学机械电子系统实验室设计开发的CCP技术系统的关键功能。研究结果表明,在车辆自动导航,主从机械控制,在线式变量作业等利用农业机械实施田间作物生产作业的领域,有必要在农业机械上集成CCP技术,使机械自动地完成各项最优化项目作业。最后,根据以往工作中的经验,简要讨论了目前CPP技术发展所面临的问题和挑战。