The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
A modular robots is composed of many independent connected modules which are able to achieve common goals through communications. A modular self-reconfigurable robot can move and reorganize its modules to modify its shape. In this paper, we consider a modular self-reconfigurable robot made from cubic modules (blocks) that are able to slide along their faces. Sliding motions imply complex cooperations,...
Assurance cases are used to document an argument that a system -- such as a critical software system -- satisfies some desirable property (e.g., safety, security, or reliability). Demonstrating high confidence that the claims made based on an assurance case can be trusted is crucial to the success of the case. Researchers have proposed quantification of confidence as a Baconian probability ratio of...
The uniqueness of the human action shape or silhouete can be used for the human action recognition. Acquiring the features of human silhouette to obtained the concept of human action invarianceness have led to an important research in video surveillance domain. This paper discusses the investigation of this concept by extracting individual human action features using integration moment invariant....
Parametric design has been applied widely in actual production. In this paper, there is an example of a bolt type and hydraulic lifting steel Jack-up offshore platform, the model was created and assembled based on the three-dimensional modeling function of Sinovation software. Firstly the characteristics and the process of parametric design are elaborated in this study. Then it analyzes the key technology...
In this paper, a region-based symbolic three-valued logic (RSTVL) is to describe the storage state of a momory object. RSTVL utilises abstract region to simulate the block of the concrete memory, a symbolic expression to express the value of a memory object, and the interval domain to describe the value of each symbol of symbolic expression, and then various operations for memory objects are mapped...
The requirements of software users are changing dynamically with a rapid pace which is attributed to the competitive environment and strong market position. The software industry needs to accomplish wearisome task of producing and upgrading the quality application software cost-effectively. With the advent of new technology, the up gradations and enhancements in the software have become more viable...
Automated Teller Machine (ATM) is an extremely popular and trusted global technology which is at the forefront of modern financial and retail-based economies; there is a need to ensure the reliable and secure performance of an ATM in the modern banking system. As the Presenter is the main transporting system in an ATM cash Dispenser, the module performance is tracked from the field. The main objective...
The content order of geometric components in the mathematics curriculum and the teaching process in a geometry class are said to be in contrast with the existing level of geometric thinking among secondary school students in Malaysia. Van Hiele (1986) proposed that directions should be given at the same level as the students' ability and therefore recommended phases of learning geometry in order to...
Issues such as energy shortage and global warming become prominent. Meanwhile, the rapid growth of the load makes the grid pay more attention to demand side. Demand response (DR) is an effective tool to change the shape of the load. Usually buildings consume much energy, and also have great DR capability. It is crucial to assess the DR capability of buildings, which is a tough task because the building...
Graphene has extremely high thermal conductivity which can be used as a great heat spreader. The novelty of this work is to propose an optimized shape of heat spreaders with less temperature than others researchers' data. The simulation result has varied by COMSOL software with the various shapes of heat spreaders and to select an optimized shape. This paper is demonstrated the inclusion of several...
Zooplankton is an important component in the water ecosystem and food chain. To understand the influence of zooplankton on the ecosystem a data collection is necessary. In research the automatic image based recognition of zooplankton is of growing interest. Several systems have been developed for zooplankton recognition on low resolution images. For large images approaches are seldom. Images of this...
Engineering design is a complex activity for students to undertake and for instructors to assess. This research uses large learner data sets collected through automatic, unobtrusive logging of student actions in a CAD platform to address this difficulty in observing design behavior. We used a computer-aided design software that captured student design activities to investigate patterns of student...
In recent year, interoperability implementation become larger, mainly in e-Government. Interoperability is connection of various systems, information and schema of working, in among different administrations in a state or around the world. Interoperability is implemented in e-Government has a shape that distinctive each other. Interoperability is very important for e-Government services. interoperability...
Data visualizations play a prominent role in enterprise information systems in various flavors. Traditional bar, line, or pie charts, or timelines, heat maps, geographical maps, dashboard gauges, and complex relationship mappings are examples of visualizations that are frequently used in business application scenarios. Despite their extensive use, however, there is only few theoretic reflection on...
“BAU GIS” is a Programmable Geographic Information System that supports manipulation, analysis, and viewing of geospatial data and associated attribute data in several standard GIS data formats. “BAU GIS” program is a standalone application, developed using Map Window Open Source GIS and visual basic 10.0. It has been designed to address the need for a GIS programming tool that could be used in engineering...
According to the shadows and shading constraints in the Lambert illumination model, the paper proposes a method to detect image forgery. This method describes a multitude of constraints in shading and shadows based on the direction of the light source, by analyzing the intersection of the wedges to verify the images. The linear programming problem is employed to confine the direction and angle in...
The technique presented in this paper concerns the problem of how to automatically obtaining the specification of the resulting set of reachable nodes, after destructive operations over the data structure. Our work has two main contributions. First, we represent the node sets by expressions at pre-states, which facilitates the process of proving complex formulas efficiently. Second, we propose an...
We describe an artistic method used for the psychological analysis of group dynamics. The design of the artistic system, which mediates group dynamics, emerges from our studies of modular Playware and remixing Playware. Inspired from remixing modular Playware, where users remix samples in the form of physical and functional modules, we created an artistic instantiation of such a concept with the Parallel...
In the structural design of microwave components, the vibration is one of the most important factors which affect the reliability. When the natural frequency of a component is accordant with outer excitation frequency, the resonance will be set up. How to obtain the natural frequency is a difficult task to the engineers. In this paper, some influential factors are discussed. And with the aid of professional...
Index generation for satellite image is an important task for retrieving satellite image in data warehouse. The goal of index generation is to find a polygon that represents the geographic image area. Using too many vertices for satellite images index can decrease retrieval speed. Therefore, the aim of this research is to develop an algorithm for generating index for satellite images using small amount...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.