初至波走时层析成像中的正则化方法

 波场的等效性、观测数据的有限性和观测误差等因素导致地球物理反演本身具有严重的多解性，降低这种多解性的一种重要途径就是对反演过程进行约束。传统的初至波走时层析成像方法，通常是在外部对模型空间施加显式的约束和平滑处理，这样就会破坏模型参数与传播算子之间的相关性，难以达到有效利用先验信息的目的, 甚至会影响反演的稳定性。针对这一问题，本文将先验信息分为三类，在此基础上阐述了通过正则化手段将各种先验信息纳入到反演方程当中，替代传统的外部约束模式。理论试验结果表明，正则化方法比外部约束方法有效地提高了反演的精度和分辨率；将该正则化方法应用于实际二维资料处理，也得到了比较好的反演结果。     

奇异值分解对非定常约束多体系统的动力学分析

通过对约束方程的雅可比矩阵进行奇异值分解，定义组合坐标，从拉格朗日第一类方程出发，建立了非定常约束多体系统的纯微分方程，给出了动力学数值分析的过程，最后举了一个算例。     

示例学习的广义扩张矩阵算法及其实现

本文对扩张矩阵理论加以扩充，提出关于公式的扩张矩阵的概念，并据此实现一个广义扩张矩阵算法叫做ＡＥ９，本文还将ＡＥ９和ＡＱ１５应用于几个实际领域的学习问题，如睡眠状态的分类，手写数字识别等，结果都表明ＡＥ９比ＡＱ１５分类精度更高。     

An institution theory of formal meta-modelling in graphically extended BNF

Meta-modelling plays an important role in model driven software development.In this paper,a graphic extension of BNF (GEBNF) is proposed to define the abstract syntax of graphic modelling languages.Fro...     

Perspective:Societally connected multimedia across cultures

The advance of the Internet in the past decade has radically changed the way people communicate and col- laborate with each other. Physical distance is no more a barrier in online social networks, but cultural differences (at the individual, community, as well as societal levels) still govern human-human interactions and must be con- sidered and leveraged in the online world. The rapid de-ployment of high-speed Internet allows humans to interact using a rich set of multimedia data such as texts, pictures, and videos. This position paper proposes to define a new research area called ’connected multimedia’, which is the study of a collection of research issues of the super-area social media that receive little attention in the literature. By connected multimedia, we mean the study of the social and technical interactions among users, multimedia data, and devices across cultures and explicitly exploiting the cultural differences. We justify why it is necessary to bring attention to this new research area and what benefits of this new research area may bring to the broader scientific research community and the humanity.     

基于Adams的摆杆输送机动力学仿真分析

采用Adams脚本语言建模,自动完成摆杆输送机整体系统的轨道、链条、摆杆和工件之间的装配约束和载荷边界条件的设定等.对某卡车白车身涂装过程进行动力学仿真分析,求得系统整体运行时所需的驱动力大小、链节间的相互作用力和进行静力学分析所需的载荷条件等,分析结果可指导摆杆输送机的整体设计.     

Searching minimax game trees under memory space constraint

Games such as CHESS, GO and OTHELLO can be represented by minimax game trees. Among various search procedures to solve such game trees,- and SSS^* are perhaps most well known. Although it is proved that SSS^* explores only a subset of the nodes explored by-, - is commonly believed to be faster in real applications, since it requires very little memory space and hence its storage management cost is low. Contrary to this folklore, however, this paper reports, using the OTHELLO game as an example, that SSS^* is much faster than-. It is also demonstrated that SSS^* can be modified to make the required memory space controllable to some extent, while retaining the high efficiency of the original SSS^*.This research was partially supported by the Ministry of Education, Science and Culture of Japan, under a Scientific Grant-in-Aid.     

基于SD*lite的月球车任务规划算法

月球车任务规划是在给定初始位置和目标位置,满足月面地形约束、工作模式约束以及能量约束的前提下,规划出月球车最优的路径。设计了一种月球车任务规划的模型,提出了一种基于SD*lite算法的规划器,在原有SD*lite算法的基础上进一步考虑了对可用资源的限制;它可以协助月球车在考虑太阳能帆板的能量约束的条件下,合理避障最终达到目标点,使规划的轨迹更符合实际。