A Declarative Approach to Network Device Configuration Correctness

Configuration Logic (CL) is a formal language that allows a network engineer to express constraints in terms of the actual parameters found in the configuration of network devices. We present an efficient algorithm that can automatically check a pool of devices for conformance to a set of CL constraints; moreover, this algorithm can point to the part of the configuration responsible for the error when a constraint is violated. Contrary to other validation approaches that require dumping the configuration of the whole network to a central location in order to be verified, we also present an algorithm that analyzes the correct formulas and greatly helps reduce the amount of data that need to be transferred to that central location, pushing as much of the evaluation of the formula locally on each device. The procedure is also backwards-compatible, in such a way that a device that does not (or only partially) supports a local evaluation may simply return a subset or all of its configuration. These capabilities have been integrated into a network management tool called ValidMaker.     

Modeling and simulation of structural components in recursive closed-loop multibody systems

Passenger cars, transit buses, railroad vehicles, off-highway trucks, earth moving equipment and construction machinery contain structural and light-fabrications (SALF) components that are prone to excessive vibration due to rough terrains and work-cycle loads’ excitations. SALF components are typically modeled as flexible components in the multibody system allowing the analysts to predict elastic deformation and hence the stress levels under different loading conditions. Including SALF component in the multibody system typically generates closed-kinematic loops. This paper presents an approach for integrating SALF modeling capabilities as a flexible body in a general-purpose multibody dynamics solver that is based on joint-coordinates formulation with the ability to handle closed-kinematic loops. The spatial algebra notation is employed in deriving the spatial multibody dynamics equations of motion. The system kinematic topology matrix is used to project the Cartesian quantities into the joint subspace, leading to a condensed set of nonlinear equations with minimum number of generalized coordinates. The proposed flexible body formulation utilizes the component mode synthesis approach to reduce the large number of finite element degrees of freedom to a small set of generalized modal coordinates. The resulting reduced flexible body model has two main characteristics: the stiffness matrix is constant while the mass matrix depends on the elastic modal coordinates. A consistent set of pre-computed inertia shape integrals are identified and used to update the modal mass matrix at each time step. The implementation of the component mode synthesis approach in a closed-loop recursive multibody formulation is presented. The kinematic equations are modified to include the effect of the flexible body modal elastic coordinates. Also, modified constraint equations that include the effect of flexibility at the joint connections and the necessary details of the Jacobian matrix are presented. Baumgarte stabilization approach is used to stabilize the constraint equations without using iterative schemes. A sample results for flexible body impeded in a closed system will be presented to demonstrate the above mentioned approach.     

Value-added service providers for mobile education: empirical challenges and analytics

More people have access to Multimedia Messaging Service (MMS, a.k.a. mobile picture messaging) than to the Internet, but mobile education markets have yet to adopt MMS as a content delivery mechanism. This paper investigates the role of carrier interoperability as an enabler of MMS in mobile multimedia distance learning. Using instructor reuse of content and learner access to content as feasibility criteria, we empirically evaluate the performance, user adoption, and commercial market of MMS-based mobile education. This study deployed a value-added service that broadcasts videos via MMS to cell phones, and conducted a 9-month public education campaign with weekly broadcasts on breast cancer. We selected a video format and markup language that is compatible with domestic carriers and cell phones, and supports existing educational material. To contrast behaviors between participants with and without access to the Internet, we offered participants the same content via MMS, email and the Web. 277 participants enrolled in the campaign; 120 opted to receive the videos via mobile messaging, and 157 had Internet access and opted to receive videos via email or the Web. Campaign analytics reveal that all participants without Internet access successfully received the MMS video broadcasts, and significantly, one-third of participants with Internet access opted to receive the videos via MMS as well. We conclude with a discussion of why participants with Internet access may have chosen MMS over Internet-based alternatives. We also estimate the size of the market for MMS-based mobile education, and distinguish it from the person-to-person messaging market. This research is beneficial to educators targeting diverse demographics and education disparities, and to mobile commerce economists evaluating emerging markets.     

An adaptive local binarization method for document images based on a novel thresholding method and dynamic windows

Binary image representation is essential format for document analysis. In general, different available binarization techniques are implemented for different types of binarization problems. The majority of binarization techniques are complex and are compounded from filters and existing operations. However, the few simple thresholding methods available cannot be applied to many binarization problems. In this paper, we propose a local binarization method based on a simple, novel thresholding method with dynamic and flexible windows. The proposed method is tested on selected samples called the DIBCO 2009 benchmark dataset using specialized evaluation techniques for binarization processes. To evaluate the performance of our proposed method, we compared it with the Niblack, Sauvola and NICK methods. The results of the experiments show that the proposed method adapts well to all types of binarization challenges, can deal with higher numbers of binarization problems and boosts the overall performance of the binarization.     

A Framework for Integrating Non-Functional Requirements into Conceptual Models

The development of complex information systems calls for conceptual models that describe aspects beyond entities and activities. In particular, recent research has pointed out that conceptual models need to model goals, in order to capture the intentions which underlie complex situations within an organisational context. This paper focuses on one class of goals, namely non-functional requirements (NFR), which need to be captured and analysed from the very early phases of the software development process. The paper presents a framework for integrating NFRs into the ER and OO models. This framework has been validated by two case studies, one of which is very large. The results of the case studies suggest that goal modelling during early phases can lead to a more productive and complete modelling activity.       

Location allocation modeling for healthcare facility planning in Malaysia

Malaysia has seen tremendous growth in the standard of living and household per capita income. The demand for a more systematic and efficient planning has become increasingly more important, one of the keys to achieving a high standard in healthcare. In this paper, a Maximal Covering Location Problem (MCLP) is used to study the healthcare facilities of one of the districts in Malaysia. We address the limited capacity of the facilities and the problem is formulated as Capacitated MCLP (CMCLP). We propose a new solution approach based on genetic algorithm to examine the percentage of coverage of the existing facilities within the allowable distance specified/targeted by Malaysian government. The algorithm was shown to generate good results when compared to results obtained using CPLEX version 12.2 on a medium size problem consisting of 179 nodes network. The algorithm was extended to solve larger network consisting of 809 nodes where CPLEX failed to produce non-trivial solutions. We show that the proposed solution approach produces significant results in determining good locations for the facility such that the population coverage is maximized.     

Probabilistic assessment of loss in revenue generation in demand-driven production

In Demand-driven Production with Just-in-Time inputs, there are several sources of uncertainty which impact on the manufacturer??s ability to meet the required customer??s demand within the given time frame. This can result in a loss of revenue and customers, which will have undesirable impacts on the financial aspects and on the viability of the manufacturer. Hence, a key concern for manufacturers in just-in-time production is to determine whether they can meet a specific level of demand within a given time frame, to meet the customers?? orders and also to achieve the required revenue target for that period of time. In this paper, we propose a methodology by which a manufacturer can ascertain the probability of not meeting the required demand within a given period by considering the uncertainties in the availability of production units and raw materials, and the loss of financial revenue that it would experience as a result.     

Effect of wafer thinning methods towards fracture strength and topography of silicon die

This paper characterizes die damage resulting from various wafer thinning processes. Die fracture strength is measured using ball breaker test with respect to die surface finish. Further study on surface roughness and topography of each surface finish is obtained by atomic force microscopy (AFM) and scanning electron microscopy (SEM) techniques. Stress relief process with 25 μm removal is able to strengthen 100 μm wafer by 20.4% using chemical wet etch and 75 μm wafer by 36.4% with plasma etch. Relatively, plasma etching shows higher fracture strength and flexibility compared to chemical wet etch. This is due to topography of the finished surface of plasma etch is smoother and rounded, leading to a reduced stress concentration, hence improved fracture strength.     

为．NET应用程序实现一个类似Word的对象模型

所有的Microsoft Office应用程序都构建在支持自动化的对象模型之上。任何开发人员都能够使用对象模型来驱动应用程序UI以及添加、编辑和删除内容，就像一个真正的用户在与应用程序交互。丰富对象模型结合自动化支持使Office应用程序真正成为可扩展和可插接的。为了扩展Microsoft Word的行为而满足每个人自身的需要，任何人都能够在很短的时间里编写出一个强大的外接程序。作为优秀的面向对象开发人员，我们使用丰富的结构和优秀合理的对象模型（遵循模型一视图一控制器设计模式（MVC）来开发自己的应用程序。     

Optimization of single mode fibre sensors to detect organic vapours

The construction of single mode optical fibre (SMF) sensors to handle with volatile organic compounds (VOCs), has been optimized to operate at the third telecommunication window (1550 nm). The main motivation is to take advantage of the photonic devices used in telecommunication systems that makes easier sensors multiplexing. Moreover, the low transmission attenuation at that wavelength offers the possibility of remote sensing. The sensing materials used suffer reversible structural alterations in the presence of VOC, such as colour change, which are detectable with a photonic system. Following the Electrostatic Self Assembly method (ESAm), a nanostructure is constructed onto cleaved ended SMF, which is doped with a sensing material. The fabrication of this type of sensors was focused on multimode fibres (MMF) and in the visible spectral range (VIS) so far. The implementation has been adapted to SMF and to operate around 1550 nm, specifically, by easing the adsorption of the VOCs molecules. It has been observed that the sensing material affects the morphology of the nanostructures as well and so, to the sensors response. The devices implemented show a potential use in the identification of single and complex mixtures of VOCs.