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

Network Management Temporal Database System Based on XTACACS Protocol

计算机工程 2002年第S1期28卷 82-85页

作者： MIN Huaqing (dep. of computer science and engineering, South China University of Technology,Guangzhou 510641,China,hqmin@*** ) Dep. of Computer Science and Engineering South China University of Technology Guangzhou 510641China hqmin @***. cn

This paper first analyzes the basic concepts of Cisco router user certification, XTACACS certification protocol and describes the data architecture of user data protocol, then defines a kind of doubly temporal databases and log-in transaction processing based on network management property, at last, introduces implementation technology and method.

关键词： XTACACS protocolNetwork system architectureTemporal databaseTransaction processing

来源：评论

学校读者我要写书评

暂无评论

Pose estimation for central catadioptric systems: An analytical approach

Pose estimation for central catadioptric systems: An analyti...

引用

作者： Paulino, A. Araujo, H. Institute of Systems and Robotics Dep. of Electrical and Computer Engineering University of Coimbra Polo II 3030 Coimbra Portugal

The number of applications for central catadioptric systems, often called central panoramic systems, are increasing. Among these are surveillance systems, commercial systems for web navigation and robot localization and navigation. This works includes itself in the last case, and presents an analytical method for pose estimation using any central catadioptric system. Any known four points in the world, forming a planar rectangle, may be used for pose computation. The computed pose includes the rotation and the translation from the camera coordinate system to the world coordinate system. © 2002 IEEE.

关键词： Telescopes

来源：评论

学校读者我要写书评

暂无评论

Pose estimation for central catadioptric systems: An analytical approach

Pose estimation for central catadioptric systems: An analyti...

引用

16th International Conference on Pattern Recognition, ICPR 2002

作者： Paulino, A.M. Araujo, H. Institute of Systems and Robotics Dep. of Electrical and Computer Engineering University of Coimbra - Polo II Coimbra3030 Portugal

ISBN: (纸本)0769516963

关键词： Robot applications

来源：评论

学校读者我要写书评

暂无评论

D++: Development of a visual object oriented language for DSP programming

D++: Development of a visual object oriented language for DS...

引用

作者： De Sousa, Antonio Heronaldo Adami Jr., Valmor Linhares, Marcos Vinicius Santa Catarina State University Department of Electrical Engineering Brazil Santa Catarina State University Dep. of Computer Science Brazil

ISBN: (纸本)1889335185

This paper introduces the development of a programming environment, called D++, that increases the software development productivity for Digital Signal Processors (DSPs). D++, focuses in reducing the development time of new projects by using the concepts of visual programming and object oriented programming, trying to be an alternative to the existing programming tools.

关键词： Digital signal processors

来源：评论

学校读者我要写书评

暂无评论

Principles of software evolution: 5th international workshop on principles of software evolution (IWPSE 2002)

Principles of software evolution: 5th international workshop...

引用

International Conference on Software engineering (ICSE)

作者： M. Aoyama K. Inoue V. Rajlich Dep. of Information and Telecommunication Engineering Nanzan University Seto Japan Dep. of Computer Science Osaka University Toyonaka Japan Dep. of Computer Science Wayne State University Detroit MI USA

来源：评论

学校读者我要写书评

暂无评论

Facial expression recognition using pseudo 3-D Hidden Markov models

Facial expression recognition using pseudo 3-D Hidden Markov...

引用

作者： Müller, Stefan Wallhoff, Frank Hülsken, Frank Rigoll, Gerhard Dep. of Computer Science Faculty of Electrical Engineering Gerhard-Mercator-University 47057 Duisburg Germany Institute for Human-Machine Communication Technical University of Munich 80290 Munich Germany Fraunhofer Institute for Media Communication IMK Schloss Birlinghoven 53754 Sankt Augustin Germany

In this paper pseudo 3-D Hidden Markov Models (P3DHMMs) are applied to the task of dynamic facial expression recognition. P3DHMMs are an extension of the pseudo 2-D case, which has been successfully used for the classification of images and the recognition of faces. Although the application of P3DHMMs for image sequence recognition has been reported before, this paper provides a formal definition of the novel approach as well as a detailed explanation of a triple embedded Viterbi algorithm. Furthermore an equivalent one-dimensional structure is introduced, which allows the application of the standard Viterbi and Baum-Welch-Algorithms. The approach has been evaluated on a person indep.ndent database, which consists of 4 different facial expressions, performed by 6 individuals. The recognition accuracy achieved in the experiments is close to 90%. © 2002 IEEE.

关键词： Face recognition

来源：评论

学校读者我要写书评

暂无评论

Modeling the wireless network architecture of Land Warrior

Modeling the wireless network architecture of Land Warrior

引用

Simulation Winter Conference

作者： F. Maymi J. Surdu A. Hall R. Beltamini Dep. of Electrical Engineering and Computer Science United States Military Academy West Point NY U.S.A. Department of Mathematical Sciences United States Military Academy West Point NY U.S.A.

The United States Army is designing and implementing a revolutionary advance in the combat power of individual infantrymen on the battlefield: Land Warrior. In Land Warrior, each soldier becomes a node in a wireless local area network (WLAN). In order to account for likely losses of line of site between soldiers, the On Demand Multicast Routing Protocol (ODMRP) is used. The purpose of this research was to construct a simulation study to determine whether the communications architecture of Land Warrior was sufficiently scalable to use in large Army units. This paper describes the input analysis conducted to determine probability distributions used to generate message traffic. This paper also describes the development of the simulation model used to determine the scalability of the Land Warrior communications architecture.

关键词： Wireless networks Clouds Multicast protocols Routing protocols Probability distribution Traffic control Prototypes Bandwidth Analytical models Data analysis

来源：评论

学校读者我要写书评

暂无评论

40th EASD Annual Meeting of the European Association for the Study of Diabetes : Munich, Germany, 5-9 September 2004

引用

Diabetologia 2004年第SUPPL 1期47卷 A1-A464页

作者： Veitenhansl, M. Stegner, K. Hierl, F.-X. Dieterle, C. Feldmeier, H. Gutt, B. Landgraf, R. Garrow, A. P. Vileikyte, L. Findlow, A. Waterman, C. Boulton, A. J. M. Shankhdhar, K. Shankhdhar, L. Shankhdhar, U. Petrova, N. L. Foster, A. V. M. Edmonds, M. E. Ferraresi, R. Caravaggi, C. De Giglio, R. Cavaiani, P. Pogliaghi, I. Sommariva, E. Katz, I. A. Harlan, A. Miranda-Palma, B. Prieto-Sanchez, L. Armstrong, D. G. Bowker, J. H. Mizel, M. S. Cernea, S. Wohlgelernter, J. Kidron, M. Modi, P. Raz, I. Arbit, E. Nosek, L. Kapitza, C. Beckett, P. Gelfand, R. Goldberg, M. Heise, T. Testa, M. A. Turner, R. R. Hayes, J. F. Scranton, R. E. Simonson, D. C. Yang, Y.-W. Hsu, Y.-J. Naujok, O. Francini, F. Jörns, A. Tiedge, M. Lenzen, S. Abdel-Wahab, Y. H. A. Marenah, L. Orr, D. F. Shaw, C. Flatt, P. R. Chokkalingam, K. Mansell, P. I. Clausen, P. Ekbom, P. Damm, P. Feldt-Rasmussen, U. Nielsen, B. Mathiesen, E. R. Feldt-Rasmussen, B. Dewan, S. Da Silva, N. Ternan, P. Mc Leong, K. S. Wilding, J. P. H. Asatiani, N. Kurashvili, R. Dundua, M. Shelestova, E. Pagava, K. Ramazashvili, M. Hod, M. Smirnov, S. Petersen, J. L. A. Justesen, T. I. Ringholm Nielsen, L. Müller, C. Højlund, K. Wensaas, A. Kase, E. T. Aas, V. Rustan, A. C. Thoresen, G. H. Levin, K. Beck-Nielsen, H. Gaster, M. Im, S.-S. Kang, S.-Y. Kim, S.-Y. Ahn, Y.-H. Lihn, A. S. Schmoll, D. Werner, T. Kienitz, A. Meyer, M. Barthel, A. Ailett, F. Sutherland, C. Walther, R. Grempler, R. Sasson, S. Reich, R. Tenenbaum, T. Alpert, E. Anfossi, G. Russo, I. Traversa, M. Massucco, P. Mattiello, L. Doronzo, G. Trovati, M. Lally, S. Tan, C. Y. Owens, D. Tomkin, G. H. Porchay, I. Péan, F. Bellili, N. Betoulle, D. Balkau, B. Tichet, J. Marre, M. Fumeron, F. Chatellier, G. Alhenc-Gelas, F. Nichols, G. A. Brown, J. B. Hayes, R. P. Bowman, L. Drexel, H. Saely, C. H. Marte, T. Benzer, W. Langer, P. Hoefle, G. Moll, W. Aczel, S. Karagiannis, E. Lübben, G. Urquhart, R. Edwards, G. Bruce, S. Howlett, H. S. C. Cugnardey, N. Turner, K. C. Park, J.-S. Fiedorek, F. T. Avogaro, A. Gallo, A. Pinton, P. Riz Innenstadt Klinikum der Universität München München Germany Diabetes Center Medizinische Klinik München Germany Medicine The University of Manchester Manchester UK Medicine University of Manchester Manchester UK Podiatry The University of Salford Manchester UK Department of Medicine/Division of Endocrinology Diabetes and Metabolism University of Miami Miami USA Department of Medicine Manchester Royal Infirmary Manchester UK Podiatry L.K.Diabetes Centre Lucknow India Diabetology L.K.Diabetes Centre Lucknow India Medical Nutrition L.K.Diabetes Centre Lucknow India Diabetic Foot Clinic King’s College Hospital London UK Haemodinamic Department - Cardiovascular Division Magenta Hospital Milan Italy Center for the Study and Treatment of Diabetic Foot Pathology Abbiategrasso Hospital Milan Italy Center for the Study and Treatment of Diabetic Foot Pathology Abbiategrasso Hospital Abbiategrasso Italy Department of Orthopedics University of Miami Miami USA Department of Surgery Southern Arizona Veterans Affairs Medical Center Tucson USA Surgery Southern Arizona VA Medical Center Tucson USA Podiatric Medicine and Surgery Rosalind Franklin University School of Medicine and Science North Chicago USA Diabetes Department Center of Diabetes Nutrition and Metabolic Disorders Clug-Napoca Romania Diabetes Unit Hadassah University Hospital Jerusalem Israel Diabetes Unit Hadassah Hebrew University Hospital Jerusalem Israel Research Department Generex Biotechnology Corporation Toronto Canada Hadassah Hebrew University Hospital Jerusalem Israel Medical Research Emisphere Technologies Inc. New York USA Profil Institut fuer Stoffwechselforschung GmbH Neuss Germany Profil Institute for Metabolic Research Neuss Germany Management Profil Inst. für Stoffwechselforschung Düsseldorf Germany Institute for Metabolic Research Profil Neuss Germany Biostatistics Harvard School of Public Health Boston USA Clinical Research Phase V Technologies Wellesley Hills US

来源：评论

学校读者我要写书评

暂无评论

Application of rapid tooling for sheet metal forming: Flexible drawing die with punches built by SLS technique and by copying process

Application of rapid tooling for sheet metal forming: Flexib...

引用

Automotive and Transportation Technology Congress and Exhibition

作者： Gatto, A. Iuliano, L. Dep. of Engineering Science University of Modena and Reggio Emilia Italy Dep. of Manufacturing Systems and Economics Polytechnic of Torino Italy

The Rapid Prototyping (RP) process is evolving beyond just making three dimensional models and it is beginning to have an impact on tool construction. The sheet metal forming industries are reluctant to implement the Rapid Tooling (RT) process until the costs and time effectiveness have been proved: resulting cost cuts over conventional methods can be significant but justifying the necessary equipment can be difficult. One reason is that benefits of RP are not always easy to quantify;another is that the financial staff may not understand the need for a new technology that can radically change the way a company produces prototypes. A AISI 304 benchmark was selected. Usually it is produced in three steps: drawing;trimming and bending. The combination of prototype drawing dies and laser cutting instead of trimming can answer many questions regarding the development of metal sheet components. This paper regards the evaluation of the possibility to turn out a small batch or sampling production of sheet metal formed by means of flexible drawing die whit punch built using Selective Laser Sintering (SLS) and with one built by copying process applied to a original part produced by Stereolitography (SLA). The results show that both these solutions may be successfully used even if the punch built by SLS technique guaranties higher volume production e parts quality. Copyright © 2001 SAE International and Messe Düsseldorf.

关键词： Drawing dies

来源：评论

学校读者我要写书评

暂无评论

Pruning techniques for the SAT-based bounded model checking problem 11th

引用

11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2001 held jointly with the 14th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2009

作者： Shtrichman, Ofer The Minerva Center for Verification of Reactive Systems Dep. of Computer Science and Applied Mathematics The Weizmann Institute of Science Israel IBM Haifa Research Lab Israel

ISBN: (纸本)3540425411

Bounded Model Checking (BMC) is the problem of checking if a model satisfies a temporal property in paths with bounded length k. Propositional SAT-based BMC is conducted in a gradual manner, by solving a series of SAT instances corresponding to formulations of the problem with increasing k. We show how the gradual nature can be exploited for shortening the overall verification time. The concept is to reuse constraints on the search space which are deduced while checking a k instance, for speeding up the SAT checking of the consecutive k+1 instance. This technique can be seen as a generalization of ‘pervasive clauses’, a technique introduced by Silva and Sakallah in the context of Automatic Test Pattern Generation (ATPG). We define the general conditions for reusability of constraints, and define a simple procedure for evaluating them. This technique can theoretically be used in any solution that is based on solving a series of closely related SAT instances (instances with non-empty intersection between their set of clauses). We then continue by showing how a similar procedure can be used for restricting the search space of individual SAT instances corresponding to BMC invariant formulas. Experiments demonstrated that both techniques have consistent and significant positive effect. © Springer-Verlag Berlin Heidelberg 2001.

关键词： Reusability

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：