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

On deploying relays for connected indoor sensor networks

Journal of Communications and Networks 2014年第3期16卷 335-343页

作者： Zhu, Yanmin Xue, Cuiyao Cai, Haibin Yu, Jiadi Ni, Lei Li, Minglu Li, Bo Shanghai Key Lab. of Scalable Computing and Systems Department of Computer Science and Engineering Shanghai Jiao Tong University China Department of Computer Science and Engineering Shanghai Jiao Tong University China Software Engineering Institute East China Normal University China Shanghai Jiao Tong University Hong Kong University of Science and Technology Hong Kong

This paper considers the crucial problem of deploying wireless relays for achieving a connected wireless sensor network in indoor environments, an important aspect related to the management of the sensor network. Several algorithms have been proposed for ensuring full sensing coverage and network connectivity. These algorithms are not applicable to indoor environments because of the complexity of indoor environments, in which a radio signal can be dramatically degraded by obstacles such as walls. We first prove theoretically that the indoor relay placement problem is NP-hard. We then predict the radio coverage of a given relay deployment in indoor environments. We consider two practical scenarios;wire-connected relays and radio-connected relays. For the network with wire-connected relays, we propose an efficient greedy algorithm to compute the deployment locations of relays for achieving the required coverage percentage. This algorithm is proved to provide a Hn factor approximation to the theoretical optimum, where Hn = 1 +1/2+⋯+1/n= ln(n) +1, and n is the number of all grid points. In the network with radio-connected relays, relays have to be connected in an ad hoc mode. We then propose an algorithm based on the previous algorithm for ensuring the connectivity of relays. Experimental results demonstrate that the proposed algorithms achieve better performance than baseline algorithms. © 2014 KICS.

关键词： Approximation algorithms

来源：评论

学校读者我要写书评

暂无评论

Coalgebras for fuzzy transition systems

Coalgebras for fuzzy transition systems

引用

作者： Wu, Hengyang Chen, Yixiang Information Engineer College Hangzhou Dianzi University Hangzhou 310018 China MoE Engineering Research Center for Software/Hardware Co-design Technology and Application Shanghai Key Lab for Trustworthy Computing East China Normal University Shanghai 200062 China

This paper studies a coalgebraic theory of fuzzy transition systems. Main conclusions include: the functor FA for deterministic fuzzy transition systems and the functor (Pa°F)A for nondeterministic fuzzy transition systems preserve weak pullbacks, and the functor FA has a final coalgebra under some restricted conditions. Moreover, we show how to get a concrete (fuzzy) bisimulation from a coalgebraic bisimulation. Crown Copyright © 2014 Published by Elsevier B.V. All rights reserved.

关键词： Algebra

来源：评论

学校读者我要写书评

暂无评论

Provably secure certificateless authenticated asymmetric group key agreement

Provably secure certificateless authenticated asymmetric gro...

引用

10th International Conference on Information Security Practice and Experience, ISPEC 2014

作者： Zhang, Lei Wu, Qianhong Qin, Bo Deng, Hua Liu, Jianwei Shi, Wenchang Shanghai Key Laboratory of Trustworthy Computing Software Engineering Institute East China Normal University Shanghai China School of Electronic and Information Engineering Beihang University China School of Information Renmin University of China Beijing China School of Computer Wuhan University Wuhan China

ISBN: (纸本)9783319063195

Asymmetric group key agreement allows a group of members to establish a public group encryption key while each member has a different secret decryption key. Knowing the group encryption key, a sender can encrypt to the group members so that only the members can decrypt. This paper studies authenticated asymmetric group key agreement in certificateless public key cryptography. We formalize the security model of certificateless authenticated asymmetric group key agreement and capture typical attacks in the real world. We next present a strongly unforgeable stateful certificateless batch multi-signature scheme as building block and realize a one-round certificatless authenticated asymmetric group key agreement protocol to resist active attacks. Both the new multi-signature scheme and the resulting group key agreement protocol are shown to be secure under the well-established computational Diffie-Hellman and the k-Bilinear Diffie-Hellman exponent assumptions in the random oracle model, respectively. © 2014 Springer International Publishing.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

Security Enhanced Anonymous Remote User Authentication and key Agreement for Cloud computing

Security Enhanced Anonymous Remote User Authentication and K...

引用

IEEE International Conference on Computational Science and engineering, CSE

作者： Zheming Dong Lei Zhang Jiangtao Li Shanghai Key Laboratory of Trustworthy Computing Software Engineering Institute East China Normal University Shanghai China

ISBN: (纸本)9781479979820

Cloud computing is a new pattern of computing paradigm which enables the users to transfer their work to the cloud. The tremendous storage and computing resources provided by the cloud liberate the users from the shortage of local resources. However, as the adoption of cloud computing is emerging rapidly, the security and privacy issues are still significant challenges. In a cloud environment, a user accesses to the cloud server through open networks. Thus a variety of attacks can be launched if a secure channel is not established. Furthermore, user's sensitive personal information may be revealed if user's identity is exposed to an attacker. Therefore, user anonymity is also an important concern in cloud environment. In this paper, we first show several weaknesses of a recent anonymous remote user authentication and key agreement protocol for cloud computing, then we propose a new one. Our new protocol enables a user and a cloud server to authenticate each other anonymously and establish a secure channel between them. Thus, only the user and the cloud server may learn the messages exchanged and no entity except themselves can learn the real identities of the message senders.

关键词： Protocols Servers Public key Authentication Cloud computing Generators

来源：评论

学校读者我要写书评

暂无评论

A Validated Method Of Solving Initial Value Problem For ODEs

A Validated Method Of Solving Initial Value Problem For ODEs

引用

2014 Asia-Pacific Computer Science and Application Conference(CSAC 2014)

作者： Min Tang Min Wu Guoqiang Deng Shanghai Key Lab of Trustworthy Computing Software Engineering InstituteEast China Normal University School of Mathematics & Computing Science Guilin University of Electrical Technology

In this paper,we present an interval method to test existence and uniqueness of solutions to the initial value problem of ODEs,and an iterative computational test is proposed to compute validated solutions of *** with classical methods,the interval method not only returns an approximate solution but also an interval that is guaranteed to contain exact solutions of the *** experiments show the effectiveness of the validated method.

关键词： A Validated Method Of Solving Initial Value Problem For ODEs

来源：评论

学校读者我要写书评

暂无评论

25th Annual Computational Neuroscience Meeting CNS-2016, Seogwipo City, South Korea, July 2-7, 2016 Abstracts

引用

BMC NEUROSCIENCE 2016年第1期17卷 1-112页

作者： [Anonymous] Computational Neurobiology Laboratory The Salk Institute for Biological Studies San Diego USA UNIC CNRS Gif sur Yvette France The European Institute for Theoretical Neuroscience (EITN) Paris France ATR Computational Neuroscience Laboratories Kyoto Japan Krembil Research Institute University Health Network Toronto Canada Department of Physiology University of Toronto Toronto Canada Department of Medicine (Neurology) University of Toronto Toronto Canada Department of Physics University of New Hampshire Durham USA Department of Neurophysiology Nencki Institute of Experimental Biology Warsaw Poland Department of Theory Wigner Research Centre for Physics of the Hungarian Academy of Sciences Budapest Hungary Department of Mathematical Sciences KAIST Daejoen Republic of Korea Department of Mathematics University of Houston Houston USA Department of Biochemistry & Cell Biology and Institute of Biosciences and Bioengineering Rice University Houston USA Department of Biology and Biochemistry University of Houston Houston USA Grupo de Neurocomputación Biológica Dpto. de Ingeniería Informática Escuela Politécnica Superior Universidad Autónoma de Madrid Madrid Spain Department of Biological Sciences University of Southern California Los Angeles USA Center for Neuroscience Korea Institute of Science and Technology Seoul South Korea Department of Neurology Albert Einstein College of Medicine Bronx USA Center for Neuroscience KIST Seoul South Korea Department of Neuroscience University of Science and Technology Daejon South Korea Systems Neuroscience Group QIMR Berghofer Medical Research Institute Herston Australia Department of Psychology Yonsei University Seoul South Korea Department of Psychiatry Kyung Hee University Hospital at Gangdong Seoul South Korea Department of Psychiatry Veterans Administration Boston Healthcare System and Harvard Medical School Brockton USA Department of Electrical and Electronic Engineering The University of Melbourne Parkvil

A1 Functional advantages of cell-type heterogeneity in neural circuits Tatyana O. Sharpee A2 Mesoscopic modeling of propagating waves in visual cortex Alain Destexhe A3 Dynamics and biomarkers of mental disorders Mitsuo Kawato F1 Precise recruitment of spiking output at theta frequencies requires dendritic h-channels in multi-compartment models of oriens-lacunosum/moleculare hippocampal interneurons Vladislav Sekulić, Frances K. Skinner F2 Kernel methods in reconstruction of current sources from extracellular potentials for single cells and the whole brains Daniel K. Wójcik, Chaitanya Chintaluri, Dorottya Cserpán, Zoltán Somogyvári F3 The synchronized periods depend on intracellular transcriptional repression mechanisms in circadian clocks. Jae Kyoung Kim, Zachary P. Kilpatrick, Matthew R. Bennett, Kresimir Josić O1 Assessing irregularity and coordination of spiking-bursting rhythms in central pattern generators Irene Elices, David Arroyo, Rafael Levi, Francisco B. Rodriguez, Pablo Varona O2 Regulation of top-down processing by cortically-projecting parvalbumin positive neurons in basal forebrain Eunjin Hwang, Bowon Kim, Hio-Been Han, Tae Kim, James T. McKenna, Ritchie E. Brown, Robert W. McCarley, Jee Hyun Choi O3 Modeling auditory stream segregation, build-up and bistability James Rankin, Pamela Osborn Popp, John Rinzel O4 Strong competition between tonotopic neural ensembles explains pitch-related dynamics of auditory cortex evoked fields Alejandro Tabas, André Rupp, Emili Balaguer-Ballester O5 A simple model of retinal response to multi-electrode stimulation Matias I. Maturana, David B. Grayden, Shaun L. Cloherty, Tatiana Kameneva, Michael R. Ibbotson, Hamish Meffin O6 Noise correlations in V4 area correlate with behavioral performance in visual discrimination task Veronika Koren, Timm Lochmann, Valentin Dragoi, Klaus Obermayer O7 Input-location dependent gain modulation in cerebellar nucleus neurons Maria Psarrou, Maria Schilstra, Neil Davey, Benjamin Torben-Ni

关键词：

来源：评论

学校读者我要写书评

暂无评论

Simulation of free-surface flow using a boundless grid

引用

Science China(Information Sciences) 2013年第3期56卷 38-47页

作者： WANG ChangBo ZHANG Qiang KONG FanLong Software Engineering Institute East China Normal University Shanghai Key Laboratory of Trustworthy Computing East China Normal University

Physically based fluid simulation in recent years has been successful for small-scale fluids such as liquid in a cubic ***,for boundless free-surface flow of large scale and irregular area,there is a critical trade-off between simulation efficiency and accuracy because of the restriction of the traditional regular computational *** paper introduces boundless computational grids based on hierarchical runlength encoding to simulate large-scale free-surface *** first modeled the free-surface flow with a lattice Boltzmann method,and calculated the surface curvature in the update *** then introduced an effective method with which to calculate the surface curvature according to the surface tension so that the surface detail was enhanced,and obtained the curvature of each surface effectively as it was ***,we dynamically compressed and indexed the computational cells with the improved hierarchical run-length encoding algorithm,so that the grid expands dynamically according to the fluid flow and the computational resources used were proportional to the volume of the *** fluids in different situations were simulated *** proposed method makes the best of the computational resources to perform the simulation with high resolution,and dynamically allocates resources so that the fluid can expand in random directions without boundaries,which is suited to the simulation of large-scale visual scenes.

关键词： fluid simulation free surface boundless grid hierarchical run-length encoding computing resource

来源：评论

学校读者我要写书评

暂无评论

A novel requirement analysis approach for periodic control systems

引用

Frontiers of Computer Science 2013年第2期7卷 214-235页

作者： Zheng WANG Geguang PU Jiangwen LI Yuxiang CHEN Yongxin ZHAO Mingsong CHEN Bin GU Mengfei YANG Jifeng HE Shanghai Key Laboratory of Trustworthy Computing Software Engineering Institute East China Normal UniversityChina Shanghai 200241 Beijing Institute of Control Engineering China Beijing 100080 School of Computing National University of SingaporeSingapore Singapore 119077 China Academy of Space Technology China Beijing 100094

Periodic control systems （PCSs） are widely used in real-time embedded system domain. However, traditional manual requirement analysis assumes the expert knowledge, which is laborious and error-prone. This paper proposes a novel requirement analysis approach, which supports the automated validation of the informal requirement specifi- cations. Based on the normalized initial requirement docu- ments, our approach can construct an intermediate SPARDL model with both formal syntax and semantics. To check the overall system behaviors, our approach can transform the SPARDL models into executable code for simulation. The derived prototype simulator from SPARDL models enables the testing-based system behavior validation. Moreover, our approach enables the analysis of the dataflow relations in SPARDL models. By revealing input/output and affecting re- lations, our dataflow analysis techniques can help software engineers to figure out the potential data dependencies be- tween SPARDL modules. This is very useful for the module reuse when a new version of the system is developed. A study of our approach using an industry design demonstrates the practicality and effectiveness of our approach.

关键词： SPARDL simulation dataflow analysis codegeneration

来源：评论

学校读者我要写书评

暂无评论

DSP re-encryption based access control enforcement management mechanism in DaaS

引用

International Journal of Network Security 2013年第1期15卷 28-41页

作者： Tian, Xiuxia Wang, Xiaoling Zhou, Aoying School of Computer and Information Engineering Shanghai University of Electric Power 2103 Pingliang Road Shanghai 200090 China Shanghai Key Lab. of Trustworthy Computing Software Engineering Institute East China Normal University Shanghai 200062 China

With the popular use of service-oriented technologies, Database as a Service(DaaS) paradigm is becoming a more practical and useful model for those enterprises who can't afford the expensive DBMS products. However, access control management by the database service provider(DSP) in this paradigm is challenged because the DSP may be untrusted for the delegated data contents. So it is important to design an access control mechanism which can couple with the delegated encrypted database to efficiently improve the usability of the system and help to prevent theft of sensitive and critical data. In this paper, we present a novel approach to implement flexible access control enforcement management by designing a DSP re-encryption mechanism. Our approach not only can implement the selective authorization on the encrypted data, but also can relieve the client users from the complex key derivation procedure. The underlying idea of our approach is that the DSP uses different re-encryption keys for users of the system to implement flexible access control enforcement management under the DSP re-encryption mechanism. We demonstrate the efficiency and security of our flexible access control enforcement management, in the end we analyze and resolve the possible attacks and information disclosure.

关键词： Authorization

来源：评论

学校读者我要写书评

暂无评论

A novel cluster-based faulty sensor detection algorithm for large scale wireless sensor networks

引用

Journal of Computational Information Systems 2013年第22期9卷 8897-8904页

作者： Cheng, Pu Zhu, Minghua Software Engineering Institute East China Normal University Shanghai 200062 China Shanghai Key Laboratory of Trustworthy Computing Institute East China Normal University Shanghai 200062 China Software School Henan University Kaifeng 450004 China

The fault detection in large scale wireless sensor networks (WSNs) has low performance in accuracy and could bring high communication load. Considering temporal and spatial correlation in WSNs, a novel cluster-based sensor fault detection algorithm is proposed. The algorithm provides a way to identify faulty sensors by finding normal cluster heads and using its as reference to infer detection statuses of its neighbors. The performance analysis and simulation results show that the algorithm keeps high fault detection accuracy and low energy consumption even in the case of the number of neighboring nodes to be diagnosed is small and the node's failure ratio is high, the algorithm is more suitable for fault detection in large scale clustering-based sensor networks with low node density and higher failure ratio. © 2013 Binary Information Press.

关键词： Fault detection

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：