Temat: Matlab-Simulink - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Artificial neural networks as models neuronal electronic state offices
Autorzy:: Tchórzewski, J.
Leszko, K.
Powiązania:: https://bibliotekanauki.pl/articles/95129.pdf
Data publikacji:: 2015
Wydawca:: Szkoła Główna Gospodarstwa Wiejskiego w Warszawie. Wydawnictwo Szkoły Głównej Gospodarstwa Wiejskiego w Warszawie
Tematy:: e-document
office
repository
artificial neural networks
neural modelling
MATLAB and Simulink
e-dokument
sztuczne sieci neuronowe
Matlab
Simulink
modelowanie neuronowe
urząd administracji publicznej
Opis:: The paper presents selected results of research on learning design and artificial neural network (ANN) models paperless office as a state defined as a document repository. A review of selected issues on artificial neural network, and environments to support their generation and learning. In particular, attention was drawn to the new modeling capabilities leading to obtaining neural models of electronic systems. Artificial neural network is designed and taught her electronic office model based on the size of the input 11 and 9 variables, par 72 trainees on the actual size of government agencies for the year 2007. The model was obtained in MATLAB and Simulink and using the Neural Network Toolbox. Showing the possibilities of using the model to test sensitivities and simulation in Simulink.
Źródło:: Information Systems in Management; 2015, 4, 3; 219-227
2084-5537
2544-1728
Pojawia się w:: Information Systems in Management
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Machine vibrations with more degrees of freedom
Autorzy:: Vondřich, J.
Thöndel, E.
Powiązania:: https://bibliotekanauki.pl/articles/1429159.pdf
Data publikacji:: 2008
Wydawca:: Wrocławska Rada Federacji Stowarzyszeń Naukowo-Technicznych
Tematy:: Matlab
Simulink
vibration
machine
Opis:: Rigid mounting of machines to a solid base is one of the requirements for high performance and quality of production. Machine vibrations occur as a result of unbalanced revolving masses, loading forces and moments, starting and coasting of driving motors and other effects. We try to eliminate these undesirable vibrations by suitable mounting of the machine and its parts as much as possible. Suitable mounting of the machine is possible using components such as torsion springs, pneumatic springs, rubber pads or other components. The article describes numerical calculation of optimal displacements the machine for the given his parameters.
Źródło:: Journal of Machine Engineering; 2008, 8, 4; 80-87
1895-7595
2391-8071
Pojawia się w:: Journal of Machine Engineering
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Optimization of Mounting of a Machine and its Parts
Autorzy:: Vondrich, J.
Havlicek, R.
Powiązania:: https://bibliotekanauki.pl/articles/971107.pdf
Data publikacji:: 2008
Wydawca:: Wrocławska Rada Federacji Stowarzyszeń Naukowo-Technicznych
Tematy:: Matlab
Simulink
air spring
machine
Opis:: Frequency dependence values of input or mutual mechanical impedances of vibrating machines and their parts can be measured using an impedance hammer and a two-channel frequence analyzer. The knowledge of the frequency response of mechanical impedance provides for the determination of properties of vibration energy transmission in the structure of the machine based on which it is possible to adjust the mounting arrangement of the machine and its parts in order to attenuate vibrations. The obtained data concerning the dynamicbehaviour of the machine then serve as a basic for a proper design and implementation of elastic mounting of the machine and its parts on damping elements which attenuate unwanted vibrations to the minimum. The design consists in assembling a model of the machine assuming that elastic mounting has been provided for, describing the model using equations of montion and elaborating their numerical solution. An efficient damping arrangement is achieved by mounting the vibrating parts of the machine using air springs. The air pressure in the air springs can be regulated according to deflections of the individual machine parts measured by accelerometers using a control element. The numeric solution provides for determination of values of stiffness coefficients k and damping coefficient c which would be optimal for the specified machine parameters in order to minimise the defections of the individual machine parts.
Źródło:: Journal of Machine Engineering; 2008, 8, 1; 123-129
1895-7595
2391-8071
Pojawia się w:: Journal of Machine Engineering
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 4.

Tytuł:: Modeling of photovoltaic modules in Simulink and Simscape packages of Matlab software
Autorzy:: Sarniak, M.
Powiązania:: https://bibliotekanauki.pl/articles/411273.pdf
Data publikacji:: 2017
Wydawca:: Polska Akademia Nauk. Oddział w Lublinie PAN
Tematy:: photovoltaic
mathematical model
MATLAB
Simulink
SIMSCAPE
fotowoltaika
model matematyczny
SIMULINK
Opis:: The paper presents the possibilities of modeling the functioning of photovoltaic modules in MATLAB engineering software packages. In SIMULINK package one implemented a single-mode mathematical model of the photovoltaic module for determining current-voltage characteristics. The model was verified for manufacturer-supplied data and actual measurement results made with the I-V 400 meter. The new capabilities for physical modeling of photovoltaic modules are also available in the SIMSCAPE package. Simulation results obtained from the SIMSCAPE model were also compared with the results of selected measurements under the specified radiation and temperature conditions.
Źródło:: ECONTECHMOD : An International Quarterly Journal on Economics of Technology and Modelling Processes; 2017, 6, 1; 133-138
2084-5715
Pojawia się w:: ECONTECHMOD : An International Quarterly Journal on Economics of Technology and Modelling Processes
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 5.

Tytuł:: Sliding mode control system for an active current converter
Autorzy:: Efimov, Aleksandr
Nerć, Arkadiusz
Powiązania:: https://bibliotekanauki.pl/articles/24202507.pdf
Data publikacji:: 2022
Wydawca:: Akademia Morska w Szczecinie. Wydawnictwo AMSz
Tematy:: ACC
ACS
SMC of ACC
DRNOC
MATLAB
Simulink
Opis:: In this study, a functional diagram for an automatic sliding mode control system for a three-phase bridge buck current converter was developed. To achieve this, a simulation program was created in MATLAB/Simulink which analyzed the dynamic performance of the developed automatic control system, operating in the active rectifier and network current inverter modes. The results present the mathematical modeling outputs, along with the analyzed control algorithm and the automatic control system of the buck current converter evaluated.
Źródło:: Zeszyty Naukowe Akademii Morskiej w Szczecinie; 2022, 69 (141); 37--44
1733-8670
2392-0378
Pojawia się w:: Zeszyty Naukowe Akademii Morskiej w Szczecinie
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 6.

Tytuł:: Kinematic analysis of the finger exoskeleton using MATLAB/Simulink
Autorzy:: Nasiłowski, K.
Awrejcewicz, J.
Lewandowski, D.
Powiązania:: https://bibliotekanauki.pl/articles/307115.pdf
Data publikacji:: 2014
Wydawca:: Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:: kinematyka
egzoszkielet
palec
MATLAB
Simulink
kinematic
finger
exoskeleton
Opis:: A paralyzed and not fully functional part of human body can be supported by the properly designed exoskeleton system with motoric abilities. It can help in rehabilitation, or movement of a disabled/paralyzed limb. Both suitably selected geometry and specialized software are studied applying the MATLAB environment. A finger exoskeleton was the base for MATLAB/Simulink model. Specialized software, such as MATLAB/Simulink give us an opportunity to optimize calculation reaching precise results, which help in next steps of design process. The calculations carried out yield information regarding movement relation between three functionally connected actuators and showed distance and velocity changes during the whole simulation time.
Źródło:: Acta of Bioengineering and Biomechanics; 2014, 16, 3; 129-134
1509-409X
2450-6303
Pojawia się w:: Acta of Bioengineering and Biomechanics
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 7.

Tytuł:: Development of Fiber-Optic Sensors System, Based on Fiber Bragg Gratings
Autorzy:: Kalizhanova, Aliya
Kunelbayev, Murat
Wojcik, Waldemar
Kozbakova, Ainur
Aitkulov, Zhalau
Malikova, Feruza
Powiązania:: https://bibliotekanauki.pl/articles/2202138.pdf
Data publikacji:: 2022
Wydawca:: Polskie Towarzystwo Inżynierii Ekologicznej
Tematy:: fiber Bragg grating
sensor
deformation
temperature
modeling
MATLAB
Simulink
Opis:: An article herein considers the development of a fiber-optic sensor system, based on fiber Bragg gratings. Presently, fiber-optic sensors has become world-widely known amongst sensor technologies, used for monitoring engineering and construction structures. The work is linked with developing the system from fiber-optic sensors on the basis of fiber optic gratings, its characteristics, deformation behavior and temperature, acting at fiber Bragg grating by means of computer modeling. The research is focused at the analysis of characteristics and deformation and temperature behavior of fiber-optic Bragg sensor. Fiber-optic Bragg sensor with tilted grating is used for measuring deformation of the object, the strength of which is changed, dependent on the applied force, as well, for measuring and detecting any temperature deviations, influencing at fiber Bragg grating, which might bring to fire and accidents. In the research, simulation modeling there was made in the MATLAB (Simulink) software.
Źródło:: Journal of Ecological Engineering; 2022, 23, 10; 98--106
2299-8993
Pojawia się w:: Journal of Ecological Engineering
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 8.

Tytuł:: Systemy wbudowane do celów pomiarowo-kontrolnych w motoryzacji. Proces projektowania i wstępnej diagnostyki
Embedded systems dedicated to measurement and control in the automotive industry. The design process and the initial diagnosis
Autorzy:: Bień, A.
Rzeszutko, J.
Szymański, T.
Powiązania:: https://bibliotekanauki.pl/articles/155510.pdf
Data publikacji:: 2014
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: AUTOSAR
Matlab
modelowanie
model V
Simulink
TargetLink
TPT
MIL
SIL
PIL
SPICE
MATLAB
V-model
Opis:: W artykule zaprezentowano nowoczesne metody tworzenia aplikacji dla systemów wbudowanych do celów kontrolno-pomiarowych w przemyśle motoryzacyjnym. Przedstawiono podstawy procesu powstania oprogramowania zgodnego ze standardem SPICE. Opisano także wyzwania stojące obecnie przed programistami oraz współcześnie stosowane narzędzia do ich rozwiązywania. Artykuł prezentuje również symulację przykładowego modelu funkcjonalnego zaimplementowanego w środowisku Matlab.
Two types of verification methods, i.e. MIL & SIL, are provided by TargetLink. In the current circumstances, due to higher car electrification, the complexity of the software developed for automotive industry is increased. This situation forces investments in new solutions and programming tools for the development and maintenance of the source code. This paper describes the foundations of software development compliant with the SPICE standard and its well-known model implementation, i.e. V Model (Fig. 1.). The authors focused on the description of the concept behind the application development with the aid of functional models (Fig. 5). Those models are designed in the MATLAB environment, followed by the automatic source code generation using TargetLink, which complies with the AUTOSAR standard. This standard allows automated model integration (applicable to functionalities, e.g. control of windscreen wipers or electric windows). Once designed and tested, the model can be reused in many other projects, which guarantees the identical functionality regardless of the chosen system architecture. This paper describes the simulation example of a model responsible for the car ambient temperature measurement. (Figs. 4, 5). In addition, the simulation covers the operation of the model. The simulation results are shown in Figs. 8 and 9. In order to perform runtime checks of the generated code for any faults, the authors used two types of verification methods provided by TargetLink, i.e. Model In the Loop & Software In the Loop.
Źródło:: Pomiary Automatyka Kontrola; 2014, R. 60, nr 8, 8; 655-659
0032-4140
Pojawia się w:: Pomiary Automatyka Kontrola
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 9.

Tytuł:: Sterowanie parkowaniem pojazdu z wykorzystaniem logiki rozmytej
Vehicle parking control with fuzzy logic
Autorzy:: Nowak, A.
Regulski, R.
Powiązania:: https://bibliotekanauki.pl/articles/276495.pdf
Data publikacji:: 2013
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: logika rozmyta
parkowanie
MATLAB
Simulink
LEGO Mindstorms
fuzzy logic
parking
Opis:: Artykuł dotyczy problemu automatycznego parkowania pojazdu oraz sterowania wykorzystującego zasady logiki rozmytej. Przedstawiono istotę zagadnienia i zastosowane uproszczenia. Opracowano model symulacyjny w programie MATLAB/Simulink i wizualizację procesu, pozwalające na przeprowadzenie eksperymentów dotyczących parkowania i sterowania rozmytego. Baza reguł sterownika logiki rozmytej została wygenerowana automatycznie na podstawie danych numerycznych w oparciu o algorytm Wang+. Przeprowadzono dodatkowe eksperymenty badające wpływ zmian w strukturze sterownika na jakość parkowania. Na podstawie tego sterownika zaprojektowano stanowisko laboratoryjne, wykorzystując zestaw LEGO Mindstorms.
The article concerns the automatic parking of a vehicle problem and control that uses fuzzy logic rules. It presents the essence of the issue and used simplifications. The simulation in MATLAB/Simulink program and visualization of the process were elaborated, allowing to execute experiments concerning parking and fuzzy control. Rule base of the fuzzy logic controller was automatically generated with numerical data, based on the Wang+ algorithm. Additional experiments were made to check influence of changing controller structure on parking quality. It is designed educational exercise, based on the controller and LEGO Mindstorms set.
Źródło:: Pomiary Automatyka Robotyka; 2013, 17, 2; 351-358
1427-9126
Pojawia się w:: Pomiary Automatyka Robotyka
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 10.

Tytuł:: Modelowanie i weryfikacja złożonych układów cyfrowych z wykorzystaniem środowiska MATLAB i Simulink
Complex Digital Circuits Verification with use of MATLAB and Simulink
Autorzy:: Milik, A.
Powiązania:: https://bibliotekanauki.pl/articles/156276.pdf
Data publikacji:: 2008
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: symulacja
symulacja wspólna
modelowanie
MATLAB
Simulink
simulation
co-simulation
modeling
Opis:: Artykuł przedstawia metodę połączenia środowiska modelowania matematycznego MATLAB oraz Simulink ze środowiskiem przeznaczonym do modelowania systemów cyfrowych opartym na symulatorze zgodnym z normami języków Verilog i VHDL. Zaproponowane rozwiązania umożliwiają łatwą weryfikację i projektowanie urządzeń cyfrowych z wykorzystaniem podejścia algorytmicznego.
The paper presents methodologies of interfacing a standard HDL simulation environment to MATLAB and Simulink environments. Two co-simulation environments are considered for MATLAB and Simulink respectively. There are several factors that must be resolved before smooth and efficient cosimulation is possible. In case of complex circuits performance is extremely important factor. There are considered problems of time synchronization, data conversion and communication between two different simulation environments. As simulator kernels are inaccessible for modification the optimization can only be introduced to linking library.
Źródło:: Pomiary Automatyka Kontrola; 2008, R. 54, nr 8, 8; 569-571
0032-4140
Pojawia się w:: Pomiary Automatyka Kontrola
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 11.

Tytuł:: Modele rozwoju krajowego systemu elektroenergetycznego w ujęciu teorii sterowania i systemów
Development models of the national power system approach control theory and systems
Autorzy:: Tchórzewski, J.
Powiązania:: https://bibliotekanauki.pl/articles/376162.pdf
Data publikacji:: 2014
Wydawca:: Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:: identyfikacja
modele rozwoju
przestrzeń stanów
rozwój systemu elektroenergetycznego
MATLAB
Simulink
Opis:: Do identyfikacji Krajowego Systemu Elektroenergetycznego (KSE) wykorzystano podstawy teorii sterowania i systemów oraz teorii identyfikacji rozwoju systemów, co umożliwiło wygenerowanie odpowiednich modeli rozwoju, w tym modeli matematycznych rozwoju w postaci macierzy th oraz równań w przestrzeni stanów (ss). Następnie na tej podstawie opracowano systemowy model rozwoju KSE, który zaimplementowano w Simulink’u, definiując kolejne bloki modelu jako charakterystyki poszczególnych podsystemów KSE, zidentyfikowanych w środowisku MATLAB z wykorzystaniem System Identification Toolboxa oraz transformowanych na postać modeli w przestrzeni stanów za pomocą Control System Toolboxa. W wyniku rozwiązania układu równań zmiennych stanu z wykorzystaniem m-pliku w środowisku MATLAB otrzymano trzy zmienne stanu. Następnie na bazie otrzymanego rozwiązania uzyskano w Simulinku odpowiedzi systemu KSE (zmiennej wyjściowej y₁) na wymuszenia typu: skok jednostkowy 1(θ), impuls Diraca δ(θ) oraz funkcja sin(θ). Wyniki badań zinterpretowano.
To identify the National Power System (NPS) was used basics of control theory and systems theory identification and development of systems, allowing the generation of relevant models of development, including the development of mathematical models in the form of a matrix th and equations in the state space (ss). Then, on this basis, a system model of the development of NPS, which was implemented in Simulink defining successive blocks of the model as the characteristics of each sub-NPS, identified in the MATLAB environment using the System Identification Toolbox, and transformed in the form of models in state space using the Control System Toolbox. As a result of solving the system of equations of state variables using the m- file in the MATLAB environment was obtained three state variables. Then, on the basis of the obtained solution was obtained in Simulink system response NPS (output variable y1) to enforce type: step - 1(θ) , the Dirac impulse δ(θ) and the function sin(θ). The results were interpreted.
Źródło:: Poznan University of Technology Academic Journals. Electrical Engineering; 2014, 78; 17-25
1897-0737
Pojawia się w:: Poznan University of Technology Academic Journals. Electrical Engineering
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 12.

Tytuł:: Novel genetic optimization of membership functions of fuzzy logic for speed control of a direct current motor for hardware applications in FPGAs
Autorzy:: Maldonado, Y.
Castillo, O.
Melin, P.
Powiązania:: https://bibliotekanauki.pl/articles/385131.pdf
Data publikacji:: 2010
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: genetic algorithms
fuzzy
controller
MATLAB
Simulink
Xilinx System Generator
VHDL
FPGA
Opis:: This paper proposes a novel method for genetic optimi zation of triangular and trapezoidal membership functions of fuzzy systems, for hardware applications such as the FPGA (Field Programmable Gate Array). This method con sists in taking only certain points of the membership func tions, with the purpose of giving more efficiency to the algorithm. The genetic algorithm was tested in a fuzzy con troller to regulate engine speed of a direct current (DC) motor, using the Xilinx System Generator (XSG) toolbox of Matlab, which simulate VHDL (Very High Description Lang uage) code.
Źródło:: Journal of Automation Mobile Robotics and Intelligent Systems; 2010, 4, 4; 53-63
1897-8649
2080-2145
Pojawia się w:: Journal of Automation Mobile Robotics and Intelligent Systems
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 13.

Tytuł:: Analysis of selected dynamic properties of quasi-fractional-order measuring transducer used in transportation facilities
Autorzy:: Luft, M.
Cioć, R.
Pietruszczak, D.
Powiązania:: https://bibliotekanauki.pl/articles/393984.pdf
Data publikacji:: 2014
Wydawca:: Polskie Stowarzyszenie Telematyki Transportu
Tematy:: measuring transducer
accelerometer
fractional calculus
MATLAB
Simulink
przetwornik pomiarowy
akcelerometr
rachunek ułamkowy
Opis:: The paper presents possibilities of using fractional calculus in dynamic measurements used in telematic equipment in cars and railway vehicles diagnostic systems. It describes a laboratory measurement system for investigating dynamic properties of accelerometers. Tests are executed in the MATLAB&Simulink programme. Properties of the examined transducers of integral and quasi-fractional-orders are compared. The authors indicate the fractional calculus advantages from the point of view of their dynamics description.
Źródło:: Archives of Transport System Telematics; 2014, 7, 3; 17-21
1899-8208
Pojawia się w:: Archives of Transport System Telematics
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 14.

Tytuł:: Transient Energy Models of Housing Facilities Operation
Autorzy:: Deshko, Valerii
Bilous, Inna
Biriukov, Dmytro
Yatsenko, Olena
Powiązania:: https://bibliotekanauki.pl/articles/2069893.pdf
Data publikacji:: 2021
Wydawca:: Politechnika Koszalińska. Wydawnictwo Uczelniane
Tematy:: dynamic modelling
simulation
temperature
heating system load
controller
Matlab
Simscape
Simulink
EnergyPlus
Opis:: Buildings are the main consumer of energy resources in the total energy balance of the countries in Central and Eastern Europe, the main energy consumption is allocated for heating. Efficient use of energy resources for heating needs to a large extent depends on the efficiency of regulation of heating systems. In the article, dynamic mathematical models of a two-room typical apartment in Ukraine, built in 2016, were developed in Matlab and EnergyPlus software environment. The simulations were carried out using IWEC hourly climate data for the city of Kyiv. The results of simulations of thermal energy consumption in Matlab are characterized by a larger range of fluctuations of the heating system load, which is typical for the real operating conditions of the system with the controller of ON/OFF type. In EnergyPlus it is assumed that the gas boiler operates continuously in the ON mode. In the research, the change of load on the apartment heating system was studied at different numbers and locations of air temperature control sensors installation, according to which the controller of the autonomous gas boiler operates.
Źródło:: Rocznik Ochrona Środowiska; 2021, 23; 539--551
1506-218X
Pojawia się w:: Rocznik Ochrona Środowiska
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 15.

Tytuł:: Capabilities of MATLAB and Simulink related to modelling of Polish power exchange
Autorzy:: Tchórzewski, J.
Powiązania:: https://bibliotekanauki.pl/articles/94981.pdf
Data publikacji:: 2016
Wydawca:: Szkoła Główna Gospodarstwa Wiejskiego w Warszawie. Wydawnictwo Szkoły Głównej Gospodarstwa Wiejskiego w Warszawie
Tematy:: artificial neural network
identification
MATLAB
Simulink
environment
Polish Power Exchange
simulation
Day Ahead Market
Opis:: The paper presents selected results of research on modelling a system of the POLISH Power Exchange in the MATLAB and Simulink environment. Modelling capabilities of various toolboxes and Matlab language were presented. Special attention was paid to identification modelling using System Identification Toolbox, neural modelling using Neural Network Toolbox and simulation modelling using Simulink. Research experiments were preformed based on the Day Ahead Market quotations. The obtained models of th type in SIT, an artificial neural network (ANN) in NNT and a block diagram in Simulink were subjected to comparative and sensitivity tests. Final results were interpreted.
Źródło:: Information Systems in Management; 2016, 5, 3; 424-435
2084-5537
2544-1728
Pojawia się w:: Information Systems in Management
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "Matlab-Simulink" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język