Casimir effect for a scalar field via Krein quantization

In this work, we present a rather simple method to study the Casimir effect on a spherical shell for a massless scalar field with Dirichlet boundary condition by applying the indefinite metric field (Krein) quantization technique. In this technique, the field operators are constructed from both negative and positive norm states. Having understood that negative norm states are un-physical, they are only used as a mathematical tool for renormalizing the theory and then one can get rid of them by imposing some proper physical conditions.     

Empirical Modeling of a Hydraulic Actuator in a Vehicle Control System

The pressure information of a hydraulic actuator plays a key role in modern vehicle control and fault diagnosis. The difficulty in measuring pressure directly naturally motivates such an indirect approach as an observer whose accuracy depends heavily upon the availability of a high fidelity model of a hydraulic actuator. Notwithstanding its success in understanding the dynamics of the first principle model of a hydraulic actuator, it is not suited to controller/observer design due to its complexity. This paper presents an alternative to the first principle modeling methodology: an empirical approach to hydraulic actuator modeling. Linear and nonlinear system identification techniques are applied to obtain low-order models of a hydraulic actuator. Experimental results show how the empirical models reproduce the key features of a hydraulic actuator with sufficient accuracy.     

Automatic continuity and representation of group homomorphisms defined between groups of continuous functions

Let C(X,G) be the group of continuous functions from a topological space X into a topological group G with pointwise multiplication as the composition law, endowed with the uniform convergence topology. To what extent does the group structure of C(X,G) determine the topology of X? More generally, when does the existence of a group homomorphism H between the groups C(X,G) and C(Y,G) implies that there is a continuous map h of Y into X such that H is canonically represented by h? We prove that, for any topological group G and compact spaces X and Y, every non-vanishing C-isomorphism (defined below) H of C(X,G) into C(Y,G) is automatically continuous and can be canonically represented by a continuous map h of Y into X. Some applications to specific groups and examples are given in the paper.     

应用自动微分的Newton-PCG算法

一类新的使用符号微分的Newton-PCG型算法在文献[1]和[2]被导出来了。本文建立和研究应用自动微分的相应的Newton-PCG算法，理论分析和数值实验结果显示应用自动微分之后，目标函数的维数或复杂性越大，Newton-PCG算法对Newton法的改进越显著。     

基于光纤光栅测量静冰压力的应用研究

静冰压力是指冰层在升温膨胀受到约束的条件下,对约束体产生的压力.它是高寒地区水工建筑物的一种特殊载荷,也是冰科学和冰工程研究中最关键的物理指标之一.主要介绍了几种测量与确定静冰压力的方法及其存在的问题,并着重研究了适合测量静冰压力的光纤光栅传感器的工作原理和结构设计,提出了静冰压力在线检测系统的设计方法,解决了光纤光栅压力传感器的温度补偿问题.通过初步的研究表明,基于光纤光栅的静冰压力传感器具有尺寸小、分布式绝对测量、抗腐蚀能力强、抗干扰、适合于定点连续自动监测等优点.     

Finite automata presentable abelian groups

We give new examples of FA presentable torsion-free abelian groups. Namely, for every n2, we construct a rank n indecomposable torsion-free abelian group which has an FA presentation. We also construct an FA presentation of the group in which every nontrivial cyclic subgroup is not FA recognizable.     

星上电缆自动导通绝缘测试仪的设计与开发

星上电缆在航天器系统工程中起到了传递能量和信息的关键作用,并且其上天后具有不可修复性,这就决定了它在电性能检测方面必须做到高质量与高可靠。本文针对传统人工方式进行导通绝缘测试时工作强度大、检测效率低下和可信度低等缺点,设计并开发了一种星上电缆自动导通绝缘测试仪。该仪器基于模块化设计的思想采用中央控制器对各个模块单元进行控制来分别实现测试通道自动切换、测试电压的供给、星上电缆导通绝缘电阻的数据采集、通讯、存储和显示。实践结果表明,星上电缆自动导通绝缘测试仪一方面可以提高电缆导通绝缘测试的可靠性,增强质量控制;另一方面,可以提高效率,节省生产周期,降低劳动强度。     

LIBS/Raman光谱对称零面积变换自动寻峰方法研究

自动寻峰是进行光谱原位探测、实时自动分析的必要环节,对拓展光谱分析技术到长期海洋监测、石油录井等应用领域具有重要意义。该研究以实验室中获得的LIBS/Raman光谱数据,对Gaussian,Lorenz,Voigt三种线型函数构建的对称零面积变换函数进行了比较研究。结果证明各个光谱峰都存在一个最优的对称零面积变换函数,但三种变换函数在各自的最优化参数下获得的峰位、峰宽一致;以实验室中LIBS和Raman光谱定量实验数据对该方法的测试还证明,对称零面积变换寻峰方法对信号的大范围动态变化适应性强,弱峰识别能力达到或优于人工识别水平,有望应用于将来的LIBS/Raman自动原位分析中去。