王珍
- 作品数：15 被引量：12H指数：2
- 供职机构：华中师范大学更多>>
- 发文基金：软件工程国家重点实验室开放基金湖北省自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理文化科学社会学更多>>
- 东汉班氏三杰研究
- 东汉班氏家族不仅是一个簪缨世家，也是诗礼传家的书香门第，出现了如班婕妤、班彪、班固、班超、班昭等多位杰出的历史人物。
本文通过介绍班氏一门三杰的家学家风和历史环境，研究班彪一家的经历和成就，全面分析他们的国家统...
- 王珍
- 关键词：班彪班固儒家精神东汉
- 文献传递
- 6—9岁儿童自主—依赖性的社会关系网络研究
- 6-9岁是儿童从幼儿园进入学校学习的过渡期，从17世纪开始，心理学家的一系列研究理论都说明了儿童具有内部的自主性和对外部的依赖性，但大多数的研究都只限于对自主性和依赖性单方面的研究，没有将其融合起来，所以本文将从社会学的...
- 王珍
- 关键词：社会关系社会角色人格结构
- 文献传递
- 能力为本：社会工作培训推动儿童主任发展的实践——以L县儿童主任培训项目为例
- 2021年国家相继出台了加强农村留守儿童和困境儿童的保护工作等一系列儿童相关法律及政策文件,我国的儿童工作被置于前所未有的新高度。与此同时,我国的儿童福利主任政策经过十年的时间从试点、推广、普及到不断发展完善,借助社会工...
- 王珍
- 关键词：社会工作
- 情感因素对高中生英语学习的影响研究
- 上世纪60年代以来，人本主义思想得到长足发展，情感因素对语言教学的影响也受到了更多的关注。在人本主义心理学的观点中，教育活动的目标就是人类的全面发展。为了实现人类的全面发展，在教育的过程中不仅仅需要关注人的认知程度，更应...
- 王珍
- 关键词：高中英语课堂教学情感因素
- 实时系统的运行时验证研究
- 在国民经济与国防现代化建设中，计算机软件在日常生活中的应用越来越普及，软件可靠性问题日趋受到人们的重视，尤其对于一些安全关键领域，如载人航天、高速轨道交通等。应用于这些领域的系统通常是实时控制系统，这类系统不仅要求系统做...
- 王珍
- 关键词：监控器
- 文献传递
- 达马西奥的情绪哲学研究
- 情绪与理性的关系问题一直是现代西方心灵哲学研究中的热点。笛卡尔作为身心二元论的开创者，在这个问题上的纯理性至上的观点也一直影响着西方心灵哲学的各大学派。进几十年来，随着神经科学、认知科学、心理学等学科的发展，越来越多不同...
- 王珍
- 关键词：理性主义
- 一种源程序级软件验证方法研究被引量：3
- 2014年
- 软件质量对使用软件的各行各业有很深的影响,因此验证软件是否满足某些关键性质成为一个重要的问题.提出一种基于C语言的源程序级验证方法,其主要思想是将C源程序转换为与控制流图等价的Kripke结构,将这一Kripke结构作为程序的抽象模型,用CTL描述期望程序具备的性质,然后利用NuSMV模型验证工具检验该模型是否满足所期望的性质公式,从而达到检验程序是否满足该性质的目的.基于这种思想,设计并实现了一个自动将C源程序和其待检验的性质转换为NuSMV的输入文件并对其进行验证的环境原型.
- 叶俊民王珍戴跃庭金聪
- 关键词：KRIPKE结构控制流图NUSMV
- 基于硅像素传感器Topmetal的强子治癌束流监控器研制
- 癌症一直是人类致力攻克的难题，在治疗过程中放疗是经常被用到的手段。放疗使用的放射物媒介主要是高能X射线。随着技术的发展，强子（主要是质子和碳离子）也逐渐被用到放疗中。强子相对X射线的优势在于强子的大部分能量损失发生在射程...
- 王珍
- 关键词：气体探测器
- 基于像素传感芯片的强子束流监控装置及方法
- 基于像素传感芯片的强子束流监控装置，包括一个垂直支架和两套独立的二维监控装置，两套二维监控装置固定在垂直支架的两垂向板上；每套二维监控装置均由硅像素芯片、芯片bonding电路板、阳极板、阴极板组成。装置的监控方法为：强...
- 孙向明许怒黄光明王珍
- 文献传递
- 互联网时代大学生自杀的新类型及其预防与干预研究
- 互联网时代，泥沙俱下的信息洪流使原本鉴别力、心理承受能力就弱的大学生变得更加不堪一击，更大概率出现自杀行为。因此，有必要针对互联网时代大学生自杀的影响因素、作用机制，互联网技术在高校学生自杀预防及干预的管理中出现的问题及...
- 王珍
- 关键词：干预模式互联网时代
- 文献传递
