张娟

作品数：9被引量：13H指数：2
导出分析报告
供职机构：西安工业大学更多>>
发文主题：命题公式大学生心理健康大学生心理健康操作系统更多>>
发文领域：文化科学自动化与计算机技术电子电信一般工业技术更多>>
发文期刊：《内燃机与配件》《西安工业大学学报》《科技经济导刊》《价值工程》更多>>
所获基金：国家科技重大专项陕西省教育厅科研计划项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
新工科背景下操作系统课程多元化教学模式探究被引量：3
《科技经济导刊》2019年第29期132-133,137,共3页张娟 
在新工科背景下,以'工程教育专业认证'为抓手,以培养学生能力为导向,深入研究操作系统课程多元化教学模式改革方法,并得出有效结论。
关键词：新工科 工程教育专业认证 操作系统 
多位二进制向量矩阵乘法的研究和实现
《内燃机与配件》2017年第14期146-147,共2页张娟 李梅 
陕西省教育厅专项科研计划项目(14JK1344)
随着人类对计算机性能的需求不断增加,出现了大规模、超大规模计算机系统,但是随之而来的通讯代价和能耗代价也提出了很多严峻的挑战,各种非电子计算机方法因此被广泛关注。本文以三值光计算机为实现平台,探讨如何利用一位二进制向量矩...
关键词：向量矩阵乘法 光学处理器 三值 
命题公式合法性的自动判定
《价值工程》2015年第31期201-203,共3页张娟 
本文就命题公式合法性的自动判定方法进行阐述,首先给出命题的合式公式的相关概念,其次探讨用计算机自动判定命题公式合法性的方法,并对设计过程加以描述。
关键词：命题公式 合法性 自动判定 
命题公式主析范式的自动生成系统
《价值工程》2013年第30期171-172,共2页张娟 
目前人工智能的发展已经非常迅速,而且会越来越普及到我们的生活中。人工智能的发展离不开数理逻辑,命题逻辑是数理逻辑中重要部分,本文介绍了命题公式主析取范式及主合取范式的自动生成系统的开发、设计与实现过程。
关键词：命题公式 主析取范式 主合取范式 自动生成 
无向简单图与无向连通图自动识别系统被引量：2
《价值工程》2012年第28期198-199,共2页张娟 
近年来,图论越来越受到全世界数学界和其它科学界的广泛重视。图的理论及其在物理、化学、运筹学、计算机科学、电子学、信息论、控制论、网络理论、社会科学及经济管理等几乎所有学科领域中各方面的应用研究都迅速发展。无向图作为图...
关键词：图论 无向简单图 无向连通图 自动识别系统 
西气东输二线用管材性能数据统计分析系统——试验数据查询统计模块的设计与实现
《价值工程》2011年第36期102-103,共2页张娟 
本文以西气东输二线用管材性能数据统计分析系统试验数据查询统计模块的开发过程为主线,经过需求分析、系统设计等阶段的工作,探索了本模块开发中涉及的关键技术。
关键词：西气东输二线 试验数据 模块 
基于离差差分滤波算法的再入目标状态估计被引量：2
《西安工业大学学报》2011年第4期377-381,共5页穆静 王长元 张娟 陈芳 
国家科技重大专项课题
再入弹道目标的状态估计是个复杂的非线性滤波问题,使用扩展卡尔曼滤波算法(Extended Kalman Filter,EKF),会引入较大的误差,甚至发散.为了提高估计精度,提出使用离差差分滤波算法(Divided Difference Filter,DDF)对再入弹道目标的状态...
关键词：再入弹道目标 非线性状态估计 多维Stirling内插公式 离差差分滤波 
自动排考算法的研究被引量：1
《新西部（理论版）》2009年第12期123-123,104,共2页张娟 
考试安排工作的自动排考问题是时间表问题,是已经被证明的NP完全类问题。对于大多数这类问题,迄今为止还没有找到在多项式步骤内解决的有效算法。排考的算法应在满足各种已知的约束条件的情况下,按照设计程序进行排考预处理初始化课程...
关键词：自动排考 算法 时空组合 
关于大学生心理健康的思考被引量：5
《新西部（理论版）》2007年第09X期244-244,250,共2页张娟 
心理健康是指具有正常的智力、积极的情绪、适度的情感、和谐的人际关系、良好的人格品质、坚强的意志和成熟的心理行为等,心理键康与一个人的成就、贡献、成才关系重大。心理健康是大学生成才的基础,应加强对大学生的心理健康教育及疏导。
关键词：心理健康 大学生 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部