Search Results: 1 - 10 of 100 matches for " "
All listed articles are free for downloading (OA Articles)
Page 1 /100
Display every page Item
Microkernel and Middle-Ware Based GIS Platform Design  [PDF]
Tingyan Xing, Shang Zhang, Fan Zhang
Positioning (POS) , 2014, DOI: 10.4236/pos.2014.52007
Abstract: By contrasting the traditional way in which GIS was completed that comes with less flexible, low efficiency, and lack redundancy which cause high entry cost, the fast development of microkernel plug-in technology provides the lightweight, efficient and scalable solution to Geographical Information System (GIS). This paper is to reveal the potential of microkernel plug-in geospatial information processing technology in GIS design and practice, with the acceptance and usage of function model called Resource loading manager(RLM) for GIS applications, which provides a possible solution to overcome the GIS’s high cost issue. After the short review of microkernel plug-in technology, the possibility of GIS design with microkernel is analyzed. This paper also introduced the composition of the whole system and the design of GIS service platform based on middle-ware in detail.
Design and implementation of mobile agent-based LBS application platform

ZHONG Shi-ming,ZHANG Shcng,GU Zhi-li,ZHU Cai-lian,
,张 胜,辜志力,

计算机应用 , 2005,
Abstract: The mobile agent can move freely from the one host to another in the network with heterogeneous software and hardware and has intelligent, The LBS system was built based on mobile agent because of these advantages. In the mobile network with limited bandwidth, it can provide the LBS users who hold the non-persistent equipments with information services in real-time and effective. The LBS systems in existence require the users keep in touch with the LBS servers stabilized in process of getting information from the network. And the client has to operate synchronized with the server. The mobile agent based LBS system can overcome these disadvantages. The discussions placed emphasis on the design of mobile agent server, the mobile agent message and event model, the mobile agent, the mobile agent transfer and the clients. At last, a prototype was implemented.
Formal Design and Verification of Interrupt Mechanism Based on Microkernel

计算机科学 , 2013,
Abstract: It is difficult to describe the correctness and security of the operate system (OS) by quantitative analysis. Formal method is the acknowledged standard one in design and verification for OS. Based on the operate system object semantics model (OSOSM) , we designed and verified the interruption mechanism of microkernel architecture using for- mal method,which was realized on our self-implemented verified trusted operate system (VTOS). Meanwhile,we used the theorem prover Isabelle/HOI. to formally describe the design process, and verify the integrality of the interruption mechanism of VTOS. Our research plays certain referential significance on formal design and verification of OS.
无线传感器网络中RSSI定位算法的设计与实现 Design and implementation of RSSI localization algorithm in wireless sensor network  [PDF]
- , 2015,
Abstract: 总结了通过大量的实验探究的RSSI与Distance的数据模型关系,并研究分析了影响RSSI的因素.然后得出了RSSI与Distance的Log数据模型.经过一定的算法对该模型进行修正,使其在定位中的误差尽量达到最小.最后将所有的程序算法框架集成在一个MFC程序里,该程序能自动完成从获取Log模型未知参数到定位未知结点位置的所有过程.最后给出了一套完整的算法,通过AP的Training得出Log模型中的未知参数,然后利用特定的算法处理接收到的RSSI值,利用最终的RSSI的值定位出未知点的坐标.定位精度最高可达到0.8m,具有很好的实用价值
Some Researches on Operating System Microkernel Technology

PAN Qing,ZHANG Xiao-qing,
潘 清

软件学报 , 1998,
Abstract: Some of the research work which the authors have done on microkernel in the last 5 years are described in this paper. Three new algorithms have been proposed. The first algorithm combines task schedule and thread schedule algorithms together to improve the efficiency of the thread schedule system, it also provides a more fairness scheduling algorithm for microkernel operating system. The second algorithm is an enhanced copy _on _write algorithm, it combines copy _on _write and copy _on _reference algorithms together to make it more suitable on I386 architecture. The last algorithm is a new timing algorithm for microkernel operating system, it solves the inaccuracy timing problem which is caused by traditional timing algorithm running under the microkernel architecture.
Microkernel Development for Embedded Systems  [PDF]
Rodrigo Maximiano Antunes de Almeida, Luis Henrique de Carvalho Ferreira, Carlos Henrique Valério
Journal of Software Engineering and Applications (JSEA) , 2013, DOI: 10.4236/jsea.2013.61003

This paper presents the development of a microkernel with a device driver controller for embedded systems. The implementation was done in C language aiming low cost microcontrollers. The proposed system allowed to perform soft real-time activities while keeping the drivers and the application isolated by a secure layer. The callback system proved itself extremely simple to use while still maintaining the security of the system regarding the temporal constraints.

Design and Implementation of Location Adapter of LBS Based on J2EE
基于J2EE 的LBS平台定位适配器的设计与实现

计算机系统应用 , 2005,
Abstract: 分析了LBS定位适配器的设计原理及其主要实现方法,在基于J2EE架构下的LBS平台基础上,充分利用EJB组件、XML等技术,使定位适配器具有较好的多平台适应性,以满足当前不同定位中心的设计要求.
A Microkernel Architecture for Constraint Programming  [PDF]
Laurent Michel,Pascal Van Hentenryck
Computer Science , 2014,
Abstract: This paper presents a microkernel architecture for constraint programming organized around a number of small number of core functionalities and minimal interfaces. The architecture contrasts with the monolithic nature of many implementations. Experimental results indicate that the software engineering benefits are not incompatible with runtime efficiency.
Implementation of Interface for Microkernel Based Network System

HU Ning-ning,HU Ning-ning,XIE Li,

软件学报 , 1999,
Abstract: CONET V2.0 is a network system under microkernel environment. Compared with the traditional monolithic kernel, microkernel provides a different approach to construct operating system, which leads to different implementation of those modules running under such environment. In this paper, the architecture and design of CONET V2.0 are outlined, and then the design and the implementation of SOCKET, which is one of the application interfaces for the network system, are presented in detail.
Design approaches in technology enhanced learning  [PDF]
Yishay Mor,Niall Winters
Computer Science , 2006,
Abstract: Design is a critical to the successful development of any interactive learning environment (ILE). Moreover, in technology enhanced learning (TEL), the design process requires input from many diverse areas of expertise. As such, anyone undertaking tool development is required to directly address the design challenge from multiple perspectives. We provide a motivation and rationale for design approaches for learning technologies that draws upon Simon's seminal proposition of Design Science (Simon, 1969). We then review the application of Design Experiments (Brown, 1992) and Design Patterns (Alexander et al., 1977) and argue that a patterns approach has the potential to address many of the critical challenges faced by learning technologists.
Page 1 /100
Display every page Item

Copyright © 2008-2017 Open Access Library. All rights reserved.