Lipoprotein lipase activator deficiency in very low density lipoproteins in rat nephrotic syndrome.

Marked urinary loss of lipoprotein lipase activator in experimental rat nephrotic syndrome may be partly responsible for its deficiency in plasma very low density lipoproteins.     

Robust Chattering-Free Finite Time Attitude Tracking Control with Input Saturation

This paper addresses the attitude tracking control problem of a rigid spacecraft in the presence of the modeling uncertainty, external disturbance, and saturated control input by designing two robust attitude tracking controllers. The basic controller is formulated using an integral sliding mode surface which is continuous and provides an asymptotic convergence rate for the closed-loop system. In this case, only the external disturbance with the prior information is considered. Then, to provide a finite time convergence rate and further improve the robustness of the control system under the unknown system uncertainty containing both the modeling uncertainty and external disturbance,a novel integral terminal sliding mode surface(ITSMS) is designed and associated with the continuous adaptive control method. Besides, a command filter is utilized to deal with the immeasurability problem within the proposed ITSMS and an auxiliary system to counteract the input saturation problem. Digital simulations are presented to verify the effectiveness of the proposed controllers.     

黑格尔、生命体和物种概念——兼论黑格尔自然哲学中的规范性问题

随着对黑格尔自然哲学的不断研究,其物种概念受到学者越来越多的关注。不同类型的生命统一体在其类属过程中形成了物种概念,也奠定了对物种缺陷进行规范性探讨的框架。通过把物种缺陷划分为作为需求的缺陷和作为伤害的缺陷,黑格尔区分了不同的环境影响在物种生存过程中不同作用。在此基础上,借助于自然规范和精神规范的对比,可以更好地凸显黑格尔哲学中自然和精神之间的本质区别。     

Generalised Estimators for Seasonal Forecasting by Combining Grouping with Shrinkage Approaches

In this paper, generalised estimators are proposed to estimate seasonal indices for certain forms of additive and mixed seasonality. The estimators combine one of two group seasonal indices methods—Dalhart's group method and Withycombe's group method—with a shrinkage method in different ways. Optimal shrinkage parameters are derived to maximise the performance of the estimators. Then, the generalised estimators, with the optimal shrinkage parameters, are evaluated based on forecasting accuracy. Moreover, the effects of three factors are examined, namely, the length of data history, variance of random components and the number of series. Finally, a simulation experiment is conducted to support the evaluation. Copyright © 2011 John Wiley & Sons, Ltd.     

MetaOJ: A Massive Distributed Online Judge System

Online Judge(OJ) systems are a basic and important component of computer education. Here, we present MetaOJ, an OJ system that can be used for holding massive programming tests online. MetaOJ is designed to create a distributed, fault-tolerant, and easy-to-scale OJ system from an existing ordinary OJ system by adding several interfaces into it and creating multiple instances of it. Our case on modifying the TUOJ system shows that the modification adds no more than 3% lines of code and the performance loss on a single OJ instance is no more than 12%. We also introduce mechanisms to integrate the system with cloud infrastructure to automate the deployment process. MetaOJ provides a solution for those OJ systems that are designed for a specific programming contest and are now facing performance bottlenecks.     

CADCSC软件系统人机界面设计

本文论述了CADCSC软件系统的界面设计。提出了适合各种用户的、由多种交互方式组成的混合人机交互界面;为控制系统的计算机辅助设计提供了统一的命令表达方式和统一的运行界面;介绍了其中界面设计一致性与灵活性。     

低温微生物的研究进展概述

综述了低温微生物的生态分布、适冷机制的研究进展及其在工业、生物修复等多个领域中的应用及前景.