this work-in-progress paper presents our current effort toward the development of compositional modeling formalisms and scalable algorithms for high-assurance design of industrial cyber-physical systems, with emphasis...
详细信息
ISBN:
(纸本)9781665409674
this work-in-progress paper presents our current effort toward the development of compositional modeling formalisms and scalable algorithms for high-assurance design of industrial cyber-physical systems, with emphasis on smart manufacturing systems. A requirement engineering methodology is implemented within CHASE, a software framework supporting contract-based representations of systems and components to facilitate analysis and design space exploration. We provide an overview of CHASE and discuss its application to the design of a robotic arm. this paper is accompanied by a poster describing the architecture of CHASE and a demonstration of its application to the case study.
Today drones are becoming widely used in everyday life, and among these intended uses we meet autonomy solutions more frequently. However, the problem of indoor navigation is still an unsolved question. In our present...
详细信息
ISBN:
(纸本)9781538621653
Today drones are becoming widely used in everyday life, and among these intended uses we meet autonomy solutions more frequently. However, the problem of indoor navigation is still an unsolved question. In our present research, we would like to discover this segment better and propose a solution.
In 2021, the World Health Organization estimates that there are approximately 70 million deaf mutes in the world. At present, the method that facilitates the communication between normal people and deaf mutes is still...
详细信息
PT XYZ builds an application in Education Technology to facilitate education processes easier, a necessity, especially in this pandemic era. Like many other startups who want to deliver faster and better, PT XYZ imple...
详细信息
ISBN:
(纸本)9781665442640
PT XYZ builds an application in Education Technology to facilitate education processes easier, a necessity, especially in this pandemic era. Like many other startups who want to deliver faster and better, PT XYZ implements Scrum in its software development process. However, there are problems in the process indicated by the discrepancies of Sprint Goal coni pared to the Objective Key Result (OKR) set. this research evaluates the organization's software development process maturity and recommends improvement using a combination of Scrum Maturity Model (SNIM) and Agile Maturity Model (AN1M) frameworks, We collected data by interviewing, filling questionnaires, and observing the software development process, documentation, and tools. the result was processed using KPA rating from Agile Maturity Model. Our research shows that the organization's maturity level is at 1, with all general goals achieving a large rating. We recommend that PT XYZ implement 14 out of 69 practices in SMM that has not implemented. We also recommend the organization start the improvement from General Goals in maturity level 2, so the organization can also improve the general maturity. the stages of the research can be used as a reference in assessing maturity and providing recommendations for other startups.
this paper addresses the semantic gap between the domain knowledge and software application engineering by proposing a framework for mapping and integrating multiple heterogeneous data sources with application busines...
详细信息
ISBN:
(纸本)9781538633687
this paper addresses the semantic gap between the domain knowledge and software application engineering by proposing a framework for mapping and integrating multiple heterogeneous data sources with application business logic by means of data semantic enrichment, aggregation, filtering and processing. Based on the main drawbacks identified in the current knowledge enhanced software application architectures, a generic framework for automating their development process is proposed. the framework reduces the implementation stage of complex applications to a simple task of editing a configuration file which can be performed even by the domain expert himself. Two use cases of the proposed framework are presented for developing semantically-enhanced applications. the first use case is described within the FP7 GEYSER research project in the context of energy-efficiency, while the second use-case is presented in the e-health context for generating applications over the Fitbit platform.
Ensuring sustainable development is considered from the standpoint of entropy theory. Various directions of the struggle withthe growth of entropy are proposed, the necessary conditions for sustainable development ar...
详细信息
this study focused on the development of online Mobile Grade Viewer that allows access to student grades. It used the descriptive research method and employed the QUIS 7.0 questionnaire. the survey involved 350 respon...
详细信息
In this paper, we mainly do the research about the non-overlapping community discovery. We use the GN algorithm and LP algorithm to test the randomly generated network, and compare the two algorithms in two layers, wh...
详细信息
ISBN:
(纸本)9781509061266
In this paper, we mainly do the research about the non-overlapping community discovery. We use the GN algorithm and LP algorithm to test the randomly generated network, and compare the two algorithms in two layers, which are the time complexity level, and the static network's synchronization capability level. the simulation results show that the two algorithms are applicable to different scenes.
In the developing countries, most of the Manual Material Handling (MMH) related tasks are labor-intensive. It is not possible for these countries to assess injuries during lifting heavy weight, as multi-camera motion ...
详细信息
ISBN:
(纸本)9781665412957
In the developing countries, most of the Manual Material Handling (MMH) related tasks are labor-intensive. It is not possible for these countries to assess injuries during lifting heavy weight, as multi-camera motion capture, force plate and electromyography (EMG) systems are very expensive. In this study, we proposed an easy to use, portable and low cost system, which will help the developing countries to evaluate injuries for their workers. the system consists of two hardware and three software. the joint angle profiles are collected using smartphone camera and Kinovea software. the vertical Ground Reaction Force (GRF) is collected using Wii balance board and Brainblox software. Finally, the musculoskeletal analysis is performed using OpenSim Static Optimization tool to find the muscle force. the system will give us access to a comprehensive biomechanical analysis, from collecting joint angle profiles to generating muscle force profiles. this proposed framework has the potential to assess and prevent MMH related injuries in developing countries.
Due to the current labor shortage situation, combined withthe spread of COVID-19, the researchers came up withthe idea of developing a contactless remote robotic arm system based on IoT. this research focuses on dev...
详细信息
暂无评论