基于进程网系统的Petri网性质分析

Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念，讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。     

以人为中心的机器人系统的人机交互技术

以人为中心的机器人系统(HCR)强调以人为本、人机合作的思想，主要用于动态、非结构化的环境和必需有人机共同完成的任务。笔者提出了基于穿戴计算的人机接口，使HCR的人机交互不受时间、空间的限制。通过增强现实，机器人的状态、报警等重要信息成为输出通道传输的重点，有效地减少了对信息传输带宽和再现信息的资源占用，减轻操作者的负担，进而提高HCR操作者对本地状态的意识和对远程环境的感知。通过并行、互补的多通道及整合、融合多个输入信息的方法，消除信息的多又性和噪声，从根本上克服当前人机交互的输入瓶颈，实现更加高效、人性化的HCR人机交互。     

Implementation of the finite deformation plastic theory-Tensor derivative and metal forging simulation

It has been shown that the traditional small deformation plasticity can be transplanted to the finite deformation plasticity by using the logarithmic strain measure only. In this way, the mathematical problem of how to find the derivative of a tensor function arises. In this paper, a general method for finding the derivative of a tensor function is proposed. Several metal forging examples are given.During the calculation, the mesh regeneration is not even invoked.     

Novel Hyper-Redundant Manipulator-. Design, Study and Experiment

A novel hyper-redundant manipulator named RT1 is designed and studied. The unique feature of RT1 is all degrees of freedom (DOF) are actuated with only one motor via special designed hinge bar universal joints. The mechanisms of RT1 are introduced in detail. Some experiments are carried out in order to test the movability and adaptability of the manipulator. RT1 is actuated by pulse string and acts discretely. The discrete working space of RT1 is described and the parameter optimization for kinematical redundancy resolution is studied also. The optimization criterion is altering the design parameter as little as possible during manipulator's motion from the initial position to the expected position. An optimization example is given that is realized with Matlab optimize tool-box.     

双主梁式斜拉桥主梁有效宽度

斜拉桥的桥面结构有效宽度在桥梁设计规范中没有明确给出。以金马大桥为研究背景 ,通过建立平面和空间有限元模型 ,在多种荷载工况下计算分析了这种双主梁式斜拉桥主梁的有效宽度 ,并得出在对称荷载作用下桥面板正应力趋于均匀分布的结论。这为同类边主梁结构形式的斜拉桥提供了很好的设计依据。     

二维溃坝洪水波演进的数值模拟及动态显示

采用基于MacCormack预测—校正技术的隐式数值格式求解控制水流运动的二维浅水方程，建立了模拟大坝瞬间全溃或局部溃倒所致的洪水演进过程的数学模型；应用该模型对矩形明渠中缓、急流过渡的水面曲线进行了数值计算，并与理论解进行了比较；最后用该模型预测了矩形河道中大坝瞬间局部溃倒的洪水演进过程，并对模拟结果进行了定性分析。比较与分析结果表明，该模型对模拟溃坝洪水波很有效。     

论高校科协在科技创新中的地位与作用

从高校科协在高校科技工作中的定位问题展开讨论,在分析高校科协的性质与特点的基础上,探讨高校科协的任务、地位及在促进科技创新过程中发挥的重要作用。     

胶体晶体及三维有序多孔材料的制备

以粒径为80～320nm的单分散苯乙烯／苯乙烯磺酸钠共聚微球为原料，采用一种全新而简单的制备高度有序胶体晶体模板的方法，利用静电相互作用、表面张力以及蒸发过程中的离子扩散等作用在液面形成了不合溶剂的高度有序的胶体晶体．将溶胶-凝胶前驱液在毛细效应作用下渗入胶体晶体间隙，待前驱液固化后，经煅烧去除苯乙烯微球，制备出了具有三维有序结构的多孔材料——倒置蛋白石．     

过流反时限保护的实时控制

对矿用高压配电装置中的过流反时限保护功能进行了分析,并针对实际应用中存在的问题提出了改进方案.