Analysis and Design of Secure Watermark-Based Authentication Systems

<div class="htmlview paragraph">The overall vision of this project was to develop a new technology that will be an enabler to reduce design and development time of HVAC systems by an order of magnitude. The objective initially was to develop a parametric model of an automotive HVAC Windshield Defrost Duct coupled to a passenger compartment. It can be used early on in the design cycle for conducting coarse packaging studies by quickly exploring “what-if” design alternatives. In addition to the packaging studies, performance of these design scenarios can be quickly studied by undertaking CFD simulation and analyzing flow distribution and windshield melting patterns. The validated geometry and CFD models can also be used as knowledge building tools to create knowledge data warehouses or repositories for precious lessons learned.</div>

PurposeThis paper aims to examine the differences in epistemological underpinnings of conventional information systems analysis and design (ISAD) approaches (such as structured system and analysis design methodologies) and a recently developed situated ISAD approach.Design/methodology/approachThis empirical investigation involved constructing a simulated field situation to allow a conventionally trained IS analyst to analyse the same case as had been previously analysed by applying the situated ISAD methodology.FindingsWhile the conventional approach focuses on articulated knowledge and observes the system under study with a detached stance, the situated approach includes tacit knowledge and recognises the importance of the environment. The situated analyst is immersed in the system, attempting to take the subject position of an actor in the system, while also maintaining some analytical distance.Research limitations/implicationsThe research method and framework presented is a novel way to compare the epistemological underpinnings of other systems analysis and design methodologies. Validity issues are explicitly addressed in the paper; although it is based on a single case, the fact that it is a real‐world problem gives it high external validity.Practical implicationsThe investigation is based on an actual system design case and shows that, in analysis and design, the different epistemological underpinnings affect what is identified as a problem and hence the type of solution proposed.Originality/valueThere has been little previous work comparing epistemological commitments of alternative ISAD methodologies as they are played out in actual application. This paper makes a significant contribution to the theoretical foundations of IS.

Brahms is a multi-agent modeling language for simulating human work practice that emerges from work processes in organizations. The same Brahms language can be used to implement and execute distributed multi-agent systems, based on models of work practice that were first simulated. Brahms demonstrates how a multi-agent belief-desire-intention language, symbolic cognitive modeling, traditional business process modeling, activity-and situated cognition theories are brought together in a coherent approach for analysis and design of organizations and human-centered systems.

This paper presents an expert system approach for design and analysis of substation grounding systems. The methodology is applicable to equally spaced as well as unequally spaced grounding grids. The knowledge required to perform the substation ground design has been acquired from IEEE Std 80-1886, IEEE Std 142-1991 and safety practices and then represented by using a production rules technique. A graphic user interface (GUI) is provided to familiarize the user with the proposed expert system. In this paper, general system structure as well as rules and data representations are discussed. An illustrative example is presented using a 132 kV transformer substation rehabilitation project of Misr Aluminum company. This expert system can assist grounding system engineers to obtain a safe grounding system which is one of most important design aspects of substations.

Web personalization facilitate customizing a web site as per users preferences by using the various data mining techniques, taking advantage of the knowledge acquired from the analysis of the user’s navigational usage data. The web personalization reduces the searching time of the user and serves the purchasing interest of the user. In this paper, we have proposed the Analysis and design of the E-Commerce Systems. On the basis of the proposed Software specification Requirements ,for analysis of the systems, we proposed the class diagram for Preprocessing Systems, Knowledge Discovery Systems and Recommendation Subsystems and then provided workflow of the systems by proposing the required functional model of the systems. In the design of the systems we proposed the data structure design and Dynamic Web Systems architecture and implemented the systems. Lastly we have shown the results of the navigational behavior of the user during particular transaction.

The Data Time Flow Simulator (DTF) has been developed at the AIT Austrian Institute of Technology in the course of the EU ARTEMIS Project POLLUX which is related to the design of electronic control systems for the next generation of electric vehicles. In previous work, we have introduced a generic approach for performance analysis of vehicle electronic control systems using the DTF. The main issue of this paper is to demonstrate the practicability of this design methodology by means of a specific use case, namely the performance analysis of a vehicle control system for an electric city car, designed using inputs from different POLLUX project partners from the automotive industry.

The paper examined the problem of modeling and design of software computer systems. The article briefly describes the content aspects of the various stages of the implementation of software complexes and systems. The methodology of research and analysis of systems, which uses the method of computer simulation modeling, is given. The aim of the work is to create a new universal approach to the design and implementation of software systems of various levels of complexity. During the study, the following general scientific methods were used: system analysis, synthesis, formalization, modeling, decomposition, structuring, description, comparison. The materials used in the study were: computers and software development tools. As a result of the study proposed a universal agent-module approach to the design and implementation of software systems based on simulation agent-based modeling. The study presents the processes of modeling and designing software systems, their stages, and the possibility of their integration within the described approach. Examples of formal model and structure of the software system under design based on the agent-module approach are presented. The proposed approach can be used in the process of software development at the initial stages related to modeling and designing of software systems. Integration of modeling and design stages in the proposed approach will significantly reduce software development time and simplify the design process by making it clearer and more formalized. Materials of the article are of scientific and practical value for a wide range of specialists interested in system analysis, modeling, design and implementation of software systems.

In this paper some new mathematical technique used in the design and analysis of cipher systems have been reviewed. Firstly, some modern cryptosystems like stream ciphers, permutation-based systems and public key encryption systems are described and the mathematical tools used in their design have been outlined. Special emphasis has been laid on the problems related to application of computational complexity to cryptosystems. Recent work on the design of the systems based on a combined encryption and coding for error correction has also been reviewed. Some recent system-oriented techniques of cryptanalysis have been discussed. It has been brought out that with the increase in the complexity of the cryptosystems it is necessary to apply some statistical and classification techniques for the purpose of identifying a cryptosystem as also for classification of the total key set into smaller classes. Finally, some very recent work on the application of artificial intelligence technique in cryptography and cryptanalysis has been mentioned.

The Structured Systems Analysis and Design Method (SSADM) is the standard method for systems analysis and design in Government batch and transaction processing projects. In SSADM, analysis and design are clearly separated activities. Systems analysis is concerned with defining what has to be done, systems design with how it will be done.

We propose two low-complexity lattice code constructions that have competitive coding and shaping gains. The first construction, named systematic Voronoi shaping , maps short blocks of integers to the dithered Voronoi integers, which are dithered integers that are uniformly distributed over the Voronoi region of a low-dimensional shaping lattice. Then, these dithered Voronoi integers are encoded using a high-dimensional lattice retaining the same shaping and coding gains of low- and high-dimensional lattices. A drawback to this construction is that there is no isomorphism between the underlying message and the lattice code, preventing its use in applications such as compute-and-forward. Therefore, we propose a second construction, called mixed nested lattice codes , in which a high-dimensional coding lattice is nested inside a concatenation of low-dimensional shaping lattices. This construction not only retains the same shaping/coding gains as first construction but also provides the desired algebraic structure. We numerically study these methods, for point-to-point channels as well as compute-and-forward using low-density lattice codes as coding lattices and $E_{8}$ and Barnes–Wall as shaping lattices. Numerical results indicate a shaping gain of up to 0.86 dB, compared with the state-of-the-art of 0.4 dB; furthermore, the proposed method has lower complexity than the state-of-the-art approaches.

Recent years have seen significant advances in systems development methodologies. Structured systems analysis and design approaches have been complemented and often substituted by a variety of new approaches such as prototyping, Object-Oriented Analysis and Design methodologies (OOADM), and Rapid Application Development (RAD), among others. System development methodologies and methods have always reflected the available toolsets, e.g., Fourth Generation languages and CASE tools, which enabled rapid application development. Organizational focus has also shifted over the years from Transaction systems to decision support and competitive intelligence. The frequent, expensive occurrences of implementation failures are a stark reminder of the need for appropriate methodological approaches to implementing BI systems. This chapter examines the peculiar methodological needs of BI systems and contrasts those systems with earlier transactional and reporting systems. Based on this comparison and analysis, a methodological framework and approach is proposed for effectively developing and implementing BI information systems.

This paper presents an approach for reliability analysis of repairable systems with two-unit parallel structure considering Common Cause Failure (CCF) and maintenance correlation based on GO methodology. First, the GO algorithm for dealing with CCF is introduced. Then, the common cause failure probability formulas of two-unit parallel structure considering maintenance correlation are deduced based on Markov theory. Furthermore, the analysis process of the new GO method is formulated. Finally, the dynamic availability analysis of HTOSS is conducted by the GO method. And the result is compared with the result of system considering CCF, and the result of system without considering CCF and maintenance correlation. The results show that the CCF and maintenance correlation are not ignored for reliability analysis of such system. All in all, this study not only widens the application of GO method. But it also provides guidance and an approach for reliability analysis of repairable systems with two-unit parallel structure considering CCF and maintenance correlation.

We propose a class of practical efficient lattice codes for real-valued full-duplex one- and two-way relay channels. First, we investigate the problem from a theoretical perspective, proposing lattice-coding instantiations of superposition block Markov encoding. Our encoding/decoding strategies recover the well-known decode-and-foward rates for the one-way relay channel and a previously-proven rate region for the two-way relay channel. Then, we construct practical, low-complexity implementations of these schemes using low-density lattice codes. Simulations show that our schemes achieve performance as close as 2.5 dB away from theoretical limits. Finally, we show that, due to features inherent to full-duplex relaying and practical codes, the gap to theoretical limits depends on the channel gains and transmit power of the relay relative to the source(s). We characterize this gap analytically, providing insight into the design of practical full-duplex relay systems.

Effective teaching of Systems Analysis, Information Systems, or Management Information Systems requires innovative approaches that go beyond the traditional classroom approaches. The panel will present ideas that have worked successfully and can possibly be utilized by other departments. The approaches center on the application of learned material into a setting that will allow the student to experience the “work place” environment. Actual projects done in a team setting is the real key to improving the students learning of the subject material in systems analysis and design courses. This approach involves the skills of working in a team, writing, and presentation. The graduate gains experience and therefore preparation for the eventual job they will be doing from their class projects. Requirements of the faculty increase somewhat in this type of approach and the panel will discuss these issues also. Robert A. Barrett, Moderator In the area of systems analysis, information systems, and management information systems, we have in past symposiums presented papers that outline the courses and the course contents. We have not dealt with some of the approaches or methodologies of student assignments and work. Our department has an advisory committee that provides input/guidance to the needs that business and industry have in regards to the individual who is working as a programmer, programmer/analyst, or systems analyst. One of the major issues that is being discussed (and has been over the past two years) is the writing, speaking and team concept abilities of the working professional. We have incorporated many of the needs in the individual classes to enhance and reinforce the learning of the student in these three areas. We put the student into teams as much as possible and require as many written reports and presentations as possible. Ernest A. Kallman At Bentley the systems design course is a capstone course for seniors only. Its objective, beyond the obvious purpose of covering the systems design function, is to help the student make the transition from textbook understanding of information systems to actual real world experience. To that end some part of the course is given over to topics such as installation organization and management. To add further realism a team project is assigned which requires the observation of an actual computer installation in some organization other than Bentley College. John F. Schrage The curriculum follows concepts noted in the major computer curricula studies from ACM on both undergraduate and graduate levels. The DPMA model curriculum also influenced the program in information systems. The programs provide training and education in both programming and systems with specializations somewhat determined by each student. The number of systems courses has expanded in the last three years. The systems concepts are presented, reinforced in intermediate courses, and culminated in a real-world project for both levels of students. The capstone situation for all students in the computer area is a real-life problem and solution. Students form into teams of three or four and find an area company which has a systems-oriented problem applicable for solution within the ten-week term. The team approach is used in most of the courses, but the independence of students in this course shows more on adapting for the job market. Team work is done in all courses after the introduction course in concepts and programming.

This paper aims at defining a model-driven approach for the diagnosability analysis of discrete event systems (DES). The proposed approach can be adopted during the design of modern control systems, in which many sensors and actuators are employed and the diagnosability of faults within a certain delay could be an issue. The proposal represents a first step towards an automatic model-driven process which derive formal models from a complete high-level specification of DESs. The specification activity of our approach relies on the Dynamic STate Machine (DSTM) formalism, a new language that extends state machines with dynamic instantiation, interrupts and asynchronous communication. The paper will describe how we can automatically derive Petri net and Promela models from the high-level DSTM specification. The former model can be used to apply diagnosability analysis approaches proposed in the DES community, while the latter can be used to apply model checking techniques. An application of the proposed model-driven approach is described by deriving both a PN and a Promela model for the well-known railway level crossing benchmark.