Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dynamic properties of systems where compl...
详细信息
Technology literacy for all on one hand and continuous demand for skilled technology engineers and workers on the other hand, poses a challenge to education systems worldwide. Recent years show efforts to integrate te...
详细信息
Technology literacy for all on one hand and continuous demand for skilled technology engineers and workers on the other hand, poses a challenge to education systems worldwide. Recent years show efforts to integrate technology into all levels of the school curriculum. the work presented here introduces one possible approach to familiarize 5/sup th/ to 6/sup th/ grade pupils with high level technology using a mobile robot as the principal tool in the curriculum. Children construct an open ended, autonomous robot while working in teams (6 per team). Each team is divided into sub-groups that represent the various skills needed for the construction and operation of the robot. they use a flow-chart software as their programming frame. At first, the teams are given simple missions, and as they progress, they are challenged with open-ended, more complex assignments. Each weekly session lasts about three hours of which a third is devoted to knowledge expansion and the rest for testing and construction. During the test phase, pupils perform experiments for deducing device properties (sensor, motor, control method, etc.). they add the device of their choice to their mobile robot system. As a typical open-ended problem, the team explores possible solutions to each problem. then they are expected to define their solutions and implement them. At the end of the year there is a contest between robots built by the various teams, to accomplish a predefined task.
the goal of point-to analysis for Java is to determine the set of objects pointed by a reference variable or a reference object field. this information has a wide variety of client applications in optimizing compilers...
详细信息
ISBN:
(纸本)1581133359
the goal of point-to analysis for Java is to determine the set of objects pointed by a reference variable or a reference object field. this information has a wide variety of client applications in optimizing compilers and softwareengineering tools. In this paper we present a point-to analysis for Java based on Andersen's point-to analysis for C [5]. We implement the analysis by using a constraint-based approach which employs annotated inclusion constraints. Constraint annotations allow us model precisely and efficiently the semantics of virtual calls and the flow of values through object fields. By solving systems of annotated inclusion constraints, we have been albe to perform practical and precies points-to analysis for Java
An asynchronous VLSI implementation of the International Data Encryption Algorithm (IDEA) is presented in this paper. In order to evaluate the asynchronous design, a synchronous version of the algorithm was also desig...
详细信息
An asynchronous VLSI implementation of the International Data Encryption Algorithm (IDEA) is presented in this paper. In order to evaluate the asynchronous design, a synchronous version of the algorithm was also designed. the VHDL hardware description language was used in order to describe the algorithm. By using Synopsys commercially available tools, the VHDL code was synthesized. After placing and routing, both designs were fabricated with 0.6 /spl mu/m CMOS technology. With a system clock of up to 8 MHz and a power supply of 5 V, the two chips were tested and evaluated, comparing them withthe software implementation of the IDEA algorithm. this new approach proves efficiently the lower power consumption of the asynchronous implementation compared to the existing synchronous one. therefore the asynchronous chip performs efficiently in WEP (Wireless Encryption Protocols) and high speed networks.
the Small Explorer (SMEX) program's ground data system (GDS) team developed risk mitigation techniques. these approaches have developed through the SMEX series of missions and are practised today under the Triana ...
详细信息
ISBN:
(纸本)0780365992
the Small Explorer (SMEX) program's ground data system (GDS) team developed risk mitigation techniques. these approaches have developed through the SMEX series of missions and are practised today under the Triana program. these techniques are: (1) Mission team organization-empowerment of a close-knit ground data system team comprising system engineering, softwareengineering, testing, and flight operations personnel. (2) Common spacecraft test and operational control system-utilization of the prelaunch spacecraft integration system as the post-launch ground data system on-orbit command and control system. (3) Utilization of operations personnel in prelaunch testing-making the flight operations team an integrated member of the spacecraft testing activities at the beginning of the spacecraft fabrication phase. (4) Consolidated test team-combining system, mission readiness and operations testing to optimize test opportunities withthe ground system and spacecraft. (5) Reuse of spacecraft, systems, standards, and people obtaining greater efficiencies through reuse of common spacecraft components, flight and ground-based subsystems, standardized interfaces, and project team personnel. the SMEX ground system development approach for faster, better, cheaper missions has been very successful. this paper discusses these risk management techniques in the areas of ground data system design, implementation, test and operational readiness.
Over the past years, there has been a growth in simulation courses both at undergraduate and postgraduate levels. A discrete event simulation course, as with any non-basic course, has some prerequisites that must be s...
详细信息
Over the past years, there has been a growth in simulation courses both at undergraduate and postgraduate levels. A discrete event simulation course, as with any non-basic course, has some prerequisites that must be satisfied by students before attending classes. Statistics, computer programming and modeling are the most important, together with knowledge on the specific field being simulated (manufacturing, logistics, etcetera). Are students sufficiently prepared to follow a course on simulation? this work is related to the construction, application and analysis of an assessment instrument to evaluate student prerequisite knowledge for a discrete event simulation course. the proposed questionnaire was given to the 5/sup th/ year engineering students at the beginning of our first year (72 hours) discrete event simulation introductory course at Maua School of engineering. the results obtained show the importance of making an assessment evaluation in order to improve the quality of simulation learning.
this paper describes a TV program generation system using digest video scenes that are retrieved from video streams withthe program indexes. the key features of the system are: (1) TV programs can be dynamically gene...
详细信息
ISBN:
(纸本)0769509819
this paper describes a TV program generation system using digest video scenes that are retrieved from video streams withthe program indexes. the key features of the system are: (1) TV programs can be dynamically generated from digest video scenes selected by user preference. (2) Directions can be added using a happiness or sadness level based on the user preferences. (3) Personalized TV programs for an individual viewer can be made. the procedures taken by the system are as follows: (1) Conjunctive expressions between scenes are automatically generated; (2) Emotional expressions are automatically generated by user preference; (3) TV program metaphors are defined; (4) Direction templates corresponding to the metaphors are defined; (5) these expressions and definitions are coded using a markup language, and (6) Contents such as virtual characters and movies are synchronized. the resultant program can be shown on a TV set.
暂无评论