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

2011 6th International Conference on Pervasive Computing and Applications, ICPCA 2011

作者： Liu, Jinzhao Lu, Xiaojuan Wang, Dan Liu, Xin Lu, Yongqiang Chen, Yu Dept. of Computer Science and Technology Beijing University of Technology Beijing China General Hospital PLA Second Artillery China Research Institute of Information Technology Key Laboratory of Pervasive Computing Ministry of Education Beijing China System Software and Software Engineering Group Laboratory of Pervasive Computing Dept. of Computer Science and Technology Beijing 100084 China

ISBN: (纸本)9781457702082

As an emerging portable service platform, OSGi is now taking a more and more important role in Ubiquitous Computing environment. As a module management framework, OSGi provides the functions of dynamic loading and unloading software modules at runtime. But its use is limited because it is centralized and single programming language supported. In this paper we present LIR-OSGi, an extended framework of OSGi, which is designed to add the distribution and programming language independence to OSGi. Meanwhile it is easy to use for developers because of the transparence of service invocation and automation of distribution. Not like OSGi which can be applied only on the Java platform, LIR-OSGi makes programs which may be written in different programming languages be able to call each other transparently so that it can be applied in many different platforms such as DotNet Framework and so on. This brings much convenience to the program development in a distributed and heterogeneous environment. © 2011 IEEE.

关键词： Middleware

来源：评论

学校读者我要写书评

暂无评论

The formal analysis of sequence diagram by an object-oriented timed transition system

引用

International Journal of Advancements in Computing Technology 2011年第3期3卷 134-144页

作者： Zhu, Meixia Wang, Hanpin Liu, Xikui Institute of Software School of Electronics Engineering and Computer Science Key Laboratory of High Confidence Software Technologies of Ministry of Education Peking University Beijing China College of Information Engineering Shandong University of Science and Technology Qingdao Shandong China

The Modeling and Analysis of Real-Time Embedded systems specification (MARTE) provides a set of diagrams with time properties. Nowadays, they are frequently used in the preliminary developing phase of the embedded real time system;however, it is not easy to verify the system they have described because few tools can check them directly. This is mainly due to their semi-formal styles and the sequence diagram is no exception. An extended model named TTS4SD (timed transition system for sequence diagram) is advanced for describing the formal semantics of the sequence diagram with time properties which is defined in MARTE. Unlike most of the existing works, the semantics describe its intact behaviors in two aspects: event transitions when the guards are fixed and fragment transitions when the guards are changed from one to another. Moreover, by means of the push/delete instructions on stack, we transform the SD into a TTS4SD with the help of two algorithms which put the semantics from formal aspect to practical application. Then based on the TTS4SD, the sequence diagram is analyzed in a rigid way to eliminate the mistakes arising from the designing stage. An example is running through to describe the above processes.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

A multi-objective evolutionary algorithm for minimal visual coverage path problem in raster Terrain

引用

ICIC Express Letters 2011年第7期5卷 2299-2304页

作者： Li, Jie Zheng, Chang Wen Hu, Xiaohui Department of Electronic Engineering and Information Science University of Science and Technology of China Hefei 230026 China National Key Laboratory of Integrated Information System Technology Institute of Software Chinese Academy of Sciences Beijing 100190 China

Minimal visual coverage path problem has wide applications, such as selecting the marching route and searching the smuggler's path. Average horizon of a path, which is the ratio of its visual coverage to its length, can be used to measure how covert a path is. If there are loops in a path, the path is meaningless though its average horizon is small due to its infinite length. A compromise is to modify the objective of minimal average horizon as the ratio of the length to the invisible region of the path where minimal length and minimal view shed can be satisfied simultaneously. However, the modified objective is not completely equivalent with average horizon. This study treats two elements of average horizon as two objectives and presents a multi-objective evolutionary algorithm for the minimal path visual coverage problem with single objective. By multiobjectivizating as well as the proper chromosome structure and effective operators, the method presented is superior to the simulated annealing algorithm and the evolutionary algorithm for single objective with respect to both higher quality of the solution and less computation time.

关键词： Evolutionary algorithms

来源：评论

学校读者我要写书评

暂无评论

Implementing strategic planning capabilities within the Mars Relay Operations Service

Implementing strategic planning capabilities within the Mars...

引用

AIAA Infotech at Aerospace Conference and Exhibit 2011

作者： Hy, Franklin Gladden, Roy Allard, Dan Wallick, Michael Ground Data System Engineering Jet Propulsion Laboratory California Institute of Technology 264-214 Pasadena CA 91109 United States Planning and Execution System Engineering Jet Propulsion Laboratory California Institute of Technology 264-235 Pasadena CA 91109 United States Distributed Systems Technologies Jet Propulsion Laboratory California Institute of Technology 301-480 Pasadena CA 91109 United States Operations Planning Software Group Jet Propulsion Laboratory California Institute of Technology 301-250D Pasadena CA 91109 United States

ISBN: (纸本)9781600869440

Since the Mars Exploration Rovers (MER), Spirit and Opportunity, began their travels across the Martian surface in January of 2004, orbiting spacecraft such as the Mars 2001 Odyssey orbiter have relayed the majority of their collected scientific and operational data to and from Earth. From the beginning of those missions, it was evident that using orbiters to relay data to and from the surface of Mars was a vastly more efficient communications strategy in terms of power consumption and bandwidth compared to direct-to-Earth means. However, the coordination between the various spacecraft, which are largely managed independently and on differing commanding timelines, has always proven to be a challenge. Until recently, the ground operators of all these spacecraft have coordinated the movement of data through this network using a collection of ad hoc human interfaces and various, independent software tools. The Mars Relay Operations Service (MaROS) has been developed to manage the evolving needs of the Mars relay network, and specifically to standardize and integrate the relay planning and coordination data into a centralized infrastructure. This paper explores the journey of developing the MaROS system, from inception to delivery and acceptance by the Mars mission users. © 2011 by the American institute of Aeronautics and Astronautics, Inc. All rights reserved.

关键词： Energy efficiency

来源：评论

学校读者我要写书评

暂无评论

A hypervolume based approach for minimal visual coverage shortest path

A hypervolume based approach for minimal visual coverage sho...

引用

Congress on Evolutionary Computation

作者： Jie Li Changwen Zheng Xiaohui Hu Department of Electronic Engineering and Information Science University of Science and Technology Hefei China National Key Laboratory of Integrated Information System Technology Institute of Software Chinese Academy and Sciences Beijing China

In this paper, the minimal visual coverage shortest path in raster terrain is studied with the proposal of a hypervolume contribution based multiobjective evolutionary approach. The main feature of the presented method is that all individuals in the population are periodically replaced by the selected non-dominated candidates in the archive based on hypervolume contribution, besides the well designed evolutionary operators and some popular techniques such as dominated relation and archive. Our algorithm may obtain well distributed Pareto set approximation efficiently, which is superior to the implementations based on the framework of NSGA-II and SMS EMOA with respect to the hypervolume.

关键词： Visualization Biological cells Approximation methods Evolutionary computation Tin Optimization Approximation algorithms

来源：评论

学校读者我要写书评

暂无评论

The Modelling and Verification of PLC Program Based on Interactive Theorem Proving Tool COQ

The Modelling and Verification of PLC Program Based on Inter...

引用

2011 International Conference on Computer Science and information Technology(ICCSIT 2011)

作者： Litian Xiao Mengyuan Li Ming Gu Jiaguang Sun National Laboratory for Information Science and Technology Key Laboratory for Information System Security Ministry of EducationDepartment of Computer Science and Technology School of Software Tsinghua University Beijing Special Engineering Design and Research Institute National Laboratory for Information Science and Technology Key Laboratory for Information System Security Ministry of Education Department of Computer Science and Technology School of Software Tsinghua University

COQ is an interactive theorem proving tool. The paper abstractly describes the feature of COQ, the architecture and working modes of PLC program with the example of typical PLC. It also introduces the first-order logic syntax and semantics of Intuitionistic Logic. It briefly introduces the main Gallina language syntax elements, the corresponding use methods and main theorem proving tactic on COQ. The work has modeled kernel data type and basic statements and and the denotational semantics of PLC program with Gallina. It has given the correctness proof of PLC program based on theorem proving, i.e. based on semantics function the relationship of configuration between the before codes execution and the after is proved. The main purpose is to prove whether a PLC program satisfies certain nature within a scan period.

关键词： PLC Program, Embedded system, Verification, Denotational Semantics, Theorem Proving, COQ

来源：评论

学校读者我要写书评

暂无评论

Model Based Sustainable Management of Regional Water Supply systems

Model Based Sustainable Management of Regional Water Supply ...

引用

2011 International Symposium on Water Resource and Environmental Protection(ISWREP 2011)

作者： Thomas Bernard Oliver Krol Thomas Rauschenbach Hartmut Linke Guoping He Hong Mu Business Department MRD Fraunhofer Institute of Optronics System Technologies and Image Exploitation IOSB 76131 KarlsruheGermany Fraunhofer Application Center System Technology AST Fraunhofer Institute of Optronics System Technologies and Image Exploitation IOSB 98693 IlmenauGermany Beijing municipal institute of hydraulic engineering planning design & research Fraunhofer Institute for Production and Information Beijing Representative Office

Sustainable management of water resources and a safe supply of drinking water will play a key role for the development of the human prosperity in the following *** paper presents an optimal control approach for the management of the total water resources in a fast developing region under a critical water shortage.A model of the water allocation system is developed which considers both surface and groundwater resources and the distribution *** spatially distributed groundwater model is considered as a reduced model of the complex 3D Finite Element *** the optimization problem,which is formulated as large scale structured non-linear programming problem,can be solved in an appropriate computation *** performance of the proposed concept is demonstrated by close to reality optimization scenarios.

关键词： decision support systems large scale optimization model rduction water allocation modelling

来源：评论

学校读者我要写书评

暂无评论

Integration of cultural dimensions into software localisation testing of assistive technology for deaf children

Integration of cultural dimensions into software localisatio...

引用

Malaysian Conference in software engineering (MySEC)

作者： Tan Ping Ping Chiu Po Chan Hamizan Sharbini Azlina Ahmadi Julaihi Department of Computing & Software Engineering Faculty of Computer Science and Information Technology Universiti Malaysia Sarawak Malaysia Department of Information Systems Faculty of Computer Science and Information Technology Universiti Malaysia Sarawak Malaysia Department of Computer System & Communication Technologies Faculty of Computer Science and Information Technology Universiti Malaysia Sarawak Malaysia

Lack of hearing ability hinders deaf children from mastering grammar in language studies. Unfortunately, such software targeting Malay language is limited. This paper attempts to generate new approach in handling such software. These include detection of defects when switching into local languages, date format and accommodating the local laws. The acceptance of international software for local use goes beyond just these aspects. For this purpose, software that supports the multi-languages is evaluated. The main research question of this paper: The lack of cultural dimensions in localisation testing of assistive technology decreases the effectiveness of localisation testing of the localised software. On the account of cultural dimensions, Hofstede's Cultural Dimensions will be experimented to study which cultural dimensions are most suited for such software. From our empirical results, the failure rate of the testing is higher compared to incorporating culture dimensions.

关键词： Testing Cultural differences Usability information technology Computer science User interfaces

来源：评论

学校读者我要写书评

暂无评论

Neural network model of mill-fan system elements vibration for predictive maintenance

Neural network model of mill-fan system elements vibration f...

引用

IEEE International Symposium on Innovations in Intelligent systems and Applications (INISTA)

作者： T. Balabanov M. Hadjiski P. Koprinkova-Hristova S. Beloreshki L. Doukovska Institute of Information and Communication Technologies Bulgarian Academy of Sciences Sofia Bulgaria Institute of System Engineering and Robotics Bulgarian Academy of Sciences Sofia Bulgaria University of Chemical Technology and Metallurgy-Sofia Sofia Bulgaria Honeywell EOOD Sofia Bulgaria

In the present paper we focus on online monitoring system for predictive maintenance based on sensor automated inputs. Our subject was a device from Maritsa East 2 power plant - a mill fan. The main sensor information we have access to is based on the vibration of the nearest to the mill rotor bearing block. Our aim was to create a (nonlinear) model able to predict on time possible changes in vibrations tendencies that can be early signal for system work deterioration. For that purpose recently developed kind of Recurrent Neural Networks named Echo state networks were applied. The preliminary investigations showed their good approximation ability for our purpose. Direction of future work will be increasing of predications time horizon.

关键词： Vibrations Reservoirs Training Testing Fitting Rotors Coal

来源：评论

学校读者我要写书评

暂无评论

Ultra wideband bistatic forward scattering inverse synthetic aperture radar imaging

Ultra wideband bistatic forward scattering inverse synthetic...

引用

International Radar Symposium, IRS 2011

作者： Lazarov, A. Kabakchiev, C. Cherniakov, M. Gashinova, M. Kostadinov, T. Department of Informatics and Technical Sciences BFU 62 San Stefano Str. 8000 Burgas Bulgaria Department of Software Technologies Sofia University St. Clement of Ohrid J. Boucher Blvd. 5 1164 Sofia Bulgaria School of Electrical Electronic and Computer Engineering University of Birmingham United Kingdom Institute of Information and Communication Technologies Bulgarian Academy of Sciences Acad. G. Bonchev Str. bl. 25-A 1113 Sofia Bulgaria

ISBN: (纸本)9783927535282

In this work Bistatic Inverse Forward Scattering Inverse Synthetic Aperture Radar (BFISAR) concept is addressed. Geometric description of BFISAR topology with stationary transmitter and receiver, and moving target is given. Kinematic vector equations are derived. Mathematical model of BFISAR signal with linear frequency modulation (LFM) is described. It is proved that BFISAR signal formation and image reconstruction can be interpreted as direct and inverse projective operation respectively. Through Taylor expansion of the projective operator basic image reconstruction procedures, including phase correction, Fourier transform range compression and Fourier transform azimuth compression are defined. Numerical experiment to verify mathematical models derived is carried out. © 2011 DGON.

关键词： Forward scattering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：