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

On detecting double literal faults in Boolean expressions 07

Proceedings of the 12th international conference on Reliable software technologies

作者： Man F. Lau Ying Liu Tsong Y. Chen Yuen T. Yu Faculty of Information and Communication Technologies Swinburne University of Technology Hawthorn Victoria Australia Department of Computer Science City University of Hong Kong Kowloon Tong Hong Kong

ISBN: (纸本)9783540732297

Fault-based testing aims at selecting test cases to detect hypothesized faults in a *** a program contains a fault so that it behaves differently from as is expected, test cases that satisfy the detection condition of the fault will be able to detect it. Detection conditions of single occurrence of hypothesized faults had been studied and used to propose testing strategies and investigate relationships between different types of faults. As software developers may make several mistakes during software development, multiple faults may occur in a program. In this paper, we report our study in detection conditions of double occurrences of faults related to literals in a Boolean expression. This leads to some interesting observations. Some previous studies in double fault discarded equivalent mutants caused by a single fault. However, we observe that such equivalent mutants may give rise to non-equivalent double fault mutants, and hence, cannot be discarded. Moreover, we have developed several supplementary test case selection strategies to detect double faults that cannot be detected by existing test case selection strategies which aim at single-fault detection.

关键词： Boolean specification fault-based testing black-box testing test case generation

来源：评论

学校读者我要写书评

暂无评论

VLSI Circuit Test Vector Compression Technique

VLSI Circuit Test Vector Compression Technique

引用

IEEE Instrumentation and Measurement technology Conference

作者： Satyendra Biswas Sunil R. Das Altaf Hossain Department of Electrical Engineering Technology Georgia Southern University Statesboro GA USA School of Information Technology and Engineering Faculty of Engineering University of Ottawa Ottawa ONT Canada Department of Computer and Information Science Troy University Montgomery AL USA

A new test vector compression method for VLSI circuit testing is presented in this paper. The technique is essentially software-based, where a program is loaded into the on-chip processor memory along with the compressed test data sets. To reduce the on-chip storage area and testing time, the large volume of test data is first compressed before downloading into the on-chip processor. The proposed method utilizes a set of adaptive coding techniques for achieving lossless compression. The compression program need not be loaded into the embedded processor, as only the decompression of the test data is is necessary for application by the automatic test equipment (ATE). The technique requires minimal hardware overhead, while the on-chip processor core can be reused for normal operation after testing. The feasibility of the developed approach has been demonstrated through extensive simulation experiments on ISCAS 85 and ISCAS 89 benchmark circuits.

关键词： Circuit testing Very large scale integration System-on-a-chip System testing Automatic testing Automatic test equipment Costs Design for testability Intellectual property Instrumentation and measurement

来源：评论

学校读者我要写书评

暂无评论

New Optimal Quadriphase Sequences with Larger Lnear Span

New Optimal Quadriphase Sequences with Larger Lnear Span

引用

IEEE (first ITW conference of the year) information Theory Workshop (ITW)

作者： Wenfeng Jiang Lei Hu Xiaohu Tang Xiangyong Zeng State Key Laboratory of Information Security Graduate School of Chinese Academy of Sciences Beijing China Institute of Mobile Communications Southwest Jiaotong University Chengdu China Faculty of Mathematics and Computer Science Hubei University Wuhan China

In this paper, we construct two new families S and U of optimal quadriphase sequences. Compared to the family A constructed by Boztas et al and family D investigated by Tang et al respectively, the proposed families h... 详细信息

关键词： Multiaccess communication Laboratories information security Mobile communication Mathematics computer science Interference Resists Binary sequences Polynomials

来源：评论

学校读者我要写书评

暂无评论

Green's Function Estimation in Homogeneous and Scattering Medium for Time Reversal Signal Processing (TRSP) Communication

Green's Function Estimation in Homogeneous and Scattering Me...

引用

International Conference on Digital Telecommunications (ICDT)

作者： Quy Nguyen Dinh Woon-Seng Gan School of Control & Computer Engineering North China Electric Power University Beijing P. R. China Faculty of Science and Technology Sophia University Chiyoda-ku Tokyo JAPAN Graduate School of Information Sciences Tohoku University Aramaki-Aza Sendai Miyagi JAPAN

Time reversal signal processing (TRSP) is a new approach to mitigate the multiple path (multipath) interference in reverberation environment. TRSP has smaller computation resource than classical equalization since TRSP uses phase conjugation technique for compensating distortion. Thus, TRSP technique is applied in receiver for enhancing transmitted code information sequence in communication systems in a highly reverberant environment. The time reversal (TR) operation can be performed either on transmission or reception using estimated Green's function that is spatio-temporal channel response. Thus, Green's function estimation is the first step to set up TR communication. In this paper, Green's function estimation is proposed in homogeneous and scattering medium to establish the feasibility of TRSP in communication. The proposed system can estimate Green's function with minimal computation and better accuracy.

关键词： Green's function methods Signal processing Reverberation Matched filters Acoustic scattering Interference Phase distortion Adaptive signal processing Transmitters Communication channels

来源：评论

学校读者我要写书评

暂无评论

Designing for uncertainty

引用

Proceedings of the Association for information science and technology 2007年第1期43卷 1-9页

作者： Theresa Dirndorfer Anderson Marcia J. Bates Jennifer Berryman Sanda Erdelez Jannica Heinstrom (Moderator) Information and Knowledge Management Program Faculty of Humanities and Social Sciences University of Technology Sydney (UTS) P.O. Box 123 Broadway NSW 2007 Australia Department of Information Studies Graduate School of Education and Information Studies University of California Los Angeles (UCLA) Los Angeles CA Information and Knowledge Management Program Faculty of Humanities and Social Sciences University of Technology Sydney (UTS) Australia School of Information Science and Learning Technologies University of Missouri - Columbia Columbia MO The Center for International Scholarship in School Libraries (CISSL) Rutgers The State University New Brunswick NJ

Our highly digitized world brings us into contact with networked information systems with the potential to help us locate information quickly and easily at the touch of a button. But it is far from easy to quickly find the exact information we need. Every new resource added increases the time needed to locate the right information. The increasing scale of resource collections continues to drive the need for innovative methods of organizing and providing access to the information within these collections (Bates, 1999 ). This panel will discuss the prospect of designing for uncertainty - that is creating information systems based on the premise that (in certain situations) uncertainty can be a powerful mediating strategy for people.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Validity of Fusion Imaging of Hamster Heart obtained by Fluorescent and Phase‐Contrast X‐Ray CT with Synchrotron Radiation

引用

AIP Conference Proceedings 2007年第1期879卷 1956-1959页

作者： J. Wu T. Takeda Thet Thet Lwin Q. Huo N. Sunaguchi T. Murakami S. Mouri S. Nasukawa T. Fukami T. Yuasa K. Hyodo H. Hontani M. Minami T. Akatsuka *Graduate School of Comprehensive Human Sciences University of Tsukuba Tsukuba Ibaraki 305‐8575 Japan **Faculty of Engineering Yamagata University Yonezawa Yamagata 992‐8510 Japan †Institute of Material Science High Energy Accelerator Research Organization Tsukuba Ibaraki 305‐0801 Japan §Department of Computer Science and Engineering Nagoya Institute of Technology Nagoya Aichi 466‐8555 Japan

Fluorescent X‐ray CT (FXCT) to depict functional information and phase‐contrast X‐ray CT (PCCT) to demonstrate morphological information are being developed to analyze the disease model of small animal. To understand the detailed pathological state, integration of both functional and morphological image is very useful. The feasibility of image fusion between FXCT and PCCT were examined by using ex‐vivo hearts injected fatty acid metabolic agent (127I‐BMIPP) in normal and cardiomyopathic hamsters. Fusion images were reconstructed from each 3D image of FXCT and PCCT. 127I‐BMIPP distribution within the heart was clearly demonstrated by FXCT with 0.25 mm spatial resolution. The detailed morphological image was obtained by PCCT at about 0.03 mm spatial resolution. Using image integration technique, metabolic abnormality of fatty acid in cardiomyopathic myocardium was easily recognized corresponding to anatomical structures. Our study suggests that image fusion provides important biomedical information even in FXCT and PCCT imaging.

关键词：

来源：评论

学校读者我要写书评

暂无评论

The generation challenge programme platform: Semantic standards and workbench for crop science

引用

International Journal of Plant Genomics 2008年第1期2008卷 369601页

作者： Bruskiewich, Richard Senger, Martin Davenport, Guy Ruiz, Manuel Rouard, Mathieu Hazekamp, Tom Takeya, Masaru Doi, Koji Satoh, Kouji Costa, Marcos Simon, Reinhard Balaji, Jayashree Akintunde, Akinnola Mauleon, Ramil Wanchana, Samart Shah, Trushar Anacleto, Mylah Portugal, Arllet Ulat, Victor Jun Thongjuea, Supat Braak, Kyle Ritter, Sebastian Dereeper, Alexis Skofic, Milko Rojas, Edwin Martins, Natalia Pappas, Georgios Alamban, Ryan Almodiel, Roque Barboza, Lord Hendrix Detras, Jeffrey Manansala, Kevin Mendoza, Michael Jonathan Morales, Jeffrey Peralta, Barry Valerio, Rowena Zhang, Yi Gregorio, Sergio Hermocilla, Joseph Echavez, Michael Yap, Jan Michael Farmer, Andrew Schiltz, Gary Lee, Jennifer Casstevens, Terry Jaiswal, Pankaj Meintjes, Ayton Wilkinson, Mark Good, Benjamin Wagner, James Morris, Jane Marshall, David Collins, Anthony Kikuchi, Shoshi Metz, Thomas McLaren, Graham Van Hintum, Theo Crop Research Informatics Laboratory International Rice Research Institute (IRRI) DAPO Box 7777 Metro Manila Philippines Crop Research Informatics Laboratory International Maize and Wheat Improvement Center (CIMMYT) DF 06600 Mexico Apdo. Postal 6-641 Mexico Centre International de Recherche Agronomique Pour le Développement (CIRAD) 34398 Montpellier Cedex 5 Avenue Agropolis France Bioversity International 00057 Maccarese (Fiumicino) Rome Via dei Tre Denari 472/a Italy National Institute for Agrobiological Sciences (NIAS) Tsukuba Ibaraki 305-8602 Kannondai 2-1-2 Japan Empresa Brasileira de Pesquisa Agropecuaria (EMBRAPA) Brasilia DF 70770-900 Parque Estaçao Biologia Final W5 Norte Brazil Centro Internacional de la Papa (CIP) Lima 12 Avenida La Molina 1895 La Molina Peru International Crops Research Institute for the Semi-Arid Tropics Patancheru Andhra Pradesh 502324 India International Center for Agricultural Research in the Dry Areas Aleppo P.O. Box 5466 Syrian Arab Republic National Center for Genetic Engineering and Biotechnology 113 Thailand Science Park Klong Luang Pathumthani 12120 Phahonyothin Road Klong 1 Thailand Institute of Computer Science College of Arts and Sciences University of the Philippines Los Banos Laguna 4031 Philippines Department of Computer Science University of the Philippines Melchor Hall Diliman Quezon City 1101 Philippines National Center for Genome Resources Santa Fe NM 87505 2935 Rodeo Park Drive East United States Scottish Crop Research Institute Invergowrie Dundee DD2 5DA United Kingdom Department of Plant Breeding Cornell University Ithaca NY 14853 United States African Centre for Gene Technologies Lynnwood Ridge 0040 P.O. Box 75011 South Africa Department of Medical Genetics Faculty of Medicine University of British Columbia Vancouver BC V6T 1Z3 Canada School of Computing Science Simon Fraser Universtiy Burnaby BC V5A 1S6 8888 University Drive Canada Bioinformatics Graduate Program Genome Sciences Centre BC

The Generation Challenge programme (GCP) is a global crop research consortium directed toward crop improvement through the application of comparative biology and genetic resources characterization to plant breeding. A key consortium research activity is the development of a GCP crop bioinformatics platform to support GCP research. This platform includes the following: (i) shared, public platform-independent domain models, ontology, and data formats to enable interoperability of data and analysis flows within the platform;(ii) web service and registry technologies to identify, share, and integrate information across diverse, globally dispersed data sources, as well as to access high-performance computational (HPC) facilities for computationally intensive, high-throughput analyses of project data;(iii) platform-specific middleware reference implementations of the domain model integrating a suite of public (largely open-access/-source) databases and software tools into a workbench to facilitate biodiversity analysis, comparative analysis of crop genomic data, and plant breeding decision making.

关键词：

来源：评论

学校读者我要写书评

暂无评论

LANDING AN UNMANNED AIR VEHICLE: VISION BASED MOTION ESTIMATION AND NONLINEAR CONTROL

引用

Asian Journal of Control 2008年第3期1卷

作者： Omid Shakernia Yi Ma T. John Koo Shankar Sastry Dept. of Electrical Engineering & Computer Science University of California at Berkeley Berkeley CA94720-1774 U.S.A. Tak-Kuen John Koo received the B.Eng. degree in 1992 in Electronic Engineering and the M.Phil. in 1994 in Information Engineering both from the Chinese University of Hong Kong. From 1994 to 1995 he was a graduate student in Signal and Image Processing Institute at the University of Southern California. He is currently a Ph.D. Candidate in Electrical Engineering and Computer Sciences at the University of California at Berkeley. His research interests include nonlinear control theory hybrid systems inertial navigation systems with applications to unmanned aerial vehicles. He received the Distinguished M.Phil. Thesis Award of the Faculty of Engineering The Chinese University of Hong Kong in 1994. He was a consultant of SRI International in 1998. Currently he is the team leader of the Berkeley AeRobot Team and a delegate of The Graduate Assembly University of California at Berkeley. He is a student member of IEEE and SIAM. S. Shankar Sastry received his Ph.D. degree in 1981 from the University of California Berkeley. He was on the faculty of MIT from 1980-82 and Harvard University as a Gordon McKay professor in 1994. He is currently a Professor of Electrical Engineering and Computer Sciences and Bioengineering and Director of the Electronics Research Laboratory at Berkeley. He has held visiting appointments at the Australian National University Canberra the University of Rome Scuola Normale and University of Pisa the CNRS laboratory LAAS in Toulouse (poste rouge) and as a Vinton Hayes Visiting fellow at the Center for Intelligent Control Systems at MIT. His areas of research are nonlinear and adaptive control robotic telesurgery control of hybrid systems and biological motor control. He is a coauthor (with M. Bodson) of “Adaptive Control: Stability Convergence and Robustness Prentice Hall 1989.” and (with R. Murray and Z. Li) of “A Mathematical Introduction to Robotic Manipulati

In this paper, we use computer vision as a feedback sensor in a control loop for landing an unmanned air vehicle (UAV) on a landing pad. The vision problem we address here is then a special case of the classic ego-motion estimation problem since all feature points lie on a planar surface (the landing pad). We study together the discrete and differential versions of the ego-motion estimation, in order to obtain both position and velocity of the UAV relative to the landing pad. After briefly reviewing existing algorithm for the discrete case, we present, in a unified geometric framework, a new estimation scheme for solving the differential case. We further show how the obtained algorithms enable the vision sensor to be placed in the feedback loop as a state observer for landing control. These algorithms are linear, numerically robust, and computationally inexpensive hence suitable for real-time implementation. We present a thorough performance evaluation of the motion estimation algorithms under varying levels of image measurement noise, altitudes of the camera above the landing pad, and different camera motions relative to the landing pad. A landing controller is then designed for a full dynamic model of the UAV. Using geometric nonlinear control theory, the dynamics of the UAV are decoupled into an inner system and outer system. The proposed control scheme is then based on the differential flatness of the outer system. For the overall closed-loop system, conditions are provided under which exponential stability can be guaranteed. In the closed-loop system, the controller is tightly coupled with the vision based state estimation and the only auxiliary sensor are accelerometers for measuring acceleration of the UAV. Finally, we show through simulation results that the designed vision-in-the-loop controller generates stable landing maneuvers even for large levels of image measurement noise. Experiments on a real UAV will be presented in future work.

关键词： Motion estimation computer vision based control unmanned air vehicle differential flatness

来源：评论

学校读者我要写书评

暂无评论

Waters network's potential to transform environmental engineering education

Waters network's potential to transform environmental engine...

引用

114th Annual ASEE Conference and Exposition, 2007

作者： Eschenbach, Elizabeth Montgomery, Jami Johnson, James Brus, Chris Carlson, Patricia Giammar, Dan Grauer, Bette Hotaling, Liesl Oguntimein, Gbekeloluwa Safferman, Steven Wentling, Tim Humboldt State University United States Department of Environmental Resources Engineering Humboldt State University United States WATERS Network - CLEANER Project Office Network Howard University United States Department of Environmental Engineering College of Engineering Architecture and Computer Sciences Howard University United States American Academy of Environmental Engineers United States University of Iowa United States Program University of Iowa United States Rose-Hulman Institute of Technology United States Department of Rhetoric Rose-Hulman Institute of Technology United States National Research Council U. S. Air Force United States NASA's Classroom of the Future Wheeling WV United States Washington University United States Department of Energy Environmental and Chemical Engineering Washington University St. Louis United States Environmental Studies Program Center for Materials Innovation United States McPherson High School United States McPherson High School McPherson KS United States Stevens Institute of Technology United States Stevens Institute of Technology United States Morgan State University United States Michigan State University United States Biosystems and Agricultural Engineering Department Michigan State University United States University of Dayton United States Education Planning Committee National Center for Supercomputing Applications United States Department of Information Science Graduate School of Library and Information Science National Center for Supercomputing Applications University or Illinois United States Knowledge and Learning Systems Group NCSA United States

The WATERS Network (WATer and Environmental Research Systems Network) will be an integrated real-time distributed observing system which will enable academic and government scientists, engineers, educators, and practitioners to advance effective management of our nation's water resources by understanding human interactions with water and the natural and built environment. WATERS will provide easily accessible real time environmental data as well as analysis tools to engineers, scientists, educators, K- graduate students and policymakers so they can better understand how water quantity, quality and related components of the hydrologic cycle are impacted by natural and human influences. The WATERS strategic plan will be completed by July 2007 and requires constituent input. This paper describes the draft Conceptual Design and the Education Plan of WATERS Network. This paper will highlight the potential impact of WATERS on undergraduate and graduate environmental engineering education in order to elicit input from the environmental engineering education community on how WATERS Network could better meet the future needs of undergraduate and graduate students and educators. More information can be found at ***. © American Society for Engineering Education, 2007.

关键词： Water resources

来源：评论

学校读者我要写书评

暂无评论

View Dependent Sequential Point Trees

引用

Journal of computer science & technology 2006年第2期21卷 181-188页

作者：王文成魏峰吴恩华 State Key Lab of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100080 P.R. China Department of Computer and Information Science Faculty of Science and Technology University of Macao Macao Special Administration Region P.R. China Graduate University of Chinese Academy of Sciences Beijing 100039 P.R. China

Sequential point trees provide the state-of-the-art technique for rendering point models, by re-arranging hierarchical points sequentially according to geometric errors running on GPU for fast rendering. This paper presents a view dependent method to augment sequential point trees by embedding the hierarchical tree structures in the sequential list of hierarchical points. By the method, two kinds of indices are constructed to facilitate the points rendering in an order mostly from near to far and from coarse to fine. As a result, invisible points can be culled view-dependently in high efficiency for hardware acceleration, and at the same time, the advantage of sequential point trees could be still fully taken. Therefore, the new method can run much faster than the conventional sequential point trees, and the acceleration can be highly promoted particularly when the objects possess complex occlusion relationship and viewed closely because invisible points would be in a high percentage of the points at finer levels.

关键词： view dependence visibility culling GPU point-based rendering real time rendering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：