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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是2561-2570 订阅

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

详细简洁

排序：

A Research into a Method of Enlarging the Cutting Range by Five-axis Linkage

A Research into a Method of Enlarging the Cutting Range by F...

引用

2012 IEEE 19th international conference on Industrial Engineering and Engineering Management(IE&EM 2012)

作者： Xing-guo Liu An-chuan Liu Wei-yun Meng Dong-ye Liu Qing-ying Zhao Guang-teng Zhang School of Mechanical engineering Shandong Polytechnic University Shandong Provincial Key Laboratory of Advanced Machine-making of Light Industry and Monitoring Technology

this paper presents a method of enlarging the cutting range by multiple coordinate axes, in which the NC machine tool processes roller gear indexing cams. the relationship between parameters is derived and applied to the programming software. the actual application shows that this method can not only be used to expand the original machine tool processing range, but also be used to adjust the parameters. the stiffness and the processing efficiency of the machine tool is greatly improved by this method.

关键词： Center distance five-axis linkage NC programming roller gear indexing cam

来源：评论

学校读者我要写书评

暂无评论

Euro-Par 2013: Parallel Processing Workshops 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Dieter Mey Michael Alexander Paolo Bientinesi Carsten Clauss Mario Cannataro Alexandru Costan Christine Morin Gabor Kecskemeti Laura Ricci Julio Sahuquillo Martin Schulz Vittorio Scarano Stephen L. Scott Josef Weidendorfer

ISBN: (数字)9783642544200

ISBN: (纸本)9783642544194

this book constitutes thoroughly refereed post-conference proceedings of the workshops of the 19th international conference on Parallel Computing, Euro-Par 2013, held in Aachen, Germany in August 2013. the 99 papers presented were carefully reviewed and selected from 145 submissions. the papers include seven workshops that have been co-located with Euro-Par in the previous years: - Big Data Cloud (Second Workshop on Big Data Management in Clouds) - Hetero Par (11th Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms) - HiBB (Fourth Workshop on High Performance Bioinformatics and Biomedicine) - OMHI (Second Workshop on On-chip Memory Hierarchies and Interconnects) - PROPER (Sixth Workshop on Productivity and Performance) - Resilience (Sixth Workshop on Resiliency in High Performance Computing with Clusters, Clouds, and Grids) - UCHPC (Sixth Workshop on Un Conventional High Performance Computing) as well as six newcomers: - DIHC (First Workshop on Dependability and Interoperability in Heterogeneous Clouds) - Fed ICI (First Workshop on Federative and Interoperable Cloud Infrastructures) - LSDVE (First Workshop on Large Scale Distributed Virtual Environments on Clouds and P2P) - MHPC (Workshop on Middleware for HPC and Big Data Systems) -PADABS ( First Workshop on Parallel and Distributed Agent Based Simulations) - ROME (First Workshop on Runtime and Operating Systems for the Many core Era) All these workshops focus on promotion and advancement of all aspects of parallel and distributed computing.

关键词： System Performance and Evaluation Software Engineering/programming and Operating Systems Computer Systems Organization and Communication Networks Database Management Algorithm Analysis and Problem Complexity Computer Science, general

来源：评论

学校读者我要写书评

暂无评论

Flowverine: Leveraging Dataflow programming for Building Privacy-Sensitive Android Applications

Flowverine: Leveraging Dataflow Programming for Building Pri...

引用

IEEE international conference on Trust, Security and Privacy in Computing and Communications (TrustCom)

作者： Eduardo Gomes Igor Zavalyshyn Nuno Santos João Silva Axel Legay INESC-ID / Instituto Superior Técnico Universidade de Lisboa Lisbon Portugal UCLouvain ICTEAM Louvain-la-Neuve Belgium Universidade de Lisboa Lisbon Portugal

ISBN: (数字)9781665403924

ISBN: (纸本)9781665403931

Software security is a fundamental dimension in the development of mobile applications (apps). Since many apps have access to sensitive data (e.g., collected from a smartphone's sensors), the presence of security vulnerabilities may put that data in danger and lead to privacy violations. Unfortunately, existing security solutions for Android are either too cumbersome to use by common app developers, or may require the modification of Android OS. this paper presents Flowverine, a system for building privacy-sensitive mobile apps for unmodified Android platforms. Flowverine exposes an API based on a dataflow programming model which allows for efficient taint tracking of sensitive data flows within each app. By checking such flows against a security policy, Flowverine can then prevent potential privacy violations. We implemented a prototype of our system. Our evaluation shows that Flowverine can be used to implement mobile applications that handle security-sensitive information flows while preserving compatibility with existing Android OS and incurring small performance overheads.

关键词： Privacy Visualization Buildings programming Data models Mobile applications Security

来源：评论

学校读者我要写书评

暂无评论

High-K Spacer Gate Stack Engineered, Dual Metal Underlap Junction-less GaN Gate All Around (HKS-GSE-DMUL-JGaNGAA) MOSFET for High Frequency Applications

High-K Spacer Gate Stack Engineered, Dual Metal Underlap Jun...

引用

IEEE India conference (INDICON)

作者： Anubha Goel R. S. Gupta Department of E. C. E. Maharaja Agrasen Institute of Technology New Delhi India

ISBN: (纸本)9781665452724

High-K Spacer Gate Stack Engineered Dual-Metal Underlap Junction-less GaN Gate All Around (HKS-GSE-DMUL-JGaNGAA) MOSFET is proposed and postulated in this work for its applications in higher frequency domain. this has been accomplished by contemplating our proposed device with various devices in particular, High-K Gate Stack Engineered underlap Junction-less GAA (Gate All Around) MOSFET (Si) (HKS-GSE-JSiGAA), Junction-less Gate All Around (GaN) MOSFET (J-GaN-GAA) and Junction-less Gate All Around (Si) MOSFET (J-Si-GAA). It is so found that HKS-GSE-DMUL-JGaNGAA MOSFET exhibits superior performance characteristics in terms of various parameters (drain-current (I ds ), Trans-conductance (g m ), output-conductance (g d ) and cut-off-frequency (f T )) over existing Junction-less device architectures, thus warranting as an apt device for applications in high-frequency domain. Owing to remarkable material properties, GaN has been lately the preferred choice for use in high frequency and power applications. It can also be inferred that HKS--GSE-DMUL-JGaNGAA MOSFET has other superior performance parameters also, which includes the ratio (on-current to off-current ratio, Subthreshold Slope, Channel Resistance, Early-Voltage, Frequency-Transconductance-Product and Transconductance-Generation-Factor. Owing to all the aforementioned performance parameters, our proposed device architecture, (HK-DMGS-JGAA MOSFET) warrants as the most near to ideal device-design for several analog and/or digital applications in higher frequency domain.

关键词： Performance evaluation Resistance MOSFET Frequency-domain analysis Metals logic gates Silicon

来源：评论

学校读者我要写书评

暂无评论

An SDN Architecture for IoT Networks Using ONOS Controller

An SDN Architecture for IoT Networks Using ONOS Controller

引用

Roedunet international conference (RoEduNet)

作者： Calin-Marian Iurian Iustin-Alexandru Ivanciu Beniamin Mihai Marian Daniel Zinca Virgil Dobrota Technical University of Cluj-Napoca Cluj-Napoca Romania

ISBN: (数字)9780738112657

ISBN: (纸本)9781665418850

In order to evaluate the ONOS controller for Software Defined Networks (SDN) in an Internet of things (IoT) context, Mininet was installed and configured in a virtual machine. Two different scenarios were created: the first one tests the general functionality of the proposed architecture with the IoT data being sent from the *** client to the Orange Live Objects platform. For the second scenario different flow rules were configured in order to send the time-critical IoT data from the Mosquitto client to the broker on the path with the lowest delay. the proposed solution can easily be extended to accommodate other types of IoT devices and platforms.

关键词： Internet of things Computer architecture Network topology Topology logic gates Software Performance evaluation

来源：评论

学校读者我要写书评

暂无评论

Computationally Grounded Quantitative Trust with Time 20

Computationally Grounded Quantitative Trust with Time

引用

Proceedings of the 19th international conference on Autonomous Agents and MultiAgent Systems

作者： Nagat Drawel Jamal Bentahar Hongyang Qu Concordia University Montreal PQ Canada Shefield University Shefield United Kingdom

ISBN: (纸本)9781450375184

Although plenty of qualitative logical frameworks have been proposed to evaluate and model trust in multi-agent sittings [2,6,9,11], these approaches generally ignore reasoning about quantitative aspects such as degrees of trust. In this paper, we address this limitation from the modelling and verification perspectives. We construct TCTLG, a logical language to represent the quantitative aspect of trust. Moreover, we develop and implement a new symbolic model checking algorithm for quantifying the relationships among the interacting agents. Finally, we evaluate the tool and report experimental results using a health-care scenario.

关键词： degrees of trust multi-agent systems. model checking temporal logic

来源：评论

学校读者我要写书评

暂无评论

An Energy-Efficient Smartphone Positioning Scheme by Fusing WiFi, GPS and PDR

An Energy-Efficient Smartphone Positioning Scheme by Fusing ...

引用

international conference on Mobile Ad-hoc and Sensor Networks, MSN

作者： Yankan Yang Baoqi Huang College of Computer Science Inner Mongolia University Hohhot China

ISBN: (数字)9798350358261

ISBN: (纸本)9798350358278

Nowadays, global navigation satellite systems (GNSS) have been widely used for outdoor pedestrian positioning services. However, GNSS faces challenges such as high energy consumption and limited performance due to urban canyons. therefore, we propose a novel outdoor positioning scheme by fusing WiFi, GPS, and pedestrian dead reckoning (PDR) using fuzzy logic, aiming to achieve energy-efficient localization through the tradeoff between accuracy and energy consumption. Specifically, we analyze the factors affecting the positioning accuracy and energy consumption of fusion positioning and obtain the coarse metrics of positioning accuracy and energy consumption. then, we design a fuzzy inference system to intelligently schedule the absolute positioning methods (WiFi, GPS, or their combination) based on metrics such as PDR error, the remaining energy of the smartphone, the grid size of the WiFi fingerprint database, and GPS accuracy. Extensive experimental results demonstrate that the proposed positioning scheme reduces energy consumption by 28.2% compared to the Kalman filter-based WiFi and PDR fusion method, achieving a dynamic balance between accuracy and energy consumption.

关键词： Measurement Fuzzy logic Energy consumption Global navigation satellite system Accuracy Pedestrians Energy efficiency

来源：评论

学校读者我要写书评

暂无评论

Optimization of Ge Gate All Around Field-Effect Transistors at a deca-nm node for Low Power Applications

Optimization of Ge Gate All Around Field-Effect Transistors ...

引用

IEEE India conference (INDICON)

作者： Sumit Choudhary Chander Mohan Manvender Chauhan B. Prasad Satinder K. Sharma School of Computing and Electrical Engineering Indian Institute of Technology Mandi Mandi India Department of Electronic Science Kurukshetra University Kurukshetra India

ISBN: (纸本)9781665452724

Device scaling hit the brick wall due to short channel and quantum effects. At sub-deca nanometers, quantum mechanics begins to dominate over classical theory. the Gate All Around field effect transistor performance is compared with existing FinFET devices at sub 10 nm node to keep the Moore’s law alive. In this work, the modelling optimization for Sub 10nm, is performed for both device types. the performance was investigated by utilizing the device simulator (ATLAS) by Silvaco TCAD tool. All the simulations were performed by Bohr Quantum Potential (BQP) model, the energy-dependent model was used for electrons, and field-dependent mobility (FLDMOB) and Shockley-Read-Hall (SRH) recombination models were used for carriers. Fermi-Dirac statistics are used instead of Boltzmann statistics. the effect of the device architecture, oxide thickness, high-κ oxide, doping profiles and gate material on device performance were studied and a performance-based comparison of Fin-FET and GAA-FET has been computed. the GAA architecture was found superior in terms of suppressed short channel effects like reduced DIBL, reduced Subthreshold Swing, high gain and high ION/IOFF current ratio. A comparison of the square cross-sectional channel and circular cross-sectional channel GAAFETs reveals that the latter has further improved performance accounting for reduced corner effects and strong symmetry in volume inversion.

关键词： Performance evaluation Semiconductor device modeling Solid modeling Gallium arsenide Computer architecture Radiative recombination logic gates

来源：评论

学校读者我要写书评

暂无评论

Establishing LoRa based Local Agri-Sensor Network through Sensor plugin modules and LoRaWAN Data concentrator for extensive Agriculture Automation

Establishing LoRa based Local Agri-Sensor Network through Se...

引用

IEEE India conference (INDICON)

作者： Vishnu V Das Anish Sathyan Divya D S ER&DCI-IT C & I Group Centre for Development of Advanced Computing (CDAC) Thiruvananthapuram

ISBN: (纸本)9781665452724

LoRa is a long range, low power wireless platform capable of establishing wireless Internet of things (IoT). LoRa devices and networks such as LoRaWAN accelerates smart IoT applications. Now a days sensors are coming with diverse interfacing approaches. In order to interface sensors with LoRa network, a Sensor plugin module design and development is imperative. the sensor plugin module shall gather, digitize and transfer the sensor data to the LoRaWAN data concentrator in SMARTFARM module. this ensures, reliability and flexibility in sensor interfacing. the LoRaWAN data concentrator (gateway) shall receive the data from the sensor plugin module. Multiple sensor plugin modules can be interfaced with the data concentrator. A proprietary data transfer protocol shall be designed for secure and loss less data transfer between the nodes and data concentrator. the Data concentrator is equipped with multiple IoT interfaces and whole system operates in three wireless communication frequency bands, 868MHz for node-to-gateway communication and 2.4GHz (WLAN) along with GSM-GPRS connectivity for gateway-to-cloud communication. the data to the cloud database shall be transferred through the inbuilt GPRS module and Wi-Fi *** entire system can be deployed for attaining automation in large agriculture fields. the agricultural and environmental parameters acquired through the sensors shall be transmitted over LoRa network using the sensor plugin module. From the plugin module, the data is then transmitted through secure and proprietary LoRa protocol to the LoRaWAN data concentrator in the SMARTFARM module. the SMARTFARM module receives the data and process/forward this data to the IoT cloud.

关键词： Wireless communication Wireless sensor networks Protocols Automation logic gates Data transfer Sensor systems

来源：评论

学校读者我要写书评

暂无评论

Trust-Based Requirements Traceability

Trust-Based Requirements Traceability

引用

IEEE Workshop on Program Comprehension

作者： Nasir Ali Yann-Gaël Gueheneuc Giuliano Antoniol SOCCER Laboratory DGIGL École Polytechnique de Montréal Canada Ptidej Team DGIGL École Polytechnique de Montréal Canada

Information retrieval (IR) approaches have proven useful in recovering traceability links between free text documentation and source code. IR-based traceability recovery approaches produce ranked lists of traceability links between pieces of documentation and source code. these traceability links are then pruned using various strategies and, finally, validated by human experts. In this paper we propose two contributions to improve the precision and recall of traceability links and, thus, reduces the required human experts' manual validation effort. First, we propose a novel approach, Trustrace, inspired by Web trust models to improve the precision and recall of traceability links: Trustrace uses any traceability recovery approach to obtain a set of traceability links, which rankings are then re-evaluated using a set of other traceability recovery approaches. Second, we propose a novel traceability recovery approach, Histrace, to identify traceability links between requirements and source code through CVS/SVN change logs using a Vector Space Model (VSM). We combine a traditional recovery traceability approach with Histrace to build Trustrace VSM, Histrace in which we use Histrace as one expert adding knowledge to the traceability links extracted from CVS/SVN change logs. We apply Trustrace VSM, Histrace on two case studies to compare its traceability links with those recovered using only the VSM-based approach, in terms of precision and recall. We show that Trustrace VSM, Histrace improves with statistical significance the precision of the traceability links while also improving recall but without statistical significance.

关键词： Documentation Web sites Semantics Software Electronic mail Indexing Probabilistic logic

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：