Real Time GIS Data Tool, GeoData Web Editor  This technology is an open source GIS data tool. GIS provides a mechanism for management, analysis, and display of geographic knowledge, which is represented using a series of information sets such as maps and globes, geographic data sets, processing and work flow models, data models, and metadata. This technology utilizes an existing platform technology from ESRI Inc., ArcIMS. The ArcIMS platform technology is a server-based product that provides a scalable framework for distributing GIS services and data over the Web. The tool provides Web publishing capability for GIS maps, data, and metadata for access by users inside and outside an organization. ArcIMS enables Web sites to offer GIS data, interactive maps, metadata catalogs, and focused GIS applications. The GeoData function allows a real time editor application to be used for mapping and visualizing changes in location. The technology is similar to MapQuest, but differs in that it interprets street anomalies more accurately and further inputs those changes automatically into the information center responsible for data tracking (in Michigan, as an example, it is the Michigan Information System). |
Web Enabled Urban Planning Teaching Tool Called Web Polis Web Polis is an interactive tool developed to encourage and facilitate community participation through an online portal. This technology provides a direct link for local communities through an open information sharing environment. Web Polis offers a suite of applications including online discussion forums, newsletters, consensus builders, real estate analysis, a mapping/GIS component for spatial analysis, and community online survey prototypes with integral statistical analyses. The targeted users of the tool include city officials, economic development groups, the educational community (to teach politics and city government), and urban planning groups. |
PCAP- Parallel Contig Assembly Program (formerly CAP3 - Method for solving repeating problems with constraints)  The PCAP whole-genome assembly program, developed at Michigan Tech, can process tens of millions of reads into long sequences. The PCAP package is a set of programs for generating a genome assembly from a set of reads and a set of forward-reverse read pairs. PCAP can handle a genome of 30 Mb on a computer with one processor, a genome of 300 Mb on a shared-memory computer with 10 processors, and a genome of 3 Gb on a distributed computer cluster of 100 processors. The program has several features to address issues in whole-genome assembly increasing efficiency and accuracy. Test results completed on a mouse whole-genome data set of 30 million reads, show that the assembly computation was efficient enough to handle a whole-genome data set. Accuracy tests performed on a human chromosome 20 data set of 1.7 million reads indicated acceptable accuracy rates.
PCAP contains a few major programs for generating an assembly and a few minor programs for formatting an assembly and collecting statistics on an assembly. In addition, PCAP contains several Perl Scripts for automatically running the major and minor programs in the proper order. PCAP produces a contiguous assembly with a low global misassembly rate and is efficient in computer memory. An assembly in .ace file format produced by PCAP can be viewed and edited in Consed. |
Analysis and Annotation Tool (AAT) Most small engines still use traditional carburetor technology which produces decreased reliability and increased emissions when compared to fuel injection. Current electronic fuel injection technology is not cost effective for application in small engines. This technology allows for the manufacture of a low-cost mechanical fuel injector that can be utilized in place of a traditional carburetor. Development work to-date suggests that the mechanical injector can be designed to simply replace existing carburetors on production small engines without any significant redesign other than a means to connect the injector to the engine’s camshaft. |
MAP: A Multiple Alignment Program The MAP program computes a multiple global alignment of sequences using iterative pairwise method. The underlying algorithm for aligning two sequences computes a best overlapping alignment between two sequences without penalizing terminal gaps. In addition, long internal gaps in short sequences are not heavily penalized. So MAP is good at producing an alignment where there are long terminal or internal gaps in some sequences. The MAP program is designed in a space-efficient manner so long sequences can be aligned. Note that sequences must be all DNA/cDNA sequences or all protein sequences. |
MTS Algorithm Dr. Subhash has developed a mathematical algorithm for reconstructing partial signals and signal processing in the presence of noise. This algorithm can have general application. It was originally developed as a NVH application for system response. |
Embedded systems and Artificial Intelligence Derived Biosensor Devices  This is application-driven research focused on the use of artificial intelligence and embedded systems in biosensors and imaging devices. One of the technologies that is being developed involves a device that traps and kills HIV infected cells. The device conceivably would be implanted into the lymph system and proactively recruit infected cells. Additionally, research is focused on a sensor to map the progression of brain cancer using 3-D mathematical modeling and an embedded systems approach. While these are early stage technologies, the architecture that enables functionality of the sensors involves the generation of a circuit without using a microprocessor. The research has yielded a way to use JAVA to create the circuit. This concept could have the potential to be used in a number of different applications, including wide use in the biosensor field. |
Soft Computing and Embedded Systems This program of research is focused on two areas. The first involves the development of soft computing techniques and their applications to computer learning and pattern recognition. Specific research topics include classification and regression trees, fuzzy systems, global optimization algorithms, and fuzzy-neural computing. The second involves the development of an interactive, subroutine-threaded programming language for embedded systems. It also includes the study of issues related to the design of embedded systems including hardware/software co-design, microcontrollers, and FPGA synthesis using VHDL. |
Cluster of Advanced Symmetric Multiprocessing Computers for High Performance Scientific Calculations  cquisition of a Cluster of Advanced Symmetric Multiprocessing Computers for High Performance Scientific Calculations will help to meet the needs of active and productive CMU scientists in the computationally demanding fields of theoretical nuclear and condensed matter physics, and mesoscale numerical meteorology. Targeted applications in this project include problems of nuclear structure, nuclear reaction rates, and thermonuclear reaction rates in supernovae. Applications in condensed matter and materials physics include studying the physical and chemical properties of nanometer-scale atomic clusters, and the functional properties of defective materials, including semiconductor systems proposed for use in quantum computing. These studies will involve calculations of unusual complexity that require access to advanced, high performance resources.
Integration of the proposed research with education and training efforts is a major goal of the project. A series of hands-on workshops in High Performance Computing will be develop and deliver to fill a void that exists in the current curriculum at Central Michigan University. The workshops will be open to students and faculty from across the college. This project will also provide many opportunities to engage students directly in research. Dissemination of the research results is another important component of the project. |
Numerical Speedup Using Flowpaths Applications for computer simulations include many research areas such as weather prediction, tracking the location and concentrations of contaminants in groundwater, oil recovery, studying disease processes, designing experiments, and developing medications. In these and several other applications, it is desirable to achieve speedup of numerical code. Current work in speeding up numerical simulations has several disadvantages. Considering the various disadvantages of each method, project will develop methods that increases the speed and (1) does not require rewriting an existing algorithm, although could be improved even further by making minor coding modification, (2) does not require algorithms written in traditional languages to be rewritten in other language, (3) executes portions of the code in parallel but does not suffer from the overhead of either a single microprocessor or multi-processor architecture, and (4)does not require time and effort to engineer and implement a special circuit for different types of numerical algorithms. This work proposes to develop such a technology using flowpaths where, starting with a C (or potentially FORTRAN) description of a numerical algorithm, a compiler will generate an executable that can be downloaded and will run on the Power PC embedded in an FPGA with parallel flowpaths to speedup the bottleneck loops in the numerical algorithm automatically.
With such a speed-up, some simulations that require real-time execution that can not currently be achieved by a PC will be able to run at a higher speed and achieve a real-time pace. The success of this research will result in future investigation including deriving optimizations for the compiler and resulting circuits, improving numerical schemes for optimal implementation in hardware and enhancing the compiler to support other popular languages.
The intellectual merit of this research project from a scientific computational standpoint lies in the discovery of new coding techniques that make optimal use of flowpaths in order to achieve higher simulation speeds. The intellectual merit in hardware design for speedup lies in the unique use of flowpaths for creating special-purpose processors for new and existing numerical code, automatically. This project serves as a novel interdisciplinary approach, combining expertise in scientific computation of numerical algorithms and high-speed embedded systems for significantly increasing the performance of numerical code, with impact both in software as well as in hardware technologies. |
An Aspect-Oriented Approach to Developing UML Models of Access The research is concerned with developing aspect-oriented design (AOD) techniques that facilitate the development of UML models of secure software systems based on access control mechanisms. This requires addressing the following issues: (1) developing a rigorous notation for describing access control mechanisms in a form that promotes their reusability and composibility with UML models, (2) developing weaving
algorithms to systematically incorporate access control properties into an application model, (3) analyzing woven models to verify correct realization of the access control mechanism applied, (4) developing a prototype tool that supports weaving and analysis of woven models,(5) validating the effectiveness of the techniques and prototype tool developed in this research.
Major merits of the research include that (1) the proposed approach increases the reusability and understandability of access control mechanisms, (2) the weaving techniques provide systematic ways of incorporating access control mechanisms into UML models, (3) the evaluation techniques allow one to rigorously check security assurance for woven models, and (4) woven models can be served as a basis for generating implementation code. The results of the research will be validated in collaboration with industries, disseminated via research papers, and incorporated in software engineering and security courses. The research is concerned with developing aspect-oriented design (AOD) techniques that facilitate the development of UML models of secure software systems based on access control mechanisms. This requires addressing the following issues: (1) developing a rigorous notation for describing access control mechanisms in a form that promotes their reusability and composibility with UML models, (2) developing weaving algorithms to systematically incorporate access control properties into an application model, (3) analyzing woven models to verify correct realization of the access control mechanism applied, (4) developing a prototype tool that supports weaving and analysis of woven models,(5) validating the effectiveness of the techniques and prototype tool developed in this research.
Major merits of the research include that (1) the proposed approach increases the reusability and understandability of access control mechanisms, (2) the weaving techniques provide systematic ways of incorporating access control mechanisms into UML models, (3) the evaluation techniques allow one to rigorously check security assurance for woven models, and (4) woven models can be served as a basis for generating implementation code. The results of the research will be validated in collaboration with industries, disseminated via research papers, and incorporated in software engineering and security courses. |
CyberSecurity Capacity Building This project is disseminating results and providing support materials for The Information Assurance and Security (IAS) Education project. The IAS, initially developed in the Department of Computer Science and the Department of Management, Marketing, and Finance at North Dakota State University (NDSU), helps achieve Academic Excellence in Information Assurance and Security Education. The IAS is built upon close collaborations with consultants and partnerships from academia, industry and government. Project tasks include:
1. Training our faculty through the Center of Academic Excellence in Information
Assurance Education at Iowa State University, in which faculty members develop and deliver information assurance security modules able to be readily included in core courses in IAS.
2. Developing new courses and revising existing ones by integrating IAS modules into selected courses. The federal training documents provided by the Committee on
National Security Systems (CNSS) will be consulted.
3. Tailoring student capstone and course projects to IAS.
4. Establishing partnerships between disciplines and departments, among the U.S. academic institutions, industry and government, for developing specific projects and involving their personnel in teaching.
5. Developing the career interest of junior high school girls in IAS by organizing a workshop session. |
Backward Analysis of Logic Programs This three-year US-UK cooperative research project in computer programming involves Lunjin Lu and his students at Oakland University and Andy King of the University of Kent in Canterbury, United Kingdom. NSF financial support will cover the costs of annual visits by the US investigator and his students to the United Kingdom to implement the joint research. The investigators propose to develop a new framework for logic program analysis. The research focuses on (1) designing, implementing and evaluating backward logic program analyses and (2) developing program analyses that provide useful information in program debugging and compilation. The US principal investigator and his British colleague have worked together previously on backward analyses for logic programs. In continuing their efforts, they propose to demonstrate the framework's applicability to new programming environments.
The US investigator brings to the collaboration expertise in the fields of logic programming and semantic-based program manipulation. This is complemented by Dr. King's expertise in theoretical computer science, in particular programming language research. Their findings will help improve software development environments for logic programming. |
An Integrated Framework for Semantic-Based Analysis of Logic Programs Semantic-based program analysis provides useful information to compilers, debuggers and other program manipulation tools. Existing frameworks for logic program analysis do not provide support for backward or parametric analyses that are emerging as useful tools in logic program development. Nor do they provide sufficient support for
context-sensitive analyses. The project seeks to create a new framework that will support these new classes of analyses as well as
those supported by existing frameworks. The research focuses on (i) developing systematic methods for designing parametric, backward and context-sensitive analyses and methods for efficient computation of these analyses; (ii) integrating research findings in logic program analysis; (iii) implementing a software environment that facilitates design, implementation and evaluation of program analyses; and (iv) identifying, implementing and evaluating new program analyses. A
better understanding of parametric analysis, backward analysis and context-sensitive analysis may be obtained out of the research and that would provide a breakthrough in the field of logic program analysis. This project plans to incorporate research results into the classroom by developing and enhancing several courses in computer science and software engineering. It also offers educational opportunities for graduate and undergraduate students to work on leading edge research projects. |
home | about us | contact us
Powered by IEI © 2006 - 2010 | All rights reserved.