电偶极辐射场的另一种计算方法

研究电偶极辐射问题的出发点是推迟势公式，本文先用格林函数法求解达朗贝尔方程组，得出推迟势公式；再用特殊函数理论对推迟势公式作展开，得出电偶极辐射场，并对远场和近场分别进行讨论。这种计算方法既能对电偶极辐射问题有一个较全面而且准确的认识，又能将数学思想与物理理论相结合，做到学以自用，融会贯通。     

粘声波动方程补偿偏移

在地震勘探中决定地震分辨率的关键是获取的反射信号的有效频带宽度,而信号传播过程中由于地层吸收的作用有部分能量被衰减,特别是高频成份的衰减是反射信号频带宽度变窄的主要因素。因此,补偿能量的扩散和衰减,提高反射信号的高频能量,拓展地震记录的有效频带宽度,对提高地震分辨率具有重要意义,这是高分辨率勘探技术进一步发展所必须要解决的关键问题之一。常规的标量波动方程延拓只是考虑了地震波的几何传播规律,没考虑能量的衰减和扩散[1]。因此本文使用粘声波动方程来进行波场延拓,将偏移和能量补偿结合在一起,理论上证实了此方法可以很好地补偿能量的衰减和扩散。     

MPCK视角下的结构方程应用初探

数学学科教学知识（MPCK）已经成为研究的热点,在理论分析较多的情况下,也应该关注量化分析的方法。本文介绍了结构方程模型的优点和结构方程模型软件AMOS的基本操作,讨论了在MPCK研究中,AMOS软件可能的用途。使用AMOS分析教师的MPCK,可以促进MPCK组成成分的研究,提高教师MPCK发展手段的针对性。     

基于结构方程的林木生物质能源产业链外部驱动力研究

基于产业链演化过程,引入PEST理论,运用结构方程模型探讨林木生物质能源产业链的外部驱动力及其影响程度。结果表明:现阶段产业政策和行业技术是影响林木生物质能源产业链扩展的主要驱动力,区域环境负荷在一定程度上对产业链的扩展产生正向影响,产业需求的拉动效应还未突显。在深入分析林木生物质能源产业链外部驱动力的基础上,为如何促进该产业发展提出相应的政策建议。     

经济增长、外商直接投资和能源消费

基于中国30个省区2001-2010年整体面板数据及分组面板数据,本文使用联立方程模型研究经济增长、外商直接投资和能源消费之间的关系。经验研究发现：(1)对于全国组,经济增长和外商直接投资、经济增长和能源消费之间存在双向因果关系,从外商直接投资到能源消费存在单向因果关系;(2)对于高人均地区生产总值省区组,经济增长和外商直接投资之间存在双向因果关系,从经济增长、外商直接投资到能源消费存在单向因果关系;(3)对于中等人均地区生产总值省区组,经济增长和外商直接投资、经济增长和能源消费之间存在双向因果关系,从外商直接投资到能源消费存在单向因果关系;(4)对于低人均地区生产总值省区组,经济增长和外商直接投资之间存在双向因果关系,从经济增长、外商直接投资到能源消费存在单向因果关系。这些研究结论对于决策者制定经济政策有非常重要的参考意义。     

节能服务企业成长动力机制的实证研究

属于生产性服务行业的节能服务企业专业技术性强、智力密集度高,寄望于引领我国节能环保这一战略性新兴产业,其快速成长对于促进节能减排有着重要意义。运用理论建模与数理验证相结合的方法,对动力要素对节能服务企业成长绩效的影响进行实证研究。结果显示,对节能服务企业成长最具显著作用的是支持政策,其次是整合能力、技术人才和资金来源。针对这些研究结果提出相应的对策建议。     

Cauchy核中多复变微分方程自回归线性解初值问题

研究Cauchy核中多复变微分方程自回归线性解初值问题,为物理控制和生物医学演化等数学模型的构建提供数学基础。特别在高温冷却下的温度场有限元分析控制中具有重要的控制应用价值,采用非线性微分方程解分析的方法,通过对方程的多个逼近特征解进行分析,提取出所有解的特征,从而求解稳定解,此方法在多解相关性强的情况下具有较好的效果。在两个状态时滞向量的Cauchy核中求解多复变微分方程泛函,得到自回归线性解初值的最小正特征带状的连接权,根据Cauchy核中多复变微分方程泛函,得到Cauchy核最优解和Cauchy核最优边界,通过证明得到Cauchy核中多复变微分方程的自回归线性初值是连续收敛和渐进稳定的,且在闭环控制性能曲面上至少有一个稳定解。分析结果有利于提高高温冷却下的温度场有限元分析控制性能。     

基于智能群辨识的UAP云平台程控扩展算法

提出一种基于线性差分智能群辨识的云平台程控扩展技术,并进行算法改进设计。构建UAP云平台系统模型,对系统载荷运行情况进行相应的评估,进行云计算下的动态任务调配,建立UAP云平台的程控扩展模型,定义线性差分智能群辨识平均访问时间,采用萤火虫群优化追踪策略进行多线性差分智能群辨识激励传播,最后进行UAP云平台程控激励扩展模型下的系统状态评估模型。仿真实验分析得出,采用该算法云平台的程控扩展性能较好,分布式大数据传输实时性提高,误码率和丢包率降低,从而降低了数据传输失真,提高了UAP云平台中的数据和信号传输质量,提高实时数据集成(RDI)和网关服务性能,实现高质量的数据信息服务,保障IT系统安全、稳定、可靠运行。     

基于时空自动机的CPS建模与验证

为了描述信息物理融合系统(cyber-physical systems,CPS)的时空一致性,一种实时规范语言STe C已经提出[1],CPS的设计和实现能否满足时空一致性显得十分重要。文中对混成自动机进行了扩展,提出了具有位置驱动特点的时空自动机。文中提出了基于时空自动机的CPS建模与验证框架。在框架中,首先使用STe C语言对CPS进行了描述并使用时空自动机对CPS进行建模。文中采用的形式化验证方法为微分动态逻辑(differential dynamic logic,DL),其操作模型为HP(hybrid program)。利用DL可以将所建模型转换为对应的HP。结合得到的HP对验证的CPS属性进行规约,最后使用定理证明器Ke Ymaera对属性进行自动化验证。     

重积分微分方程重叠型稳定解估计算法

结合重积分微分方程的稳定性理论,得知重积分微分方程中多复变微分方程的初值解不一定可逆,使用近似矩阵进行渐进逼近,根据自相关函数信息矢量迭代模型,得到当自相关向量的最小互信息量达到渐进稳定,求解双边界条件下的稳定性平衡点,实现全局渐进稳定,在重积分微分方程中对多复变微分方程进行时空分叉问题的分析和初值解的稳定性和收敛性分析,通过数学推导和数值分析,得出重积分微分方程重叠型稳定解存在,且具有收敛性。