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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,450 篇 会议
99 册 图书
85 篇 期刊文献

馆藏范围

2,634 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,646 篇 工学
- 1,291 篇 计算机科学与技术...
- 656 篇 软件工程
- 366 篇 电气工程
- 251 篇 控制科学与工程
- 109 篇 信息与通信工程
- 105 篇 机械工程
- 61 篇 电子科学与技术（可...
- 40 篇 动力工程及工程热...
- 36 篇 交通运输工程
- 34 篇 仪器科学与技术
- 24 篇 建筑学
- 24 篇 石油与天然气工程
- 24 篇 生物医学工程（可授...
- 22 篇 生物工程
- 22 篇 公安技术
- 20 篇 土木工程
- 20 篇 安全科学与工程
402 篇 理学
- 300 篇 数学
- 60 篇 系统科学
- 53 篇 物理学
- 46 篇 统计学（可授理学、...
- 28 篇 生物学
- 25 篇 化学
237 篇 管理学
- 177 篇 管理科学与工程(可...
- 75 篇 图书情报与档案管...
- 60 篇 工商管理
71 篇 教育学
- 71 篇 教育学
33 篇 经济学
- 26 篇 应用经济学
28 篇 医学
- 19 篇 基础医学(可授医学...
27 篇 法学
- 19 篇 社会学
9 篇 农学
9 篇 艺术学
4 篇 文学
1 篇 哲学
1 篇 历史学

主题

184 篇 logic gates
172 篇 fuzzy logic
150 篇 programming
107 篇 logic programmin...
94 篇 linear programmi...
76 篇 artificial intel...
71 篇 dynamic programm...
59 篇 probabilistic lo...
58 篇 software enginee...
58 篇 optimization
57 篇 computer science
57 篇 semantics
47 篇 software
45 篇 logic design
44 篇 formal logic
44 篇 computer archite...
43 篇 mathematical mod...
42 篇 mathematical log...
41 篇 logic
41 篇 hardware

机构

7 篇 institute for lo...
5 篇 institute of log...
5 篇 university of am...
5 篇 department of in...
4 篇 natl tech univ a...
4 篇 international bu...
4 篇 tu wien austria
4 篇 graduate school ...
4 篇 university of al...
4 篇 imdea software i...
4 篇 carnegie mellon ...
4 篇 university of te...
4 篇 university of mi...
3 篇 university of la...
3 篇 department of co...
3 篇 free univ bozen ...
3 篇 department of co...
3 篇 department of co...
3 篇 ibm corp armonk ...
3 篇 cesnet prague cz...

作者

7 篇 woltran stefan
6 篇 eiter thomas
5 篇 leone nicola
5 篇 faber wolfgang
5 篇 tompits hans
4 篇 tian cong
4 篇 tokhi m. o.
4 篇 sakama chiaki
4 篇 jânio monteiro
4 篇 frangopoulos chr...
4 篇 barnes tiffany
4 篇 pedro j. s. card...
4 篇 michael h. lees
4 篇 l.g. votta
4 篇 jack j. dongarra
4 篇 leonard barolli
4 篇 dimopoulos georg...
4 篇 roberto lam
4 篇 valeria v. krzhi...
4 篇 duan zhenhua

语言

2,573 篇 英文
37 篇 其他
18 篇 中文
2 篇 德文
2 篇 法文
1 篇 西班牙文
1 篇 俄文

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

共 2634 条记录，以下是2551-2560 订阅

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

详细简洁

排序：

Probabilistic Assessment of Harmonics in a Residential Network

Probabilistic Assessment of Harmonics in a Residential Netwo...

引用

international conference on Harmonics and Quality of Power

作者： Pablo Rodríguez-Pajarón Araceli Hernandez Jovica V. Milanović Escuela Técnica Superior de Ingenieros Industriales Universidad Politécnica de Madrid Madrid Spain School of Electrical and Electronics Engineering The University of Manchester Manchester UK

ISBN: (数字)9781728136974

ISBN: (纸本)9781728136981

this paper presents a framework to assess voltage harmonic levels of future distribution networks with increasing participation of nonlinear loads and photovoltaic distributed generation. the methodology proposed is used to assess harmonic impact up to 7 th order and thD degradation in future scenarios up till year 2030 in low voltage residential networks. Stochastic behaviour of loads and photovoltaic generation is considered in the model by applying a probabilistic approach that accounts for uncertainties in electrical devices allocation and performance. A Monte Carlo simulation is performed for every scenario studied in order to obtain a probabilistic assessment of harmonic *** methodology proposed is applied to the IEEE European Low Voltage network and results are compared to standard EN50160 limits as the reference framework for low voltage power quality indices.

关键词： Harmonic analysis Probabilistic logic Power system harmonics Low voltage Load modeling Stochastic processes Uncertainty

来源：评论

学校读者我要写书评

暂无评论

Advanced Computer-Aided Optimization of Quartz Resonator-Based Sensors

Advanced Computer-Aided Optimization of Quartz Resonator-Bas...

引用

international conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH)

作者： Volodymyr Savchenko Oksana Mnushka Oleg Sokulskyi Computer Engineering and Programming Department National Technical University “Kharkiv Polytechnic Institute” Kharkiv Ukraine Information Systems and Technologies Department National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute” Kyiv Ukraine

ISBN: (数字)9798350378627

ISBN: (纸本)9798350378634

In this study, we present an improved approach to optimizing the parameters of sensor sensing elements using quartz resonators with an interelectrode gap. We combine graphical and analytical methods to solve the multi-criteria optimization problem. the work focuses on the modes of operation of a quartz resonator equipped with an interelectrode gap in sensors with a frequency output, determining a set of optimal parameters and representing them as surfaces in a particular optimization parameter space. the presented results reveal specific areas on the surface of the objective function where optimization of design and technological parameters is possible, taking into account technological influences and features of the sensor design, including the initial value of the interelectrode gap. By using an improved mathematical model for the oscillations of a quartz resonator with an electrode gap, this study achieves results with an accuracy of ($8 . . .11$)% higher than previous studies, demonstrating the effectiveness of the proposed method in improving the design and functionality of piezoelectric sensors for advanced applications.

关键词： Micromechanical devices Electrodes Accuracy Resonant frequency Linear programming Mathematical models Sensors

来源：评论

学校读者我要写书评

暂无评论

GaN broadband Power Amplifiers for terrestrial and space transmitters

GaN broadband Power Amplifiers for terrestrial and space tra...

引用

international conference on Microwaves, Radar and Wireless Communications

作者： Rocco Giofrè Paolo Colantonio Franco Giannini Electronic Engineering Department University of Roma Tor Vergata Roma Italy

this contribution reports several Power Amplifiers (PAs) designed using both GaN-on-Si and GaN-on-SiC technologies provided by Selex-SI foundry. the former is still under development while the other one is more stable and under space qualification procedure. thus, in order to give a comprehensive evaluation of both technologies, two PAs were developed in hybrid form for Ultra Wide Band (UWB) terrestrial applications using GaN-on-Si HEMT devices, and another one was developed in monolithic form for space transmitter using the GaN-on-SiC technology. About the hybrid PAs, two different active device peripheries were selected. the first one was a 10×100 μm gate periphery named P10D and the second one was a 12×200 μm gate periphery named P12G. the amplifiers were designed in a single ended configuration using the source/load-pull and Scattering parameters measured data. From the expected performances, the PA built with P10D has an operative bandwidth from 1 GHz to 7 GHz with a saturated output power higher than 37 dBm while the other one has an operative bandwidth from 1 GHz to 6 GHz with a saturated output power around 41 dBm. Instead, the HPA designed using GaN-on-SiC technology, represents the first step towards the realization of a fully integrated GaN transmitter for X-Band space applications. In this case, experimental results shown that the HPA reaches an output power higher than 41 dBm with a gain higher than 17 dBm and a ripple lower than 0.5 dB from 8.6 GHz to 10.6 GHz frequency range in a chip area lower than 10 mm 2 .

关键词： Power amplifiers Decision support systems Scattering parameters Power generation HEMTs Transmitters logic gates

来源：评论

学校读者我要写书评

暂无评论

Enriching a Spatial Road Representation with Lanes and Driving Directions

Enriching a Spatial Road Representation with Lanes and Drivi...

引用

IEEE international conference on Intelligent Transportation Systems

作者： E. Casapietra T. H. Weisswange C. Goerick F. Kummert Dépt. LUSSI Institut Mines-Telecom/Telecom Bretagne Rennes France

ISBN: (纸本)9781509018901

the detection of lane layout in the surroundings of the ego-vehicle is a key issue for modern ADAS and autonomous driving. Most modern systems rely on annotated spatial maps to provide lane information. However, these maps are not available everywhere, and thus have to be often supported by direct detection systems (e.g. cameras, lasers). Such systems detect lane boundaries by directly observing lane markings or sensing curbstones and pavements. However, well defined boundaries are not always there, or they can be difficult to detect, especially in rural or inner city roads. Furthermore, other traffic participants in the surroundings can significantly limit the field of view of the ego-vehicle. In order to help lane detection in this kind of scenario, indirect cues, such as the behavior of the other vehicles, can be a useful resource. In this paper we propose a grid-based approach, that works on a road terrain representation and assigns a lane and a driving direction to each patch of road. Our approach segments the road terrain into multiple lanes based on geometrical considerations and prior knowledge, and then assigns a driving direction to each lane, taking into account the observed and predicted motion of the other vehicles in the scene. the road terrain is provided by a system we proposed in a previous work, which combines direct and indirect cues to build a probabilistic road representation grid. this new approach constitutes an additional layer to our representation, providing more awareness about the road regulations to motion control systems and allowing them to plan safer trajectories.

关键词： Roads Vehicles Sensors Layout Trajectory Probabilistic logic Radar

来源：评论

学校读者我要写书评

暂无评论

What Research Skills Do Scholars Excel at?—Based on Individual Contribution and External Recognition 19th

What Research Skills Do Scholars Excel at?—Based on Individ...

引用

19th international conference on Wisdom, Well-Being, Win-Win, iconference 2024

作者： Xiao, Aoxia Yang, Siluo Yue, Mingliang Jin, Minshu School of Information Management Wuhan University Wuhan China Wuhan Library Chinese Academy of Sciences Wuhan China

ISBN: (纸本)9783031578595

Diverse research skills are used by scholars in their studies, such as methods design, data investigation, and writing, which significantly influence their research quality and subsequent scientific reputation. Existing scholar evaluation programs focus on providing a composite indicator for ranking scholars and lack specific analysis of scholars’ research skill performance. this study proposes a practical framework that characterizes research skill performance from two perspectives: individual contribution and external recognition. Individual contribution is assessed through the author’s contribution statement, while external recognition is evaluated through citations and altmetrics. Based on these two perspectives, the framework measures scholars’ skill performance in three dimensions: proficiency, academic reputation, and social impact. these dimensions provide a detailed and specific evaluation of individual scholar performance and allow for the advancement of successful research collaborations. the application of this framework to a specific scholar, Smith GD, who has published the most articles in the open-access journal PLOS Medicine, demonstrates its effectiveness in portraying scholars’ academic performance. the results show that Smith GD shows strong research skills in methodology, results analysis and validation, and manuscript writing, but could benefit from collaborating with colleagues who excel in practical operations and external support. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2024.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

logic and MRF circuitry for labeling occluding and thinline visual contours 05

Logic and MRF circuitry for labeling occluding and thinline ...

引用

Proceedings of the 19th international conference on Neural Information Processing Systems

作者： Eric Saund Palo Alto Research Center Palo Alto CA

this paper presents representation and logic for labeling contrast edges and ridges in visual scenes in terms of both surface occlusion (border ownership) and thinline objects. In natural scenes, thinline objects include sticks and wires, while in human graphical communication thin-lines include connectors, dividers, and other abstract devices. Our analysis is directed at both natural and graphical domains. the basic problem is to formulate the logic of the interactions among local image events, specifically contrast edges, ridges, junctions, and alignment relations, such as to encode the natural constraints among these events in visual scenes. In a sparse heterogeneous Markov Random Field framework, we define a set of interpretation nodes and energy/potential functions among them. the minimum energy configuration found by Loopy Belief Propagation is shown to correspond to preferred human interpretation across a wide range of prototypical examples including important illusory contour figures such as the Kanizsa Triangle, as well as more difficult examples. In practical terms, the approach delivers correct interpretations of inherently ambiguous hand-drawn box-and-connector diagrams at low computational cost.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Simulation of Parameters and Modes of Wave Propagation in Electromechanical Systems Using Methods of Inverse Problemstheory

Simulation of Parameters and Modes of Wave Propagation in El...

引用

international conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH)

作者： Petro Pukach Nataliya Protsakh Yurii Protsyk Ihor Demkiv Department of Computational Mathematics and Programming Lviv Polytechnic National University Lviv Ukraine Department of Mathematics and Physics Ukrainian National Forestry University Lviv Ukraine Department of Computer Sciences Ukrainian National Forestry University Lviv Ukraine

ISBN: (数字)9798350378627

ISBN: (纸本)9798350378634

this work is devoted to the determination of influence of the internal forces on the propagation of the waves in electromechanical systems. the task is simplified to an inverse problem for the third order hyperbolic equation with the integral overdetermination condition and with the unknown function in the right-hand side of the equation. Some numerical results are presented for viscoelastic medium and for liquid like water with solid parameters. the presented method gives us opportunity to find the precise analytical solutions to the mathematical problems that simulate the wave propagation.

关键词： Inverse problems Propagation Partial differential equations Solids Mathematical models Electromechanical systems Task analysis

来源：评论

学校读者我要写书评

暂无评论

MOAD: Modeling Observation-Based Approximate Dependency

MOAD: Modeling Observation-Based Approximate Dependency

引用

IEEE international Workshop on Source Code Analysis and Manipulation

作者： Seongmin Lee David Binkley Robert Feldt Nicolas Gold Shin Yoo KAIST Daejeon Republic of Korea Loyola University Maryland Baltimore United States Chalmers University of Technology Gothenburg Sweden University College London London United Kingdom

While dependency analysis is foundational to many applications of program analysis, the static nature of many existing techniques presents challenges such as limited scalability and inability to cope with multi-lingual systems. We present a novel dependency analysis technique that aims to approximate program dependency from a relatively small number of perturbed executions. Our technique, called MOAD (Modeling Observation-based Approximate Dependency), reformulates program dependency as the likelihood that one program element is dependent on another, instead of a more classical Boolean relationship. MOAD generates a set of program variants by deleting parts of the source code, and executes them while observing the impacts of the deletions on various program points. From these observations, MOAD infers a model of program dependency that captures the dependency relationship between the modification and observation points. While MOAD is a purely dynamic dependency analysis technique similar to Observation Based Slicing (ORBS), it does not require iterative deletions. Rather, MOAD makes a much smaller number of multiple, independent observations in parallel and infers dependency relationships for multiple program elements simultaneously, significantly reducing the cost of dynamic dependency analysis. We evaluate MOAD by instantiating program slices from the obtained probabilistic dependency model. Compared to ORBS, MOAD's model construction requires only 18.7% of the observations used by ORBS, while its slices are only 16% larger than the corresponding ORBS slice, on average.

关键词： Analytical models Probabilistic logic Inference algorithms Semantics Performance analysis Tools Trajectory

来源：评论

学校读者我要写书评

暂无评论

Synthesis and Simulation of Ensembles of Boolean Networks for Cell Fate Decision 18th

Synthesis and Simulation of Ensembles of Boolean Networks fo...

引用

18th international conference on Computational Methods in Systems Biology, CMSB 2020

作者： Chevalier, Stéphanie Noël, Vincent Calzone, Laurence Zinovyev, Andrei Paulevé, Loïc LRI CNRS UMR8623 Univ. Paris-Saclay Orsay France Institut Curie INSERM U. PSL Mines ParisTech Paris France Lobachevsky University Nizhny Novgorod603000 Russia Univ. Bordeaux Bordeaux INP CNRS LaBRI UMR5800 Talence33400 France

ISBN: (纸本)9783030603267

the construction of models of biological networks from prior knowledge and experimental data often leads to a multitude of candidate models. Devising a single model from them can require arbitrary choices, which may lead to strong biases in subsequent predictions. We introduce here a methodology for a) synthesizing Boolean model ensembles satisfying a set of biologically relevant constraints and b) reasoning on the dynamics of the ensembles of models. the synthesis is performed using Answer-Set programming, extending prior work to account for solution diversity and universal constraints on reachable fixed points, enabling an accurate specification of desired dynamics. the sampled models are then simulated and the results are aggregated through averaging or can be analyzed as a multi-dimensional distribution. We illustrate our approach on a previously published Boolean model of a molecular network regulating the cell fate decisions in cancer progression. It appears that the ensemble-based approach to Boolean modelling brings new insights on the variability of synergistic interacting mutations effect concerning propensity of a cancer cell to metastasize. © 2020, Springer Nature Switzerland AG.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Development of IoT applications based on the MicroPython platform for Industry 4.0 implementation

Development of IoT applications based on the MicroPython pla...

引用

MECHATRONIKA international Symposium

作者： Gabriel Gaspar Peter Fabo Michal Kuba Jana Flochova Juraj Dudak Zuzana Florkova Slovak University of Technology in Bratislava Trnava Slovak republic TNtech Bytca Slovak republic University of Žilina Zilina Slovak republic

ISBN: (数字)9781728156026

ISBN: (纸本)9781728156033

IoT and their industrial implementation aimed at Industry 4.0 is of a major interest among both research and development professionals. this article deals with the modifications and extensions possibilities of the standard MicroPython implementation on the STM32 platform, as well as the use in the development, implementation and programming of IoT peripherals, creation of custom libraries and custom modules at the hardware level. Discussed are the essentials associated with the development of general IoT application and the MicroPython environment, as a tool for rapid-prototyping of such applications. Portability is ensured thanks to the intensive utilization of HAL (Hardware Abstraction Layer) technology, which allows usage across the entire spectrum of devices with ported MicroPython. Modularity, scalability and extendibility of the application are demonstrated in examples, where the connection of a common LM92 temperature sensor, the control of a microcontroller pin and a DDS (Direct Digital Synthesis) generator are shown.

关键词： Industries Hardware Internet of things Task analysis Standards programming profession Microprogramming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共264页 << < 252 253 254 255 256 257 258 259 260 261 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：