纪政
- 作品数：5 被引量：1H指数：1
- 供职机构：华东师范大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 家庭教育视域下青少年数字媒介素养影响因素研究
- 随着媒介技术的更新迭代，网络传播环境不断的变化发展，数字媒介产品深度参与到公众的生活中。从生存到发展，公众对数字媒介的需求越来越高，相应的，公众的数字媒介素养教育问题越需得到关注。而作为“数字原居民”的当代青少年，在见证...
- 纪政
- 关键词：青少年家庭教育
- 文献传递
- 深入探讨动态规划中的几个问题
- 2010年
- 动态规划(DP)是解决多阶段决策最优化问题的一种思想方法。凭借其解决问题的高效性,在理论推理和实践应用中均被频繁使用。但是,由于其灵活度大,涉及面广,初学者很难掌握。由树形DP和状态压缩DP的两个例子展开,进而讨论了动态规划的优化和扩展问题。最后指出,理解动态规划的关键还在于有效的数学建模,以及对基本模型的灵活运用。
- 宋海岸纪政
- 关键词：DP动态规划
- 基于STeC的时空一致性智能体建模与调控仿真验证
- 随着信息物理融合系统的网络化、系统化和信息化发展,软件系统逐渐复杂化和集成化。尤其是时间和空间等物理元素的引入对形式化建模提出了新的挑战。陈仪香教授提出的实时系统规范语言STeC(Spatio-temporal Cons...
- 纪政
- 关键词：实时系统STATEFLOW
- 文献传递
- 基于STeC-Stateflow转换系统的实时系统仿真与验证方法被引量：1
- 2014年
- 物联网以及信息物理融合系统对形式化建模提出了新的挑战,引入了实时系统规范语言STeC,为刻画实时系统的时空一致性提供了规范语言。针对STeC语言建立STeC至Stateflow自动转换系统,提出一种基于STeC至Stateflow转换的仿真及验证方法,该方法使用STeC语言对实时系统进行形式化建模,再建立实时监控的Simulink仿真模型,并使用Checkmate对系统进行安全性验证。通过对京沪高铁运行的实例研究,表明该方法对高铁运行系统实时仿真的有效性,并能够验证高铁运行系统的安全性。
- 纪政李慧勇陈仪香
- 关键词：实时系统STATEFLOW
- 覆盖问题解决技巧的深入探讨
- 2010年
- 覆盖问题是一种常见的问题,由于其状态复杂,数据规模大,直接的搜索往往效率过低,复杂度难以承受。从解决覆盖问题的一般方法出发,深入探讨了动态规划、数学归纳法,以及Dancing links算法的转化在覆盖问题中的应用,充分弥补了现今大多数书籍和文献中解决覆盖问题时忽视算法设计技巧的缺点。
- 纪政宋海岸
- 关键词：DANCINGLINKS数独
