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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

416 篇 会议
38 篇 期刊文献
18 册 图书

馆藏范围

472 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

328 篇 工学
- 313 篇 计算机科学与技术...
- 198 篇 软件工程
- 30 篇 电气工程
- 24 篇 控制科学与工程
- 17 篇 信息与通信工程
- 9 篇 机械工程
- 7 篇 电子科学与技术（可...
- 5 篇 安全科学与工程
- 4 篇 生物医学工程（可授...
- 3 篇 生物工程
- 2 篇 材料科学与工程（可...
- 2 篇 动力工程及工程热...
- 2 篇 建筑学
- 2 篇 测绘科学与技术
77 篇 理学
- 57 篇 数学
- 13 篇 系统科学
- 10 篇 统计学（可授理学、...
- 7 篇 生物学
- 4 篇 物理学
- 1 篇 地质学
29 篇 管理学
- 21 篇 管理科学与工程(可...
- 11 篇 工商管理
- 8 篇 图书情报与档案管...
5 篇 医学
- 4 篇 基础医学(可授医学...
- 2 篇 临床医学
4 篇 教育学
- 4 篇 教育学
3 篇 法学
- 3 篇 社会学
2 篇 文学
- 1 篇 外国语言文学
- 1 篇 新闻传播学
1 篇 哲学
1 篇 经济学
- 1 篇 应用经济学
1 篇 农学

主题

104 篇 logic programmin...
22 篇 fuzzy logic
16 篇 artificial intel...
15 篇 semantics
12 篇 object oriented ...
12 篇 programming
12 篇 mathematical log...
11 篇 software enginee...
11 篇 logic gates
11 篇 linear programmi...
9 篇 computer circuit...
9 篇 programming tech...
9 篇 hardware
9 篇 dynamic programm...
8 篇 programming lang...
8 篇 logics and meani...
8 篇 logic design
7 篇 logic
7 篇 probabilistic lo...
6 篇 access control

机构

4 篇 vienna univ tech...
3 篇 suny stony brook...
2 篇 school of automo...
2 篇 univ nova lisboa...
2 篇 univ calif river...
2 篇 univ bologna dei...
2 篇 school of comput...
2 篇 department of co...
2 篇 information and ...
2 篇 univ cagliari di...
2 篇 ibm tokyo resear...
2 篇 labmag lisbon
2 篇 wroclaw univ tec...
2 篇 calif state poly...
2 篇 univ kentucky de...
2 篇 shenzhen tourism...
2 篇 univ texas dept ...
1 篇 new mexico state...
1 篇 dept. computersc...
1 篇 k.u. leuven depa...

作者

4 篇 pereira lm
3 篇 truszczynski m
3 篇 swift t
3 篇 lifschitz v
3 篇 alferes jj
3 篇 vojtás p
3 篇 marriott kim
2 篇 deschreye d
2 篇 schuerman kees
2 篇 pinna g. michele
2 篇 medina j
2 篇 montali marco
2 篇 bruynooghe mauri...
2 篇 przymusinski tc
2 篇 li liang-liang
2 篇 véron andré
2 篇 bartoletti massi...
2 篇 cui bq
2 篇 sideri m
2 篇 cimoli tiziana

语言

466 篇 英文
4 篇 其他
1 篇 法文
1 篇 俄文

检索条件"任意字段=5th Conference on Logic Programming, 1986"

共 472 条记录，以下是181-190 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

An open source IEC 61131-3 integrated development environment

An open source IEC 61131-3 integrated development environmen...

引用

5th IEEE International conference on Industrial Informatics

作者： Tisserant, Edouard Bessard, Laurent de Sousa, Mario TBI SARL Lolitech F-88100 St Die France Univ Porto Dept Elect Engn Oporto Portugal

ISBN: (纸本)9781424408504

the IEC 61131-3 standard defines a common framework for programming PLCs (Programmable logic Controllers), which includes the complete definition of four programming languages and a state machine definition language. Industrial PLC vendors are slowly offering support for this standard, however small inconsistencies remain between their implementations, transferring programs between vendors is almost impossible due to different rile formats, and licenses are generally too expensive to allow students do install these commercial solutions on their own computers. To this end, the authors have developed an Integrated Development Environment (IDE) for the IEC 61131-3 framework, which is being offered to the general public under the GNU Public License (GPL). the IDE consists of a Graphical User Interface (GUI) and a backend compiler. Using the GUI the user may develop programs in any of the four programming languages, as well as the state machine definition language. the backend compiler is used to convert these programs into equivalent C++ programs which may later be compiled and executed on various platforms.

关键词： Programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

History-based aspect weaving for WS-BPEL using Padus

History-based aspect weaving for WS-BPEL using Padus

引用

5th IEEE European conference on Web Services

作者： Braem, Mathieu Gheysels, Dimitri Vrije Univ Brussel Syst Software Engn Lab Pleinlaan 2 B-1050 Brussels Belgium

ISBN: (纸本)9780769530444

Workflow languages provide a natural way to express business processes, and therefore they are preferred over general-purpose programming languages to specify such processes. However, current workflow languages offer no support for separating crosscutting concerns which results in workflows that are hard to maintain and evolve. Recent research introduces aspect-oriented extensions to these languages, but many advanced features of aspect-oriented programming technology are still unavailable for workflow languages. In this paper we present the implementation of one such advanced feature: "stateful aspects". We introduce a high-level, logic-based pointcut language to express aspect activation depending on past and current state of the workflow execution. We propose a weaving strategy based on finite state automata in order to transparently weave history tracking code in the workflow. Our approach is implemented as an extension of the Padus AOP language for WS-BPEL.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Inducing declarative logic-based models from labeled traces

引用

5th International conference on Business Process Management

作者： Lamma, Evelina Mello, Paola Montali, Marco Riguzzi, Fabrizio Storari, Sergio Univ Ferrara ENDIF Saragat1 I-44100 Ferrara Italy Univ Bologna DEIS I-40136 Bologna Italy

ISBN: (纸本)9783540751823

In this work we propose an approach for the automatic discovery of logic-based models starting from a set of process execution traces. the approach is based on a modified Inductive logic programming algorithm, capable of learning a set of declarative rules. the advantage of using a declarative description is twofold. First, the process is represented in an intuitive and easily readable way;second, a family of proof procedures associated to the chosen language can be used to support the monitoring and management of processes (conformance testing, properties verification and interoperability checking, in particular). the approach consists in first learning integrity constraints expressed as logical formulas and then translating them into a declarative graphical language named DecSerFlow. We demonstrate the viability of the approach by applying it to a real dataset from a health case process and to an artificial dataset from an e-commerce protocol.

关键词： Careflow DecSerFlow logic programming Process mining Process verification and validation

来源：评论

学校读者我要写书评

暂无评论

Mixed Integer programming, General Concept Inclusions and Fuzzy Description logics

Mixed Integer Programming, General Concept Inclusions and Fu...

引用

5th conference of the European-Society-for-Fuzzy-logic-and-Technology

作者： Straccia, Umberto Bobillo, Fernando CNR ISTI I-56100 Pisa Italy Univ Granada Dept Comp Sci & AI E-18071 Granada Spain

ISBN: (纸本)9788073683870

Fuzzy Description logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. In [23], a solution based on Mixed Integer Linear programming has been proposed to deal with fuzzy DLs under Lukasiewicz semantics in which typical membership functions, such as triangular and trapezoidal functions, can be explicitly represented in the language. A major theoretical and computational limitation so far is the inability to deal with General Concept Inclusions (GCIs), which is an important feature of classical DLs. In this paper, we address this issue and develop a calculus for fuzzy DLs with GCls under various semantics: classical logic, "Zadeh semantics", and Lukasiewicz logic.

关键词： Fuzzy Description logics

来源：评论

学校读者我要写书评

暂无评论

A implementation of object oriented database security

A implementation of object oriented database security

引用

5th ACIS International conference on Software Engineering Reseach, Management and Applications held in Conjuction with 1st International Workshop on Advanced Internet Technology and Applications

作者： Ambhore, Premchand B. Meshram, B. B. Waghmare, V. B. Dr PD Polytech Comp Engn Amravati MS India

ISBN: (纸本)9780769528670

this paper is to address high-level authorization specifications and its efficient implementation in object oriented database scenario. Premchand Ambhore is with higher and technical education, maharashtra state, india, Email:pbambhore@***. the rest of the paper is organized as follows. Section 2 specifies object oriented database system;section 3 incorporates authorization rules into database and section 4 maps the specification into a logic programming language and implements the language. Section 5 concludes the paper. the integration of object-oriented programming concepts with databases is one of the most significant advances in the evolution of database system, therefore the problems involved in providing data security for object oriented databases have been receiving very great attention from researchers. As a matter of fact, data are the most sensitive part of any system and its loss or compromise can have disastrous consequences. We discuss three different types of access: Discretionary access control (DAC), Mandatory access control (MAC) and role. based access control (RBAC) in Relational DBMS and object oriented data bases. We have identified some of the issues and current proposals;current security models in object oriented database systems and outline possible direction issues for future research.

关键词： semantics structural and dynamic data model access control database security authorization policy and logic-based specification

来源：评论

学校读者我要写书评

暂无评论

A Prolog-oriented extension of Java programming based on generics and annotations 07

A Prolog-oriented extension of Java programming based on gen...

引用

2007 5th International conference on the Principles and Practice of programming in Java, PPPJ 2007

作者： Cimadamore, Maurizio Viroli, Mirko DEIS Cesena Alma Mater Studiorum Università di Bologna via Venezia 52 47023 Cesena Italy

ISBN: (纸本)9781595936721

Although object-oriented languages are nowadays the mainstream of application development, several research contexts suggest that a multi-paradigm approach is worth pursuing. In particular, a declarative, logic-based paradigm could fruitfully add functionalities related to automatic reasoning, adaptivity, and conciseness in expressing algorithms. In this paper we present P@J, a framework for enhancing interoperability between Java and Prolog based on the tuProlog open-source Prolog engine for Java. P@J supports smooth language-interoperability by first introducing an API for modeling first-order logic terms by Java generics and wildcards, promoting expressiveness and safety. On top of it, an annotation layer is then introduced that extends Java with the ability of implementing parts of the application code using Prolog. Copyright 2007 ACM.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Verification of object relational maps

Verification of object relational maps

引用

5th IEEE International conference on Software Engineering and Formal Methods, SEFM 2007

作者： Mehra, Krishna K. Rajamani, Sriram K. Sistla, A. Prasad Jha, Sumit K. Microsoft Research India University of Illinois Chicago United States Carnegie Melon University

ISBN: (纸本)0769528848

Enterprise software systems need to deal with two dominant data models. While object oriented languages (such as Java, C#, C++) are the dominant ways to write business logic, relational databases are the dominant ways to store data. Object-Relational (OR) maps are widely used to mediate between these two data models. We present a system to verify correctness of OR maps. We formulate simple correctness conditions for OR maps, and convert these conditions to validity of formulas in first order logic. We have built a verification tool called ROUNDTRIP that is able to both validate and find errors in OR maps defined in the ESQL language of the Microsoft EDM data model. © 2007 IEEE.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

FSMC+, a tool for the generation of Java code from statecharts 07

FSMC+, a tool for the generation of Java code from statechar...

引用

2007 5th International conference on the Principles and Practice of programming in Java, PPPJ 2007

作者： Tiella, Roberto Villafiorita, Adolfo Tomasi, Silvia IRST via Sommarive 18 Trento Italy

ISBN: (纸本)9781595936721

ProVotE is a two-phase project aiming at actuating art. 84 of law 2 - 5/3/2003 of the Autonomous Province of Trento (Italy), which promotes the introduction of e-voting systems for the next provincial elections in Trentino (Nov. 2008). During the first phase of the ProVotE project we built jprovote, a Java/Linux e-voting system. the jprovote system has been used with experimental value by more than 11000 voters during local elections held in various municipalities of Trentino (Italy). A critical component of jprovote is its core logic, that is responsible of controlling the overall behavior of the e-voting machine during an election. In order to simplify its development and to allow for formal verification of this critical component we developed FSMC+. FSMC+ is a compiler that takes as input a subset of UML Statecharts and produces the corresponding Java and NuSMV code (NuSMV is a model checker developed at ITC-irst). Support for parameters in events, complex expressions in guards, and support to nested states are some of the distinguishing features of FSMC+. In this paper we present FSMC+ and we show how we used it for the development and the verification of the ProVotE e-voting machine. Even though FSMC+ has been specifically created to ease the development of jprovote, we believe the approach and the tool we developed to be general enough to be used in other applications. Copyright 2007 ACM.

关键词： Automatic programming

来源：评论

学校读者我要写书评

暂无评论

Bridging Java and AspectJ through explicit join points 07

Bridging Java and AspectJ through explicit join points

引用

2007 5th International conference on the Principles and Practice of programming in Java, PPPJ 2007

作者： Hoffman, Kevin Eugster, Patrick Purdue University 305 N. University Street West Lafayette IN 47907

ISBN: (纸本)9781595936721

through AspectJ, aspect-oriented programming (AOP) is becoming of increasing interest and availability to Java programmers as it matures as a methodology for improved software modularity via the separation of cross-cutting concerns. AOP proponents often advocate a development strategy where Java programmers write the main application, ignoring cross-cutting concerns, and then AspectJ programmers, domain experts in their specific concerns, weave in the logic for these more specialized cross-cutting concerns. However, several authors have recently debated the merits of this strategy by empirically showing certain drawbacks. the proposed solutions paint a different development strategy where base code and aspect programmers are aware of each other (to varying degrees) and interactions between cross-cutting concerns are planned for early on. Herein we explore new possibilities in the language design space that open up when the base code is aware of cross-cutting aspects. Using our insights from this exploration we concretize these new possibilities by extending AspectJ with concise yet powerful constructs, while maintaining full backwards compatibility. these new constructs allow base code and aspects to cooperate in ways that were previously not possible: arbitrary blocks of code can be advised, advice can be explicitly parameterized, base code can guide aspects in where to apply advice, and aspects can statically enforce new constraints upon the base code that they advise. these new techniques allow aspect modularity and program safety to increase. We illustrate the value of our extensions through an example based on transactions. Copyright 2007 ACM.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

An Open Source IEC 61131-3 Integrated Development Environment

An Open Source IEC 61131-3 Integrated Development Environmen...

引用

IEEE International conference on Industrial Informatics (INDIN)

作者： Edouard Tisserant Laurent Bessard Mario de Sousa TBI SARL France Electrical Engineering Department University of Porto Porto Portugal

the IEC 61131-3 standard defines a common framework for programming PLCs (programmable logic controllers), which includes the complete definition of four programming languages and a state machine definition language. Industrial PLC vendors are slowly offering support for this standard, however small inconsistencies remain between their implementations, transferring programs between vendors is almost impossible due to different file formats, and licenses are generally too expensive to allow students do install these commercial solutions on their own computers. To this end, the authors have developed an integrated development environment (IDE) for the IEC 61131-3 framework, which is being offered to the general public under the GNU public license (GPL). the IDE consists of a graphical user interface (GUI) and a backend compiler. Using the GUI the user may develop programs in any of the four programming languages, as well as the state machine definition language. the backend compiler is used to convert these programs into equivalent C++ programs which may later be compiled and executed on various platforms.

关键词： IEC standards Programmable control Computer languages Graphical user interfaces Industrial control logic programming Licenses Standards development Hardware Microcomputers

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共48页 << < 15 16 17 18 19 20 21 22 23 24 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：