高职院校计算机教学目标达成途径探索

高职教育是培养高技能人才的教育,立足培养目标、改进教学方法、加强实训和实践环节是高职教育的关键所在。对此,根据高职教育的性质,结合笔者教学体会从四个方面论述高职院校的计算机专业教育目标达成的方法与途径,说明合理预设教学、改进教学方法、加强技能培养、重视实践历练在学生能力生成方面的作用。     

符号执行研究综述

符号执行作为一种重要的程序分析方法,可以为程序测试提供高覆盖率的测试用例,以触发深层的程序错误。首先,介绍了经典符号执行方法的原理;然后,阐述了基于符号执行发展形成的混合测试、执行生成测试和选择性符号执行方法,同时,对制约符号执行方法在程序分析中的主要因素进行了分析,并讨论了缓解这些问题和提高符号执行可行性的主要方法;随后,介绍了当前主流的符号执行分析工具,并比较分析了其优缺点;最后,总结并讨论了符号执行的未来发展方向。     

有春天感觉的香薯小花面包

春天到了,哪一款面包有春天的感觉呢？ 照着春天感觉和创新作品的方向想些日子,最后想到了用欧克皮装饰面包的方法,要做一款拉风的＂花花面包＂,把面包做出印花布的感觉来。这点可以从过程图里看出,模子里放了一大一小两朵花,而盘烤的面包烤前在表面装饰了大花、小花和小圆点。     

面包超人

在网上看到"面包超人"的造型,孩子非常喜欢,我们娘俩就一起玩面团。妈妈玩大的,孩子玩小的。我的大面团后来变成了面包,做完了台面上干干净净;小面团则因为孩子时不时冒出的天马行空的小想法而搞得一塌糊涂。台面上、地板上、孩子的身上都     

关于X_(1K)型集装箱车辆装用CZ-1型传感阀的性能研究与改进措施

对X_(1K)型集装箱专用车辆装用的CZ-1型传感阀的性能进行了研究,对车辆缓解不良的原因进行了分析,提出了具体的改进措施及建议。     

无机房电梯主动双向盘车救援装置的研究与应用

针对无机房电梯轿厢与对重平衡状态或安全钳动作无法有效救援问题,对当前无机房电梯救援方式、方法进行了分析,研究设计一套主动双向盘车救援装置。该救援装置应用盘车机构与离合机构有效配合,既保证无机房电梯的安全可靠运行,又便于救援装置的紧急救援。结合理论与实际,应用SolidWorks及插件GearTrax软件对双向盘车装置进行了三维建模。通过现场救援测试比对,安装主动双向盘车装置的无机房电梯救援更可靠、更安全,更有时效性。     

覆冰四分裂导线除冰过程模拟研究

针对提出的一种覆冰四分裂导线智能除冰方法,采用ABAQUS有限元软件建立覆冰四分裂导线及其除冰装置的有限元模型,实现除冰过程的数值模拟方法。通过数值模拟研究,验证智能除冰方法的可行性。覆冰破坏采用拉伸破坏强度理论,利用ABAQUS的用户材料子程序VUMAT定义覆冰的本构关系和破坏准则,实现破坏单元的删除。通过除冰装置不同张开位移和安装个数以及不同覆冰厚度下除冰效果的模拟研究,为智能除冰装置的设计提供参考。     

基于宽频带多基线阵列解模糊的波达角估计算法

针对宽频带电子信号侦测系统测向精度与解相位模糊能力这一矛盾问题,根据多基线测向原理,提出一种基于宽频带多基线阵列解模糊的波达角估计算法,并进行了仿真分析。结果表明,该方法可有效求解宽频带多基线阵列相位模糊,提高对目标在相位差测量精度不高情况下的测向精度。     

X-ETFE绝缘航空航天电线的耐电弧评估

辐照交联乙烯-四氟乙烯(X-ETFE)绝缘电线,因其优秀的性能广泛应用于航空航天电气线路互联系统领域(EWIS)。对按SAE AS22759/54A~([1-2])标准试制的电线,进行耐干、湿电弧试验,评估X-ETFE绝缘电线的耐电弧性能。试验结果表明,试制的X-ETFE绝缘电线通过了标准规定的耐干、湿电弧试验。     

基于特定重现期的电网舞动区域分布图绘制方法

为有效指导特高压密集输电通道等重要输电设备开展差异化防舞设计和舞动治理工作,开展特定重现期的舞动区域划分具有重要意义。基于安徽81个气象台站2010—2020年冬季历史气象资料,利用极值I型分布模型计算了各气象台站30 a、50 a和100 a一遇舞动极值日数,制定了电网舞动区域分级原则,利用克里格插值方法得到了气象台站周边地区特定重现期舞动极值日数,绘制了安徽省30 a、50 a和100 a一遇电网舞动区域分布图,分别适用于110~220 kV、330~750 kV和特高压交直流线路的防舞动工作。电网舞动区域分布图显示,淮北平原地区及江淮沿江地区舞动风险较高,且100 a一遇的2、3级舞动区较30 a一遇舞动区面积更广,为特高压密集输电通道的差异化舞动防治工作提供了技术依据。特定重现期电网舞动区域分布图对提升电网抵御覆冰舞动灾害的能力和水平具有积极作用。