A formal model of composing components: the TLA+ approach

In this paper, a method for writing composable TLA⁺ specifications that conform to the formal model called Masaccio is introduced. Specifications are organized in TLA⁺ modules that correspond to Masaccio components by means of a trace-based semantics. Hierarchical TLA⁺ specifications are built from atomic component specifications by parallel and serial composition that can be arbitrary nested. While the rule of parallel composition is a variation of the classical joint-action composition, the authors do not know about a reuse method for the TLA⁺ that systematically employs the presented kind of a serial composition. By combining these two composition rules and assuming only the noninterleaving synchronous mode of an execution, the concurrent, sequential, and timed compositionality is achieved.     

含多电解槽的新能源制氢能量管理优化

新能源制氢系统是提升风能、太阳能等新能源发电消纳的有效途径。目前国内外关于电解槽能量管理的相关研究以单电解槽为主。单电解槽能量管理未考虑电解槽非线性的工作特性,难以兼顾多个电解槽制氢效率,影响系统经济性。论文针对含有多电解槽新能源制氢系统的能量管理问题进行了研究。以新能源消纳率、经济收益、制氢率为目标,考虑单个电解槽运行特性及生产约束等条件,建立包含风电、光伏、蓄电池、电解槽多个模块的能量管理优化模型,并采用SPEA2算法求解多目标优化问题。仿真研究表明,所提能量管理策略能够实现新能源发电的100%消纳,单位制氢效益可提升5.15%。因此,多电解槽制氢系统进行有效的能量管理有助于提高制氢效率,有效克服单电解槽运行及能量管理的不足。     

Minimizing Energy Barrier in Intermediate Connection Layer for Monolithic Tandem WPeLEDs with Wide Color Gamut

Perovskite light-emitting diodes (PeLEDs) show promising prospects in the wide color gamut display owing to their ultra-narrow full width at half maximum (FWHM). However, up to now, all perovskite white LEDs integrated by standard red, green, and blue perovskite emitters, namely, monolithic white PeLEDs (WPeLEDs), have been rarely reported, owing to facing some issues, e.g., solvent incompatibility in solution technique, ion exchange, and energy transfer between different emission centers. Herein, centered on these issues, an optimal intermediate connection layer (ICL) of Po-T2T/LiF/Ag/HAT-CN/MoO₃ is adopted to successfully develop monolithic tandem multicolor PeLEDs and WPeLEDs for the first time. The multicolor PeLEDs can achieve the best external quantum efficiency of 1.8% and the highest luminance of 4844 cd m⁻². Besides, the red/green/blue (R/G/B) monolithic tandem WPeLED shows a standard white International Commission on Illumination coordinate of (0.33, 0.33) and achieves an extremely wide color gamut reaching  National Television Standards Committee of 130%. This study is the first to realize the standard R/G/B co-electroluminescence in a monolithic perovskite device and offers a feasible strategy for developing wide-color gamut perovskite displays.     

设计语用学的范式研究

目的确定设计语用学研究范畴,建立设计语用学的研究范式,进而通过设计语用学理论发展对设计方法论提供新的理论依据。方法从设计符号传播语境视角出发,对设计方、用户和用户的社交对象之间的设计符号传播模式进行论述。结论结合整合营销传播理论和设计事理学理论,得出了设计语用学的研究范畴、研究意义、研究核心及整合产品设计营销传播与定义设计符号使用场景两种设计语用学的研究路径,完成了设计语用学的理论框架。     

微机原理与应用课程改革与实践

为适应新技术对信息化人才培养要求,在分析微机原理与应用课程特点及教学状况的基础上,从教学目标、教学内容入手,阐述微机原理与应用课程改革思路和方法,从适应科技发展的角度,提出调整课程教学内容,构建微机原理与应用多媒体及网络教学平台系统,改革课程考试方式。     

Sliding mode control for multi-agent systems under a time-varying topology

This paper addresses the tracking problem of a class of multi-agent systems under uncertain communication environments which has been modelled by a finite number of constant Laplacian matrices together with their corresponding scheduling functions. Sliding mode control method is applied to solve this nonlinear tracking problem under a time-varying topology. The controller of each tracking agent has been designed by using only its own and neighbours’ information. Sufficient conditions for the existence of a sliding mode control tracking strategy have been provided by the solvability of linear matrix inequalities. At the end of this work, numerical simulations are employed to demonstrate the effectiveness of the proposed sliding mode control tracking strategy.     

Prediction of landslide displacement with controlling factors using extreme learning adaptive neuro-fuzzy inference system (ELANFIS)

Landslide is a major geo-environmental hazard which imparts serious threat to lives and properties. The slope failures are due to adverse inherent geological conditions triggered by an external factor. This paper proposes a new method for the prediction of displacement of step-like landslides, by accounting the controlling factors, using recently proposed extreme learning adaptive neuro-fuzzy inference system (ELANFIS) with empirical mode decomposition (EMD) technique. ELANFIS reduces the computational complexity of conventional ANFIS by incorporating the theoretical idea of extreme learning machines (ELM). The rainfall data and reservoir level elevation data are also integrated into the study. The nonlinear original landslide displacement series, rainfall data, and reservoir level elevation data are first converted into a limited number of intrinsic mode functions (IMF) and one residue. Then decomposed displacement data are predicted by using appropriate ELANFIS model. Final prediction is obtained by the summation of outputs of all ELANFIS sub models. The performance of proposed the technique is tested for the prediction Baishuihe and Shiliushubao landslides. The results show that ELANFIS with EMD model outperforms other methods in terms of generalization performance.     

蒙古文整词计算机生成理论研究

采用面向对象方法,模拟传统蒙古文整词各种形式构成机理,提出了几种蒙古语整词计算机生成数据模型。文章主要依据整词计算机生成三种模型,探讨了传统蒙古文整词计算机最优化生成理论所涉及的精确度、时间复杂度、空间复杂度三项基本要素以及最优化生成必须考虑的整词复杂特征载荷与一体化合一计算知识表示方法和计算结构,证明了“B - J - T= W”数据模型是传统蒙古文整词计算与生成最优化对象模型。     

关于高校计算机基础课程实验的研究

计算机技术的迅速发展与广泛应用,已使其成为每位高校学生的必修课。计算机基础课程的实验教学具有专业性强、应用性广的重要特点。由于各院系专业多、实验内容、要求不同,怎样加强实验教学,如何科学的设计和组织实验课,将直接影响至计算机实验教学效果和学生动手能力的培养。经过多年的实践,这里总结出一套适应院系计算机基础课程的实验教学的模式,并取得较好的教学效果。     

任务型的教学模式在高职计算机教学中的应用

该文对任务型的教学模式的本质进行了研究,对它加以改进、深化,并将之用于职业教育的计算机教学,取得了好的教学效果。在实践的基础上,该文从基于任务型的教学模式的概念、教学结构和职业教育的现状特点和这一模式具体的实施步骤方面进行了理论上的总结。