160 research outputs found
LE FORT I osteotomisinde pterigomaksiller ayrılma paternlerinin geriye dönük değerlendirilmesi
No full textNumerical Modelling of Wave Interaction with Floating structures and Moored Floating Structures
No full textCFD model is new generation tool in design and engineering challenges. The thesis task was to use CFD model to perform validation of the 6DOF algorithm and the mooring model. The obtained results were successful
Learning Program Models from Generated Inputs
No full textRecent advances in Machine Learning (ML) show that Neural Machine Translation (NMT) models can mock the program behavior when trained on input-output pairs. Such models can mock the functionality of existing programs and serve as quick-to-deploy reverse engineering tools. Still, the problem of automatically learning such predictive and reversible models from programs needs to be solved. This work introduces a generic approach for automated and reversible program behavior modeling. It achieves 94% of overall accuracy in the conversion of Markdown-to-HTML and HTML-to-Markdown markups
Numerical Modelling of Wave Interaction with Floating structures and Moored Floating Structures
No full textCFD model is new generation tool in design and engineering challenges. The thesis task was to use CFD model to perform validation of the 6DOF algorithm and the mooring model. The obtained results were successful
Learning Program Models from Generated Inputs
No full textRecent advances in Machine Learning (ML) show that Neural Machine Translation (NMT) models can mock the program behavior when trained on input-output pairs. Such models can mock the functionality of existing programs and serve as quick-to-deploy reverse engineering tools. Still, the problem of automatically learning such predictive and reversible models from programs needs to be solved. This work introduces a generic approach for automated and reversible program behavior modeling. It achieves 94% of overall accuracy in the conversion of Markdown-to-HTML and HTML-to-Markdown markups
Cooperative dancing with an industrial manipulator: Computational cybernetics complexities
No full textTural, Kübra (Dogus Author) -- Tükel, Dilek Bilgin (Dogus Author) -- Conference full title: 2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016; Budapest; Hungary; 9 October 2016 through 12 October 2016.Synchronization of music and dance of industrial manipulators is studied, simulated and realized. The results are shown in this paper. To formulate the dance, a modified Labanotation software has been developed, and a user-friendly human-machine interface is designed to enable the user to program the robot easily. The system is incorporated with a music analyzer, employing Fast Fourier Transform, to track the beats. The robot dances in synchrony with the input from the music analyzer. Experiments are done on a six degree-of-freedom industrial robot
Two-way coupled aerodynamics and vehicle dynamics simulations of a heavy ground vehicle subjected to crosswind of various frequencies
No full textThe present study investigates the dynamic characteristics of a heavy ground vehicle subjected to crosswind with various frequencies using two-way coupled simulations between aerodynamics and vehicle dynamics, including the driver's steering inputs. Four different reduced frequencies of crosswind, which are equal to 4.2, 2.1, 1.3 and 0.9, are used. The results show that the absolute maximum magnitudes of the vehicle's lateral dynamic and aerodynamic characteristics increase inversely proportional with the reduced frequencies of crosswinds without the driver's steering input. However, when the driver's steering input is included in the vehicle's response to the crosswind disturbances, the vehicle's lateral dynamic characteristics increase by the largest amount for reduced frequencies of 1.3 and 2.1. Furthermore, for a reduced frequency of 0.9, the driver's steering inputs attenuate the unfavourable amplifications in the vehicle's lateral dynamic characteristics. In the present study, the reasons for the increase in the vehicle's lateral dynamic characteristics in the cases of reduced frequencies equal or greater than 1.3 with the driver's steering input are explained. Additionally, the results show that the vehicle is not controlled within the 0.5 m lateral margins of the road when the steering starts with a time delay of 1.0 s for reduced frequencies equal to or lower than 2.1.Swedish Innovation Agency Vinnova [2017-03391]; Centre for ECO2 Vehicle Design at KTH (Vinnova) [2016-05195]; Vinnova [2017-03391] Funding Source: Vinnova; Swedish Research Council [2016-05195] Funding Source: Swedish Research CouncilThe author(s) disclosed receipt of the following financial support for the research, authorship, and/or publication of this article: The author would like to gratefully acknowledge the co-funding he has received for this work from the Swedish Innovation Agency Vinnova (grant number 2017-03391) and the Centre for ECO2 Vehicle Design at KTH (itself funded by Vinnova grant number 2016-05195)
Множественная роль инфраструктуры железнодорожных станции – просмотр на трех концепциях (Multiple role of railway stations infrastructure - view on three concepts)
No full textDue to the growth of the urban population in the world, the fact of densification in cities has increased. As a result of this reality, the issue of lack of physical space in cities emerges. In this sense, the author highlight the importance of sustainable and multifunctional use of the city infrastructure, especially of the railway stations. The author mentioned three practical examples in different French cities: The Saint-Lazare railway station in Paris as an example of “Shopping centre and Railway station” concept, the Strasbourg's Railway station “Environment and Railway station”, Lyon's railway station Part Dieu and Geneva's Railway station “Cornavin” as an example of the concept “Intermodal Hub and Railway station”
Learning Program Behavioral Models from Synthesized Input-Output Pairs
No full textWe introduce Modelizer - a novel framework that, given a black-box program,
learns a _model from its input/output behavior_ using _neural machine
translation_. The resulting model _mocks_ the original program: Given an input,
the model predicts the output that would have been produced by the program.
However, the model is also _reversible_ - that is, the model can predict the
input that would have produced a given output. Finally, the model is
_differentiable_ and can be efficiently restricted to predict only a certain
aspect of the program behavior.
Modelizer uses _grammars_ to synthesize inputs and to parse the resulting
outputs, allowing it to learn sequence-to-sequence associations between token
streams. Other than input and output grammars, Modelizer only requires the
ability to execute the program.
The resulting models are _small_, requiring fewer than 6.3 million parameters
for languages such as Markdown or HTML; and they are _accurate_, achieving up
to 95.4% accuracy and a BLEU score of 0.98 with standard error 0.04 in mocking
real-world applications. We foresee several _applications_ of these models,
especially as the output of the program can be any aspect of program behavior.
Besides mocking and predicting program behavior, the model can also synthesize
inputs that are likely to produce a particular behavior, such as failures or
coverage.Comment: 42 pages, 6 figures, 8 table
Agricultural technology adoption by rural farmers in Malawi: A case study of a Small Enterprise in Malawi
No full textThe implementation of new agricultural technologies is considered a key component of Malawi’s agricul- tural development strategy. However, successful technology adoption has proven to be difficult, affecting both farmers and small businesses introducing the technology. With a primary focus on farmers interested in adopting the technology, common factors influencing farmers’ adoption habits are determined by con- ducting interviews and observations. Survey results indicate that from a farmers perspective; market ac- cess, information access, education, and affordability are key factors helping facilitate adoption, while lack of these factors hinder adoption. Insight into these factors could provide business knowledge on how to better facilitate technology adoption. For this purpose, literature factors affecting a SME’s success are compared with an active agricultural technology company. These factors include experience, communication, man- agement and technology performance. Using both farmers needs and business developmental factors, this study hopes to provide insights for new companies starting a business in a developing country.Multidiciplinairy projec
- …
