Research on Service Value Chain Model Based on Technology Service Platform

For the technology service platform, serving users with science and technology resources is the purpose of platform construction, and the quality of the service value chain affects the operation of the technology service platform. Aiming at the immature status of the research on the service value chain model of the technology service platform, this paper proposes a set of construction ideas based on the service value chain model of the technology service platform. The model takes the technology service platform as the central node, and at the same time integrates users, third-party technology service platforms, service resource providers in various fields and other participant nodes, and links the interests of all parties through a dynamic chain with value flow as the core. Each participant node cooperates with each other to form a complex, cross-domain service value chain model. In order to ensure the service quality of the platform, a feedback mechanism that reflects the attitude of users using scientific and technological service resources is introduced into the service value chain model. By taking the manufacturing of vertical elevators as an example, the operation of the service value chain is simulated, and the usability of the service value chain model is verified.

Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts

We present a static analysis approach that combines concrete values and symbolic expressions. This symbolic value-flow (“symvalic”) analysis models program behavior with high precision, e.g., full path sensitivity. To achieve deep modeling of program semantics, the analysis relies on a symbiotic relationship between a traditional static analysis fixpoint computation and a symbolic solver: the solver does not merely receive a complex “path condition” to solve, but is instead invoked repeatedly (often tens or hundreds of thousands of times), in close cooperation with the flow computation of the analysis. The result of the symvalic analysis architecture is a static modeling of program behavior that is much more complete than symbolic execution, much more precise than conventional static analysis, and domain-agnostic: no special-purpose definition of anti-patterns is necessary in order to compute violations of safety conditions with high precision. We apply the analysis to the domain of Ethereum smart contracts. This domain represents a fundamental challenge for program analysis approaches: despite numerous publications, research work has not been effective at uncovering vulnerabilities of high real-world value. In systematic comparison of symvalic analysis with past tools, we find significantly increased completeness (shown as 83-96% statement coverage and more true error reports) combined with much higher precision, as measured by rate of true positive reports. In terms of real-world impact, since the beginning of 2021, the analysis has resulted in the discovery and disclosure of several critical vulnerabilities, over funds in the many millions of dollars. Six separate bug bounties totaling over $350K have been awarded for these disclosures.

Changing Patterns of Learning in Oil and Gas Industry

Covid-19 pandemics have made innovations even more crucial and used them to take market power over competitors considering challenges that the world and global economy face. To achieve this goal, organizations need competent and high-expertise human capital as a workforce. That is one of the key reasons organizations increase their investment in developing, re-skilling and up-skilling their workforce via various learning and development programs and solutions compared to previous years. Given the direct impact of this process on the company's revenues, the following graph demonstrates the value flow generated (Figure 1): Organizations aim to ensure minimum time and efficient expenditure structures to achieve and build a learning system that delivers sustainable developmental solutions and interventions. Knowledge sustainability is a purpose, which focuses on various learning methods and solutions to make knowledge last and kept longer. A learning management system (shortly, LMS) is a platform that gathers all the learning solutions in one place and automates the process of learning to present development opportunities to end-users - learners/employees. Digital learning enables users/employees to develop their competencies quickly, no matter the place and time and makes knowledge and information accessible for all, and gives an unlimited option to relearn, repeat and refresh anything already completed unlimitedly.

Calculation of Ecological Compensation Standards for Arable Land Based on the Value Flow of Support Services

Food production is the basis for ensuring human survival. Ecological compensation for arable land is important to ensure the sustainable use of arable land and food production. However, how is it possible to set the standard of ecological compensation and how to achieve it scientifically? In this paper, we take China as the study area and link the ecological compensation of arable land with the production, circulation and consumption of three staple foods. The amount of food is converted into the area of arable land needed to produce that food. After calculating the value of ecosystem services that support food production on arable land, the ecological compensation standard is obtained, and the realization mode between regions is constructed. The results show that: (1) the flow of staple foods in China is mainly from north to south and the value of arable land support services provided by northern provinces is greater than that of southern provinces; (2) the province that needs to pay the most ecological compensation for cultivated land is Guangdong Province, with an amount of ¥16.082 billion RMB, and the province that receives the most compensation is Heilongjiang Province, with an amount of ¥21.547 billion RMB; (3) in order to coordinate the collection and distribution of ecological compensation in each province, it is necessary to establish an ecological compensation fund for arable land in the central government. Protecting the ecological status of arable land and ensuring sustainable food production is in the overall interest of the country.

Smarter Grid in the 5G Era: A Framework Integrating Power Internet of Things With a Cyber Physical System

As the energy infrastructure of smart cities, smart grid upgrades traditional power grid systems with state-of-the-art information and communication technologies. In particular, as the full deployment of the Internet of Things in the power grid (a.k.a. power Internet of Things or PIoT), the newly introduced information flow together with inherent energy flow makes it more efficient for power generation, transmission, distribution, and consumption. To further exploit the precious energy and the latest 5G technologies, this article boosts to add a value flow in the smart grid, mainly including the value created by innovative services and market mechanisms and the value added by the information flow. Specifically, by integrating PIoT with cyber-physical systems, this article sketches a conceptual framework of the cyber-physical power system (CPPS). The CPPS carries out holistic perception and ubiquitous connection of distributed energy sources and electrical facilities and builds up a smarter power grid with global information interaction, intelligent decision-making, and real-time agile control. Finally, for illustration purposes, we conduct a case study regarding an intelligent home management system.