Miracle-dz/UniFAR-FTUs huggingface dataset:
Evaluation of an Efficient Approach for Target Tracking from Acoustic Imagery for the Perception System of an Autonomous Underwater Vehicle

This article describes the core algorithms of the perception system to be included within an autonomous underwater vehicle (AUV). This perception system is based on the acoustic data acquired from side scan sonar (SSS). These data should be processed in an efficient time, so that the perception system is able to detect and recognize a predefined target. This detection and recognition outcome is therefore an important piece of knowledge for the AUVs dynamic mission planner (DMP). Effectively, the DMP should propose different trajectories, navigation depths and other parameters that will change the robot's behaviour according to the perception system output. Hence, the time in which to make a decision is critical in order to assure safe robot operation and to acquire good quality data; consequently, the efficiency of the on-line image processing from acoustic data is a key issue. Current techniques for acoustic data processing are time and computationally intensive. Hence, it was decided to process data coming from a SSS using a technique that is used for radars, due to its efficiency and its amenability to on-line processing. The engineering problem to solve in this case was underwater pipeline tracking for routine inspections in the off-shore industry. Then, an automatic oil pipeline detection system was developed borrowing techniques from the processing of radar measurements. The radar technique is known as Cell Average – Constant False Alarm Rate (CA – CFAR). With a slight variation of the algorithms underlying this radar technique, which consisted of the previous accumulation of partial sums, a great improvement in computing time and effort was achieved. Finally, a comparison with previous approaches over images acquired with a SSS from a vessel in the Salvador de Bahia bay in Brazil showed the feasibility of using this on-board technique for AUV perception.
Classification des cancers broncho-pulmonaires (OMS 1999)

Un systeme de classification international est la fondation meme du diagnostic precis des tumeurs. des decisions therapeutiques et la pierre angulaire des etudes epidemiologiques et cliniques. Cette classification des tumeurs pulmonaires a ete developpee dans le respect des principes de reproductibilite, de signification clinique et de simplicite afin de minimiser le nombre des lesions inclassables. Des changements majeurs apparaissent dans la nouvelle classification de l'OMS (1999) en comparaison de la classification en vigueur jusqu'ici (OMS 1981). Ces changements majeurs concernent les lesions preneoplasiques avec une definition plus precise des differents degres de dysplasies bronchiques basee sur des criteres objectifs, et l'addition de deux lesions preneoplasiques, l'une consideree comme une lesion precurseur des adenocarcinomes (hyperplasie atypique alveolaire) (HAA), et l'autre comme une lesion potentiellement precurseur des carcinoides, l'hyperplasie neuroendocrine diffuse idiopathique. La classification en sous-types des adenocarcinomes a ete modifiee par une definition restrictive du carcinome bronchioloalveolaire a sa forme non invasive et l'addition des adenocarcinomes mixtes. Le concept du spectre de tumeurs neuroendocrines a ete revise et une tumeur neuroendocrine non precedemment decrite s'y est ajoutee : le carcinome neuroendocrine a grandes cellules, dont le pronostic se rapproche de celui du carcinome a petites cellules. La classe des carcinomes a grandes cellules s'est enrichie de deux variantes incluant le carcinome neuroendocrine a grandes cellules et le carcinome basaloide, qui presente un pronostic notoirement plus fâcheux que celui du carcinome malpighien. Enfin, une classe non definie precedemment, le carcinome pleomorphe, regroupe des proliferations caracterisees par un spectre evolutif entre les differenciations epitheliales mesenchymateuses dont la plus frequente est le carcinome pleomorphe, synonyme de carcinome sarcomatoide, cadre dans lequel se rangent les blastomes pulmonaires. Les techniques immunohistochimiques et la microscopie electronique conservent leur valeur pour le diagnostic et la sous-classification des tumeurs mais l'intention du pathologiste edifiant cette nouvelle classification etait de la rendre applicable dans tous le laboratoires de pathologie chirurgicale. La grande majorite des tumeurs pulmonaires peuvent en effet se classer par des criteres histo-marphologiques.
Stabilization of uncertain nonholonomic systems using adaptive backstepping technique

This paper presents a control strategy for stabilization of a class of nonholonomic systems in chained form with nonlinear drift uncertainties. Stabilizing control laws are developed for these systems based on the adaptive backstepping technique. The proposed control strategy guarantees that all the system states globally converge to the origin, and the estimated parameters are guaranteed to be bounded simultaneously. A switching control strategy is employed to overcome the uncontrollability caused by the zero initial condition of the x/sub 0/-subsystem. Simulation results demonstrate the global convergence of the proposed controllers.
Sinusoidal PWM Inverter fed Induction Motor Drive

Recent developments in power electronics and semiconductor technology have lead improvements in power electronic systems. A three-phase voltage source inverter provides variable voltage and frequency supply required by ac drives. For obtaining variable voltage supply pulse width modulation technique proves to be useful. Sinusoidal pulse width modulation is one of the popular techniques used for obtaining controlled output from inverters. In ac motor drives using SPWM inverters one can control both frequency and magnitude of the voltage and current applied to a motor. As a result, PWM inverter-powered motor drives are more variable and offer in a wide range better efficiency and higher performance when compared to fixed frequency motor drives. Three phase voltage-fed PWM inverters are gaining importance in various industrial applications. Sinusoidal Pulse Width Modulation variable speed drives are preferred in applications demanding superior performance . In this paper simulation and analysis of sinusoidal PWM Inverter fed Induction motor is carried out. The THD and fundamental voltage is measured at varying modulation indexes.
Using Design Paradigms to Evaluate the Collaborative

This paper provides a quantitative examination of the collaborative design process of traditional and digital media in terms of design paradigms. The representative coding schemes are design prototype and reflection-in-action. 20 sets of protocols are analyzed as the statistical basis. The major result is that the averaged position of Function-Behavior-Structure and the number of mature framing could be used as measurement for the quality of the collaborative design process, opening a new direction for protocol research.
Bayesian nonparameteric model reference adaptive control using Gaussian processes

Most current Model Reference Adaptive Control (MRAC) methods rely on parametric adaptive elements, in which the number of parameters of the adaptive element are fixed a-priori. For example, widely studied Radial Basis Function Network (RBFN) based MRAC approaches rely on RBFns with pre-allocated centers. Such preallocation requires prior knowledge of the expected operating domain. Hence, if the system operates outside of the expected operating domain due to faults or other unforeseen events, such adaptive elements can become non-effective. This results in only semi-global adaptive controllers. Building on our previous work, this paper presents an alternate view of modeling system uncertainties. We propose to use the Gaussian Process Bayesian Nonparametric (BNP) model which enables us to model uncertainties as distributions over functions. We have shown that these BNP adaptive elements guarantee good closed loop performance with minimal prior domain knowledge of the uncertainty through stochastic stability arguments. In this paper, we also present flight test validation of GP-MRAC. The results indicate that GP-MRAC overcomes the limitations of MRAC employing RBFN with fixed parameters and outperforms RBFN-MRAC in terms of tracking error and modeling the uncertainty.
Automatic Control of a Digital Reverberation Effect using Hybrid Models

Adaptive Digital Audio Effects are sound transformations controlled by features extracted from the sound itself. Artificial reverberation is used by sound engineers in the mixing process for a variety of technical and artistic reasons, including to give the perception that it was captured in a closed space. We propose a design of an adaptive digital audio effect for artificial reverberation that allows it to learn from the user in a supervised way. We perform feature selection and dimensionality reduction on features extracted from our training data set. Then a user provides examples of reverberation parameters for the training data. Finally, we train a set of classifiers and compare them using 10-fold cross validation to compare classification success ratios and mean squared errors. Tracks from the Open Multitrack Testbed are used in order to train and test our models.
Mobile Phone Based Portable Key Management

Laptops are easy to lose to leak sensitive data, storing data in encrypted file systems does not sufficiently solve this problem. To decrypt a file, such systems often need to require a user to manually provide keys each time, which is annoying and directly discourages users to protect sensitive data effectively. The paper first presents a Portable key (PK) scheme, which employs a mobile phone to manage keys/passwords of a laptop. The laptop automatically requests key material from the mobile phone through Bluetooth link if needed, which sets users free from manually providing keys/passwords frequently. A remote control protocol is also provided to guarantee the security in case the mobile phone is lost. Finally, the paper extends the BAN logic and gives the formal security analysis and implementation, formal analysis shows that the scheme is secure to some typical attacks; implementation shows that the scheme brings little additional load to both sides and the protocol is efficient and practical.
Evaluación cognitiva en 12 pacientes con enfermedad cerebelosa degenerativa pura

Introduccion. El cerebelo se ha asociado tradicionalmente con el aprendizaje y el control motor. Sin embargo, en las ultimas tres decadas se ha obtenido evidencia clinica y experimental que sugiere que el cerebelo podria intervenir en el procesamiento cognitivo no motor. Objetivo. Estudiar el rendimiento neuropsicologico de pacientes con enfermedad cerebelosa degenerativa pura no dementes. Pacientes y metodos. Se evaluaron 12 pacientes con enfermedad cerebelosa degenerativa pura, de causa hereditaria o de presentacion esporadica (edad: 40,42 ± 13,49 anos; educacion: 9,92 ± 3,99 anos; tiempo de evolucion: 12,13 ± 11,27 anos; MMSE: 26,75 ± 1,5) por medio de una bateria neuropsicologica estandarizada. Se calcularon puntuaciones normalizadas Z, que se compararon contra 0 mediante el empleo de pruebas de t de una muestra. Resultados. Se observaron alteraciones significativas en las pruebas de funcion ejecutiva, visuoespacial, memoria y atencion. En el test de Wisconsin se registro un numero significativo de errores perseverativos. Los fallos en memoria se caracterizaron por dificultades en el aprendizaje y la evocacion diferida, con buen desempeno en el reconocimiento del material presentado. Los deficit cognitivos no se correlacionaron con la gravedad del deficit motor elemental. Conclusiones. Los datos obtenidos sugieren la participacion del cerebelo en la modulacion de las funciones mentales. El mecanismo de las anormalidades cognitivas descrito en el presente trabajo podria relacionarse con una disrupcion de las conexiones cerebelosocorticales que incluyen a la region prefrontal y vinculadas al procesamiento de informacion relacionada con el control cognitivo.
Broadband satellite networks-the global IT bridge

Next-generation broadband satellite networks are being developed to carry bursty Internet and multimedia traffic in addition to the traditional circuit-switched traffic (mainly voice) on a global basis. These satellites provide direct network access for personal applications as well as interconnectivity to the terrestrial remote network segments. The main requirement in success of these networks is that they should be able to transmit high data rate traffic with prescribed quality of service (QoS). Thus, the broadband satellite network has no choice other than the rise of ATM technology and to be optimized for Internet-based traffic. ATM is the promising technology for supporting high-speed data transfer potentially suitable for all varieties of private and public telecommunications networks. IP, on the other hand is the fast-growing Internet layer protocol that is applicable over any data link layer Internet-based applications are the emerging source of traffic in the future wireless networks and broadband satellite networks should consider Internet as the primary service. In this paper, we discuss the traditional ATM and wireless ATM networks and explain the characteristics of the wireless IP networks. The paper then uses those concepts in defining the criteria for the broadband satellite networks such as the QoS and traffic management. Application of the broadband satellite networks is also proposed.
Fast Pattern-Matching Techniques for Packet Filtering

of the Thesis Fast Pattern-Matching Techniques for Packet Filtering by Alok S. Tongaonkar Master of Science in Computer Science Stony Brook University 2004 Packet filtering is used for selecting or classifying network packets in a variety of network applications such as routers and network monitors. Packet filters are typically specified using patterns. These patterns specify constraints on the values of different fields in the packets . The two key requirements in packet filtering are high performance and flexibility. High performance refers to the ability of the packet filtering system to quickly compare a packet with different patterns. Flexibility refers to the ability of the system to be easily applied for different filtering applications. Pattern matching is a well studied problem that has applications in various fields such as functional programming and rule-based systems. In this thesis we generalize and apply techniques from pattern matching to develop high performance packet filtering systems that can be used in a variety of applications such as intrusion detection systems and network monitors. The algorithm aims to minimize the matching time and space requirements of the generated packet filtering system. These factors are crucial in applications that are charecterized by large number of filters such as intrusion detection system. We discuss the implementation of this algorithm and present experimental results to demonstrate the scalability and performance of the algorithm.
Globalized Dual Heuristic Dynamic Programming in Control of Robotic Manipulator

The article focuses on the implementation of the globalized dual-heuristic dynamic programming algorithm in the discrete tracking control system of the three degrees of freedom robotic manipulator. The globalized dual-heuristic dynamic programming algorithm is included in the approximate dynamic programming algorithms family, that bases on the Bellman’s dynamic programming idea. These algorithms generally consist of the actor and the critic structures realized in a form of artificial neural networks. Moreover, the control system includes the PD controller, the supervisory term and an additional control signal. The structure of the supervisory term derives from the stability analysis, which was realized using the Lyapunov stability theorem. The control system works on-line and the neural networks’ weight adaptation process is realized in every iteration step. A series of computer simulations was realized in Matlab/Simulink software to confirm performance of the control system.
Solving constraint satisfaction problems by using coevolutionary genetic algorithms

In this paper, Coevolutionary Genetic Algorithm for solving Constraint Satisfaction Problems (CSPs) is proposed. It consists of two Genetic Algorithms (GAs): a traditional GA and another GA to search for good schemata in the former GA. These GAs evolve in two levels, i.e., phenotype-level and schema-level, and affect with each other through genetic operations. To search for solutions effectively, we devise new genetic operator by utilizing search mechanism of solution synthesis approach used in CSP community. Computational results on general CSPs confirm the effectiveness of our approach.
How Individual Differences and Task Load May Affect Feedback Use When Learning a New Task

The literature shows mixed findings regarding how much feedback is best for learning a task (cf. van Merriënboer & Sweller, 2005; Schmidt & Bjork, 1992). One model describes feedback specificity as resource dependent (McLaughlin, 2006). The current study provided a test of that model by including learners with high and low working memory on a managerial decision making task. The full study is ongoing, but pilot data indicate those with lower working memory capacity may not be able to fully utilize feedback they are given. Results are discussed and implications for future research provided.
Multifrequential Harmonic Balance Computations for a Multistage Compressor

To reduce the cost of unsteady flow simulations, a pseudo-spectral method (the so-called Time Spectral Method – TSM) has been proposed in the literature, which takes into account the flow time periodicity. Thanks to Fourier spectral analysis, the unsteady Navier-Stokes equations can be read as 2N+1 steady equations coupled by a source term. This approach has been implemented in the structured multiblock flow solver elsA . It efficiently computes unsteady flows and shows major improvements regarding the computational time (to a factor up to ten). However this method is only able to compute a flow field composed of one frequency and its harmonics in each blade row. The present work extends this method to a more general case in which the frequencies are not necessarily multiples of a base frequency. A multistage compressor is computed using increasing levels of complexity regarding the unsteady rows interactions. In the first step, two rows (a rotor and a stator) are modeled with an injection boundary condition accounting for the inlet guide vane wakes. Therefore, two fundamental frequencies are seen by the rotor. The influence of the frequency content in the rotor (i.e. number of harmonics of the blade passing frequencies and their combinations) is analyzed. The validation of the results is done against results obtained with classical time-marching URANS computations. Then the method is applied to the three-stage compressor CREATE.
Gaining design insight through interaction prototyping tools

Prototyping is the fundamental activity that structures innovation in design. While prototyping tools are now common for graphical user interfaces on personal computers, prototyping interactions for ubiquitous computing systems remains out of reach for designers. This dissertation contributes concepts and techniques, embodied in software and hardware artifacts, to answer two research questions: (1) How can design tools enable a wider range of designers to create functional prototypes of ubiquitous computing user interfaces? (2) How can design tools support the larger process of learning from these prototypes? Fieldwork at professional design companies showed that design generalists lack the tools to fluently experiment with interactions for sensor-based interfaces and information appliances. The first contribution of this dissertation is a set of methods, embodied in authoring tools, that lower the expertise threshold required to author such novel interfaces. These tools enable more designers to author a wider range of interfaces, faster. Visual authoring of control flow diagrams and plug-and-play hardware linked to software abstractions for hardware components enable rapid authoring of interaction logic. This dissertation also introduces programming by demonstration techniques for sensor-based interactions to derive high-level events from continuous sensor data streams. Enabling the construction of prototypes is an important function of design tools; however, it should not be the only goal. Prototypes are just a means to an end—they are built to elicit feedback about design choices. The second contribution of this thesis is a set of systems that explicitly support the design practices of exploration and iteration. Exploration is supported through enabling the creation of multiple, parallel user interface alternatives. The design-test-analysis loop of iterative design is supported through techniques for rapid review of user test data and techniques for revision of interaction diagrams. The presented work is informed by interviews and collaborations with professional interaction designers. The tools are evaluated through a combination of laboratory studies and deployments to interaction design students at Stanford and in industry.
编写搜索型Blind SQL Injection工具

SQL注入当前仍是攻击网站的主要手段之一，今年很多网站注意了这方面的防范．明显的GET型式的注入虽然修补了，但往往忽略了搜索框的数据过滤，使攻击者有机可乘。 不过对于盲注来说．手工非常麻烦，往往要提交成百上千次才能查询到想要的信息进入后台，强大的盲注工具sqlmap往往需要设置很多烦人的参数，我是一懒人，与其记别人的参数，还不如自己写一个．
A centralized approach for representing and resolving interactions among multi-agent tasks while planning hierarchically

The advantages of hierarchical planning for construction projects and the difficulties associated with implementing hierarchical planning systems using artificial intelligence techniques are described. Needed extensions to a state-of-the-art AI planning system are identified and its subsequent hierarchical planning capabilities are demonstrated on an example project. The system for interactive planning and execution (SIPE) is a powerful, domain-independent planning system, augmented with frame representation and deductive capabilities. However, its heuristics for plan generation initially failed to meet the requirements of hierarchical planning in the construction domain. Two key limitations in the original SIPE planner are identified and corrected. First, SIPE was unable to consider all possible orderings among parallel branches and therefore was unable to solve problems with mutual interaction among parallel subplans. Second, SIPE provided only a limited representation language for problems that involve coordinating the tasks of several different agents. <<ETX>>
Design of a flow integrating information system based on cloud computing

Vast amounts of data is collected into flow measurement system for the primary purpose of trade settlement, the fairness and justice of entire trade settlement system depends entirely on the integrity of the flow integrating system. Therefore, the role of flow integrating system is very important. Measurement equipment of traditional flow integrating system is very expensive, but the information release ability is poor and the operation and maintenance of the system is complex. To solve this problem, this paper design a flow integrating information system based on cloud computing technology. The design uses a cloud data centre based on Hadoop to manage massive data, cloud mathematical models to compute flow information and cloud application platform to publish the information to users. Actual operating data of Guangzhou Longxue shipyard shows that calculation error of the system is less than 0.1% with a very small delay time about 50 Ms when the amount of data is more than 1 million, and users can get information of the system through cloud applications conveniently and quickly.