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

WCICA 2004 - Fifth World Congress on Intelligent Control and Automation, Conference Proceedings

作者： Wang, Bing Su, Jie Department of Information Science Shandong University at Weihai Weihai 264209 Institute of Automation Shanghai Jiaotong University Shanghai 200030 Sch. of Math. and System Science Shandong University Jinan 250010

A kind of rolling horizon procedures for single-machine sch.duling problem is presented to deal with the incomplete global information at decision time. At each decision time the known information should be sufficiently considered while the size of the rolling window on that the sub-problem is based should be limited in order to limit computational cost. The two-level rolling horizon sch.duling strategy is presented to deal with the conflict. The first-level is preliminary sch.duling based on the predictive windows and the second-level is locally sch.duling with terminal penalty based on the rolling windows. The estimated global performance is getting close to the ultimately realized actual cost and getting better and better while the new information is obtained and the decision time is being put forward.

关键词： sch.duling

来源：评论

学校读者我要写书评

暂无评论

Output feedback robust H∞ control for a class of nonlinear systems with input unmodeled dynamics

Output feedback robust H∞ control for a class of nonlinear ...

引用

WCICA 2004 - Fifth World Congress on Intelligent Control and Automation, Conference Proceedings

作者： Wang, Xing-Ping Li, Biao Cheng, Zhao-Lin Department of Basic Sciences Nav. Aero. Engineering Institute Yantai 264001 China Sch. of Math. and Systems Science Shandong University Jinan 250100 Shandong China

The problem of output feedback robust H∞ control is considered for a family of nonlinear systems with dynamic uncertainties at the input of the plant. By introducing a high-gain observer with tow design parameters, a robust output feedback controller is explicitly constructed. The proposed controllers attenuate the disturbance's effect on the output of the closed-loop system to an arbitrary degree of accuracy in the L2-gain sense, and achieve global asymptotic stability in the absence of disturbance.

关键词： Robustness (control systems)

来源：评论

学校读者我要写书评

暂无评论

FSM-Hume: Programming resource-limited systems using bounded automata

FSM-Hume: Programming resource-limited systems using bounded...

引用

Applied computing 2004 - Proceedings of the 2004 ACM Symposium on Applied computing

作者： Michaelson, Greg Hammond, Kevin Serot, Jocelyn Sch. of Math. and Computer Sciences Heriot-Watt University Riccarton EH14 4AS United Kingdom School of Computer Science University of St Andrews North Haugh St Andrews KY16 9AJ United Kingdom LASMEA Blaise Pascal University Les Cezeaux F-63177 Aubiere Cedex France

Hume is a novel domain-specific programming language targeting resource-bounded computations, such as real-time embedded systems or mobile code. It is based on generalised concurrent automata, controlled by transitions characterised by pattern matching on inputs and (recursive) function generation on outputs. This paper discusses trade-offs between expressibility and decidability in the design of FSM-Hume, a subset of Hume (or Hume layer) based on generalised linear bounded automata with statically determinable time and space use. We illustrate our approach with reference to space costing of a simple real-time simulation of a line-following autonomous vehicle.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

WordNet ontology based model for information retrieval

WordNet ontology based model for information retrieval

引用

Proceedings of the International Conference on Communications in computing, CIC'04

作者： Moravec, Pavel Snášel, Václav Smid, Jan Obitko, Marek Department of Computer Science VSB - Tech. University of Ostrava 17. listopadu 15 708 33 Ostrava-Poruba Czech Republic Department of Computer Science Sch. of Comp. Math. and Nat. Sci. Morgan State University Cold Spring Lane Baltimore MD 21251-0002 Department of Cybernetics Faculty of Electrical Engineering Czech Technical University Technicka 2 166 27 Prague 6 Czech Republic

ISBN: (纸本)193241536X

In the area of information retrieval, the dimension of document vectors plays an important role. Firstly, with higher index dimensions the indexing structures suffer from the "curse of dimensionality" and their efficiency rapidly decreases. Secondly, we may not use exact words when looking for a document, thus we miss some relevant documents. LSI (Latent Semantic Indexing) is a numerical method, which discovers latent semantic in documents by creating concepts from existing terms. In this article we present a basic method of mapping LSI concepts on given ontology (WordNet), used both for retrieval recall improvement and dimension reduction. We offer experimental results for this method on a subset of TREC collection, consisting of Los Angeles Times articles.

关键词： Information retrieval

来源：评论

学校读者我要写书评

暂无评论

Generating multi-scroll chaotic attractors via switching control

Generating multi-scroll chaotic attractors via switching con...

引用

2004 5th Asian Control Conference

作者： Lü, Jinhu Chen, Guanrong Yu, Xinghuo Leung, Henry Institute of Systems Science Acad. of Math. and Systems Science Chinese Academy of Sciences Beijing 100080 China Department of Electronic Engineering City University of Hong Kong Hong Kong Hong Kong Sch. of Elec. and Comp. Engineering RMIT University Melbourne Vic. 3001 Australia Dept. of Elec. and Comp. Engineering University of Calgary Alta. T2N 1N4 Canada

ISBN: (纸本)0780388739

This paper proposes a new switching control method - saturated function series approach - for generating multi-scroll chaotic attractors. The systematic methodology developed here can create multi-scroll chaotic attractors from a given 3-D linear autonomous system with a saturated function series controller. It includes 1-D n-scroll, 2-D n × m-grid scroll, and 3-D n × m × l-grid scroll chaotic attractors. The chaos generation mechanism in multi-scroll systems is briefly discussed by analyzing the system equilibria.

关键词： Control system analysis

来源：评论

学校读者我要写书评

暂无评论

One direction S-rough decision and its decision model

One direction S-rough decision and its decision model

引用

International Conference on Machine Learning and Cybernetics (ICMLC)

作者： Kai-Quan Shi Yu-Quan Chi School of Mathematics and System Science Shandong University Jinan Shandong P.R. China Shandong University Jinan Shandong CN Sch. of Math. & Syst. Sci. Shandong Univ. Jinan China

ISBN: (纸本)0780384032

This paper presents one direction S-rough decision and its decision model and characteristics. One direction S-rough decision is the combination of S-rough decision on (R,F)/sub /spl deg//(X/spl deg/) and S-rough decision on (R,F)/spl deg/(X/spl deg/) ; (R,F)/sub /spl deg//(X/spl deg/), (R,F)/spl deg/(X/spl deg/) are common sets with dynamic characteristics; (R,F)/sub /spl deg//(X/spl deg/), (R,F)/spl deg/(X/spl deg/) are the lower approximation and upper approximation of S-sets (singular sets) X/spl deg//spl sub/U respectively.

关键词： Fuzzy systems Fuzzy sets Rough sets Lead math.matical model math.matics Electronic mail Failure analysis Risk analysis Production systems

来源：评论

学校读者我要写书评

暂无评论

Dynamic alignment system for an FT-NIR michelson interferometer

Dynamic alignment system for an FT-NIR michelson interferome...

引用

2004 IEEE Symposium on Virtual Environments, Human-Computer Interfaces and Measurement Systems, VECIMS

作者： Kalamatianos, D. Edmunds, J.M. Wellstead, P.E. Houston, R.J. Liatsis, P. Christie, S.M. Dewhurst, R.J. Thorniley, M.S. Department of Electrical Engineering University of Manchester Institute of Science and Technology PO Box 88 Manchester M60 1QD United Kingdom Department of Instrumentation University of Manchester Institute of Science and Technology PO Box 88 Manchester M60 1QD United Kingdom ACImetrics Ltd. Manchester Incubator Building Grafton Street Manchester M13 9XX United Kingdom Sch. of Eng. and Math. Sciences City University Northampton Square London EC1V 0HB United Kingdom

ISBN: (纸本)0780383397

We present a description of a system for dynamic alignment of a novel Fourier transform Michelson interferometer which is operating in the near infrared (NIR) band. The technique relies on detection of the phase difference between four photodetectors mounted around the main detector. The system is controlled by a computer in real time. It uses a position observer to record the mirror position and with a feedback loop corrects the tilt of the moving mirror in the interferometer. This relatively simple system is very effective and can be applied to other scanning optical interferometers.

关键词： Interferometers

来源：评论

学校读者我要写书评

暂无评论

A five-year followup of hand function and activities of daily living in systemic sclerosis (scleroderma)

引用

Journal of Hand Therapy 2004年第4期17卷 407-411页

作者： Poole, Janet L. Watzlaf, Valerie J.M. Depts. of Orthopaedics and Rehab. Occup. Therapy Graduate Program Univ. New Mex. Albuquerque New M. United States Dept. of Hlth. Info. Management Sch. of Hlth. and Rehab. Sciences Univ. Pittsburgh Pittsburgh P. United States Dept. of Math. and Computer Science Duquesne University Pittsburgh Pennsylvania United States Occup. Therapy Graduate Program Dept. Orthopaedics Rehab. Univ. N. MSC 09 5240 Albuquerque N. United States

The purpose of this study was to identify hand factors that change over a five-year period that may be risk factors for the development of functional disability in persons with systemic sclerosis (scleroderma). Sixty individuals with scleroderma were administered assessments of grip and pinch strength, joint range of motion, and pain, and were observed for the presence of digital ulcers, digital scars, calcium deposits, puffy fingers, and tendon friction rubs. Matched-pairs chi square analyses and Fisher's exact tests were performed to compare variables at year 1 and five years later. Grip and pinch strength increased as did joint motion except for the wrist and thumb carpometacarpal joint. There were also significant increases in the presence of scars, friction rubs, calcium deposits, and puffy fingers. Regression analysis was done to determine which variables predicted functional ability. Only puffy fingers predicted functional disability. In conclusion, hand impairment persisted over time while functional ability decreased.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Formal Foundations of Operational Semantics

引用

Higher-Order and Symbolic Computation 2003年第3期16卷 161-202页

作者： Ford, Jonathan Mason, Ian A. Sch. of Math. Stat./Comp. Science University of New England Armidale NSW 2351 Australia

In this paper we report on the results of a sophisticated and substantial use of PVS to establish a recent result in operational semantics. The result we establish is a context lemma for operational equivalence for very wide class of programming languages, known as the CIU theorem. The proof uses the annotated holes technique to represent contexts and compute with them. Thus this paper demonstrates that that it is possible to use PVS as a tool in the development of modern operational techniques, and a productive tool at that. The process of formalizing the CIU theorem revealed several gaps in published proof. The proof of the CIU theorem in PVS took approximately six months to develop. The actual machine checked proof involves the proving of around one thousand facts, and takes PVS slightly less than three hours of CPU time running on a Linux machine configured with 2 GBytes of main memory and four 550 MHz Xeon PIII processors.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Fishery management and culling (multiple letters)

引用

science 2004年第5703期306卷 1891-1892页

作者： Corkeron, Peter J. Pikitch, Ellen K. Santora, Christine Babcock, Elizabeth Bakun, Andrew Bonfil, Ramon Conover, David Dayton, Paul Doukakis, Phaedra Fluharty, David Heneman, Burr Houde, Ed Livingston, Pat Mangel, Marc McAllister, Murdoch Pope, John Salnsbury, Keith Norwegian Inst. of Marine Research Pb 6404 N-9294 Tromsø Norway Pew Institute for Ocean Science Rosenstiel Sch. Mar. Atmosph. Sci. University of Miami 126 East 56th Street New York NY 10022 United States Pew Institute for Ocean Science RSMAS University of Miami 4600 Rickenbacker Causeway Miami FL 33149-1098 United States RSMAS University of Miami Miami FL 33149-1098 United States Wildlife Conservation Society 2300 Southern Boulevard Bronx NY 10460 United States Marine Sciences Research Center Stony Brook University Stony Brook NY 11794-5000 United States Scripps Institution of Oceanography San Diego CA 92093-0227 United States School of Marine Affairs University of Washington Seattle WA 98105 United States Commonweal Ocean Policy Program Bolinas CA 94924 United States University of Maryland Center for Environmental Science Chesapeake Biological Laboratory Solomons MD 20688 United States Alaska Fisheries Science Center Seattle WA 98115 United States Dept. of Appl. Math. and Statistics Jack Baskin School of Engineering University of California Santa Cruz CA 95064 United States Dept. of Environ. Sci. and Technol. Imperial College Royal School of Mines Building Prince Consort Road London SW7 2BP United Kingdom National Research Council Ltd. Norfolk NR34 OBT United Kingdom Division of Marine Research CSIRO Hobart Tasmania 7001 Australia

No abstract available

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：