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

18th European Conference on Information Systems, ECIS 2010

作者： Poon, Simon K. Poon, Josiah Peters, Georg Gupta, Naresh Land, Lesley School of Information Technologies University of Sydney 1 Cleveland Street NSW 2006 Australia Department of Computer Science and Mathematics Munich University of Applied Sciences Lothstrasse 64 80335 München Germany School of Electrical and Information Engineering University of Sydney 1 Cleveland Street NSW 2006 Australia School of Information Systems Technology and Management University of New South Wales NSW 2052 Australia

ISBN: (纸本)9780620471725

The complex relationships between organizational practices have been the focus of information technology business value (ITBV) research in recent years. There appears to be a discernible trend toward a more nuanced view in which the effects of information technology (IT), various organizational practices and their relationships are systematically investigated. There is also emerging evidence of recent focus in organizational factors and an increasing shift towards "complementarities" in which organizational performance is linked to combining organizational practices in synergistic ways. The objective of this paper is to investigate important issues in ITBV research by examining complementarities of various resources within an organization. The goal of this paper is to establish a framework for analyzing different configurations of complementarities. The Configuration and Interestingness framework (CIF) proposed in this paper provides evidence on how important the understanding of those complex relationship structures amongst organizational practices is to maximizing business value. This framework serves as a preliminary attempt to reveal different possible classes of complementarities structures.

关键词： Information systems

来源：评论

学校读者我要写书评

暂无评论

Test generation via Dynamic Symbolic Execution for mutation testing

Test generation via Dynamic Symbolic Execution for mutation ...

引用

International Conference on Software Maintenance (ICSM)

作者： Lingming Zhang Tao Xie Lu Zhang Nikolai Tillmann Jonathan de Halleux Hong Mei Key Laboratory of High Confidence Software Technologies Ministry of Education Institute of Software Peking University Beijing China Department of Computer Science North Carolina State University Raleigh NC USA Redmond WA USA

Mutation testing has been used to assess and improve the quality of test inputs. Generating test inputs to achieve high mutant-killing ratios is important in mutation testing. However, existing test-generation techniques do not provide effective support for killing mutants in mutation testing. In this paper, we propose a general test-generation approach, called PexMutator, for mutation testing using Dynamic Symbolic Execution (DSE), a recent effective test-generation technique. Based on a set of transformation rules, PexMutator transforms a program under test to an instrumented meta-program that contains mutant-killing constraints. Then PexMutator uses DSE to generate test inputs for the meta-program. The mutant-killing constraints introduced via instrumentation guide DSE to generate test inputs to kill mutants automatically. We have implemented our approach as an extension for Pex, an automatic structural testing tool developed at Microsoft Research. Our preliminary experimental study shows that our approach is able to strongly kill more than 80% of all the mutants for the five studied subjects. In addition, PexMutator is able to outperform Pex, a state-of-the-art test-generation tool, in terms of strong mutant killing while achieving the same block coverage.

关键词： Testing Engines Instruments Wrapping Syntactics Connectors Software

来源：评论

学校读者我要写书评

暂无评论

Mining API mapping for language migration

Mining API mapping for language migration

引用

International Conference on Software Engineering (ICSE)

作者： Hao Zhong Suresh Thummalapenta Tao Xie Lu Zhang Qing Wang Key Laboratory of High Confidence Software Technologies Ministry of Education Peking University China Laboratory for Internet Software Technologies Institute of Software Chinese Academy of Sciences (CAS) Beijing China Department of Computer Science North Carolina State University Raleigh NC USA

To address business requirements and to survive in competing markets, companies or open source organizations often have to release different versions of their projects in different languages. Manually migrating projects from one language to another (such as from Java to C#) is a tedious and error-prone task. To reduce manual effort or human errors, tools can be developed for automatic migration of projects from one language to another. However, these tools require the knowledge of how Application Programming Interfaces (APIs) of one language are mapped to APIs of the other language, referred to as API mapping relations. In this paper, we propose a novel approach, called MAM (Mining API Mapping), that mines API mapping relations from one language to another using API client code. MAM accepts a set of projects each with two versions in two languages and mines API mapping relations between those two languages based on how APIs are used by the two versions. These mined API mapping relations assist in migration of projects from one language to another. We implemented a tool and conducted two evaluations to show the effectiveness of MAM. The results show that our tool mines 25,805 unique mapping relations of APIs between Java and C# with more than 80% accuracy. The results also show that mined API mapping relations help reduce 54.4% compilation errors and 43.0% defects during migration of projects with an existing migration tool, called Java2CSharp. The reduction in compilation errors and defects is due to our new mined mapping relations that are not available with the existing migration tool.

关键词： Java Receivers Libraries Data mining Software Accuracy educational institutions

来源：评论

学校读者我要写书评

暂无评论

Applying half-circle fuzzy numbers to control system: A preliminary study on development of intelligent system on marine environment and engineering

引用

World Academy of science, Engineering and Technology 2010年 72卷 71-75页

作者： Chen, Chen-Yuan Lee, Wan-I Sui, Yi-Chaio Chen, Cheng-Wu Department of Computer Science National Pingtung University of Education Pingtung 90003 Taiwan Department of Marketing and Distribution Management National Kaohsiung First University of Science and Technology Kaohsiung 811 Taiwan Institute of Business Administration National Kaohsiung First University of Science and Technology Kaohsiung 811 Taiwan Institute of Maritime Information and Technology National Kaohsiung Marine University Taiwan

This study focuses on the development of triangular fuzzy numbers, the revising of triangular fuzzy numbers, and the constructing of a HCFN (half-circle fuzzy number) model which can be utilized to perform more plural operations. They are further transformed for trigonometric functions and polar coordinates. From half-circle fuzzy numbers we can conceive cylindrical fuzzy numbers, which work better in algebraic operations. An example of fuzzy control is given in a simulation to show the applicability of the proposed half-circle fuzzy numbers.

关键词： Lyapunov methods

来源：评论

学校读者我要写书评

暂无评论

Apply the ant feature of sensation to calculate the minimum value of function

Apply the ant feature of sensation to calculate the minimum ...

引用

International Conference on Genetic and Evolutionary Computing

作者： Pang, Chao-Yang Zhang, Yan Yang, Qiong Hu, Ben-Qiong Group of Gene Computation Key Lab. of Visual Computation and Virtual Reality of Sichuan Province Chengdu 610066 China College of Mathematics and Software Science Sichuan Normal University Chengdu 610066 China College of Computer and Software Shenzhen University Shenzhen Shenzheng 518060 China Information and E-Education Department Sichuan Tourism School Chengdu 610041 China College of Information Management Chengdu University of Technology Chengdu 610059 China

ISBN: (纸本)9780769542812

Calculating the minimum (or maximum) value of functions is an important problem in optimization field. Applying the method of ant colony optimization (ACO) to solve the problem is an interesting research topic currently, and the main disadvantage is that solution is local optimal. To evade this disadvantage in some degree, in this paper, the ant feature of sensation is used. Experiment shows that the method presented in this paper generates high quality of solution. © 2010 IEEE.

关键词： Ant colony optimization

来源：评论

学校读者我要写书评

暂无评论

Sonar-based obstacle avoidance using a path correction method for autonomous control of a biped robot for the Learning Stratification and Performance

Sonar-based obstacle avoidance using a path correction metho...

引用

IEEE International Conference on Industrial Engineering and Engineering management, IEEM2010

作者： Tsai, Cheng-Hsuan Huang, Po-Hsuan Chou, Wei-Chung Shih, Chia-Hung Chen, Chen-Yuan Shih, Bih-Yaw Chang, Chin-Jui Chen, Cheng-Wu Chen, Tsung-Hao Lee, Wan-I. Chung, Pei-Yin Department of Computer Science National Pingtung University of Education No. 4-18 Ming Shen Rd. Pingtung 90003 Taiwan Doctoral Program in Management National Kaohsiung First University of Science and Technology Kaohsiung Taiwan Department of Information Management Transworld University No. 1221 Jen-Nang Road Chia-Tong Li Douliou Yunlin 64063 Taiwan Institute of Maritime Information and Technology National Kaohsiung Marine University No.142 Haijhuan Rd. Nanzih District Kaohsiung City 81143 Taiwan Departments of Business Administration Shu-Te University Yen Chau Kaohsiung 82445 Taiwan Marketing and Distribution Management National Kaohsiung First University of Science and Technology 2 Jhuoyue Rd. Nanzih Kaohsiung 811 Taiwan Department of Information Management Meiho University 23 Pingguang Rd. Neipu Pingtung Taiwan

ISBN: (纸本)9781424485031

In this paper, a simple path correction and obstacle avoidance method with a bipedal robot for the learning stratification and performance, using an ultrasonic sensor and electronic compass sensor, is proposed. This bipedal robot was comprised using the Lego NXT Intelligent Bricks. The proposed method is implemented on an autonomous humanoid robot (the ARSR). One ultrasonic sensor and one electronic compass sensor are installed on the ARSR to detect environmental information including obstacles, the distance to the obstacle, and the directional angle of the robot. Based on the obtained information, an obstacle avoidance and path correct method is proposed to decide the ARSR's behavior so that it can avoid obstacles and move effectively to the destination area. Obstacle avoidance experiments are carried out to confirm the effectiveness of the proposed method and confirm the learning stratification and performance. ©2010 IEEE.

关键词： Ultrasonic sensors

来源：评论

学校读者我要写书评

暂无评论

Classification of Consumer Behavior Using Functional Link Artificial Neural Network

Classification of Consumer Behavior Using Functional Link Ar...

引用

International Conference on Advances in computer Engineering (ACE)

作者： Ritanjali Majhi Bijayalaxmi Panda Sunayana Pandu Babita Majhi Ganapati Panda School of Management National Institute of Technology Warangal India Department of Computer Science & Engineering Institute of Technical Education and Research Bhubaneswar India Department of Electronics and Communication Engineering National Institute of Technology Rourkela India Department of Information Technology Institute of Technical Education and Research Bhubaneswar India School of Electrical Sciences Indian Institute of Technology Bhubaneswar India

ISBN: (纸本)9781424471546;9780769540580

The rapid development of internet usage has paved the way towards the use of online shopping. In this paper an investigation has been made on the behavior of Indian consumers towards online shopping using Functional link artificial neural network (FLANN) and the result is compared with that obtained from the conventional statistical based approach, discriminant analysis. The simulation study reveals that the FLANN based model provides improved classification of consumers compared to the conventional statistical based approach.

关键词： Consumer behavior Artificial neural networks educational technology Demography Internet computer networks computer science computer science education Technology management Consumer electronics

来源：评论

学校读者我要写书评

暂无评论

Dynamics simulation approach in analyzing pension expenditure

引用

World Academy of science, Engineering and Technology 2010年 46卷 814-820页

作者： Sapiri, Hasimah Kamil, Anton Abdulbasah Tahar, Razman Mat Tumin, Hanafi College of Art and Sciences Universiti Utara Malaysia 06010 Sintok Kedah Malaysia School of Distance Education Universiti Sains Malaysia 11800 Pulau Pinang Malaysia Department of Mathematics School of Distance Education Universiti Sains Malaysia 11800 Pulau Pinang Malaysia Department of Technology Management Faculty of Manufacturing Engineering and Technology Management Universiti Malaysia Pahang 23000 Kuantan Pahang Malaysia Department of Actuarial Science Faculty of Computer and Mathematical Sciences Universiti Teknologi Mara 40450 Shah Alam Selangor Malaysia

Salary risk and demographic risk have been identified as main risks in analyzing pension expenditure particularly in Defined Benefit pension plan. Therefore, public pension plan in Malaysia is studied to analyze pension expenditure due to salary and demographic risk. Through the literature review and interview session with several officers in public sector, factors affecting pension expenditure are determined. Then, the inter-relationships between these factors are analyzed through causal loop diagram. The System Dynamics model is later developed using iThink software to show how demographic and salary changes affect the pension expenditure. Then, by using actual data, the impact of different policy scenarios on pension expenditure is analyzed. It is shown that dynamics simulation model of pension expenditure is useful to evaluate the impact of changes and policy decisions on risk particularly involving demographic and salary risk.

关键词： Public policy

来源：评论

学校读者我要写书评

暂无评论

A preliminary study on design and development of template-based for license plate recognition system applying artificial coordinates auxiliary techniques

A preliminary study on design and development of template-ba...

引用

IEEE International Conference on Industrial Engineering and Engineering management

作者： Bih-Yaw Shih Chen-Yuan Chen Jin-Wei Kuo Po-Wei Chen Tsung-Hao Chen Cheng-Wu Chen Pei-Yin Chung Wan-I Lee Department of Computer Science National Ping Tung University of Education Ping Tung Taiwan Doctoral Program in Management National Kaohsiung First University of Science and Technology Kaohsiung Taiwan Departments of Business Administration Shu Te University Kaohsiung Taiwan Institute of Maritime Information and Technology National Kaohsiung Marine University Taiwan Department of Information Management Meiho University Ping Tung Taiwan Marketing and Distribution Management National Kaohsiung First University of Science and Technology Kaohsiung Taiwan

With the rapid improvement of technology and economy, the percentage of transportation, like automobile, gradually increases. However, the number of cars increases, the methods of management stretches lots of problems, such as parking, traffic and thievery. Hence, Intelligent Transportation System (ITS) have been emphasized step by step and set up one after another around the world. In addition, ITS also established in Taiwan on July 20, 1998.

关键词： Licenses Image color analysis Image recognition Color Vehicles computer science

来源：评论

学校读者我要写书评

暂无评论

Delay-dependent Stability Analysis and Stabilization of Discrete-time Singular Delay Systems

引用

自动化学报 2010年第10期36卷 1477-1483页

作者： SUN Xin ZHANG Qing-Ling YANG Chun-Yu SHAO Yong-Yun SU Zhan Institute of Systems Science Northeastern University Shenyang 110004 P. R. China Key Laboratory of Integrated Automation of Process Industry Ministry of Education Northeastern University Shenyang 110004 P. R. China Department of Computer and Mathematics Teaching Shenyang Normal University Shenyang 110034 P. R. China Transportation Management College Dalian Maritime University Dalian 116026 P. R. China

In this paper, delay-dependent stability analysis and stabilization of discrete-time singular delay systems are addressed, respectively. First, a new delay-dependent sufficient condition of admissibility for discrete-time singular delay systems is derived. The proposed method is proved to have some advantages over the existing results. Then, by applying the skill of matrix theory, a state feedback controller is designed to guarantee the closed-loop discrete-time singular delay systems to be admissible. Finally, two numerical examples are given to demonstrate the effectiveness of the proposed method

关键词：自动化系统稳定性方法实验

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：