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

International Conference on Networks Security, Wireless Communications and Trusted Computing, NSWCTC

作者： Niu Jun Guosun Zeng Embedded System and Service Computing Key Laboratory Ministry of Education Shanghai China College of Information Engineering Zhejiang Business and Technology Institute Ningbo China Department of Computer Science and Technology University of Tongji Shanghai China

ISBN: (纸本)9781424465972;9780769540115

Partial order reduction techniques have been used to combat the state explosion problem in model checking procedures for concurrent systems with probabilistic behaviors. There are some results that give criteria on applying partial order reduction for verifying quantitative time properties and reward-based properties on actions. However, there are many situations that reward-based properties are expressed on states rather than on actions because actions are triggered in no time and the quantities can not be obtained easily. This paper presents reduction criteria for a probabilistic temporal logic that allows specification of restrictions on quantitative measures given by spatial resources function for the states of the considered system and provides the proof of the correctness.

关键词： Explosions Computer networks Concurrent computing Embedded computing Educational technology Probabilistic logic Communication system security Computer security Information security Wireless communication

来源：评论

学校读者我要写书评

暂无评论

A Generalized Model with Spatial Resources Labels

A Generalized Model with Spatial Resources Labels

引用

International Conference on Biomedical engineering and Computer science (ICBECS)

This paper proposes a generalized model by extending Markov chain with spatial resources labels, which can describe the functional and performance properties and some basic characteristics such as nondeterminacy and randomicity. The syntax and semantics of the new model are shown based on the existing temporal logics such as CSRL and pathCSRL. The model checking procedure is discussed and thus the practicability of the new model is intuitive. Based on the existing models, the proposed model includes spatial resources labels only by adding the spatial information to the existing labels of states, so the treatment of the state explosion problem is similar to that in the existing models.

关键词： Educational technology Paper technology Logic Labeling Educational institutions Embedded system Embedded computing Computer science education systems engineering education Computer science

来源：评论

学校读者我要写书评

暂无评论

Measurement of neutral mesons in p+p collisions at s=200 GeV and scaling properties of hadron production

引用

Physical Review D 2011年第5期83卷 052004-052004页

作者： A. Adare S. Afanasiev C. Aidala N. N. Ajitanand Y. Akiba H. Al-Bataineh J. Alexander K. Aoki L. Aphecetche R. Armendariz S. H. Aronson J. Asai E. T. Atomssa R. Averbeck T. C. Awes B. Azmoun V. Babintsev M. Bai G. Baksay L. Baksay A. Baldisseri K. N. Barish P. D. Barnes B. Bassalleck A. T. Basye S. Bathe S. Batsouli V. Baublis C. Baumann A. Bazilevsky S. Belikov R. Bennett A. Berdnikov Y. Berdnikov A. A. Bickley J. G. Boissevain H. Borel K. Boyle M. L. Brooks H. Buesching V. Bumazhnov G. Bunce S. Butsyk C. M. Camacho S. Campbell B. S. Chang W. C. Chang J.-L. Charvet S. Chernichenko J. Chiba C. Y. Chi M. Chiu I. J. Choi R. K. Choudhury T. Chujo P. Chung A. Churyn V. Cianciolo Z. Citron C. R. Cleven B. A. Cole M. P. Comets P. Constantin M. Csanád T. Csörgő T. Dahms S. Dairaku K. Das G. David M. B. Deaton K. Dehmelt H. Delagrange A. Denisov D. d’Enterria A. Deshpande E. J. Desmond O. Dietzsch A. Dion M. Donadelli O. Drapier A. Drees K. A. Drees A. K. Dubey A. Durum D. Dutta V. Dzhordzhadze Y. V. Efremenko J. Egdemir F. Ellinghaus W. S. Emam T. Engelmore A. Enokizono H. En’yo S. Esumi K. O. Eyser B. Fadem D. E. Fields M. Finger, Jr. M. Finger F. Fleuret S. L. Fokin Z. Fraenkel J. E. Frantz A. Franz A. D. Frawley K. Fujiwara Y. Fukao T. Fusayasu S. Gadrat I. Garishvili A. Glenn H. Gong M. Gonin J. Gosset Y. Goto R. Granier de Cassagnac N. Grau S. V. Greene M. Grosse Perdekamp T. Gunji H. -Å. Gustafsson T. Hachiya A. Hadj Henni C. Haegemann J. S. Haggerty H. Hamagaki R. Han H. Harada E. P. Hartouni K. Haruna E. Haslum R. Hayano M. Heffner T. K. Hemmick T. Hester X. He H. Hiejima J. C. Hill R. Hobbs M. Hohlmann W. Holzmann K. Homma B. Hong T. Horaguchi D. Hornback S. Huang T. Ichihara R. Ichimiya H. Iinuma Y. Ikeda K. Imai J. Imrek M. Inaba Y. Inoue D. Isenhower L. Isenhower M. Ishihara T. Isobe M. Issah A. Isupov D. Ivanischev B. V. Jacak J. Jia J. Jin O. Jinnouchi B. M. Johnson K. S. Joo D. Jouan F. Kajihara S. Kametani N. Kamihara J. Kamin M. Kaneta J. H. Kang H. Kanou J. Kapustinsky D. Kawall A. V. Kazantsev T. Kempe University of Colorado Boulder Colorado 80309 USA Joint Institute for Nuclear Research 141980 Dubna Moscow Region Russia Columbia University New York New York 10027 and Nevis Laboratories Irvington New York 10533 USA Department of Physics University of Massachusetts Amherst Massachusetts 01003-9337 USA Chemistry Department Stony Brook University Stony Brook SUNY New York 11794-3400 USA RIKEN Nishina Center for Accelerator-Based Science Wako Saitama 351-0198 JAPAN RIKEN BNL Research Center Brookhaven National Laboratory Upton New York 11973-5000 USA New Mexico State University Las Cruces New Mexico 88003 USA Kyoto University Kyoto 606-8502 Japan SUBATECH (Ecole des Mines de Nantes CNRS-IN2P3 Université de Nantes) BP 20722 - 44307 Nantes France Physics Department Brookhaven National Laboratory Upton New York 11973-5000 USA Laboratoire Leprince-Ringuet Ecole Polytechnique CNRS-IN2P3 Route de Saclay F-91128 Palaiseau France Department of Physics and Astronomy Stony Brook University SUNY Stony Brook New York 11794 USA Oak Ridge National Laboratory Oak Ridge Tennessee 37831 USA IHEP Protvino State Research Center of Russian Federation Institute for High Energy Physics Protvino 142281 Russia Collider-Accelerator Department Brookhaven National Laboratory Upton New York 11973-5000 USA Florida Institute of Technology Melbourne Florida 32901 USA Dapnia CEA Saclay F-91191 Gif-sur-Yvette France University of California–Riverside Riverside California 92521 USA Los Alamos National Laboratory Los Alamos New Mexico 87545 USA University of New Mexico Albuquerque New Mexico 87131 USA Abilene Christian University Abilene Texas 79699 USA PNPI Petersburg Nuclear Physics Institute Gatchina Leningrad region 188300 Russia Institut für Kernphysik University of Muenster D-48149 Muenster Germany Saint Petersburg State Polytechnic University St. Petersburg Russia Yonsei University IPAP Seoul 120-749 Korea Institute of Physics Academia Sinica Taip

The PHENIX experiment at the Relativistic Heavy Ion Collider has measured the invariant differential cross section for production of KS0, ω, η′, and ϕ mesons in p+p collisions at s=200 GeV. Measurements of ω and ϕ production in different decay channels give consistent results. New results for the ω are in agreement with previously published data and extend the measured pT coverage. The spectral shapes of all hadron transverse momentum distributions measured by PHENIX are well described by a Tsallis distribution functional form with only two parameters, n and T, determining the high-pT and characterizing the low-pT regions of the spectra, respectively. The values of these parameters are very similar for all analyzed meson spectra, but with a lower parameter T extracted for protons. The integrated invariant cross sections calculated from the fitted distributions are found to be consistent with existing measurements and with statistical model predictions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Integrated verification model atsFPM based on functional, time and spatial constraints

引用

Jisuanji Xuebao/Chinese Journal of Computers 2009年第4期32卷 740-750页

作者： Niu, Jun Zeng, Guo-Sun Chen, Bo Department of Computer Science and Technology Tongji University Shanghai 201804 China Key Laboratory of Embedded System and Service Computing of Ministry of Education Shanghai 201804 China College of Information Engineering Zhejiang Business Technology Institute Ningbo 315012 China

Nowadays complex information system's integrated formal models of function verification and performance evaluation lack properties constraint about space aspect. This paper presents an integrated verification model atsFPM by defining a space requirement function over the states of the considered information system. The patterns of paths which are based on regular expressions is proposed in order to specify the functional specifications. The syntax and semantic of the model atsFPM is defined. A conversion product model is obtained by the combination of the system model and the automaton of the pattern of paths which expresses the functional specifications. The verification of the model atsFPM is tackled by the performance verification technique of Markov Reward Model. Experimental results show that the atsFPM model and its verification approach can satisfy the modeling of information system and verification of functional and performance specifications.

关键词： Information systems

来源：评论

学校读者我要写书评

暂无评论

Research on rough set theory and applications in China

引用

Lecture Notes in Computer science

作者： Wang, Guoyin Zhang, Qinghua Huang, Houkuan Ye, Dongyi Hu, Qinghua Hu, Xuegang Shi, Zhongzhi Li, Yongli Shang, Lin An, Liping Sai, Ying Chen, Shanben Liang, Jiye Qin, Keyun Zeng, Huanglin Xie, Keming Miao, Duoqian Min, Fan Wu, Zhaocong Wu, Weizhi Dai, Jianhua Institute of Computer Science and Technology Chongqing University of Posts and Telecommunications Chongqing 400065 China School of Information Science and Technology Southwest Jiaotong University Chengdu 610031 China School of Computer and Information Technology Beijing Jiaotong University Beijing 100044 China College of Math. and Computer Fuzhou University Fuzhou 350002 China Harbin Institute of Technology PO Box 458 Harbin 150006 China School of Computer and Information Hefei University of Technology Hefei 230009 China Institute of Computing Technology Chinese Academy of Sciences Beijing 100080 China Lanzhou University No.222 Tianshui South Rd. Lanzhou 730000 China State Key Laboratory for Novel Software Technology Nanjing University Nanjing 210093 China Management Science and Engineering Department Business School Nankai University Tianjin 300071 China Shandong University of Finance No.40 Shun-geng Road Jinan 250014 China Welding Engineering Institute Shanghai Jiaotong University Shanghai 200030 China School of Computer and Information Technology Shanxi University Taiyuan 030006 China Intelligent Control Development Center Southwest Jiaotong University Chengdu 610031 China Artificial Intelligence of Key Laboratory Sichuan University of Science and Engineering Zigong 643000 China Department of Automation College of Information Engineering Taiyuan University of Technology Taiyuan 030024 China 4800 CaoAn Highway Shanghai 201804 China School of Computer Science and Technology University of Electronic Science and Technology of China Chengdu 610054 China School of Remote Sensing Information Engineering Wuhan University Wuhan 430079 China Institute for Information and System Sciences Faculty of Science Xi'an Jiaotong University Xi'an 710049 China Information College Zhejiang Ocean University Zhejiang 316004 China Institute of Artificial Intelligence Zhejiang University Hangzhou 310027 China

ISBN: (纸本)3540850635

This article gives a capsule view of research on rough set theory and applications ongoing at universities and laboratories in China. Included in this capsule view of rough set research is a brief description of the following things: Chinese research groups on rough set with their URLs for web pages, names of principal researchers (supervisors), numbers of graduate students, and topics being investigated. Statistical summaries showing the growth in the research on rough set theory and application in China are included. In addition, an introduction summarizing the research interests of Chinese researchers is included in this article. The contribution of this article is a complete overview of the principal research directions in rough set theory and its applications in China. © 2008 Springer-Verlag Berlin Heidelberg.

关键词： Rough set theory

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

THE CALLING(SM) NETWORK - A GLOBAL WIRELESS COMMUNICATION-system

引用

INTERNATIONAL JOURNAL OF SATELLITE COMMUNICATIONS 1994年第1期12卷 45-61页

作者： TUCK, EF PATTERSON, DP STUART, JR LAWRENCE, MH Calling Communications Corporation. 1900 West Garvey Ave South. Suite 200 West Covina CA 91790 USA. Chairman of Calling Communications Corporation. He is also the Managing Director of Kinship Venture Management Inc. the general partner of Kinship Partners 11 and a General Partner of Boundary the general partner of The Boundary Fund. As a venture capitalist he has founded or participated in founding several telecommunications companies including Calling Communications Corporation Magellan Systems Corporation manufactures of Global Positioning System receivers Applied Digital Access manufacturer of DS-3 test access and network performance monitoring equipment Endgate Technology Corporation specialists in satellite phased array antennas and Poynting Systems Corporation. now a division of Reliance Corporation manufacturers of fibre optic transport equipment. He was a founder of Kebby Microwave Corporation where he invented the first solid-state. frequency-modulated commercial microwave link system. The company was acquired by ITT Corporation where he rose to the position of V.P. and Technical Director of ITT North America Telecommunications Inc. Subsequently he was V.P. of Marketing and Engineering at American Telecommunications Inc. (ATC). He was founding Director of American Telecom Inc. a joint venture between ATC and Fujitsu and has served on more than 20 boards of directors including those of three public companies. He has authored articles on microwave engineering and telephone signalling and was a contributor to Reference Data For Radio Engineers. He is a graduate of the University of Missouri at Rolla where he was later awarded an honorary Professional degree and serves on its Academy of Electrical Engineering. Mr Tuck is a Senior Member of the IEEE a Fellow of the Institution of Engineers (Australia) a Professional Member of the AIAA and a registered professional engineer in three states. More than 25 years of experience in the telecommunications industry where he has been responsibl

There is a very large demand for basic telephone service in developing nations, and remote parts of industrialized nations, which cannot be met by conventional wireline and cellular systems. This is the world's largest unserved market. We describe a system which uses recent advances in active phased arrays, fast-packet switching technology, adaptive routeing, and light spacecraft technology, in part based on the work of the Jet Propulsion Laboratory and on recently-declassified work done on the Strategic Defense Initiative, to make it possible to address this market with a global telephone network based on a large low-Earth-orbit constellation of identical satellites. A telephone utility can use such a network to provide the same modern basic and enhanced telephone services offered by telephone utilities in the urban centres of fully-industrialized nations. Economies of scale permit capital and operating costs per subscriber low enough to provide a service to all subscribers, regardless of location, at prices comparable to the same services in urban areas of industrialized nations, while generating operating profits great enough to attract the capital needed for its construction. The bandwidth needed to support the capacity needed to gain these economies of scale requires that the system use K(alpha)-band frequencies. This choice of frequencies places unusual constraints on the network design, and in particular forces the use of a large number of satellites. Global demand for basic and enhanced telephone service is great enough to support at least three networks of the size described herein. The volume of advanced components, and services such as launch services, required to construct and replace these networks is sufficient to propel certain industries to market leadership positions in the early 21st Century.

关键词： LOW EARTH ORBIT SATELLITE COMMUNICATIONS FAST PACKET SWITCHING EARTH FIXED CELLS ADAPTIVE ROUTEING LIGHT SPACECRAFT K(A) BAND PHASED-ARRAY ANTENNAS

来源：评论

学校读者我要写书评

暂无评论

ROLE OF SIMULATION IN RAPID PROTOTYPING FOR CONCEPT DEVELOPMENT

引用

NAVAL ENGINEERS JOURNAL 1991年第3期103卷 204-211页

作者： KING, JF BARTON, DE J. Fred King:is the manager of the Advanced Technology Department for Unisys in Reston Virginia. He earned his Ph.D. in mathematics from the University of Houston in 1977. He has been principal investigator of research projects in knowledge engineering pattern recognition and heuristic problem-solving. Efforts include the development of a multi-temporal multispectral classifier for identifying graincrops using LANDSAT satellite imagery data for NASA. Also as a member of the research team for a NCI study with Baylor College of Medicine and NASA he helped develop techniques for detection of carcinoma using multispectral microphotometer scans of lung tissue. He established and became technical director of the AI Laboratory for Ford Aerospace where he developed expert scheduling modeling and knowledge acquisition systems for NASA. Since joining Unisys in 1985 he has led the development of object-oriented programming environments blackboard architectures data fusion techniques using neural networks and intelligent data base systems. Douglas E. Barton:is manager of Logistics Information Systems for Unisys in Reston Virginia. He earned his B.A. degree in computer science from the College of William and Mary in 1978 and did postgraduate work in London as a Drapers Company scholar. Since joining Unisys in 1981 his work has concentrated on program management and software engineering of large scale data base management systems and design and implementation of knowledge-based systems in planning and logistics. As chairman of the Logistics Data Subcommittee of the National Security Industrial Association (NSIA) he led an industry initiative which examined concepts in knowledge-based systems in military logistics. His responsibilities also include evaluation development and tailoring of software engineering standards and procedures for data base and knowledge-based systems. He is currently program manager of the Navigation Information Management System which provides support to the Fleet Ballistic Missile Progr

A valuable technique during concept development is rapid prototyping of software for key design components. This approach is particularly useful when the optimum design approach is not readily apparent or several known alternatives need to be rapidly evaluated. A problem inherent in rapid prototyping is the lack of a "target system" with which to interface. Some alternatives are to develop test driver libraries, integrate the prototype with an existing working simulator, or build one for the specific problem. This paper presents a unique approach to concept development using rapid prototyping for concept development and scenario-based simulation for concept verification. The rapid prototyping environment, derived from artificial intelligence technology, is based on a blackboard architecture. The rapid prototype simulation capability is provided through an object-oriented modeling environment. It is shown how both simulation and blackboard technologies are used collectively to rapidly gain insight into a tenacious problem. A specific example will be discussed where this approach was used to evolve the logic of a mission controller for an autonomous underwater vehicle.

关键词： Military engineering

来源：评论

学校读者我要写书评

暂无评论

COMPUTER-system ARCHITECTURE CONCEPTS FOR FUTURE COMBAT systemS

引用

NAVAL ENGINEERS JOURNAL 1990年第3期102卷 43-62页

作者： ZITZMAN, LH FALATKO, SM PAPACH, JL Dr. Lewis H. Zitzman:is the group supervisor of the Advanced Systems Design Group Fleet Systems Department The Johns Hopkins University Applied Physics Laboratory (JHU/APL). He has been employed at JHU/APL since 1972 performing applied research in computer science and in investigating and applying advanced computer technologies to Navy shipboard systems. He is currently chairman of Aegis Computer Architecture Data Bus and Fiber Optics Working Group from which many concepts for this paper were generated. Dr. Zitzman received his B.S. degree in physics from Brigham Young University in 1963 and his M.S. and Ph.D. degrees in physics from the University of Illinois in 1967 and 1972 respectively. Stephen M. Falatko:was a senior engineering analyst in the Combat Systems Engineering Department Comptek Research Incorporated for the majority of this effort. He is currently employed at ManTech Services Corporation. During his eight-year career first at The Johns Hopkins University Applied Physics Laboratory and currently with ManTech Mr. Falatko's work has centered around the development of requirements and specifications for future Navy systems and the application of advanced technology to Navy command and control systems. He is a member of both the Computer Architecture Fiber Optics and Data Bus Working Group and the Aegis Fiber Optics Working Group. Mr. Falatko received his B.S. degree in aerospace engineering with high distinction from the University of Virginia in 1982 and his M.S. degree in applied physics from The Johns Hopkins University in 1985. Mr. Falatko is a member of Tau Beta Pi Sigma Gamma Tau the American Society of Naval Engineers and the U.S. Naval Institute. Janet L. Papach:is a section leader and senior engineering analyst in the Combat Systems Engineering Department Comptek Research Incorporated. She has ten years' experience as an analyst supporting NavSea Spa War and the U.S. Department of State. She currently participates in working group efforts under Aegis Combat System Doctrin

This paper sets forth computer systems architecture concepts for the combat system of the 2010–2030 timeframe that satisfy the needs of the next generation of surface combatants. It builds upon the current Aegis computer systems architecture, expanding that architecture while preserving, and adhering to, the Aegis fundamental principle of thorough systems engineering, dedicated to maintaining a well integrated, highly reliable, and easily operable combat system. The implementation of these proposed computer systems concepts in a coherent architecture would support the future battle force capable combat system and allow the expansion necessary to accommodate evolutionary changes in both the threat environment and the technology then available to effectively counter that threat. Changes to the current Aegis computer architecture must be carefully and effectively managed such that the fleet will retain its combat readiness capability at all times. This paper describes a possible transition approach for evolving the current Aegis computer architecture to a general architecture for the future. The proposed computer systems architecture concepts encompass the use of combinations of physically distributed, microprocessor-based computers, collocated with the equipment they support or embedded within the equipment itself. They draw heavily on widely used and available industry standards, including instruction set architectures (ISAs), backplane busses, microprocessors, computer programming languages and development environments, and local area networks (LANs). In this proposal, LANs, based on fiber optics, will provide the interconnection to support system expandability, redundancy, and higher data throughput rates. A system of cross connected LANs will support a high level of combat system integration, spanning the major warfare areas, and will facilitate the coordination and development of a coherent multi-warfare tactical picture supporting the future combatant command st

关键词： Computer Architecture

来源：评论

学校读者我要写书评

暂无评论

AIR-CUSHION LANDING CRAFT NAVIGATION

引用

NAVAL ENGINEERS JOURNAL 1985年第4期97卷 248-260页

作者： GRAHAM, HR KIM, JC BAND, EGU FOWLER, AW Herbert R. Graham:received his degrees of B.S. in 1951 and M.S. in 1958 in aeronautical engineering from the Massachusetts Institute of Technology and the California Institute of Technology respectively. He also attended the Harvard Graduate School of Business Administration. He is presently a task manager at TRW Inc. McLean Virginia responsible for landing craft air cushion (LCAC) engineering support. Since joining TRW in 1967 he has had several technical project management and system engineering responsibilities in amphibious ships transportation and energy. He was responsible for the preliminary engineering design and cost estimates for tracked air cushion vehicles (TACVs). He has been active in several professional societies including ASNE and served as vice-chairman Los Angeles Section American Institute of Aeronautics and Astronautics. John C. Kim:received his degrees of B.S. in electrical engineering Tri-State University 1959 M.S. in electrical engineering Michigan State University 1960 and Ph.D. in electrical engineering Michigan State University. He is presently a senior staff engineer with TRW Inc. McLean Virginia where his technical experience has included communications system engineering and navigation system analysis. Since joining TRW in 1969 he has held numerous positions including section head project manager and department manager. His previous employment includes E-Systems/Melpar Division and Honeywell. Dr. Kim has been active in the IEEE Washington Chapter activities which included secretary vice-chairman and chairman of Systems Science and Cybernetics Group. Edward G.U. Band:received a B.S. degree in mechnical engineering in 1946 and a D.I.C in aeronautical engineering in 1947 at the City and Guilds College of London University. In 1951 he received an M.S. degree from Stevens Institute of Technology in fluid dynamics. After a career in the aircraft industry in England Canada and the U.S.A. he spent several years teaching in Chile and at Webb Institute of Naval Archi

Air cushion vehicles (ACVs) have operated successfully on commercial routes for about twenty years. The routes are normally quite short; the craft are equipped with radar and radio navigation aids and maintain continuous contact with their terminals. Navigation of these craft, therefore, does not present any unusual difficulty. The introduction of air cushion vehicles into military service, however, can present a very different picture, especially when external navigation aids are not available and the craft must navigate by dead reckoning. This paper considers the problems involved when navigating a high-speed air cushion vehicle by dead reckoning in conditions of poor visibility. A method is presented to assess the ACV's navigational capability under these circumstances. A figure of merit is used to determine the sensitivity of factors which affect navigation such as the range of visibility, point-to-point distance, speed, turning radius and accuracy of onboard equipment. The method provides simplistic but adequate answers and can be used effectively to compare the-capability and cost of alternative navigation concepts.

关键词： AIR CUSHION VEHICLES

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：