摘要：为保证IMA系统管理设计的正确性、高可靠性和实时性,本文使用AADL对IMA系统管理进行建模,通过对模型功能和性能的正确性分析,并在模型的基础上进行分析验证,从而保证了IMA系统管理设计的正确性,降低了设计风险。

摘要：Eclipse RCP是一种基于Eclipse插件开发来构建富客户端应用的平台,它给Java桌面开发带来了崭新的局面。本文首先介绍了Eclipse RCP及其主要技术,对在研项目中任务管理系统的功能需求进行分析之后,提出了一种基于Eclipse RCP技术的任务管理系统设计方案,最后基于该方案实现了任务管理系统。

摘要：随着煤矿采深的不断加大,矿山压力的显现日趋明显,尤其是存在冲击地压的井田,测量导线点随时受到影响而变动。如何在矿山施工测量方面采取相应措施,保证综采工作面两巷的平行,确保回采工作的顺利进行,是需要研究的重点。通过工作面两巷施工过程中首先总结动压显现规律,在施工放线时对设计方向进行微量修正并及时进行联测验证,然后根据先施工巷道的偏移量调整后施工巷道。应用实践证明,该措施可行、可靠。

摘要：随着国内自主雷达卫星和差分干涉合成孔径雷达技术(D-InSAR)及衍生的时序InSAR技术的发展,以时间序列上重复观测为主的长周期形变监测的应用与日俱增。对遥感卫星地面任务规划系统来说,规划和管理大量有时序关联的重复任务,从而最大限度地满足观测要求,是提升以形变监测为使命的雷达卫星运控效率的关键。在综合考虑雷达差分干涉任务序列性、一致性、周期性特征的基础上,设计了一种面向雷达卫星时序InSAR类型任务的规划框架,旨在规划序列任务时,考虑序列整体特性,进行序列任务组间的冲突检测。基于此方法,对现有的地面任务规划系统进行了优化升级,验证了框架的有效性。结果证明:该方法可快速、自动进行序列任务冲突消解,可为长周期序列任务的规划和管理提供设计参考。

摘要：我参加工作60年来，没有离开过禹州这片古老的土地，一直在工业战线上摸爬滚打。回顾往昔的工作经历，我印象最为深刻的，是禹州独有的钧瓷窑变艺术和它的恢复发展历程。

摘要：教学对象：八年级（新九年级）学生一、课例背景本课例是笔者在第十三届中学英语教师新课程教学高级研修班执教的一堂观摩课,是以School life为话题的阅读研讨课,融合了信息技术,采用了混合式教学模式,受到了与会专家的一致好评,并荣获信息技术与英语教学深度融合践行者特别奖。