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

2011 IEEE 2nd International Conference on Software engineering and Service Science(ICSESS 2011)

作者： Tomoyoshi Wakabayashi Shinpei Ogata Saeko Matsuura Department of Electronic Engineering and Computer Science Graduate School of Engineering Shibaura Institute of Technology SIT SaitamaJapan Functional Control Systems Graduate School of Engineering Shibaura Institute of Technology SIT SaitamaJapan

Novice Java programmers often cannot make well structured program,so that the program does not have much *** dependency between fields and methods in classes often causes such inappropriate class structure,so responsibility of each class becomes unclear and the readability of the program is *** programs are difficult to identify the causes of bugs,so that novice programmers often lose the desire to learn *** paper proposes a way to learn how to develop a well structured Java program,which includes subject design,evaluation tool,and a web-based programming exercise environment by analyzing some source codes of novice Java programmers.

关键词： component Refactoring Java Programming Learning Class Structure

来源：评论

学校读者我要写书评

暂无评论

Ship's roll stabilization by anti-roll active tanks

Ship's roll stabilization by anti-roll active tanks

引用

OCEANS - Europe

作者： M. Haro R. Ferreiro F.J. Velasco Faculty of Nautical Sciences University of Cádiz Cadiz Spain Department Industrial Engineering University of A Coruña Spain Department Electronic Technology Systems Engineering and Automatic Control University of Cantabria Spain

This paper examines the control of the heeling angle of a ship in still waters based on the utilisation of anti-heeling tanks operated by pressurized air. The proposed objective attempts to reduce the list angle to a null value during the loading process in a fast ferry ship. A nonlinear adaptive controller has been designed as a means of counteracting the parameter inaccuracies that are involved in the nonlinear model. These are the linear and quadratic damping coefficients and the size of the cargo that is being handled. The design is based on a relatively new methodology, the backstepping procedure. With the objective of reducing the number of sensors a model reference based nonlinear observer has been introduced. The controller thus designed provides a robust control system under parametric uncertainties and state variable errors. The designed control implies an improvement on the actual systems based on the PID control implemented under programmable logic controllers (PLCs).

关键词： Marine vehicles Damping Torque Backstepping Stability criteria Atmospheric modeling

来源：评论

学校读者我要写书评

暂无评论

Robustness preserving anti-windup for SISO systems

Robustness preserving anti-windup for SISO systems

引用

IEEE Conference on Decision and control

作者： R. M. Morales W. P. Heath G. Li Department of Engineering Control & Instrumentation Research Group University of Leicester Leicester UK Control Systems Centre School of Electrical and Electronic Engineering University of Manchester Institute of Science and Technology Manchester UK School of Engineering Computing and Mathematics University of Exeter Exeter UK

ISBN: (纸本)9781612848006;9781612848013

A control feedback system with saturation nonlinearities is said to have robustness preserving characteristics if the constrained system is as robust as its linear counterpart. Such characteristics can be desirable. It has been proved for some special cases that the anti-windup version of the Internal Model control architecture can offer such characteristics for first-order plants with delays against norm-bounded (not only LTI) uncertainty. This paper provides general conditions expressed in the frequency domain which allow to test for the preservation of robustness for plants of any order. In addition, a class of robustness preserving controllers is characterised in terms of the Zames-Falb conditions. The test is shown to be easily implementable and exploited for anti-windup tuning.

关键词： Robustness Uncertainty Tuning Educational institutions control systems Roads Conferences

来源：评论

学校读者我要写书评

暂无评论

Diamond nanopit arrays fabricated by room-temperature nanoimprinting using diamond molds

Diamond nanopit arrays fabricated by room-temperature nanoim...

引用

2010 MRS Fall Meeting

作者： Kiyohara, Shuji Kumagai, Masaya Taguchi, Yoshio Sugiyama, Yoshinari Omata, Yukiko Kurashima, Yuichi Takikawa, Hirofumi Advanced Faculty of Electric and Control System Engineering Course Maizuru National College of Technology 234 Aza Shiroya Maizuru Kyoto 625-8511 Japan Application and Technical Section ELIONIX Inc. 3-7-6 Motoyokoyama Hachioji Tokyo 192-0063 Japan Department of Mechanical System Engineering University of Yamanashi 4-3-11 Takeda Kofu Yamanashi 400-8511 Japan Department of Electrical and Electronic Information Engineering Toyohashi University of Technology Toyohashi Aichi 441-8580 Japan

ISBN: (纸本)9781605112596

We have investigated the nanopatterning of chemical vapor deposited (CVD) diamond films in room-temperature nanoimprint lithography (RT-NIL), using a diamond nanodot mold. We have proposed the use of polysiloxane as an electron beam (EB) mask and RT-imprint resist materials. The diamond molds of cylinder dot using the RT-NIL process were fabricated with polysiloxane oxide mask in EB lithography technology. The dot in minimum diameter is 500 nm. The pitch between the dots is 2 μm, and dot has a height of about 600 nm. It was found that the optimum imprinting conditions for the RT-NIL : time from spin-coating to imprinting t1 of 1 min , pressure time t2 of 5 min, imprinting pressure P of 0.5 MPa. The imprint depth obtained after the press under their conditions was 500 nm. We carried out the RT-NIL process for the fabrication of diamond nanopit arrays, using the diamond nanodot molds that we developed. The resulting diamond nanopit arrays with 500 nm-diameter and 200 nm-depth after the electron cyclotron resonance (ECR) oxygen ion beam etching were fabricated. The diameter of diamond nanopit arrays was in good agreement with that of the diamond nanodot mold. © 2011 Materials Research Society.

关键词： Silicones

来源：评论

学校读者我要写书评

暂无评论

Mobile Robot Localization and Map Building Based on Laser Ranging and PTAM

Mobile Robot Localization and Map Building Based on Laser Ra...

引用

2011 IEEE International Conference Mechatronics and Automation(2011 IEEE机电一体化与自动化国际会议)

作者： Jinbo Sheng Shunichi Tano Songmin Jia Graduate School of Information Systems University of Electro-Communications 1-5-1 Chofugaoka Chofu- Department of Electronic Information & Control Engineering Beijing University of Technology 100 Ping

We propose an effective localization and map building method for mobile robot using a monocular camera and Laser Range Finder (LRF). To compensate for the insufficient information gathered by LRF, we improved a state of the art vision-based SLAM algorithm socalled parallel tracking and mapping (PTAM) system which uses an optimized parallel implementation for localization of mobile robot with high accuracy, and integrate the laser scanning data into local map using an effective combination approach. A reliable spatial model is produced for mobile robot path planning or obstacle avoidance. Compared with the traditional method, the proposed approach can acquire more features in environment of mobile robot and build the map with high speed and improved accuracy in localization. Finally, the effectiveness of proposal is verified by some real experimental results.

关键词： mobile robot monocular camera LRF PTAM

来源：评论

学校读者我要写书评

暂无评论

Fabrication of Diamond Nanopit arrays by Room-temperature Curing Nanoimprint Lithography Using Glass-like Carbon Molds

引用

MRS Online Proceedings Library 2011年第1期1395卷 27-32页

作者： Shuji Kiyohara Chigaya Ito Ippei Ishikawa Hirofumi Takikawa Yoshio Taguchi Yoshinari Sugiyama Yukiko Omata Yuichi Kurashima Electric and Control System Engineering Course Faculty of Advanced Engineering Maizuru National College of Technology Maizuru Kyoto Japan Department of Electrical and Electronic Information Engineering Toyohashi University of Technology Toyohashi Aichi Japan Application and Technical Section ELIONIX INC. Hachioji Tokyo Japan Department of Mechanical System Engineering University of Yamanashi Kofu Yamanashi Japan

We have proposed the use of glass-like carbon (GC), as mold material because the 27-maximum etching selectivity of polysiloxane film against GC, which was approximately six times larger than that of polysiloxane film against chemical vapor deposited (CVD) diamond film. We have investigated the fabrication of diamond nanopit arrays by room-temperature curing nanoimprint lithography (RTC-NIL) using GC mold, as applications to the emitter and the micro-gear. The polysiloxane has in the state of sticky liquid at room-temperature and negative-exposure characteristic. Therefore, the polysiloxane was used as RTC-imprint resist material, and also used as electron beam (EB) resist (oxide mask) material in EB lithography. We have fabricated the cylindrical GC nanodot mold with 500 nm-diameter, 600 nm-height and 2 µm-pitch. We carried out RTC-NIL using GC mold under the following optimum conditions: time from spin-coating to imprint of 1 min, imprinting pressure of 0.5 MPa and imprinting time of 5 min. Then, we have processed the diamond film with an electron cyclotron resonance (ECR) oxygen ion shower. We have fabricated diamond nanopit array with 250 nm-depth and 500 nm-diameter. The diameter of diamond nanopit pattern was in good agreement with that of GC mold. Moreover, the depth of the diamond nanopit patterns fabricated by RTC-NIL using cylindrical GC mold was three times larger than that using conical diamond mold.

关键词： diamond nanostructure ion-beam processing

来源：评论

学校读者我要写书评

暂无评论

Robustness Analysis and controller Synthesis with Non-Normalized Coprime Factor Uncertainty Characterisation

Robustness Analysis and Controller Synthesis with Non-Normal...

引用

IEEE Conference on Decision and control

作者： Sonke Engelken Alexander Lanzon Sourav Patra Control Systems Group School of Electrical and Electronic Engineering University of Manchester Manchester M13 9PL UK Department of Electrical Engineering Indian Institute of Technology Kharagpur India - 721302

ISBN: (纸本)9781612848006

A new robust controller synthesis method is proposed, based on a non-normalized coprime factorization of an uncertain plant. It achieves robust stabilization for very large uncertainties as measured by the v-gap metric, as well as robust performance. It is shown that a non-normalized coprime factorization enables less conservative robust stability and performance guarantees than a normalized coprime factorization. In a numerical example, a controller is synthesized for a benchmark robust control problem, demonstrating the good robustness properties obtainable with the method of this paper.

关键词： Uncertainty Robust stability Robustness Measurement uncertainty Degradation Stability analysis Closed loop systems

来源：评论

学校读者我要写书评

暂无评论

The test of train control system based on Colored Petri Net

The test of train control system based on Colored Petri Net

引用

World Congress on Intelligent control and Automation (WCICA)

作者： Yan Zhang Tao Tang Qing Huang Wei Zheng Tianhua Xu State Key Laboratory of Rail Traffic Control and Safety Beijing Jiaotong University Beijing China Science and Technology Department Beijing Jiaotong University Beijing China School of Electronic and Information Engineering Beijing Jiaotong University Beijing China

Train control systems are important to ensure the high efficiency and safety of train, and the test of it is the key factor which determines whether the system is successful or not. The model checkers of Cad SMV, NuSMV, NuBMC and SPIN have been used to generate test sequence, but the high abstracted model of these tools can not keep all the detail informations to construct the test sequence. Colored Petri Net (CPN) models can reserve all the key details used to generate the test sequence directly. To the best of our knowledge, CPN have not been used in this area, one main reason is that the latest version of the CPN model checking tool can only determine the correctness of temporal logic formulas, and not counterexample is available. In this study, how to generate test sequence for train control system using CPN Tools is introduced. The environment models were used to close the model by the means of reading its script file and getting the input messages set of System Under Test (SUT). Radio Block Center (RBC) is chosen as the SUT and the scenario of Start of Mission is chosen as the example scenario. The result shows that the state space size is related with the environment script files when the SUT CPN model is fixed.

关键词： Solid modeling Safety Laboratories Random access memory traffic control Aerospace electronics

来源：评论

学校读者我要写书评

暂无评论

Introduction

Communications and Control Engineering

引用

Communications and control engineering 2011年第9780857292551期 1-15页

作者： Sun, Zhendong Ge, Shuzhi Sam College Automation Science & Engineering Center for Control and Optimization South China University of Technology Guangzhou510640 China Department of Electrical and Computer Engineering The National University of Singapore Singapore Singapore Robotics Institue and Institute of Intelligent Systems and Information Technology University of Electronic Science and Technology of China Chengdu China

Chapter 1 briefly introduces the problem formations and the organization of the book. In particular, given a feasible set of switching signals, the concepts of stability and stabilizability are introduced, and the related problems of stability and stabilization are briefly formulated and discussed. Examples and simulations are provided to exhibit the primary features of the problems with various switching mechanisms. © 2011, Springer-Verlag London Limited.

关键词： Stabilization

来源：评论

学校读者我要写书评

暂无评论

Using heaps-of-pieces in synthesis of time optimal supervisors

Using heaps-of-pieces in synthesis of time optimal superviso...

引用

IEEE Conference on control technology and Applications (CCTA)

作者： Rong Su Jan H. van Schuppen Jacobus E. Rooda Division of Control and Instrumentation School of Electrical and Electronic Engineering Nanyang Technological University Singapore Centrum voor Wiskunde en Informatica (CWI) Amsterdam Netherlands Systems Engineering Group in Department of Mechanical Engineering Eindhoven University of Technology Eindhoven Netherlands

In many practical applications we need to compute a nonblocking supervisor that not only complies with pre-specified safety requirements but also achieves a certain time optimal performance such as maximum throughput. In this paper we first present a minimum-makespan supervisor synthesis problem. Then we show that the problem can be solved by a terminable algorithm, where the execution time of each string is computable by the theory of heaps-of-pieces.

关键词： Automata Computational modeling Semiconductor device modeling controllability Safety

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：