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

IEEE Internatonal Conference on Mobile Adhoc and Sensor systems (MASS)

作者： Yu Gu Jie Li Baohua Zhao Yusheng Ji Department of Computer Science and Technology University of Science and Technology Hefei Anhui China Department of Computer Science University of Tsukuba Tsukuba Ibaraki Japan Information Systems Architecture Science Research Division National Institute of Information Tokyo Japan

ISBN: (纸本)9781424451142

Target coverage problem in wireless sensor networks remains a challenge. Due to nonlinear nature, previous work has mainly focused on heuristic algorithms, which remain difficult to characterize and have no performance guarantee. To solve the problem, this paper offers two important contributions. The first contribution is to have two lifetime upper bounds, which could be used to justify performance of previously proposed heuristic algorithms. One upper bound is based on the relaxation and reformulation technique while the other is derived by relaxing coverage constraints. We study the interesting connection between those two bounds and thus endow them with physical meanings. The second contribution is proposing a column generation based (CG) approach. The objective is to find an optimal schedule, defined as a time table specifying from what time up to what time which sensor watches which targets while the maximum lifetime has been obtained. We also offer an in-depth theoretic analysis as well as several novel techniques to further optimize the approach. Numerical results not only demonstrate that the lifetime upper bounds are very tight, but also verify that the proposed CG based approach constantly yields the optimal or near optimal solution.

关键词： Wireless sensor networks Network coding Feedback Wireless networks Encoding Computer science Decoding Computer network reliability Wireless LAN Heuristic algorithms

来源：评论

学校读者我要写书评

暂无评论

Fundamental Results on Target Coverage Problem in Wireless Sensor Networks

Fundamental Results on Target Coverage Problem in Wireless S...

引用

GLOBECOM 2009 - 2009 IEEE Global Telecommunications Conference

作者： Yu Gu Yusheng Ji Jie Li Baohua Zhao Department of Computer Science and Technology University of Science and Technology Hefei Anhui China Information Systems Architecture Science Research Division National Institute of Information Tokyo Japan Department of Computer Science University of Tsukuba Tsukuba Ibaraki Japan

The target coverage problem is one of the most fundamental challenges in wireless sensor networks. Due to the complexity of the problem (time-dependent network topology and coverage constraints), previous studies have mainly focused on heuristic algorithms and the theoretical bound remains unknown. In this paper, we aim to fill in this gap by providing fundamental results. First, we investigate the properties of a problem in time domain via an example topology and build a novel transformation to connect a problem in the time domain with a corresponding problem in the space domain while maintaining the same network lifetime. Based on this transformation, we mathematically formulate the problem and build a column-generation based algorithm, which decomposes the original formulation into two sub-formulations and iteratively solves them in a way that approaches the optimal solution. We prove that the network lifetime that can be guaranteed by the proposed algorithm is at least (1-¿) of the optimum, where ¿ can be made arbitrarily small depending on the required precision.

关键词： Wireless sensor networks Heuristic algorithms Computer science Network topology Iterative algorithms Laboratories information systems Computer architecture Informatics Cities and towns

来源：评论

学校读者我要写书评

暂无评论

Estimation of blood pressure variability using independent component analysis of photoplethysmographic signal

Estimation of blood pressure variability using independent c...

引用

Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC)

作者： Makoto Abe Makoto Yoshizawa Norihiro Sugita Akira Tanaka Shigeru Chiba Tomoyuki Yambe Shin-ichi Nitta Research Division on Advanced Information Technology Cyberscience Center University of Tohoku Sendai Japan Graduate School of Engineering University of Tohoku Sendai Japan Faculty of Symbiotic Systems Science Fukushima University Fukushima Japan Sharp Corporation Mihama Chiba Japan Institute of Development Aging and Cancer University of Tohoku Sendai Japan

The maximum cross-correlation coefficient rho max between blood pressure variability and heart rate variability, whose frequency components are limited to the Mayer wave-related band, is a useful index to evaluate the state of the autonomic nervous function related to baroreflex. However, measurement of continuous blood pressure with an expensive and bulky measuring device is required to calculate rho max . The present study has proposed an easier method for obtaining rho max with measurement of finger photoplethysmography (PPG). In the proposed method, independent components are extracted from feature variables specified by the PPG signal by using the independent component analysis (ICA), and then the most appropriate component is chosen out of them so that the rho max based on the component can fit its true value. The results from the experiment with a postural change performed in 17 healthy subjects suggested that the proposed method is available for estimating rho max by using the ICA to extract blood pressure information from the PPG signal.

关键词： Blood pressure variability Independent component analysis Pressure measurement Blood pressure Heart rate variability Frequency Baroreflex Fingers Feature extraction Data mining

来源：评论

学校读者我要写书评

暂无评论

Meeting Report: BioSharing at ISMB 2010

引用

Standards in genomic sciences 2010年第3期3卷 254-8页

作者： Dawn Field Susanna Sansone Edward F Delong Peter Sterk Iddo Friedberg Pascale Gaudet Susanna Lewis Renzo Kottmann Lynette Hirschman George Garrity Guy Cochrane John Wooley Folker Meyer Sarah Hunter Owen White Brian Bramlett Susan Gregurick Hilmar Lapp Sandra Orchard Philippe Rocca-Serra Alan Ruttenberg Nigam Shah Chris Taylor Anne Thessen Centre for Ecology & Hydrology Wallingford UK Oxford e-Research Centre University of Oxford Oxford UK Department of Biological Engineering Massachusetts Institue of Technology Cambridge USA Department of Microbiology Miami University Oxford USA Department of Computer Science and Software Engineering Miami University Oxford USA Swiss Institute of Bioinformatics Geneva 4 Switzerland Lawrence Berkeley National Laboratory Berkeley USA Microbial Genomics Group Max Planck Institute for Marine Microbiology & Jacobs University Bremen Bremen Germany Information Technology Center The MITRE Corporation Bedford USA Department of Microbiology and Molecular Genetics Michigan State University East Lansing USA European Molecular Biology Laboratory (EMBL) Outstation European Bioinformatics Institute (EBI) Cambridge UK University of California San Diego La Jolla USA Argonne National Laboratory Argonne USA Institute for Genome Sciences University of Maryland School of Medicine Baltimore USA Lux Bio Group Portland USA Biological Systems Science Division Department of Energy Washington DC USA National Evolutionary Synthesis Center (NESCent) Durham USA Science Commons c/o Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory Cambridge USA Stanford Center for Biomedical Informatics Research Stanford USA Marine Biological Laboratory USA

This report summarizes the proceedings of the one day BioSharing meeting held at the Intelligent systems for Molecular Biology (ISMB) 2010 conference in Boston, MA, USA This inaugural BioSharing event was hosted by the Genomic Standards Consortium as part of its M3 & BioSharing special interest group (SIG) workshop. The BioSharing event included invited talks from a range of community leaders and a panel discussion at the end of the day. The panel session led to the formal agreement among community leaders to join together to promote cross-community knowledge exchange and collaborations. A key focus of the newly formed Biosharing community will be linking up resources to promote real-world data sharing (virtuous cycle of data) and supporting compliance with data policies through the creation of a one-stop-portal of information. Further information about the newly established BioSharing effort can be found at http://***.

关键词： Community Leader Funding Agency Special Interest Group Panel Discussion Standardization Effort

来源：评论

学校读者我要写书评

暂无评论

Assessment of synchronization measures for effective ventricular support by using the shape memory alloy fibred artificial myocardium in goats

Assessment of synchronization measures for effective ventric...

引用

Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC)

作者： Y. Shiraishi T. Yambe Y. Saijo F. Sato A. Tanaka M. Yoshizawa T. K. Sugai Y. Kaneko Y. Sato M. Uematsu M. Umezu T. Fujimoto N. Masumoto H. Liu A. Baba S. Konno K. Tabayashi H. Sasada D. Homma Institute of Development Aging and Cancer University of Tohoku Sendai Japan Faculty of Symbiotic Systems Science Fukushima University Fukushima Japan Cyber Science Center University of Tohoku Sendai Japan Graduate School of Biomedical Engineering University of Tohoku Sendai Japan Waseda University Tokyo Japan Division of Medical Devices National Institute of Health Science Tokyo Japan Shibaura Institute of Technology Tokyo Japan Department of Mechanical Engineering Nippon Institute of Technology Saitama Japan Department of Cardiovascular Surgery and the Graduate School of Medicine University of Tohoku Sendai Japan Graduate School of Agriculture University of Tohoku Sendai Japan Toki Corporation Tokyo Japan

Thromboembolic and haemorrhagic complications are the primary causes of mortality and morbidity in patients with artificial hearts, which are known to be induced by the interactions between blood flow and artificial material surfaces. The authors have been developing a new mechanical artificial myocardial assist device by using a sophisticated shape memory alloy fibre in order to achieve the mechanical cardiac support from outside of the heart without a direct blood contacting surface. The original material employed as the actuator of artificial myocardial assist devices was 100 um fibred-shaped, which was composed of covalent and metallic bonding structure and designed to generate 4-7 % shortening by Joule heating induced by the electric current input. In this study, we focused on the synchronization of the actuator with native cardiac function, and the phase delay parameter was examined in animal experiments using Saanen goats. Total weight of the device including the actuator was around 150 g, and the electric power was supplied transcutaneously. The device could be successfully installed into thoracic cavity, which was able to be girdling the left ventricle. The contraction of the device could be controlled by the originally designed microcomputer. The mechanical contraction signal input had been transmitted with the phase delay of 50-200 msec after the R-wave of ECG, and hemodynamic changes were investigated. Cardiac output and systolic left ventricular pressure were elevated with 20% delay of cardiac cycle by 27% and 7%, respectively, although there was smaller difference under the condition of the delay of over 30%. Therefore, it was suggested that the synchronization measures should be examined in order to achieve sophisticated ventricular passive/active support on physiological demand.

关键词： Shape measurement Shape memory alloys Myocardium Delay Optical fiber devices Actuators Hemorrhaging Artificial heart Blood flow Inorganic materials

来源：评论

学校读者我要写书评

暂无评论

Electric and ionic environmental circumstances interacting at Hosokura underground mine in northeast Japan

引用

IEEJ Transactions on Fundamentals and Materials 2009年第12期129卷 870-874页

作者： Takeuchi, Akihiro Okubo, Kan Watanabe, Shun Nakamura, Yukinobu Takeuchi, Nobunao Earthquake Prediction Research Center Institute of Oceanic Research and Development Tokai University 3-20-1 Orido Shimizu-ku Shizuoka 424-8610 Japan Division of Information and Communications Systems Engineering Tokyo Metropolitan University 6-6 Asahigaoka Hino 191-0065 Japan Department of Electronic and Information Systems Department of Systems Science and Technology Akita Prefectural University 84-4 Tsuchiya-Aza-Ebinokuchi Yurihonjo 015-0055 Japan Hosokura Metal Mining Co. Ltd. 48 Nango Aramachi Uguisuzawa Kurihara 989-5402

We built an observational system in the Hosokura underground mine in northeast Japan. An underground laboratory for setting up equipment is located ˜1.5 km from the main gallery entrance and ˜70 m below the surface. To detect electric signals related to earthquakes, volcanic eruptions, and/or land slides, the room contains sensors for seismic waves, electric potentials, electric fields, air ion concentrations, air temperature, and air humidity. Long-term observations with a GPS-synchronized clock have identified daily and seasonal changes in the background levels of the quasi-static electric field and the air ion concentration, probably related to air movement in and out of the mine through the shaft near our laboratory. The background electric field may be caused by a bias distribution of negative and positive air ions. ©2009 The institute of Electrical Engineers of Japan.

关键词： Earthquakes

来源：评论

学校读者我要写书评

暂无评论

Model checking education for software engineers in Japan

Model checking education for software engineers in Japan

引用

作者： Nishihara, Hideaki Shinozaki, Koichi Hayamizu, Koji Aoki, Toshiaki Taguchi, Kenji Kumeno, Fumihiro 1-2-14 Shin-Senri Nishi Toyonaka Osaka 560-0083 Japan Kansai Electric Power Co. Inc. 11-20 Nakoji 3-chome Amagasaki-shi Hyogo 661-0974 Japan Melco Power Systems Co. Ltd. 1-1-2 Wadasaki-cho Hyougo-ku Kobe-shi 652-8555 Japan Research Center for Trustworthy E-Society Japan Advanced Institute of Science and Technology 1-1 Asahidai Nomi Ishikawa 923-1292 Japan Grace Center Information Systems Architecture Research Division National Institute of Informatics 2-1-2 Hitotsubashi Chiyoda-ku Tokyo 101-8430 Japan Mitsubishi Research Institute Inc. 2-3-6 Otemachi Chiyoda-ku Tokyo 100-8141 Japan

This paper is the preliminary report of a joint research project on developing a body of knowledge on model checking. The project is being carried out by four organizations that give model checking courses to software engineers in Japan. The paper explains the main objective of the project and reports the results of an evaluation of model checking programs.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

A Reliable Collision-free TDMA MAC for Sensor Networks

引用

电子学报(英文版) 2009年第4期

作者： BAI Ronggang BAI Ronggang QU Yugui QU Yugui JI Yusheng JI Yusheng Department of Electronic Engineering and Information Science University of Science and Technology of China Hefei 230027 China Department of Electronic Engineering and Information Science University of Science and Technology of China Hefei 230027 China Statc Key Laboratory of Networking and Switching Technology Beijing 100876 China Statc Key Laboratory of Networking and Switching Technology Beijing 100876 China Information Systems Architecture Science Research Division National Institute of Informatics Tokyo Japan Information Systems Architecture Science Research Division National Institute of Informatics Tokyo Japan

来源：评论

学校读者我要写书评

暂无评论

A novel quantum transition in a fully frustrated transverse Ising antiferromagnet

引用

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

作者： Chandra, Anjan Kumar Inoue, Jun-Ichi Chakrabarti, Bikas K Centre for Applied Mathematics and Computational Science Saha Institute of Nuclear Physics Kolkata-700064 1/AF Bidhannagar India Complex Systems Engineering Graduate School of Information Science and Technology Hokkaido University Kita-ku Sapporo 060-0814 N14-W9 Japan Centre for Applied Mathematics and Computational Science Theoretical Condensed Matter Physics Division Saha Institute of Nuclear Physics Kolkata-700064 1/AF Bidhannagar India

We consider a long-range Ising antiferromagnet (LRIAF) put in a transverse field. Applying quantum Monte Carlo method, we study the variation of order parameter (spin correlation in Trotter time direction), susceptibility and average energy of the system for various values of the transverse field at different temperatures. The antiferromagnetic order is seen to get immediately broken as soon as the thermal or quantum fluctuations are added. We also discuss the phase diagram for the Sherrington-Kirkpatrick (SK) model with the same LRIAF bias, also in presence of a transverse field. We find that while the antiferromagnetic order is immediately broken as one adds an infinitesimal transverse field or thermal fluctuation to the system, an infinitesimal SK spin glass disorder is enough to induce a stable glass order in the antiferromagnet. This glass order eventually gets destroyed as the thermal or quantum fluctuations increased beyond their threshold values and the transition to para phase occurs. Indications of this novel phase transition are discussed. Because of the presence of full frustration, this surrogate property of the LRIAF for incubation of stable spin glass phase in it (induced by addition of a small disorder) should enable eventually the study of classical and quantum spin glass phases by using some perturbation theory with respect to the disorder. © 2009 IOP Publishing Ltd.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Analysis and Design of Mobile Model for DTN

引用

电子学报(英文版) 2009年第4期

作者： LIN Zhiting LIN Zhiting QU Yugui QU Yugui JI Yusheng JI Yusheng ZHAO Baohua ZHAO Baohua Department of Computer Science University of Science and Technology of China Hefei 230027 China Department of Computer Science University of Science and Technology of China Hefei 230027 China Province Key Laboratory of Software in Computing and Communication Hcfei 230027 China Province Key Laboratory of Software in Computing and Communication Hcfei 230027 China Information Systems Architecture Science Research Division National Institute of Info~natics Tokyo Japan) Information Systems Architecture Science Research Division National Institute of Info~natics Tokyo Japan)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：