Maps have been major sources of information for a long time. Geographic Information Systems (GIS) use digital data, elevation models, satellite images, expert systems and related open source information for planning, ...
详细信息
Maps have been major sources of information for a long time. Geographic Information Systems (GIS) use digital data, elevation models, satellite images, expert systems and related open source information for planning, detection, evaluation and decision making. Maps as well as GIS use spatial attributes of data in particular. Spatial Information derived is a feature of both data and language to communicate results of analysis and interpretation. A natural language approach to geographic concepts is discussed focusing on the cognitive aspects of categorizing spatial terms, which are represented by vague descriptions. Scientific analysis, however, requires a formal representation of spatial terms. the translation of linguistic concepts to spatial terms like "steep slopes" involves inherent uncertainties that are dealt with by implementing fuzzy logic tools to computer-based GIS. MapModels is a programming language based on ArcView(R) GIS that allows users easily to comprehend geographical (spatial) terms by means of analytical tools including membership models. A flowchart interface is preferred to a line-code oriented programming language thus enabling the user to focus on a particular problem rather than a complex programming exercise. Examples are given on how MapModels utilizes the vagueness of geographic description in GIS analysis. this paper shows, how MapModels enhances the powerful options of GIS-based spatial analysis in obtaining information from cell-based images. (C) 2002 Elsevier Science Inc. All rights reserved.
A Novel 40-nS High Speed(HS) and 30mA Low Power(LP) embedded FLASH memory modules(EFMM) such as 1M FLASH memory cell array, three(4v,5v, 9v) positive high voltage circuits and -7v negative high voltage circuit plus VH...
详细信息
A Novel 40-nS High Speed(HS) and 30mA Low Power(LP) embedded FLASH memory modules(EFMM) such as 1M FLASH memory cell array, three(4v,5v, 9v) positive high voltage circuits and -7v negative high voltage circuit plus VHDL-modeled logic sub-systems implemented on 0.25um CMOS SLP/5LM technology are presented. It is shown that our EFMM which is being used in Multi-cube results in 30mA active read current and 100uA standby current. Mixed mode design for analogs- high voltage charge pump shows stable 9v high for programming and further 1.2v bandgap reference voltage interfacing withthe high voltage circuits and for logic designs are developed by optimized IP-standard (set by Synopsys) VHDL modeling. Chip size with 56-pin indicates 5.7mm2.
In the collision test of simulating object in reality in Unity 3D, the common method taken for non-convex model is convex decomposition. While there exist various kinds of de composition towards models of different fo...
详细信息
We consider first-order Dynamic logic (DL) with non-rigid functions, which can be used to model certain features of programming languages such as array variables and object attributes. We extend this logic by introduc...
详细信息
In order to improve the deductive power of ffinite domain constraint solvers usually redundant and global constraints are added to the constraint system. the objective of this work [2] is to develop a new constraint s...
详细信息
ISBN:
(纸本)3540652248
In order to improve the deductive power of ffinite domain constraint solvers usually redundant and global constraints are added to the constraint system. the objective of this work [2] is to develop a new constraint solving scheme designed as an extension of a classical arc-consistency algorithm. Associated to a declarative language, it allows the user to implement his own global relations without the need of manipulating internal structures of the solver or modifying in depththe original model of the studied problem. this system relies on two new structures: index-sets and constraint templates. the former consist in sets of integers used as indices over tables. they collect variables sharing some properties (for instance tasks in a scheduling problem assigned to the same machine). the latter are descriptions of constraints that must be applied (possibly) over selected sets of variables (for instance the fact that a set of tasks must be scheduled before another set). Both, set-index and constraint template deffnitions are evaluated dynamically and depend on the variables’ domains. Indeed, the new constraints are automatically generated by the constraint solver based on the set contents and variable domain values. the index-set and constraint deffinition language uses a mathematic style notation. the deffnitions are compiled to the solver representation which can be directly handled by the propagation mechanism. this organisation guarantees a high level of efficiency.
the problem of the video monitoring the laboratory rats by the means of the object-oriented logicprogramming is considered. the main task of the video monitoring is the analysis of the behavior of the animals in cogn...
详细信息
We propose an approach for developing applications on a personal healthcare service robot. We have developed a model of representing robot behaviour through a domain specific language (DSL) and enabling authoring thro...
详细信息
the proceedings contain 24 papers. the special focus in this conference is on Distributed Components, UML, Testing and Formal Methods. the topics include: Metamodelling and conformance checking with PVS;proving deadlo...
ISBN:
(纸本)3540418636
the proceedings contain 24 papers. the special focus in this conference is on Distributed Components, UML, Testing and Formal Methods. the topics include: Metamodelling and conformance checking with PVS;proving deadlock freedom in component-based programming;a real-time execution semantics for UML activity diagrams;strengthening UML collaboration diagrams by state transformations;on use cases and their relationships in the unified modelling-language;on the importance of inter-scenario relationships in hierarchical state machine design;library-based design and consistency checking of system-level industrial test cases;demonstration of an automated integrated testing environment for CTI systems;semantics of architectural specifications in CASL;a logic for the java modeling language JML;a formal object-oriented analysis for software reliability and specification and analysis of the AER/NCA active network protocol suite in real-time Maude.
Providing proof of correctness is of the utmost importance for safety-critical systems, many of which are based on Programmable logic Controllers (PLCs). One widely used programming language for PLCs is Instruction Li...
详细信息
Providing proof of correctness is of the utmost importance for safety-critical systems, many of which are based on Programmable logic Controllers (PLCs). One widely used programming language for PLCs is Instruction List (IL). this paper presents a tool for the fully automated transformation of IL programs into models of the NuSMV (New Symbolic Model Verifier) model checker. For this, the tool needs a metadescription of the IL language. this broadens the scope of the software and allows the tool be used for programs written in many other low-level languages as well. Its application is demonstrated using a typical IL program, at the same time providing insights into the proposed automation of the process of formal verification of PLC programs. this automatic verification should provide a powerful analysis method with a wide industrial application.
this volume contains the proceedings of the 4thinternationalconference on Verified Software: theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012. the 20 revised full papers p...
详细信息
ISBN:
(数字)9783642277054
ISBN:
(纸本)9783642277047
this volume contains the proceedings of the 4thinternationalconference on Verified Software: theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012. the 20 revised full papers presented together with 2 invited talks and 2 tutorials were carefully revised and selected from 54 initial submissions for inclusion in the book. the goal of the VSTTE conference is to advance the state of the art through the interaction of theory development, tool evolution, and experimental validation. the papers address topics such as: specification and verification techniques, tool support for specification languages, tool for various design methodologies, tool integration and plug-ins, automation in formal verification, tool comparisons and benchmark repositories, combination of tools and techniques, customizing tools for particular applications, challenge problems, refinement methodologies, requirements modeling, specification languages, specification/verification case-studies, software design methods, and program logic.
暂无评论