Miracle-dz/UniFAR-FTUs huggingface dataset:
Numerical simulation of multiple effects due to convective clouds on satellite radar reflectivity at 14 and 35 GHz

Spaceborne precipitation radars are usually designed to operate at attenuating wavelengths, mostly at X, Ku and Ka band. At these frequencies and above, convective rainfall clouds can cause severe attenuation. Moreover, raindrops and precipitating ice can give rise to appreciable multiple scattered radiations which apparently tends to enhance the nominal attenuated reflectivity. In order to properly describe radar observations in such conditions, apparent reflectivity has to be modeled taking into account both path attenuation and incoherent effects. To this aim, a general definition of volume radar reflectivity is introduced and a Monte Carlo model of backscattered specific intensity is implemented. Spaceborne apparent reflectivity due to multiple scattering is shown to be significantly different from the attenuated one for the near-surface layers of mature convection at Ku band and even for growing convection at Ka band. A discussion about this discrepancy is carried out at Ku band showing its possible impact for estimated rainrate profiles. If precipitation incoherent effects are formally treated as perturbation factors of the specific attenuation model, constrained single-frequency inversion techniques are shown to be suitable to minimize rainrate retrieval errors due to multiple scattering.
The Design and Implementation of Moving Object Detecting Algorithm in Intelligent Video Surveillance

In view of the problems existed in moving object detection in video surveillance system, background subtraction method is adopted and combined with Surendra algorithm for background modeling, an algorithm of detecting moving object from video is proposed, and OpenCV programming is adopted in Visual c ++ 6.0 for implementation. Experimental results indicate that the algorithm can accurately detect and identify moving object in video by reading the image sequence of surveillance video, the validity of the algorithm is verified.
Efficient storage management for distributed storage system

As storage systems grow larger and more complex, the traditional block-based file systems cannot satisfy the large workload. More recent distributed file systems have adopted architectures based on object-based storage. This paper presents a framework of efficient storage management for distributed storage system. In object storage side, low-level storage tasks and data distribution must be managed and in metadata server side, we will manage how to scale the metadata. Due to the high space efficiency and fast query response, bloom filters have been widely utilized in recent storage systems. So, we will also utilize bloom-filter based approach to manage metadata by taking the advantages of bloom-filter and the semantic-based scheme will also be used to narrow the managed workload. In this paper, we will neglect the data distribution of object-based storage side.
Meaning and Grammar: An Introduction to Semantics

This self-contained introduction to natural language semantics addresses the major theoretical questions in the field. The authors introduce the systematic study of linguistic meaning through a sequence of formal tools and their linguistic applications. Starting with propositional connectives and truth conditions, the book moves to quantification and binding, intensionality and tense, and so on. To set their approach in a broader perspective, the authors also explore the interaction of meaning with context and use (the semantics-pragmatics interface) and address some of the foundational questions, especially in connection with cognition in general. They also introduce a few of the most accessible and interesting ideas from recent research to give the reader a bit of the flavor of current work in semantics. The organization of this new edition is modular; after the introductory chapters, the remaining material can be covered in flexible order. The book presupposes no background in formal logic (an appendix introduces the basic notions of set theory) and only a minimal acquaintance with linguistics. This edition includes a substantial amount of completely new material and has been not only updated but redesigned throughout to enhance its user-friendliness.
Research on Fast Community Detection Algorithm in Microblog

According to the problem of extracting the community structure of large networks, we propose a simple heuristic method based on community coding optimization. It is shown to outperform the InfoMap community detection method in terms of computation time. Experiments show that our method can find out various communities in microblog, which reveal the core structure of the network.
A data dependent approach to instruction level power estimation

The increasing diffusion of portable systems, like mobile computers and phones, or embedded computing applications has driven the need for power analysis and optimization in digital processors used in these systems. In modern CPUs, power estimation and optimization are "two strongly pattern dependent" problems. This means that the influence of the software in power consumption is very high and a power figure for whatever processor must be related to the running software program. Based on the recent techniques already described in literature, we propose a new instruction level power analysis approach, that tries to relate the power dissipation to the executed instructions and their operand values.
A Design-Oriented Specification Language for defining software requirements

The most common difficulty of requirements elicitation is to define all components and aspects of a project by using the natural language without ambiguities, weak phrases and useless descriptions which make project outlines chaotic. In this paper, we present the Design Oriented Specification Language (DOSLang) that aims at reducing the gap existing among the project stakeholders, which are involved into the requirements specification and comprehension activities. The DOSLang language provides a free-form syntax with the introduction of constructs helping project stakeholders to reducing the ambiguity during definitions, descriptions, todos, actions, constraints and all the other aspects related to requirement definition, without sacrificing the ability of specifying loops and conditional constructs, small sets of data type and multiplicity between 'entities'. The DOSLang compiler is designed to be able to create a common baseline, which the project stakeholders can use during the first phases of the project elicitation. DOSLang is suitable for any kind of project that requires a precise description of all of its aspects. Moreover the language was created keeping the possibility to be used by all people working in a project development: from business people to programmers, including customers.
Feature subimage extraction for cephalogram landmarking

The significant features corresponding to skull structures on cephalograms are clinically useful for cephalometric diagnosis and superimposition. Accordingly the specific anatomical landmarks need to be firstly located for cephalometric measurements. In this paper, a novel method combining the multilayer perceptron and genetic algorithm is proposed to extract the specific feature areas. Thus, the useful landmarks may then be easily found from these feature areas instead of the whole image. The multilayer perceptron is used to approximate a fitness function for the genetic algorithm. In each iteration, eighty randomly selected subimages are grouped as the population for a GA search. Based on the feature characteristics, the selected subimages with the best fitness will survive to the last. From the experimental results, it is shown that the proposed algorithm does work better than our previous method of correlation.
Prediction for RNA planar pseudoknots

Abstract Based on m-stems and semi-extensible structure, a model is presented to represent RNA planar pseudoknots, and corresponding dynamic programming algorithm is designed and implemented to predict arbitrary planer pseudoknots and simple non-planar pseudoknots with O(n4) time and O(n3) space. The algorithm folds total 245 sequences in the Pseudobase database, and the test results indicate that the algorithm has good accuracy, sensitivity and specificity. *Supported by National Natural Science Foundation of China (Grant Nos. 60573024 and 60573181), the Research Project of Shandong Economic University (01610784), and NSF of Shandong Provice (2005BS01014)
Automatic grid adaptation for unstructured finite volumes

An automatic grid refinement method is presented for the simulation of ship flows. It provides directional refinement of unstructured grids and derefinement of refined grids for unsteady simulation, it is fully parallel and includes automatic dynamic load balancing. Different refinement criteria are implemented. Results are presented that confirm the increased accuracy of solutions obtained on refined grids. Refinement around the water surface proves to be very effective for the simulation of strong breaking waves. A pressure gradient criterion is shown to detect the main features of a ship flow and to be able to generate effective fine grids in their entirety.
An application of model predictive control for a shipboard crane

Designing an effective controller for shipboard cranes by means of analytical methods is too complex, because of their highly nonlinear equations of motion. In this work we formulate the swinging suppression problem for a new structure of shipboard crane designed by Maryland research group. Then a feedforward control law to greatly decrease the load sway will be introduced. This feedforward control counteracts the effect of ship rolling on load sway based on measurements of ship rolling angle at each instant. The measurement errors and also sways caused by other disturbance sources are not taken into account by this feedforward control. Next, we describe the model predictive control (MPC) based nonlinear controller that is designed for this problem. The proposed controller uses an optimizer to find an open loop solution at each sampling interval for a given horizon, based on a model of the plant and an appropriately defined objective function. MPC acts as a feedback control that will compensate for shortcomings of the feedforward control. Details of the controller, the design process and the simulation results are presented.
Implementation of medical monitor system based on networks

In this paper, the development trend of medical monitor system is analyzed and portable trend and network function become more and more popular among all kinds of medical monitor devices. The architecture of medical network monitor system solution is provided and design and implementation details of medical monitor terminal, monitor center software, distributed medical database and two kind of medical information terminal are especially discussed. Rabbit3000 system is used in medical monitor terminal to implement security administration of data transfer on network, human-machine interface, power management and DSP interface while DSP chip TMS5402 is used in signal analysis and data compression. Distributed medical database is designed for hospital center according to DICOM information model and HL7 standard. Pocket medical information terminal based on ARM9 embedded platform is also developed to interactive with center database on networks. Two kernels based on WINCE are customized and corresponding terminal software are developed for nurse's routine care and doctor's auxiliary diagnosis. Now invention patent of the monitor terminal is approved and manufacture and clinic test plans are scheduled. Applications for invention patent are also arranged for two medical information terminals.
New quadratic programming algorithms for designing FIR digital filters

The Parks-McClellan algorithm (1973) is very popular for designing FIR digital filters. It is based on a linear programming algorithm called the Remez exchange. Our new algorithm is based on quadratic programming, which includes linear programming as a special case. The filters in this paper permit the designer to control the tradeoff between the peak error and the total squared error. These filters are designed according to the peak-constrained least-squares (PCLS) optimality criterion. <<ETX>>
Design and Application of Online Testing System Based on Fuzzy Mathematics

Nowadays, all kinds of technology advance swiftly and vigorously, especially computer technology. In such cases, the computerized test system emerges as the times demand. It will take the place of the traditional test by making use of the computer to manage and possess the item bank, organize the contents and evaluate the test paper. It is characterized in its convenience and fastness in setting a test paper, its speed and accuracy in evaluating the paper and its scientific analysis of the test paper. It is easier for teachers to set a test paper by the item bank system, and it will save a lot of labors in evaluating the test paper. It will greatly improve the accuracy in evaluation. The statistical analysis will be performed automatically by the computer, which will be convenient for students to inquiry about, print, count and analyze their marks. Then in analogy to manual assessment of the exam scripts, an algorithm, by using fuzzy theory to assess the subjective questions, is proposed and analyzed in detail. It is a useful attempt to try to solve the automatic subjective question assessment which would have to be done traditionally by manual effort.
Soldier's Radio

The need has been established by the US Army to provide the future soldier with computing and communications capabilities. This will entail providing the individual soldier with a pocket-size computer as well as a communications device for the transmission of both voice and data. These programs are known as Soldier's Computer and Soldier's Radio. The authors address the Soldier's Radio and many of the unique constraints, issues, factors, and opportunities that will drive the design of this system. Particular attention is given to the network architecture, information security, and operational frequency bands. <<ETX>>
Analysis of User Interactions in Online Social Networks

Online social networks allow people to communicate, interact, and share information on the Internet. Recently it has focused on user's interactions to recognize the weight of social graphs. In this paper, to find out effective factors on the strength of interactions between users, we surveyed the definition of online friends and analyzed communication interactions of Korean users of both Me2day and Twitter using the twi2me application. As a result, it turned out 60% of users thought offline strangers can be friends online, 32% of them easily accept requests of friendship. The number of private interactions in online is rare, which it should be given more weight to analyze the relationship strength. The trends of each interaction are varied according to the number of followers or friends and cultural backgrounds as well as characteristics of each social network. In the future, some kind of impact factor about user interactions will be calculated to analyze the semantics of the user relationship based on our results.
Illumination Recovery and Appearance Sampling for Photorealistic Rendering

This paper addresses two issues of image-based modeling for synthesizing photorealistic appearances of real objects under natural illumination conditions: capturing real-world illumination and modeling complex appearances of real objects for variable illumination. The appearance of an object changes significantly depending on its surface reflectance properties and the lighting condition of the scene in which it is placed. It is thus important to provide not only appropriate surface reflectance properties of an object in a scene but also natural illumination conditions of that scene so that a realistic appearance of the object can be synthesized under the provided natural illumination conditions. We first discuss an image-based approach and an inverse lighting approach for capturing and modeling real-world illumination. Then we shift our attention to how to model and synthesize complex appearances of real objects seen under natural illumination conditions.
Quality in Phrase Mining

Phrase snippets of large text corpora like news articles or web search results offer great insight and analytical value. While much of the prior work is focussed on efficient storage and retrieval of all candidate phrases, little emphasis has been laid on the quality of the result set. In this thesis, we define phrases of interest and propose a framework for mining and post-processing interesting phrases. We focus on the quality of phrases and develop techniques to mine minimal-length maximal-informative sequences of words. The techniques developed are streamed into a post-processing pipeline and include exact and approximate match-based merging, incomplete phrase detection with filtering, and heuristics-based phrase classification. The strategies aim to prune the candidate set of phrases down to the ones being meaningful and having rich content. We characterize the phrases with heuristicsand NLP-based features. We use a supervised learning based regression model to predict their interestingness. Further, we develop and analyze ranking and grouping models for presenting the phrases to the user. Finally, we discuss relevance and performance evaluation of our techniques. Our framework is evaluated using a recently released real world corpus of New York Times news articles.
A Hierarchical Algorithm for Multiphase Texture Image Segmentation

Image segmentation is a fundamental task for many computer vision and image processing applications. There exist many useful and reliable models for two-phase segmentation. However, the multiphase segmentation is a more challenging problem than two phase segmentation, mainly due to strong dependence on initialization of solutions. In this paper we propose a reliable hierarchical algorithm for multiphase texture image segmentation by making full use of two-phase texture models in a fuzzy membership framework. Application of the new algorithm to the synthetic and real medical imaging data demonstrate more satisfactory results than existing algorithms.
A family of robot control strategies for intermittent dynamical environments

A formalism is developed for describing and analyzing a very simple representation of a class of robotic tasks which require dynamical dexterity, among them the task of juggling. Empirical success has been achieved with a class of control algorithms for this task domain, called mirror algorithms. Using the formalism for representing the task domain, and encoding within it the desired robot behavior, it can be proven that a suitable mirror algorithm is correct with respect to a special task. Although the generation of algorithm geometry is completely heuristic at present, the analytical tractability of the resulting robot-environment closed loop, which is demonstrated, raises the hope that sufficient understanding may soon be realized to afford automatic translation of suitably expressed task definitions into provable correct empirically valid robot controller designs. <<ETX>>
Robust Voice Activity Detection Using the Spectral Peaks of Vowel Sounds

This letter proposes the use of vowel sound detection for voice activity detection. Vowels have distinctive spectral peaks. These are likely to remain higher than their surroundings even after severe corruption. Therefore, by developing a method of detecting the spectral peaks of vowel sounds in corrupted signals, voice activity can be detected as well even in low signal‐to‐noise ratio (SNR) conditions. Experimental results indicate that the proposed algorithm performs reliably under various noise and low SNR conditions. This method is suitable for mobile environments where the characteristics of noise may not be known in advance.
A full GPU implementation of a numerical method for simulating capsule suspensions

Although boundary element (BE) based methods are highly accurate for simulating capsule suspensions in Stokes flows, computational time has been a major issue, even when only a few capsules are simulated. We propose a full graphics processing unit (GPU) implementation of a numerical method coupling the BE method of fluid mechanics with the finite element method of membrane mechanics. In single GPU computing, the performance achieves 0.12 TFlop/s when computing one capsule (2562 nodes and 5120 elements) and 0.29 TFlop/s for two capsules. The performance increases with the number of capsules, achieving a maximum of 0.59 TFlop/s. We also implement a multi-GPU method with the data communication overlapping the computation. A weak scaling test shows perfect scalability for any number of computational nodes per GPU, indicating that the communication time is completely hidden. For a practical use of the present results, we estimate the computational time required for 10000 time steps. When we simulate one capsule and two capsules on one GPU, only 2.0 and 9.1 minutes are required to complete the simulation, respectively, and a simulation with 256 capsules on 16 GPUs takes 3.8 days.
Authenticity of authorship of scientific publications using latent semantic analysis

In this research, a latent semantic analysis is used to solve the problem of identifying authorship of scientific publications. It enables the identification of keywords related to a particular subject. It is proposed to use the keywords for identifying similar publications. This allows distinguishing publications of different authors with the same last names or even initials. Many scientometric databases contain records of publications with the same field “author”, but with completely different activities, sources, etc. As a result of the studies, it was found that publicationsof namesakes have a different set of keywords and, accordingly, different subject-matters. Applying the latent semantic analysis can be used to classify these publications, as well as highlighting the keywords, which bind to the author, in turn, enables determining his publications with some accuracy. The research results allow automating the creation of local databases of researchers with a list of their scientific papers.
Application of rubber artificial muscle manipulator as a rehabilitation robot

The application of robot to rehabilitation has become a matter of great concern. This study deals with an exercise for restoration of function being one of important rehabilitation tasks. An exercise of single joint has already been achieved with some automatically controlled machines. Now, the multijoint exercise becomes desirable, which requires the exercise robot with multi ple degrees of freedom to generate more realistic motion pattern. This kind of robot has to be absolutely safe for humans. A pneumatic calculator may be so effective for such a robot because of the flexibility from air compressibility that a rubber artificial muscle manipulator pneumatically driven is applied to construct the exercise robot with two degrees of freedom. Also an impedance control strategy is employed to realize various exercise motion modes. Further, an identification method of the recovery condition is proposed to execute the effective rehabilitation. Some experiments show the availability of proposed rehabilitation robot system.