Resource Analysis Tools Research Articles

Research on the Project Selection Path of Counseling Graduate Students' Entrepreneurship Plan Driven by TRIZ Resource Analysis

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.

A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell*

We present a formal translation of a resource-aware extension of the Abstract Behavioral Specification (ABS) language to the functional language Haskell. ABS is an actor-based language tailored to the modeling of distributed systems. It combines asynchronous method calls with a suspend and resume mode of execution of the method invocations. To cater for the resulting cooperative scheduling of the method invocations of an actor, the translation exploits for the compilation of ABS methods Haskell functions with continuations. The main result of this article is a correctness proof of the translation by means of a simulation relation between a formal semantics of the source language and a high-level operational semantics of the target language, i.e., a subset of Haskell. We further prove that the resource consumption of an ABS program extended with a cost model is preserved over this translation, as we establish an equivalence of the cost of executing the ABS program and its corresponding Haskell-translation. Concretely, the resources consumed by the original ABS program and those consumed by the Haskell program are the same, considering a cost model. Consequently, the resource bounds automatically inferred for ABS programs extended with a cost model, using resource analysis tools, are sound resource bounds also for the translated Haskell programs. Our experimental evaluation confirms the resource preservation over a set of benchmarks featuring different asymptotic costs.

Resource Analysis driven by (Conditional) Termination Proofs

AbstractWhen 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.

Wind resource modelling in complex terrain using different mesoscale–microscale coupling techniques

Wind resource evaluation in two sites located in Portugal was performed using the mesoscale modelling system Weather Research and Forecasting (WRF) and the wind resource analysis tool commonly used within the wind power industry, the Wind Atlas Analysis and Application Program (WAsP) microscale model. Wind measurement campaigns were conducted in the selected sites, allowing for a comparison between in situ measurements and simulated wind, in terms of flow characteristics and energy yields estimates.Three different methodologies were tested, aiming to provide an overview of the benefits and limitations of these methodologies for wind resource estimation. In the first methodology the mesoscale model acts like “virtual” wind measuring stations, where wind data was computed by WRF for both sites and inserted directly as input in WAsP. In the second approach, the same procedure was followed but here the terrain influences induced by the mesoscale model low resolution terrain data were removed from the simulated wind data. In the third methodology, the simulated wind data is extracted at the top of the planetary boundary layer height for both sites, aiming to assess if the use of geostrophic winds (which, by definition, are not influenced by the local terrain) can bring any improvement in the models performance.The obtained results for the abovementioned methodologies were compared with those resulting from in situ measurements, in terms of mean wind speed, Weibull probability density function parameters and production estimates, considering the installation of one wind turbine in each site. Results showed that the second tested approach is the one that produces values closest to the measured ones, and fairly acceptable deviations were found using this coupling technique in terms of estimated annual production. However, mesoscale output should not be used directly in wind farm sitting projects, mainly due to the mesoscale model terrain data poor resolution. Instead, the use of mesoscale output in microscale models should be seen as a valid alternative to in situ data mainly for preliminary wind resource assessments, although the application of mesoscale and microscale coupling in areas with complex topography should be done with extreme caution.

Structure of a forested urban park: Implications for strategic management

Informed management of urban parks can provide optimal conditions for tree establishment and growth and thus maximize the ecological and aesthetic benefits that trees provide. This study assesses the structure, and its implications for function, of the urban forest in Allan Gardens, a 6.1 ha downtown park in the City of Toronto, Canada, using the Street Tree Resource Analysis Tool for Urban Forest Managers (STRATUM). Our goal is to present a framework for collection and analysis of baseline data that can inform a management strategy that would serve to protect and enhance this significant natural asset. We found that Allan Garden’s tree population, while species rich (43), is dominated by maple ( Acer spp.) (48% of all park trees), making it reliant on very few species for the majority of its ecological and aesthetic benefits and raising disease and pest-related concerns. Age profiles (using size as a proxy) showed a dominance of older trees with an inadequate number of individuals in the young to early middle age cohort necessary for short- to medium-term replacement. Because leaf area represents the single-most important contributor to urban tree benefits modelling, we calculated it separately for every park tree, using hemispheric photography, to document current canopy condition. These empirical measurements were lower than estimates produced by STRATUM, especially when trees were in decline and lacked full canopies, highlighting the importance of individual tree condition in determining leaf area and hence overall forest benefits. Stewardship of natural spaces within cities demands access to accurate and timely resource-specific data. Our work provides an uncomplicated approach to the acquisition and interpretation of these data in the context of a forested urban park.

Visualization Techniques for Schedule Comparison

AbstractProject schedules are effectively represented by Gantt charts, but comparing multiple versions of a schedule is difficult. To compare versions with current methods, users must search and navigate through multiple large documents, making it difficult to identify differences. We present two novel visualization techniques to support the comparison of Gantt charts. First, we encode two Gantt charts in one view by overlapping them to show differences. Second, we designed an interactive visual technique, the ‘TbarView’, that allows users to compare multiple schedules within one single view. We evaluated the overlap and TbarView techniques via a user study. The study results showed that our design provided a quick overview of the variances among two or more schedules, and the techniques also improved efficiency by minimizing view switching. Our visual techniques for schedule comparison could be combined with other resource analysis tools to help project teams identify and resolve errors and problems in project schedules.

The TRIZ Resource Analysis Tool for Solving Management Tasks: Previous Classifications and their Modification

This paper illustrates different approaches of classifying resources inside the field of TRIZ and in the strategic management with focus on the Resource‐based View. The Resource‐based View is introduced in order to discuss resources under management aspects. The goal is to integrate the most promising approaches for increasing the effectiveness of the TRIZ‐based resource analysis. The TRIZ‐based comprehension of resources will be broadened such that the specifications of management problems are sufficiently considered. Based on the proposed classification, a three‐step process to analyse resources in well‐structured form based on TRIZ is recommended. In that way, the problem‐solver can identify resources that might not normally be viewed as such. Furthermore, the proposed classification includes different categories of resources, with examples in the field of management that can be used as a database.