刘静
- 作品数:100 被引量:91H指数:4
- 供职机构:华东师范大学更多>>
- 发文基金:国家自然科学基金中国博士后科学基金国家高技术研究发展计划更多>>
- 相关领域:文化科学自动化与计算机技术医药卫生政治法律更多>>
- 循环迭代程序的一种可信计算算法被引量:2
- 2020年
- 循环迭代程序作为软件的基本组成部分,其正确运行具有重要意义.然而,有时(比如其相关错数大于0时)计算时的舍入误差(或表示误差)会导致循环迭代的计算结果不稳定.基于“中间计算精度自动动态调整”的计算技术,给出了循环迭代程序的一种可信计算算法.利用该算法,可获得循环迭代程序任意次迭代的任意位的正确有效数字.目前,通过C++语言该算法已被编程实现于ISReal中.
- 赵世忠陈冬火刘静
- 关键词:可信计算
- 射频识别阅读器的数字基带系统的编码模块
- 本发明公开了一种射频识别阅读器的数字基带系统的编码模块,属于超高频射频识别集成电路设计技术领域,该模块包括时钟产生单元、RAM缓冲单元和同步编码单元,时钟产生单元生成各模块所需时钟,RAM缓冲单元由一个1bit x256...
- 刘静顾彬陈亦灏张润曦赖宗声李小进田应洪
- 一种基于问题框架方法的时间需求建模与验证方法
- 本发明公开了一种基于问题框架的时间需求建模与验证方法,用于时间攸关系统的时间需求建模与规范的一致性验证,本发明涉及到的操作包括:(1)基于问题框架方法的功能需求模型问题图,借用时钟约束规约语言(CCSL)中的逻辑时钟及时...
- 陈小红尹玲刘静孙海英
- 文献传递
- “十二型”理念下的武术操教学对小学生身体姿态影响的实验研究
- <正>1研究目的身体姿态的功能性障碍逐渐出现了低龄化现象,不良的身体姿态直接影响学生的生长发育,同时可能产生较为复杂的心理疾病。儿童期是身体姿态塑造的最佳时期,体育对身体姿态塑造的能力具有重要的影响力。武术是一项形神兼备...
- 刘静茹晶晶袁永虹
- 关键词:小学体育身体姿态心理健康
- 文献传递
- 男子武术套路运动员动脉血氧饱和度与运动能力关系的初步研究
- 运用无创脉搏血氧饱和度方法,以血HL、心率作为监测指标,测试了不同运动水平男子武术套路运动员递增负荷和套路演练中SaO变化情况,旨在建立一种无创、连续动态的监测评价方法,用于评价武术运动员的运动能力。基于血乳酸和血气指标...
- 刘静邱丕相
- 文献传递
- 基础—饱和土地基耦合系统的动力学分析
- 本文研究了基础-饱和土地基耦合系统的动力学特性。在模型应用上考虑了三种情况: 1.在基础-饱和土地基耦合系统的上表面受到竖向载荷作用时,耦合系统的动力学行为;2.在基础-饱和土地基耦合系统的上表面受到竖向载荷作用的同时...
- 刘静
- 关键词:动力学特性数值模拟非均匀性弹性力学
- 文献传递
- 武术跨文化传播中的视觉符号转向:武术服饰
- 研究目的:武术服饰是东方美的一种体现,承载着深厚的文化内涵,与武术运动是紧密相连的,本文旨在从传播学角度寻找一个更适合武术发展的新思路,借助武术服饰的魅力将武术运动传播开来,以期促进武术更广范围的传播和被不同地域文化所接...
- 李俊俊刘静
- 关键词:武术服饰武术传播视觉符号
- 文献传递
- 传播学视域下梅山武术的传播路径新探
- 继2008年梅山武术被列入第二批省级非物质文化遗产名录,2014年梅山武术被正式列入第四批国家级非物质文化遗产保护名录以来,梅山武术的保护与传承传播受到社会的关注。梅山武术是梅山文化的重要内容,是"梅山峒蛮"在长期社会历...
- 夏超刘静
- 面向航电软件的Safety_SysML一致性验证器设计与实现
- 2023年
- 民用飞机航空电子系统的高度综合化导致机载安全关键软件规模的成倍增加,带来航电系统软件需求的来源众多且不一致,航电系统软件各层次需求传递存在二义性等问题,因此,如何确保航电软件的一致性成为系统研发过程中亟待解决的核心问题之一。基于Safety_SysML状态机的语法,设计Safety_SysML一致性验证器,包括静态数据检测和动态数据检测;通过设计测试用例对核心算法及系统进行单元测试与集成测试,结合错误推断及边界,设计并执行功能测试,用于发现验证器存在的缺陷。结果表明:Safety_SysML一致性验证器能够有效识别航电系统软件中存在的二义性问题,对于提高航电软件的可靠性具有重要意义。
- 尹伟王辉孙海英丁郭欢康介祥刘静
- 基于AADL的创建、分析和仿真混成系统模型的方法
- 本发明公开了一种基于AADL的创建、分析和仿真混成系统模型的方法,包括如下步骤:创建子语言混成AADL,利用子语言混成AADL建立混成AADL模型;对混成AADL模型进行词法和语法分析;将混成AADL模型转换至Model...
- 何积丰刘静钱宇清
- 文献传递