Program complex for optimization of surface hardening of steel billets

The aim of the paper is to develop program complex in software MATLAB with integrated numerical 2D nonlinear FLUX model, which is used for solving optimal inductor design and control problems for heating stage of surface induction hardening. Considered program complex is based on alternance method, that allows to write systems of transcendental equations, closed with respect to all unknown design and control parameters of the process. The suggestion for implementation of obtained optimal control algorithm is presented.

Higher-order probabilistic adversarial computations: categorical semantics and program logics

Adversarial computations are a widely studied class of computations where resource-bounded probabilistic adversaries have access to oracles, i.e., probabilistic procedures with private state. These computations arise routinely in several domains, including security, privacy and machine learning. In this paper, we develop program logics for reasoning about adversarial computations in a higher-order setting. Our logics are built on top of a simply typed λ-calculus extended with a graded monad for probabilities and state. The grading is used to model and restrict the memory footprint and the cost (in terms of oracle calls) of computations. Under this view, an adversary is a higher-order expression that expects as arguments the code of its oracles. We develop unary program logics for reasoning about error probabilities and expected values, and a relational logic for reasoning about coupling-based properties. All logics feature rules for adversarial computations, and yield guarantees that are valid for all adversaries that satisfy a fixed resource policy. We prove the soundness of the logics in the category of quasi-Borel spaces, using a general notion of graded predicate liftings, and we use logical relations over graded predicate liftings to establish the soundness of proof rules for adversaries. We illustrate the working of our logics with simple but illustrative examples.

Socialised Creation Literacy Appeared during the COVID-19 Emergency: A Case Report

In our previous study, we proposed socialized creation competency as an advanced media information literacy. The competency involves four pillars: socialized creation, collaborative creativity, a critical eye and building affordance. The characterisation of this competency consists of all the component processes that make up social capital in ICT society. In this study, we extracted a concrete example to explain the socialised creation and to promote the sustainable development of society. The case we investigated was one in which civic IT engineers collaborated to develop program codes for a COVID-19 website. We collected and analysed related documents and communication records on Twitter. The results provided a deeper understanding of the importance of collaboration among diverse citizens, IT engineers, corporate workers and members of public sectors. Those players worked using a new style of production regarding Civic Tech and GovTech. Their activities blurred the borders of various organisations. Online services, GitHub, and other SNS were used for both creation and opinion exchanges, and emerging heterarchical communication was interrelated. The creators accepted the engagement of any citizen to vet opinions for purposes of improving the website. Records demonstrated the substantial potential for the needs of advanced MIL competency to understand civil society and collaborative creation by the public sector and citizens.

Computer analysis of workpieces auto-heating during surfacing

The method for calculating of the temperature when surfacing of complex-shaped workpiece by solving non-stationary and nonlinear equation of thermal conductivity in heterogeneous layer, which allows taking into account the elements of the clamping device and not describing numerous boundary conditions is presented. Example for calculating of the heating temperature of spherical plug of the ball valve during surfacing on spherical surface via welding deposition with spiral and back-and-forth movement of the heat source is given. The calculated temperature variation in the base material during the surfacing of specifi c workpieces makes it possible to develop program for adjusting of the surfacing mode to ensure the stability of the dimensions and properties of the deposited layer.

STRATEGIES THAT INCREASE THE LEVEL OF LISTENING COMPREHENSION WHILE LISTENING TO ORAL TEXTS

The present paper examines the effectiveness of strategy instructional program elaborated for 120 intermediate students with different previous learning backgrounds attending language center in Saint Petersburg. The objective of the study is to develop program and improve the level of listening comprehension through focusing on potential problems while doing listening tasks. The study either aims at determining and mastering cognitive, metacognitive, social strategies on the part of the students. The authors hypothesize that learners can gain proficiency in using strategies with practice. Strategies can be easily acquired, they facilitate learning, however, number of them are not always transferred to new tasks and used by students as effectively as before when the activity is over. Therefore, systematic strategy instruction component would be important as learners become aware of the learning process and gain the ability to control their own learning through the use of appropriate learning strategies. The authors of the paper have made an attempt to demonstrate that the number of listening comprehension problems reported by the students could be reduced by applying specially designed comprehension activities that assist learners in evaluation of their efforts and assessment of personal achievements. The pilot groups were asked to complete the questionnaires at the beginning and at the end of the course that allowed monitoring the students’ progress throughout the course. At the end of the study, the pilot groups participating in the strategy instructional program were found to be more successful in foreign language comprehension.

Análisis de la competitividad de emprendimientos en comunidades rurales de Yucatán emanados de programas sociales. El caso de comunidades diferentes.

Resumen La población Yucatán al año 2015, fue de 2’097,175 habitantes, con el 16% de sus moradores dentro del área rural . La población rural yucateca forma parte población mexicana que vive donde, dos de cada tres habitantes se encuentra en la pobreza, misma que se acentúa con las desigualdades en los aspectos socioeconómicos como: empleo, educación, servicios, etc, situación que propició que el gobierno del estado de Yucatán, a través del Sistema Nacional para el Desarrollo Integral de la Familia (DIF) pusiera en acción el Programa de Desarrollo Comunitario “Comunidad DIFerente" (SEGOB, 2016), acudiendo a emprendimientos productivos comunitarios, que permitieran generar el desarrollo Empresarial, dentro del área rural, lo que motivó esta investigación dentro del giro de la panadería, después de cuatro años de puesta en marcha del programa para conocer resultados de dichos emprendimientos, éxitos, fracasos, avance, causas, efectos. Palabras claveComunitario, desarrollo, diagnóstico, panadería, rural.AbstractYucatan’s population, until 2015 consisted of 2’097,175 inhabitants, with 16% of its dwellers found in rural areas. The rural population of Yucatan makes up part of the Mexican population where two out of three inhabitants are found and live in extreme poverty, this is further aggravated by inequalities in socio-economic aspects such as; employment, education, services etc, this situation led the government of the State of Yucatan, through National System for Integral Family Development (DIF) to put in motion the Community Develop Program “Community Program of Development (Comunidad DIFerente SEGOB, 2016), resorting to productive community entrepreneurships that will allow the development of Entrepreneurial development, within rural areas that led to this investigation which is focused on bakeries, four years after the program was launched to know the results of these entrepreneurships, their success failures advances, causes, effects. KeywordsCommunitary, development, diagnostic, bakery, rural.

Program evaluation competencies for prospective school counseling practitioners

There is a well-articulated rationale in the literature for the routine implementation of program evaluation by school counselors and thus, a desire within the profession to develop program evaluation competencies among pre-service school counselors. In this article, existing school counselor program evaluation competencies mentioned in the literature were critically overviewed. For this purpose, the school counseling publications between 2000 and 2017 were reviewed to identify on school counselor competencies in program evaluation. These articles are summarized and analyzed based on Stevahn, King, Ghere & Minnema’s competency taxonomy to better understand the current situation. The literature revealed that to date, school counseling literature has focused primarily on technical competencies in program evaluation. In addition to that, some other important program evaluation skills such as interpersonal relationships and professional/ethical issues in program evaluation have not been explored in the literature.

KONVERSI LAHAN SAWAH DI SUBAK PETANGAN KECAMATAN DENPASAR UTARA

ABSTRACT Agricultural land has an important role as a medium to increase the income, standard of living, and welfare of farmers within. This study aims to 1) analyze the factors that influence the motivation of farmers in converting paddy fields, 2) analyze the social and economic impacts of land conversion in Subak Petangan, North Denpasar District. This research was carried out in the Subak Petangan Denpasar Utara which was chosen using census with a population of 40 farm owner. The main instruments used in the data collection is questionnaires. Data analysis techniques used are factor analysis method and quantitative qualitative analysis. The study showed that land conversion are affected by internal and external factors. Internal factors are formed by the number of family member, level of education, life necessities (Maslow's hierarchy of needs), income from agricultural product. External factors are formed by lifestyle indicators, interest of the younger generation for farming, access to land management, availability of water irrigation. The sosial impact of land conversion are hampered on irrigation channels, the emergence of conflicts between farmers and owners of settlements, deterioration of cultural values in Subak Petangan, North Denpasar District and the economy impact are decreases in food source. All parties including the government as well as the subak member should be able to control and develop program or regulation to repress the land conversion's rate. Sosialy and economically, land conversion in Subak Petangan generate bad impact on the environment and culture around Subak Petangan rice field area.

PENGEMBANGAN MEDIA PEMBELAJARAN DENGAN BRANCHING PROGRAM BERBASIS KOMPUTER

The purpose of this study is to evaluate whether learning media with a computer-based branching program can improve learning outcome on Digital System Design course or not. IDI (Instruksional Development Institute) Reseacrh and Development (R&D) has been applied to develop program and to evaluate the effectiveness of learning media with a computer-based program branching on Digital System Design course. There are three stages in this research, defining, developing, and evaluating. Content validity of learning media with a computer-based program branching was found highly valid. Based on the learning outcomes, the effectiveness of learning media was found effective. More over,based on the teachers and the students response, itwas found that the learning media was found very highly practical. Based on the data analysis, it was found that learning media with a computer-based branchingprogram can improve the students' learning outcome on Digital System Design course.

Emotional Cognitive Assessment and Enhancement for Mentally Disabled People

<p class="0BodyText">Autism spectrum syndrome well known as autism. Autism was delivered within the 1920s century especially in 1944. Autism is described as a development disease that influences the social abilities, nonverbal communication or what's called body language. Human beings with Autism and Asperger’s syndrome tends to have high IQ however very low EQ[1]. In addition, person who suffers autism has a tendency to have a specific habitual, aggressive reaction while converting this habitual. The Proposed concept is to develop an algorithm/method for growing emotional intelligence. The goal of the proposed concept is to assist human beings with Autism and Asperger’s syndrome that tends to have under common EI to approach normality [2]. The program will use the high IQ of the person to increase his/her EQ. To achieve this it is intended to develop program that refuse any miss behavior, or inappropriate mind-set. The advanced application acts like human, who will no longer accept to be treated in a particular manner. To enhance ones EI, people with autism ought to be taught on:</p><p class="0BodyText"> • A way to cope with people in a manner they would accept. </p><p class="0BodyText"> • The way to apprehend his/her emotion and accept it.</p><p class="0BodyText"> • The way to express their feelings. </p><p class="0BodyText"><br /> The goal of the evolved program is to help autism users be given human beings and be selves ordinary. The program ought to teach person how to make buddies in the real existence.</p>