首页 > 最新文献

2012 International Conference on Computer Systems and Industrial Informatics最新文献

英文 中文
Visual Single Cluster of multidimensional data 多维数据的可视化单簇
Pub Date : 2012-12-01 DOI: 10.1109/ICCSII.2012.6454297
A. Khadidja, B. Nadjia, O. Saliha
The rapid development of computer tools allows the computer system to stoke very large amount of data with many parameters such as electronic payment systems, sensors and monitoring systems and other. We talk about large data bases along both dimensions: number of recordings and number of dimensions "attribute, variable". Analysis of these data becomes very important and difficult in the same time. The visual data analysis has great potential applications because it facilitates the analysis, interpretation, validation and also increases the cognitive aspect among analysts. However, the traditional techniques of visualization of multidimensional data, such as parallel coordinates, glyphs, and scatter plot matrices, do not scale well to a very large data set. The increasing size and complexity of data sets is a new challenge and a key motivation for our works. In this article, we present our proposal approach VSCDR (Visual Single Cluster Dimension Reduction Approach) that can handle with big data.
计算机工具的迅速发展使计算机系统能够存储大量具有许多参数的数据,如电子支付系统、传感器和监控系统等。我们从两个维度来讨论大型数据库:记录的数量和“属性、变量”的维度数量。同时,对这些数据的分析也变得非常重要和困难。可视化数据分析具有很大的应用潜力,因为它方便了分析、解释、验证,也增加了分析人员之间的认知方面。然而,传统的多维数据可视化技术,如平行坐标、字形和散点图矩阵,不能很好地扩展到非常大的数据集。数据集的规模和复杂性的增加是一个新的挑战,也是我们工作的关键动力。在本文中,我们提出了一种可以处理大数据的方法VSCDR (Visual Single Cluster Dimension Reduction approach)。
{"title":"Visual Single Cluster of multidimensional data","authors":"A. Khadidja, B. Nadjia, O. Saliha","doi":"10.1109/ICCSII.2012.6454297","DOIUrl":"https://doi.org/10.1109/ICCSII.2012.6454297","url":null,"abstract":"The rapid development of computer tools allows the computer system to stoke very large amount of data with many parameters such as electronic payment systems, sensors and monitoring systems and other. We talk about large data bases along both dimensions: number of recordings and number of dimensions \"attribute, variable\". Analysis of these data becomes very important and difficult in the same time. The visual data analysis has great potential applications because it facilitates the analysis, interpretation, validation and also increases the cognitive aspect among analysts. However, the traditional techniques of visualization of multidimensional data, such as parallel coordinates, glyphs, and scatter plot matrices, do not scale well to a very large data set. The increasing size and complexity of data sets is a new challenge and a key motivation for our works. In this article, we present our proposal approach VSCDR (Visual Single Cluster Dimension Reduction Approach) that can handle with big data.","PeriodicalId":281140,"journal":{"name":"2012 International Conference on Computer Systems and Industrial Informatics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2012-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132509319","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
An integrated simulation-DEA algorithm for layout optimization 一种集成仿真- dea的布局优化算法
Pub Date : 2012-12-01 DOI: 10.1109/iccsii.2012.6454604
A. Azadeh, S. M. Haghighi, H. Saedi
In this study, an integrated Simulation-Data Envelopment Analysis (DEA) approach is presented to deal with a job shop facility layout design problem for an Iranian gas company. In this workshop, it is considered that the some parts of production equipment fail to operate and it is necessary to repair them, as soon as possible. The process of repairing these parts includes different operations on different facilities and the optimal layout of facilities in maintenance shop can reduce the process time. The layout problem in this system involves determining the location of all maintenance shop facilities. Layout optimization plays a crucial role in this type of problems in terms of increasing the efficiency of the main production line. To do so, different types of layout is considered including U-shaped, S-shaped, W-shaped, Z-shaped, and straight line layouts. First, the system is modeled with discrete-event-simulation as a powerful tool for analyzing complex systems. Time in system (TIS), average waiting time (AWT), average machine utilization (AMU), average availability (AA) of facilities, average length queue of facilities (AL) and average operator utilization (AOU) are obtained from simulation as key performance indicators (KPIs). Also, safety is considered as another KPI in this article. Finally, a unified non-radial Data Envelopment Analysis approach is presented with respect to the set of comprehensive indicators obtained in previous steps in order to rank all proposed layouts to find the best configuration of facilities.
在本研究中,提出了一种集成模拟-数据包络分析(DEA)方法来处理伊朗天然气公司作业车间设施布局设计问题。本车间认为,生产设备的部分部件出现故障,需要尽快进行维修。这些零件的维修过程包括在不同的设施上进行不同的操作,维修车间设施的优化布置可以减少加工时间。该系统的布局问题涉及到确定所有维修车间设施的位置。在这类问题中,布局优化对于提高主生产线的效率起着至关重要的作用。为此,考虑了不同类型的布局,包括u形、s形、w形、z形和直线布局。首先,将离散事件仿真作为分析复杂系统的有力工具,对系统进行建模。通过仿真得到系统时间(TIS)、平均等待时间(AWT)、平均机器利用率(AMU)、设施平均可用性(AA)、设施平均排队长度(AL)和操作员平均利用率(AOU)作为关键绩效指标(kpi)。此外,本文还将安全性视为另一个KPI。最后,针对前面步骤中获得的一组综合指标,提出了一种统一的非径向数据包络分析方法,以便对所有建议的布局进行排序,以找到最佳的设施配置。
{"title":"An integrated simulation-DEA algorithm for layout optimization","authors":"A. Azadeh, S. M. Haghighi, H. Saedi","doi":"10.1109/iccsii.2012.6454604","DOIUrl":"https://doi.org/10.1109/iccsii.2012.6454604","url":null,"abstract":"In this study, an integrated Simulation-Data Envelopment Analysis (DEA) approach is presented to deal with a job shop facility layout design problem for an Iranian gas company. In this workshop, it is considered that the some parts of production equipment fail to operate and it is necessary to repair them, as soon as possible. The process of repairing these parts includes different operations on different facilities and the optimal layout of facilities in maintenance shop can reduce the process time. The layout problem in this system involves determining the location of all maintenance shop facilities. Layout optimization plays a crucial role in this type of problems in terms of increasing the efficiency of the main production line. To do so, different types of layout is considered including U-shaped, S-shaped, W-shaped, Z-shaped, and straight line layouts. First, the system is modeled with discrete-event-simulation as a powerful tool for analyzing complex systems. Time in system (TIS), average waiting time (AWT), average machine utilization (AMU), average availability (AA) of facilities, average length queue of facilities (AL) and average operator utilization (AOU) are obtained from simulation as key performance indicators (KPIs). Also, safety is considered as another KPI in this article. Finally, a unified non-radial Data Envelopment Analysis approach is presented with respect to the set of comprehensive indicators obtained in previous steps in order to rank all proposed layouts to find the best configuration of facilities.","PeriodicalId":281140,"journal":{"name":"2012 International Conference on Computer Systems and Industrial Informatics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2012-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127032561","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 method for automatic tuning the memristance of memristive devices with the capacity of applying to memristive memories 一种自动调谐记忆器件忆阻的方法,具有适用于记忆存储器的能力
Pub Date : 2012-12-01 DOI: 10.1109/ICCSII.2012.6454318
F. Merrikh-Bayat, F. Merrikh-Bayat, Nafiseh Mirebrahimi
Memristor is the fourth fundamental passive circuit element which has potential applications in development of analog memristive memories, neuroscience, and brain simulation. In all of these applications the memristance of the device should be adjusted to the desired value, which is currently performed by trial and error. The aim of this paper is to propose a new method and develop a circuit for automatic adjustment of the memristance of memristive devices. The proposed method is based on the sliding mode control and numerical simulations show that it can be used for tuning the memristance of such devices with a high accuracy.
忆阻器是第四种基本无源电路元件,在模拟忆阻记忆、神经科学和大脑模拟等领域具有潜在的应用前景。在所有这些应用中,器件的忆阻应该调整到所需的值,这目前是通过试错来执行的。本文的目的是提出一种新的方法,开发一种自动调节忆阻器件忆阻的电路。所提出的方法是基于滑模控制的,数值仿真表明,该方法可用于此类器件的忆阻调谐,并具有较高的精度。
{"title":"A method for automatic tuning the memristance of memristive devices with the capacity of applying to memristive memories","authors":"F. Merrikh-Bayat, F. Merrikh-Bayat, Nafiseh Mirebrahimi","doi":"10.1109/ICCSII.2012.6454318","DOIUrl":"https://doi.org/10.1109/ICCSII.2012.6454318","url":null,"abstract":"Memristor is the fourth fundamental passive circuit element which has potential applications in development of analog memristive memories, neuroscience, and brain simulation. In all of these applications the memristance of the device should be adjusted to the desired value, which is currently performed by trial and error. The aim of this paper is to propose a new method and develop a circuit for automatic adjustment of the memristance of memristive devices. The proposed method is based on the sliding mode control and numerical simulations show that it can be used for tuning the memristance of such devices with a high accuracy.","PeriodicalId":281140,"journal":{"name":"2012 International Conference on Computer Systems and Industrial Informatics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2012-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126686213","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
Efficient code-based relay algorithm for reliable cognitive radio systems 可靠认知无线电系统的高效码中继算法
Pub Date : 2012-12-01 DOI: 10.1109/ICCSII.2012.6454440
A. Mohajer, F. A. Niasar, M. Nabipour, A. A. Ghadikolayi
Cooperative spectrum sensing taking into account the error effect on the sensing information reporting and increase in efficiency is studied. Employing the relay, a novel cooperative spectrum sensing algorithm based on network coding is proposed by correcting the received sensing information. In this paper we study the performance of network coding in presence of opportunistic relay selection. We conjecture that relay selection schemes should be aware of, and account for, the network coding operation in case of its presence. The efficiency of the algorithm and the method of relay selection are given. Based on system level simulation results, it is demonstrated that such an awareness provides considerable capacity gains as compared to its traditional opportunistic counterparts, in addition to increased fairness among the encoded sources.
研究了考虑误差对传感信息上报和效率提高影响的协同频谱传感。利用中继对接收到的感知信息进行校正,提出了一种基于网络编码的协同频谱感知算法。本文研究了在机会中继选择条件下网络编码的性能。我们推测,中继选择方案应该意识到并考虑到网络编码操作的存在。给出了算法的有效性和继电器选择方法。基于系统级仿真结果表明,与传统的机会主义对等体相比,这种感知提供了相当大的容量增益,此外还增加了编码源之间的公平性。
{"title":"Efficient code-based relay algorithm for reliable cognitive radio systems","authors":"A. Mohajer, F. A. Niasar, M. Nabipour, A. A. Ghadikolayi","doi":"10.1109/ICCSII.2012.6454440","DOIUrl":"https://doi.org/10.1109/ICCSII.2012.6454440","url":null,"abstract":"Cooperative spectrum sensing taking into account the error effect on the sensing information reporting and increase in efficiency is studied. Employing the relay, a novel cooperative spectrum sensing algorithm based on network coding is proposed by correcting the received sensing information. In this paper we study the performance of network coding in presence of opportunistic relay selection. We conjecture that relay selection schemes should be aware of, and account for, the network coding operation in case of its presence. The efficiency of the algorithm and the method of relay selection are given. Based on system level simulation results, it is demonstrated that such an awareness provides considerable capacity gains as compared to its traditional opportunistic counterparts, in addition to increased fairness among the encoded sources.","PeriodicalId":281140,"journal":{"name":"2012 International Conference on Computer Systems and Industrial Informatics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2012-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123822934","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
Java cryptographycal application based on Arabic poetry 基于阿拉伯语诗歌的Java加密应用程序
Pub Date : 2012-12-01 DOI: 10.1109/ICCSII.2012.6454486
A. Azizi
This is a cryptographical application inspired from the Moroccan's history of sciences, based on Al Khalil Models of poetry and the numerical coding of the Arabic letters in Morocco. This method is based on the position of letters in a given poetry written in grid.
这是一个加密应用程序,灵感来自摩洛哥的科学史,基于Al Khalil诗歌模型和摩洛哥阿拉伯字母的数字编码。这种方法是基于字母在给定的网格诗歌中的位置。
{"title":"Java cryptographycal application based on Arabic poetry","authors":"A. Azizi","doi":"10.1109/ICCSII.2012.6454486","DOIUrl":"https://doi.org/10.1109/ICCSII.2012.6454486","url":null,"abstract":"This is a cryptographical application inspired from the Moroccan's history of sciences, based on Al Khalil Models of poetry and the numerical coding of the Arabic letters in Morocco. This method is based on the position of letters in a given poetry written in grid.","PeriodicalId":281140,"journal":{"name":"2012 International Conference on Computer Systems and Industrial Informatics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2012-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123920244","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 simple joint routing and scheduling algorithm for a multi-hop wireless network 一个简单的多跳无线网络联合路由和调度算法
Pub Date : 2012-12-01 DOI: 10.1109/ICCSII.2012.6454620
I. Chakraborty, M. Hussain
Routing and scheduling in wireless multi-hop networks is challenging, particularly when there are large number of nodes. Simple route construction algorithm becomes attractive as it requires fewer computations. In this paper, a novel routing and scheduling algorithm is proposed, which can be implemented in centralized or distributed way. In this algorithm when the user node (U) tries to reach the base station (BS) through intermediate nodes (IMs), it draws a reference line to the BS, chooses the intermediate node at minimum angle with the reference line, from its neighboring nodes within one transmission range. The other links of the route to the BS through the IMs are also found in the same way. We call it minimum angle (MA) routing and distributed scheduling (DS), MA-DS. The minimum angle (MA) routing and centralized scheduling (CS) is initiated by the BS using the same principle to reach the user node (U), we call it MA-CS. The algorithm requires only the position (x-y co-ordinate) information and the burst profile of the nodes.
无线多跳网络中的路由和调度具有挑战性,特别是当存在大量节点时。简单的路由构建算法由于计算量少而受到人们的青睐。本文提出了一种新的路由调度算法,可采用集中式和分布式两种方式实现。在该算法中,当用户节点(U)试图通过中间节点(IMs)到达基站(BS)时,向基站(BS)绘制一条参考线,在同一传输范围内的相邻节点中选择与参考线夹角最小的中间节点。通过im到BS路由的其他链路也以同样的方式被发现。我们称之为最小角度路由(MA)和分布式调度(DS)。最小角度路由(MA)和集中调度(CS)是由BS发起,采用相同的原理到达用户节点(U),我们称之为MA-CS。该算法只需要节点的位置(x-y坐标)信息和突发轮廓。
{"title":"A simple joint routing and scheduling algorithm for a multi-hop wireless network","authors":"I. Chakraborty, M. Hussain","doi":"10.1109/ICCSII.2012.6454620","DOIUrl":"https://doi.org/10.1109/ICCSII.2012.6454620","url":null,"abstract":"Routing and scheduling in wireless multi-hop networks is challenging, particularly when there are large number of nodes. Simple route construction algorithm becomes attractive as it requires fewer computations. In this paper, a novel routing and scheduling algorithm is proposed, which can be implemented in centralized or distributed way. In this algorithm when the user node (U) tries to reach the base station (BS) through intermediate nodes (IMs), it draws a reference line to the BS, chooses the intermediate node at minimum angle with the reference line, from its neighboring nodes within one transmission range. The other links of the route to the BS through the IMs are also found in the same way. We call it minimum angle (MA) routing and distributed scheduling (DS), MA-DS. The minimum angle (MA) routing and centralized scheduling (CS) is initiated by the BS using the same principle to reach the user node (U), we call it MA-CS. The algorithm requires only the position (x-y co-ordinate) information and the burst profile of the nodes.","PeriodicalId":281140,"journal":{"name":"2012 International Conference on Computer Systems and Industrial Informatics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2012-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122107589","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}
引用次数: 6
Aisle-level scanning for pervasive RFID-based shopping applications 通道级扫描无处不在的基于rfid的购物应用
Pub Date : 2012-12-01 DOI: 10.1109/ICCSII.2012.6454582
A. Karmouche, Y. Salih-Alj
RFID technology is amongst the most revolutionary technologies that will shape tomorrow's pervasive retail sales. This technology offers an important set of opportunities which improve the shopping experience of customers when visiting any self-service store. Indeed, this technology is increasingly promising to the extent of a potential replacement the barcode system as new low cost RFID tag manufacturing procedures have emerged. This paper presents a novel and cost efficient approach to the application of RFID technology in pervasive retail sales, by shifting from cart level to aisle-level scanning, using new event management procedures at the level of the RFID middleware. These procedures include the use of localization and clustering algorithms in order to form purchase contexts. The motivation behind such approach is the reduction of RFID reader deployment and maintenance cost, its transparency to the customers, and its robustness.
RFID技术是最具革命性的技术之一,它将塑造未来无处不在的零售销售。这项技术提供了一系列重要的机会,可以改善顾客在访问任何自助商店时的购物体验。事实上,随着新的低成本RFID标签制造程序的出现,这项技术越来越有希望取代条形码系统。本文提出了一种新颖且具有成本效益的方法,将RFID技术应用于无处不在的零售销售,通过在RFID中间件级别使用新的事件管理程序,从购物车级别转移到通道级别扫描。这些过程包括使用定位和聚类算法来形成购买上下文。这种方法背后的动机是减少RFID读取器的部署和维护成本,对客户透明,以及健壮性。
{"title":"Aisle-level scanning for pervasive RFID-based shopping applications","authors":"A. Karmouche, Y. Salih-Alj","doi":"10.1109/ICCSII.2012.6454582","DOIUrl":"https://doi.org/10.1109/ICCSII.2012.6454582","url":null,"abstract":"RFID technology is amongst the most revolutionary technologies that will shape tomorrow's pervasive retail sales. This technology offers an important set of opportunities which improve the shopping experience of customers when visiting any self-service store. Indeed, this technology is increasingly promising to the extent of a potential replacement the barcode system as new low cost RFID tag manufacturing procedures have emerged. This paper presents a novel and cost efficient approach to the application of RFID technology in pervasive retail sales, by shifting from cart level to aisle-level scanning, using new event management procedures at the level of the RFID middleware. These procedures include the use of localization and clustering algorithms in order to form purchase contexts. The motivation behind such approach is the reduction of RFID reader deployment and maintenance cost, its transparency to the customers, and its robustness.","PeriodicalId":281140,"journal":{"name":"2012 International Conference on Computer Systems and Industrial Informatics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2012-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133999362","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}
引用次数: 20
Verifying Web Services compositions using UPPAAL 使用UPPAAL验证Web服务组合
Pub Date : 2012-12-01 DOI: 10.1109/ICCSII.2012.6454365
N. Ibrahim, Ismail Khalil
A service composition consists of multiple interacting Web Services that provide a functionality to meet a specific set of requirements. It is essential to verify that the functional behavior of the service composition meets the published functionality of the service. Instead of defining a new verification tool to verify the service composition we follow a transformation approach. In this approach, a service composition can be automatically transformed into a model understood by an available verification tool that can then be used to perform the formal verification. The goal in our research is to use different verification tools in order to verify a wide range of properties and target different kinds of systems. This is because different verification tools differ in their requirements and abilities. In this paper, we define the transformation rules to generate a model that can be verified using UPPAAL [1] model checking tool.
服务组合由多个相互作用的Web服务组成,这些Web服务提供满足特定需求集的功能。验证服务组合的功能行为是否满足服务的已发布功能是非常重要的。我们没有定义新的验证工具来验证服务组合,而是采用了转换方法。在这种方法中,可以将服务组合自动转换为可用的验证工具可以理解的模型,然后可以使用该工具执行正式验证。我们研究的目标是使用不同的验证工具来验证广泛的属性和针对不同类型的系统。这是因为不同的验证工具在需求和能力上是不同的。在本文中,我们定义了转换规则来生成一个可以使用UPPAAL[1]模型检查工具进行验证的模型。
{"title":"Verifying Web Services compositions using UPPAAL","authors":"N. Ibrahim, Ismail Khalil","doi":"10.1109/ICCSII.2012.6454365","DOIUrl":"https://doi.org/10.1109/ICCSII.2012.6454365","url":null,"abstract":"A service composition consists of multiple interacting Web Services that provide a functionality to meet a specific set of requirements. It is essential to verify that the functional behavior of the service composition meets the published functionality of the service. Instead of defining a new verification tool to verify the service composition we follow a transformation approach. In this approach, a service composition can be automatically transformed into a model understood by an available verification tool that can then be used to perform the formal verification. The goal in our research is to use different verification tools in order to verify a wide range of properties and target different kinds of systems. This is because different verification tools differ in their requirements and abilities. In this paper, we define the transformation rules to generate a model that can be verified using UPPAAL [1] model checking tool.","PeriodicalId":281140,"journal":{"name":"2012 International Conference on Computer Systems and Industrial Informatics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2012-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124615256","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
On understanding software quality evolution from a defect perspective: A case study on an open source software system 从缺陷的角度理解软件质量演变:一个开源软件系统的案例研究
Pub Date : 2012-12-01 DOI: 10.1109/ICCSII.2012.6454312
M. Badri, N. Drouin, Fadel Touré
Software systems need to continually evolve during their life cycle. It is, therefore, important to monitor how their quality evolves so that quality assurance activities can be properly planned. In this paper, we analyze empirically the quality evolution of an open source software system (Apache Tomcat). We address software quality from an external perspective. We used the number of defects as a quality indicator. We wanted to investigate if the Qi (Quality Assurance Indicator) metric, which we proposed in a previous work, can be used to observe how quality, measured in terms of defects, evolves in the presence of changes. We performed an empirical analysis using historical data collected from the subject system covering a period of more than seven years (thirty-one versions). Results are reported and discussed in the paper.
软件系统需要在其生命周期中不断发展。因此,重要的是监视它们的质量如何发展,以便质量保证活动能够得到适当的计划。在本文中,我们对一个开源软件系统(Apache Tomcat)的质量演变进行了实证分析。我们从外部的角度来处理软件质量。我们使用缺陷的数量作为质量指标。我们想要调查Qi(质量保证指标)度量,它是我们在之前的工作中提出的,是否可以用来观察质量,根据缺陷来度量,在变化的存在下是如何演变的。我们使用从主题系统收集的历史数据进行了实证分析,这些数据涵盖了七年多的时间(31个版本)。本文对结果进行了报道和讨论。
{"title":"On understanding software quality evolution from a defect perspective: A case study on an open source software system","authors":"M. Badri, N. Drouin, Fadel Touré","doi":"10.1109/ICCSII.2012.6454312","DOIUrl":"https://doi.org/10.1109/ICCSII.2012.6454312","url":null,"abstract":"Software systems need to continually evolve during their life cycle. It is, therefore, important to monitor how their quality evolves so that quality assurance activities can be properly planned. In this paper, we analyze empirically the quality evolution of an open source software system (Apache Tomcat). We address software quality from an external perspective. We used the number of defects as a quality indicator. We wanted to investigate if the Qi (Quality Assurance Indicator) metric, which we proposed in a previous work, can be used to observe how quality, measured in terms of defects, evolves in the presence of changes. We performed an empirical analysis using historical data collected from the subject system covering a period of more than seven years (thirty-one versions). Results are reported and discussed in the paper.","PeriodicalId":281140,"journal":{"name":"2012 International Conference on Computer Systems and Industrial Informatics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2012-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114833471","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
K-Nearest Neighbor classification for glass identification problem 玻璃识别问题的k -最近邻分类
Pub Date : 2012-12-01 DOI: 10.1109/ICCSII.2012.6454522
M. Aldayel
The discovery of knowledge form criminal evidence databases is important in order to make effective criminological investigation. The aim of data mining is to extract knowledge from database and produce unambiguous and reasonable patterns. K-Nearest Neighbor (KNN) is one of the most successful data mining methods used in classification problems. Many researchers show that combining different classifiers through voting resulted in better performance than using single classifiers. This paper applies KNN to help criminological investigators in identifying the glass type. It also checks if integrating KNN with another classifier using voting can enhance its accuracy in indentifying the glass type. The results show that applying voting can enhance the KNN accuracy in the glass identification problem.
从犯罪证据数据库中发现知识对于有效地进行犯罪侦查具有重要意义。数据挖掘的目的是从数据库中提取知识,生成明确合理的模式。k -最近邻(KNN)是用于分类问题的最成功的数据挖掘方法之一。许多研究表明,通过投票组合不同的分类器比使用单个分类器效果更好。本文应用KNN来帮助犯罪调查人员识别玻璃类型。它还检查了是否将KNN与另一个使用投票的分类器集成可以提高其识别玻璃类型的准确性。结果表明,在玻璃识别问题中应用投票可以提高KNN的准确率。
{"title":"K-Nearest Neighbor classification for glass identification problem","authors":"M. Aldayel","doi":"10.1109/ICCSII.2012.6454522","DOIUrl":"https://doi.org/10.1109/ICCSII.2012.6454522","url":null,"abstract":"The discovery of knowledge form criminal evidence databases is important in order to make effective criminological investigation. The aim of data mining is to extract knowledge from database and produce unambiguous and reasonable patterns. K-Nearest Neighbor (KNN) is one of the most successful data mining methods used in classification problems. Many researchers show that combining different classifiers through voting resulted in better performance than using single classifiers. This paper applies KNN to help criminological investigators in identifying the glass type. It also checks if integrating KNN with another classifier using voting can enhance its accuracy in indentifying the glass type. The results show that applying voting can enhance the KNN accuracy in the glass identification problem.","PeriodicalId":281140,"journal":{"name":"2012 International Conference on Computer Systems and Industrial Informatics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2012-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130116308","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}
引用次数: 23
期刊
2012 International Conference on Computer Systems and Industrial Informatics
全部 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