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

Proceedings of the 2015 IEEE International Conference on Data Science and Advanced Analytics (IEEE DSAA 2015)

作者： Boyer, Sebastien Gelman, Ben U. Schreck, Benjamin Veeramachaneni, Kalyan MIT Comp Sci & Artificial Intelligence Lab 77 Massachusetts Ave Cambridge MA 02139 USA

ISBN: (纸本)9781467382731

In this paper, we present the concept of data science foundry for data from Massive Open Online Courses. In the foundry we present a series of software modules that transform the data into different representations. Ultimately, each online learner is represented using a set of variables that capture his/her online behavior. These variables are captured longitudinally over an interval. Using this representation we then build a predictive analytics stack that is able to predict online learners behavior as the course progresses in real time. To demonstrate the efficacy of the foundry, we attempt to solve an important prediction problem for Massive Open Online Courses (MOOCs): who is likely to stopout? Across a multitude of courses, with our complex per-student behavioral variables, we achieve a predictive accuracy of 0.7 AUCROC and higher for a one-week-ahead prediction problem. For a two-to-three-weeks-ahead prediction problem, we are able to achieve 0.6 AUCROC. We validate, via transfer learning, that these predictive models can be used in real time. We also demonstrate that we can protect the models using privacy-preserving mechanisms without losing any predictive accuracy.

关键词： Adaptation models Analytical models Foundries Predictive models software Trajectory Videos Foundries Prediction models Videotapes ANALYSIS MODELS Online Courses trajectory computer software Adaptation models software module

来源：评论

学校读者我要写书评

暂无评论

A Hybrid Scheme Based on Pipelining and Multitasking in Mobile Application Processors for Advanced Video Coding

引用

SCIENTIFIC PROGRAMMING 2015年第1期2015卷 197843.1-197843.1页

作者： Asif, Muhammad Taj, Imtiaz A. Ziauddin, S. M. Bin Ahmad, Maaz Tahir, M. Mohammad Ali Jinnah Univ Islamabad Pakistan Streaming Networks Pvt Ltd Islamabad Pakistan Mohammad Ali Jinnah Univ Karachi Pakistan

One of the key requirements for mobile devices is to provide high-performance computing at lower power consumption. The processors used in these devices provide specific hardware resources to handle computationally intensive video processing and interactive graphical applications. Moreover, processors designed for low-power applications may introduce limitations on the availability and usage of resources, which present additional challenges to the system designers. Owing to the specific design of the JZ47x series of mobile application processors, a hybrid software-hardware implementation scheme for H.264/AVC encoder is proposed in this work. The proposed scheme distributes the encoding tasks among hardware and software modules. A series of optimization techniques are developed to speed up the memory access and data transferring among memories. Moreover, an efficient data reusage design is proposed for the deblock filter video processing unit to reduce the memory accesses. Furthermore, fine grained macroblock (MB) level parallelism is effectively exploited and a pipelined approach is proposed for efficient utilization of hardware processing cores. Finally, based on parallelism in the proposed design, encoding tasks are distributed between two processing cores. Experiments show that the hybrid encoder is 12 times faster than a highly optimized sequential encoder due to proposed techniques.

关键词： High Performance Computing ENCODER parallelism PROCESSOR software module hardware resource LOW POWER Pipeline processing Computer personnel Mobile devices PARALLEL PROCESSING (COMPUTERS) Video coding Computer hardware Mobile Applications

来源：评论

学校读者我要写书评

暂无评论

Formal Verification of AUTOSAR FlexRay State Manager 9

Formal Verification of AUTOSAR FlexRay State Manager

引用

9th International Design & Test Symposium (IDT)

作者： Bahig, Ghada El-Kadi, Amr Salem, Ashraf Mentor Graph Corp Cairo Egypt Amer Univ Cairo Cairo Egypt

ISBN: (纸本)9781479982004

Automotive software systems have continuously faced challenges in managing complexity associated with functional growth, flexibility of systems so that they can be easily modified, scalability of solutions across several product lines, quality and reliability of systems, and finally the ability to detect errors early in design phases. AUTOSAR was established to develop open standards to address these challenges. Formal method is one way to address the ability to detect errors and ensure compliance to requirements in early design stages. In this paper, AUTOSAR's FlexRay State Manager basic software module is formally represented in finite state machine augmented with complex data types. Specification requirements are mapped into formal model theorems and assertions. SMT solvers are utilized to validate design compliance to specification to show the possibility of detecting errors early in the design phase via mapping AUTOSAR's specification into formal design notation.

关键词： automotive engineering formal specification formal verification road safety safety-critical software AUTOSAR FlexRay state manager SMT solvers automotive open system architecture automotive software systems finite state machine formal design notation satisfiability module theorem software module specification requirements Automotive engineering ISO standards Industries Safety software Unified modeling language

来源：评论

学校读者我要写书评

暂无评论

An Alternative Approach for Developing Socially Assistive Robots 5

An Alternative Approach for Developing Socially Assistive Ro...

引用

5th IEEE RAS/EMBS International Conference on Biomedical Robotics and Biomechatronics (BioRob)

作者： Jayawardena, Chandimal Sarrafzadeh, Abdolhossein Unitec Inst Technol Dept Comp Auckland New Zealand

ISBN: (纸本)9781479931262

This paper presents the design of the socially assistive companion robotic wheelchair named RoboChair. Unlike in most current companion robotics projects, the approach of RoboChair is not to build a completely new robotic device. Instead, the focus of the RoboChair project is to convert an already useful device (i.e. wheelchair) to a socially assistive companion robot. The authors argue that there are number of advantages in this approach. The proposed robotic chair is a mobile robot that can carry a person. It is equipped with several measuring devices for measuring vital signs. The robot chair is capable of engaging users with interactive dialogs through a touch screen and by using human-robot interaction techniques. It has a scalable modular software architecture so that adding new hardware and software modules is straightforward. The software framework is based on Robot Operating System (ROS) open source robotic middleware.

关键词： Generators Graphical user interfaces Mobile robots Navigation Robot kinematics software Mobile robots Robot kinematics graphical user interfaces dynamos navigation computer software software Frameworks Robot Wheelchair software module measuring instruments Companions

来源：评论

学校读者我要写书评

暂无评论

Preliminary Results on Correct-by-Construction Control software Synthesis for Adaptive Cruise Control

Preliminary Results on Correct-by-Construction Control Softw...

引用

IEEE Annual Conference on Decision and Control

作者： Petter Nilsson Omar Hussien Yuxiao Chen Ayca Balkan Matthias Rungger Aaron Ames Jessy Grizzle Necmiye Ozay Huei Peng Paulo Tabuada Dept. of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI Dept. of Electrical Engineering University of California at Los Angeles CA Dept. of Mechanical Engineering University of Michigan Ann Arbor MI Dept. of Mechanical Engineering Texas A&M University College Station TX

ISBN: (纸本)9781467360890

A plethora of driver convenience and safety automation systems are being introduced into production vehicles, such as electronic stability control, adaptive cruise control, lane keeping, and obstacle avoidance. Assuring the seamless and safe integration of each new automation function with existing control functions is a major challenge for vehicle manufacturers. This challenge is compounded by having different suppliers providing software modules for different control functionalities. In this paper, we report on our preliminary steps to address this problem through a fresh perspective combining formal methods, control theory, and correct-by-construction software synthesis. In particular, we begin the process of synthesizing the control software module for adaptive cruise control from formal specifications given in Linear Temporal Logic. In the longer run, we will endow each interacting software module with an assume-guarantee specification stating under which environment assumptions the module is guaranteed to meet its specifications. These assume-guarantee specifications will then be used to formally prove correctness of the cyber-physical system obtained when the integrated modules interact with the physical dynamics.

关键词： Adaptive cruise control software module CRUISE CONTROL Specifications Lane keeping Formal specifications preliminary data Temporal logic Obstacle avoidance accuracy class computer software

来源：评论

学校读者我要写书评

暂无评论

TAXISAT: A driverless GNSS based taxi application capable of operating cost effectively

TAXISAT: A driverless GNSS based taxi application capable of...

引用

26th International Technical Meeting of The Satellite-Division-of-the-Institute-of-Navigation (ION GNSS)

作者： Otaegui, O. Desenfans, O. Barreau, V Plault, L. Lago, A. Vicomtech IK4 Brussels Belgium M3Syst Belgium Brussels Belgium

ISBN: (纸本)9781629935782

Although automatic and driverless vehicles do operate nowadays, most of these systems are currently guided by railwaysor magnetic wires. More recently, a few demonstrations have been undertaken in order to demonstrate the capabilities of satellite based navigation systems to clear the roads from such heavy infrastructures. TAXISAT aims at developing a new driverless GNSS based taxi solution capable to operate cost effectively, safely and with a high reliability within private circumscribed sites whatever their topographic configurations are. The key innovation features of TAXISAT vehicles consists in its navigation system which takes advantage of the EGNOS and GALILEO capabilities themselves augmented through hybridization with COTS inertial sensors, odometers, and SLAM technology TAXISAT therefore aims at demonstrating a low cost, reliable and secure driverless vehicle hybridizing EDAS, GNSS and visual SLAM technologies improving the integrity, reliability and availability of the unmanned driving services even in case of temporary canyoning or tunneling. Additionally TAXISAT is not only a software module capable of handling with different nature of sensors but a low cost commercial solution (sensors + SW + GIS) for being used in any unmanned transportation system.

关键词： UNMANNED Navigation systems software module transport system Global Navigation Satellite System Taxi Public Transportation hybridisation Sensors Road satellites AUTOMATIC Costs

来源：评论

学校读者我要写书评

暂无评论

Practitioner-Oriented Visualization in an Interactive Search-Based software Test Creation Tool 20

Practitioner-Oriented Visualization in an Interactive Search...

引用

20th Asia-Pacific software Engineering Conference (APSEC)

作者： Marculescu, Bogdan Feldt, Robert Torkar, Richard Blekinge Inst Technol Sch Comp Karlskrona Sweden Chalmers Gothenburg Sweden Univ Gothenburg Dept Comp Sci & Engn Gothenburg Sweden

ISBN: (纸本)9781479921430

Search-based software testing uses metaheuristic search techniques to automate or partially automate testing tasks, such as test case generation or test data generation. It uses a fitness function to encode the quality characteristics that are relevant, for a given problem, and guides the search to acceptable solutions in a potentially vast search space. From an industrial perspective, this opens up the possibility of generating and evaluating lots of test cases without raising costs to unacceptable levels. First, however, the applicability of search-based software engineering in an industrial setting must be evaluated. In practice, it is difficult to develop a priori a fitness function that covers all practical aspects of a problem. Interaction with human experts offers access to experience that is otherwise unavailable and allows the creation of a more informed and accurate fitness function. Moreover, our industrial partner has already expressed a view that the knowledge and experience of domain specialists are more important to the overall quality of the systems they develop than software engineering expertise. In this paper we describe our application of Interactive Search Based software Testing (ISBST) in an industrial setting. We used SBST to search for test cases for an industrial software module and based, in part, on interaction with a human domain specialist. Our evaluation showed that such an approach is feasible, though it also identified potential difficulties relating to the interaction between the domain specialist and the system.

关键词： embedded software industrial experience interactive search based software engineering search based software testing user centered Embedded software CASING INSPECTION program testing software engineering Industrial health software module Specialists Quality factor search technique Interactive Automation

来源：评论

学校读者我要写书评

暂无评论

A Logic Framework for Flexible and Security-Aware Service Composition

A Logic Framework for Flexible and Security-Aware Service Co...

引用

IEEE 10th International Conference on Ubiquitous Intelligence and Computing (UIC) / IEEE 10th International Conference on Autonomic and Trusted Computing (ATC)

作者： Albanese, Massimiliano Jajodia, Sushil Molinaro, Cristian George Mason Univ Ctr Secure Informat Syst Fairfax VA 22030 USA Univ Calabria Arcavacata Di Rende Italy

ISBN: (纸本)9781479924813

Automatic service composition finds applicability in many different domains. Composition comes into play when a user's request cannot be fulfilled by a single software module, but the composition of multiple modules can provide the requested services. In many application domains it is important to be able to express QoS and security attributes associated with services and take them into account in the composition process. In this paper, we propose a general framework for module composition that offers all the aforementioned capabilities. In addition, our framework allows users to express both hard and soft requirements for the QoS and security attributes that should come with the requested services. We address the problem of composing modules so that the requested services can be provided with the best attribute provision w.r.t. to the user's specifications. We show that the problem is NP-hard. Finally, we propose a logic programming approach to express and solve the module composition problem.

关键词： Logic programming Security Service composition Logic programming Security FLEXIBLE Quality of service Legal Services Consumers software module Frameworks

来源：评论

学校读者我要写书评

暂无评论

software Interfaces: On The Impact of Interface Design Anomalies

Software Interfaces: On The Impact of Interface Design Anoma...

引用

International Conference on Computer Science and Information Technology

作者： Hani Abdeen Osama Shata Abdelkarim Erradi Department of Computer Science Engineering College of Engineering - Qatar University P.O.Box 2713 Doha Qatar

ISBN: (纸本)9781467356107

Interfaces are recognized as an important mechanism to define contracts governing interactions between semiindependent software modules. Well-designed interfaces significantly reduce software complexity and ease maintainability by fostering modularization, hiding implementation details and minimizing the impact caused by changes in the software implementation. However, designing good interfaces is not a trivial task. The presence of interface design defects often yield increased development cost, lower code quality and reduced development productivity. Despite their importance, currently there are only a few research efforts that investigate the quality of interface design. In this paper, we identify and characterize common interface design anomalies and illustrate them via examples taken from well-known open source applications. In order to quantify the presence of interface design anomalies and estimate their impact on the interface design quality, as well on the software quality attributes, such as maintainability, we conduct an empirical study covering 9 open source projects. Building on our empirical results, we develop a set of recommendations to improve interface design.

关键词： software Interfaces Interface Design Quality Interface Design Anomalies Interface Cohesion Unused Interfaces Duplicate Interfaces software interface design for quality software quality Maintainability Interface Interfaces software implementation software module Anomalies

来源：评论

学校读者我要写书评

暂无评论

Modelling Power Line Communication Using Network Simulator-3

Modelling Power Line Communication Using Network Simulator-3

引用

IEEE Global Communications Conference

作者： Fariba Aalamifar Alexander Schlogl Don Harris Lutz Lampe Department of Electrical and Computer Engineering University of British Columbia University of Erlangen-Nurnberg

ISBN: (纸本)9781479913510

Power line communications (PLC) plays an important role in the blend of communication technologies considered for enabling the smart grid vision. However, different from, e.g., wireless communications, for which ready-to-use modules are included in several simulation packages, there are no freely available software tools to simulate PLC networks. In particular, software modules which emulate the PLC channel are needed to capture the specifics of PLC in a communication network simulation. In this paper, we aim at closing this gap and present a PLC channel simulator written using the network simulator-3 (ns-3) library and made available for free use.

关键词： Power line communication Smart grid Channel modelling Network simulator-3 (ns-3) carrier transmission on power lines Smart grids Programmable logic controllers network simulator network analog software module simulation package Communication technology software Tools

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：