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

2011 IEEE 9th International Conference on Web Services, ICWS 2011

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

ISBN: (纸本)9780769544632

With the convenient connection to network, more and more individual information including sensitive information, such as contact list in Mobile Phone or PDA, can be delegated to the professional third service provider to manage and maintain. The benefit of this paradigm is, on one hand to avoid the sensitive information leakage when individual devices failed or lost, on the other hand to make only the authorized users access and share the delegated information online anytime and anywhere. However, in this paradigm the critical problems to be resolved are to guarantee both the privacy of delegated individual information and the privacy of authorized users, and what is more important to afford the owners of communication devices to have high level of control and power to create their own particular access control policies. In this paper, we present an approach to implement the personalized access control at third service provider in a privacy preserving way. Our approach implements the critical problems above in this paradigm by using selective encryption, blind signature and the combination of role based access control and discretionary access control. © 2011 IEEE.

关键词： Information management

来源：评论

学校读者我要写书评

暂无评论

Intracerebral hemorrhage (ICH) evaluation with a novel magnetic induction sensor: A preliminary study using the Chinese head model

Intracerebral hemorrhage (ICH) evaluation with a novel magne...

引用

作者： Zhang, Ziyi Liu, Peiguo Zhou, Dongming Zhang, Liang Lei, Hengdong College of Science National University of Defense Technology Changsha Hunan410073 China State Key Lab. of Complex Electromagnetic Environ. Effects on Electronics and Information System National University of Defense Technology Changsha Hunan410073 China

Biomedical magnetic induction measurement is a promising method for the detection of intracerebral hemorrhage (ICH), especially in China. Aiming at overcoming the problem of low sensitivity, a magnetic induction sensor is chosen to replace the conventional sensors. It uses a two-arm Archimedean spiral coil as the exciter and a circular coil as the receiver. In order to carry out high-fidelity simulations, the Chinese head model with real anatomical structure is introduced into this novel sensor for the first time. Simulations have been carried out upon early stage ICH measurements. By calculating the state sensitivity and time sensitivity of the perturbation phase of two types of sensors using the electromagnetic software, we conclude that the primary signal received can be largely reduced using the novel sensor, which could effectively increase the time and state sensitivity simultaneously. © 2014 - IOS Press and the authors.

关键词： Magnetism

来源：评论

学校读者我要写书评

暂无评论

Adaptive and impulsive cluster synchronization of a general complex dynamical network

Adaptive and impulsive cluster synchronization of a general ...

引用

2010 International Conference on Networking, Sensing and Control, ICNSC 2010

作者： Shi, Bingxiong Lu, Junan Lü, Jinhu Yu, Xinghuo College of Mathematics and Statistics State Key Lab. of Software Engineering Wuhan University Wuhan 430072 China Key Laboratory of Systems and Control Institute of Systems Science Chinese Academy of Sciences Beijing 100190 China School of Electrical and Computer Engineering RMIT University Melbourne 3000 Australia School of Electrical and Computer Engineering RMIT University Melbourne VIC 3001 Australia

ISBN: (纸本)9781424464531

Recently, cluster synchronization has attracted an increasing interest in various disciplines, includingmathematics, physics, and engineering sciences. This paper further investigates the cluster synchronization of a complex dynamical network by using adaptive and impulsive control techniques, respectively. Based on a complex dynamical network with two different clusters, several adaptive and impulsive cluster synchronization criteria are then proposed. It should be especially pointed out that the dynamics and its dimensions of the individual dynamical systems are different in the two different clusters. Also, some numerical simulations are given to verify the effectiveness of the above theoretical results. ©2010 IEEE.

关键词： Dynamical systems

来源：评论

学校读者我要写书评

暂无评论

Skull-closed autonomous development: Object-wise incremental learning

Skull-closed autonomous development: Object-wise incremental...

引用

9th International Symposium on Neural Networks, ISNN 2012

作者： Wang, Yuekai Wu, Xiaofeng Weng, Juyang State Key Lab. of ASIC and System Fudan University Shanghai 200433 China Department of Electronic Engineering Fudan University Shanghai 200433 China School of Computer Science Fudan University Shanghai 200433 China Dept. of Computer Sci. and Eng. Michigan State University East Lansing MI 48824 United States

ISBN: (纸本)9783642313455

The series of Where-What Networks (WWNs) is a brain-inspired developmental model that simulates the dorsal (where) stream and the ventral (what) stream that converge to the motor area in the frontal cortex. Since developmental learning is always incremental, the order of different stimuli should affect the outcome of learning. In contrast to the uniform distribution of stimuli across image frames used in prior WWN experiments, this work studies non-uniform distribution in the sense that during training one object is presented at all the image locations before another object is presented. A new mechanism called cell regenesis is introduced to enable a less-often used cell to recommit its neuronal resource to new stimuli. The experimental results shown in this paper indicate that WWN-6 can deal with object-wise incremental learning. © 2012 Springer-Verlag.

关键词： computer vision

来源：评论

学校读者我要写书评

暂无评论

A biologically-inspired network for generic object recognition using CUDA

A biologically-inspired network for generic object recogniti...

引用

2009 11th IEEE International Conference on e-Health Networking, Applications and Services, Healthcom 2009

作者： Wang, Yuekai Wu, Xiaofeng Song, Xiaoying Zhang, Wenqiang Weng, Juyang State Key Lab. of ASIC and System Fudan University Shanghai 200433 China Department of Electronic Engineering Fudan University Shanghai 200433 China School of Computer Science Fudan University Shanghai 200433 China Dept. of Computer Sci. and Eng. Michigan State University East Lansing MI 48824 United States

Generic object recognition is one of the most important fields in the artificial intelligence. Some cortex-like networks for generic object recognition are proposed these years. But most of them concentrated on the discussion about the recognition performance (such as recognition rate, number of objects to be recognized), not the practicability, i.e., implementation with ubiquitous devices and application in real time. This paper reports a try on implementation of a biologically-inspired where-what network (WWN), which integrates object recognition and attention in a single network, via parallelizing the various stages of the network training with CUDA on GPU to shorten the training time. The experiment on HAIBAO Robot exhibited in 2010 Shanghai Expo shows that this optimization can achieve a speedup of almost 16 times compared to the C-based program on an Intel Core 2 DUO 3.00 GHZ CPU in real environments. © 2012 Springer-Verlag GmbH.

关键词： Object recognition

来源：评论

学校读者我要写书评

暂无评论

BIFI: Architectural support for information flow integrity measurement

BIFI: Architectural support for information flow integrity m...

引用

International Conference on computer science and software Engineering, CSSE 2008

作者： Hao, Hu Dengguo, Feng Dept. of Electronic Engineering and Information Science University of Science and Technology of China Hefei 230027 China The State Key Lab. of Information Security Institute of Software Chinese Academy of Sciences National Engineering Research Center for Information Security Beijing 100190 China

ISBN: (纸本)9780769533360

Information flow security has been an important security requirement of existing operating systems, especially for distributed applications. We are interested in protecting information flow security with an eye to information flow integrity and trusted computing. Although people have studied these two aspects already, each alone is insufficient for system security. In this paper, we design an information flow integrity architecture called BIFI based on classical integrity model with trusted computing technology. Firstly, we define an extension to Biba integrity, called Biba-invoke, which has ameliorated the monotonic behavior of Biba. Secondly, in order to support our integrity model, modifications to the SELinux and kernel module of Linux is necessary. We prove that BIFI can protect information flow integrity with only a few changes to existing systems. © 2008 IEEE.

关键词： Trusted computing

来源：评论

学校读者我要写书评

暂无评论

Limit-Cycle-Based Design of Formation Control for Mobile Agents

Limit-Cycle-Based Design of Formation Control for Mobile Age...

引用

作者： Wang, Chen Xia, Weiguo Xie, Guangming National Engineering Research Center for Software Engineering Key Lab. of Intelligent Control and Optimization for Industrial Equipment of Ministry of Education School of Control Science and Engineering Dalian University of Technology Dalian116024 China State Key Laboratory of Turbulence and Complex Systems Intelligent Biomimetic Design Lab College of Engineering Peking University Beijing China

In this article, we study the formation problem for a group of mobile agents in a plane, in which the agents are required to maintain a distribution pattern, as well as to rotate around or remain static relative to a static/moving target. The prescribed distribution pattern is a class of general formations where the distances between neighboring agents or the distances between each agent and the target do not need to be equal. Each agent is modeled as a double integrator and can merely perceive the relative information of the target and its neighbors, and the acceleration of the target. In order to solve the formation problem, a limit-cycle-based controller design is delivered. We divide the overall control objective into two subobjectives, where the first is target circling that each agent keeps its own desired distance to the static/moving target as well as rotating around or remaining static relative to the target as expected, and the second is distribution adjustment that each agent maintains the desired distance to its neighbors. Then, we propose a controller comprised of two parts, where a limit cycle oscillator named a converging part is designed to deal with the first subobjective, while a layout part is introduced to address the second subobjective. One key merit of the controller is that it can be implemented by each agent in its local frame so that only local information is utilized without knowing global information. Theoretical analysis of the convergence to the desired formation, of which the agents are required to be evenly distributed on a circle around the target, is provided for the multiagent system under the proposed controller. Numerical simulations are given to validate the effectiveness of the proposed controller for the cases of general formations, and to show that no collision between agents ever takes place throughout the system's evolution. © 1963-2012 IEEE.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

A scalab.e parallel ray tracing algorithm for satellite imagery

A scalable parallel ray tracing algorithm for satellite imag...

引用

IEEE International Conference on computer Research and Development

作者： Li, Yu-Gang Zhao, Kun Huang, Yu-Qing Qiu, Zhen-Ge Liu, Zhi-Yong Beijing Lab. of Intelligent Information Technology School of Computer Science BIT Beijing 100081 China Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing 100081 China Institute of Computing Technology Chinese Academy Sciences Beijing China

ISBN: (纸本)9781612848372

Ray-tracing, can produce high-quality images, however, the use of ray-tracing has been limited due to its high demands on computational power and memory bandwidth, especially in the case of satellite imagery. In this paper, we propose a scalab.e parallel ray tracing algorithm of satellite imagery on a cluster of multi-core architecture. The algorithm combines demand-driven and data-driven models in order to reduce communication on the cost of maintaining redundant data. In order to make the most of computer's parallelism and increase computational efficiency, it combines two levels of parallelisms, the TLP parallelism brought by the many core architecture and the inter-node parallelism via MPI and OpenMP. Experiment results show that the algorithm is highly scalab.lity. © 2011 IEEE.

关键词： Satellite imagery

来源：评论

学校读者我要写书评

暂无评论

Manifold-ranking based image retrieval using natural neighbor

International Journal of Database Theory and Application

引用

International Journal of Database Theory and Application 2016年第8期9卷 137-146页

作者： Zhu, Qingsheng Chen, Zhi Zhang, Cheng Chongqing Key Lab. of Software Theory and Technology College of Computer Science Chongqing University Chongqing400044 China

The manifold-ranking based method is widely used in semi-supervised learning, and its performance is closely related to the structure of the constructed graph. In this paper, we propose a novel graph structure named natural neighbor graph and an algorithm to construct it. We apply the new graph structure into the framework of manifold-ranking based image retrieval. The greatest superiority over k-NN based method is that the free parameter k need not to be explicitly specified any more. We have shown that the manifold ranking algorithm based on our proposed graph structure performs better than k-NN graph. Experiments demonstrate that the proposed algorithm outperforms the state-of-the-art algorithms. © 2016 SERSC.

关键词： Image retrieval

来源：评论

学校读者我要写书评

暂无评论

FormalTCGenerator: A tool of automatically generating test cases for infinite states reactive systems

FormalTCGenerator: A tool of automatically generating test c...

引用

15th IASTED International Conference on software Engineering and Applications, SEA 2011

作者： Chen, Donghuo Zhao, Shizhong School of Computer Science and Technology Soochow University Suzhou 215006 China Keb Lab. of Novel Software Technology Nanjing University Nanjing 210093 China Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai 200062 China

ISBN: (纸本)9780889869066

It is an attractive research topic to use model checking technique to automatically generate test cases in the research community of formal method and software testing, and recent years has witnessed many work. For infinite states systems with input/output domains defined on unbounded and types, in many contexts, explicit finite state models are not attained easily with the reasonable cost, therefore, testing with traditional model checking is often disenabled. This paper presents the idea of auto-generation of test cases based on symbolic execution and temporal formula rewriting method. The method proceeds with building the symbolic representation of program execution model, such that it can avoid explicitly building the model of infinite states systems with the enumeration of value of input and output or state explosion problem;Then temporal formula (test purposes) rewriting is applied to the symbolic execution model of program to generate complex constraint requirements according to the counterexample patterns related to test purposes and the suitable SMT(Satisfiability Modulo Theory) solver is called for generating test cases. The core tool - FormalTCGenerator is developed and the case study is conducted.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：