摘要：根据乘客在枢纽内的主要活动,将枢纽设施分为出入口区域、售检票区域、换乘区域、上下车站台区域和辅助活动区域等五种设施类型。在设施分类的基础上,建立了枢纽设施布局适应性评价指标体系,按照3条主线、3种客流、5个区域,将指标划分为枢纽集散性指标、乘客个体性指标、乘客群体性指标、设施功能性指标、设施应用性指标和设施可靠性指标等6类指标。按照3个数据来源、4类数据、5种关系的分类标准阐述了仿真系统中的数据结构关系。提出了仿真系统的功能模块和仿真控制策略,试为仿真系统的应用开发奠定理论和技术基础。

摘要：采用Lagrange建模方法建立了欠驱动柔性自平衡机器人的数学模型,对柔性关节部分考虑了其弹性势能,仿真验证了模型的正确性,刚度越大,机器人上半身角度跟踪越快.采用线性二次型最优控制有效地控制了柔性机器人的平衡问题,通过实验,验证了在状态不完全可观测情况下系统的可控性,实验表明,只需机器人上半身部分安装传感器即可控制机器人达到平衡状态.对机器人结构的设计提供了参考.

摘要：面向并行设计规划的快速布局是高性能计算机概念设计不可缺少的重要手段 ,布局目标、布局对象、布局结果等方面的特殊性 ,决定了传统布局方法难以满足并行设计规划需求 .针对巨型机概念设计需求 ,在传统芯片级与系统级布局规划方法基础上 ,提出一种面向并行设计规划的快速布局模型与算法 .该算法是基于有向图分解模型的分级布局算法 ,将定时驱动布局思想引入结群过程 ,是集定时驱动布局、基于结群的布局、基于划分的布局和有向图分解为一体的快速布局算法 .该算法被成功应用到某巨型机概念设计的并行设计规划过程 .

摘要：该文提出了基于系统辨识的显微镜点扩散参数提取方法 ;在此方法基础上设计并完成了标定试验 ,建立了显微镜点扩散参数和被观察物体Z坐标之间的映射关系 ;作为其应用 ,实现了一个具有显微图像效果的微操作拟实环境 ,当拟实环境中虚拟微操作工具Z坐标发生改变时 ,显微图像中虚拟微操作工具的像的模糊度随之发生变化 ;人眼观测表明 ,它与实际显微图像的微操作工具的模糊程度变化符合得很好 ;整个系统表现出高精度和很好的实时性 .

摘要：介绍了一个就线性时段特性验证实时系统正确性的工具的设计思想以及相关算法 .使用时间自动机作为实时系统的描述模型 .同时 ,为了便于描述并发实时系统 ,使用带共享变量和通道的时间自动机网作为模型描述并发实时系统 .在检验时间自动机网时 ,用户可以使用工具提供的合成程序将其合并为一个时间自动机然后进行检验 .由于时间自动机的状态空间是无穷的 ,通过引入整数状态和状态等价关系的概念 ,将整个状态空间划分为有限的状态等价类空间 .模型检验过程只需要通过对等价类空间的搜索就可以完成 .但往往等价类空间的规模很大 ,超出了现在计算机的处理能力 ,原始搜索算法仅仅在理论上是可行的 .为了增强工具的使用性 ,工具中使用的算法运用了一些优化技术来避免对等价类空间的穷尽搜索 ,使得工具在使用时具有比较好的时间和空间效率 .