张娟
- 作品数：11 被引量：13H指数：2
- 供职机构：西安工业大学更多>>
- 发文基金：国家科技重大专项陕西省教育厅科研计划项目更多>>
- 相关领域：文化科学自动化与计算机技术电子电信一般工业技术更多>>
- 命题公式合法性的自动判定
- 2015年
- 本文就命题公式合法性的自动判定方法进行阐述,首先给出命题的合式公式的相关概念,其次探讨用计算机自动判定命题公式合法性的方法,并对设计过程加以描述。
- 张娟
- 关键词：命题公式合法性
- 多位二进制向量矩阵乘法的研究和实现
- 2017年
- 随着人类对计算机性能的需求不断增加,出现了大规模、超大规模计算机系统,但是随之而来的通讯代价和能耗代价也提出了很多严峻的挑战,各种非电子计算机方法因此被广泛关注。本文以三值光计算机为实现平台,探讨如何利用一位二进制向量矩阵乘法的实现方法解决多位二进制向量矩阵乘法。
- 张娟李梅
- 关键词：光学处理器
- 命题公式主析范式的自动生成系统
- 2013年
- 目前人工智能的发展已经非常迅速,而且会越来越普及到我们的生活中。人工智能的发展离不开数理逻辑,命题逻辑是数理逻辑中重要部分,本文介绍了命题公式主析取范式及主合取范式的自动生成系统的开发、设计与实现过程。
- 张娟
- 关键词：命题公式主析取范式自动生成
- 无向简单图与无向连通图自动识别系统被引量：2
- 2012年
- 近年来,图论越来越受到全世界数学界和其它科学界的广泛重视。图的理论及其在物理、化学、运筹学、计算机科学、电子学、信息论、控制论、网络理论、社会科学及经济管理等几乎所有学科领域中各方面的应用研究都迅速发展。无向图作为图论的重要组成部分,研究无向图的连通性问题具有很重要的意义。本文介绍了无向简单图与无向连通图自动识别系统的设计与实现过程。
- 张娟
- 关键词：图论无向简单图无向连通图自动识别系统
- 骑滑两用三轮儿童玩具车
- 本发明涉及一种骑滑两用三轮儿童玩具车，包括前轮立柱，在前轮立柱的顶端设置把手，前轮立柱的末端设置前轮；前轮立柱的中部通过旋转锁止结构连接斜梁，所述斜梁的末端设置有车座，在车座底部通过两个摆动锁止结构分别与两根扁平的后轮立...
- 杜鹤民张娟张淑梅
- 西气东输二线用管材性能数据统计分析系统——试验数据查询统计模块的设计与实现
- 2011年
- 本文以西气东输二线用管材性能数据统计分析系统试验数据查询统计模块的开发过程为主线,经过需求分析、系统设计等阶段的工作,探索了本模块开发中涉及的关键技术。
- 张娟
- 关键词：西气东输二线
- 西安工业学院学籍管理系统规划设计研究
- 21世纪,人们的生活无时无刻不与信息紧密联系在一起,信息资源的数字化、信息载体的多样化、信息传播的网络化,使人类社会开始步入一个全新的时代——信息时代.该文首先从社会信息化角度得出高校信息化建设的重要性和必要性,分析了当...
- 张娟
- 关键词：学年制B/S和C/S混合模式
- 文献传递
- 基于离差差分滤波算法的再入目标状态估计被引量：2
- 2011年
- 再入弹道目标的状态估计是个复杂的非线性滤波问题,使用扩展卡尔曼滤波算法(Extended Kalman Filter,EKF),会引入较大的误差,甚至发散.为了提高估计精度,提出使用离差差分滤波算法(Divided Difference Filter,DDF)对再入弹道目标的状态进行估计.DDF算法使用二阶多维Stirling内插多项式近似非线性状态和测量方程获得状态和方差的估计.该算法只需要计算函数值,避免了求导运算,降低了计算复杂度.Monte Carlo数值仿真表明,离差差分滤波方法降低了再入目标的状态估计误差,提高了估计精度,且运行速度比无迹卡尔曼滤波方法(Unscendted Kalman Filter,UKF)要快的多.
- 穆静王长元张娟陈芳
