摘要：针对一类含非匹配不确定项的非线性系统提出一种间接自适应模糊滑模控制设计方法.构造了线性切换面确保滑动运动稳定,用监督控制确保系统状态有界,设计了自适应模糊控制器确保到达条件成立.该方法不仅确保系统稳定,而且抑制了抖振.仿真结果也证明了此方法的有效性.

摘要：高校计算机专业开设形式化方法课程十分必要。必须设计课程目标和教学方法,并提出考核和评价学生学习效果的标准,通过严格的数学方法让学生获取对其他课程也很有益的知识、技术和能力。

摘要：本体概念能够有效表达Web服务的语义信息,可通过推理机实现自动语义匹配,但推理机的推理过程比较耗时,会对服务计算技术多个环节的效率产生很大影响。以本体概念间的匹配度为基础,建立公共本体概念库,可在不影响本体概念表达能力的前提下,实现语义匹配过程的分离。为适应公共本体概念库的动态特性,给出对其进行更新(添加、删除和修改)的算法。实验结果表明,该方法大幅提高了语义匹配的效率,且不会对语义匹配的性能产生影响。

摘要：概括地介绍了二恶英的来源和毒性,着重分析了固体废物焚烧处理过程中二恶英的生成和释放机制,提出了具体的控制措施。

摘要：非形式化方法很难保证认证协议的安全性,因此对于形式化方法的研究与应用具有重要的意义,模型检测技术就是其中的一种。该文介绍了使用模型检测工具SPIN和Promela语言对A(0)协议进行建模检测的方法,并从检测结果中发现了A(0)协议无法保证公开协商密钥证书新鲜性的缺陷。据此设计出了针对A(0)协议的新鲜性攻击方法,并提出了弥补其新鲜性缺陷的改进方案。由此可见,使用模型检测技术可以高效便捷地对认证协议进行分析。

摘要：SPOC在MOOC之后,成了一种适应高等院校课堂教学的一种新模式。作者设计了混合学习模式的计算机类课程改革模式框架,从课程选取与课程资源准备、教学实施和课程评价等角度,对具体的计算机类课程进行了实践性的SPOC混合教学改革实践。实践分析表明,所提出的教学改革理论和实践框架能够指导相关课程的教学改革,所进行的教学实践能够提高教学质量和效果。

摘要：基于MODIS NPP、EVI遥感影像,采用MVC法、一元线性回归法与Pearson相关分析法,探讨天山北坡昌吉州草地植被时空动态及其对同期气温、降水的响应。结果表明:2000—2020年,草地植被NPP、EVI均为跃动式显著递增,2016年后呈逐年递减;NPP、EVI多年均值为0.095 kg C·m^(-2)、0.186;相较于2000年(NPP=0.077 kg C·m^(-2)、EVI=0.166),2020年NPP(0.099 kg C·m^(-2))、EVI(0.194)分别增长了28.57%、16.87%。草地NPP空间异质性显著增加并呈扩大趋势,EVI空间差异逐年递增,变化范围分别为0.038 kg C·m^(-2)(NPP)、0.059(EVI)。在空间上,NPP、EVI多年平均分布具有差异;总体上,NPP、EVI随海拔升高而增加,但绿洲边缘、古尔班通古特沙漠南缘分布有高位EVI,面积占比65.01%的NPP与21.93%的EVI显著递增。9种草地类型植被NPP、EVI与降水呈显著正相关的面积占比远大于同期气温,不同类型草地对降水的响应具有差异。降水是草地植被的重要影响因子,但高海拔区域的适度增温有益于草地植被生长。

摘要：为了提高传统比例分配模式与按照比例条件进行分配时面临的之处,提出了对DSSC集中管理过程进行优化分配的方案,探讨了潮流调节与子模块响应的具体方式。利用数字仿真器(RTDS)完成DSSC主控单元的优化分配测试,测试结果表明:采用实时优化分配法可以实现最快的子模块响应速度,同时达到了最快的潮流变化。并且实时优化分配法完成三轮调节之后便可以满足设计要求,实时优化分配法具备更高响应精度。选择实时优化分配法响应发生于2 s,很快实现出力满发的状态,在3 s时就完成响应过程,实时优化分配法只需投入3组子模块,其他方法则要投入所有的子模块。