首页 > 最新文献

2012 International Conference on Communications and Information Technology (ICCIT)最新文献

英文 中文
Opportunities and obstacles for mobile learning in a Business School 商学院移动学习的机遇与障碍
Pub Date : 2012-06-26 DOI: 10.1109/ICCITECHNOL.2012.6285824
Yaneli Cruz, I. Boughzala, Saïd Assar
Mobile technology and mobile applications evolution have increased possibilities for mobile learning (ML). However, the lack of perceived learning value and institutional infrastructure are hindering the possibilities for ML attempts. The purpose of our study is the understanding opportunities and obstacles of mobile technologies as perceived by teachers in higher education. A questionnaire was developed based on actual research about technology adoption in higher education and was used to interview 14 teachers. Participants were asked to identify different issues associated with using mobile technology in education. In response, participants provided insights about ML perception, such as opportunities to enhance communication with students, availability for resources and immediate feedback. Finally, they identified technological, institutional, pedagogical and individual obstacles that threaten ML practices.
移动技术和移动应用程序的发展增加了移动学习(ML)的可能性。然而,缺乏可感知的学习价值和机构基础设施阻碍了机器学习尝试的可能性。我们研究的目的是了解高等教育教师所感知的移动技术的机遇和障碍。基于对高等教育技术应用的实际研究,编制了一份调查问卷,并对14名教师进行了访谈。参与者被要求指出与在教育中使用移动技术相关的不同问题。作为回应,与会者提供了关于机器学习感知的见解,例如加强与学生沟通的机会,资源的可用性和即时反馈。最后,他们确定了威胁机器学习实践的技术、制度、教学和个人障碍。
{"title":"Opportunities and obstacles for mobile learning in a Business School","authors":"Yaneli Cruz, I. Boughzala, Saïd Assar","doi":"10.1109/ICCITECHNOL.2012.6285824","DOIUrl":"https://doi.org/10.1109/ICCITECHNOL.2012.6285824","url":null,"abstract":"Mobile technology and mobile applications evolution have increased possibilities for mobile learning (ML). However, the lack of perceived learning value and institutional infrastructure are hindering the possibilities for ML attempts. The purpose of our study is the understanding opportunities and obstacles of mobile technologies as perceived by teachers in higher education. A questionnaire was developed based on actual research about technology adoption in higher education and was used to interview 14 teachers. Participants were asked to identify different issues associated with using mobile technology in education. In response, participants provided insights about ML perception, such as opportunities to enhance communication with students, availability for resources and immediate feedback. Finally, they identified technological, institutional, pedagogical and individual obstacles that threaten ML practices.","PeriodicalId":435718,"journal":{"name":"2012 International Conference on Communications and Information Technology (ICCIT)","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132184314","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
The design of a collaboration-oriented serious game 设计一款以合作为导向的严肃游戏
Pub Date : 2012-06-26 DOI: 10.1109/ICCITECHNOL.2012.6285843
Ikram Bououd, I. Boughzala
The present paper introduces a new category of games which could be ranked among the collaborative games. This “collaboration-oriented game” has the distinction of being based on the solidarity and collaboration rather than individualism and competition. It puts forward team spirit over the individual one and serves to enhance the collaboration skills for players. The collaboration-oriented game aims at enhancing managers' capacity to manage their teams and allows them to learn collaboration skills and best practices. Such a game, as part of the panoply of serious games, allows learning and evolving through entertainment. This paper positions firstly this kind of game in the space of existing games, then, it presents its features and rules. Finally, it proposes some application scenarios in the professional context.
本文引入了一类新的博弈,它可以被归类到协作博弈中。这种“合作导向型游戏”的特点是基于团结和合作,而不是基于个人主义和竞争。它提倡团队精神而不是个人精神,有助于提高球员的协作能力。以协作为导向的游戏旨在提高管理者管理团队的能力,并允许他们学习协作技能和最佳实践。这样的游戏,作为严肃游戏的一部分,可以通过娱乐来学习和发展。本文首先将这类博弈置于现有博弈的空间中,然后提出其特征和规律。最后,提出了专业背景下的应用场景。
{"title":"The design of a collaboration-oriented serious game","authors":"Ikram Bououd, I. Boughzala","doi":"10.1109/ICCITECHNOL.2012.6285843","DOIUrl":"https://doi.org/10.1109/ICCITECHNOL.2012.6285843","url":null,"abstract":"The present paper introduces a new category of games which could be ranked among the collaborative games. This “collaboration-oriented game” has the distinction of being based on the solidarity and collaboration rather than individualism and competition. It puts forward team spirit over the individual one and serves to enhance the collaboration skills for players. The collaboration-oriented game aims at enhancing managers' capacity to manage their teams and allows them to learn collaboration skills and best practices. Such a game, as part of the panoply of serious games, allows learning and evolving through entertainment. This paper positions firstly this kind of game in the space of existing games, then, it presents its features and rules. Finally, it proposes some application scenarios in the professional context.","PeriodicalId":435718,"journal":{"name":"2012 International Conference on Communications and Information Technology (ICCIT)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130043344","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Architecture of mobile node in heterogeneous networks 异构网络中移动节点的体系结构
Pub Date : 2012-06-26 DOI: 10.1109/ICCITECHNOL.2012.6285803
F. Hadiji, F. Zarai, L. Kamoun
In the next generation communication systems, different kinds of wireless public access have become increasingly available in various areas, so mobile terminals should provide multi-interfaces technology. The most challenging problem is the seamless intersystem mobility across heterogeneous wireless networks and the guarantee of the best quality of service and security for applications and users with best cost. This paper presents a proposed architecture of the mobile terminal that manages the handoff decision taking into account preferences given by users, applications requirements and networks performances and capabilities using the IEEE 802.11u standard.
在下一代通信系统中,不同类型的无线公共接入越来越多地应用于各个领域,因此移动终端需要提供多接口技术。最具挑战性的问题是跨异构无线网络的无缝系统间移动性,以及以最佳的成本为应用程序和用户提供最佳的服务质量和安全性。本文提出了一种基于IEEE 802.11u标准的移动终端架构,该架构考虑了用户的偏好、应用需求以及网络性能和能力,来管理切换决策。
{"title":"Architecture of mobile node in heterogeneous networks","authors":"F. Hadiji, F. Zarai, L. Kamoun","doi":"10.1109/ICCITECHNOL.2012.6285803","DOIUrl":"https://doi.org/10.1109/ICCITECHNOL.2012.6285803","url":null,"abstract":"In the next generation communication systems, different kinds of wireless public access have become increasingly available in various areas, so mobile terminals should provide multi-interfaces technology. The most challenging problem is the seamless intersystem mobility across heterogeneous wireless networks and the guarantee of the best quality of service and security for applications and users with best cost. This paper presents a proposed architecture of the mobile terminal that manages the handoff decision taking into account preferences given by users, applications requirements and networks performances and capabilities using the IEEE 802.11u standard.","PeriodicalId":435718,"journal":{"name":"2012 International Conference on Communications and Information Technology (ICCIT)","volume":"186 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133761708","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Current issues in handheld augmented reality 手持增强现实的当前问题
Pub Date : 2012-06-26 DOI: 10.1109/ICCITECHNOL.2012.6285844
S. Kurkovsky, R. Koshy, Vivian Novak, Peter Szul
Equipped with powerful processors, cameras for capturing still images and video, and a range of sensors capable of tracking location, orientation and motion of the user, modern smartphones offer a sophisticated platform for implementing handheld augmented reality (AR) applications. Despite the advances in research and development, implementing AR applications for the smartphone platform remains a challenge due to many open problems related to navigation, contextawareness, visualization, usability and interaction design, as well as content creation and sharing. This paper surveys a number of open challenges and issues, trade-offs and possible solutions in implementing handheld AR applications.
现代智能手机配备了强大的处理器、用于捕捉静止图像和视频的摄像头,以及一系列能够跟踪用户位置、方向和运动的传感器,为实现手持增强现实(AR)应用提供了一个复杂的平台。尽管在研究和开发方面取得了进步,但由于许多与导航、上下文感知、可视化、可用性和交互设计以及内容创建和共享相关的开放问题,在智能手机平台上实现AR应用程序仍然是一个挑战。本文调查了一些开放的挑战和问题,权衡和可能的解决方案,在实现手持AR应用程序。
{"title":"Current issues in handheld augmented reality","authors":"S. Kurkovsky, R. Koshy, Vivian Novak, Peter Szul","doi":"10.1109/ICCITECHNOL.2012.6285844","DOIUrl":"https://doi.org/10.1109/ICCITECHNOL.2012.6285844","url":null,"abstract":"Equipped with powerful processors, cameras for capturing still images and video, and a range of sensors capable of tracking location, orientation and motion of the user, modern smartphones offer a sophisticated platform for implementing handheld augmented reality (AR) applications. Despite the advances in research and development, implementing AR applications for the smartphone platform remains a challenge due to many open problems related to navigation, contextawareness, visualization, usability and interaction design, as well as content creation and sharing. This paper surveys a number of open challenges and issues, trade-offs and possible solutions in implementing handheld AR applications.","PeriodicalId":435718,"journal":{"name":"2012 International Conference on Communications and Information Technology (ICCIT)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133990244","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 43
Wavelets polynomials and associated zeros locations 小波多项式和相关的零点位置
Pub Date : 2012-06-26 DOI: 10.1109/ICCITECHNOL.2012.6285792
J. Karam, Samer E. Mansour
There are conditions imposed on the coefficients of filters and therefore on the roots of the binomial polynomials associated with the construction of Daubechies Wavelets. In this paper, a particular class of polynomials is derived from such construction. It bears as coefficients the ratios of those of the binomial polynomials. Limits for the roots of this family of polynomials are derived and the conditions for obtaining optimum radius are identified along with some illustrations.
有条件强加于滤波器的系数,因此对二项式多项式的根与Daubechies小波的构造有关。本文从这种构造中导出了一类特殊的多项式。它的系数是二项式多项式的比值。导出了这类多项式根的极限,并给出了获得最优半径的条件,并举例说明。
{"title":"Wavelets polynomials and associated zeros locations","authors":"J. Karam, Samer E. Mansour","doi":"10.1109/ICCITECHNOL.2012.6285792","DOIUrl":"https://doi.org/10.1109/ICCITECHNOL.2012.6285792","url":null,"abstract":"There are conditions imposed on the coefficients of filters and therefore on the roots of the binomial polynomials associated with the construction of Daubechies Wavelets. In this paper, a particular class of polynomials is derived from such construction. It bears as coefficients the ratios of those of the binomial polynomials. Limits for the roots of this family of polynomials are derived and the conditions for obtaining optimum radius are identified along with some illustrations.","PeriodicalId":435718,"journal":{"name":"2012 International Conference on Communications and Information Technology (ICCIT)","volume":"112 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133481626","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Multi-hop bandwidth reservation in WMN-based IEEE 802.11s (MBRWMN) 基于wmn的IEEE 802.11s (MBRWMN)多跳带宽预留
Pub Date : 2012-06-26 DOI: 10.1109/ICCITECHNOL.2012.6285793
Sidi ould Cheikh, A. Guéroui
The IEEE 802.11s Wireless Mesh Networks (WMN) is a new multi-hop technology increasing the coverage of IEEE 802.11 Wireless Network and providing Internet access. The IEEE 802.11s WMN is composed of two levels: Mesh and clients levels. The client may be mobile or static, but all Mesh nodes are static. The principal challenge of the WMN-based IEEE 802.11s, is how to guarantee the Quality of Service (QoS) to multimedia and real time traffic. In this article, we propose a method based on bandwidth reservation to improve the QoS of real time traffic. This method named MBRWMN(Multi-hop Bandwidth Reservation in WMN) defines a new weight parameter based on bandwidth reservation and use it to define a new WAM(Weighted Airtime Metric) metric. The best path between the source and the destination, is provided by this new metric. The proposed solution guarantees hop by hop required bandwidth to real time traffic. The simulation results show the proposed solution performance compared with HWMP protocol.
IEEE 802.11无线网状网络(WMN)是一种新的多跳技术,增加了IEEE 802.11无线网络的覆盖范围,提供了Internet接入。IEEE 802.11s WMN由两个级别组成:Mesh和客户端级别。客户端可以是移动的或静态的,但所有Mesh节点都是静态的。基于wmn的IEEE 802.11s面临的主要挑战是如何保证多媒体和实时业务的服务质量(QoS)。在本文中,我们提出了一种基于带宽预留的方法来提高实时流量的QoS。该方法称为MBRWMN(Multi-hop Bandwidth Reservation in WMN),它在带宽保留的基础上定义了一个新的权重参数,并用它来定义一个新的WAM(Weighted Airtime Metric)度量。源和目标之间的最佳路径由这个新度量提供。该方案保证了实时流量逐跳所需的带宽。仿真结果表明了该方案与HWMP协议的性能比较。
{"title":"Multi-hop bandwidth reservation in WMN-based IEEE 802.11s (MBRWMN)","authors":"Sidi ould Cheikh, A. Guéroui","doi":"10.1109/ICCITECHNOL.2012.6285793","DOIUrl":"https://doi.org/10.1109/ICCITECHNOL.2012.6285793","url":null,"abstract":"The IEEE 802.11s Wireless Mesh Networks (WMN) is a new multi-hop technology increasing the coverage of IEEE 802.11 Wireless Network and providing Internet access. The IEEE 802.11s WMN is composed of two levels: Mesh and clients levels. The client may be mobile or static, but all Mesh nodes are static. The principal challenge of the WMN-based IEEE 802.11s, is how to guarantee the Quality of Service (QoS) to multimedia and real time traffic. In this article, we propose a method based on bandwidth reservation to improve the QoS of real time traffic. This method named MBRWMN(Multi-hop Bandwidth Reservation in WMN) defines a new weight parameter based on bandwidth reservation and use it to define a new WAM(Weighted Airtime Metric) metric. The best path between the source and the destination, is provided by this new metric. The proposed solution guarantees hop by hop required bandwidth to real time traffic. The simulation results show the proposed solution performance compared with HWMP protocol.","PeriodicalId":435718,"journal":{"name":"2012 International Conference on Communications and Information Technology (ICCIT)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123953573","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
NDA SNR estimation over MISO with STBC channels for BPSK modulated signals using the EM algorithm 基于EM算法的BPSK调制信号在STBC信道MISO上的NDA信噪比估计
Pub Date : 2012-06-26 DOI: 10.1109/ICCITECHNOL.2012.6285840
Ahmed M. Almradi, S. Dianat
In this paper, the problem of Non Data Aided (NDA) Signal to Noise Ratio (SNR) estimation of Binary Phase Shift keying (BPSK) modulated signals using the Expectation Maximization (EM) Algorithm is discussed. Multiple Input Single Output (MISO) channels with Space Time Block Codes (STBC) are used. The EM algorithm is a method that finds the Maximum Likelihood (ML) solution iteratively when there are unobserved (hidden or missing) data. Extension of the proposed approach to other types of modulated signals in estimating SNR is straight forward. The performance of the estimator is assessed using the NDA Cramer Rao Lower Bounds (CRLBs). Alamouti coding technique is used in this paper with two transmit antennas and one receive antenna. Our assumption is that the received signal is corrupted by additive white Gaussian noise (AWGN) with unknown variance, and scaled by fixed unknown complex channel gain. Monte Carlo simulations are used to show that the proposed estimator offers a substantial improvement over the conventional Single Input Single Output (SISO) NDA SNR estimator due to the use of the statistical dependences in space and time. Moreover, the proposed NDA SNR estimator works close to the NDA SNR estimator over Single Input Multiple Output (SIMO) channels.
讨论了利用期望最大化算法对二值相移键控(BPSK)调制信号进行非数据辅助(NDA)信噪比估计的问题。使用带有空时块码(STBC)的多输入单输出(MISO)信道。EM算法是一种在存在未观察到(隐藏或丢失)数据时迭代地找到最大似然(ML)解的方法。在估计信噪比时,将所提出的方法扩展到其他类型的调制信号是直接的。使用NDA Cramer - Rao下界(CRLBs)来评估估计器的性能。本文采用双发射天线和一接收天线的Alamouti编码技术。我们的假设是接收到的信号被未知方差的加性高斯白噪声(AWGN)破坏,并被固定的未知复信道增益缩放。蒙特卡罗模拟表明,由于使用了空间和时间上的统计依赖性,所提出的估计器比传统的单输入单输出(SISO) NDA信噪比估计器提供了实质性的改进。此外,所提出的NDA信噪比估计器在单输入多输出(SIMO)信道上的工作接近于NDA信噪比估计器。
{"title":"NDA SNR estimation over MISO with STBC channels for BPSK modulated signals using the EM algorithm","authors":"Ahmed M. Almradi, S. Dianat","doi":"10.1109/ICCITECHNOL.2012.6285840","DOIUrl":"https://doi.org/10.1109/ICCITECHNOL.2012.6285840","url":null,"abstract":"In this paper, the problem of Non Data Aided (NDA) Signal to Noise Ratio (SNR) estimation of Binary Phase Shift keying (BPSK) modulated signals using the Expectation Maximization (EM) Algorithm is discussed. Multiple Input Single Output (MISO) channels with Space Time Block Codes (STBC) are used. The EM algorithm is a method that finds the Maximum Likelihood (ML) solution iteratively when there are unobserved (hidden or missing) data. Extension of the proposed approach to other types of modulated signals in estimating SNR is straight forward. The performance of the estimator is assessed using the NDA Cramer Rao Lower Bounds (CRLBs). Alamouti coding technique is used in this paper with two transmit antennas and one receive antenna. Our assumption is that the received signal is corrupted by additive white Gaussian noise (AWGN) with unknown variance, and scaled by fixed unknown complex channel gain. Monte Carlo simulations are used to show that the proposed estimator offers a substantial improvement over the conventional Single Input Single Output (SISO) NDA SNR estimator due to the use of the statistical dependences in space and time. Moreover, the proposed NDA SNR estimator works close to the NDA SNR estimator over Single Input Multiple Output (SIMO) channels.","PeriodicalId":435718,"journal":{"name":"2012 International Conference on Communications and Information Technology (ICCIT)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122766980","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
A Situation Calculus-based semantic framework for UML 基于情景演算的UML语义框架
Pub Date : 2012-06-26 DOI: 10.1109/ICCITECHNOL.2012.6285846
Liang Dou, Qiang Liu, Zongyuang Yang, Jinkui Xie
A recent trend in the study of UML formal semantics is to integrate semantics of various UML diagrams into a single framework. The aim is to get a unified basis for main research topics like validation, verification and syntax checking. In this paper, we propose an approach based on the Situation Calculus (SC) which is a sophisticated action theory and is capable of modeling general systems. UML models are treated as a tailored SC system, containing eternals, fluents and actions that formalize the frequently used concepts in the UML metamodel. Class diagrams and object diagrams are modeled by eternals for consistency checking. State machine diagrams and sequence diagrams are modeled by fluents and actions, with corresponding precondition axioms and successor state axioms in SC. We use Golog, an executable high-level programming language based on the SC, to analyze and test UML diagrams. Based on the methods proposed in this paper, UML diagrams can be formally analyzed and simulated in the Golog interpreter, which can be useful in discovering system deficits at the design level.
UML形式化语义研究的最新趋势是将各种UML图的语义集成到一个单一的框架中。目的是为验证、验证和语法检查等主要研究课题提供一个统一的基础。在本文中,我们提出了一种基于情景演算(SC)的方法,这是一种复杂的动作理论,能够对一般系统建模。UML模型被视为一个定制的SC系统,包含永恒、流畅和形式化UML元模型中经常使用的概念的动作。类图和对象图由永恒模型建模,用于一致性检查。状态机图和序列图在SC中采用流畅性和动作建模,并使用相应的前提公理和后继状态公理,使用基于SC的可执行高级编程语言Golog对UML图进行分析和测试。基于本文提出的方法,可以在Golog解释器中形式化地分析和模拟UML图,这有助于在设计层面发现系统缺陷。
{"title":"A Situation Calculus-based semantic framework for UML","authors":"Liang Dou, Qiang Liu, Zongyuang Yang, Jinkui Xie","doi":"10.1109/ICCITECHNOL.2012.6285846","DOIUrl":"https://doi.org/10.1109/ICCITECHNOL.2012.6285846","url":null,"abstract":"A recent trend in the study of UML formal semantics is to integrate semantics of various UML diagrams into a single framework. The aim is to get a unified basis for main research topics like validation, verification and syntax checking. In this paper, we propose an approach based on the Situation Calculus (SC) which is a sophisticated action theory and is capable of modeling general systems. UML models are treated as a tailored SC system, containing eternals, fluents and actions that formalize the frequently used concepts in the UML metamodel. Class diagrams and object diagrams are modeled by eternals for consistency checking. State machine diagrams and sequence diagrams are modeled by fluents and actions, with corresponding precondition axioms and successor state axioms in SC. We use Golog, an executable high-level programming language based on the SC, to analyze and test UML diagrams. Based on the methods proposed in this paper, UML diagrams can be formally analyzed and simulated in the Golog interpreter, which can be useful in discovering system deficits at the design level.","PeriodicalId":435718,"journal":{"name":"2012 International Conference on Communications and Information Technology (ICCIT)","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130609200","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Game theory for contracts establishment with guaranteed QoS in the interdomain network 域间网络中保证QoS契约建立的博弈论
Pub Date : 2012-06-26 DOI: 10.1109/ICCITECHNOL.2012.6285807
D. Barth, Boubkeur Boudaoud, T. Mautor
In this paper, we introduce and present a new model for resources management and for a guaranteed QoS in the interdomain routing framework. This new model is called the stock model, we study it using game theory. The stock model is based on a reverse cascade approach and is applied in a distributed context. The goal of each transit provider in the network is to be able to provisioning the necessary capacity on each route that it wants to buy. Therefore, we use a repeated game with incomplete information for this study. A linear reward inaction algorithm is used to update strategy of each player (domain or operator). We show how each player chooses its best strategy on each route to satisfy the demands of its customers and to provide a maximum benefit. Finally, we analyze and provide some simulation results obtained by applying the game model on simple topologies where the model stabilizes and converges to Nash equilibriums.
本文介绍并提出了一种新的域间路由框架中的资源管理和QoS保证模型。这个新的模型被称为股票模型,我们用博弈论来研究它。库存模型基于反向级联方法,并应用于分布式上下文中。网络中每个运输提供商的目标是能够在它想要购买的每条路线上提供必要的容量。因此,我们在本研究中使用了不完全信息的重复博弈。采用线性奖励不作为算法更新每个参与人(域或算子)的策略。我们展示了每个参与者如何在每条路线上选择最佳策略,以满足其客户的需求并提供最大的利益。最后,我们分析并提供了一些在简单拓扑上应用该博弈模型的仿真结果,该模型趋于稳定并收敛于纳什均衡。
{"title":"Game theory for contracts establishment with guaranteed QoS in the interdomain network","authors":"D. Barth, Boubkeur Boudaoud, T. Mautor","doi":"10.1109/ICCITECHNOL.2012.6285807","DOIUrl":"https://doi.org/10.1109/ICCITECHNOL.2012.6285807","url":null,"abstract":"In this paper, we introduce and present a new model for resources management and for a guaranteed QoS in the interdomain routing framework. This new model is called the stock model, we study it using game theory. The stock model is based on a reverse cascade approach and is applied in a distributed context. The goal of each transit provider in the network is to be able to provisioning the necessary capacity on each route that it wants to buy. Therefore, we use a repeated game with incomplete information for this study. A linear reward inaction algorithm is used to update strategy of each player (domain or operator). We show how each player chooses its best strategy on each route to satisfy the demands of its customers and to provide a maximum benefit. Finally, we analyze and provide some simulation results obtained by applying the game model on simple topologies where the model stabilizes and converges to Nash equilibriums.","PeriodicalId":435718,"journal":{"name":"2012 International Conference on Communications and Information Technology (ICCIT)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126474717","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Low complexity least-square estimator for RSS-based localization in Wireless Sensor Networks 无线传感器网络中基于rss定位的低复杂度最小二乘估计
Pub Date : 2012-06-26 DOI: 10.1109/ICCITECHNOL.2012.6285818
A. I. Alhasant, B. Sharif, C. Tsimenidis, J. Neasham
This paper presents an efficient Received Signal Strength RSS-based localization approach utilizing a Tree Search Algorithm (TSA). In comparison to the existing exhaustive search algorithms, e.g. Least Square Estimators (LSE) and Error Controlling localization (Ecolocation), the proposed approach achieves considerable reduction in computational complexity and storage requirements. The effectiveness of the TSA is evaluated through simulation and real experiments. The presented results show that the performance of the new approach closely achieves LSE and performs better than Ecolocation algorithms. Moreover, at a comparable system complexities, TSA outperforms the simplistic Proximity and Centroid localization algorithms.
本文利用树搜索算法(TSA)提出了一种有效的基于接收信号强度rss的定位方法。与现有的穷举搜索算法(如Least Square Estimators (LSE)和Error control localization (Ecolocation))相比,该方法大大降低了计算复杂度和存储需求。通过仿真和实际实验对TSA的有效性进行了评价。实验结果表明,该方法的性能接近LSE,且优于生态定位算法。此外,在相当的系统复杂性下,TSA优于简单的接近和质心定位算法。
{"title":"Low complexity least-square estimator for RSS-based localization in Wireless Sensor Networks","authors":"A. I. Alhasant, B. Sharif, C. Tsimenidis, J. Neasham","doi":"10.1109/ICCITECHNOL.2012.6285818","DOIUrl":"https://doi.org/10.1109/ICCITECHNOL.2012.6285818","url":null,"abstract":"This paper presents an efficient Received Signal Strength RSS-based localization approach utilizing a Tree Search Algorithm (TSA). In comparison to the existing exhaustive search algorithms, e.g. Least Square Estimators (LSE) and Error Controlling localization (Ecolocation), the proposed approach achieves considerable reduction in computational complexity and storage requirements. The effectiveness of the TSA is evaluated through simulation and real experiments. The presented results show that the performance of the new approach closely achieves LSE and performs better than Ecolocation algorithms. Moreover, at a comparable system complexities, TSA outperforms the simplistic Proximity and Centroid localization algorithms.","PeriodicalId":435718,"journal":{"name":"2012 International Conference on Communications and Information Technology (ICCIT)","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126528630","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
期刊
2012 International Conference on Communications and Information Technology (ICCIT)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1