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

Abstracts for the 6th Congress of Asian Sleep Research Society

Sleep and Biological Rhythms 2009年第4期7卷 A1-A49页

作者： Seog Ju Kim In Kyoon Lyoo Yu-Jin Lee Do-Un Jeong Hirohiko Kanai Masanori Ookubo Atsushi Yoshimura Masako Okawa Noto Yamada Takeshi Munezawa Yoshitaka Kaneita Yoneatsu Osaki Hideyuki Kanda Tadahiro Ohtsu Masumi Minowa Kenji Suzuki Susumu Hijuchi Hiroyuki Suzuki Takashi Ohida Takashi Abe Yoko Komada Shoichi Asaoka Yuichi Inoue Jin-Seong Lee Sang-Yong Cho Deependra Kumar Hruda N. Mallick Velayudhan M. Kumar Mahesh K. Kaushik Akihiro Karashima Noiihiro Katayama Mitsuyuki Nakao Ravindra P. Nagendra Sathiamma Sulekha Sathyaprabha T. Narasappa Pradhan Nityanadan Bindu M. Kutty M. Nirmala P. N. Ravindra Basavaraj Ramappa Tubaki T. N. Sathyaprabha D. Sudhakar G. S. Lavekar C. R. Chandrashekar Kazuyoshi Kitaoka Mika Shimizu Sachiko Chikahisa Kazuo Yoshizaki Hiroyoshi Sei Jong-Won Kim Misa Takegami Shin Yamazaki Yasuaki Hayashino Rei Ono Koji Otani Miho Sekiguchi Shinichi Konno Shunichi Fukuhara Antonia J. Jakobson Paul Fitzgerald Russell Conduit Xin Shirley Li Siu Ping Joyce Lam Wai Man Mandy Yu Yun Kwok Wing Kazue Okamoto-Mizuno Koh Mizuno Mituaki Yamamoto Shuichiro Shirakawa Hirokazu Doi Mikako Kato Kazuyuki Shinohara Masako Tamaki Shiori Matsuda Katsuo Yamazaki Tadao Hori Keiko Ogawa Kazumi Takahashi Kunio Kitahama Katuo Yamazaki Yoshimasa Koyama Kohei Shioda Yugo Ueda Yukiko Nakamura Clara Inoue Kazushige Goto Sunao Uchida Yuko Morita Yoshiko Honda Tohru Kodama Mari Hagihara Toru Nakajima Masato Saito Yoshihiko Koga Shinichiro Tanaka Hiroshi Yamadera Madoka Takahara Sachiko Suwa Minoru Onozuka Sadao Sato Fumiharu Togo Taiki Komatsu Takeshi Mitani Jongbae Choi Bin Zhang Taeko Sasai Hiromi Mitsubayashi Mitsuhiro Ohtsu Isao Hasegawa Tatsuya Ishii Akira Komori Asami Suzuki Yue Nakahara Mitsuyasu Hiroki Mariko Nakauma Nobuo Someya Tomomasa Ochiai Shouhei Komori Rayleigh Ping-Ying Chiang Zai-Ting Yeh Seong T. Kim Seung H. Yoon Jeong S. Kwon Jong H. Choi Hyung J. Ahn Youngsoo Kim Bolortuya Yunren Lichao Chen Radhika Basheer Robert W. Mccarley Robert E. Strecker Makoto Honda Tetsuaki Arai Miyuki Fukazawa Yutaka Honda Kuniaki T Department of Psychiatry Gachon University of Medicine and Science Incheon Republic of Korea Department of Psychiatry Seoul National University Seoul Republic of Korea Department of Neuropsychiatry and Center for Sleep and Chronobiology Seoul National University Hospital Seoul Republic of Korea Department of Neuropsychiatry Seoul National University Hospital Seoul Republic of Korea Seoul National University Hospital Seoul Republic of Korea Department of Psychiatry Shiga University of Medical Science Otsu Japan Division of Public Health Department of Social Medicine Nihon University School of Medicine Tokyo Japan Department of Public Health Nihon University School of Medicine Tokyo Japan Division of Environmental and Preventive Medicine Department of Social Medicine Faculty of Medicine Tottori University Yonago Japan Department of Hygiene and Preventive Medicine Fukushima Medical University Fukushima Japan Department of Public Health Showa University School of Medicine Tokyo Japan Faculty of Humanities Seitoku University Matsudo Japan Section on Behavioral Science Division of Clinical Research National Hospital Organization Kurihama Alcoholism Center Yokosuka Japan Department of Otolaryngology Second Hospital Fujita Health University Nagoya Japan National Hospital Organization Kurihama Alcoholism Center Kanagawa Japan Metropolitan Police Department Criminal Investigation Laboratory Tokyo Japan Japan Somnology Center Neuropsychiatrie Research Institute Tokyo Japan Department of Somnology Tokyo Medical University Tokyo Japan Japan Somnology Center Neuropsychiatric Research Institute Tokyo Japan Department of Somnology Tokyo Medical and Dental University Tokyo Japan Center for Sleep and Chronobiology Department of Psychiatry and Behavioral Science Seoul National University College of Medicine Seoul Republic of Korea Department of Psychiatry and Behavioral Science Center for Sleep and Chronobiology Seoul Republic of Korea Department of Physiology Al

来源：评论

学校读者我要写书评

暂无评论

Meeting the information Assurance Crisis in the U.S. Now

引用

EDPACS 2006年第6期28卷 1-14页

作者： Corey Schou Deborah Frincke Charles Reynolds James Frost The Associate Dean of Information Systems Programs at Idaho State University (ISU) in Pocatello and the director of the Center for Decision Support. Currently he serves as the Chair of the National Colloquium on Information System Security Education. Schou also directs the ISU National Center of Excellence in Information Assurance Education and the ISU Technology Innovation Center. Contact Corey Schou one of the authors of this article and the Chair of the NCISSE by email at Schou@*** for help in finding additional ways to address the issues raised in this article. A member of the University of Idaho College of Engineering faculty. She graduated from the University of California at Davis. Frincke is the co-director and co-founder of the university's Center for Secure and Dependable Software (CSDS). She was the program chair for the 2nd International Workshop on Recent Advances in Intrusion Detection (RAID). A professor of Computer Science at the College of Integrated Science and Technology at James Madison University in Harrisonburg Virginia. He holds a Ph.D. in computer science from the University of Texas at Austin and a BA in philosophy from the University of Houston. Reynolds is the Director of Information System Security Education at James Madison University. Since 1997 Reynolds has led the development of the first remote Internet-based curriculum that leads to an M.S. degree in computer science with a concentration in information security. Thus far 160 students have completed this program. A professor of computer information systems at Idaho State University and the manager of its Simplot Decision Support Center.

T he only difference etween evolution and revolution is the speed at which each occurs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

The Social Affordances of the Internet for Networked Individualism

引用

Journal of computer-Mediated Communication 2006年第3期8卷

作者： Barry Wellman Anabel Quan-Haase Jeffrey Boase Wenhong Chen Keith Hampton Isabel Díaz Kakuko Miyata In 1965 moved from his Bronx High School of Science slide rule to IBM cards and an 029 keypunch in the bowels of Harvard University. Since then he's been primarily interested in the interplay between large-scale social processes and how people use technology to be connected at work and in the community. His NetLab research network is trying to get a handle on how the Internet fits into everyday life. Wellman founded the International Network for Social Network Analysis in 1976. He is a recent Chair of the Community section of the American Sociological Association has been nominated for the Chair of the Communication and Information Technology section of the ASA the Virtual Community focus area leader for SIGGROUP/ACM and a Executive Cmmittee member of the Association for Internet Researchers. Wellman's (co)edited books are: Social Structures: A Network Approach (2d ed CSPI 2003) Networks in the Global Village (Westview Press 1999) and The Internet in Everyday Life (Blackwell Publishers 2002). Address:Centre for Urban & Community Studies University of Toronto 455 Spadina Avenue Toronto Canada M5S 2G8. Fax: +1-416-978-7162 Address:Centre for Urban & Community Studies University of Toronto 455 Spadina Avenue Toronto M5S 2G8 Canada. Address:Massachusetts Institute of Technology 77 Mass. Ave. Room 9-522 Cambridge MA 02139. Address:IN3 Av. Tibidabo 47 08035 Barcelona Spain. Phone: +*** Fax: +***. Address:Department of Sociology Meiji Gakuin University 1-2-37 Shirokanedai Minato-ku Tokyo 108-8636 JAPAN. Phone: +81-3-5421-5565 Fax: +81-3-5421-5697. Doctoral student at the Faculty of Information Studies University of Toronto. She has been a Fellow of the Knowledge Media Design Institute and the McLuhan Program in Culture and Technology. Her articles address the nature of Internet-related social change for social integration and information flow. Her articles have examined the implications of these changes for communities and her thesis focuses on organizations. University of Toronto doctoral

We review the evidence from a number of surveys in which our NetLab has been involved about the extent to which the Internet is transforming or enhancing community. The studies show that the Internet is used for connectivity locally as well as globally, although the nature of its use varies in different countries. Internet use is adding on to other forms of communication, rather than replacing them. Internet use is reinforcing the pre-existing turn to societies in the developed world that are organized around networked individualism rather than group or local solidarities. The result has important implications for civic involvement.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Proof Method for correctness of refinements of algebraic specification in abstract sequential machine style

引用

systems AND computerS IN JAPAN 1996年第5期27卷 25-38页

作者： Okano, K Higashino, T Taniguchi, K Member Faculty of Engineering Science Osaka University Toyonaka Japan 560 Teruo Hipshino received his B.E. M.E.and Ph.D. degrees in Information and Computer Sciences from Osaka University Osaka Japan in 1R9 1981 and 1984 respectively. He joined the Faculty of Osaka University in 1984. Since 1991 he has been an Associate Professor in the Department of Information and Computer Sciences at Osaka University. In 1990 he was a Visiting Researcher of Dept. I.R.O. at University of Montreal Canada. His current research interests include design and analysis of distributed systems specification and verification of communication protocols and formal approach of program design. He is a member of IEEE-CS ACM IEICE of Japan and IPS of Japan.

In this paper, new methods for providing the correctness of refinement among abstract sequential machine style programs are described. The programs are described in algebraic language ASL using some useful notions, i.e., the extended projection and the valid reachability condition for each transition function. These notions allow a designer to refine a given text (program or specification) to a concrete text more freely than the text that does not use such notions. These notions can also enhance the expressive power of the text. On the other hand, these advantages would have lost half their values, if useful methods to prove the correctness of refinement among the texts using them are not found. Thus new methods for proving the correctness of the texts are proposed, and they do not require much proof loads. First, the correctness of refinement among the ASL texts with the extended projection is defined. Second, a method is proposed for proving the correctness of refinement among such texts. Also proposed is a definition of the correctness of refinement among the texts with the valid reachability conditions and a method to prove their correctness. These methods do not require more proof loads than the usual methods for the texts that do not use such notions in the abstract sequential machine style. Therefore, these methods are useful.

关键词： abstract sequential machine ASL language proof algebraic specification

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Abstracts

引用

Environmental Management 1977年第1期1卷 67-96页

作者： Frankenfeld, John W. Schulz, Wolfgang McMurty, George J. Petersen, Gary W. May, G. A. Hering, F. S. Schwartz, J. I. Heywood, J. B. Chigier, N. A. Grohse, E. W. Walker, J. D. Colwell, R. R. Petrakis, L. Pergament, H. S. Thorpe, R. D. Schoepf, Richard W. Krzyczkowski, Roman Henneman, Suzanne S. Hudson, Charles L. Putnam, Evelyn S. Thiesen, Donna J. Parks, G. A. McCarty, Perry L. Leckie, J. O. Schrumpf, Barry J. Simonson, G. H. Paine, D. P. Lawrence, R. D. Pyott, W. T. Leh, M. Elders, W. Combs, J. Caplen, T. Harrison, F. L. Wong, K. M. Heft., R. E. Charnell, Robert L. Lehmann, Edward J. Mallon, Lawrence G. Hatfield, Cecile Adams, Gerald H. Johanning, James Talvitie, Antti Noll, Kenneth E. Miller, Terry Smiarowski, Joseph F. Willis, Cleve E. Foster, John H. Schlesinger, Benjamin Daetz, Douglas Lear, Donald U. Smith, Mona F. Hundemann, Audrey S. Crockett, Pernell W. Werner, Kirk G. Carroll, Thomas E. Maase, David L. Genco, Joseph E. Ifeadi, Christopher N. Lowman, F. G. Christensen, S. W. Van Winkle, W. Mattice, J. S. Harrison, Elizabeth A. Barker, James C. Chesness, Jerry L. Smith, Ralph E. Shaheeen, Donald G. Raney, R. Keith Borton, T. Wezernak, C. T. Raney, R. K. Sherwani, Jabbor K. Moreau, David H. Eisenberg, Norman A. Lynch, Cornelius J. Breeding, Roger J. Johnson, J. D. Foster, K. E. Mouat, D. A. Clark, R. Hyden, John William Owen, Wilfred Bayfield, Neil G. Barrow, Graham C. Stolz, Stephanie B. Wienckowski, Louis A. Brown, Betram S. Keyfitz, Nathan Wilson, W. L. Newman, Peter W. G. Bammi, Deepak Bammi, Dalip Goddard, James E. Chisholm, Tony Walsh, Cliff Brennan, Geoffrey Thompson, K. S. Richardson, R. Jensen, Clayton E. Brown, Dail W. Mirabito, John A. Cowing, Thomas G. Binghamton, Suny Siehl, George H. Albrecht, O. W. Alexander, Ariel Barde, Jean -Philippe Darby, William P. McMichael, Francis Clay Dunlap, Robert W. Muckleston, Keith W. Frankenhoff, Charles A. Giulini, Lorenzo T. Wyatt, T. Black, Peter E. Keating, William Thomas Leonard, M. E. Fisher, E. L. Brunelle, M. F. Dickinson, J. E. Pethig, Rudiger Clapham Exxon Research & Engineering Co. Linden Government Research Lab Coast Guard Washington D.C. Department of Transportation Washington D.C. Office For Remote Sensing of Earth Resources. NASA Earth Resources Survey Program Pennsylvania State University Washington D.C. Department of the Navy Washington D.C. Cambridge. Dept. of Mechanical Engineering Massachusetts Inst. of Technology USA Huntsville. School of Graduate Studies and Research Alabama Univ. USA Dept. of Microbiology. Office of Naval Research Maryland Univ. Arlington Research and Development Co. Pittsburgh AeroChem Research Labs. Inc. Princeton Dept. of the Interior Office of Library Services. Bibliographic Series (Final) Washington D.C. Interplan Corp. Santa Barbara Urban Mass Transportation Adm. Washington D.C. Naval Underwater Systems Center Newport Calif. Mercury Project. National Science Found Stanford Univ Washington D.C. Div. of Advanced Environmental Research & Tech. USA Corvallis. NASA Earth Resources Survey Program Oregon State Univ. Washington D.C. Riverside. Inst. of Geophysics and Planetary Physics National Science Foundation California Univ. Washington D.C. Livermore Lawrence Livermore Lab. California Univ. USA Atlantic Oceanographic and Meteorological Labs. National Oceanic and Atmospheric Administration Miami National Technical Information Service Springfield Miami Univ. Coral Gables School of Law National Oceanic and Atmospheric Administration Rockville National Academy of Sciences Office of Sea Grant Washington D. C. School of Law National Oceanic and Atmospheric Administration Office of Sea Grant. Rockville Norman. Dept. of Civil Engineering and Environmental Science. Urban Mass Transportation Administration Oklahoma Univ. Washington D. C. Knoxville.Dept. of Civil Engineering. Federal Highway Administration Tennessee Univ. Washington D. C. Amherst.Water Resources Research Center. Office of Water Research and Technology Massachusetts Univ. Washington D. C. Calif. Dept. of Industria

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：