二维封闭空间中自然对流的数值分析

本文应用全区域计算和利用点对称性的半区域计算两种方法对二维封闭空间中的自然对流进行了数值分析．讨论了雷利数对流场和温度场的影响．并从改善计算方法出发，对两种方法的计算精度和计算速度作了分析比较．

倾角较小热面向上平板自然对流边界层转变点Ra的确定

用分析流体不稳定性的方法对热面向上倾角较小平板自然对流边界层转变点Ra进行分析。获得了Ra值在目前所公认的数值范围之内。

Mining User Interest in Microblogs with a User-Topic Model

Microblogs have become an important platform for people to publish,transform information and acquire knowledge.This paper focuses on the problem of discovering user interest in microblogs.In this paper,we propose a topic mining model based on Latent Dirichlet Allocation(LDA) named user-topic model.For each user,the interests are divided into two parts by different ways to generate the microblogs:original interest and retweet interest.We represent a Gibbs sampling implementation for inference the parameters of our model,and discover not only user's original interest,but also retweet interest.Then we combine original interest and retweet interest to compute interest words for users.Experiments on a dataset of Sina microblogs demonstrate that our model is able to discover user interest effectively and outperforms existing topic models in this task.And we find that original interest and retweet interest are similar and the topics of interest contain user labels.The interest words discovered by our model reflect user labels,but range is much broader.

Semantic Knowledge Acquisition from Blogs with Tag-Topic Model

This paper focuses on semantic knowl- edge acquisition from blogs with the proposed tag- topic model. The model extends the Latent Dirichlet Allocation （LDA） model by adding a tag layer be- tween the document and the topic. Each document is represented by a mixture of tags; each tag is as- sociated with a multinomial distribution over topics and each topic is associated with a multinomial dis- trNution over words. After parameter estimation, the tags are used to descrNe the underlying topics. Thus the latent semantic knowledge within the top- ics could be represented explicitly. The tags are treated as concepts, and the top-N words from the top topics are selected as related words of the con- cepts. Then PMI-IR is employed to compute the re- latedness between each tag-word pair and noisy words with low correlation removed to improve the quality of the semantic knowledge. Experiment re- sults show that the proposed method can effectively capture semantic knowledge, especially the polyse- me and synonym.

Self-Adaptive Topic Model： A Solution to the Problem of ＂Rich Topics Get Richer＂

The problem of "rich topics get richer"(RTGR) is popular to the topic models,which will bring the wrong topic distribution if the distributing process has not been intervened.In standard LDA(Latent Dirichlet Allocation) model,each word in all the documents has the same statistical ability.In fact,the words have different impact towards different topics.Under the guidance of this thought,we extend ILDA(Infinite LDA) by considering the bias role of words to divide the topics.We propose a self-adaptive topic model to overcome the RTGR problem specifically.The model proposed in this paper is adapted to three questions:(1) the topic number is changeable with the collection of the documents,which is suitable for the dynamic data;(2) the words have discriminating attributes to topic distribution;(3) a selfadaptive method is used to realize the automatic re-sampling.To verify our model,we design a topic evolution analysis system which can realize the following functions:the topic classification in each cycle,the topic correlation in the adjacent cycles and the strength calculation of the sub topics in the order.The experiment both on NIPS corpus and our self-built news collections showed that the system could meet the given demand,the result was feasible.

GF-3 data real-time processing method based on multi-satellite distributed data processing system

Due to the limited scenes that synthetic aperture radar(SAR)satellites can detect,the full-track utilization rate is not high.Because of the computing and storage limitation of one satellite,it is difficult to process large amounts of data of spaceborne synthetic aperture radars.It is proposed to use a new method of networked satellite data processing for improving the efficiency of data processing.A multi-satellite distributed SAR real-time processing method based on Chirp Scaling(CS)imaging algorithm is studied in this paper,and a distributed data processing system is built with field programmable gate array(FPGA)chips as the kernel.Different from the traditional CS algorithm processing,the system divides data processing into three stages.The computing tasks are reasonably allocated to different data processing units(i.e.,satellites)in each stage.The method effectively saves computing and storage resources of satellites,improves the utilization rate of a single satellite,and shortens the data processing time.Gaofen-3(GF-3)satellite SAR raw data is processed by the system,with the performance of the method verified.

Global Exact Boundary Controllability for Cubic Semi-linear Wave Equations and Klein-Gordon Equations

The authors prove the global exact boundary controllability for the cubic semilinear wave equation in three space dimensions,subject to Dirichlet,Neumann,or any other kind of boundary controls which result in the well-posedness of the corresponding initial-boundary value problem.The exponential decay of energy is first established for the cubic semi-linear wave equation with some boundary condition by the multiplier method,which reduces the global exact boundary controllability problem to a local one.The proof is carried out in line with [2,15].Then a constructive method that has been developed in [13] is used to study the local problem.Especially when the region is star-complemented,it is obtained that the control function only need to be applied on a relatively open subset of the boundary.For the cubic Klein-Gordon equation,similar results of the global exact boundary controllability are proved by such an idea.

Liouville type theorems for Schrdinger systems

We study positive solutions to the following higher order SchrSdinger system with Dirichlet boundary conditions on a half space： where a is any even number between 0 and n. This PDE system is closely related to the integral system where G is the corresponding Green＇s function on the half space. More precisely, we show that every solution to （0.2） satisfies （0.1）, and we believe that the converse is also true. We establish a Liouville type theorem the non-existence of positive solutions to （0.2） under a very weak condition that u and v are only locally integrable. Some new ideas are involved in the proof, which can be applied to a system of more equations.