简介:皮带运输系统是一个以传动装置带动输送带运转来运送散件物料的运输设备,其控制系统是一个典型离散事件控制系统和按顺序启停的实时控制系统。拟在进一步研究皮带运输系统运行状态和控制逻辑的基础上,运用形式化的建模方法将皮带运输系统的控制逻辑进行验证,绘制一种带约束组合弧的有色时间Petri网模型。把诸多控制设备的复杂逻辑控制策略图形化,提高了系统的可靠性和安全性,减少了设计和开发过程的错误。采用带约束组合弧的有色时间Petri网进行建模,有效地缓解了系统中的设备数量多的“节点爆炸”问题,使模型在表述系统逻辑控制行为时简单有效。
简介:地震数据规则化是地震信号处理中一个重要步骤,近年来受到广泛关注的压缩感知技术已经被应用到地震数据规则化中。压缩感知技术突破了传统的Shannon-Nyqiust采样定理的限制,可以用采集的少量地震数据重构完整数据。基于压缩感知技术的地震数据规则化质量主要受三个因素影响,除了受地震信号在不同变换域的稀疏表达和11范数重构算法的影响外,极大地取决于地震道随机稀疏采样方式。尽管已有学者开展了2D地震数据离散均匀分布随机采样方式研究,但设计新的稀疏采样方案仍然很有必要。在本文中,我们提出满足Bernoulli分布规律的Bernoulli随机稀疏采样方式和它的抖动形式。对2D数值模拟数据进行四种随机稀疏采样方案和两种变换(Fourier变换和Curvelet变换)实验,对获取的不完整数据应用11范数谱投影梯度算法(SPGL1)进行重构。考虑到不同随机种子点产生不同约束矩阵R会有不同的规则化质量,对每种方案和每个稀疏采样因子进行10次规则化实验,并计算出相应信噪比(SNR)的平均值和标准偏差。实验结果表明,我们提出的新方案好于或等于已有的离散均匀分布采样方案。
简介:运用文献资料、数理统计、分析归纳等研究方法,对新周期2013-2016国际艺术体操评分规则变化特点进行深度解读,前瞻国际艺术体操个人成套动作编排的发展趋势。结果表明:新规则的重新梳理使难度与完成两大评分体系对成套动作编排的艺术性起到决定性的作用,难度评分结构的重新调整,为艺术体操成套动作的编排带来新的发展空间,促使成套动作的编排向艺术性方向发展;完成评分结构的重新归纳,凸显完成艺术性在成套动作中的重要地位,指引艺术体操成套动作的完成向艺术性发展,助推艺术体操成套动作编排艺术性的升华;编排的艺术性和编排的规格化将是艺术体操追求的主要目标,是项目持续、稳步发展的生命线。
简介:摘要: 有关装配式建筑的评价标准一直以来是各地政府以及开发、设计、生产、施工等产业链上各方非常关注的问题,同时也是一直以来业内争论最为激烈的议题之一。自深圳市住房和建设局、深圳市规划和国土资源委员会于 2018 年 11 月 5 日联合印发《关于做好装配式建筑项目实施有关工作的通知》(深建规〔 2018 〕 13 号)文件以来,社会各界对于新政策的具体技术评分规则提出了部分疑问。本文以勤诚达正大城项目工业化认定的实际经验为依托,结合已出台政府最新文件及相关政策宣贯资料对常见问题进行释疑,尽量解决深圳装配式项目在技术认定实际操作中存在的落地实施问题,希望能够对实施装配式建筑的开发商、总承包、设计及施工等各方理解和应用评分规则提供一定的指导作用。
简介:随着新课程评价理念的推广,英语教师纷纷开展了一些学生自评的实践和研究,但在实际中还存在不少问题,总体而言,这些自评工具的缺陷主要表现在两个方面:一是自评工具不能提供自评标准,二足自评工具难以提供持续的反馈信息。为了有效地促进学生自评,我们探索尝试了六要素写作评价规则,主要包括思想性、用词、组织性、语句流畅性、写作风格和写作常规六个要素。这种评价工具能帮助学生界定什么是“高质量的学习”;在相当程度上分解了评价特权,促成了评价标准共享的实现;使学生由“评价引导的学习”走向“基于标准(目标)的学习”,有效地拓展了评价主体范畴;淡化了评价的甄别性功能,在英语写作教学中,是一种有效的自评工具。