信息物理融合系统可信软件形式化建模与分析

从多Agent系统的角度,以Petri网和π演算为语义基础,建立了一种信息物理融合系统（cyber-physical systems,CPS）可信软件形式化模型（high-confidence software formal model,HCSFM）. HCSFM以Petri网形象地描述CPS可信软件静态结构模型及动态行为,用Petri网分析方法和支持工具对模型进行分析和验证; 利用π演算刻画CPS可信软件中Agent的加入、退出、更新和体系结构重配置等动态演化机制,并研究Agent的演化策略及演化后CPS的一致性,确保动态演化后CPS软件能正常交互,从而为CPS软件设计提供可信保障. 通过HCSFM在无人驾驶车辆编队CPS中的应用,表明HCSFM可以有效地对CPS可信软件进行建模和分析.     

Multi-label dimensionality reduction and classification with extreme learning machines

In the need of some real applications, such as text categorization and image classification, the multi-label learning gradually becomes a hot research point in recent years. Much attention has been paid to the research of multi-label classification algorithms. Considering the fact that the high dimensionality of the multi-label datasets may cause the curse of dimensionality and wil hamper the classification process, a dimensionality reduction algorithm, named multi-label kernel discriminant analysis （MLKDA）, is proposed to reduce the dimensionality of multi-label datasets. MLKDA, with the kernel trick, processes the multi-label integrally and realizes the nonlinear dimensionality reduction with the idea similar with linear discriminant analysis （LDA）. In the classification process of multi-label data, the extreme learning machine （ELM） is an efficient algorithm in the premise of good accuracy. MLKDA, combined with ELM, shows a good performance in multi-label learning experiments with several datasets. The experiments on both static data and data stream show that MLKDA outperforms multi-label dimensionality reduction via dependence maximization （MDDM） and multi-label linear discriminant analysis （MLDA） in cases of balanced datasets and stronger correlation between tags, and ELM is also a good choice for multi-label classification.     

Optimized LDPC differential-encoded 16QAM scheme for high-speed transmission systems

The 16-ary quadrature amplitude modulation （16QAM） is a high spectral efficient scheme for high-speed transmission systems. To remove the phase ambiguity in the coherent detection system, differential-encoded 16QAM （DE-16QAM） is usually used, however, it will cause performance degradation about 3 dB as compared to the conventional 16QAM. To overcome the performance loss, a serial concatenated system with outer low density parity check （LDPC） codes and inner DE-16QAM is proposed. At the receiver, joint iterative differential demodulation and decoding （ID） is carried out to approach the maximum likelihood performance. Moreover, a genetic evolution algorithm based on the extrinsic information transfer chart is proposed to optimize the degree distribution of the outer LDPC codes. Both theoretical analyses and simulation results indicate that this algorithm not only compensates the performance loss, but also obtains a significant performance gain, which is up to 1 dB as compared to the conventional non-DE-16QAM.     

Attitude Control of Spherical Liquid-Filled Spacecraft Based on High-Order Fully Actuated System Approaches

Journal of Systems Science and Complexity - The attitude of spherical liquid-filled spacecraft is controlled based on the high-order fully actuated system approaches. The rigid-fluid coupling...     

上海世博会旅游服务影响力数学模型研究

用本底趋势线法研究了旅游拉动效应中五项基本因素与上海世博会影响力的关系,以排队时间为变量,建立顾客入园参观时的满意度表达式,对其进行分析求解。综合分析了上海世博会旅游服务影响力。     

单模光纤中高阶非线性极化率的计算

从非简谐振子模型出发，通过求解迭代方程，计算出三阶非线性极化率及四阶非线性极化率，并给出了高阶非线性极化率的普适公式     

喹啉端基硫醚化合物的合成及其与Cu(Ⅱ)的作用

在润滑油的多效添加剂系列中，有机含硫化合物以其特有的性能得到广泛应用［１］．随着对此类添加剂研究的进一步开发，对含Ｎ杂环的苯酚硫醚化合物发生兴趣［２］，以期改善添加剂的抗氧化和抗腐蚀等性能．本文合成了４个带喹啉配位端基的硫醚化合物（Ｌ１，Ｌ２，Ｌ３，...     

太极通天液对偏头痛预防性治疗的临床观察

偏头痛是神经科常见病之一 ,而采用太极通天液治疗比以往临床上治疗偏头痛所采用的苯噻啶等药物具有更好的疗效     

水口参数对异形坯连铸结晶器内流场的影响

依据湍动能理论,本文建立了结晶器内钢液的三维湍流模型,开发了计算程序,研究了不同水口状态下异形坯结晶器中钢水的流动特性.利用本模型所得计算结果与实测结果吻合较好,并可对现场生产进行离线分析.     

标量高斯光束的能量传输

应用标量光场的能流密度矢量 J的定义 ,计算了高斯光束在自由空间传播时 ,其光束传输轴横截面上的光强、光斑区域的能流及总能量 ,并与传统光强定义的相关结果进行了比较。计算结果表明 ,对基模高斯光束 ,仅当 kω0 1(ω0 λ)时 ,传统光强的定义才近似成立 ,否则必须采用光强的精确定义。进一步指出了高斯光束作为波动方程傍轴近似解的条件。