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

作者： Boness, K. Finkelstein, A. Harrison, R. University of Reading School of Systems Engineering Berks United Kingdom UCL Department of Computer Science Gower street London WC1E 6BT United Kingdom Stratton Edge Consulting Gloucestershire GL7 2LS United Kingdom

A simple and practical technique for assessing the risks, that is, the potential for error, and consequent loss, in software system development, acquired during a requirements engineering phase is described. The technique uses a goal-based requirements analysis as a framework to identify and rate a set of key issues in order to arrive at estimates of the feasibility and adequacy of the requirements. The technique is illustrated and how it has been applied to a real systems development project is shown. How problems in this project could have been identified earlier is shown, thereby avoiding costly additional work and unhappy users. © The Institution of Engineering and Technology 2008.

关键词： Risk analysis

来源：评论

学校读者我要写书评

暂无评论

Toward consolidated tactical network architecture: A modeling and simulation study

Toward consolidated tactical network architecture: A modelin...

引用

MILCOM, Military Communications Conference

作者： Andy S. Peng Brian R. Eickhoff Tian He David J. Lilja Department of Electrical and Computer Engineering University of Minnesota Minneapolis MN USA Department of Electrical and Computer Engineering University of Minnesota Minneapolis MN Tactical Systems. Maritime Systems and Sensors (MS2) Lockheed Martin Eagan MN USA Department of Computer Science and Engineering University of Minnesota Minneapolis MN USA Department of Computer Science - and Engineering University of Minnesota Minneapolis MN

A consolidated tactical network architecture provides an integrated shipboard local area network infrastructure for disparate afloat platforms operating with multiple security level enclaves. In this modeling and simulation study, a simulated network test bed is developed to investigate the performance trade-offs in a consolidated tactical network architecture. A baseline network traffic profile is defined in this study. Fail-over and traffic growth test scenarios are presented to study the performance of tactical applications under these network conditions. The results show that network traffic is redirected properly during failover conditions. The results also show that performance of the applications are scaled according to the network traffic growth.

关键词： Testing computer architecture Local area networks Telecommunication traffic Traffic control Application software Computational modeling Hardware Service oriented architecture Network topology

来源：评论

学校读者我要写书评

暂无评论

DECIGO: The Japanese space gravitational wave antenna

引用

Journal of Physics: Conference Series 2009年第1期154卷

作者： Sato, Shuichi Kawamura, Seiji Ando, Masaki Nakamura, Takashi Tsubono, Kimio Araya, Akito Funaki, Ikkoh Ioka, Kunihito Kanda, Nobuyuki Moriwaki, Shigenori Musha, Mitsuru Nakazawa, Kazuhiro Numata, Kenji Sakai, Shin-Ichiro Seto, Naoki Takashima, Takeshi Tanaka, Takahiro Agatsuma, Kazuhiro Aoyanagi, Koh-Suke Arai, Koji Asada, Hideki Aso, Yoichi Chiba, Takeshi Ebisuzaki, Toshikazu Ejiri, Yumiko Enoki, Motohiro Eriguchi, Yoshiharu Fujimoto, Masa-Katsu Fujita, Ryuichi Fukushima, Mitsuhiro Futamase, Toshifumi Ganzu, Katsuhiko Harada, Tomohiro Hashimoto, Tatsuaki Hayama, Kazuhiro Hikida, Wataru Himemoto, Yoshiaki Hirabayashi, Hisashi Hiramatsu, Takashi Hong, Feng-Lei Horisawa, Hideyuki Hosokawa, Mizuhiko Ichiki, Kiyotomo Ikegami, Takeshi TInoue, Kaiki Ishidoshiro, Koji Ishihara, Hideki Ishikawa, Takehiko Ishizaki, Hideharu Ito, Hiroyuki Itoh, Yousuke Kawashima, Nobuki Kawazoe, Fumiko Naoko, Kishimoto Kiuchi, Kenta Kobayashi, Shiho Kohri, Kazunori Koizumi, Hiroyuki Kojima, Yasufumi Kokeyama, Keiko Kokuyama, Wataru Kotake, Kei Kozai, Yoshihide Kudoh, Hideaki Kunimori, Hiroo Kuninaka, Hitoshi Kuroda, Kazuaki Maeda, Kei-Ichi Matsuhara, Hideo Mino, Yasushi Miyakawa, Osamu Miyoki, Shinji YMorimoto, Mutsuko Morioka, Tomoko Morisawa, Toshiyuki Mukohyama, Shinji Nagano, Shigeo Naito, Isao Nakamura, Kouji Nakano, Hiroyuki Nakao, Kenichi Nakasuka, Shinichi Nakayama, Yoshinori Nishida, Erina Nishiyama, Kazutaka Nishizawa, Atsushi Niwa, Yoshito Noumi, Taiga Obuchi, Yoshiyuki Ohashi, Masatake Ohishi, Naoko Ohkawa, Masashi Okada, Norio Onozato, Kouji Oohara, Kenichi Sago, Norichika Saijo, Motoyuki Sakagami, Masaaki Sakata, Shihori Sasaki, Misao Sato, Takashi Shibata, Masaru Shinkai, Hisaaki Somiya, Kentaro Sotani, Hajime Sugiyama, Naoshi Suwa, Yudai Suzuki, Rieko Tagoshi, Hideyuki Takahashi, Fuminobu Takahashi, Kakeru Takahashi, Keitaro Takahashi, Ryutaro Takahashi, Ryuichi Takahashi, Tadayuki Takahashi, Hirotaka Akiteru, Takamori Takano, Tadashi Taniguchi, Keisuke Taruya, Atsushi Tashiro, Hiroyuki Torii, Yasuo Toyoshima, Morio Tsujika Faculty of Engineering Hosei University kajinocho Tokyo 184-8584 Japan National Astronomical Observatory Japan Tokyo 181-8588 Osawa 2-21-1 Japan Department of Physics University of Tokyo Tokyo 113-0033 Japan Department of Physics Kyoto University Kyoto 606-8502 Japan Earthquake Research Institute University of Tokyo Tokyo 113-0032 Japan Institute of Space and Astronautical Science Japan Aerospace Exploration Agency (JAXA) Kanagawa 229-8510 Japan Institute of Particle and Nuclear Studies High Energy Accelerator Research Organization (KEK) Ibaraki 305-0801 Japan Department of Physics Osaka City University Osaka 558-8585 Japan Department of Advanced Materials Science University of Tokyo Chiba 277-8561 Japan Institute for Laser Science University of Electro-Communications Tokyo 182-8585 Japan NASA Goddard Space Flight Center CODE 663 Greenbelt MD 20771 8800 Greenbelt Rd. United States Yukawa Institute for Theoretical Physics Kyoto University Kyoto 606-8502 Japan Department of Earth and Environmental Sciences Hirosaki University Aomori 036-8560 Japan California Institute of Technology 1200 E. California Blvd. MC 18-34 Pasadena CA 91125 United States Nihon University Setagaya Tokyo 156-8550 Japan Ochanomizu University 2-1-1 Tokyo 112-0012 Japan Space Educations Center Japan Aerospace Exploration Agency (JAXA) Kanagawa 229-8510 Japan Institute for Cosmic Ray Research University of Tokyo Chiba 277-8582 Japan National Institute of Advanced Industrial Science and Technology (AIST) Ibaraki 305-8563 Japan Department of Aeronautics and Astronautics Tokai University Kanagawa 259-1292 Japan National Institute of Information and Communications Technology (NICT) Tokyo 184-8795 Japan School of Science and Engineering Kinki University Osaka 577-8502 Japan Max-Planck-Institute for Gravitational Physics (Albert-Einstein-Institute) D-30167 Hannover Callinstr. 38 Germany Astrophysics Research Institute Liverpool John Moores University Twelve Quays House Birkenhe

DECi-hertz Interferometer Gravitational wave Observatory (DECIGO) is the planned Japanese space gravitational wave antenna, aiming to detect gravitational waves from astrophysically and cosmologically significant sources mainly between 0.1 Hz and 10 Hz and thus to open a new window for gravitational wave astronomy and for the universe. DECIGO will consist of three drag-free spacecraft, 1000 km apart from each other, whose relative displacements are measured by a differential Fabry-Perot interferometer. We plan to launch DECIGO in middle of 2020s, after sequence of two precursor satellite missions, DECIGO pathfinder and Pre-DECIGO, for technology demonstration required to realize DECIGO and hopefully for detection of gravitational waves from our galaxy or nearby galaxies. © 2009 IOP Publishing Ltd.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Tools for the Model-based Development of Certi able, Dependable systems

Tools for the Model-based Development of Certi able, Dependa...

引用

Tools for the Model-Based Development of Certifiable, Dependable systems 2007

作者： Huhn, Michaela Hungar, Hardi Peled, Doron Technische Universtät Braunschweig Carl-Friedrich-Gauß-Fakultät Mühlenpfordtstr. 23 BraunschweigD-38106 Germany OFFIS Safety Critical Systems Escherweg 2 OldenburgD-26121 Germany University of Warwick Department of Computer Science CoventryCV4 7AL United Kingdom

This paper summarizes the objectives and structure of a seminar with the same title, held from June 10th to June 15th, 2007 at Schloss Dagstuhl, Germany. © 2008 Dagstuhl Seminar Proceedings. All rights reserved.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

Erratum: “High output power density from GaN-based two-dimensional nanorod light-emitting diode arrays” [Appl. Phys. Lett. 94, 141111 (2009)]

引用

Applied Physics Letters 2009年第21期94卷

作者： Ya-Ju Lee Shawn-Yu Lin Ching-Hua Chiu Tien-Chang Lu Hao-Chung Kuo Shing-Chung Wang Sameer Chhajed Jong Kyu Kim E. Fred Schubert 1Institute of Electro-Optical Science and Technology National Taiwan Normal University 88 Sec. 4 Ting-Chou Road Taipei 116 Taiwan 2Department of Physics Applied Physics and Astronomy The Future Chips Constellation Rensselaer Polytechnic Institute Troy New York 12180 USA 3Department of Photonics National Chiao Tung University 1001 Ta Hsueh Road Hsinchu 300 Taiwan 4Department of Electrical Computer and Systems Engineering The Future Chips Constellation Rensselaer Polytechnic Institute Troy New York 12180 USA

We report one typo error of authors affiliation. Ya-Ju Lee is currently in the Institute of Electro-Optical science and Technology, National Taiwan Normal Unive

关键词：

来源：评论

学校读者我要写书评

暂无评论

Analysis and formulation of printing process to develop knowledge-based scheduling software

Analysis and formulation of printing process to develop know...

引用

3rd International Conference on Innovative Computing Information and Control, ICICIC'08

作者： Matsumoto, Shimpei Ueno, Nobuyuki Okuhara, Koji Ishii, Hiroaki Department of Computer and Control Engineering Oita National College of Technology 1666 Oaza- Maki Oita 870-0152 Japan Department of Management and Information Systems Prefectural University of Hiroshima 1-1-71 Ujina-higashi Minami-ku Hiroshima 734-8558 Japan Graduate School of Information Science and Technology Osaka University 2-1 Yamadaoka Suita Osaka 565-0871 Japan

ISBN: (纸本)9780769531618

We have addressed the improvement of production efficiency and the review of business process for an automotive parts supplier, and the goal of this study is the development of production management software. This paper describes the business result analysis in printing process and a formulation of the tacit procedure by observing worker's empirical rule to develop the knowledge-based scheduling software. The whole of business processes are clarified by our previous researches, and the scheduling problem of printing process has been mainly discussed. Previously the printing process has been improved only by theoretical aspect, however it cannot flexibly respond to the change of production conditions such as the dispersion of order, the interrupt of urgent task, and the inventory quantity of parts in spite of the actual field can handle these. Therefore this paper regards that the technical know-how of tacit knowledge in the actual printing field is absolutely necessary factor in response to the change of production conditions, and a formulation designed to the minimization of setup operation are expressed. © 2008 IEEE.

关键词： Production efficiency

来源：评论

学校读者我要写书评

暂无评论

On a rough set with fuzzy weights in well-balanced menu planning system

On a rough set with fuzzy weights in well-balanced menu plan...

引用

3rd International Conference on Innovative Computing Information and Control, ICICIC'08

作者： Kashima, Tomoko Han, Hugang Matsumoto, Shimpei Ishii, Hiroaki Department of Information and Physical Sciences Graduate School of Information Science and Technology Osaka University 2-1 Yamadaoka Suita Osaka 565-0871 Japan Department of Management and Information Systems Prefectural University of Hiroshima 1-1-71 Ujina-higashi Minami-ku Hiroshima 734-8558 Japan Department of Computer and Control Engineering Oita National College of Technology 1666 Oaza-Maki Oita 870-0152 Japan

ISBN: (纸本)9780769531618

We have developed a well-balanced menu planning system to supply dishes to someone's taste. The system implements fuzzy mathematical programming logic and rough set theory. The fuzzy mathematical programming is mainly used to select menu among database, and the rough set theory provides user's selection rule for menu. This paper particularly focuses the method of rough set theory with fuzzy weight. So far we have used an information system with fuzzy weights adopted to only each tuple data. This paper discusses the method that is evaluated each attribute including both of condition and decision using a fuzzy number, in order to cover all uncertainties and noises in a menu database. On rough set procedure, some invisible elements are visualized i.e., it takes notice of the visualization of nutritional information which hid behind a user's favorite. Each user's characteristic is grasped and well-balanced menus are presented for each user after filling constraints such as the affinity of cooking. © 2008 IEEE.

关键词： Rough set theory

来源：评论

学校读者我要写书评

暂无评论

An artificial chemistry-based model of economies

An artificial chemistry-based model of economies

引用

11th International Conference on the Simulation and Synthesis of Living systems: Artificial Life XI, ALIFE 2008

作者： Straatman, Bas White, Roger Banzhaf, Wolfgang Energy and Environmental Systems Group ISEEE University of Calgary Calgary AB T2N 1N4 Canada Department of Geography Memorial University St. John's NL A1B 3X5 Canada Department of Computer Science Memorial University St. John's NL A1B 3X5 Canada

ISBN: (纸本)9780262750172

Economies can be modelled using Artificial Chemistry approaches. In this contribution we discuss the development of such a model starting from the well-known von Neumann's technology matrices. Skills and technologies that allow the transformation of raw materials into products are introduced in a form akin to chemical reactions. The dynamic flow of materials in such a system is simulated and connected through an agent-based market mechanism that assigns value to raw materials, labour, and products. Starting from a fixed set of raw materials, energy and labor, we observe the appearance of new products, the use of consumables and the general increase in complexity of such a system. Real evolutionary dynamics including waves of innovation can be demonstrated. © 2007 ***.

关键词： Biological systems

来源：评论

学校读者我要写书评

暂无评论

A fault tolerant architecture for supervisory control of discrete event systems

引用

IFAC Proceedings Volumes 2008年第2期41卷 6542-6547页

作者： Andrea Paoli Matteo Sartini Stéphane Lafortune Center for Research on Complex Automated Systems (CASY) DEIS University of Bologna Viale Pepoli 3/2 − 40136 Bologna ITALY Department of Electrical Engineering and Computer Science The University of Michigan 1301 Beal Avenue Ann Arbor MI 48109-2122 USA

In this paper the problem of Fault Tolerant Control (FTC) in the framework of Discrete Event systems (DES) modeled as automata is considered. The approach we follow is the so-called active approach in which the supervisor actively reacts to the detection of a malfunctioning component in order to eventually meet degraded control specifications. Starting from an appropriate model of the system, we recall the notion of safe diagnosability as a necessary step in order to achieve fault tolerant supervision of DES. We then introduce two new notions: (i) “safe controllability”, which represents the capability, after the occurrence of a fault, of steering the system away from forbidden zones and (ii) “active fault tolerant system”, which is the property of safely continuing operation after faults. We show how it is possible to define a general control architecture to deal with the FTC problem by introducing a special kind of automaton, called a “diagnosing-controller”.

关键词： Fault tolerant control Fault diagnosis Discrete event systems Automata Supervisory control theory Safety

来源：评论

学校读者我要写书评

暂无评论

Routing efficiency of AODV and DSR protocols in ad-hoc sensor networks

Routing efficiency of AODV and DSR protocols in ad-hoc senso...

引用

28th International Conference on Distributed Computing systems Workshops, ICDCS Workshops 2008

作者： Yang, Tao Ikeda, Makoto De Marco, Giuseppe Barolli, Leonard Durresi, Arjan Xhafa, Fatos 3-30-1 Wajiro-Higashi Higashi-Ku Fukuoka 811-0295 Japan Department of Systems and Information Engineering Toyota Technological Institute 2-12-1 Tenpaku-Hisakata Nagoya 468-8511 Japan 3-30-1 Wajiro-Higashi Higashi-Ku Fukuoka 811-0295 Japan Department of Computer and Information Science Indiana University Purdue University Indianapolis 723 W. Michigan Street SL 280 Indianapolis IN 46202 United States Department of Languages and Informatics Systems Polytechnic University of Catalonia C/Jordi Girona 1-3 08034 Barcelona Spain

ISBN: (纸本)9780769531731

In this paper we consider the performance behavior of two protocols: AODV and DSR using TwoRayGround model. We study the routing efficiency of the ad-hoc sensor network and compare the performance of two protocols for different scenarios using the routing efficiency concept. By computer simulations, we found that the routing efficiency of DSR protocol is better than AODV protocol. © 2008 IEEE.

关键词： Efficiency

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：