电子学档在计算机基础课程教学中的应用

对大学计算机基础课程教学活动中引入电子学档来辅助教学,从而构建一种基于电子学档的信息化教学活动进行了探讨。并以《网页设计基础》课程的教学活动为案例,分析了在计算机基础课程教学中引入电子学档的可行性、必要性。最后,使用平均数差异显著性T检验来测量两组学生的学习情况,对使用电子学档提高学生的学习效率进行了量化评价。     

新升格本科院校开放实验教学的研究与探讨

分析了新升格的地方应用型本科院校开放创新实验教学运行现状及存在的问题;从提高对实验室开放内涵的认识、构建知识与能力并重的开放实验教学内容体系、实验室开放模式、构建开放式实验教学保障体系等方面进行了深入探讨。结合开放实验教学的实际情况,对适合高校自身特点的开放实验教学模式作积极探索,为培养有创新精神的高技能、高素质人才开辟有效途径。     

防空导弹姿态控制系统终态滑模变结构设计

针对防空导弹垂直发射姿态调转时的快速性要求,研究了快速姿态调转的控制问题.首先基于一类多输入多输出高阶非线性系统的Teminal(终态)滑模变结构控制方法,对垂直发射防空导弹的滚动和俯仰、偏航通道所呈现的非线性、强耦合性进行了分析,并设计了一种新型滑模控制器.控制器设计方案消除了滑模控制的到达阶段,系统的初始状态始终保持在滑模面上,确保了系统的全局鲁棒性和稳定性,且能在有限且可控时间内使跟踪误差趋近于零.最后通过数字仿真验证了系统在不确定因素情况下具有强鲁棒性和适应性,可用于防空导弹短时间姿态调转控制.     

引入趋近律的功率因数校正滑模控制仿真研究

提出一种引入趋近律的滑模变结构控制(SMVSC)方法来实现有源功率因数校正(APFC),减少电流的谐波成分.SMVSC是一种解决非线性时变系统(如APFC系统)问题的良好办法,但是实际应用中SMVSC的"抖振"现象问题必须要解决好.引入趋近律来削弱APFC系统在滑模控制中的"抖振"现象,并且依此推导出了控制APFC系统中的功率开关的PWM占空比.采用Matlab平台进行仿真验证控制策略控制APFC电路几乎得到单位功率因数,同时超调减小、响应时间缩短.     

基于T-S模型的输出反馈滑模控制及应用

为了使系统满足品质要求并对不确定因素具有较强的鲁棒性,采用滑模控制方法。建立被控对象T-S模糊模型。针对系统状态不完全可测特点,采用迭代线性矩阵不等式方法,利用输出信息构造滑模面。根据系统品质要求,采用参数鲁棒设计方法,配置所需极点,确定相应在参数空间的映射关系。应用平行分布补偿算法,根据映射产生的参数样本训练T-S模糊控制器,实现等效控制律。在此基础上应用高增益方法设计切换控制律,保证系统对满足匹配条件的不确定因素具有较理想的自适应性。最后,直升机模型的仿真结果表明,方法具有很好的控制效果。     

时变不确定非线性系统自适应滑模跟踪控制

针对一般的具有时变且界未知的非线性不确定性的单输入多输出非线性系统,提出一种自适应滑模跟踪控制器的框架.在该框架内,系统的时变且界未知的非线性不确定性可以通过函数逼近技术(FAT)表示成为一组正交基函数序列的组合,并通过滑模控制技术和直接Lyapunov方法获得基函数系数的更新律以及对不确定性逼近误差的在线自适应补偿,从而得到自适应的滑模控制律.所提出的基于函数逼近技术的自适应滑模跟踪控制策略在直流电机跟踪控制系统实验装置上进行了实际控制实验,并进行了性能的对比与分析.     

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.     

新建地方本科院校计算机专业人才培养模式研究

新建地方本科院校应适应经济建设和社会发展对人才培养的要求。针对计算机专业人才培养过程中存在的问题和新建地方本科院校自身的特点,阐述了产学研合作是培养计算机专业应用型人才的重要途径,分析了新建地方本科院校产学研合作中存在的问题,探讨了新建地方本科院校计算机专业开展产学研合作教育的有效方式。     

设计语用学的范式研究

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

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

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