Научно-образовательная информационная среда XXI века : материалы X Всероссийской научн.-практ. конф. (20-23 сентября 2016 года). – Петрозаводск, 2016. - 188 с.
Discusses the formulation of the problem of increasing the efficiency of modelling of multicomponent IoT systems
The article describes the use of a number of alternative blended learning models based on a mixture of traditional face-to-face classes with some elements of e-learning in the course of “English for Academic Purposes” (EAP) and “English for Specific Academic Purposes” (ESAP) taught to junior and senior undergraduate students of computer sciences in the undergraduate program of Business Informatics and Software Engineering over a period of time from 2009 to 2012 at the National Research University Higher School of Economics (NRU HSE), Moscow, Russia
One of the most important problems, by development of the automated systems of scientific researches is providing efficient performance of computers. The algorithm for tasks division among the processors of molecular-dynamic sub-systems modeling of the research-informational system Slag Melt system is described. The authors recommend the method of optimizing the algorithm as well as an estimation and calculation of the system efficiency and improving its operation.
The article discusses the factors supporting the improvement of the quality of educational services through the effective use in the educational process of the university of technology to support e-Learning and digital content.
The paper presents a model of continuous profession-oriented learning in the electronic environment at organizational, technological and learning levels. The learning level involves the application of modern technologies in e-pedagogies. The educational process is being built on the bases of iterative analysis, competence assessment and individual trajectories of learning. The organizational level implies the formation of integrated knowledge space which unites community of teachers from various higher educational institutions, research organizations and business enterprises within the system of academic knowledge management. At the technological level the members and partners of the integrated knowledge space are provided with appropriate instruments within the framework of social networks to develop educational and methodological materials, to search, to capture, to accumulate and to systematize knowledge with respect to the competence model’s requirements based on ontology method. The model aims at developing the methodology for creating and maintaining the intelligence systems to generate comprehensive competences. It enables the education institutions to effectively solve the problem of enhancing the education quality and assurance to meet the requirements of the business innovative development in knowledge society.
This book contains the proceedings of the 4th International Conference on Computer Supported Education (CSEDU 2012) which was organized and sponsored by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC) and technically co-sponsored by SPEE (Portuguese Society for Engineering Education), IGIP (International Society for Engineering Education), ROLE (Responsive Open Learning Environments) and IFIP TC3 (International Federation for Information Processing - Technical Committee 3 - ICT and Education).
CSEDU has become an annual meeting place for presenting and discussing learning paradigms, best practices and case studies that concern innovative computer-supported learning strategies, institutional policies on technology-enhanced learning including learning from distance, supported by technology. The Web is currently a preferred medium for distance learning and the learning practice in this context is usually referred to as e-learning or technology-enhanced learning. CSEDU 2012 is expected to give an overview of the state of the art in technology-enhanced learning and to also outline upcoming trends and promote discussions about the education potential of new learning technologies in the academic and corporate world.
This conference brings together researchers and practitioners interested in methodologies and applications related to the education field. It has five main topic areas, covering different aspects of Computer Supported Education, including "Information Technologies Supporting Learning", "Learning/Teaching Methodologies and Assessment", "Social Context and Learning Environments", "Domain Applications and Case Studies" and "Ubiquitous Learning". We believe the proceedings, demonstrate new and innovative solutions, and highlight technical problems in each field that are challenging and worthwhile.
CSEDU 2012 received 243 paper submissions from 58 countries in all continents. A double-blind review process was enforced, with the help of the 297 experts who are members of the conference program committee, all of them internationally recognized in one of the main conference topic areas. Only 29 papers were selected to be published and presented as full papers, i.e. completed work (10 pages in proceedings / 30' oral presentations). 73 papers, describing work-in-progress, were selected as short papers for 20' oral presentation. Furthermore 37 papers were presented as posters. The full-paper acceptance ratio was thus 12%, and the total oral paper acceptance ratio was less than 42%. These ratios denote a high level of quality, which we intend to maintain and reinforce in the next edition of this conference.
The high quality of the CSEDU 2012 programme is enhanced by three keynote lectures, delivered by distinguished guests who are renowned experts in their fields, including (alphabetically): Joseph Trimmer (Ball State University, United States), David Kaufman (Simon Fraser University, Canada) and Hugh Davis (University of Southampton, United Kingdom).
For the fourth edition of the conference we extended and ensured appropriate indexing of the proceedings of CSEDU including DBLP, INSPEC, EI and Thomson Reuters Conference Proceedings Citation Index. Besides the proceedings edited by SciTePress, a short list of papers presented at the conference will be selected for publication of extended and revised versions in the Journal of Education and Information Technologies. Furthermore, all presented papers will soon be available at the SciTePress digital library.
The conference is complemented with two special sessions, focusing on specialized aspects of computer supported education; namely, a Special Session on Enhancing Student Engagement in e-Learning (ESEeL 2012) and a Special Session on Serious Games on Computer Science Learning (SGoCSL 2012).
Building an interesting and successful program for the conference required the dedicated effort of many people. Firstly, we must thank the authors, whose research and development efforts are recorded here. Secondly, we thank the members of the program committee and additional reviewers for their diligence and expert reviewing. We also wish to include here a word of appreciation for the excellent organization provided by the conference secretariat, from INSTICC, who have smoothly and efficiently prepared the most appropriate environment for a productive meeting and scientific networking. Last but not least, we thank the invited speakers for their invaluable contribution and for taking the time to synthesize and deliver their talks.
A model for organizing cargo transportation between two node stations connected by a railway line which contains a certain number of intermediate stations is considered. The movement of cargo is in one direction. Such a situation may occur, for example, if one of the node stations is located in a region which produce raw material for manufacturing industry located in another region, and there is another node station. The organization of freight traﬃc is performed by means of a number of technologies. These technologies determine the rules for taking on cargo at the initial node station, the rules of interaction between neighboring stations, as well as the rule of distribution of cargo to the ﬁnal node stations. The process of cargo transportation is followed by the set rule of control. For such a model, one must determine possible modes of cargo transportation and describe their properties. This model is described by a ﬁnite-dimensional system of diﬀerential equations with nonlocal linear restrictions. The class of the solution satisfying nonlocal linear restrictions is extremely narrow. It results in the need for the “correct” extension of solutions of a system of diﬀerential equations to a class of quasi-solutions having the distinctive feature of gaps in a countable number of points. It was possible numerically using the Runge–Kutta method of the fourth order to build these quasi-solutions and determine their rate of growth. Let us note that in the technical plan the main complexity consisted in obtaining quasi-solutions satisfying the nonlocal linear restrictions. Furthermore, we investigated the dependence of quasi-solutions and, in particular, sizes of gaps (jumps) of solutions on a number of parameters of the model characterizing a rule of control, technologies for transportation of cargo and intensity of giving of cargo on a node station.
Event logs collected by modern information and technical systems usually contain enough data for automated process models discovery. A variety of algorithms was developed for process models discovery, conformance checking, log to model alignment, comparison of process models, etc., nevertheless a quick analysis of ad-hoc selected parts of a journal still have not get a full-fledged implementation. This paper describes an ROLAP-based method of multidimensional event logs storage for process mining. The result of the analysis of the journal is visualized as directed graph representing the union of all possible event sequences, ranked by their occurrence probability. Our implementation allows the analyst to discover process models for sublogs defined by ad-hoc selection of criteria and value of occurrence probability
The geographic information system (GIS) is based on the first and only Russian Imperial Census of 1897 and the First All-Union Census of the Soviet Union of 1926. The GIS features vector data (shapefiles) of allprovinces of the two states. For the 1897 census, there is information about linguistic, religious, and social estate groups. The part based on the 1926 census features nationality. Both shapefiles include information on gender, rural and urban population. The GIS allows for producing any necessary maps for individual studies of the period which require the administrative boundaries and demographic information.
It is well-known that the class of sets that can be computed by polynomial size circuits is equal to the class of sets that are polynomial time reducible to a sparse set. It is widely believed, but unfortunately up to now unproven, that there are sets in EXPNP, or even in EXP that are not computable by polynomial size circuits and hence are not reducible to a sparse set. In this paper we study this question in a more restricted setting: what is the computational complexity of sparse sets that are selfreducible? It follows from earlier work of Lozano and Torán (in: Mathematical systems theory, 1991) that EXPNP does not have sparse selfreducible hard sets. We define a natural version of selfreduction, tree-selfreducibility, and show that NEXP does not have sparse tree-selfreducible hard sets. We also construct an oracle relative to which all of EXP is reducible to a sparse tree-selfreducible set. These lower bounds are corollaries of more general results about the computational complexity of sparse sets that are selfreducible, and can be interpreted as super-polynomial circuit lower bounds for NEXP.
Many electronic devices operate in a cyclic mode. This should be considered when forecastingreliability indicators at the design stage.The accuracy of the prediction and the planning for the event to ensure reliability depends on correctness of valuation and accounting greatest possiblenumber of factors. That in turn will affect the overall progress of the design and, in the end,result in the quality and competitiveness of products
I give the explicit formula for the (set-theoretical) system of Resultants of m+1 homogeneous polynomials in n+1 variables