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

ICCAS-SICE 2009 - ICROS-SICE International Joint Conference 2009

作者： Sakaki, Taisuke Kiyota, Takanori Kino, Hitoshi Sagara, Shinichi Oguro, Ryuichi Moromugi, Shunji Imado, Keiji Ikeuchi, Hidetaka Fukushima, Manabu Ikeda, Takeshi Aoki, Kanta Ushimi, Nobuhiro Department of Engineering Kyushu Sangyo University Fukuoka Japan Department of Mechanical Systems Engineering University of Kitakyushu Kitakyushu Japan Department of Intelligent Mechanical Engineering Fukuoka Institute Technology Fukuoka Japan Department of Control Engineering Kyushu Institute of Technology Kitakyushu Japan Department of Computer Science and System Engineering Kyushu Institute of Technology Iizuka Japan Department of Mechanical Systems Engineering Nagasaki University Nagasaki Japan Department of Architecture and Mechatronics Oita University Oita Japan Department of Media Technology Nippon Bunri University Oita Japan Department of Mechanical Engineering Kyushu University Fukuoka Japan Department of Art Kyushu Sangyo University Fukuoka Japan

ISBN: (纸本)9784907764296

We describe a unique competition based on the novel concept of robotics and mechatronics products that included evaluation of the products' engineering function and interface design. Seventy-seven students of eleven teams from seven universities in the Kyushu area participated in the competition, whose subject was " Health care, life supporting and communication or other technical aids for the elderly or disabled." Many of the plans presented ideas that balanced function and design, showing the results of collaboration among students studying engineering and students studying product design. © 2009 SICE.

关键词： Robotics

来源：评论

学校读者我要写书评

暂无评论

Interpolation-sequence based model checking

Interpolation-sequence based model checking

引用

Formal Methods in computer Aided Design (FMCAD)

作者： Yakir Vizel Orna Grumberg Computer Science Department Technion-Israel Institute of Technology Haifa Israel Architecture System Level and Validation Solutions Intel Development Center Haifa Israel

SAT-based model checking is the most widely used method for verifying industrial designs against their specification. This is due to its ability to handle designs with thousands of state elements and more. The main drawback of using SAT-based model checking is its orientation towards ¿bug-hunting¿ rather than full verification of a given specification. Previous works demonstrated how Unbounded Model Checking can be achieved using a SAT solver. In this work we present a novel SAT-based approach to full verification. The approach combines BMC with interpolation-sequence in order to imitate BDD-based Symbolic Model Checking. We demonstrate the usefulness of our method by applying it to industrial-size hardware designs from Intel. Our method compares favorably with McMillan's interpolation based model checking algorithm.

关键词： Data structures Boolean functions Interpolation Safety Sliding mode control computer architecture computer industry Hardware Automata Logic

来源：评论

学校读者我要写书评

暂无评论

Accurate, scalable and informative design space exploration for large and sophisticated multi-core oriented architectures

Accurate, scalable and informative design space exploration ...

引用

International Symposium on Modeling, Analysis and Simulation of computer and Telecommunication Systems (MASCOTS)

作者： Chang-Burm Cho James Poe Tao Li Jingling Yuan Intelligent Design of Efficient Architecture Lab IDEAL Department of ECE University of Florida Gainesville FL USA Computer Science and Technology School Wuhan University of Technology Wuhan China

ISBN: (纸本)9781424449279

As microprocessors become more complex, early design space exploration plays an essential role in reducing the time to market and post-silicon surprises. The trend toward multi-/many- core processors will result in sophisticated large-scale architecture substrates (e.g. non-uniformly accessed caches interconnected by network-on-chip) that exhibit increasingly complex and heterogeneous behavior. While conventional analytical modeling techniques can be used to efficiently explore the characteristics (e.g. IPC and power) of monolithic architecture design, existing methods lack the ability to accurately and informatively forecast the complex behavior of large and distributed architecture substrates across the design space. This limitation will only be exacerbated with the rapidly increased integration scale (e.g. number of cores per chip). In this paper, we propose novel, multi-scale 2D predictive models which can efficiently reason the characteristics of large and sophisticated multi-core oriented architectures during the design space exploration stage without using detailed cycle-level simulations. Our proposed techniques employ 2D wavelet multiresolution analysis and neural network regression modeling. We extensively evaluate the efficiency of our predictive models in forecasting the complex and heterogeneous characteristics of large and distributed shared cache interconnected by a network on chip in multi-core designs using both multi-programmed and multithreaded workloads. Experimental results show that the models achieve high accuracy while maintaining low complexity and computation overhead. Through case studies, we demonstrate that the proposed techniques can be used to informatively explore and accurately evaluate global, cooperative multi-core resource allocation and thermal-aware designs that cannot be achieved using conventional design exploration methods.

关键词： Space exploration Predictive models Network-on-a-chip Design methodology Microprocessors Time to market Large-scale systems Analytical models Wavelet analysis Multiresolution analysis

来源：评论

学校读者我要写书评

暂无评论

architecture Level Energy Modeling and Optimization for Multi-Ported Giga-Hz Physical Register File

Architecture Level Energy Modeling and Optimization for Mult...

引用

International Conference on Networking, architecture, and Storage (NAS)

作者： Ge Zhang Xu Yang Yiwei Zhang Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy and Sciences Beijing China Department of Information and Technology University of International Relations UIR Beijing China

In modern high performance microprocessors, multi-ported register-files are commonly used and critical in both performance and energy consumption. As capability and issue width of register-file grows, its energy consumption increases rapidly. Much prior work about energy-efficient register-file design is focusing on various low levels except for architecture level. In this paper, an accurate architectural level energy model for register-file is proposed and verified, based on which some efficient and practical improvements are presented to save energy without changing the internal circuits or structure of register-file. We implemented a full-customized 64-bit width 64-entry depth physical register-file with 8 read ports and 4 write ports, whose power is as low as 20 mW, in a 1 GHz 4-issue out-of-order 64-bit MIPS microprocessor, Godson-2 [1], using 90 nm CMOS process. 56.0% of reading energy and 20.3% of writing energy can be saved.

关键词： Circuits computer architecture Energy consumption Microprocessors Registers Energy efficiency Out of order CMOS process Writing Semiconductor device modeling

来源：评论

学校读者我要写书评

暂无评论

Maximize Lifetime of Heterogeneous Wireless Sensor Networks with Joint Coverage and Connectivity Requirement

Maximize Lifetime of Heterogeneous Wireless Sensor Networks ...

引用

International Conference on Scalable Computing and Communications;International Conference on Embedded Computing, SCALCOM-EMBEDDEDCOM

作者： Yu Gu Yusheng Ji Baohua Zhao Department of Computer Science University of Science and Technology Hefei Anhui China Information Systems Architecture Science Research Division National Institute of Information Tokyo Japan

In this paper, we address the problem of lifetime maximization under coverage and connectivity requirements for heterogeneous wireless sensor networks where different targets need to be covered (sensed ) by different types of wireless sensors running at possibly different sampling rates as well as different initial energy reserve. The problem is particularly challenging since we need to consider both connectivity requirement and so-called target Q-coverage requirement, i.e., different targets may require different sensing quality in terms of the number of transducers, sampling rate, sensing data rate, etc. In this paper, we formulate a lifetime maximization problem, which is general and allows unprecedented diversity in coverage requirements, sampling rates, transmission energy consumption models, communication ranges, and target sensing ranges. Our approach is based on column generation, where a column corresponding to a feasible solution; our idea is to find a column with steepest ascent in lifetime, based on which we iteratively search for the maximum lifetime solution. Through extensive simulations, we systematically study the effect of sampling rates, transmission energy consumption models, communication ranges, and target sensing ranges on the lifetime.

关键词： Wireless sensor networks Sampling methods Sensor systems Monitoring Image sensors Embedded computing Magnetic sensors computer networks Sensor phenomena and characterization Transducers

来源：评论

学校读者我要写书评

暂无评论

Multi-objective particle swarm optimization algorithm for engineering constrained optimization problems

Multi-objective particle swarm optimization algorithm for en...

引用

IEEE International Conference on Granular Computing (GRC)

作者： Dekun Tan Wenhai Luo Qing Liu Department of Computer Science & Technology Nanchang Institute of Technology Nanchang Jiangxi China Department of Civil Engineering & Architecture Nanchang Institute of Technology Nanchang Jiangxi China School of Information Engineering University of Nanchang Nanchang Jiangxi China

This paper proposes a modified particle swarm optimization algorithm for engineering optimization problems with constraints, in which the penalty function is employed to the traditional PSO algorithm, and at the same time adjusts the personal optimum and global optimum to make PSO being able to solve the non-linear programming problems, then the multi-objective problem can be converted into single objective problem. Moreover, the constraint term played its role in the process of generating particles, those pariticles which don't meet the constraint condition are eliminated. The actual engineering design optimization problem is tested and the results show that the multi-objective particle swarm optimization algorithm can be used to solve the multi-objective constrained optimization problem. Comparison with Genetic Algorithm confirms that the proposed algorithm can find better solutions, and converge quickly.

关键词： Particle swarm optimization Constraint optimization Design optimization Design engineering Functional programming Mathematical model Space exploration Iterative algorithms Testing Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

A two-step method for estimating the parameters of induction machine models

A two-step method for estimating the parameters of induction...

引用

IEEE Energy Conversion Congress and Exposition, ECCE

作者： Christopher Laughman Steven B. Leeb Leslie K. Norford Steven R. Shaw Peter R. Armstrong Mitsubishi Electric Research Laboratories Inc. Cambridge MA USA Department of Electrical Engineering and Computer Science Massachusetts Institute of Technology Cambridge MA USA Department of Architecture Massachusetts Institute of Technology Cambridge MA USA Department of Electrical and Computer Engineering Montana State University Bozemon MT USA Masdar Institute of Science and Technology Abu Dhabi UAE

ISBN: (纸本)9781424428922

This paper describes and demonstrates a mathematical algorithm that can monitor the physical parameters of the motor solely by observing the stator electrical currents. This method uses measurements of transient stator currents to identify the parameters of an electromechanical model of the induction motor. These parameters are obtained from a relatively poor initial guess, which is constrained only to be within an order of magnitude of the physical parameters, by using a two-step strategy based upon nonlinear least-squares regression techniques. This makes the approach in this paper useful for diagnostic monitoring and energy scorekeeping. Experimental results are presented which demonstrate the effectiveness of this method on identifying the parameters of a 1 HP induction motor connected to a squirrel cage fan in an air-handling unit.

关键词： Parameter estimation Induction machines Condition monitoring Paper technology Induction motors Current measurement Sensor arrays Velocity measurement Voltage Hardware

来源：评论

学校读者我要写书评

暂无评论

Analysis and Design of the College computer-Aided Instruction System Based on CAI and ICAI's

Analysis and Design of the College Computer-Aided Instructio...

引用

International Workshop on Education technology and computer Science, ETCS

作者： Minghai Yu Huan Zhang Bo Zhou College of textile & garment Guangzhou University Guangzhou China Computer Department Chengdu University of Information and Technology Chengdu China College of Architecture and Environment Sichuan University Chengdu China

This paper introduced and described the status quo and goal of current Chinese colleges and universities computer assistant teaching systems from many aspects, such as explore the background, design goal, information ... 详细信息

关键词： computer aided instruction Educational institutions Writing Educational technology Courseware computer science education Information technology Application software computer networks Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Parallelization of the nearest-neighbour search and the cross-validation error evaluation for the kernel weighted k-nn algorithm applied to large data dets in matlab

Parallelization of the nearest-neighbour search and the cros...

引用

International Conference on High Performance Computing & Simulation (HPCS)

作者： Gines Rubio Alberto Guillen Hector Pomares Ignacio Rojas Ben Paechter Peter Glosekotter C. I. Torres-Ceballos Department of Computer Architecture and Technology University of Granada Granada Spain Centre of Emergent Computing School of Computing Napier University UK Department of Electrical Engineering and CS University of Applied Sciences Muenster Germany

The kernel weighted k-nearest neighbours (KWKNN) algorithm is an efficient kernel regression method that achieves competitive results with lower computational complexity than least-squares support vector machines and Gaussian processes. This paper presents the parallel implementation on a cluster platform of the sequential KWKNN implemented in Matlab. This implies both the parallelization of the k nearest-neighbour search and the evaluation of the cross-validation error on a large distributed data set. The results demonstrate the good performances of the implementation.

关键词： Kernel Concurrent computing Clustering algorithms Gaussian processes Function approximation Support vector machines Computational efficiency Least squares approximation computer errors computer architecture

来源：评论

学校读者我要写书评

暂无评论

Dynamic application of slicing technique in grid calling and network resources

引用

WSEAS Transactions on Circuits and Systems 2009年第1期8卷 73-83页

作者： Wang, Lixia Yang, Aimin Li, Yaohui Gao, Liting Liu, Tieying Department of Computer Science Hebei Institute of Architecture and Civil Engineering No.33 Jianguo Road Zhang Jiakou City Hebei Province China Computer Science and Information Technology College Zhejiang Wanli University No.8 South Qian Hu Road Ningbo Zhejiang Province China HebeiCAIDA Securities Co Ltd China

The grid links all resources in different structures widespread geographically into one logical system via internet, characterized with complexity of network structure, dynamism of network resources and autonomy of each LAN. The high-efficient management of grid resources and high-efficient scheduling of tasks are the important contents in today's net grid research. Slices technology is the present quite popular popular technology, the application domain is widespread. The grid technology and the slice technology fuse in together, may create the more reasonable task scheduling and the scheduling of resources. In this article we divide the tasks into some small tasks assigned with scheduling priorities for each level, and then slice all resources in network into some time slices assigned with resource priorities according to trust mechanism. It promotes the effectiveness and high-efficiency by arranging task scheduling and resource scheduling in priority.

关键词： Grid computing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：