Multiple object semilinear motion planning

We present a method based on extended linear real quantifier elimination for multiple object semilinear motion planning, i.e. finding collision-free trajectories for several robots in a time dependent environment. For practical applicability the method is limited to polygonal objects and linear trajectories. It can, however, deal with situations involving even non-convex objects.     

项目管理软件的开发思路

详细介绍了项目管理的发展及项目管理软件的现状。通过对P3管理软件的分析论述，得出项目管理软件系统的开发方案。     

Fuzzy Multiobjective and Linear Programming Based Management Models for Optimal Land-Water-Crop System Planning

In this article, linear programming and fuzzy optimization models are developed for planning and management of available land-water-crop system of Mahanadi-Kathajodi delta in eastern India. The models are used to optimize the economic return, production and labour utilization, and to search the related cropping patterns and intensities with specified land, water, fertilizer and labour availability, and water use pattern constraints. Due to extreme backwardness of the study area, it has been decided to keep all the three objectives of the linear programming models at the same priority level to obtain the compromised solution in a fuzzy environment that incorporates the imprecision in fuzzy goals and fuzzy constraints. These non-structural models facilitate the conjunctive use of available surface water and groundwater resources. A comparative evaluation along with the benefit-cost ratios of the existing and proposed farming systems is also presented.     

模糊环境的表示及机器人轨迹规划

本文利用模糊集理论，提出一种非确定环境的描述方法，并且针对机器人在该类环境中的避障轨迹规划，建立了相应的决策函数和规划策略，最后，给出在ＰＣ－３８６计算机上的仿真试验结果。     

非线性隔振理论初探

本文以线必阻尼，立方刚度非线性系统为例，对非线性隔振理论进行了初步探讨，导出了系统的无量纲运动响应和传递率，并与线性隔振系统进行了比较，着重讨论了非线性对它们的影响，获得了一些有用的结论。     

基于运动矢量的视频图象数字水印算法

数字水印技术是近年发展起来的一种用于数字产品版权保护和真伪性论证的新兴技术。与静止图象相比，视频水印技术要满足盲检的要求。本文根据运动矢量的特征值ρl，提出了一种视频图象水印新算法。实验结果表明，所提出的水印算法简单、快速，能满足视频编码的实时性要求；算法与现有的视频压缩标准有很好的兼容性；水印的提取具有盲检功能，无需原图象；水印的嵌入不影响I帧的图象质量，与嵌入水印前的原压缩图象相比，嵌入水印后的视频图象信噪比损失很小。     

限制市场中不定权益的定价

通过构造一族辅助风险溢价来确定不定权益的无套利价格，用这种方法 讨论了存在交易限制时欧式不定权益的定价问题，其结果与Davis的公平价格一致.     

实行全面质量管理 做好江口水电站工程设计

江口水电站是芙蓉江干流开发中的骨干工程。为认真履行江口工程的设计合同，确保优质、高效地完成江口工程的各项设计工作，长江委设计院实行全面质量管理，建立了一套规范化的统计管理程序，制订详细的设计计划，落实江口工程项目各级责任人的质量责任制，采取特殊技术措施，对工程设计过程中的各项质量活动进行全过程的管理，使江口工程在满足质量标准、合同进度的情况下，工程投资最省。     

Real-World Robotics: Learning to Plan for Robust Execution

In executing classical plans in the real world, small discrepancies between a planner's internal representations and the real world are unavoidable. These can conspire to cause real-world failures even though the planner is sound and, therefore, proves that a sequence of actions achieves the goal. Permissive planning, a machine learning extension to classical planning, is one response to this difficulty. This paper describes the permissive planning approach and presents GRASPER, a permissive planning robotic system that learns to robustly pick up novel objects.     

3D Motion Estimation and Motion Fusion by Affine Region Matching

In this paper,a new method is presented for 3D motion estimation by image region correspondences using stereo cameras.Under the weak perspectivity assumption.we first employ the moment tensor theory (Cyganski and Orr^[11]) to compute the monocular affine transformations relating images taken by the same camera at different time instants and the binocular affine transformations relating images taken by different cameras at the same time instant.We then show that 3D motion can be recovered from these 2D transformations.A space-time fusion strategy is proposed to aim at robust results.No knowledge of point correspondences if requred in the above processes and the computations involved are linear.To find corresponding image regions,new affine invariants,which show stronger invariance,are derived in term of tensor contraction theory.Experiments on real motion images are conducted to verify the proposed method.