检索结果-内蒙古大学图书馆

Probabilistic Verification over GF(2m) Using Mod2-OBDDs

Intelligent Information Management 2010年第2期2卷 95-103页

作者： J.L. Imana Department of Computer Architecture Faculty of Physics Complutense University

Formal verification is fundamental in many phases of digital systems design. The most successful verification procedures employ Ordered Binary Decision Diagrams (OBDDs) as canonical representation for both Boolean circuit specifications and logic designs, but these methods require a large amount of memory and time. Due to these limitations, several models of Decision Diagrams have been studied and other verification techniques have been proposed. In this paper, we have used probabilistic verification with Galois (or finite) field GF(2m) modifying the CUDD package for the computation of signatures in classical OBDDs, and for the construction of Mod2-OBDDs (also known as ?-OBDDs). Mod2-OBDDs have been constructed with a two-level layer of ?-nodes using a positive Davio expansion (pDE) for a given variable. The sizes of the Mod2-OBDDs obtained with our method are lower than the Mod2-OBDDs sizes obtained with other similar methods.

关键词： Verification Probabilistic OBDD Mod2-OBDD Galois Field GF(2m)

来源：评论

学校读者我要写书评

暂无评论

A case study on benchmarking for biomedical engineering study programs

A case study on benchmarking for biomedical engineering stud...

引用

International Congress on Engineering Education

作者： Elsarnagawy, Tarek Alhelih, Eyad Farrag, Manal King Saud University Community College Applied Medical Department Saudi Arabia Prince Sultan University for Women CIS KSA Saudi Arabia Faculty of Informatics and Automation Institute for Theoretical and Technical Informatics Computer Architecture Technical University Ilmenau Germany

ISBN: (纸本)9781424473113

This study presents the experience of the department of Applied Medical Sciences (AMS) - Riyadh Community College - King Saud University in its way to achieve the international accreditation standards to ensure quality. The study is based on a three years experience (2008-2010). The following will be clarified, the list of criteria adopted by AMS to ensure quality and the procedures adopted by AMS to apply accreditation standards to ensure quality of *** study followed the iterative descriptive approach in analyzing the topics. The results show the procedures how the standards were applied to ensure the quality of outputs by meeting the requirements in all aspects, national and international, especially of the internationally recognized organization Council on Occupational Education COE, by which the AMS was then accredited in June 2010. A four year development strategic plan is set for the department to ensure consistent quality and improvement standards. By reviewing the literature of former experiences of Arab and international bodies for accreditation and quality assurance, the study concluded a list of accreditation criteria and indicators of quality assurance, as well as indicators to ensure the quality of the university environment. The achieved number of accreditation and quality assurance standards are presented from both national and international organizations and were found to be: 25 accreditation standards leading to 245 indicators, and 41 indicators for QA, and 29 indicators for the QA of the university *** study recommended the need to activate the academic accreditation and assessment of academic programs periodically internally and externally. Furthermore, similar departments of applied medical sciences should adopt the presented accreditation and quality assurance principles. In addition those departments are asked to put a strategic plan that meets their needs and goals. © 2010 IEEE.

关键词： Biomedical engineering

来源：评论

学校读者我要写书评

暂无评论

Investigation of the spatial spectrum of cortical contours on cross-sections of the brain

Investigation of the spatial spectrum of cortical contours o...

引用

10th International Conference on Information Technology and Applications in Biomedicine: Emerging Technologies for Patient Specific Healthcare, ITAB 2010

作者： Graichen, Uwe Eichardt, Roland Güllmar, Daniel Haueisen, Jens Ilmenau University of Technology Faculty of Computer Science and Automation Institute of Biomedical Engineering and Informatics P.O. Box 100565 98684 Ilmenau Germany Jena University Hospital Department of Diagnostic and Interventional Radiology Medical Physics Group Philosophenweg 3 07743 Jena Germany

ISBN: (纸本)9781424465606

The human brain possesses a highly structured surface. A quantitative examination of the cortical surface is of particular interest for many questions, e.g. the investigation the relation between the spatial frequencies of cortical surfaces and spatial frequencies within Electroencephalogram and the analysis of changes of the structure of the human brain caused by diseases. In this paper a Fourier analysis approach to investigate the spatial spectrum of contour data of the cortical surface is introduced. The method was validated using artificial data with known spatial spectrum and employed to investigate the spatial frequencies of the cortical surface of a human subject. © 2010 IEEE.

关键词： Fourier analysis

来源：评论

学校读者我要写书评

暂无评论

A case study on benchmarking for biomedical engineering study programs

A case study on benchmarking for biomedical engineering stud...

引用

International Conference on Engineering Education (ICEED)

作者： Tarek Elsarnagawy Eyad Alhelih Manal Farrag Applied Medical Department KSA Community College Applied Medical Department King Saud University Saudi Arabia CIS Prince Sultan University for Women Saudi Arabia Faculty of Informatics and Automation Institute of Theoretical and Technical Informatics Computer architecture Technical University Ilmenau Germany CIS Technical University Ilmenau Germay

关键词： Libraries Databases Communities Educational institutions Object recognition

来源：评论

学校读者我要写书评

暂无评论

Helpdesk modeling and simulation with discrete event systems and fuzzy logic

Helpdesk modeling and simulation with discrete event systems...

引用

4th International Mediterranean Modeling Multiconference, I3M 2007

作者： Castilla, I. Muñoz, R. Baquero, P. Aguilar, R.M. Departament of Systems Engineering and Automation and Computer Architecture University of la Laguna Avda. Astrofísico Francisco Sánchez s/n 38207 Tenerife Spain Department of Applied Physics Electronics and Systems University of la Laguna Avda. Astrofísico Francisco Sánchez s/n 38207 Tenerife Spain

ISBN: (纸本)8890073268

Helpdesks are a fundamental component of the IT Infrastructure of any organization. A correct design and management of this service improve the performance of the whole organization. Managers are always looking for solutions which can support their decision making process. Discrete Event Simulation is becoming a widely spread tool which helps in the analysis and forecasting of the helpdesk behavior. However, the addition of some helpdesk processes, which are commonly expressed in uncertain or vague terms, could be unnecessarily complicated if only simulation is used. Fuzzy Logic can fill this hole left by simulation. This paper presents how Discrete Event Simulation and Fuzzy Logic can be used together to cope with the Quality of Service requirements of an organization.

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

Meteorite impact crater inventory of Turkey

Meteorite impact crater inventory of Turkey

引用

RAST 2005 - 2nd International Conference on Recent Advances in Space Technologies

作者： Kocahan, Özlem Özel, Mchmet Emin Yildirim, Hülya Şengül, Ebru Özmaya, Sibel Çanakkale Onsekiz Mart University Faculty of Arts and Sciences Physics Department 17100 Çanakkale Turkey Çanakkale Onsekiz Mart University Faculty of Engineering and Architecture Geophysics Engineering Department 17100 Çanakkale Turkey Çanakkale Onsekiz Mart University Faculty of Engineering and Architecture Computer Engineering Department 17100 Çanakkale Turkey

ISBN: (纸本)0780389778

Interplanetary space is populated with large numbers of small bodies known as meteorites, which are in orbits that can intersect those of planets and moons. Therefore, individual impacts appear on the surfaces of planetary bodies which are called impact craters. While impacting meteorites are useful to determine the early solar system processes, resultant impact craters are useful to determine the ages of the surfaces and related erosional effects on the body. At Çanakkale Onsekiz Mart University (ÇOMU) we aim to create a Meteorite Impact Craters Data Base for Turkey in a computer environment. The data base will be reachable through internet for wider use. Preparations and actions fur this exercise are described. For the initial phase, we have collected related information through literature including papers and thesis on the topic. We classify our present efforts for acquisition of information along the following lines on: 1) Meteorites which have fallen down to Turkey recently i.e., Antalya meteorite in 2001, Afyon meteorite in 2002 and others;2) Meteorites and impact craters, mentioned in historical records, i.e., Gallipoli meteorite (467 BC);Birgi meteorite (1335 AD) etc.;3) Candidate impact craters in Turkey which were studied earlier [1], [2];4) Other events that can be recognized through satellite images and maps;5) New events during our preparations. Present candidates and established structures will be investigated and relevant data will be used for the aimed data base. ©2005 IEEE.

关键词： Meteorites

来源：评论

学校读者我要写书评

暂无评论

Meteorite impact crater inventory of Turkey

Meteorite impact crater inventory of Turkey

引用

International Conference on Recent Advances in Space Technologies (RAST)

作者： O. Kocahan M.E. Ozel H. Yildirim E. Sengul S. Ozmaya Faculty of Arts and Sciences Physics Department Çanakkale Onsekiz Mart University Turkey Faculty of Engineering and Architecture Computer Engineering Department Çanakkale Onsekiz Mart University Turkey Faculty of Engineering and Architecture Geophysics Engineering Department Çanakkale Onsekiz Mart University Turkey

Interplanetary space is populated with large numbers of small bodies known as meteorites, which are in orbits that can intersect those of planets and moons. Therefore, individual impacts appear on the surfaces of planetary bodies which are called impact craters. While impacting meteorites are useful to determine the early solar system processes, resultant impact craters are useful to determine the ages of the surfaces and related erosional effects on the body. At Canakkale Onsekiz Mart University (COMU) we aim to create a Meteorite Impact Craters Data Base for Turkey in a computer environment. The data base will be reachable through internet for wider use. Preparations and actions for this exercise are described. For the initial phase, we have collected related information through literature including papers and thesis on the topic. We classify our present efforts for acquisition of information along the following lines on: 1) Meteorites which have fallen down to Turkey recently, i.e. Antalya meteorite in 2001, Afyon meteorite in 2002 and others; 2) Meteorites and impact craters, mentioned in historical records, i.e., Gallipoli meteorite (467 BC); Birgi meteorite (1335 AD) etc.; 3) Candidate impact craters in Turkey which were studied earlier; 4) Other events that can be recognized through satellite images and maps; 5) New events during our preparations. Present candidates and established structures will be investigated and relevant data will be used for the aimed data base.

关键词： Solar system Satellites computer architecture Geophysics computing Planets Art physics computing Orbits Moon Internet

来源：评论

学校读者我要写书评

暂无评论

Multiprocessing of the time domain analysis of thin-wire antennas and scatterers

Multiprocessing of the time domain analysis of thin-wire ant...

引用

Euromicro Conference on Parallel, Distributed and Network-Based Processing

作者： E.M. Garzon S. Tabik I. Garcia A. Bretones Department Computer Architecture and Electronics University of Almería Almeria Spain Department Electromagnetism and Physics of the Matter Faculty of Sciences University of Granada Granada Spain

We deal with the computational aspects of a numerical method for solving the electric field integral equation (EFIE) for the analysis of the interaction of electromagnetic signals with thin-wires structures. Our interest is mainly to device an efficient parallel implementation of this numerical method which helps physicist to solve the electric field integral equation for very complex and large thin-wires structures The development of this parallel implementation has been carried out on distributed memory multiprocessors, with the use of the parallel programming library MPI and routines of PETSc (portable, extensible toolkit for scientific computation). These routines can solve sparse linear systems in parallel. Appropriate data partitions have been designed in order to optimize the performance of the parallel implementation. A parameter named relative efficiency has been defined to compare two parallel executions with different number of processors. This parameter allows us to better describe the superlinear performance behavior of our parallel implementation. Evaluation of the parallel implementation is given in terms of the values of the speed-up and the relative efficiency. Moreover, a discussion about the requirements of memory versus the number of processors is included. It will be shown that memory hierarchy management improves substantially as the number of processors increases and that this is the reason why superlinear speed-up is obtained.

关键词： Time domain analysis Integral equations Electromagnetic scattering Electromagnetic analysis Signal analysis Electromagnetic fields Parallel programming Libraries Concurrent computing Distributed computing

来源：评论

学校读者我要写书评

暂无评论

Some string cosmological models in cylindrically symmetric inhomogeneous universe

引用

Turkish Journal of physics 2001年第4期25卷 283-292页

作者： Baysal, H. Yavuz, I. Tarhan, I. Camci, U. Yilmaz, I. Department of Mathematics Art and Science Faculty. Çanakkale Onsekiz Mart Univ. 17100 Çanakkale Turkey Department of Computer Science Engineering and Architecture Faculty Çanakkale Onsekiz Mart Univ. 17100 Çanakkale Turkey Department of Physics Art and Science Faculty Çanakkale Onsekiz Mart Univ. 17100 Çanakkale Turkey Feza Gürsey Institute PO Box 6 Çengelköy 81220 Istanbul Turkey

The aim of this paper is to investigate the behavior of a string in the cylindrically symmetric inhomogeneous cosmological model. It has been assumed that expansion θ in the model is proportional to σ11 of the eigenvalue of the shear tensor σνmu;. Also, various physical and geometrical properties of the model have been discussed.

关键词： Cosmological models String

来源：评论

学校读者我要写书评

暂无评论

Developing a prototype concurrent design tool for composite topside structures

引用

NAVAL ENGINEERS JOURNAL 1997年第3期109卷 279-290页

作者： Dirlik, S Hambric, S Azarm, S Marquardt, M Hellman, A Bartlett, S Castelli, V Steve Dirlik:began his career at the Naval Surface Warfare Center Carderock Division in 1981 as an aerospace engineer co-op student. He completed his bachelor of science degree in aeropace and ocean engineering from Virginia Polytechnic Institute and State University in 1985 and his master of science degree in aerospace engineering from the University of Maryland in 1990. Mr. Dirlik recently completed a master of science program in applied physics at The Johns Hopins University and currently works in the Radar Cross Section and Target Physics Branch of the Signatures Directorate at the Naval Surface Warfare Center Corderoke Division. He has worked on Navy low observable programs since 1990. Stephen Hambric:is a research associate at the Applied Research Laboratory at The Pennsylvania State University. He received his B. S. and M.S. degree in mechanical engineering from Virginia Polytechnic Institute and State University and his D. Sc. in mechnical engineering from the George Washington University. He has worked on several computer aided multidiscikplinary design and optimization projects over the years including an automated propeller design system and a structural acoustic optimization capability. Dr. Shpour Azarm:is currently working as an associate professor with the Design and Manufacturing Group of the Department of Mechanical Engineering at the University of maryland at College Park. Dr Azarm's expertise is in the areas of optimization-based designed and concurrent design and optimization of multidisciplinary systems. He was a consultant at Black & Decker Corporation (summer 1996) and worked as a Navy senior summer faculty fellow (summer 1995) and a NASA summer faculty fellow (summer 1994). He was a visiting scientist at NASA Langley Research Center for Multidisciplinary Analysis and Applied Structural Optimzatiom at the University of Siegen in Germany (spring 1992) and the Design Institute of the Technical University of Denmark (summer 1990). Dr Azarm was an associate technical editor of the ASME Jour

A prototype concurrent engineering tool has been developed for the preliminary design of composite topside structures for modern navy warships. This tool, named GELS for the Concurrent Engineering of Layered Structures, provides designers with an immediate assessment of the impacts of their decisions on several disciplines which are important to the performance of a modern naval topside structure, including electromagnetic interference effects (EMI), radar cross section (RCS), structural integrity, cost, and weight. Preliminary analysis modules in each of these disciplines are integrated to operate from a common set of design variables and a common materials database. Performance in each discipline and an overall fitness function for the concept are then evaluated. A graphical user interface (GUI) is used to define requirements and to display the results from the technical analysis modules. Optimization techniques, including feasible sequential quadratic programming (FSQP) and exhaustive search are used to modify the design variables to satisfy all requirements simultaneously. The development of this tool, the technical modules, and their integration are discussed noting the decisions and compromises required to develop and integrate the modules into a prototype conceptual design tool.

关键词： Warships

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：