您的位置： 专家智库 > >

张思博

作品数：11 被引量：79H指数：2
供职机构：哈尔滨师范大学教育科学学院更多>>
相关领域：自动化与计算机技术电气工程更多>>

合作作者

文献类型

  • 8篇期刊文章
  • 2篇学位论文

领域

  • 9篇自动化与计算...
  • 1篇电气工程

主题

  • 3篇契约式设计
  • 2篇电机
  • 2篇总线
  • 2篇面向方面编程
  • 2篇机器人
  • 2篇机械负载
  • 2篇关节
  • 2篇编程
  • 1篇单自由度
  • 1篇电动
  • 1篇电动机
  • 1篇动力学
  • 1篇动力学模拟
  • 1篇异步
  • 1篇异步通信
  • 1篇运动控制
  • 1篇运动控制器
  • 1篇直流
  • 1篇直流电
  • 1篇直流电动机

机构

  • 6篇北京交通大学
  • 4篇上海交通大学
  • 3篇中国民航大学
  • 1篇防灾科技学院
  • 1篇中国电子科技...
  • 1篇装甲兵工程学...

作者

  • 10篇张思博
  • 4篇董春
  • 4篇李宗帅
  • 1篇王修岩
  • 1篇刘颜
  • 1篇杨国瑞
  • 1篇马晓军
  • 1篇可荣硕
  • 1篇赵建军
  • 1篇张嘉铭
  • 1篇于江

传媒

  • 2篇微型电脑应用
  • 2篇机械与电子
  • 1篇微特电机
  • 1篇仪表技术与传...
  • 1篇微计算机信息
  • 1篇现代电子技术

年份

  • 3篇2010
  • 2篇2009
  • 1篇2008
  • 2篇2007
  • 2篇2006
共 11 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于契约式设计的VeriJava编程语言设计
基于契约进行程序验证的理论最早出现于20世纪70年代对大型系统的研究之中。20世纪90年代，Bertrand Meyer首次将契约式设计(DbC)理念引入了面向对象编程技术中，并且在其构建的Eiffel语言中进行了全面的...
张思博
关键词：契约式设计面向方面编程编程语言
文献传递
单自由度关节型机器人机械负载动力学模拟实验平台设计
2008年
采用2台直流电机直接同轴相连的方式,建立关节型机器人单自由度机械负载动力学模拟装置,并对此装置进行了介绍。运用基于速度跟踪的控制算法对负载电机实施控制,与基于机械负载逆动力学模型的控制算法相比,能使模拟效果得到提高。最后给出了Simulink下的仿真结果,仿真结果证明了该设计的可行性和有效性。
张思博董春李宗帅刘颜
关键词：机器人机械负载动力学模拟直流电机
基于DeviceNet现场总线的两轴伺服电机运动控制器
2009年
文中设计了基于AT89C51、LS7266R1和SJA1000的DeviceNet总线电机运动控制器。给出了运动控制器的总体结构,分析了AT89C51与LS7266R1的接口电路、AT89C51与DeviceNet总线接口电路。最后分析了系统软件设计的关键。根据该方法设计的运动控制器,经济、实用,能够充分利用DeviceNet现场总线。
李宗帅于江王修岩董春张思博
关键词：SJA1000DEVICENET
基于AJAX的Web应用架构设计被引量：55
2006年
AJAX(Asynchronous JavaScript+XML)是一种新兴的Web表示层技术,利用他可以构建动态、快速和灵活的Web应用程序。AJAX可以消除传统HTTP通信模式中对表单的依赖,从而实现快速而轻量的异步通信。介绍了AJAX的实现原理与机制,阐述了如何利用AJAX技术来构建一个简单的框架以支持全新的Web应用,并利用该框架所构建的应用,实现了浏览器直接与后端服务的异步通信。
杨国瑞张思博
关键词：AJAXWEB应用开发XMLHTTPREQUEST异步通信
基于速度跟踪算法的机械负载动态模拟被引量：2
2010年
提出并介绍了用两台同轴直流电动机建立对机器人关节机械负载进行模拟的实验系统,建立了此系统模型。采用基于速度跟踪的控制算法,对建立的数学模型就此控制算法在Matlab/Simulink下进行仿真。最后对实验系统进行了性能测试和负载模拟的实验,证明了基于速度跟踪的算法和此实验系统对机器人关节的非线性机械负载进行模拟是可行有效的,但系统动态性能和精度尚待进一步提高。
张思博董春李宗帅
关键词：机器人关节直流电动机
基于RGB色彩空间的颜色识别系统设计被引量：18
2010年
介绍了RGB色彩空间及利用颜色传感器TCS230进行颜色识别的主要特点。TCS230在RGB色彩空间下对颜色分量进行测量,并将信号输入PIC16F877单片机进行数据处理,LCD显示出颜色识别的结果与RGB值。本系统通过白平衡算法解决了被测颜色在不同光线下识别结果有差异的问题。最后通过对透明、非透明物体颜色的检测,给出了实验结果及分析,并针对环境影响提出了改进方案。
可荣硕马晓军张思博
关键词：RGB色彩空间TCS230PIC16F877
基于WinDriver的PCI数据采集卡的设备驱动程序开发被引量：2
2009年
介绍了设备驱动程序开发软件包Win-Driver的主要特点,内部机制及开发步骤。并以基于PCI总线的高速电机控制的数据采集卡为例,详细论述了通过WinDriver和VC++6.0开发驱动程序的方法。
张思博董春李宗帅
关键词：WINDRIVER设备驱动程序PCI总线
基于契约式设计的Java编译器实现被引量：2
2007年
本文通过实现一个基于VeriJava语法与语义检查、验证的编译器,试图在编译阶段通过对方法,类等先决条件与后置条件的验证,在逻辑上保证方法的正确性,帮助开发人员在开发的过程中及时找到设计错误或协调沟通问题,促进交流与理解,使开发过程更为完善。
张嘉铭张思博赵建军
关键词：契约式设计JAVA编译器
基于AOP在组件开发中支持契约的研究与实现
2006年
在进行软件组件开发时,需要明确组件中服务请求者与提供者之间相互满足的契约关系。通过在组件中支持契约式设计(Design by Contract,DBC),不仅可以阐明组件设计的细节、为客户记录正确的组件用法,还可以通过编程的方式来测试组件使用的正确性。基于面向方面编程(Aspect-Oriented Programming,AOP)技术实现契约式设计,可以通过将横切关注点(crosscutting concern)分离的方式,令编程人员独立的编写组件的契约和业务逻辑。本文主要基于AOP技术的两个开源实现:Contract4J和AspectJ,构建了一个Eclipse插件工具来支持组件开发中的契约式设计,并且通过一个实例分析采用契约式设计之后对于组件健壮性的改进。
张思博
关键词：契约ECLIPSE插件
交通信息视频检测系统
交通信息视频检测系统主要通过图像处理的方式获取交通信息数据,通常还需要无线通信、云台、GPS等子系统配合工作,是智能交通系统的重要组成部分。 课题设计并实现了交通信息视频检测系统的平台,研究了交通视频检测相关...
张思博
关键词：TMS320DM642NRF2401GPRS视频检测
文献传递
全选 清除 导出
共1页<1>
聚类工具0