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

Design of a Human-Robot Interaction System for Offshore Monitoring

Design of a Human-Robot Interaction System for Offshore Moni...

11th IEEE International Conference on computer-Aided Design and computer Graphics(第11届IEEE国际计算机辅助设计与图形学学术会议 IEEE CAD/GRAPHICS 2009)

作者： Alian zhou Jianping zhou Software Engineering Academy Yaitai Vocational College Department of Computer Science Ocean University of Chinag

In China, there are some wide and environmentdisgusting offshore, which is not easy for manpower or ordinary ship to monitor. What’s more, ship with special materials is too expensive. This paper introduces a Human-Robot named OFFSHORE_ 1. It’s a half-intelligence robot, which can be used in the disgusting offshore environment. The robot can explore remote environment for monitoring, research and object identify etc.. Conclusion is drawn from the experiment that this robot can overcome the defect of manpower monitoring, share cost and improve the effect of monitoring, thus implements real-time and effective monitoring of the offshore.

关键词： Robot kinematics Cognitive robotics Temperature sensors Remote monitoring Humans Robot vision systems computerized monitoring Infrared sensors Sensor systems Cameras

来源：评论

学校读者我要写书评

暂无评论

thr2csp: Toward Transforming Threads into Communicating Sequential Processes

thr2csp: Toward Transforming Threads into Communicating Sequ...

引用

IEEE International Workshop on Source Code Analysis and Manipulation

作者： Robert Lange Spiros Mancoridis Software Engineering Research Group Department of Computer Science College of Engineering Drexel University Philadelphia PA USA

As multicore and heterogeneous multiprocessor platforms replace uniprocessor systems, software programs must be designed with a greater emphasis on concurrency. Threading has become the dominant paradigm of concurrent computation in the most popular programming languages. Large threaded programs are known to be difficult to implement correctly, comprehend, and maintain, while concurrent programs written in process algebraic paradigms of concurrency, such as communicating sequential processes, are known to be easier to analyze. This paper presents our initial work on reverse engineering threaded source code and transforming the code into functionally-equivalent message-passing code. The paper also explores future work needed to convert the message-passing code into communicating sequential processes.

关键词： Yarn Concurrent computing Multithreading Multicore processing software systems Educational institutions Programming profession Testing Interleaved codes software engineering

来源：评论

学校读者我要写书评

暂无评论

Converging on the divergent: The history (and future) of the international joint workshops in computational creativity

Converging on the divergent: The history (and future) of the...

引用

作者： Cardoso, Amílcar Veale, Tony Wiggins, Geraint A. Department of Informatics Engineering University of Coimbra Portugal RandD Centre for Informatics and Systems Portugal School of Computer Science University College Dublin Ireland School of Software Engineering Fudan University Shanghai China Department of Computing Centre for Cognition Computation and Culture at Goldsmiths University of London United Kingdom

In this article, we survey the history of studies of computational creativity, following the development of the International Conference on Computational Creativity pom its beginnings, a decade ago, in two parallel workshop series. We give a brief outline of key issues and a summary of the various different approaches taken by participants in the research field. The outlook is optimistic: a lot has been achieved in 10 years. Copyright © 2009, Association for the Advancement of Artificial Intelligence. All rights.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Privacy protection for RFID data 09

Privacy protection for RFID data

引用

24th Annual ACM Symposium on Applied Computing, SAC 2009

作者： Fung, Benjamin C. M. Cao, Ming Desai, Bipin C. Xu, Heng Concordia Institute for Information Systems Engineering Concordia University Montreal QC Canada Department of Computer Science and Software Engineering Concordia University Montreal QC Canada College of Information Sciences and Technology Penn State University University Park PA 16802 United States

ISBN: (纸本)9781605581668

Radio Frequency IDentification (RFID) is a technology of automatic object identification. Retailers and manufacturers have created compelling business cases for deploying RFID in their supply chains. Yet, the uniquely identifiable objects pose a privacy threat to individuals. In this paper, we study the privacy threats caused by publishing RFID data. Even if the explicit identifying information, such as name and social security number, has been removed from the published RFID data, an adversary may identify a target victim's record or infer her sensitive value by matching a priori known visited locations and timestamps. RFID data by default is high-dimensional and sparse, so applying traditional K-anonymity to RFID data suffers from the curse of high dimensionality, and would result in poor data usefulness. We define a new privacy model, develop an anonymization algorithm to accommodate special challenges on RFID data, and evaluate its performance in terms of data quality, efficiency, and scalability. To the best of our knowledge, this is the first work on anonymizing high-dimensional RFID data. Copyright 2009 ACM.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

Improved Needham-Schroeder protocol for secured and efficient key distributions

Improved Needham-Schroeder protocol for secured and efficien...

引用

International Conference on computer and Information Technology (ICCIT)

作者： Shamima Sultana Md. Ismail Jabiullah Md. Lutfar Rahman Department of Computer Science and Engineering Dhaka City College Dhaka Bangladesh Department of Software Engineering Daffodil International University Dhaka Bangladesh Department of Computer Science and Engineering Dhaka University Dhaka Bangladesh

A key distribution procedure is an essential constituent of secured exchange of information between the participants. In this paper, a fast symmetric key distribution technique with additional security services is presented. The aim of the proposed technique is to improve the conventional Needham and Schroeder five-message protocol in four aspects. First aspect is to introduce an additional authentication level in originator's identity. Second aspect is to provide the integrity of the originator's message. Third aspect is to reduce the time needed to distribute session-key between pair of entities. And the fourth aspect is to develop the key freshness security issue. A comparative analysis between conventional and proposed technique is presented to visualize the improvements of the proposed one. C programming language is used to implement the technique and running time is measured by using the time function and it is found that proposed technique is faster than the conventional one. For the purpose of threat analysis, several attacks, such as altering the message information, are applied by force on the proposed technique to check whether it will provide the security services or not. And the result of threat analysis is that the proposed technique provides all the security services. Hence, the proposed technique will bring a new dimension in key distribution paradigm.

关键词： Protocols Cryptography Authentication computer science Information security Data security Random number generation Distributed computing Information technology Cities and towns

来源：评论

学校读者我要写书评

暂无评论

Pervasive computing in play-based occupational therapy for children

引用

IEEE Pervasive Computing 2009年第3期8卷 66-73页

作者： Lo, Jin-Ling Chi, Pei-Yu Chu, Hao-Hua Wang, Hsin-Yen Chou, Seng-Cho T. National Taiwan University Taiwan National Taiwan University's School of Occupational Therapy College of Medicine Committee of Early Intervention Taiwan Software Agents Group at the MIT Media Lab United States National Taiwan University's Graduate Institute of Networking and Multimedia Department of Computer Science and Information Engineering Taiwan Taiwan Occupational Therapy Association Taiwan Department of Information Management College of Management at National Taiwan University Taiwan

Researchers conducted a study to demonstrate a play-based occupational therapy model based on the model of human occupation (MOHO). The model employed pervasive computing technologies to determine behavior and revealed that the deliberate subsystem was facilitated by applying theories of playfulness. The researchers stated that play comprised of three primary elements, such as intrinsic motivation, internal control, and suspension of reality. They investigated various projects that integrated pervasive computing with play-based occupational therapy for children. Two of these projects were the Playful Tray and the Playful Toothbrush that investigated eating and brushing behaviors in children. The Playful Tray project revealed that spending excessive time to eat a meal affected the child's routine and contributed to negative parent-child interaction during mealtime despite nutritional concerns.

关键词： Computation theory

来源：评论

学校读者我要写书评

暂无评论

Dependence Analysis for C Programs with Combinability of Dataflow Facts under Consideration

引用

Wuhan University Journal of Natural sciences 2009年第4期14卷 321-326页

作者： QIAN Ju XU Baowen ZHOU Xiaoyu CHEN Lin SHI Liang College of Information Science and Technology NanjingUniversity of Aeronautics and Astronautics Nanjing 210016Jiangsu China State Key Laboratory for Novel Software Technology Nanjing University Nanjing 210093 Jiangsu China Department of Computer Science and Technology NanjingUniversity Nanjing 210093 Jiangsu China School of Computer Science and Engineering SoutheastUniversity Nanjing 211189 Jiangsu China Microsoft China Research and Development Group Beijing100080 China

To avoid the precision loss caused by combining data- flow facts impossible to occur in the same execution path in dependence analysis for C programs, this paper first proposes a flow-sensitive and context-insensitive points-to analysis algorithm and then presents a new dependence analysis approach based on it. The approach makes more sufficient consideration on the executa- ble path problem and can avoid invalid combination between points-to relations and between points-to relations and reaching definitions. The results of which are therefore more precise than those of the ordinary dependence analysis approaches.

关键词： pointer analysis dependence analysis executable path

来源：评论

学校读者我要写书评

暂无评论

A NEW FLATNESS PATTERN RECOGNITION MODEL BASED ON CA-CMAC NETWORK

A NEW FLATNESS PATTERN RECOGNITION MODEL BASED ON CA-CMAC NE...

引用

2009 International Conference on Machine Learning and Cybernetics(2009机器学习与控制论国际会议)

作者： HONG-LI YUAN YAN LI YONG-ZHENG LI Software Engineering Staff room Computer Engineering Department Ordnance Engineering College Shij College of Information Science and Engineering Yanshan University Qinhuangdao 066004 Hebei China

In the traditional flatness pattern recognition neural network, the topologic configurations need to be rebuilt with a changing width of cold strip. Furthermore, the large learn assignment, slow convergence, and local minimal in the network are observed. Moreover, going by the structure of the traditional neural network, according to experience, it has been proved that the model is time-consuming and complex. Thus, a new approach of flatness pattern recognition is proposed, based on the Credit-Assignment Cerebellar Model Articulation Controller (CA-CMAC) neural network. The difference in fuzzy distances between samples and the basic patterns is introduced as the input of the CA-CMAC network. Simultaneously, a Credit-Assignment learning algorithm is imposed. The inverse of activated times of each memory cell is taken as the credibility, and the error correction is proportional to the credibility. The new approach with advantages, such as, fast learning speed, good generalization, and easy implementation, is efficient and intelligent The simulation results show that the speed and accuracy of the flatness pattern recognition model are obviously improved.

关键词： Flatness Pattern recognition CMAC neural network Credit Assignment Fuzzy distance

来源：评论

学校读者我要写书评

暂无评论

Modeling class cohesion as mixtures of latent topics

Modeling class cohesion as mixtures of latent topics

引用

International Conference on software Maintenance (ICSM)

作者： Yixun Liu Denys Poshyvanyk Rudolf Ferenc Tibor Gyimothy Nikos Chrisochoides Computer Science Department College of William and Mary Williamsburg VA USA Department of Software Engineering University of Szeged Szeged Hungary

The paper proposes a new measure for the cohesion of classes in object-oriented software systems. It is based on the analysis of latent topics embedded in comments and identifiers in source code. The measure, named as maximal weighted entropy, utilizes the latent Dirichlet allocation technique and information entropy measures to quantitatively evaluate the cohesion of classes in software. This paper presents the principles and the technology that stand behind the proposed measure. Two case studies on a large open source software system are presented. They compare the new measure with an extensive set of existing metrics and use them to construct models that predict software faults. The case studies indicate that the novel measure captures different aspects of class cohesion compared to the existing cohesion measures and improves fault prediction for most metrics, which are combined with maximal weighted entropy.

关键词： software measurement Open source software software maintenance software quality Object oriented modeling Information entropy software reusability Linear discriminant analysis computer science Educational institutions

来源：评论

学校读者我要写书评

暂无评论

Self-Forensics Through Case Studies of Small-to-Medium software Systems

Self-Forensics Through Case Studies of Small-to-Medium Softw...

引用

International Conference on IT Security Incident Management and IT Forensics, IMF

作者： Serguei A. Mokhov Emil Vassev Department of Computer Science and Software Engineering Concordia University Montreal QUE Canada Lero-The Irish Software Engineering Research Center University College Dublin Dublin Ireland

The notion and definition of self-forensics was introduced by Mokhov to encompass software and hardware capabilities for autonomic and other systems to record their own states, events, and others encoded in a forensic form suitable for (potentially automated) forensic analysis, evidence modeling and specification, and event reconstruction for various system components. For self-forensics, ldquoself-dissectionrdquo is possible for analysis using a standard language and decision making if the system includes such a self-forensic subsystem. The self-forensic evidence is encoded in a cyberforensic investigation case and event reconstruction language, Forensic Lucid. The encoding of the stories depicted by the evidence comprise a context as a first-class value of a Forensic Lucid ldquoprogramrdquo, after which an investigator models the case describing relationships between various events and pieces of information. It is important to get the context right for the case to have a meaning and the proper meaning computation, so we perform case studies of some small-to-medium, distributed and not, primarily academic open-source software systems. In this work, for the purpose of implementation of the small self-forensic modules for the data structures and event flow, we specify the requirements of what the context should be for those systems. The systems share in common the base programming language - Java, so our self-forensic logging of the Java data structures and events as Forensic Lucid context specification expressions is laid out ready for an investigator to examine and model the case.

关键词： software systems Forensics Context modeling Data structures Java Hardware Decision making Encoding Distributed computing Open source software

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：