Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 6

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  classes
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
PL
Przeniesienie zajęć do trybu zdalnego stało się wyzwaniem w procesie dydaktycznym. Nauczyciele akademiccy poszukiwali najlepszych metod i form realizacji materiału. Pod koniec roku akademickiego 2020/2021 przeprowadzono wśród studentów pierwszego roku Politechniki Opolskiej z różnych kierunków i form studiów ankietę dotyczącą nauczania przedmiotów matematycznych, aby zobaczyć jaka forma pracy najbardziej pomagała studentom w zdobyciu wiedzy i umiejętności oraz co sprawiało im największą trudność. Celem artykułu jest analiza metod prowadzenia wykładów i ćwiczeń preferowanych przez studentów oraz ich stosunku do włączonej podczas zajęć kamery. Pokazano, że najwięcej studentów preferuje, gdy prowadzący przedstawia materiał w postaci prezentacji, którą uzupełnia na bieżąco. Blisko połowa studentów nie chce, by prowadzący miał włączoną kamerę.
EN
Shifting classes into distance learning mode has become a challenge in the teaching process for the entire academic community in the wake of the COVID-19 pandemic. Not only academics but also students had to adapt to the new form of education. At the turn of May and June 2021, the authors conducted a survey on teaching of mathematics subjects among first-year students of the Opole University of Technology who attended math courses in the summer semester 2020/2021. This article focuses on analysis of survey results for questions related to conducting lectures and exercises in the remote form. The students were asked about the method of remote lecture which they used the most and they could pick up to two methods out of the five indicated ways of lecturing. As many as 81.1% of surveyed students chose a lecture with a presentation as one of the lecture forms they prefer. Similar analyses were carried out in the context of conducting the exercises. This time the students had a choice of six options related to the forms of conducting exercises. As many as 84.3% of students marked one answer: the teacher solves and discusses exercises on the on-line board as the one they prefer. It was also examined what is the attitude of students towards using video camera during classes by the teacher and/or by the student. Without a surprise it turned out to be negative when it comes to students showing their video feed. The unexpected part is that students view negatively the setup where teacher is using a video camera during classes.
PL
Opracowano program obliczania parametrów stożka na podstawie pomiaru dwóch okręgów rozmieszczonych wzdłuż wysokości stożka. Ważniejszymi parametrami obliczanymi są: kąt rozwarcia stożka, zbieżność stożka, średnica stożka w odległości Z1 od podstawy, współrzędne wierzchołka stożka, wysokość stożka. Cytowane parametry stożka liczono za pomocą opracowanego programu wykorzystując dane pozyskane z pomiarów stożka na współrzędnościowej maszynie pomiarowej. Program jest wykorzystywany do poszerzenia wyników obliczeń parametrów stożka, nie liczonych przez oprogramowanie WMP.
EN
A program for calculating cone parameters was developed based on the measurement of two circles located along the height of the cone. The more important calculated parameters are: cone angle, cone taper, diameter of the cone at the distance Z1 from the base, coordinates of the cone apex, cone height. The quoted parameters of the cone are calculated by the program on the data obtained from the measurements of the cone on the coordinate measuring machine. The program is used to extend the calculation results of the cone parameters not calculated by the CMM software.
EN
The method for reduction of the number of programmable array logic macrocells in a microprogrammed Moore finite state machine circuit is proposed. It is based on representation of the state code as a concatenation of a code for the class of pseudoequivalent states and a code of states inside this class. Such an approach allows eliminating the dependence between states and microoperations. The special code converter is used for formation of microoperations. As a result, both circuits for generation of input memory functions and microoperations are optimized. An example of the proposed method application is given.
PL
Model skończonego automatu stanu typu Moore'a jest często stosowany w jednostkach sterujących [1]. Postęp w technologii półprzewodnikowej powoduje pojawienie się coraz bardziej złożonych układów cyfrowych, takich jak złożone programowalne układy cyfrowe, gdzie funkcje logiczne są implementowane przy użyciu programowalnych bloków logicznych (ang. Programmable Array Logic, PAL). Jedną z osobliwości PAL jest ograniczona ilość termów [6, 7]. Dla tego jest potrzebna minimalizacja realizowanych funkcji. Układ automatu Moore'a składa się z bloku funkcji wzbudzenia pamięci (BFWP) i bloku mikrooperacji (BMO) (rys. 1), które są implementowane przy użyciu makrokomórek PAL. Znane metody syntezy automatu Moore'a mogą optymalizować tylko jeden z bloków. W artykule proponowana jest metoda zorientowana na redukcję ilości makrokomórek PAL potrzebnych do implementacji skończonego automatu stanu typu Moore'a. Ta metoda bazuje na przedstawieniu kodu stanu jako konkatenacji kodu klasy stanów pseudo-równoważnych i kodu stanów wewnątrz tej klasy. Takie podejście pozwala usunąć zależność między stanami oraz mikrooperacjami. Dla formowania mikrooperacji został użyty specjalny przetwornik kodów (rys. 2). Zaproponowane podejście pozwala zoptymalizować blok wejściowych funkcji pamięci i blok mikrooperacji . Artykuł przedstawia także przykład zastosowania proponowanej metody.
5
Content available remote A foundation for refining concurrent objects
EN
We study the notion of class refinement in a concurrent object-oriented setting. Our model is based on a combination of action systems and classes. An action system describes the behavior of a concurrent, distributed, or interactive system in terms of the atomic actions that can take place during the execution of the system. Classes serve as templates for creating objects. To express concurrency with objects, we add actions to classes. We define class refinement based on trace refinement of action systems. Additionally, we give a simulation-based proof rule. We show that the easier to apply simulation rule implies the trace-based definition of class refinement. Class refinement embraces algorithmic refinement, data refinement, and atomicity refinement. Atomicity refinement allows us to split large atomic actions into several smaller ones. Thereby, it paves the way for more parallelism. We investigate the special case of atomicity refinement by early returns in methods.
6
Content available remote A localization principle for classes of means
EN
Several families of continuous means defined on a square I x I have the remarkable property of being entirely determined when their values in an arbitrary small neigborhood of the diagonal {(x,x) : x G 1} of the square are known. Some examples are given of application of this property in solving functional equations.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.