刘静
- 作品数：110 被引量：97H指数：5
- 供职机构：华东师范大学更多>>
- 发文基金：国家自然科学基金中国博士后科学基金国家高技术研究发展计划更多>>
- 相关领域：文化科学自动化与计算机技术经济管理医药卫生更多>>
- 循环迭代程序的一种可信计算算法被引量：2
- 2020年
- 循环迭代程序作为软件的基本组成部分,其正确运行具有重要意义.然而,有时(比如其相关错数大于0时)计算时的舍入误差(或表示误差)会导致循环迭代的计算结果不稳定.基于“中间计算精度自动动态调整”的计算技术,给出了循环迭代程序的一种可信计算算法.利用该算法,可获得循环迭代程序任意次迭代的任意位的正确有效数字.目前,通过C++语言该算法已被编程实现于ISReal中.
- 赵世忠陈冬火刘静
- 关键词：可信计算
- 射频识别阅读器的数字基带系统的编码模块
- 本发明公开了一种射频识别阅读器的数字基带系统的编码模块，属于超高频射频识别集成电路设计技术领域，该模块包括时钟产生单元、RAM缓冲单元和同步编码单元，时钟产生单元生成各模块所需时钟，RAM缓冲单元由一个1bit x256...
- 刘静顾彬陈亦灏张润曦赖宗声李小进田应洪
- 太极拳运动的免疫调节和心身调节的作用研究
- ＜正＞一、项目简介该项目属老年康复和社区康复专业领域。主要内容:心身健康一词自80年代以后逐渐风行,并被普遍地运用于医学和体育领域,而行为医学更将两者紧密地结合起来,以共同关注、研究人类的生命与健康问题。运动诱导的免疫机...
- 刘静
- 文献传递
- 便捷取样的充气式浮游生物无菌培养装置
- 本实用新型便捷取样的充气式浮游生物无菌培养装置，包括：培养瓶；取样管，取样管的一端从培养瓶的底部向上穿入培养瓶内；取样阀，取样阀连接在取样管的另一端；进气管，进气管的一端从培养瓶的底部向上穿入培养瓶内；进气阀，进气阀连接...
- 杨安强李查德顾靖华刘静李小双王艳娜
- 文献传递
- 社会性别视角下搏击运动话语权缺失与构建
- 研究目的:封建社会时期,女性在生活中的方方面面存在极大的束缚,那时候就建立男尊女卑的社会形态,从而不仅影响了女性对体育运动的参与,同时也女性在参与社会生活造成了极大的不便利。现代文明社会,体育俨然成为了新时代的宠儿,同时...
- 曾丽冰刘静
- 关键词：社会性别搏击运动女性
- 太极拳健身理论论绎
- 刘静
- 关键词：武术健身理论太极拳
- 低密度奇偶校验码的简化译码校验方法及装置
- 本发明涉及了一种低密度奇偶校验码的简化校验方法及装置，属于通信技术领域。本发明校验时不需要检验矩阵。在低信噪区根据不同的信噪比设置不同的迭代次数阈值，在高信噪区根据不同的信噪比设置子行更新前后信息位的符号位连续不变的子行...
- 张小军田应洪崔建明余磊李宝将刘静赖宗声
- 论幼儿园的“爱祖国”教育 ——基于幼儿园教师“爱祖国”启蒙教育能力的调研
- 根据对传统文化与精神的当代迷误、中国学前教育的本土化危机以及“无问西东”的大学之道的思考,本研究从“爱祖国”启蒙教育的角度切入来探讨幼儿园教师的专业素养,从而探究传统文化与民族精神的传承、中国学前教育学科的本土化以及幼儿...
- 刘静
- 关键词：幼儿园教师教师专业素养
- 文献传递
- 区域控制器的安全需求建模与自动验证被引量：3
- 2020年
- 轨道交通区域控制器是我国轨道交通信号系统选型的主流制式--基于通信的列车控制系统的核心子系统,其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是区域控制器自身的复杂性以及领域知识的繁杂难以掌握,使得形式化方法很难应用到安全需求的验证中去.针对这些问题,提出一种安全需求的自动验证方法,使用半形式化的问题框架方法来建模和分解安全需求,根据需求模型自动生成安全需求的验证模型和验证性质,在此基础上自动生成验证模型的Scade语言实现,并通过DesignVerifier验证器对需求进行组合验证.最后,使用某个实际案例区域控制器的一个子问题CAL_EOA进行了研究,实验结果证明了该方法的可行性与有效性.它能够自动地将安全需求模型进行组合验证,改善了验证的效率.
- 刘筱珊袁正恒陈小红陈铭松刘静周庭梁
- 关键词：区域控制器
- 一种基于问题框架方法的时间需求建模与验证方法
- 本发明公开了一种基于问题框架的时间需求建模与验证方法，用于时间攸关系统的时间需求建模与规范的一致性验证，本发明涉及到的操作包括：（1）基于问题框架方法的功能需求模型问题图，借用时钟约束规约语言(CCSL)中的逻辑时钟及时...
- 陈小红尹玲刘静孙海英
- 文献传递
