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

A GIS application to enhance cell-based information modeling

INFORMATION SCIENCES 2002年第1-4期142卷 151-160页

作者： Benedikt, J Reinberg, S Riedl, L Geologic A-1080 Vienna Austria Vienna Univ Technol Dept Reg Sci A-1040 Vienna Austria

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.

关键词： fuzzy sets GIS spatial analysis semantic modeling graphical programming languages

来源：评论

学校读者我要写书评

暂无评论

Low power design of embedded NOR type FLASH memory module (EFMM)

Low power design of embedded NOR type FLASH memory module (E...

引用

4th international conference on ASIC Proceedings

作者： Lee, Mike Myung-Ok Lee, Seung-Min Kim, Young-Min Kim, Young-Cheol Dept. of Info. and Commun. Eng. Dongshin University 252 Daeho-Dong Naju Chonnam 520-714 Korea Republic of

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 with the 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.

关键词： logic design

来源：评论

学校读者我要写书评

暂无评论

Minimization of Dynamic programming Algorithm by three-dimension Model Collison Test Fitting 2021

Minimization of Dynamic Programming Algorithm by Three-dimen...

引用

4th international conference on Data Science and Information Technology, DSIT 2021

作者： Yang, Zhongming Lu, Xiaohui Huang, Lilong Yu, Jun Yang, Jianhui Guangdong Polytechnic of Science and Technology China Jiaxing Vocational Technical College China South China University of Technology China

ISBN: (纸本)9781450390248

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 forms, it is a combination optimization issue which haven't got the optimized algorithm and which is tedious and time-consuming. While the method of directly judging whether the point is in the inner model or not shows clearer logic and faster judging speed. this judging method can be used in the establishment of non-convex model in computer the non-convex model, after convex decomposed, is converted into several convex models of fitting model which is then operated collision test. this test method shows a characteristic of simplicity, high-speed and high university. © 2021 ACM.

关键词： Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

An extension of dynamic logic for modelling OCL's @pre operator

An extension of dynamic logic for modelling OCL's @pre opera...

引用

4th international Andrei Ershov Memorial conference on "Perspectives of System Informatics", PSI 2001

作者： Baar, thomas Beckert, Bernhard Schmitt, Peter H. Fakultät für Informatik Institut für Logik Komplexität und Deduktionssysteme Universität Karlsruhe Am Fasanengarten 5 D-76128 Karlsruhe Germany

ISBN: (纸本)354043075X

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 introducing, for each non-rigid function symbol f, a new function symbol f@prethat after program execution refers to the old value of f before program execution. We show that DL formulas with @pre can be transformed into equivalent formulas without @pre. We briefly describe the motivation for this extension coming from a related concept in the Object Constraint Language (OCL). © Springer-Verlag Berlin Heidelberg 2001.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

Implementing global constraints with index-sets and constraint templates 4th

引用

4th international conference on Principles and Practice of Constraint programming (CP 98)

作者： Colombani, Y Dash Associates Leamington Spa CV32 5TH England

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 depth the 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.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

On the Problem of Development of Methods and Algorithms Based on the Object-Oriented logic programming for Intelligent Video Monitoring of Laboratory Rats 4

On the Problem of Development of Methods and Algorithms Base...

引用

4th international conference on Information Technology and Nanotechnology - Session: Image Processing and Earth Remote Sensing, IPERS-ITNT 2018

作者： Morozov, A.A. Sushkova, O.S. Kotel'Nikov Institute of Radio Engineering and Electronics of RAS Mokhovaya str. 11-7 Moscow125009 Russia

the problem of the video monitoring the laboratory rats by the means of the object-oriented logic programming is considered. the main task of the video monitoring is the analysis of the behavior of the animals in cognitive testing. An essential feature of the video records is in that the experiments are conducted in the same cage where the animal lives, that is, the background of the cage is sawdust. the color of the animals is about the same as the color of the sawdust;thus the detection of the animals is not a simple task. An additional difficulty is in that the videos were recorded simultaneously with electroencephalograms (EEG) in the animals;thus the head of the rat is connected with EEG cable that moves and causes false detections of recognition algorithms. In the paper, development of low-level algorithms for video analysis as well as logical methods for the analysis of the animal behavior is discussed. the methods and algorithms are implemented in the Actor Prolog object-oriented logic language. © 2018 CEUR-WS. All rights reserved.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

programming behaviour of a personal service robot with application to healthcare

引用

4th international conference on Social Robotics, ICSR 2012

作者： Datta, Chandan MacDonald, Bruce A. Jayawardena, Chandimal Kuo, I-Han Department of Electrical and Computer Engineering University of Auckland New Zealand Unitec Institute of Technology New Zealand

ISBN: (纸本)9783642341021

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 through a Visual programming Environment (VPE), RoboStudio. RoboStudio is to be used by robot designers, developers and domain experts for developing social robotics behaviour in a healthcare environment. the method for authoring is visual in order to convey the robot's decision logic and interaction behaviour in a more intuitive manner while retaining expressiveness. In the paper, we discuss current progress we have made in raising the level of abstraction in service application development. this will help the robotics community to make significant investment in developing programming infrastructures, better programming language support and enhancing existing programming languages through simpler syntax and expressive semantics. © 2012 Springer-Verlag.

关键词： Behavioral research

来源：评论

学校读者我要写书评

暂无评论

4th international conference on Fundamental Approaches to Software Engineering, FASE 2001 Held as Part of the Joint European conferences on theory and Practice of Software, ETAPS 2001

引用

4th international conference on Fundamental Approaches to Software Engineering, FASE 2001, Held as Part of the Joint European conferences on theory and Practice of Software, ETAPS 2001

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Automated formal verification of PLC programs written in IL

Automated formal verification of PLC programs written in IL

引用

4th international Verification Workshop, VERIFY 2007, Affiliated with the 21st conference on Automated Deduction, CADE 2007

作者： Pavlovic, Olivera Pinger, Ralf Kollmann, Maik Siemens Transportation Systems Ackerstrasse 22 D-38126 Brunswick Germany Brunswick Technical University Institute of Information Systems Mühlenpfordtstrasse 23 D-38106 Brunswick Germany

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.

关键词： Programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

Verified Software: theories, Tools, Experiments 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Rajeev Joshi Peter Müller Andreas Podelski

ISBN: (数字)9783642277054

ISBN: (纸本)9783642277047

this volume contains the proceedings of the 4th international conference 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.

关键词： Software Engineering logics and Meanings of Programs programming Languages, Compilers, Interpreters programming Techniques Mathematical logic and Formal Languages Artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：