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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,167 篇 会议
58 册 图书
37 篇 期刊文献

馆藏范围

1,261 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

922 篇 工学
- 870 篇 计算机科学与技术...
- 470 篇 软件工程
- 93 篇 控制科学与工程
- 66 篇 电气工程
- 43 篇 信息与通信工程
- 13 篇 机械工程
- 10 篇 土木工程
- 8 篇 建筑学
- 8 篇 石油与天然气工程
- 7 篇 交通运输工程
- 7 篇 生物工程
- 6 篇 生物医学工程（可授...
- 5 篇 力学（可授工学、理...
- 5 篇 仪器科学与技术
- 5 篇 电子科学与技术（可...
- 5 篇 农业工程
242 篇 理学
- 203 篇 数学
- 19 篇 系统科学
- 18 篇 物理学
- 15 篇 生物学
- 7 篇 统计学（可授理学、...
97 篇 管理学
- 62 篇 管理科学与工程(可...
- 41 篇 图书情报与档案管...
- 37 篇 工商管理
13 篇 教育学
- 12 篇 教育学
11 篇 医学
- 8 篇 基础医学(可授医学...
- 7 篇 临床医学
10 篇 法学
- 6 篇 社会学
7 篇 经济学
- 7 篇 应用经济学
7 篇 农学
- 6 篇 作物学
4 篇 文学
3 篇 哲学

主题

254 篇 logic programmin...
53 篇 artificial intel...
52 篇 fuzzy logic
42 篇 semantics
40 篇 formal logic
40 篇 mathematical log...
32 篇 computer circuit...
31 篇 logics and meani...
27 篇 software enginee...
23 篇 integer programm...
22 篇 temporal logic
21 篇 programming tech...
20 篇 programming lang...
19 篇 programming
19 篇 calculations
19 篇 knowledge repres...
18 篇 logic
17 篇 computer science
17 篇 answer set progr...
14 篇 software enginee...

机构

9 篇 univ bath dept c...
9 篇 vienna univ tech...
5 篇 univ london impe...
5 篇 rhein westfal th...
5 篇 univ london impe...
5 篇 univ texas dept ...
4 篇 tu wien austria
4 篇 simon fraser uni...
4 篇 department of co...
4 篇 guangxi key labo...
4 篇 univ liverpool d...
4 篇 univ potsdam ins...
4 篇 carnegie mellon ...
4 篇 univ glamorgan c...
4 篇 univ potsdam ins...
3 篇 univ potsdam ins...
3 篇 theoretical comp...
3 篇 saitama univ dep...
3 篇 microsoft resear...
3 篇 univ potsdam pot...

作者

12 篇 schaub torsten
12 篇 de vos marina
10 篇 brain martin
9 篇 ricca francesco
8 篇 gebser martin
8 篇 russo alessandra
7 篇 gore rajeev
6 篇 leone nicola
6 篇 andrei voronkov
6 篇 xu yang
6 篇 giesl juergen
5 篇 cliffe owen
5 篇 eiter thomas
5 篇 faber wolfgang
5 篇 cabalar pedro
5 篇 gupta gopal
5 篇 tompits hans
5 篇 schaub t
4 篇 mileo alessandra
4 篇 chang liang

语言

1,219 篇 英文
35 篇 其他
9 篇 中文
1 篇 葡萄牙文

检索条件"任意字段=7th International Conference on Logic for Programming and Automated Reasoning"

共 1262 条记录，以下是311-320 订阅

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

详细简洁

排序：

international conference on Emerging Trends in Engineering and Technology, ICETET

International Conference on Emerging Trends in Engineering a...

引用

7th international conference on Emerging Trends in Engineering and Technology, ICETET 2015

ISBN: (纸本)9781467383059

the proceedings contain 37 papers. the topics discussed include: a review of on-chip spectral analysis for built-in testing using FFT engine;area efficient FFT/IFFT processor design for MIMO OFDM system in wireless communication;bio-inspired optimization algorithms for improvement of vehicle routing problems;design and implementation of wearable device for neuropathic diabetic foot patients;design of basic logic gates using carbon nano tube field effect transistor and calculation of figure of merit;enhancing cloud security using multicloud architecture and device based identity;feed forward neural network optimization by particle swarm intelligence;prevention of simple power analysis attacks in elliptical curve cryptography on WSN platform;a heuristic approach for automated mammogram orientation in computer aided diagnosis;and development of mathematical models for compressive strength of concrete containing quarry dust and waste plastic as sand replacement.

关键词：

来源：评论

学校读者我要写书评

暂无评论

7th international conference on Computational Logistics, ICCL 2016

7th International Conference on Computational Logistics, ICC...

引用

7th international conference on Computational Logistics, ICCL 2016

ISBN: (纸本)9783319448954

the proceedings contain 29 papers. the special focus in this conference is on Container Terminals, Maritime Transportation, Intermodal Transport, Location, Routing, Supply Chain Management and Supply Chain Management. the topics include: A multi-product maritime inventory routing problem with undedicated compartments;a MIP based local search heuristic for a stochastic maritime inventory routing problem;2D-packing with an application to stowage in Roll-On Roll-Off liner shipping;a vessel pickup and delivery problem from the disruption management in offshore supply vessel operations;agent-based support for container terminals to make appointments with barges;a logic-based benders decomposition approach to improve coordination of inland vessels for inter-terminal transport;scenarios for collaborative planning of inter-terminal transportation;solving the robust container pre-marshalling problem;a cooperative approach to dispatching and scheduling twin-yard cranes in container terminals;online and offline container purchasing and repositioning problem;optimizing train load planning: review and decision support for train planners;analysis of cost allocation techniques for freight bundling networks in intermodal transport;service and transfer selection for freights in a synchromodal network;a revenue management approach for network capacity allocation of an intermodal barge transportation system;lore, a decision support tool for location, routing and location-routing problems;two echelon location routing problem with simultaneous pickup and delivery;mixed integer programming formulations and comparative analysis;vehicle routing for fleets with electric- and combustion-powered vehicles;the bi-objective k-dissimilar vehicle routing problem and improving production logistics through materials flow control and lot splitting.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Declarative Modeling Cases of Cyber Physical Systems

Declarative Modeling Cases of Cyber Physical Systems

引用

international conference on Logistics, Informatics and Service Sciences (LISS)

作者： Ding, Wei Engel, William Goode, Andre Santostasi, Giovanni Florida Polytech Univ Lakeland FL 33805 USA Northwestern Univ Chicago IL 60611 USA

ISBN: (纸本)9781509011025

A Cyber-physical system (CPS) is an engineering system made of computational components, i.e. cyber elements, and physical elements, that are connected by a communication network. CPSs have emerged as the contemporarily leading technology in major industry sectors such as manufacture, aerospace, automotive, etc. Nowadays CPS is almost the synonym of control systems for large and complex engineering systems. In addition, CPSs have inevitably interweaved with new technologies like Internet of things, cloud computing, ubiquitous computing, and big data processing. Taming the complexity has been the key challenge in CPS design. A novel declarative computing based platform was proposed in our previous paper to unify modeling and design of both cyber and physical components in CPSs. In this paper, the concepts and principles of the proposed declarative platform are depicted in details. In addition, modeling techniques of declarative networking and declarative control are showcased with concrete simulation examples.

关键词： declarative networking logic programming declarative control cyber-physical systems networked cyber-physical systems intelligent control

来源：评论

学校读者我要写书评

暂无评论

Optimization of selected components in MPD root: Capabilities of distributed programming techniques 7

Optimization of selected components in MPD root: Capabilitie...

引用

7th international conference Distributed Computing and Gridtechnologies in Science and Education, GRID 2016

作者： Fatkina, A. Iakushkin, O. Gasanova, O. Tazieva, L. Saint Petersburg State University 7/9 Universitetskaya emb. Saint-Petersburg199034 Russia

the article analyses the prospects of optimizing the architecture and the execution logic of selected scripts available in MPD Root project. We considered the option of porting the scripts to allow execution on massive parallel architectures. We collected and structured large data illustrating the project's work: • the project's dependency tables were drawn up with regard to the support of parallel and concurrent computing;• the source code database was indexed to identify cross dependencies among architectural entities;• the code profiling measurements were made at launch time of the scripts in question, the call sequences were analyzed, the execution time of the scripts was evaluated. the study evaluated the prospects of using various libraries and platforms: CUD A, OpenMP, OpenCL, TBB, and MPI. the obtained measurements and the analysis of the best practices of the software under consideration allows to make recommendations for modifying MPD Root in order to optimize: • vectorization of loops;• transfer of continuous computing segments to co-processing architecture;• source code segments whose operation can be represented as call graphs;• source code segments that can be subject to load allocation between computing nodes. © 2016 Fatkina A., Iakushkin O, Gasanova O, Tazieva L.

关键词： Parallel architectures

来源：评论

学校读者我要写书评

暂无评论

Least-violating planning in road networks from temporal logic specifications 16

Least-violating planning in road networks from temporal logi...

引用

IEEE/ACM international conference on Cyber-Physical Systems

作者： Jana Tumova Sertac Karaman Calin Belta Daniela Rus KTH Royal Institute of Technology Stockholm Sweden Massachusetts Institute of Technology Cambridge MA Boston University Boston MA

ISBN: (纸本)9781509017737

In this paper we consider the problem of automated plan synthesis for a vehicle operating in a road network, which is modeled as a weighted transition system. the vehicle is assigned a set of demands, each of which involves a task specification in the form of a syntactically co-safe LTL formula, a deadline for achieving this task, and a demand priority. the demands arrive gradually, upon the run of the vehicle, and hence periodical replanning is needed. We particularly focus on cases, where all tasks cannot be accomplished within the desired deadlines and propose several different ways to measure the degree of demand violation that take into account the demand priorities. We develop a general solution to the problem of least-violating planning and replanning based on a translation to linear programming problem. Furthermore, for a particular subclass of demands, we provide a more efficient solution based on graph search algorithms. the benefits of the approach are demonstrated through illustrative simulations inspired by mobility-on-demand scenarios.

关键词： modeled weighted transition efficient road network Temporal logic vehicle Specifications SOLUTIONS(GENERAL) graph search RUN

来源：评论

学校读者我要写书评

暂无评论

DC-DC Conversion Based On ZSI And Boost Rectifier Using Fuzzy logic Control 7

DC-DC Conversion Based On ZSI And Boost Rectifier Using Fuzz...

引用

7th IEEE India international conference on Power Electronics (IICPE)

作者： Rai, Rashmi Bhatia, R. S. Nijhawan, Parag Natl Inst Technol Dept Elect Engn Kurukshetra Haryana India Thapar Univ Elect & Instrumentat Engn Patiala Punjab India

ISBN: (纸本)9781509045303

this paper presents the application of ZSI for DC-DC conversion where both the inverter and converter stages is being controlled. the application of such system is in fuel cell. the fuel cell voltage output is very less which needs to be boosted up as per the requirement. So, ZSI performs both the boosting and inversion of voltage in single stage. the ZSI is controlled by simple boost control technique with the modification in traditional sinusoidal pulse width modulation. For second stage, the controller is designed for PWM boost rectifier. Fuzzy logic controller is integrated in the feedback loop and linear programming method is applied to shape the input current waveform. With fuzzy logic controller, the constant voltage is being obtained across the resistive load. the proposed method is simulated in SimPower System in MATLAB.

关键词： z-Source Inverter(ZSI) Simple Boost Control(SBC) Fuzzy logic Control DC-DC Converter

来源：评论

学校读者我要写书评

暂无评论

jLegends: Online game to train programming skills

jLegends: Online game to train programming skills

引用

international conference on Information, Intelligence, Systems and Applications (IISA)

作者： Konstantinos Tsalikidis George Pavlidis Department of Electrical Engineering Kavala Institute of Technology Kavala Greece Multimedia Research Group ‘Athena’ Research Center Xanthi Greece

ISBN: (纸本)9781509034307

Gamification and in particular game-based learning is significantly gaining ground during the latest decades. It expresses a different approach to education that is mixing education with gaming, aiming to enhance the learning experience with game mechanics and rules and to provide stronger motivations for lifelong learning. Many works have illustrated the benefits of learning while playing. this work presents such a game-based approach that has been adopted and used in the development of an online multiplayer platform game, with a purpose to teach or train programming with JavaScript. In effect it is like what is usually called a serious game, or a game with a purpose. the game, jLegends, is online and available for everyone to train and test knowledge on programming and logic, within a role-playing gaming approach. jLegends is built with source-code scalability in mind, in order to be expandable or even become open-sourced in the future.

关键词： Games programming profession Software Computers Education Encoding

来源：评论

学校读者我要写书评

暂无评论

Interest management through policy programming language

Interest management through policy programming language

引用

international conference on Computer Science and Information Technology (CSIT)

作者： Suzana Ahmad Siti Z.Z. Abidin Nasiroh Omar Universiti Teknologi MARA Shah Alam Selangor MY

ISBN: (纸本)9781467389150

Managing interest in collaborative data sharing involves determining interest of both owner and other parties. Interest management method is bound to information such as user request, location, history, preferences and data policies. Considering other researchers' works, managing data interest of sharing for its' constitutional adhered policy are rarely done in computerize manner. With attention that data shared are constituted with policy implicitly or explicitly, this paper proposes an automatic design of data policy via policy programming language in order to handle interest management. the study starts by analyzing secondary data through massive literature reviews. Two pertinent issues on interest management and data policy are explored, analyzed and summarized. Based on the research gap found in these analyses, an interest management for automated data policy is designed. As a case study, a new set of programming constructs are implemented and embedded into an existing collaborative language called JACIE (Java-based Authoring language for Collaborative Interactive Environments) that acts as a policy programming language. the results of this study conform that automated data policy is feasible and functioning well. thus, this helps an interest manager to have flexible data policy in handling collaborative activities.

关键词： Collaboration Computer languages programming History Adaptation models Information technology

来源：评论

学校读者我要写书评

暂无评论

Automatic parallel programming using the descartes specification language

Automatic parallel programming using the descartes specifica...

引用

international conference on Information and Communication Systems (ICICS)

作者： Nina Sakhnini Venkata N. Inukollu Joseph E. Urban Computer Engineering Jordan Uni. of Science and Tech Irbid Jordan School of Science and Computer University of Houston Clear Lake TX USA Arizona State University Tempe AZ USA

ISBN: (纸本)9781467386159

Automatic programming can be defined as developing software in a high abstraction level. the definition of automatic programming is not precise because what is meant by automatic programming is changing over time. the goal of automatic programming has the programmer set the specifications of a program and the computer generate the source code of that program. there exists a group of specification languages that vary in their properties; the Descartes specification language is known to be comprehensible and easily constructible. Descartes represents the specifications by defining a system's inputs and outputs, as well as the relationship between these as functions. Descartes has been extended to support concurrent systems. these features made Descartes to be a good basis to build this research effort on. this research effort studied automatic programming approaches and created a shortcut between specifications and implementation with all its benefits. this research created a way to transform Descartes specifications into C source code automatically. Automatic programming can apply to all fields of knowledge that can be automated; therefore, the scope of this research project was restricted to a few case studies that involve parallel programming.

关键词： Automatic programming Specification languages Parallel programming Software Computers Communication systems

来源：评论

学校读者我要写书评

暂无评论

automated ultrasonic testing for 3D laser-rapid prototyping blisk blades

Automated ultrasonic testing for 3D laser-rapid prototyping ...

引用

international conference on Mechanical and Aerospace Engineering (ICMAE)

作者： Dayong Guo Guojun Jiang Xinbo Lin Yue Wu Department of Mechanical Engineering Tsinghua University Beijing China Allrising (Beijing) Technology Co. Ltd Beijing China

ISBN: (纸本)9781467388306

3D Laser-rapid Prototyping blisk blades could have more defects, like slag inclusions, cracks and incomplete fusions, than ones made by traditional machining. therefore, a six-axis automated ultrasonic testing system (AUTS) was developed for 3D laser-rapid prototyping blisk blades in this paper. the applied technology is mainly about B-spline surface reconstruction from CAD, scan path planning based on B-spline surface and adaptive defect gating. In experiments conducted on blades with the system, defects could be clearly identified on generated 3D C-Scan images.

关键词： Blades Acoustics logic gates Solid modeling Splines (mathematics) Testing Surface reconstruction

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共127页 << < 28 29 30 31 32 33 34 35 36 37 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：