半线性二阶微分方程周期边值问题

本文利用整体反函数理论,研究了半线性二阶微分方程周期边值问题,给出了周期解存在唯一性的充分条件.     

A new adaptive state space construction method for the mobile robot navigation

In order to solve the combinative explosion problems in a continuous and high dimensional state space, a function approximation approach is usually used to represent the state space. The normalized radial basis function （NRBF） was adopted as the local function approximator and a kind of adaptive state space construction strategy based on the NRBF （ASC-NRBF） was proposed, which enables the system to allocate appropriate number and size of the basis functions automatically. Combined with the reinforce- ment learning method, the proposed ASC-NRBF method was applied to the robot navigation problem. Simulation results illustrate the performance of the proposed method.     

外用碳酸氢钠在高水平足球运动员高强度间歇训练期的试验

碳酸氢钠对提高运动员竞技表现水平和缓解运动疲劳有较好效果,但运动员口服碳酸氢钠会有碱中毒、肠胃反应、心律失常等副作用,从而无法在竞技体育中广泛应用。目的：研究碳酸氢钠经皮肤外涂给药对男子足球运动员的高强度间歇训练期间血清指标和延迟性肌肉酸痛的影响。方 法：选取16名高水平男子足球运动员为研究对象,每天为其分别涂抹碳酸氢钠外用乳剂和安慰剂乳剂后,分别在7天高强度间歇训练后对训练后的主观疲劳程度和下肢延迟性肌肉酸痛程度进行统计,对训练前后血乳酸、肌酸激酶、尿素氮、血红蛋白等血液生化指标、训练期的训练刺激量、最大心率、能量消耗、有氧和无氧训练效果指标,跑动距离、跑动速度、加速度、高速跑距离、总负荷等运动表现指标进行分析。结 果：在一次高强度间歇训练前后,实验组相比对照组,血乳酸升高数值显著降低（p< 0.05）,肌酸激酶升高数值增高,血尿素氮升高幅度降低;在7天训练期,相比于对照组,实验组的下肢DOMS和RPE总体水平显著降低（p< 0.05）,下肢DOMS数值在第2天和第6天显著下降（p< 0.05）;在反映训练强度和训练效果的TRIMP数值上,实验组的总体水平高于对照组,且变化幅度更小。实验组运动员训练的无氧训练效果、EPOC峰值、最大心率、能量消耗相比于对照组均有所提升,其中最大心率、无氧训练效果有显著性提升（p< 0.05）。结 论：碳酸氢钠的外涂给药可以显著降低足球运动员高强度间歇训练带来的肌肉延迟性酸痛,并显著降低高强度训练产生的血液血乳酸浓度升高,有利于高强度训练后的无氧训练效果提升,使得运动员心率储备能力和快速恢复能力的增强,从而促进专项运动能力的提升。     

考虑平行系统特征的双活调度系统的设计与应用

为提高电网运行的稳定性,需要构建稳定可靠的电网调度系统,现提出一种考虑平行系统特征的双活调度系统。通过构建主备两个数据中心,平常根据应用业务量在主备调间进行调整,实现对资源的充分利用。发生故障时,另一个正常运行的中心将承担所有业务。并将平行系统视为电网虚拟运行系统,将真实与虚拟系统结合后得到电网双活调度系统,并具有管理和控制模块、实验和评估模块、学习和培训模块等功能。该系统通过对数据进行初始化处理,计算出电力分配结果,建立双层任务调度模型,利用遗传算法求解模型,从而实现双活调度系统的优化调度。对系统进行试验测试,试验结果表明：本文设计系统所提方法达到最优分配值所需时间短、效率高、电网信息调度总量大,调度能力强,调度信息的安全性高。说明所设计的双活调度系统具有可行性,利于区域电网的优化调度。     

Analysis on Influential Factors of Corporate Environmental Management Level Based on ISM

Environmental problem is one of complicated social problems. According to the level of corporate environmental management, there are many influential factors, and their relations are also complicated. In this paper, we analyzed influential factors of corporate environmental management through consultation of experts. And based on the analysis, we applied interpretative structural modeling（ISM） to classify 13 influential factors into 3 levels. We hope it will be useful for the subsequent research and evaluation of corporate environmental management level.     

Random testing for system-level functional verification of system-on-chip

In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed. The validity of this method is proven theoretically. Specifically, testcases are generated according to many approaches of randomization. Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language. Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily. The comparison method is put to use in the evaluation approach of the testing validity. The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing. The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.     

基于二阶锥规划的峰值旁瓣抑制滤波器设计

针对相位编码信号的高旁瓣问题,提出一种基于二阶锥规化的峰值旁瓣抑制滤波器设计方法。将最大增益处理损失约束下的最小峰值旁瓣滤波器设计转化为二阶锥规化问题,采用内点法进行高效求解。与已有方法相比,所提方法可以兼顾峰值旁瓣、处理增益损失和滤波器长度三方面的指标,具有设计灵活、精度高和收敛性好的优点。最后仿真和实测数据结果验证了方法的有效性。     

Adaptive broadband beamformer for nonuniform linear array based on second order cone programming

Adaptive broadband beamforming is a key issue in array applications. The adaptive broadband beamformer with tapped delay line (TDL) structure for nonuniform linear array (NLA) is designed according to the rule of minimizing the beamformer's output power while keeping the distortionless response (DR) in the direction of desired signal and keeping the constant beamwidth (CB) with the prescribed sidelobe level over the whole operating band. This kind of beamforming problem can be solved with the interior-point method after being converted to the form of standard second order cone programming (SOCP). The computer simulations are presented which illustrate the effectiveness of our bearaformer.     

创新型湖南评价系统分析

建设创新型湖南是一个非常复杂的系统工程,要实施好这个系统工程需要一个严谨科学的评价系统.创新型湖南的评价系统为四个子系统、四过程、一整合的模型,即441系统模型.     

Distributed Second-Order Continuous-Time Optimization via Adaptive Algorithm with Nonuniform Gradient Gains

Journal of Systems Science and Complexity - This paper addresses the distributed adaptive optimization problem over second-order multi-agent networks (MANs) with nonuniform gradient gains. A...