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

International Conference on Selected Topics in Mobile and Wireless Networking (iCOST)

作者： Antoniy Ganchev Lata Narayanan Chadi Assi Department of Computer Science and Software Engineering Concordia University Montreal Canada Concordia Institute of Information Systems Engineering Concordia University Montreal Canada

Consider a backoff algorithm for medium access in wireless networks where a node chooses with probability 1-q to transmit right away and with probability q to transmit after CW slots, where CW is the maximum value of the contention window. We study a variation of the 802.11 protocol called XVBEB which uses the above backoff scheme and give a theoretical analysis of its saturation throughput. Simulation results show that the throughput of XVBEB is better than that of 802.11 for saturated CBR traffic. Furthermore, XVBEB also exhibits lower packet loss, delay and delay variation than 802.11 for both VBR and VoIP traffic for a variety of load conditions.

关键词： Throughput Protocols IEEE 802.11 Standards Delay Multiaccess communication Equations Markov processes

来源：评论

学校读者我要写书评

暂无评论

On the need for data flow graph visualization of Forensic Lucid programs and encoded evidence, and their evaluation by GIPSY

On the need for data flow graph visualization of Forensic Lu...

引用

Annual Conference on Privacy, Security and Trust, PST

作者： Serguei A. Mokhov Joey Paquet Mourad Debbabi Department of Computer Science and Software Engineering Concordia University Montreal Canada Concordia Institute for Information Systems Engineering Concordia University Montreal Canada

Lucid programs are data-flow programs and can be visually represented as data flow graphs (DFGs) and composed visually. Forensic Lucid, a Lucid dialect, is a language to specify and reason about cyberforensic cases. It includes the encoding of the evidence (representing the context of evaluation) and the crime scene modeling in order to validate claims against the model and perform event reconstruction, potentially within large swaths of digital evidence. To aid investigators to model the scene and evaluate it, instead of typing a Forensic Lucid program, we propose to expand the design and implementation of the Lucid DFG programming onto Forensic Lucid case modeling and specification to enhance the usability of the language and the system. We briefly discuss the related work on visual programming and DFG modeling in an attempt to define and select one approach or a composition of approaches for Forensic Lucid based on various criteria such as previous implementation, wide use, formal backing in terms of semantics and translation. In the end, we solicit the readers' constructive, opinions, feedback, comments, and recommendations within the context of this short discussion.

关键词： Forensics Visualization Three dimensional displays Semantics Unified modeling language Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Development of remote controlled lab scale bioreactor using virtual instrument technology

Development of remote controlled lab scale bioreactor using ...

引用

2011 IEEE International Symposium on IT in Medicine and Education, ITME 2011

作者： Gao, Ling Ren, Yilin Lin, Jianqiang Institute of Information Science and Engineering ShanDong Normal University Shandong Provincial Key Laboratory for Distributed Computer Software Novel Technology Jinan 250014 China School of Life Science Shandong Normal University Jinan 250014 China State Key Lab of Microbial Technology Shandong University Jinan 250014 China

By using virtual instrument technology, a direct digital control bioreactor is developed, which is able to be remote controlled through internet. Mathematical model of the bioreaction system is developed, which is use... 详细信息

ISBN: (纸本)9781612847023

关键词： Bioreactors

来源：评论

学校读者我要写书评

暂无评论

An approach to analyzing time constrained service composition

引用

Journal of computers 2011年第8期6卷 1723-1731页

作者： Fan, Guisheng Yu, Huiqun Chen, Liqiong Tong, Ruan Department of Computer Science and Engineering East China University of Science and Technology Shanghai 200237 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 200237 China Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai 200235 China

Service composition is widely applied in different applications. One key issue is how to model and analyze time-related properties for service composition. A model called service composition time-constrained Petri Net (SCTNet) is proposed in the paper, which is capable of capturing time behavior of services accurately. The basic relationships, priority and preemption between services are characterized, meanwhile the transaction properties of service are also considered. In order to reduce the state space of model, we propose four simplification schemas which can maintain structural feature and time delay of SCT-Net, a theorem is given to explain the rational of simplification schemas. We present the concept of the greatest concurrent set and analyze the consistency of overtime handling based on the state space of the model. Finally, a heuristic algorithm for schedule computation is created and the experiments are given to explain the feasibility of our method. © 2011 ACADEMY PUBLISHER.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

2D systems based iterative learning control revisited

2D systems based iterative learning control revisited

引用

2011 International Conference on Advanced Mechatronic Systems, ICAMechS 2011

作者： Hladowski, Lukasz Galkowski, Krzysztof Rogers, Eric Kummert, Anton Institute of Control and Computation Engineering University of Zielona Gora Podgorna 50 Zielona Gora Poland University of Wuppertal Germany School of Electronics and Computer Science University of Southampton Southampton SO17 1BJ United Kingdom Faculty of Electrical Information and Media Engineering Communication Theory University of Wuppertal Germany

ISBN: (纸本)9780955529375

Iterative learning control can be applied to systems that repeat the same task over a finite duration with resetting to the starting point once each one is complete. The idea of iterative learning control is to make use of information from previous executions of the task in order to update the control signal applied during the current execution and thereby sequentially improve performance. This form of control can be treated as a class of 2D systems. In this paper, a critical overview of progress on this application area for 2D systems theory is given, including results from experimental verification on a gantry robot, and discussion of some open research questions. © 2011 Intl Journal of Adv Mechatr.

关键词： Learning algorithms

来源：评论

学校读者我要写书评

暂无评论

APPLICATION OF ANT COLONY OPTIMIZATION TO DEVELOP ENERGY EFFICIENT PROTOCOL IN MOBILE AD-HOC NETWORKS

APPLICATION OF ANT COLONY OPTIMIZATION TO DEVELOP ENERGY EFF...

引用

International Conference on Wireless information Networks and Systems

作者： Sanjay K. Dhurandher Mohammad S. Obaidat Mayank Gupta CAITFS Division of Information Technology Netaji Subhas Institute of Technology University of Delhi Department of Computer Science & Software Engineering Monmouth University Division of Computer Engineering Netaji Subhas Institute of Technology University of Delhi

ISBN: (纸本)9789898425737

Foraging Behavior in Ant Swarms can be very helpful when applied to the protocols in Mobile Ad hoc NETworks (MANETs). When the Ant Colony Optimization Scheme (ACO) is applied to a protocol, larger number of paths are generated from the source to destination which helps in improving the packet delivery ratio because an alternate back up path is always available in case a path gets broken due to the mobile nodes. In this paper, we apply the ACO scheme on an already existing Energy efficient protocol Conditional Max-Min Battery Capacity Routing (CMMBCR) (C.-K. Toh, 2001). The CMMBCR not only takes care of the total transmission energy in the network but also the residual battery capacity of the nodes. Hence applying ACO scheme on CMMBCR makes it more efficient in terms of energy, packet delivery ratio etc. The efficiency of our proposed protocol A-CMMBCR is then established by comparing it with some of the other existing Energy aware protocols such as Energy-Aware Routing protocol (EAAR) (Dhurandher et al., 2009), Minimum Transmission Power Routing (MTPR) (Scott and Bambos, 1996) and CMMBCR. The results are captured in the form of a graphical format.

关键词： Mobile ad hoc networks Any colony schemes Optimization Energy-aware protocols

来源：评论

学校读者我要写书评

暂无评论

Value-transformation for monotone prediction by approximating fuzzy membership functions

Value-transformation for monotone prediction by approximatin...

引用

International Symposium on Computational Intelligence and Informatics

作者： Tomáš Horváth Alan Eckhardt Krisztián Buza Peter Vojtáš Lars Schmidt-Thieme Institute of Computer Science Pavol Jozef Safarik University in Kosice Slovakia Information Systems and Machine Learning Lab University of Hildesheim Germany Department of Software Engineering Charles University in Prague Czech Republic Department of Computer Science and Information Theory Budapest University of Technology and Economics Hungary

Monotone prediction problems, in which the target variable is non-decreasing given an increase of the explanatory variables, have became more popular nowadays in many problem settings which fulfill the so-called monotonicity constraint, namely, if an object is better in all attributes as another one then it should not be classified lower. Recent approaches to monotone prediction consider linear ordering on attribute domains, thus the meaning of being better in an attribute is limited to having a larger or a lower value in that attribute. However, this limitation restricts the use of recent approaches in cases where middle or marginal values of an attribute are better, what is natural in many real-world scenarios. We present a simple attribute value-transformation approach in this paper. The idea is to map attribute domains to real values where the mapped values express how the given value of an attribute contributes to higher classification of objects. Thus, we are searching for an data-specific approximation of a fuzzy membership function on the domain of each (numerical) attribute. Then, instead of the original attribute values we use their mapped values to mitigate the violation of monotonicity constraints in the data. Our approach is quite simple and is not limited to numerical attributes only. The described approach was tested and evaluated on benchmark datasets from the UCI machine learning repository.

关键词： Prediction algorithms Labeling Noise Machine learning Correlation Approximation methods Electronic mail

来源：评论

学校读者我要写书评

暂无评论

Multi-Path Trust-Based Secure AOMDV Routing in Ad Hoc Networks

Multi-Path Trust-Based Secure AOMDV Routing in Ad Hoc Networ...

引用

2011 IEEE Global Telecommunications Conference - GLOBECOM 2011

作者： Jing-Wei Huang Isaac Woungang Han-Chieh Chao Mohammad S. Obaidat Ting-Yun Chi Sanjay K. Dhurandher Institute of Computer Science and Information Engineering National I-lan University Taiwan Department of Computer Science Ryerson University Toronto ONT Canada Department of Computer Science and Software Engineering Monmouth University NJ USA Netaji Subhas Institute of Technology University of Delhi India

Mobile Ad Hoc Networks (MANETs) offer a dynamic environment in which data exchange can occur without the need of a centralized server or human authority, providing that nodes cooperate among each other for routing. In such an environment, the protection of data en route to its destination is still a challenging issue in the presence of malevolent nodes. This paper proposes a message security approach in MANETs that uses a trust-based multipath AOMDV routing combined with soft-encryption, yielding our so-called T-AOMDV scheme. Simulation results using ns2 demonstrate that our scheme is much more secured than traditional multipath routing algorithms and a recently proposed message security scheme for MANETs (our so-called Trust-based Multipath Routing scheme (T-DSR)), chosen as benchmark. The performance criteria used are route selection time and trust compromise.

关键词： Peer to peer computing Routing Ad hoc networks Security Mobile computing Routing protocols

来源：评论

学校读者我要写书评

暂无评论

RFID protocol based on random number and encryption hash

RFID protocol based on random number and encryption hash

引用

IET International Communication Conference on Wireless Mobile and Computing (CCWMC 2011)

作者： Qian Quan Guo Xiang Zhang Rui School of Computer Engineering & Science State Key Laboratory of Information Security (Institute of Software Chinese Academy of Sciences) Shanghai University Shanghai China

ISBN: (纸本)9781618399571

The features of the RFID system and the constraints of RFID devices may bring about various privacy problems. After analyzing some existing RFID protocols, this paper proposes a new protocol based on random number and encryption hash. A process of formal analysis is presented by using BAN logic; the security and the complexity of this protocol are compared with other typical ones. The messages in the protocol are encrypted by key, it makes the protocol can prevent from illegal reading, tracking, eavesdropping, spoofing and replay attack. Both theory and analysis show that this new protocol can ensure the security of RFID systems and keep low-cost.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A skew angle detection algorithm based on maximum gradient difference

A skew angle detection algorithm based on maximum gradient d...

引用

International Conference on Transportation, Mechanical, and Electrical engineering (TMEE)

作者： Dan Wang Xichang Wang Jiang Liu Institute of Information Science & Engineering Computer Software Novel Technology Shandong China Shandong Oumasoft Co. Ltd Research Institute of Digital Image Processing Shandong China

ISBN: (纸本)9781457717000

In order to resolve the problem of skew phenomenon in the handwritten document image during the scanning process, a new skew angle detection algorithm based on maximum gradient difference as well as Hough transform was proposed in the paper. Firstly, text lines are labeled by using maximum gradient difference, and then we use the method of non-text filtering to get rid of shorter text lines and dots. Finally, margin information is extracted after refining on text lines, and two-stage Hough transform is made to the margin extracted information with the strategy varying from “coarse” to “fine” strategy, calculating the skew angle of document image which is fixed by the average of several longest lines. Experiment results shows that the algorithm detects skew angles of document image more rapidly and accurately than Hough transform alone.

关键词： Transforms Data mining Accuracy Detection algorithms Layout Filtering Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：