402 results on '"Resource analysis"'
Number of results to display per page
Search Results
2. Design of triple cogeneration system for hydrogen fuel cell in greenhouse based on resource analysis
- Author
-
Jinlong Yang, Rui Li, and Chul-Hee Lee
- Subjects
hydrogen energy ,triple cogeneration system ,resource analysis ,energy efficiency ,economic analysis ,General Works - Abstract
Introduction: Hydrogen energy has a massive advantage in the energy supply mode regarding greenhouse gas emissions. Nevertheless, the energy supply system needs to be redesigned to meet the heating/cooling needs and the goals of using hydrogen energy.Methods: The comprehensive utilization efficiency of system energy can be improved using resource analysis to solve the problem of waste heat and formulate a technical plan for triple cogeneration of hydrogen greenhouse.Results: By calculation, the energy efficiency of the coal boiler heating system, the hydrogen energy heating system and the hydrogen greenhouse triple heating system are 65%, 52.93%, and 73.36%, respectively. Compared to the coal boiler heating system and the hydrogen energy heating system, the advantages of the hydrogen greenhouse triple cogeneration system are that the comprehensive utilization efficiency of the system energy has been improved, and no CO2 is generated when it works, which does not cause pressure on environmental protection. At the same time, the exergy efficiency of the hydrogen greenhouse triple cogeneration system is higher. Currently, due to the high price of hydrogen and fuel cells, the economic advantages are not outstanding. Still, coal energy is expected to be replaced in the future with the continuous decline in the cost of hydrogen and fuel cells. According to the current coal price, when the hydrogen price decreases to below $1.3/kg, coal will lose its price advantage in terms of fuel. At the same time, hydrogen has a high energy density, small volume, and low transportation cost. According to IRENA and Hydrogen Council, the cost of producing hydrogen from renewable energy will drop to $1/kg by 2050. The system will significantly reduce the operating costs of greenhouses in the future.Discussion: As a result, the hydrogen greenhouse triple cogeneration system is suitable for producing greenhouse agriculture and the heating method of fossil fuel combustion that will replace coal in the future.
- Published
- 2023
- Full Text
- View/download PDF
3. Research on resource analysis method based on attribute similarity and position weight for conceptual design.
- Author
-
Dong, Hui, Gao, Changqing, Zhao, Yun, and Yang, Bo
- Subjects
- *
CONCEPTUAL design , *PROBLEM solving - Abstract
Resource analysis is one of the important methods and tools to solve inventive problems in TRIZ. Effective use of resources is the key to form product functional principle innovations and generate technical solutions. In view of the problems that the conceptual design process requires too much experience of designers and is not systematic, the conceptual design is combined with resource analysis method in this paper. Considering the influence of attribute similarity and position weight between components in technical system, an innovative resource analysis method is proposed to accurately exploit available resources in system and super-system to assist the process of conceptual design. The abstract process of resource exploiting in conventional resource analysis methods can be transformed into a specific process of calculating resource similarity by this method. It has the advantages of high computability, strong standardisation and systematisation. The method can not only effectively improve the efficiency and quality of conceptual design, but also lay a theoretical research foundation for the development of computer aided innovation (CAI) software in the future. [ABSTRACT FROM AUTHOR]
- Published
- 2022
- Full Text
- View/download PDF
4. Development of a Risk-Control Safety Program as an Architectural Contractor Guideline on Flats Project.
- Author
-
Machfudiyanto, Rossy Armyn, Latief, Yusuf, Fitriani, Ratih, and Syifa, Amira
- Subjects
CONSTRUCTION safety measures ,ARCHITECTURE ,LITERATURE reviews ,CONTRACTORS ,SECONDARY analysis - Abstract
Construction Safety Planning is an element in the CSMS (Construction Safety Management System), which needs to be developed by the Contractor. Irrespective of this condition, the guidelines for preparing a safety program have not been appropriately disseminated by the project owner. This shows that many contractors are yet to appropriately implement the construction safety program. Therefore, this study aims to develop a safety program for Indonesian flat projects, especially architectural work. A qualitative method and secofndary data were used and obtained from a literature review, respectively. This was to determine the breakdown structure of architecture, which was then identified by hazards and operational risks. These processes led to the acquisition of the risk control used in preparing safety program targets, regarding resource analysis. The results showed that the resources needed in this architectural program included safety signs, PPE, warehouse construction, and transportation carts, which should be completed before work inception. In this case, an individual needs to be responsible for all the operational processes, namely the Safety Inspector/Supervisory Officer. These results are expected to be used as a guideline for contractors and project owners, to prepare a safety program and monitor the implementation of CS (construction safety). [ABSTRACT FROM AUTHOR]
- Published
- 2022
- Full Text
- View/download PDF
5. Techno-economic and resource assessment of electrolytic hydrogen and ammonia production
- Author
-
Parente, Alessandro, Contino, Francesco, Fisette, Paul, Hendrick, Patrick, Gabrielli, Paolo, Moret, Stefano, Jeanmart, Hervé, Tonelli, Davide, Parente, Alessandro, Contino, Francesco, Fisette, Paul, Hendrick, Patrick, Gabrielli, Paolo, Moret, Stefano, Jeanmart, Hervé, and Tonelli, Davide
- Abstract
The summers of 2020 and 2022 have represented two crossroads in the expectations around the role of hydrogen in the European energy system, setting a target of low-carbon hydrogen supply by 2030 more than twofold compared to the current carbon-intensive levels. While one half of the European supply is planned to be domestically produced within Europe, the other half is envisioned to be sourced from international markets. Projections for low-carbon hydrogen demand in Europe by 2050 range from half the current carbon-intensive demand level to a tenfold increase. Globally, the expected demand for low-carbon hydrogen in 2050 varies from equaling the current carbon-intensive demand level to a sevenfold increase. Factors affecting the scaling of low-carbon hydrogen supply are diverse and vary from the need to enhance the readiness of emerging production technologies to the adoption of mature technologies which lack an economy of scale. Different dynamics surround the hydrogen demand in 2050. Currently, hydrogen is mainly produced and consumed in production plants to refine hydrocarbons, or to produce ammonia and methanol. Current trade mainly concerns the fossil fuels used for its production. In the effort of achieving the net-zero target, hydrogen's role is predicted to extend to demand sectors where it's never been deployed on a large scale and where direct electrification faces limitations, such as heavy-duty transport, aviation, shipping, steel production, and industrial heat generation for the manufacturing of cement and other industrial products. The use of hydrogen relies on the presence of infrastructure to facilitate its transportation between production sites and demand points. Due to hydrogen's low volumetric energy density and high volatility, its derived carriers, i.e. ammonia, methanol, or synthetic hydrocarbons, might be preferred for its transport and as molecules for its final use. The primary goal of this research has been to quantify the hydrogen demand, Doctorat en Sciences de l'ingénieur et technologie, info:eu-repo/semantics/nonPublished
- Published
- 2024
6. Excesses in Engineering Systems: A Helpful Resource
- Author
-
Abramov, Oleg, Rannenberg, Kai, Editor-in-Chief, Soares Barbosa, Luís, Editorial Board Member, Goedicke, Michael, Editorial Board Member, Tatnall, Arthur, Editorial Board Member, Neuhold, Erich J., Editorial Board Member, Stiller, Burkhard, Editorial Board Member, Tröltzsch, Fredi, Editorial Board Member, Pries-Heje, Jan, Editorial Board Member, Kreps, David, Editorial Board Member, Reis, Ricardo, Editorial Board Member, Furnell, Steven, Editorial Board Member, Mercier-Laurent, Eunika, Editorial Board Member, Winckler, Marco, Editorial Board Member, Malaka, Rainer, Editorial Board Member, Cavallucci, Denis, editor, Brad, Stelian, editor, and Livotov, Pavel, editor
- Published
- 2020
- Full Text
- View/download PDF
7. Exact and Linear-Time Gas-Cost Analysis
- Author
-
Das, Ankush, Qadeer, Shaz, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Pichardie, David, editor, and Sighireanu, Mihaela, editor
- Published
- 2020
- Full Text
- View/download PDF
8. Quantitative bounds on the security-critical resource consumption of JavaScript apps
- Author
-
Franzen, Daniel, Aspinall, David, and Stark, Ian
- Subjects
005.2 ,JavaScript ,Mobile apps ,resource analysis ,privacy ,security - Abstract
Current resource policies for mobile phone apps are based on permissions that unconditionally grant or deny access to a resource like private data, sensors and services. In reality, the legitimacy of an access may be context-dependent - for example, depending on how often a resource is accessed and in which situation. This thesis presents research into providing bounds on the access of JavaScript apps to security and privacy-relevant resources on mobile devices. The investigated bounds are quantitative and interaction-dependent: for example, permitting one access each time the user presses a specified button. Two novel systems are presented with different approaches to providing these bounds. The system PhoneWrap injects a quantitative policy into an app and enforces the bound dynamically during runtime by monitoring the resource consumption and the user interaction. If the injected bound is exceeded, the resource request is replaced by a deny action. This way, PhoneWrap restricts the unwanted behaviour while the expected functionality can be performed. Policies for this system describe the UI elements which trigger the expected resource consumption and the number of resource units consumed for each interaction. The enforcement of the policies is achieved via wrapping the critical APIs using JavaScript internal features. The injection of a policy can be performed automatically. PhoneWrap is the first system using the lightweight wrapping method to inject policies directly into mobile apps and the first to combine quantitative policies with interaction-dependencies. The second system AmorJiSe statically analyses the resource consumption of a given JavaScript program. This system automatically infers amortised annotations on top of given JavaScript data types. The amortised annotations symbolise reserved resource units stored in the data structures. This way the amount of resource units available to the app is expressed dependent on the size of the data structures. The resulting function types of the UI handlers can be used to extract interaction-dependent bounds. The correctness of these bounds is proven in relation to a resource-aware operational semantics. AmorJiSe extends the known amortised type paradigm to JavaScript with its dynamic object structures and applies this paradigm to the novel domain of mobile resources. Although, the two systems are based on similar resource models and produce similar resource bounds, they use different methods with different properties which are presented in this dissertation.
- Published
- 2016
9. Characteristics of Traditional Farm Equipment in Korea from the Viewpoint of TRIZ’s Invention Principle
- Author
-
Cho, Sehoon, Rannenberg, Kai, Editor-in-Chief, Soares Barbosa, Luís, Editorial Board Member, Goedicke, Michael, Editorial Board Member, Tatnall, Arthur, Editorial Board Member, Neuhold, Erich J., Editorial Board Member, Stiller, Burkhard, Editorial Board Member, Tröltzsch, Fredi, Editorial Board Member, Pries-Heje, Jan, Editorial Board Member, Kreps, David, Editorial Board Member, Reis, Ricardo, Editorial Board Member, Furnell, Steven, Editorial Board Member, Mercier-Laurent, Eunika, Editorial Board Member, Winckler, Marco, Editorial Board Member, Malaka, Rainer, Editorial Board Member, Benmoussa, Rachid, editor, De Guio, Roland, editor, Dubois, Sébastien, editor, and Koziołek, Sebastian, editor
- Published
- 2019
- Full Text
- View/download PDF
10. Applied Ideality: From Concepts to Inventive Problem Solving Algorithm
- Author
-
Smirnov, Evgeniy E., Rannenberg, Kai, Editor-in-Chief, Soares Barbosa, Luís, Editorial Board Member, Goedicke, Michael, Editorial Board Member, Tatnall, Arthur, Editorial Board Member, Neuhold, Erich J., Editorial Board Member, Stiller, Burkhard, Editorial Board Member, Tröltzsch, Fredi, Editorial Board Member, Pries-Heje, Jan, Editorial Board Member, Kreps, David, Editorial Board Member, Reis, Ricardo, Editorial Board Member, Furnell, Steven, Editorial Board Member, Mercier-Laurent, Eunika, Editorial Board Member, Winckler, Marco, Editorial Board Member, Malaka, Rainer, Editorial Board Member, Benmoussa, Rachid, editor, De Guio, Roland, editor, Dubois, Sébastien, editor, and Koziołek, Sebastian, editor
- Published
- 2019
- Full Text
- View/download PDF
11. The economic impact of prevention, monitoring and treatment strategies for iodine deficiency disorders in Germany
- Author
-
Monika Schaffner, Ursula Rochau, Nikolai Mühlberger, Annette Conrads-Frank, Vjollca Qerimi Rushaj, Gaby Sroczynski, Eftychia Koukkou, Betina Heinsbaek Thuesen, Henry Völzke, Wilhelm Oberaigner, and Uwe Siebert
- Subjects
cost analysis ,resource analysis ,prevention program ,iodine deficiency ,thyroid disorders ,salt iodization ,Diseases of the endocrine glands. Clinical endocrinology ,RC648-665 - Abstract
Objective: More than 30% of the German population suffers from mild to mode rate iodine deficiency causing goiter and other iodine deficiency diso rders (IDDs). The economic burden of iodine deficiency is still unclear. We aimed to assess costs for prevention, monitoring and treatment of IDDs in Germany. Design: We performed a comprehensive cost analysis. Methods: We assessed direct medical costs and direct non-medical costs f or inpatient and outpatient care of IDDs and costs for productivity loss due to the absence of work in 2018. Additionally, we calculated total costs for an IDD prevention program comprising universal salt iodization (USI). We performed threshold analyse s projecting how many cases of IDDs or related treatments would need to be avoided fo r USI to be cost-saving. Results: Annual average costs per case in the year of diagnosis were € 211 for goiter/ thyroid nodules; € 308 for hyperthyroidism; and € 274 for hypothyroidism. Average one-time costs for thyroidectomy were € 4184 and € 3118 for rad ioiodine therapy. Average costs for one case of spontaneous abortion were € 916. Annual costs of intellectual disability were € 14,202. In the German population, total annual costs for USI would amount to 8 million Euro. To be cost-saving, USI woul d need to prevent, for example, 37,900 cases of goiter/thyroid nodules. Conclusion: USI potentially saves costs, if a minimum amount of IDDs per year could be avoided. In order to recommend the implementation of USI, a full health-economic evaluation including a comprehensive benefit-harm assessment is needed.
- Published
- 2021
- Full Text
- View/download PDF
12. Static Profiling and Optimization of Ethereum Smart Contracts Using Resource Analysis
- Author
-
Jesus Correas, Pablo Gordillo, and Guillermo Roman-Diez
- Subjects
Blockchain ,Ethereum ,resource analysis ,smart contracts ,static analysis ,Electrical engineering. Electronics. Nuclear engineering ,TK1-9971 - Abstract
Profiling tools have been widely used for studying the behavior of the programs with the objective of reducing the amount of resources consumed by them. Most profilers collect the information with dynamic techniques, i.e., execute an instrumented version of the program with some specific input arguments to profile the measures of interest. This article presents a novel static profiling technique for Ethereum smart contracts that, using static resource analysis, is able to generate upper-bound expressions that can be used to produce profiling information about the measure of interest. Unlike traditional profiling tools, we get upper-bounds on the measures of interest expressed in terms of the input arguments or the state variables of the smart contracts. The information that can be obtained by the upper-bounds allows us to detect gas-expensive fragments of a Solidity program or to spot resource-related vulnerabilities at specific program points of the program. Moreover, in this article we propose an automatic optimization of Solidity programs which reduces their gas consumption replacing the accesses to state variables by gas-efficient accesses to local variables. We have experimentally evaluated our technique and we have detected that 6.81% of the public functions analyzed can be optimized and 1.43% are vulnerable to execute arbitrary code.
- Published
- 2021
- Full Text
- View/download PDF
13. Analysis on the Development of Educational Resources in the Open Universities in China
- Author
-
Li, Shijie, Wu, Xianyue, Qiu, Yi, Wu, Lihong, Chen, Pengyu, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Cheung, Simon K.S., editor, Kwok, Lam-for, editor, Ma, Will W.K., editor, Lee, Lap-Kei, editor, and Yang, Harrison, editor
- Published
- 2017
- Full Text
- View/download PDF
14. A Transformational Approach to Resource Analysis with Typed-norms Inference.
- Author
-
ALBERT, ELVIRA, GENAIM, SAMIR, GUTIÉRREZ, RAÚL, and MARTIN-MARTIN, ENRIQUE
- Subjects
NATURAL numbers ,PROGRAM transformation ,DATA mapping - Abstract
In order to automatically infer the resource consumption of programs, analyzers track how data sizes change along program's execution. Typically, analyzers measure the sizes of data by applying norms which are mappings from data to natural numbers that represent the sizes of the corresponding data. When norms are defined by taking type information into account, they are named typed-norms. This article presents a transformational approach to resource analysis with typed-norms that are inferred by a data-flow analysis. The analysis is based on a transformation of the program into an intermediate abstract program in which each variable is abstracted with respect to all considered norms which are valid for its type. We also present the data-flow analysis to automatically infer the required, useful, typed-norms from programs. Our analysis is formalized on a simple rule-based representation to which programs written in different programming paradigms (e.g., functional, logic, and imperative) can be automatically translated. Experimental results on standard benchmarks used by other type-based analyzers show that our approach is both efficient and accurate in practice. [ABSTRACT FROM AUTHOR]
- Published
- 2020
- Full Text
- View/download PDF
15. Resource Analysis of Distributed Systems
- Author
-
Albert, Elvira, Correas, Jesús, Román-Díez, Guillermo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Ábrahám, Erika, editor, Bonsangue, Marcello, editor, and Johnsen, Einar Broch, editor
- Published
- 2016
- Full Text
- View/download PDF
16. A practical comparator of cost functions and its applications
- Author
-
Albert Albiol, Elvira, Arenas Sánchez, Purificación, Genaim, Samir, Puebla, Germán, Albert Albiol, Elvira, Arenas Sánchez, Purificación, Genaim, Samir, and Puebla, Germán
- Abstract
Automatic cost analysis has significantly advanced in the last few years. Nowadays, a number of cost analyzers exist which automatically produce upperand/ or lower-bounds on the amount of resources required to execute a program.Cost analysis has a number of important applications such as resource-usage verification and program synthesis and optimization. For such applications to be successful, it is not suficient to have automatic cost analysis. It is also required to have automated means for handling the analysis results, which are in the form of Cost Functions (CFs for short) i.e., non-recursive expressions composed of a relatively small number of types of basic expressions. In particular, we need automated means for comparing CFs in order to prove that a CF is smaller than or equal to another one for all input values of interest. General function comparison is a hard mathematical problem. Rather than attacking the general problem, in this work we focus on comparing CFs by exploiting their syntactic properties and we present, to the best of our knowledge, the first practical CF comparator which opens the door to fully automated applications of cost analysis. We have implemented the comparator and made its source code available online, so that any cost analyzer can use it., Unión Europea. FP7, Ministerio de Ciencia e Innovación (MICINN), Depto. de Sistemas Informáticos y Computación, Fac. de Informática, FALSE, pub
- Published
- 2023
17. Synthesizing Realistic CloudWorkload Traces for Studying Dynamic Resource System Management
- Author
-
Dumont, Frederic, Menaud, Jean-Marc, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Qiang, Weizhong, editor, Zheng, Xianghan, editor, and Hsu, Ching-Hsien, editor
- Published
- 2015
- Full Text
- View/download PDF
18. Resource Analysis: From Sequential to Concurrent and Distributed Programs
- Author
-
Albert, Elvira, Arenas, Puri, Correas, Jesús, Genaim, Samir, Gómez-Zamalloa, Miguel, Martin-Martin, Enrique, Puebla, Germán, Román-Díez, Guillermo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bjørner, Nikolaj, editor, and de Boer, Frank, editor
- Published
- 2015
- Full Text
- View/download PDF
19. Small Remotely Piloted Aircraft Systems in Visual Impact Assessments and Resource Management: Developing Standards for Landscape Architecture
- Author
-
Neuhauser, Allison and Kelly, Sean
- Subjects
Best Practices ,Resource Analysis ,Fieldwork ,Site Inventory ,Drones - Abstract
RPAS use is increasing with many using RPAS for saving time and money. As more Landscape Architects explore RPAS, it is essential to highlight how RPAS are used to improve Visual Impact Assessments (VIA) and better understand site resources. This research explores how VIA and resource management can be improved using RPAS and the incorporation of standards into a best practices guide. RPAS lead to more accurate inventories and analyses as data are user-controlled. A comparative analysis of RPAS-assisted VIAs and current methods informed a Best Practices Guide for RPAS use in Landscape Architecture, which was reviewed by RPAS and Landscape Architecture industry professionals. This research demonstrates how RPAS collect data for RPAS and Resource Inventory and Analysis compared to present methods and informs standards. The Best Practices Guide increases awareness of RPAS to improve VIAs and other aspects of the Landscape Architecture profession.
- Published
- 2023
20. A Transformational Approach to Resource Analysis with Typed-Norms
- Author
-
Albert, Elvira, Genaim, Samir, Gutiérrez, Raúl, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Gupta, Gopal, editor, and Peña, Ricardo, editor
- Published
- 2014
- Full Text
- View/download PDF
21. On the Modular Integration of Abstract Semantics for WCET Analysis
- Author
-
Asăvoae, Mihail, Asăvoae, Irina Măriuca, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Dal Lago, Ugo, editor, and Peña, Ricardo, editor
- Published
- 2014
- Full Text
- View/download PDF
22. Resource Analysis driven by (Conditional) Termination Proofs.
- Author
-
ALBERT, ELVIRA, BOFILL, MIQUEL, BORRALLERAS, CRISTINA, MARTIN-MARTIN, ENRIQUE, and RUBIO, ALBERT
- Subjects
EVIDENCE ,COST analysis ,INTEGERS ,COST functions - Abstract
When programs feature a complex control flow, existing techniques for resource analysis produce cost relation systems (CRS) whose cost functions retain the complex flow of the program and, consequently, might not be solvable into closed-form upper bounds. This paper presents a novel approach to resource analysis that is driven by the result of a termination analysis. The fundamental idea is that the termination proof encapsulates the flows of the program which are relevant for the cost computation so that, by driving the generation of the CRS using the termination proof, we produce a linearly-bounded CRS (LB-CRS). A LB-CRS is composed of cost functions that are guaranteed to be locally bounded by linear ranking functions and thus greatly simplify the process of CRS solving. We have built a new resource analysis tool, named MaxCore, that is guided by the VeryMax termination analyzer and uses CoFloCo and PUBS as CRS solvers. Our experimental results on the set of benchmarks from the Complexity and Termination Competition 2019 for C Integer programs show that MaxCore outperforms all other resource analysis tools. [ABSTRACT FROM AUTHOR]
- Published
- 2019
- Full Text
- View/download PDF
23. Parallel Cost Analysis.
- Author
-
Albert, Elvira, Correas, Jesús, Johnsen, Einar Broch, Pun, Ka I., and Román-Díez, Guillermo
- Subjects
COST analysis ,SYNCHRONIZATION ,FEASIBILITY studies ,EXECUTIONS & executioners ,FLOWGRAPHS - Abstract
This article presents parallel cost analysis, a static cost analysis targeting to over-approximate the cost of parallel execution in distributed systems. In contrast to the standard notion of serial cost, parallel cost captures the cost of synchronized tasks executing in parallel by exploiting the true concurrency available in the execution model of distributed processing. True concurrency is challenging for static cost analysis, because the parallelism between tasks needs to be soundly inferred, and the waiting and idle processor times at the different locations need to be accounted for. Parallel cost analysis works in three phases: (1) it performs a block-level analysis to estimate the serial costs of the blocks between synchronization points in the program; (2) it then constructs a distributed flow graph (DFG) to capture the parallelism, the waiting, and idle times at the locations of the distributed system; and (3) the parallel cost can finally be obtained as the path of maximal cost in the DFG. We prove the correctness of the proposed parallel cost analysis, and provide a prototype implementation to perform an experimental evaluation of the accuracy and feasibility of the proposed analysis. [ABSTRACT FROM AUTHOR]
- Published
- 2018
- Full Text
- View/download PDF
24. US farm typology from agricultural census: labor resource analysis
- Author
-
Anna Ukolova and B. Sh. Dashieva
- Subjects
Typology ,Geography ,Resource analysis ,General Engineering ,General Earth and Planetary Sciences ,Agricultural census ,Agricultural economics ,General Environmental Science - Abstract
This article analyzes the labor resources by farm type in the United States based on the 2017 Agricultural Census. The subject of the research is the system of statistical indicators of the availability and composition of labor resources, the object is the population of farms in the United States. Based on the study of the US experience, it is proposed to expand the program of the agricultural census of the Russian Federation under the section “Labor resources” and the system of groupings of observation units, including typological ones, when publishing the results. The analysis of labor resources by types of farms in the United States showed that there are significant differences in the availability and composition of labor resources.
- Published
- 2021
25. Automatic Inference of Bounds on Resource Consumption
- Author
-
Albert, Elvira, Alonso-Blas, Diego Esteban, Arenas, Puri, Correas, Jesús, Flores-Montoya, Antonio, Genaim, Samir, Gómez-Zamalloa, Miguel, Masud, Abu Naser, Puebla, German, Rojas, José Miguel, Román-Díez, Guillermo, Zanardini, Damiano, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Giachino, Elena, editor, Hähnle, Reiner, editor, de Boer, Frank S., editor, and Bonsangue, Marcello M., editor
- Published
- 2013
- Full Text
- View/download PDF
26. Automatic Type Inference for Amortised Heap-Space Analysis
- Author
-
Hofmann, Martin, Rodriguez, Dulma, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Felleisen, Matthias, editor, and Gardner, Philippa, editor
- Published
- 2013
- Full Text
- View/download PDF
27. Linear Constraints over Infinite Trees
- Author
-
Hofmann, Martin, Rodriguez, Dulma, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Bjørner, Nikolaj, editor, and Voronkov, Andrei, editor
- Published
- 2012
- Full Text
- View/download PDF
28. Automatic Inference of Resource Consumption Bounds
- Author
-
Albert, Elvira, Arenas, Puri, Genaim, Samir, Gómez-Zamalloa, Miguel, Puebla, Germán, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Bjørner, Nikolaj, editor, and Voronkov, Andrei, editor
- Published
- 2012
- Full Text
- View/download PDF
29. Child Dehydration Management: A Health Literacy-Focused Resource Analysis
- Author
-
Hannah E. Stinson, Christen Hohman, Lorraine S. Wallace, and Devanshi Bhavsar
- Subjects
Medical education ,Health (social science) ,business.industry ,Resource analysis ,Public Health, Environmental and Occupational Health ,Usability ,Health literacy ,Psychology ,business ,Readability - Abstract
As children are at high dehydration risk, caregivers must have access to understandable and actionable educational resources.This study assessed usability, accessibility, complexity and readability...
- Published
- 2021
30. Research on the Project Selection Path of Counseling Graduate Students' Entrepreneurship Plan Driven by TRIZ Resource Analysis
- Author
-
Xiaolin Sun and Jing Guo
- Subjects
Entrepreneurship ,ComputingMilieux_THECOMPUTINGPROFESSION ,Process (engineering) ,Project selection ,Resource analysis ,Plan (drawing) ,law.invention ,Engineering management ,law ,ComputingMilieux_COMPUTERSANDEDUCATION ,Selection (linguistics) ,TRIZ ,Sociology ,PATH (variable) - Abstract
Taking the entrepreneurship plan project as the carrier to cultivate college students' innovative and entrepreneurial thinking and ability is core content of college’ entrepreneurship education in China. Facing the background of the dynamic development of policy, economy, society and technology, there is an urgent need to break the discipline limitations and scientific methods to identify the entrepreneurial opportunities. Although the existing entrepreneurial management theory provides a basis for the source of entrepreneurial opportunities, the counseling practice shows that college students still have difficulties to break through the thinking constraints and innovation bottlenecks in the selection process of entrepreneurial plan project. Based on the perspective of effectual logic, this study introduces TRIZ "9 windows" resource analysis tool, combines it with PEST model, designs the selection path of entrepreneurship plan project, and applies it to the process of tutoring college students' Entrepreneurship plan project. Through the counseling practice of College Students' innovation and Entrepreneurship Program in 2021, the effectiveness of the design path of this study is tested.
- Published
- 2021
31. Strategic analysis and planning toolbox
- Author
-
Grünig, Rudolf, Kühn, Richard, Grünig, Rudolf, and Kühn, Richard
- Published
- 2011
- Full Text
- View/download PDF
32. For a Few Dollars More: Verified Fine-Grained Algorithm Analysis Down to LLVM
- Author
-
Maximilian P. L. Haslbeck, Peter Lammich, and Formal Methods and Tools
- Subjects
Structure (mathematical logic) ,Theoretical computer science ,Correctness ,Computer science ,Semantics (computer science) ,Resource analysis ,Introsort ,020207 software engineering ,02 engineering and technology ,Binary logarithm ,Resource (project management) ,Chain (algebraic topology) ,020204 information systems ,2023 OA procedure ,0202 electrical engineering, electronic engineering, information engineering ,Software - Abstract
We present a framework to verify both, functional correctness and worst-case complexity of practically efficient algorithms. We implemented a stepwise refinement approach, using the novel concept of resource currencies to naturally structure the resource analysis along the refinement chain, and allow a fine-grained analysis of operation counts. Our framework targets the LLVM intermediate representation. We extend its semantics from earlier work with a cost model. As case study, we verify the correctness and $$O(n\log n)$$ O ( n log n ) worst-case complexity of an implementation of the introsort algorithm, whose performance is on par with the state-of-the-art implementation found in the GNU C++ Library.
- Published
- 2022
33. Resource Analysis of Automotive/Infotainment Systems Based on Domain-Specific Models – A Real-World Example
- Author
-
Birken, Klaus, Hünig, Daniel, Rustemeyer, Thomas, Wittmann, Ralph, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Margaria, Tiziana, editor
- Published
- 2010
- Full Text
- View/download PDF
34. An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring
- Author
-
Ivanović, Dragan, Carro, Manuel, Hermenegildo, Manuel, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Dan, Asit, editor, Gittler, Frédéric, editor, and Toumani, Farouk, editor
- Published
- 2010
- Full Text
- View/download PDF
35. Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode
- Author
-
Aspinall, David, Atkey, Robert, MacKenzie, Kenneth, Sannella, Donald, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Wirsing, Martin, editor, Hofmann, Martin, editor, and Rauschmayer, Axel, editor
- Published
- 2010
- Full Text
- View/download PDF
36. Characterising Effective Resource Analyses for Parallel and Distributed Coordination
- Author
-
Trinder, Phil, Cole, Murray, Loidl, Hans-Wolfgang, Michaelson, Greg, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, van Eekelen, Marko, editor, and Shkaravska, Olha, editor
- Published
- 2010
- Full Text
- View/download PDF
37. Improvements to a Resource Analysis for Hume
- Author
-
Loidl, Hans-Wolfgang, Jost, Steffen, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, van Eekelen, Marko, editor, and Shkaravska, Olha, editor
- Published
- 2010
- Full Text
- View/download PDF
38. Comparing Cost Functions in Resource Analysis
- Author
-
Albert, Elvira, Arenas, Puri, Genaim, Samir, Herraiz, Israel, Puebla, German, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, van Eekelen, Marko, editor, and Shkaravska, Olha, editor
- Published
- 2010
- Full Text
- View/download PDF
39. Efficient Type-Checking for Amortised Heap-Space Analysis
- Author
-
Hofmann, Martin, Rodriguez, Dulma, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Grädel, Erich, editor, and Kahle, Reinhard, editor
- Published
- 2009
- Full Text
- View/download PDF
40. Resource Usage Analysis and Its Application to Resource Certification
- Author
-
Albert, Elvira, Arenas, Puri, Genaim, Samir, Puebla, Germán, Zanardini, Damiano, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Aldini, Alessandro, editor, Barthe, Gilles, editor, and Gorrieri, Roberto, editor
- Published
- 2009
- Full Text
- View/download PDF
41. Analysis techniques and models for resource optimization in Wireless Sensor/Actuator Network environment
- Author
-
Pileggi, Salvatore F., Palau, Carlos E., Esteve, Manuel, Orozco-Barbosa, Luis, editor, Olivares, Teresa, editor, Casado, Rafael, editor, and Bermúdez, Aurelio, editor
- Published
- 2007
- Full Text
- View/download PDF
42. Resource Analysis by Sup-interpretation
- Author
-
Marion, Jean-Yves, Péchoux, Romain, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Hagiya, Masami, editor, and Wadler, Philip, editor
- Published
- 2006
- Full Text
- View/download PDF
43. The economic impact of prevention, monitoring and treatment strategies for iodine deficiency disorders in Germany
- Author
-
Betina H. Thuesen, Vjollca Qerimi Rushaj, Gaby Sroczynski, Wilhelm Oberaigner, Nikolai Mühlberger, Eftychia Koukkou, Ursula Rochau, Monika Schaffner, Henry Völzke, Uwe Siebert, and Annette Conrads-Frank
- Subjects
Thyroid nodules ,Pediatrics ,medicine.medical_specialty ,Goiter ,Total cost ,Endocrinology, Diabetes and Metabolism ,medicine.medical_treatment ,resource analysis ,030209 endocrinology & metabolism ,Abortion ,lcsh:Diseases of the endocrine glands. Clinical endocrinology ,03 medical and health sciences ,0302 clinical medicine ,Endocrinology ,Ambulatory care ,cost analysis ,salt iodization ,Internal Medicine ,medicine ,030212 general & internal medicine ,Economic impact analysis ,health care economics and organizations ,iodine deficiency ,lcsh:RC648-665 ,business.industry ,Research ,Thyroidectomy ,medicine.disease ,prevention program ,Iodine deficiency ,thyroid disorders ,business - Abstract
Objective More than 30% of the German population suffers from mild to moderate iodine deficiency causing goiter and other iodine deficiency disorders (IDDs). The economic burden of iodine deficiency is still unclear. We aimed to assess costs for prevention, monitoring and treatment of IDDs in Germany. Design We performed a comprehensive cost analysis. Methods We assessed direct medical costs and direct non-medical costs for inpatient and outpatient care of IDDs and costs for productivity loss due to the absence of work in 2018. Additionally, we calculated total costs for an IDD prevention program comprising universal salt iodization (USI). We performed threshold analyses projecting how many cases of IDDs or related treatments would need to be avoided for USI to be cost-saving. Results Annual average costs per case in the year of diagnosis were € 211 for goiter/thyroid nodules; € 308 for hyperthyroidism; and € 274 for hypothyroidism. Average one-time costs for thyroidectomy were € 4184 and € 3118 for radioiodine therapy. Average costs for one case of spontaneous abortion were € 916. Annual costs of intellectual disability were € 14,202. In the German population, total annual costs for USI would amount to 8 million Euro. To be cost-saving, USI would need to prevent, for example, 37,900 cases of goiter/thyroid nodules. Conclusion USI potentially saves costs, if a minimum amount of IDDs per year could be avoided. In order to recommend the implementation of USI, a full health-economic evaluation including a comprehensive benefit-harm assessment is needed.
- Published
- 2021
44. COMPUTER RESOURCE ANALYSIS OF THIN-WALLED STRUCTURES, WORKING IN AGRESSIVE ENVIRONMENTS
- Author
-
Leonid D. Lugantsev
- Subjects
Computer science ,Resource analysis ,Mechanical engineering ,Thin walled ,General Medicine - Abstract
The problem of brittle fracture of thin-walled shell structures operating under conditions of combined thermomechanical and corrosive effects is considered. The task solution is based on linear fracture mechanics taking into account plastic deformations in the vicinity of the tip of a developing crack and the impact of an aggressive environment. A mathematical model of the corrosion process was built, an integral part of which is a mathematical model of the corrosion rate of structural material, based on experimental data using Lagrange interpolation polynomials. A numerical method for solving the problem is proposed. To determine the available resource and the parameters of the state of the structures under consideration, a step-by-step method is used, followed by refinement using the dichotomy method. At each step of the computational process, the Cauchy problem is solved for the main system of differential equations. The proposed method for solving the problem is implemented in the form of software. The results of a computer study of the bearing capacity and resource of a typical design of a chemical apparatus body are presented.
- Published
- 2021
45. ENTRA: Whole-systems energy transparency.
- Author
-
Eder, Kerstin, Gallagher, John P., López-García, Pedro, Muller, Henk, Banković, Zorana, Georgiou, Kyriakos, Haemmerlé, Rémy, Hermenegildo, Manuel V., Kafle, Bishoksan, Kerrison, Steve, Kirkeby, Maja, Klemen, Maximiliano, Li, Xueliang, Liqat, Umer, Morse, Jeremy, Rhiger, Morten, and Rosendahl, Mads
- Subjects
- *
ENERGY consumption , *SYSTEMS design , *COMPUTER input-output equipment , *COMPUTER software development , *MATHEMATICAL models - Abstract
Promoting energy efficiency to a first class system design goal is an important research challenge. Although more energy-efficient hardware can be designed, it is software that controls the hardware; for a given system the potential for energy savings is likely to be much greater at the higher levels of abstraction in the system stack. Thus the greatest savings are expected from energy-aware software development, which is the vision of the EU ENTRA project. This article presents the concept of energy transparency as a foundation for energy-aware software development. We show how energy modelling of hardware is combined with static analysis to allow the programmer to understand the energy consumption of a program without executing it, thus enabling exploration of the design space taking energy into consideration. The paper concludes by summarising the current and future challenges identified in the ENTRA project. [ABSTRACT FROM AUTHOR]
- Published
- 2016
- Full Text
- View/download PDF
46. The Eco-Indicator 98 Explained : LCA Impact assessment methodology intended for product development application
- Author
-
Goedkoop, M. J., Sikdar, Subhas K., editor, and Diwekar, Urmila, editor
- Published
- 1999
- Full Text
- View/download PDF
47. Liquid resource types
- Author
-
Jan Hoffmann, Tristan Knoth, Nadia Polikarpova, Adam Reynolds, and Di Wang
- Subjects
FOS: Computer and information sciences ,Soundness ,Flexibility (engineering) ,Computer Science - Programming Languages ,Theoretical computer science ,business.industry ,Computer science ,Resource analysis ,020207 software engineering ,02 engineering and technology ,Type (model theory) ,Mathematical proof ,Data structure ,Automation ,Resource (project management) ,020204 information systems ,0202 electrical engineering, electronic engineering, information engineering ,Safety, Risk, Reliability and Quality ,business ,Software ,Programming Languages (cs.PL) - Abstract
This article presents liquid resource types, a technique for automatically verifying the resource consumption of functional programs. Existing resource analysis techniques trade automation for flexibility – automated techniques are restricted to relatively constrained families of resource bounds, while more expressive proof techniques admitting value-dependent bounds rely on handwritten proofs. Liquid resource types combine the best of these approaches, using logical refinements to automatically prove precise bounds on a program’s resource consumption. The type system augments refinement types with potential annotations to conduct an amortized resource analysis. Importantly, users can annotate data structure declarations to indicate how potential is allocated within the type, allowing the system to express bounds with polynomials and exponentials, as well as more precise expressions depending on program values. We prove the soundness of the type system, provide a library of flexible and reusable data structures for conducting resource analysis, and use our prototype implementation to automatically verify resource bounds that previously required a manual proof.
- Published
- 2020
48. Methodology for assessing the potential of innovative development of a small enterprise
- Author
-
O. A. Dubova
- Subjects
classification of small business resources ,HF5001-6182 ,resource analysis ,Business ,evaluation of innovation potential - Abstract
Today many enterprises face a number of issues in the process of their management. This is provoked by the fact that many enterprises need for their development any new implementation. These innovations can be implemented both in the production process and in the management process, and for the enterprise, this will be its innovation sphere. The development of the innovation sphere will allow to return the advanced capital more quickly and send it again to expand or improve the activity. Management in the innovation sphere is directed and evaluated according to the criteria of economic efficiency, therefore, it is important to give appropriate consideration to management decisions. This can not be done without a preliminary assessment of the innovative potential of the enterprise.
- Published
- 2020
49. Developer as a subject of territory promotion: resource analysis
- Author
-
Agalakova, A. M., Бритвина, И. Б., Britvina, I. B., УрФУ. Институт экономики и управления, and Кафедра интегрированных маркетинговых коммуникаций и брендинга
- Subjects
ДЕВЕЛОПМЕНТ ,РЕСУРСНЫЙ АНАЛИЗ ,DEVELOPMENT ,МАГИСТЕРСКАЯ ДИССЕРТАЦИЯ ,RESOURCE ANALYSIS ,ПРОДВИЖЕНИЕ ТЕРРИТОРИИ ,MASTER'S THESIS ,TERRITORY PROMOTION - Abstract
Научная новизна исследования состоит в выявлении потенциала ресурсов девелопера как субъекта продвижения территории. Практическая значимость исследования заключается в применении ресурсов девелоперов в создании коммуникационной стратегии для участия в продвижении города. Предложенные автором разработки позволят максимально эффективно использовать ресурсы девелопера для продвижения территории, увидеть пример подробной коммуникационной стратегии, а также использовать при реализации дальнейших научных действий в сфере маркетинга территории в связи с девелопментом. The scientific novelty of the study consists in identifying the potential of the developer's resources as a subject of territory promotion. The practical significance of the research lies in the use of developers' resources in creating a communication strategy to participate in the promotion of the city. The developments proposed by the author will make it possible to use the developer's resources as efficiently as possible to promote the territory, see an example of a detailed communication strategy, and also use it in the implementation of further scientific actions in the field of territory marketing in connection with development.
- Published
- 2022
50. Communication resources of an international industrial company in strengthening the reputation of the territory: analysis of opportunities
- Author
-
Savinova, K. K., Бритвина, И. Б., Britvina, I. B., УрФУ. Институт экономики и управления, and Кафедра интегрированных маркетинговых коммуникаций и брендинга
- Subjects
ДЕВЕЛОПМЕНТ ,РЕСУРСНЫЙ АНАЛИЗ ,DEVELOPMENT ,МАГИСТЕРСКАЯ ДИССЕРТАЦИЯ ,RESOURCE ANALYSIS ,ПРОДВИЖЕНИЕ ТЕРРИТОРИИ ,MASTER'S THESIS ,TERRITORY PROMOTION - Abstract
Научная новизна исследования состоит в систематизации элементов укрепления репутации территории и выработке взаимосвязей между деятельностью международной компании и репутацией региона. Практическая значимость исследования заключается в разработке направлений укрепления репутации Пермского края с использованием коммуникационных ресурсов ГК «Грайф». Эффективность рекомендаций – предложенные автором рекомендации позволят повысить репутацию Пермского края, как региона, благоприятного для ведения бизнеса. The scientific novelty of the study consists in identifying the potential of the developer's resources as a subject of territory promotion. The practical significance of the research lies in the use of developers' resources in creating a communication strategy to participate in the promotion of the city. The developments proposed by the author will make it possible to use the developer's resources as efficiently as possible to promote the territory, see an example of a detailed communication strategy, and also use it in the implementation of further scientific actions in the field of territory marketing in connection with development.
- Published
- 2022
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.