摘要：文章用几何知识,证明了卫星运行区域为对称分布在地球赤道两侧的类似圆鼓侧面的空间范围;并且通过建立空间地球坐标系,按照卫星坐标和卫星在地球表面投影一一对应,运用坐标变换关系反映地球自转情形,得到卫星关于相对静止地球面的空间参数方程。对于神七卫星,数学软件按照参数方程模拟运行结果也验证了证明的结论。

摘要：《室内装饰设计》课程教学中，装饰卫生间是课堂教学与实践教学过程中往往被忽视的地方，但卫生间的装饰设计正日益成为衡量住宅品质的重要标准。色彩在室内装饰设计因素中，最容易为人所感知和注意。

摘要：艺术设计教学中的创新精神是个永恒的课题,室内设计也理应倡导结合时代精神的创新教学。我们现阶段的教学中对学生缺乏正确的建筑环境意识和观念的引导,缺乏室内设计专业基础知识和建筑文化素养的培养。

摘要：室内设计的宗旨应＂以人为本＂,中国古典园林设计有其鲜明的传统文化特征,蕴藏着十分丰富的艺术处理手法。

摘要：采用混合润滑模型分析了柴油机活塞环-缸套系统的润滑性能。选取影响润滑性能的5个主要参数进行正交试验,通过极差分析确定了各个因素对活塞环-缸套摩擦功耗影响的主次关系。建立遗传算法优化的BP神经网络,利用正交试验结果训练该神经网络,得到活塞环-缸套的摩擦功耗神经网络预测模型,然后利用该模型针对选取的5个主要参数进行了优化设计。结果表明,影响摩擦功耗的主要因素由强到弱为:缸套表面粗糙度、活塞环桶面高度、活塞环桶面偏移、活塞环表面粗糙度和活塞环轴向高度。运用正交试验和遗传算法优化的BP神经网络相结合的方法进行活塞环优化设计,试验工作量大大减少,预测精度较好,为活塞环-缸套摩擦学设计提供了便利。

摘要：在油气管道控制系统典型逻辑标准编制的早期,对拟标准化控制逻辑的建模与验证能够提前发现设计缺陷,有助于提高控制系统的功能完整性与安全性,进而避免因控制逻辑设计失误导致的危险事故发生。根据形式化验证方法中模型检验的原理,利用时间自动机及其验证工具UPPAAL,对天然气站场电动放空阀通用控制逻辑开展形式化建模与验证,将逻辑图中的各类功能组件以及阀门动作流程独立建模,用于刻画完整的控制逻辑操作过程,综合验证结果发现,阀门的“开”“关”切换逻辑存在设计缺陷。最后,通过反例分析给出合理的优化方案,优化后的验证结果表明,优化方案能够满足控制系统功能完整性与安全性需求,形式化方法为管道站控系统控制逻辑可靠性验证提供了一个全新的技术路径。