运用多维画法几何理论解决线性规划问题

本文用计算机与多维画法几何理论相结合的方法，对地线性规划问题，给出了一种新的解法，文中包括理论述，计算方法，程序设计及计算实例等。     

有关信号的连续频谱及反演的新简化计算

利用傅氏变换的广义微分定理,导出了当信号ｆ（ｔ）分区满足ｎ阶常系数线性齐次微分方程时,求连续频谱的一般代数表示式,最后又给出了寻求连续频谱反演的一个定理,从而可以避免复杂的,有时不易求解的积分方法,对于一类广泛的常用信号使求其傅氏正反主为换的运算得到简化。     

用功率谱法分析混纺纱混纺比的不匀

本文采用功率谱法估计的方法分析了半熟条、熟条、粗纱、细纱混纺比沿须条轴向的周期性不匀,为方便有效地分析混纺比与工艺的关系奠定了基础.     

住房对家庭教育消费支出的资产效应:来自中国家庭的实证研究

利用CHFS2019数据,以住房价值对家庭教育支出和教育负担的影响为核心,深入探讨各类家庭资产对教育消费决策的影响机制。研究结果显示,收入和住房价值增加能促进家庭教育支出,而家庭现金存款对家庭教育支出没有显著影响。通过半线性回归发现,住房价值与教育支出和教育负担之间呈非线性关系。住房价值处于很低和很高位置时,家庭住房增值对教育支出都没有资产效应,只有中产阶层的住房价值对教育支出有显著的资产效应。住房价值与教育负担之间的关系表现出Z型,当住房价值处于中间值时,住房价值稍微增加就能显著降低家庭教育负担,随住房价值继续增加,其对教育负担的影响减弱。     

Longwall mining automation horizon control:Coal seam gradient identification using piecewise linear fittingOA

Horizon control, maintaining the alignment of the shearer’s exploitation gradient with the coal seam gradient, is a key technique in longwall mining automation. To identify the coal seam gradient, a geological model of the coal seam was constructed using in-seam seismic surveying technology. By synthesizing the control resolution of the range arm and the geometric characteristics of the coal seam, a gradient identification method based on piecewise linear representation(PLR) is proposed. To achi...     

基于改进灰色模型的电力负荷中长期预测

基于电力系统中长期负荷预测的特点,针对常规灰色预测模型存在的不足,提出一种基于数据平滑处理,以及线性回归残差修正的改进灰色预测方法。对某地区算例比较和分析表明,本方法可明显提高中长期负荷预测精度。     

Identification of heavy metal-contaminated Tegillarca granosa using laser-induced breakdown spectroscopy and linear regression for classification

Tegillarca granosa (T. granosa) is susceptible to heavy metals, which may pose a threat to consumer health. Thus, healthy and polluted T. granosa should be distinguished quickly. This study aimed to rapidly identify heavy metal pollution by using laser-induced breakdown spectroscopy (LIBS) coupled with linear regression classification (LRC). Five types of T. granosa were studied, namely, Cd-, Zn-, Pb-contaminated, mixed contaminated, and control samples. Threshold method was applied to extract the significant variables from LIBS spectra. Then, LRC was used to classify the different types of T. granosa. Other classification models and feature selection methods were used for comparison. LRC was the best model, achieving an accuracy of 90.67%. Results indicated that LIBS combined with LRC is effective and feasible for T. granosa heavy metal detection.     

Constrained pole-placement using transformation and LQ-design

A new procedure for constrained pole-placement is presented. The poles of the closed loop system are placed within a circle in the left half plane. The design procedure is noniterative and the solution is obtained via linear quadratic (LQ) design for a transformed system. The circle can be chosen in order to obtain good transient properties of the closed loop system. The method combines the properties of pole-placement and LQ-design.     

时变不确定广义系统的鲁棒无源控制

研究了除E外其余系数矩阵均含有范数有界时变不确定性的广义系统的鲁棒无源控制器设计问题.利用线性矩阵不等式方法,首先给出自治系统广义二次稳定且无源的充分条件;然后给出状态反馈鲁棒无源控制器的存在条件并用线性矩阵不等式的解构造了相应的控制器;随后以矩阵不等式的形式得到了动态输出反馈鲁棒无源控制器的存在条件,同时利用矩阵不等式的解给出相应控制器的设计方法;最后举例说明了所提出方法的可行性.     

Slicing Software for Model Construction

Applying finite-state verification techniques (e.g., model checking) to software requires that program source code be translated to a finite-state transition system that safely models program behavior. Automatically checking such a transition system for a correctness property is typically very costly, thus it is necessary to reduce the size of the transition system as much as possible. In fact, it is often the case that much of a program's source code is irrelevant for verifying a given correctness property.In this paper, we apply program slicing techniques to remove automatically such irrelevant code and thus reduce the size of the corresponding transition system models. We give a simple extension of the classical slicing definition, and prove its safety with respect to model checking of linear temporal logic (LTL) formulae. We discuss how this slicing strategy fits into a general methodology for deriving effective software models using abstraction-based program specialization.