论文部分内容阅读
高可靠性软件需求分析支撑工具HRSDT/ORDT的设计与实现
【机 构】
：
哈尔滨工业大学
【出 处】
：
哈尔滨工业大学
【发表日期】
：
2000年期
其他文献
该文首先定义并讨论了定制计算系统,所谓定制计算系统是指根据计算的需求,高性能机器加工厂生产出的单件产品.论文以基于FPGA的ABC95阵列机为背景进行了计算研究,ABC95的互连
基于构件的软件开发CBSD (Component-Based Software Development)技术被认为是提高软件开发效率和质量的有效途径,并获得广泛的关注与应用,产生了诸多构件模型和构件框架。
传统的人机交互以机器为中心,人必须学习和适应一系列预先为机器设定的规则。为摆脱这些规则的束缚,出现了以人为中心的自然人机交互,要求机器必须具备理解人类行为方式的能
该文提出了基于网络的机器人足球比赛仿真平台的设计及实现的方案.在这一平台上,可以自由开发各种机器人足球比赛策略.并以此来研究在一个小的环境中,如何使多个机器人既能自
生产计划与控制是制造业的核心,生产计划与控制领导信息系统是领导信息系统的一个重要方面.由于系统具有数据结构的多样性、数据之间关系的复杂性及的查询要等特点,该文认为
在最近的十几年里，随着网络技术的发展，分布式处理技术日益显得重要。CORBA标准是OMG(对象管理组织)制定的关于分布计算环境的标准，其关键技术是引入了对象请求代理ORB。它将面
该文在国家九五科技攻关专题"空间信息共享与处理"的平台SISP的基础上设计并实现了一个空间数据仓库的构建工具--SDW Builder.该工具提供空间数据仓库建模、数据 抽取与装入
该文主要介绍了在城市生产垃圾梦烧处理领域里的人工智能的应用研究.作为21世纪人类面向对的一个重要问题:环境保护,这在世界范围内都受到重要的关注,在经济不断发展的中国也
该文主要讨论了高速矢量光栅转换技术的理论基础和算法实现.根据矢量图形的特点,详细讨论了提高矢量光栅转换速度的重要技术-宽直线段的生成和多边形的扫描填充算法.文中对现