当前位置:问答库>论文摘要

题目:

基于Petri网的UML状态机模型的形式化验证方法研究

题目:

一种数据库管理操作台的研究与实现

题目:

基于本体的电信服务集成工具的研究与实现

题目:

面向复杂道路的浮动车路径推测技术的研究与实现

题目:

基于步态的性别分类研究

题目:

一种基于协议的Web服务组合建模工具的研究与实现

题目:

民航运输企业IT应用项目风险管理研究

题目:

双臂单腿弹跳机器人控制系统研究

题目:

红外地球敏感器的测试信号源研究及误差建模

题目:

一种基于BPEL的网格工作流引擎的研究与实现