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系统模型.     

多层前馈神经网络的动态规划算法

利用动态规划来训练多层前馈网络，即逐层修改网络的权值。其算法采用有关文献提出的矩阵的广义逆的正交反向传播算法，经有限次迭代即可得到每一层的最优权值。     

Parametric adaptive time-frequency representation based on time-sheared Gabor atoms

A localized parametric time-sheared Gabor atom is derived by convolving a linear frequency modulated factor, modulating in frequency and translating in time to a dilated Gaussian function, which is the generalization of Gabor atom and is more delicate for matching most of the signals encountered in practice, especially for those having frequency dispersion characteristics. The time-frequency distribution of this atom concentrates in its time center and frequency center along energy curve, with the curve being oblique to a certain extent along the time axis. A novel parametric adaptive time-frequency distribution based on a set of the derived atoms is then proposed using a adaptive signal subspace decomposition method in frequency domain, which is non-negative time-frequency energy distribution and free of cross-term interference for multicomponent signals. The results of numerical simulation manifest the effectiveness of the approach in time-frequency representation and signal de-noising processing.     

Best tracking performance for integrator and dead time plant

The optimal tracking performance for integrator and dead time plant in the case where plant uncertainty and control energy constraints axe to be considered jointly is inrestigated.Firstly,an average cost function of the tracking error and the plant input energy over a class of stochastic model errors are defined.Then,we obtain an internal model controller design method that minimizes the average performance and further studies optimal tracking performance for integrator and dead time plant in the simultaneous presence of plant uncertainty and control energy constraint.The results can be used to evaluate optimal tracking performance and control energy in practical designs.     

Guaranteed Cost Finite-Time Control of Fractional-Order Nonlinear Positive Switched Systems with D-Perturbations via MDADT

This paper is concerned with the problem of guaranteed cost finite-time control of fractionalorder nonlinear positive switched systems(FONPSS) with D-perturbation. Firstly, the proof of the positivity of FONPSS with D-perturbation is given, the definition of guaranteed cost finite-time stability is firstly given in such systems. Then, by constructing linear copositive Lyapunov functions and using the mode-dependent average dwell time(MDADT) approach, a static output feedback controller is constructed, and sufficient conditions are derived to guarantee that the corresponding closed-loop system is guaranteed cost finite-time stable(GCFTS). Such conditions can be easily solved by linear programming. Finally, an example is provided to illustrate the effectiveness of the proposed method.     

科技型中小企业技术创新的资金支持——基于生命周期视角的研究

基于生命周期的视角分析了科技型中小企业发展过程中各个阶段的特点,以及各个阶段中技术创新与资金支持的矛盾.在新的经济环境与政策条件下,构建了解决这种矛盾的资金支持体系,探讨了企业发展和技术创新过程中具体的融资方式,并且提出了相关的政策建议.