关于大学德育主体性与主导性问题的哲学思考

在大学德育的实践过程中突出学生的主体性地位的同时，应强调教师的主导性作用，反对片面强调学生的主体性地位而否定教师主导性作用的形而上学观点，应当把握德育规律，坚持主体性与主导性的辨证统一。     

同时镇定问题研究

基于互质分解的状态空间描述，首先得到了可同阶强镇定的充要条件，并给出了一种同阶强定控制器的构造方法，本文证明了２对象同时强镇定可转化为同时强镇定－辅助对象与它的子对象，同阶同时强全２对象等价于同时强镇定一个辅助对象与它的一稳定子对象，同时镇定ｒ＋１个对象等价同时强镇定ｒ－１辅助对象它们的一公共子对象。     

Adaptive generic model control for a class of nonlinear time-varying processes with input time delay

In this article, an adaptive control approach––Adaptive Generic Model Control (AGMC) for a class of nonlinear time-varying processes with input time delay is proposed. First, a nonlinear state predictor (NSP) is introduced, which extends the conventional generic model control (GMC) to a class of nonlinear processes with input time delay. Then a class of nonlinear time-varying processes with input time delay is further considered. A modified strong tracking filter (MSTF) is adopted to estimate the time-varying parameters of the nonlinear processes, and the state estimates are then utilized to update the plant models used in the NSP and MSTF, this results in an adaptive generic model control scheme for a class of nonlinear time-varying processes with input time delay. A modified mathematical model of a three-tank-system is used for computer simulations, the results show that the proposed AGMC algorithm is satisfactory, and it has definite robustness against model/plant mismatch in the measurement noise.     

基于强跟踪卡尔曼滤波的电池SOC估计

针对锂电池模型不准确和状态突变导致SOC估计精度不佳的问题,提出了引入时变渐消因子的强跟踪卡尔曼滤波算法.以HPPC试验方法辨识了锂电池的等效二阶RC模型,对比分析了现有的扩展卡尔曼滤波原理及提出的强跟踪卡尔曼滤波算法.通过结合强跟踪原理和卡尔曼滤波算法并引入时变渐消因子,提出的方法能够强制估计残差保持正交特性,并保证残差满足高斯白噪声特性.仿真验证表明,与扩展卡尔曼滤波原理相比,在模型不准确和状态突变的情况下,强跟踪卡尔曼滤波算法具有更高的估计精度,估计误差低于2.5%,提高了近45%.     

Direct Application of Rep‐PCR on Type I Sourdough Matrix to Monitor the Dominance and Persistence of a Lactobacillus plantarum Starter Throughout Back‐Slopping

This study describes the optimization and application of repetitive element‐PCR (rep‐PCR) technique directly on microbial DNA extracted from type I sourdoughs for fast monitoring of a Lb. plantarum starter strain (P1FMC) throughout daily back‐slopping. The challenge was to follow and study the performance of a starter culture directly in sourdoughs without cultivation on selective media. The extraction of good quality microbial DNA suitable for amplification from a complex matrix such as dough was the first target. In addition, the objective to obtain a clear rep‐PCR profile referable to a specific starter strain among a microbial community was pursued. Co‐inoculum trials, in flour matrix, with Lb. plantarum P1FMC and L. lactis LC71 strains and, subsequently, type I sourdough back‐slopping trials were performed. The rep‐PCR amplification profiles obtained were clearly referable to that of Lb. plantarum P1FMC starter in both co‐inoculum trials (also when it was present with one order of magnitude less with respect to L. lactis LC71) and back‐slopping trials where it dominated the fermentation process with loads of 10⁸ cfu g^?1 and prevailed on the autochthonous microbiota. Thus, the approach proposed in this paper could be considered a methodological advancement, based on a culture‐independent one‐step rep‐PCR, suitable for fast monitoring of starter performance.     

补偿强反光体表面红外测温误差的算法研究

针对运动强反光体表面温度实时测量困难、精度低这一难点,本文从红外测温原理入手,分析并揭示了红外测温精度易受到被测物体反射率、测量距离、测量环境、红外入射角等因素的影响。根据铝板材加工设备轧辊表面测温实际需要设计了一种利用红外传感器实现对强反光体表面温度点对点测量的方案。通过对测量数据的研究分析建立了一种基于斯忒藩定律的红外入射角度补偿算法,以此减小因红外入射角度变化产生的测温误差。实验结果证明本方法能较好地弥补红外入射角度变化产生的测温误差,提高测温精度。该补偿算法运算简单,适应性强,为改善入射角度变化对测温精度影响提供了新的方法。     

大跨径网架屋顶设计与施工实践

某物资仓库拟采用框架结构和40 m跨网架屋顶。首先根据规范确定了屋顶荷载，并根据该建筑物位于台风区的实际，着重研究了风荷载的取值情况。该网架采用螺栓球节点，形式为正放四角锥形，施工采用分段整体吊装和高空散装的安装方式。实际使用情况表明，该物资库采用网架结构可靠耐用，且缩短了施工工期，取得了较好的经济效益。     

A novel approach to interval comparison and application to software quality evaluation

Owing to increasing complexity in the real world, many attributes in decision science are uncertain. The interval data are more suitable for characterising those attributes. The interval comparison is an important research topic in this background. This paper proposes a new method for comparing two intervals based on a two-dimensional geometric interpretation. The equivalence is illustrated through a proof. Some mathematical experiments are provided to illustrate the validity. The proposed method is applied to the quality evaluation of software product. The results show that the provided method has important implications in both theoretical and practical perspectives.     

江苏沿海滩涂开发优化的动力机制研究

江苏沿海滩涂开发具有悠久的历史,但是传统的滩涂开发模式已经不能适应江苏省"强富美高"的发展新理念,现有的滩涂开发模式亟需优化升级。经过对由经济发展、生产方式变革、自然环境等要素构成的滩涂优化开发内源动力以及由科技创新、资金保障、政策制度等要素构成的外源动力进行分析,并对其连续动力机制进行深入研究,发现滩涂开发在其内外源动力的共同作用下可以逐步缓解人地矛盾,实现经济效益和富民的效应;但是开发与环境之间互为影响,甚至可能与环境美的目标相反。研究结果表明:在滩涂开发过程中,应坚持生态优先、绿色发展,加强政府引导、理顺机制,注重高新产业、科技投入,围绕临海能源、绿化造林,只有这样才能推动滩涂开发动力机制不断正向循环,实现经济社会的可持续发展。     

On extensions of subshifts by finite groups

λ-Graph systems are labelled Bratteli diagrams with shift operations. They present subshifts. Their matrix presentations are called symbolic matrix systems. We define skew products of λ-graph systems and study extensions of subshifts by finite groups. We prove that two canonical symbolic matrix systems are G-strong shift equivalent if and only if their presented subshifts are G-conjugate.