黄涛
- 作品数：17 被引量：2H指数：1
- 供职机构：南京航空航天大学计算机科学与技术学院更多>>
- 发文基金：中央高校基本科研业务费专项资金中国航空科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信政治法律金属学及工艺更多>>
- 一种基于双目视觉的接触式工业机器人自动标定系统
- 本发明公开了一种基于双目视觉的接触式工业机器人自动标定系统，涉及工业机器人标定领域，该系统利用双目相机进行视觉引导，通过双目视觉计算出测量装置与标定架上预设标定图案的相对位姿，进而计算出测量坐标系与标定板坐标系的转换关系...
- 黄涛谈冬兴徐贵力
- 文献传递
- 基于不动点逻辑的混成系统性能评价方法
- 本发明公开了基于不动点逻辑的混成系统性能评价方法。在定义映射值域为实数区间的状态函数以及带有状态函数的Kripke<Sub>AF</Sub>结构的基础上，本发明通过将CTML和μ演算结合提出一种新的混成系统性能评价语言μ...
- 李晴曹子宁黄涛
- 基于IP网络的视频传输及监控系统的设计
- 简单介绍了Directshow技术，研究并采用DirectShow技术来实现视频采集，压缩解压，回放，并给出了监控系统的详细设计思路。在设计中使用RTP/TCP作为网络传输的协议，并利用MPEG-4编码标准进行压缩，得到...
- 黄涛章勇杨万应谢峰森
- 关键词：IP网络视频传输DIRECTSHOW技术网络传输协议视频监控系统
- 基于JB4708-2005的承压设备焊接工艺评定系统
- 随着承压设备在国内外的蓬勃发展，对焊接技术的要求也越来越高，焊接工艺的合理与否直接影响产品最终质量的好坏。国内外都制订了相应的强制性制造法规或规程，明确规定，生产企业必须对受压或承载的焊接接头编制焊接工艺规程，按相应标准...
- 黄涛
- 关键词：承压设备统一建模语言
- 文献传递
- 一种应用于机械臂及其末端执行器的法兰连接装置
- 本发明公开了一种应用于机械臂及其末端执行器的法兰连接装置，涉及法兰连接装置领域，该法兰连接装置包括若干个主杆，每个主杆的两端分别设置有末端球形关节，每个末端球形关节中的内球体与球形外壳相对转动、使得每个末端球形关节上的法...
- 谈冬兴黄涛徐贵力
- 文献传递
- 网络游戏虚拟财产的继承问题研究
- 网络游戏虚拟财产是指存储于网络游戏服务器中，可用现实价值去衡量的财产。网络游戏虚拟财产的利益性和社会需求证明了其具有继承的必要性。随着网络游戏玩家数量的增多以及大众对网络游戏虚拟财产价值认可度的上升，网络游戏虚拟财产继承...
- 黄涛
- 关键词：网络游戏虚拟财产
- 一种应用于机械臂及其末端执行器的法兰连接装置
- 本发明公开了一种应用于机械臂及其末端执行器的法兰连接装置，涉及法兰连接装置领域，该法兰连接装置包括若干个主杆，每个主杆的两端分别设置有末端球形关节，每个末端球形关节中的内球体与球形外壳相对转动、使得每个末端球形关节上的法...
- 谈冬兴黄涛徐贵力
- 文献传递
- 基于SNMP协议的多线程网络拓扑发现算法的研究
- 网络拓扑发现技术的算法和实现是网络管理的一项重要研究。为了提高网路拓扑发现的效率和性能，利用SNMP协议以及广度优先算法进行网路层拓扑发现，找出路由器与路由器，以及路由器和子网之间的连接关系。对于子网中的设备采用多线程扫...
- 杨万应章勇黄涛谢峰森
- 关键词：网络管理SNMP协议网络拓扑
- 视频数据网络传输技术的研究与实现
- 随着网络技术及流媒体技术的发展，视频流媒体的应用愈发普遍，而复杂多变的网络环境使得视频数据拥有的网络资源变化很快，这要求视频传输必须有适应网络状况变化的能力。因此，迫切需要一种有效的自适应传输控制策略来保证视频传输的Qo...
- 黄涛
- 关键词：视频数据网络传输技术RTP/RTCP协议
- 文献传递
- 基于不动点逻辑的混成系统性能评价语言
- 2022年
- 混成系统是一类连续与离散行为紧密结合的复杂动态系统,目前广泛地应用在医疗和国防等安全关键领域。安全关键系统要求自身具有较高的安全性与可靠性,以减少系统故障引起的生命和财产方面的灾难性后果。而形式化方法是保障系统可靠性的一种常用方法,其中模型检测应用最为广泛。由于模型检测只能给出系统是否满足某个性质的真或假逻辑值,通过将其与性能评价相结合,以描述系统与实值计算相关的一些性质。现有的性能评价语言CTML可以描述系统与概率和平均期望相关的性质,μ演算则可以通过最小和最大不动点运算符描述迁移系统的某些性质。在基于μ演算的模型检测和CTML的基础上,提出一种面向混成系统的基于不动点的新的性能评价语言MLBoF以及MLBoF公式的性能评价算法。针对CTML的子逻辑,给出与其语义等价的MLBoF公式表示以及二者等价的证明过程。通过飞机起飞系统实例说明,提出的性能评价语言MLBoF不仅将基于μ演算的模型检测结果从{0,1}扩展到实数区间,具有验证系统概率等实值性质的能力;而且通过扩展经典的计算不动点的改进算法,保证了MLBoF的性能评价算法的效率。
- 李晴曹子宁黄涛
- 关键词：混成系统不动点性能评价
