Operads for complex system design specification, analysis and synthesis

As the complexity and heterogeneity of a system grows, the challenge of specifying, documenting and synthesizing correct, machine-readable designs increases dramatically. Separation of the system into manageable parts is needed to support analysis at various levels of granularity so that the system is maintainable and adaptable over its life cycle. In this paper, we argue that operads provide an effective knowledge representation to address these challenges. Formal documentation of a syntactically correct design is built up during design synthesis, guided by semantic reasoning about design effectiveness. Throughout, the ability to decompose the system into parts and reconstitute the whole is maintained. We describe recent progress in effective modelling under this paradigm and directions for future work to systematically address scalability challenges for complex system design.

Holistic Requirements Analysis For Specifying New Systems For 3D Media Production and Promotion

This paper presents a requirements specification analysis for driving the design of new systems that will allow 3D media creators to further promote and monetize from their work. The provided requirements analysis is based on the IEEE 830 standard for requirements specification. It allows us to elucidate system requirements through existing (AS-IS) and envisioned (TO-BE) scenarios affected by the latest trends on design methodologies and content promotion in social media. A total of 30 tools for content creation, promotion and monetization are reviewed. The target groups, i.e. creator groups, are divided in 10 types according to their role in 3D media production. Based on this division 10 candidate TO-BE scenarios have been identified and out of these 10 scenarios, we have selected 6 scenarios for validation by media creators. The validation was performed through a survey of 24 statements on a 5 Likert scale by 47 individuals from the domains of Media, Fine arts, Architecture, and Informatics. Useful evaluation results and comments have been collected that can be useful for future systems design.

PERSONNEL MANAGEMENT BASED ON COMPETENCIES IN THE PROCESS OF SOLVING SERVICE TASKS

Effective personnel management requires an individual approach when assessing employees, in order to carry out accurate analysis and informed decisions on the appointment of the best performer of work tasks and projects. The combination of professional qualities, abilities of employees, successful performance of work assignments, participation in projects has a great impact on the development process and the achievement of the company’s well-being. The article discusses algorithms for assigning competencies and their accounting in an organization, as well as an approach to the analysis of work tasks and projects for further use in finding optimal performers and employees training. In the studies, a rating was used for a specific work task, which displays data on the employee’s ability to complete a task. Existing specifications for work projects are information that contains both detailed work characteristics and requirements for performers. Requirements can be written explicitly or implicitly. In the case of n implicit knowledge and skills description that the performer must possess, the specification should be analyzed to form the necessary set of competencies and the conditions for their implementation. Integration of the specification analysis process into the overall competency management system in the enterprise allows expanding the possibility of personnel management. Understanding the situation in the organization regarding the work tasks performance through the specifications analysis allows one to identify various types of corporate knowledge and, if necessary, form new types of competencies that directly reflect specific activities within the company. The article presents an original method for seeking a suitable performer by means of a rating system for work tasks and competencies in order to develop and improve the competence base of employees for effective personnel management in the company.

Cryptocurrency as an object of accounting and a source of economic benefits

Introduction. Cryptocurrency and related activities in Ukraine are not regulated by specialized law. Transactions with currency «crupto» are increasingly used in the accounting practice of domestic enterprises. The correctness of an accounting of such transactions is influence on actuality of the financial statements, the completeness of the taxes payment and the amount of income and profits of enterprises. The main aim is to analyze the peculiarities of the formation and movement of cryptocurrency, its recognition as an object of accounting, justification for further accounting evaluation and impact on performance. Methods. Methods observation, comparison, analogy, grouping and classification, abstraction and specification, analysis and synthesis, tabular and structural-logical methods are used. The information base of the research is the scientific achievements of domestic and foreign scientists and specialists, own experience and observations. Results. The definition of cryptocurrency as an object of accounting and a source of economic benefits is considered. The possibilities and advantages of cryptocurrency using in different spheres of economy are determined and systematized. The role and significance of cryptocurrency with the functions of money are compared. The possibility of classifying cryptocurrency as a certain type of enterprise assets in accordance with IAS and UAS (P(S)BO) is analyzed. The peculiarities of valuation and accounting of cryptocurrency as an intangible asset are substantiated. The problems of taxation of cryptocurrency transactions are identified and certain solutions are proposed until the regulatory settlement of this issue.

THE PRODUCTION AND SPECIFICATION ANALYSIS OF AVIATION BIOFUEL AS THE ALTERNATIVE FUEL OF AIRPLANE

CO2 emissions and scarcity of petroleum supplies can be reduced by the use of renewable energy sources. This has led to the development of low emission aviation turbine fuel derived from vegetable materials. The process used Hydroprocessed Esters and Fatty Acids (HEFA) that consisted of hydrotreating and isomerization. This experiment consisted of production and analysis. The production of aviation biofuel developed based on coconut oil through the process of hydrotreating deoxygenation (HDO) and hydrotreating isomerization (HDI) on the hydrotreater reactor. Further analysis of aviation biofuel products and aviation biofuel blending includes Total Acid Number (TAN), existent gum, density at 15 °C, flash point, smoke point, freezing point, distillation, total sulfur content, distribution of C10-C14 carbon, and levels of Iso-Paraffin Olefin Naphthene (PION). Based on the experimental results, it can be concluded that the Aviation Biofuel complied for TAN, density at 15 °C, and freezing point parameters. Aviation Biofuel blending of 2%, 5%, and 10% were in accordance with the Aviation Biofuel Defence Standard 91-91 for all parameters.