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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

421 篇 会议
23 篇 期刊文献
19 册 图书

馆藏范围

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

日期分布

学科分类号

332 篇 工学
- 305 篇 计算机科学与技术...
- 206 篇 软件工程
- 55 篇 控制科学与工程
- 31 篇 电气工程
- 18 篇 信息与通信工程
- 11 篇 建筑学
- 10 篇 机械工程
- 10 篇 电子科学与技术（可...
- 9 篇 土木工程
- 8 篇 生物医学工程（可授...
- 7 篇 材料科学与工程（可...
- 7 篇 交通运输工程
- 5 篇 力学（可授工学、理...
- 5 篇 生物工程
- 4 篇 仪器科学与技术
- 4 篇 化学工程与技术
85 篇 理学
- 68 篇 数学
- 13 篇 统计学（可授理学、...
- 10 篇 生物学
- 10 篇 系统科学
- 7 篇 物理学
28 篇 管理学
- 18 篇 管理科学与工程(可...
- 10 篇 图书情报与档案管...
- 9 篇 工商管理
12 篇 医学
- 10 篇 基础医学(可授医学...
- 10 篇 临床医学
- 7 篇 药学(可授医学、理...
4 篇 经济学
- 4 篇 应用经济学
4 篇 教育学
- 4 篇 教育学
3 篇 法学
- 3 篇 社会学
2 篇 农学

主题

83 篇 logic programmin...
21 篇 computer circuit...
19 篇 fuzzy logic
14 篇 programming
14 篇 artificial intel...
13 篇 semantics
13 篇 computer program...
13 篇 programming lang...
12 篇 mathematical log...
12 篇 programming tech...
12 篇 logics and meani...
10 篇 logic gates
10 篇 linear programmi...
9 篇 genetic programm...
9 篇 software enginee...
8 篇 logic
8 篇 web services
7 篇 programmable log...
7 篇 formal logic
7 篇 prolog (programm...

机构

3 篇 cwi p.o. box 940...
2 篇 sri int menlo pk...
2 篇 huelva universit...
2 篇 department of co...
2 篇 trinity coll dub...
2 篇 computer science...
2 篇 hanoi univ techn...
2 篇 department of me...
2 篇 fujitsu laborato...
2 篇 dept. of informa...
2 篇 industrial depar...
2 篇 department of ma...
2 篇 department of el...
2 篇 faculty of elect...
2 篇 univ kent canter...
2 篇 vienna univ tech...
2 篇 shanghai jiao to...
2 篇 department of co...
2 篇 la trobe univ de...
2 篇 university of ke...

作者

2 篇 riedl l
2 篇 ortiz m
2 篇 yu yong
2 篇 casadei roberto
2 篇 kahl wolfram
2 篇 ray oliver
2 篇 le van hung
2 篇 kifer michael
2 篇 lin ying
2 篇 zhao na
2 篇 moto-oka t.
2 篇 ueda kazunori
2 篇 stehr mark-olive...
2 篇 zhang xuan
2 篇 pianini danilo
2 篇 jaffar joxan
2 篇 dundua besik
2 篇 tanaka h.
2 篇 deng yuxin
2 篇 niemela i

语言

456 篇 英文
7 篇 其他

检索条件"任意字段=4th International Conference on Logic Programming, 1985"

共 463 条记录，以下是81-90 订阅

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

详细简洁

排序：

Multi-variable-term Latticized Linear programming with Addition-Min Fuzzy Relation Inequalities Constraint 4th

Multi-variable-term Latticized Linear Programming with Addit...

引用

4th international conference on Quantitative logic and Soft Computing (QLSC)

作者： Lin, Hai-Tao Yang, Xiao-Peng Hanshan Normal Univ Sch Math & Stat Chaozhou 521041 Guangdong Peoples R China

ISBN: (纸本)9783319462066;9783319462059

P2P network can be reduced into a system of fuzzy relation inequalities with addition-min composition. In this paper we introduce multi-variable-term latticized linear programming subject to this system. Firstly, we introduce some properties on the minimal solution of the system. Next we define the minimal intervals of the system. Meanwhile, We prove that the optimal solution of the programming is the minimal solution of the system. Finally, we get algorithm for the programming by translating it into some linear programming problems with minimal intervals constraint. An example is given to show the efficiency and feasibility of the algorithm.

关键词： Fuzzy relation inequality Latticized linear programming Addition-min composition Minimal interval

来源：评论

学校读者我要写书评

暂无评论

programming and testing a PLC to control a scalable industrial plant in remote way 4

Programming and testing a PLC to control a scalable industri...

引用

4th Experiment at international conference, exp.at 2017

作者： Márquez, Marco Mejías, Andrés Herrera, Reyes Andújar, José Manuel Huelva University Spain

ISBN: (纸本)9781538608104

this paper presents a scalable industrial plant which puts plug and label to bottles. It is controlled by a commercial programmable logic controller (PLC). To do that, the plant has two conveyor belts. the first one goes from the origin to the place where the plug is put to the bottle and the second one goes from that place to where the label is put (the end of the route). the element which puts the plug is virtual, implemented using augmented reality (AR) techniques, and the labeler is a real element. Moreover, the plant is a combination of real and virtual elements. the presented plant is accessed from internet (both the PLC to be programmed and the plant to test the control program). It has been proposed to make a practical class in several subjects at the University of Huelva. © 2017 IEEE.

关键词： Programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 4th ACM international conference on Nanoscale Computing and Communication, NanoCom 2017

Proceedings of the 4th ACM International Conference on Nanos...

引用

4th ACM international conference on Nanoscale Computing and Communication, NanoCom 2017

ISBN: (纸本)9781450349314

the proceedings contain 32 papers. the topics discussed include: received signal strength for randomly distributed molecular nanonodes;event and node identification from a single-pulse transmission in self-powered nanosensor networks;chemical reaction networks for maximum likelihood estimation of the concentration of signalling molecules;ratiometric logic in living cells via competitive binding of synthetic transcription factors;design principles of data converters for building large-scale gene networks in living cells;achieving in-phase synchronization in a diffusion-based nanonetwork with unknown propagation delay;increase detection algorithm for concentration-encoded diffusion-based molecular communication;simulation analysis of inter-symbol interference in diffusion-based molecular communication with non-absorbing receiver;a programming framework for neuromorphic systems with emerging technologies;brain-inspired computing accelerated by memristor technology;towards spiking neuromorphic system-on-a-chip with bio-plausible synapses using emerging devices;molecular communication with dna cellular storage system;prospects for the application of 2-dimensional materials to terahertz-band communications;and a folded wireless network-on-chip using graphene based thz-band antennas.

关键词：

来源：评论

学校读者我要写书评

暂无评论

IEEE 4th international conference on Soft Computing and Machine Intelligence, ISCMI 2017

IEEE 4th International Conference on Soft Computing and Mach...

引用

4th IEEE international conference on Soft Computing and Machine Intelligence, ISCMI 2017

ISBN: (纸本)9781538613146

the proceedings contain 40 papers. the topics discussed include: quality assessment of large scale dimensionality reduction methods;integrating data science and R programming at an early stage;improvement algorithms of perceptually important point identification for time series data mining;a large-scale filter method for feature selection based on Spark;applying machine learning to big data streams-an overview of challenges;use of reliability engineering concepts in machine learning for classification;interactive concepts for shaping generative models of spatial behavior;an enhanced clustering analysis based on glowworm swarm optimization;change reaction strategies for DNSGA-II solving dynamic multi-objective optimisation problems;variation of ant colony optimization parameters for solving the travelling salesman problem;playing the game of snake with limited knowledge: unsupervised neuro-controllers trained using particle swarm optimization;feature selection for an SVM based webpage classifier;accessibility and search engine optimization on scalable vector graphics;emotional journey for an emotion provoking cycling exergame;high-speed human detection in top-view images by feature scaling for informed filters;fast algorithm for isolated words recognition based on hidden Markov model stationary distribution;automatic identification of wake vortex traverse by transport aircraft using fuzzy logic;and study on automatic tracking algorithm of neurons in most atlas of mouse brain based on open curve snake.

关键词：

来源：评论

学校读者我要写书评

暂无评论

2017 4th international conference on Power, Control and Embedded Systems, ICPCES 2017

2017 4th International Conference on Power, Control and Embe...

引用

4th international conference on Power, Control and Embedded Systems, ICPCES 2017

ISBN: (纸本)9781509044269

the proceedings contain 60 papers. the topics discussed include: a comparative study of junctionless dual material double gate silicon on insulator (SOI) and silicon on nothing (SON) MOSFET;performance analysis of three-phase five-level NPC inverter by using triangular and trapezoidal triangular carrier-based modulation techniques;harmonic mitigation of cascaded multilevel inverter with non equal dc sources using hybrid Newton Raphson method;a genetic algorithm tuned Kalman filter for estimating harmonic and inter-harmonic attributes;comparative analysis of junctionless bulk and SOI/SON FinFET;charge plasma based graded channel with dual material double gate JLT for enhance analog/RF performance;analysis of low power feedthrough logic with leakage control technique;architecture of cost-effective, advanced, high data rate baseband data handling system and realization for high resolution remote sensing satellites;RNN based soft sensor for estimation of concentration for a reactive distillation column;implicit language identification system based on random forest and support vector machine for speech;online identification of coherent generators in power system by using SVM;power system state estimation by linear programming under false data injection attack;enhanced fault ride - through ability of DFIG-based wind energy system using superconducting fault current limiter;wells turbine modeling and pi control scheme for OWC plant using Xilinx system generator;and voltage profile improvement in off grid wind turbine system using MGVC and diesel generator.

关键词：

来源：评论

学校读者我要写书评

暂无评论

4th international conference on HCI in Business, Government and Organizations, HCIBGO 2017, held as part of the 19th international conference on Human-Computer Interaction , HCI 2017

4th International Conference on HCI in Business, Government ...

引用

14th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2017

ISBN: (纸本)9783319584836

the proceedings contain 66 papers. the special focus in this conference is on HCI in Business, Government and Organizations. the topics include: Sharing economy versus access economy;employing relation visualizations to enhance the shopping experience on a used car trading platform;the effects of scarcity messages on online impulsive purchase;a survey based on the octalysis framework;priming and context effects of banner ads on consumer based brand equity;effect of timing and source of online product recommendations;optimize the coupon face value for online sellers;acceptance of personalization in omnichannel retailing;eye-tracking analysis of gender-specific online information research and buying behavior;participation in collaborative consumption;dueling for trust in the online fantasy sports industry;a longitudinal analysis;a theoretical model of incorporating gamification design into on-line marketing;extracting important knowledge from multiple markets using transfer learning;numbers speak where words fail;perceptions from security guards;the duality of envy in online social information consumption;context sensitive digital marketing;encouraging the participation in mobile collaborative consumption using gamification design;development of an online checklist for the assessment of alarm systems and alarm management in process control;impact of mobile it consumerization on organizations;a review on neuropsychophysiological correlates of flow;contract visualisation and a transaction cost equilibrium analysis on overlap between emergency response task groups.

关键词：

来源：评论

学校读者我要写书评

暂无评论

15th international conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2017

15th International Conference on Practical Applications of A...

引用

4th international conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2017

ISBN: (纸本)9783319599298

the proceedings contain 40 papers. the special focus in this conference is on Practical Applications of Agents and Multi-Agent Systems. the topics include: Concept of a multi agent based decentralized production system for the automotive industry;addressing the challenges of conservative event synchronization for the sarl agent-programming language;agent-based integration of complex and heterogeneous distributed energy resources in virtual power plants;interactions among information sources in weather scenarios;a proposal for deploying teleo-reactive nodes for IOT systems;practical reasoning about complex activities;integrating decentralized coordination and reactivity in mas for repair-task allocations;coordination of mobile mules via facility location strategies;agent-based modelling for security risk assessment;scheduling access to shared space in multi-robot systems;multi-agent system for distributed cache maintenance;agent negotiation techniques for improving quality-attribute architectural tradeoffs;a multi-level multi-agent simulation framework in animal epidemiology;replication-based self-healing of mobile agents exploring complex networks;improvement of robustness to environmental changes by autonomous divisional cooperation in multi-agent cooperative patrol problem;multi-agent parking place simulation;a knowledge-based virtual conversation agent;message analysis between agents for detection of emerging behaviors in open environments;managing disruptions with a multi-agent system for airline operations control;an actor-based platform for developing emergent behaviour;learning environment to teach logic;learning styles multi-agents simulation and multi-agent system for distributed cache maintenance.

关键词：

来源：评论

学校读者我要写书评

暂无评论

programming and testing a PLC to control a scalable industrial plant in remote way

Programming and testing a PLC to control a scalable industri...

引用

Experiment@ international conference (exp.at)

作者： Marco Márquez Andrés Mejías Reyes Herrera José Manuel Andújar Huelva University Spain

ISBN: (纸本)9781538608111

关键词： Plugs Belts Augmented reality Remote laboratories Engineering education

来源：评论

学校读者我要写书评

暂无评论

K: A Wide Spectrum Language for Modeling, programming and Analysis 4

K: A Wide Spectrum Language for Modeling, Programming and An...

引用

4th international conference on Model-Driven Engineering and Software Development (MODELSWARD)

作者： Havelund, Klaus Kumar, Rahul Delp, Chris Clement, Bradley CALTECH Jet Prop Lab 4800 Oak Grove Dr Pasadena CA 91125 USA

ISBN: (纸本)9789897582325

the formal methods community has over the years proposed various formally founded specification languages based on predicate logic and set theory, typically with textual notations. At the same time the model-based engineering community has proposed often less formally founded languages such as UML and SysML, typically with graphical notations. Although the graphical notations have become highly popular in industry, we argue that textual notations can be attractive in many situations. We report on an effort to provide a textual notation for SysML, realized in a language named K. K supports classes, multiple inheritance, predicate logic and set theory. K contains programming constructs, and can thus be considered as a wide-spectrum modeling and programming language. We further explain the translation of a subset of this language to the input language of the SMT-LIB standard, and the application of Z3 for analysis of the generated SMT-LIB formulas. the entire effort is part of a larger effort to develop a general purpose SysML development framework for designing systems, in support of NASA's proposed 2022 mission to Jupiter's moon Europa.

关键词： Modeling programming Constraints Refinement Verification SMT Analysis SysML Translation

来源：评论

学校读者我要写书评

暂无评论

ASSESSMENT OF RELATEDNESS TO A GIVEN SOLUTION IN 3D FABRICATION AND PROTOTYPING EDUCATION 4

ASSESSMENT OF RELATEDNESS TO A GIVEN SOLUTION IN 3D FABRICAT...

引用

4th international conference on Design Creativity,Georgia Institute of Technology

作者： Georgiev, G., V Oja, M. Sanchez, I Pyykkonen, M. Leppanen, T. Ylioja, J. van Berkel, N. Riekki, J. Univ Oulu Ctr Ubiquitous Comp Oulu Finland

ISBN: (纸本)9781904670827

this study outlines initial steps to define a new framework to measure relatedness, originality and creativity of student projects in FabLab environment. A default project topic provided to students in a 3D fabrication and prototyping class served as a basis to investigate originality on the functional component level. the added components with their input and output methods, along with the control logic, were used to judge the relatedness to a given solution of the generated design ideas. An example set of ideas given by the students was evaluated with the proposed framework. the framework can complement existing measures of originality and creativity in general.

关键词： 3D fabrication FabLab prototyping interactive prototype programming microcontroller Arduino creativity assessment

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共47页 << < 5 6 7 8 9 10 11 12 13 14 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：