首页 > 最新文献

2011 First ACIS International Symposium on Software and Network Engineering最新文献

英文 中文
An Automated Detection Method of Solder Joint Defects Using 3D Computed Tomography for IC Package Inspection 用于集成电路封装检测的三维计算机断层扫描焊点缺陷自动检测方法
Pub Date : 2011-12-19 DOI: 10.1109/SSNE.2011.31
Junhyuk Yoon, Jeongjin Lee, Bohyoung Kim, Y. Shin
Recent electronics parts continue to decrease in size so that it is more likely to exhibit defects. Lately, computed tomography scanning technique has been introduced to provide useful tools for the internal inspection of electronic packages. In this paper, we presents a novel method for detecting solder joint defects in the 3D packaging devices. Our method is composed of three steps. First, mis-alignment during the CT scan process is corrected. Second, open solder joints, missing solder joints, and solder bridges are detected usingblob labeling procedure. Finally, head-in-pillow defect is inspected by the principal curvature analysis. The experimental results demonstrated that our method accurately detected solder joint defects within less than one second. Our method can be successfully applied to inline manufacturing, which requires rapid inspection of whole chips.
最近的电子零件尺寸不断减小,因此更容易出现缺陷。近年来,计算机断层扫描技术的引入为电子包装的内部检查提供了有用的工具。本文提出了一种检测三维封装器件中焊点缺陷的新方法。我们的方法由三步组成。首先,纠正CT扫描过程中的不对中。其次,使用斑点标记程序检测打开的焊点,缺失的焊点和焊点桥。最后,采用主曲率分析法对枕头缺陷进行了检测。实验结果表明,该方法可以在不到1秒的时间内准确地检测到焊点缺陷。我们的方法可以成功地应用于在线制造,这需要快速检查整个芯片。
{"title":"An Automated Detection Method of Solder Joint Defects Using 3D Computed Tomography for IC Package Inspection","authors":"Junhyuk Yoon, Jeongjin Lee, Bohyoung Kim, Y. Shin","doi":"10.1109/SSNE.2011.31","DOIUrl":"https://doi.org/10.1109/SSNE.2011.31","url":null,"abstract":"Recent electronics parts continue to decrease in size so that it is more likely to exhibit defects. Lately, computed tomography scanning technique has been introduced to provide useful tools for the internal inspection of electronic packages. In this paper, we presents a novel method for detecting solder joint defects in the 3D packaging devices. Our method is composed of three steps. First, mis-alignment during the CT scan process is corrected. Second, open solder joints, missing solder joints, and solder bridges are detected usingblob labeling procedure. Finally, head-in-pillow defect is inspected by the principal curvature analysis. The experimental results demonstrated that our method accurately detected solder joint defects within less than one second. Our method can be successfully applied to inline manufacturing, which requires rapid inspection of whole chips.","PeriodicalId":131008,"journal":{"name":"2011 First ACIS International Symposium on Software and Network Engineering","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124708760","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
Application Layer Development and Design of HD Digital TV 高清数字电视应用层开发与设计
Pub Date : 2011-12-19 DOI: 10.1109/SSNE.2011.19
Y. Li
With the rapid development of modern digital broadcasting, television watches are not only more and more critical about the quality of the pictures users see on the television monitor, but they are also more and more diverse about their demand on the OSD (On Screen Display) operation interface of the digital television. Users not only ask for high precision of the sensor reception of signal from the remote control, but users have more and more demand enticing qualities of menus displayed on the television screen. This thesis will first introduce IR's different encoding and decoding methods, give a brief introduction of the circuit for receiving IR signals, and then display the wave patterns used by the remote control designed, as well giving an analyses and appraisal of these wave patterns, make preparation for appraisal of the coding source of the OSD operating interface. And then the thesis introduces the functions of different path ways that can be supported by the integrated circuits of the NOVETIC series used in the present design, and briefly introduces the software platform used by this integrated circuit and its relevant accessory tools. Finally, based on the pre-existing hardware platform, I have designed a comprehensive OSD system with a unique style, as well as a remote control operation system that befits the modern day high definition digital television.
随着现代数字广播的飞速发展,电视用户不仅对电视显示器的画面质量要求越来越高,而且对数字电视的OSD (on Screen Display)操作界面的要求也越来越多样化。用户不仅要求传感器对遥控器信号的接收精度高,而且越来越要求电视屏幕上显示的菜单具有诱人的品质。本文首先介绍了红外的不同编码和解码方法,简要介绍了红外信号的接收电路,然后显示了所设计的遥控器使用的波形,并对这些波形进行了分析和评价,为评价OSD操作接口的编码源做了准备。然后介绍了本设计中使用的NOVETIC系列集成电路所支持的不同路径的功能,并简要介绍了该集成电路所使用的软件平台及其相关的附件工具。最后,在已有硬件平台的基础上,设计了一个风格独特的全面OSD系统,以及适合现代高清数字电视的远程控制操作系统。
{"title":"Application Layer Development and Design of HD Digital TV","authors":"Y. Li","doi":"10.1109/SSNE.2011.19","DOIUrl":"https://doi.org/10.1109/SSNE.2011.19","url":null,"abstract":"With the rapid development of modern digital broadcasting, television watches are not only more and more critical about the quality of the pictures users see on the television monitor, but they are also more and more diverse about their demand on the OSD (On Screen Display) operation interface of the digital television. Users not only ask for high precision of the sensor reception of signal from the remote control, but users have more and more demand enticing qualities of menus displayed on the television screen. This thesis will first introduce IR's different encoding and decoding methods, give a brief introduction of the circuit for receiving IR signals, and then display the wave patterns used by the remote control designed, as well giving an analyses and appraisal of these wave patterns, make preparation for appraisal of the coding source of the OSD operating interface. And then the thesis introduces the functions of different path ways that can be supported by the integrated circuits of the NOVETIC series used in the present design, and briefly introduces the software platform used by this integrated circuit and its relevant accessory tools. Finally, based on the pre-existing hardware platform, I have designed a comprehensive OSD system with a unique style, as well as a remote control operation system that befits the modern day high definition digital television.","PeriodicalId":131008,"journal":{"name":"2011 First ACIS International Symposium on Software and Network Engineering","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125946107","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 Enhanced Fall Detection Approach Based on Cost Sensitivity Analysis 一种基于成本敏感性分析的增强跌倒检测方法
Pub Date : 2011-12-19 DOI: 10.1109/SSNE.2011.30
S. Huang, Yujiu Yang, Wenhuang Liu
Falling may cause serious injury, especially for the elderly, it had been proven that fall detection system using wearable devices based on tri-axial accelerator is effective and feasible. Most of the time, fall do not lead damage immediately, but the psychological burden after fall and other environment factors, could bring on serious damage when the elderly cannot get timely help. To deal with these problems, we propose an enhanced approach for fall detection based on the time series data generated by the tri-axial accelerator. Two approaches of cost sensitivity analysis are presented, including minimal risk Bayes and Neyman-Pearson method, both of them lead to a significant sensitivity enhancement. In other words, the proposed strategies mean a significant reduce in collectivity decision making risk stage, and the true non-fall activities recognition rate will be improved by via validation after classification.
跌倒可能会造成严重的伤害,特别是对于老年人来说,已经证明基于三轴加速器的可穿戴设备的跌倒检测系统是有效可行的。大多数情况下,跌倒并不会立即导致损伤,但跌倒后的心理负担和其他环境因素,在老年人得不到及时帮助时,可能会带来严重的损伤。为了解决这些问题,我们提出了一种基于三轴加速器产生的时间序列数据的增强跌倒检测方法。提出了两种成本敏感性分析方法,即最小风险贝叶斯法和内曼-皮尔逊法,它们都能显著提高成本敏感性。也就是说,所提出的策略显著降低了集体决策阶段的风险,并通过分类后的验证提高了真实非跌倒活动的识别率。
{"title":"An Enhanced Fall Detection Approach Based on Cost Sensitivity Analysis","authors":"S. Huang, Yujiu Yang, Wenhuang Liu","doi":"10.1109/SSNE.2011.30","DOIUrl":"https://doi.org/10.1109/SSNE.2011.30","url":null,"abstract":"Falling may cause serious injury, especially for the elderly, it had been proven that fall detection system using wearable devices based on tri-axial accelerator is effective and feasible. Most of the time, fall do not lead damage immediately, but the psychological burden after fall and other environment factors, could bring on serious damage when the elderly cannot get timely help. To deal with these problems, we propose an enhanced approach for fall detection based on the time series data generated by the tri-axial accelerator. Two approaches of cost sensitivity analysis are presented, including minimal risk Bayes and Neyman-Pearson method, both of them lead to a significant sensitivity enhancement. In other words, the proposed strategies mean a significant reduce in collectivity decision making risk stage, and the true non-fall activities recognition rate will be improved by via validation after classification.","PeriodicalId":131008,"journal":{"name":"2011 First ACIS International Symposium on Software and Network Engineering","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128321695","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}
引用次数: 11
Designing Phantoms for Industrial Computed Tomography 工业计算机断层扫描的幻影设计
Pub Date : 2011-12-19 DOI: 10.1109/SSNE.2011.25
In-Sung Cho, S. Yoo, C. Lim, Jeong-Ho Hwang, Jin-Seok Yang, Kyoonyun Kim
The increasing use of computed tomography (CT) as a diagnostic tool creates the need for an efficient means of evaluating the performance of the CT systems now in use. Usually the metal products have the defects during manufacturing and are inevitable. In the NDT system, ability for evaluate the casting defects such as cracks and pores is also very important. In the present study, several phantoms were made for evaluating CT system and defect analysis tools. The phantoms were CT scanned, and the result of CT scan was discussed. For the accuracy matters, measurements were made and compared with real objects. It is expected that phantoms used in the present study help to validate defect detection softwares.
越来越多地使用计算机断层扫描(CT)作为诊断工具,需要一种有效的方法来评估目前使用的CT系统的性能。金属制品在制造过程中往往存在缺陷,这是不可避免的。在无损检测系统中,对裂纹、气孔等铸件缺陷的检测能力也是非常重要的。在本研究中,我们制作了几个模型来评估CT系统和缺陷分析工具。对其进行了CT扫描,并对扫描结果进行了讨论。为了保证精度,我们进行了测量,并与真实物体进行了比较。期望在本研究中使用的幻影有助于验证缺陷检测软件。
{"title":"Designing Phantoms for Industrial Computed Tomography","authors":"In-Sung Cho, S. Yoo, C. Lim, Jeong-Ho Hwang, Jin-Seok Yang, Kyoonyun Kim","doi":"10.1109/SSNE.2011.25","DOIUrl":"https://doi.org/10.1109/SSNE.2011.25","url":null,"abstract":"The increasing use of computed tomography (CT) as a diagnostic tool creates the need for an efficient means of evaluating the performance of the CT systems now in use. Usually the metal products have the defects during manufacturing and are inevitable. In the NDT system, ability for evaluate the casting defects such as cracks and pores is also very important. In the present study, several phantoms were made for evaluating CT system and defect analysis tools. The phantoms were CT scanned, and the result of CT scan was discussed. For the accuracy matters, measurements were made and compared with real objects. It is expected that phantoms used in the present study help to validate defect detection softwares.","PeriodicalId":131008,"journal":{"name":"2011 First ACIS International Symposium on Software and Network Engineering","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124033754","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
Semantics Computation: Towards Identifying Answers from Problem Expressions 语义计算:从问题表达式中识别答案
Pub Date : 2011-12-19 DOI: 10.1109/SSNE.2011.10
Yucong Duan
Multiple semantics may be bundled with a concept(CPT) or an expression composed of concepts. We extend an investigation on fundamental semantics from concepts of type (TYPE) and instance (INS) to reveal relationships of expressions and semantics on problem expressions vs. answers. Core semantics of unlimited and completeness are identified as classification characteristics for clarifying and formalizing semantics of expressions towards bridging the understanding of the integration of semantics of problem expressions and answers. An approach of semantic computation which distinguishes from current conceptual modeling and problem solving is proposed with demonstrative cases. The framework of the approach is presented from core concepts, knowledge management and problem solving perspectives.
多个语义可以与一个概念(CPT)或由概念组成的表达式捆绑在一起。我们从类型(type)和实例(INS)的概念扩展了对基本语义的研究,揭示了问题表达与答案上的表达式和语义的关系。核心语义的无限性和完备性被认为是表达语义清晰化和形式化的分类特征,有助于理解问题表达和答案语义的整合。提出了一种区别于现有概念建模和问题求解的语义计算方法。该方法的框架从核心概念、知识管理和问题解决的角度提出。
{"title":"Semantics Computation: Towards Identifying Answers from Problem Expressions","authors":"Yucong Duan","doi":"10.1109/SSNE.2011.10","DOIUrl":"https://doi.org/10.1109/SSNE.2011.10","url":null,"abstract":"Multiple semantics may be bundled with a concept(CPT) or an expression composed of concepts. We extend an investigation on fundamental semantics from concepts of type (TYPE) and instance (INS) to reveal relationships of expressions and semantics on problem expressions vs. answers. Core semantics of unlimited and completeness are identified as classification characteristics for clarifying and formalizing semantics of expressions towards bridging the understanding of the integration of semantics of problem expressions and answers. An approach of semantic computation which distinguishes from current conceptual modeling and problem solving is proposed with demonstrative cases. The framework of the approach is presented from core concepts, knowledge management and problem solving perspectives.","PeriodicalId":131008,"journal":{"name":"2011 First ACIS International Symposium on Software and Network Engineering","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125083298","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}
引用次数: 11
Finding Problem by Information Diagram 通过信息图发现问题
Pub Date : 2011-12-19 DOI: 10.1109/SSNE.2011.13
Eun-Kyeong Kwon, Yong-Gu Cho
There is many need and trial to find problem as one of processes for business and marketing. TRIZ-OTSM insists that a complex problematic situation is not a set composed of individual problems, but a network of problems according to their relationship. To find problem we analyzed two samples in informal and formal domains like Movie and Education. A sequence of finding problem is designing information diagram and applying IFR (Ideal Final Result) and finding problem using available materials. In Movie, IFR was not found and pseudo-problems like questionnaires were caught. In Education, IFR and problems were extracted roughly through information diagram. If TRIZ process will be adapted as for next steps, to find contradictions and solve the contradictions will go on. If other ways will be used to solve the problems, corresponding procedures will be done. In this paper, finding problem by various ways was experimented and the relation between information diagram and problems is meaningful.
作为商业和市场营销的一个过程,有许多需要和尝试去发现问题。trz - otsm坚持认为,一个复杂的问题情况不是由单个问题组成的集合,而是根据它们之间的关系而形成的问题网络。为了找到问题,我们分析了两个非正式和正式领域的样本,如电影和教育。寻找问题的顺序是设计信息图并应用IFR(理想最终结果)和利用现有资料寻找问题。在Movie中,没有发现IFR,发现了问卷等伪问题。在教育中,通过信息图大致提取IFR和问题。如果TRIZ流程将适应为下一步,发现矛盾和解决矛盾将继续下去。如需采用其他方法解决问题,需办理相应手续。本文尝试了多种方法寻找问题,信息图与问题之间的关系是有意义的。
{"title":"Finding Problem by Information Diagram","authors":"Eun-Kyeong Kwon, Yong-Gu Cho","doi":"10.1109/SSNE.2011.13","DOIUrl":"https://doi.org/10.1109/SSNE.2011.13","url":null,"abstract":"There is many need and trial to find problem as one of processes for business and marketing. TRIZ-OTSM insists that a complex problematic situation is not a set composed of individual problems, but a network of problems according to their relationship. To find problem we analyzed two samples in informal and formal domains like Movie and Education. A sequence of finding problem is designing information diagram and applying IFR (Ideal Final Result) and finding problem using available materials. In Movie, IFR was not found and pseudo-problems like questionnaires were caught. In Education, IFR and problems were extracted roughly through information diagram. If TRIZ process will be adapted as for next steps, to find contradictions and solve the contradictions will go on. If other ways will be used to solve the problems, corresponding procedures will be done. In this paper, finding problem by various ways was experimented and the relation between information diagram and problems is meaningful.","PeriodicalId":131008,"journal":{"name":"2011 First ACIS International Symposium on Software and Network Engineering","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124326885","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 Test Automation Framework for Testing on Heterogeneous Mobile Platforms 面向异构移动平台的集成测试自动化框架
Pub Date : 2011-12-19 DOI: 10.1109/SSNE.2011.15
Hyungkeun Song, Seokmoon Ryoo, Jin Hyung Kim
Implementation of mobile application should be tested on the mobile platform. Since there are several mobile platforms compete in the marketplace, a lot of effort is needed to test the implementations on every platform. This research aims to develop an integrated test automation framework by which implementations on multiple heterogeneous platforms can be tested efficiently. Commonly used events in the mobile platforms are extracted and mapped into the functions of each testing framework. We extended open source test frameworks to handle the common events. By doing so, test can be performed by describing test cases in a high level without generating test code manually. The proposed integrated framework was evaluated with the implementation of several mobile applications on the Android and iPhone platforms and found that the framework is effective and valid.
移动应用程序的实现需要在移动平台上进行测试。由于市场上存在多个移动平台的竞争,因此需要在每个平台上测试执行情况。本研究旨在开发一个集成的测试自动化框架,通过该框架可以有效地测试多个异构平台上的实现。提取移动平台中常用的事件,并将其映射到每个测试框架的功能中。我们扩展了开源测试框架来处理常见事件。通过这样做,可以通过在高层次上描述测试用例来执行测试,而无需手动生成测试代码。通过在Android和iPhone平台上的几个移动应用程序的实现对所提出的集成框架进行了评估,发现该框架是有效和有效的。
{"title":"An Integrated Test Automation Framework for Testing on Heterogeneous Mobile Platforms","authors":"Hyungkeun Song, Seokmoon Ryoo, Jin Hyung Kim","doi":"10.1109/SSNE.2011.15","DOIUrl":"https://doi.org/10.1109/SSNE.2011.15","url":null,"abstract":"Implementation of mobile application should be tested on the mobile platform. Since there are several mobile platforms compete in the marketplace, a lot of effort is needed to test the implementations on every platform. This research aims to develop an integrated test automation framework by which implementations on multiple heterogeneous platforms can be tested efficiently. Commonly used events in the mobile platforms are extracted and mapped into the functions of each testing framework. We extended open source test frameworks to handle the common events. By doing so, test can be performed by describing test cases in a high level without generating test code manually. The proposed integrated framework was evaluated with the implementation of several mobile applications on the Android and iPhone platforms and found that the framework is effective and valid.","PeriodicalId":131008,"journal":{"name":"2011 First ACIS International Symposium on Software and Network Engineering","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131823070","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}
引用次数: 24
Formalizing the Structure and Behaviour of Context-Aware Systems in Bigraphs 形式化图形中上下文感知系统的结构和行为
Pub Date : 2011-12-19 DOI: 10.1109/SSNE.2011.17
Jushu Wang, Dong Xu, Zhou Lei
Context-aware Computing has been one of the important aspects of Ubiquitous Computing, Cloud Computing, Cyber-physical Systems, etc., recently. To date, very few works can be found on formal approaches for this area. Bigraph and its related theories are introduced to formalize the modeling of context-aware systems in this paper. We use bigraphs to model the structure of context-aware system, whereas the corresponding behavior of context-aware system is modeled using bigraphical reactive system. Here we make a mapping from the elements of context-awareness to the components of bigraph. Consequently, we present an approach to translating scenarios in real life into bigraphical models. Furthermore, the formalisms are explicitly illustrated through some simple but non-trivial examples.
近年来,上下文感知计算已成为普适计算、云计算、网络物理系统等领域的重要研究方向之一。迄今为止,很少有作品可以找到这一领域的正式方法。本文引入了biggraph及其相关理论,将上下文感知系统的建模形式化。我们使用图形来建模上下文感知系统的结构,而使用图形反应系统来建模上下文感知系统的相应行为。这里,我们将上下文感知的元素映射到bigraph的组件。因此,我们提出了一种将现实生活中的场景转换为图形模型的方法。此外,通过一些简单但不平凡的例子明确地说明了形式主义。
{"title":"Formalizing the Structure and Behaviour of Context-Aware Systems in Bigraphs","authors":"Jushu Wang, Dong Xu, Zhou Lei","doi":"10.1109/SSNE.2011.17","DOIUrl":"https://doi.org/10.1109/SSNE.2011.17","url":null,"abstract":"Context-aware Computing has been one of the important aspects of Ubiquitous Computing, Cloud Computing, Cyber-physical Systems, etc., recently. To date, very few works can be found on formal approaches for this area. Bigraph and its related theories are introduced to formalize the modeling of context-aware systems in this paper. We use bigraphs to model the structure of context-aware system, whereas the corresponding behavior of context-aware system is modeled using bigraphical reactive system. Here we make a mapping from the elements of context-awareness to the components of bigraph. Consequently, we present an approach to translating scenarios in real life into bigraphical models. Furthermore, the formalisms are explicitly illustrated through some simple but non-trivial examples.","PeriodicalId":131008,"journal":{"name":"2011 First ACIS International Symposium on Software and Network Engineering","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125233687","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}
引用次数: 15
Analyzing Tourism Information on Twitter for a Local City 分析当地城市Twitter上的旅游信息
Pub Date : 2011-12-19 DOI: 10.1109/SSNE.2011.27
Kazutaka Shimada, Shunsuke Inoue, H. Maeda, Tsutomu Endo
Tourism for a local city is one of the most important key industries. The Web contains much information for the tourism, such as impressions and sentiments about sightseeing areas. Analyzing the information is a significant task for tourism informatics. In this paper, we propose a tourism information analysis system for a local city. The target resource for the analysis is information on Twitter. First, we discuss a method to extract tweets (posted sentences) relating to the target locations and tourism events. Then, we analyze the polarity of the extracted tweets; positive or negative opinions. It is well-known as a P/N classification task in natural language processing. For the process, we employ an unsupervised machine learning approach that uses seed words. We evaluate and consider the extraction and P/N classification tasks. The experimental result about P/N classification shows the effectiveness of our method.
旅游业是一个地方城市最重要的关键产业之一。网上有很多旅游信息,比如对观光地区的印象和感想。旅游信息分析是旅游信息学的一项重要任务。本文提出了一个地方城市旅游信息分析系统。分析的目标资源是Twitter上的信息。首先,我们讨论了一种提取与目标地点和旅游事件相关的tweet(发布的句子)的方法。然后,我们分析提取的推文的极性;积极或消极的意见。它被称为自然语言处理中的P/N分类任务。在这个过程中,我们采用了一种使用种子词的无监督机器学习方法。我们评估并考虑了提取和P/N分类任务。P/N分类的实验结果表明了该方法的有效性。
{"title":"Analyzing Tourism Information on Twitter for a Local City","authors":"Kazutaka Shimada, Shunsuke Inoue, H. Maeda, Tsutomu Endo","doi":"10.1109/SSNE.2011.27","DOIUrl":"https://doi.org/10.1109/SSNE.2011.27","url":null,"abstract":"Tourism for a local city is one of the most important key industries. The Web contains much information for the tourism, such as impressions and sentiments about sightseeing areas. Analyzing the information is a significant task for tourism informatics. In this paper, we propose a tourism information analysis system for a local city. The target resource for the analysis is information on Twitter. First, we discuss a method to extract tweets (posted sentences) relating to the target locations and tourism events. Then, we analyze the polarity of the extracted tweets; positive or negative opinions. It is well-known as a P/N classification task in natural language processing. For the process, we employ an unsupervised machine learning approach that uses seed words. We evaluate and consider the extraction and P/N classification tasks. The experimental result about P/N classification shows the effectiveness of our method.","PeriodicalId":131008,"journal":{"name":"2011 First ACIS International Symposium on Software and Network Engineering","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133917307","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}
引用次数: 35
Quantum of Mind: Fundamental Forces of the Universe in Natural Language Semantics 量子思维:自然语言语义中宇宙的基本力量
Pub Date : 2011-12-19 DOI: 10.1109/SSNE.2011.16
Svetlana Machova, J. Klecková
Empirical findings about the phenomenology of mind gained from Free Associative Experiment, has opened a new dimension of Artificial intelligence and quantum linguistics research, allowing us to create a link between a collective unconscious level and a conscious Mind. Our research methodology included constructing a database of metaphorical stimuli, randomly presenting these to participants, and tabulating FAE responses both by the participant and by the stimulus, analyzed by frequency of semantic type. The project aimed to produce a new model of knowledge representation. A latent semantics network presented here gave us a unique opportunity to discover the probabilistic nature of mind revealing itself in all languages as entangled quantum particles. Free Association Experiment (FAE) based on cognitive metaphor stimuli. It is the first NLP tool of its kind, providing a fundamentally new source of empirical data examining hidden dimension of the human mind.
从自由联想实验中获得的关于心灵现象学的实证发现,为人工智能和量子语言学研究开辟了一个新的维度,使我们能够在集体无意识层面和有意识的心灵之间建立联系。我们的研究方法包括构建隐喻刺激数据库,随机呈现给被试,并将被试和被试的FAE反应制成表格,通过语义类型的频率进行分析。该项目旨在产生一种新的知识表示模型。这里提出的潜在语义网络为我们提供了一个独特的机会来发现思维的概率本质,它以纠缠量子粒子的形式在所有语言中显示出来。基于认知隐喻刺激的自由联想实验。它是同类NLP工具中的第一个,提供了一个全新的经验数据来源,用于研究人类思维的隐藏维度。
{"title":"Quantum of Mind: Fundamental Forces of the Universe in Natural Language Semantics","authors":"Svetlana Machova, J. Klecková","doi":"10.1109/SSNE.2011.16","DOIUrl":"https://doi.org/10.1109/SSNE.2011.16","url":null,"abstract":"Empirical findings about the phenomenology of mind gained from Free Associative Experiment, has opened a new dimension of Artificial intelligence and quantum linguistics research, allowing us to create a link between a collective unconscious level and a conscious Mind. Our research methodology included constructing a database of metaphorical stimuli, randomly presenting these to participants, and tabulating FAE responses both by the participant and by the stimulus, analyzed by frequency of semantic type. The project aimed to produce a new model of knowledge representation. A latent semantics network presented here gave us a unique opportunity to discover the probabilistic nature of mind revealing itself in all languages as entangled quantum particles. Free Association Experiment (FAE) based on cognitive metaphor stimuli. It is the first NLP tool of its kind, providing a fundamentally new source of empirical data examining hidden dimension of the human mind.","PeriodicalId":131008,"journal":{"name":"2011 First ACIS International Symposium on Software and Network Engineering","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124723508","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
期刊
2011 First ACIS International Symposium on Software and Network Engineering
全部 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