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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

3,044 篇 会议
100 篇 期刊文献
54 册 图书

馆藏范围

3,198 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,152 篇 工学
- 1,675 篇 计算机科学与技术...
- 964 篇 软件工程
- 340 篇 电气工程
- 251 篇 控制科学与工程
- 196 篇 信息与通信工程
- 101 篇 机械工程
- 67 篇 电子科学与技术（可...
- 47 篇 化学工程与技术
- 47 篇 生物工程
- 46 篇 动力工程及工程热...
- 44 篇 仪器科学与技术
- 43 篇 石油与天然气工程
- 41 篇 材料科学与工程（可...
- 40 篇 生物医学工程（可授...
- 30 篇 交通运输工程
- 27 篇 土木工程
633 篇 理学
- 460 篇 数学
- 96 篇 物理学
- 79 篇 生物学
- 76 篇 系统科学
- 71 篇 统计学（可授理学、...
- 46 篇 化学
291 篇 管理学
- 219 篇 管理科学与工程(可...
- 103 篇 工商管理
- 83 篇 图书情报与档案管...
92 篇 教育学
- 92 篇 教育学
63 篇 医学
- 49 篇 临床医学
- 35 篇 基础医学(可授医学...
41 篇 法学
- 36 篇 社会学
28 篇 经济学
- 28 篇 应用经济学
19 篇 文学
19 篇 农学
2 篇 军事学
2 篇 艺术学

主题

220 篇 linear programmi...
212 篇 programming
170 篇 dynamic programm...
120 篇 logic programmin...
96 篇 integer programm...
76 篇 functional progr...
75 篇 optimization
72 篇 computer program...
67 篇 object oriented ...
65 篇 programming prof...
65 篇 computer program...
64 篇 genetic programm...
64 篇 parallel program...
64 篇 software
50 篇 quadratic progra...
48 篇 education
47 篇 software enginee...
44 篇 computational mo...
36 篇 computer science
36 篇 hardware

机构

10 篇 univ british col...
7 篇 lakhshya cyber s...
7 篇 univ edinburgh e...
6 篇 lakhshya cyber s...
6 篇 amrita vishwa vi...
4 篇 graduate school ...
4 篇 ural fed univ ek...
4 篇 center for compu...
4 篇 univ minho ctr a...
4 篇 naval systems an...
4 篇 univ manchester ...
4 篇 faculty of engin...
4 篇 school of electr...
4 篇 russian acad sci...
4 篇 department of in...
4 篇 chalmers univ te...
3 篇 electric dispatc...
3 篇 school of inform...
3 篇 school of electr...
3 篇 nanjing research...

作者

8 篇 schaub torsten
8 篇 de meuter wolfga...
8 篇 cheney james
8 篇 tompits hans
7 篇 woltran stefan
7 篇 pradeep menon
6 篇 r vinayakumar
6 篇 gebser martin
6 篇 soman k. p.
6 篇 vinayakumar r.
6 篇 kp soman
6 篇 menon pradeep
5 篇 liu yang
5 篇 t.t. shannon
5 篇 eiter thomas
5 篇 binder walter
5 篇 wadler philip
4 篇 leone nicola
4 篇 jun zhang
4 篇 de araújo costa ...

语言

3,133 篇 英文
48 篇 其他
12 篇 中文
3 篇 俄文
2 篇 西班牙文
1 篇 意大利文

检索条件"任意字段=9th International Conference on Functional Programming"

共 3198 条记录，以下是3091-3100 订阅

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

详细简洁

排序：

Keynote Speaker: A Hybrid Modeling Approach for Energy-Efficient Execution of Parallel Applications, by Yong Meng TEO

Keynote Speaker: A Hybrid Modeling Approach for Energy-Effic...

引用

Asia international conference on Modeling & Simulation

作者： Yong Meng Teo Dept. of Comput. Sci. Nat. Univ. of Singapore Singapore Singapore

ISBN: (纸本)9781467383240

Summary form only given. It has become apparent around 2000s that the ability to improve single-processor performance has run up against power limit but the demand for increasing computer performance remains unabated. It is estimated that datacenters delivering Internet services alone consumes over 2% of US electric power. the advent of datacenters increases the availability heterogeneous systems with different performance-power ratios and introduces new opportunities for energy-efficient execution of parallel applications [1, 2]. this keynote, divided into three main parts, focuses on a hybrid modeling approach to exploit energy-efficient execution heterogeneous platforms for more sustainable growth in computer performance. First, we introduce a classification heterogeneous platforms covering high-performance processors, low-power servers, and performance accelerators among others. Secondly, we discuss a new hybrid approach combining both measurements and an analytical model to determine energy-efficient configurations for executing parallel applications on heterogeneous systems [4]. By modeling the workload service demands on cores, memory and I/O devices of a node, we obtain a Pareto-optimal mix of nodes that service using minimum energy while maintaining a service time deadline. While datacenter jobs are embarrassingly parallel, scientific applications are relying on hybrid programming models to efficiently utilize resources with and across nodes. Lastly, we show how the core model can be extended for energy efficient execution of hybrid parallel programs [3, 4].

关键词： storage management input-output programs Internet multiprocessing systems parallel programming Pareto optimisation performance evaluation power aware computing input-output programs power aware computing Pareto optimisation Multiprocessing systems Parallel programming Store management Energy efficiency COMPUTER PERFORMANCE Performance Evaluation Internets Legal Executions

来源：评论

学校读者我要写书评

暂无评论

Application of Action Dependent Heuristic Dynamic programming Algorithm in Rectifier Controller of HVDC

Application of Action Dependent Heuristic Dynamic Programmin...

引用

2017 9th international conference on Modelling, Identification and Control (ICMIC 2017)

作者： Xiumei Zhang Mingguang Cui Jiangyang Chen Yang Liu Wei Dai Institute of electrical and electronic engineering ChangChun University of Technology

High-voltage direct current(HVDC) transmission system is a very complex nonlinear system and is difficult to establish an accurate mathematical *** conventional PID controller is simple and easy to implement for the *** the influence of any small external disturbances or during steady state,the conventional PID controller provides a satisfactory ***,when there is any large disturbance or fluctuation in the HVDC transmission system,the PID controller will not produce desired response in terms of settling time and overshoot For this reason,a rectifier controller based on the Action Dependent Heuristic Dynamic programming(ADHDP) algorithm is designed in this *** proposed controller does not rely on the model of control system,which can avoid any interference factors due to the errors in control system *** simulation model of HVDC transmission system was set up using MATLAB/Simulink platform and M file was written and called through the S function when *** effectiveness of the designed rectifier controller based on ADHDP algorithm is validated using the simulation results.

关键词： High-voltage direct current(HVDC) Action Dependent Heuristic Dynamic programming(ADHDP)

来源：评论

学校读者我要写书评

暂无评论

MQTT-Enabled Smart Door Access System: Design and Implementation Using NodeMCU ESP 8266 and HiveMQ

MQTT-Enabled Smart Door Access System: Design and Implementa...

引用

international conference on Computing, Engineering, and Design (ICCED)

作者： Ahmad Anwar Zainuddin Rizal Mohd Nor Amir ’Aatieff Amir Hussin Muhammad Nurzikry Mohd Sazali Department of Computer Science Kuliyyah of ICT International Islamic University Malaysia Kuala Lumpur Malaysia Department of Electrical and Computer Engineering Kuliyyah of Engineering International Islamic University Malaysia Kuala Lumpur Malaysia

the security of one’s residence or property is an essential consideration that warrants careful attention to safeguard the premises and its contents. It has become increasingly apparent today that physical key door locks are susceptible to damage and can be compromised by unauthorized individuals. the inherent vulnerability of physical key door locks stems from their susceptibility to misplaced keys and duplication, as individuals are required to always carry them. this work presents a novel Internet of things (IoT) enabled smart door access system designed to improve the security of homes or premises. the system offers keyless access to individuals who have been granted authorization. the system’s architectural design incorporates the utilization of a NodeMCU ESP 8266 microcontroller to oversee door operations. Access control functionality is facilitated through the implementation of the Virtuino IoT application, which enables the unlocking of doors using smartphones. Additionally, a MQTT broker, specifically the HiveMQ, is implemented to facilitate effective machine-to-machine communication within the IoT components. the rationale behind the adoption of this IoT-based solution stems from the inherent weaknesses of traditional physical key door locks, which are prone to damage and replication, consequently jeopardizing security measures. the proposed system aims to address these limitations by rendering traditional keys obsolete, thereby improving both security and convenience for users. the system has undergone comprehensive development, testing, and operationalization, resulting in a highly functional system. the success rate of all functions has consistently achieved a 100% level, which serves as an indication of the system’s robustness and effectiveness. In addition, the practical implementation of the system in the Centre of Excellence for Cybersecurity (CoExCys) office at Kuliyyah of ICT IIUM exhibited smooth operation and the absence of any operational chall

关键词：

来源：评论

学校读者我要写书评

暂无评论

From show, to room, to world: a cross-context investigation of how children learn from media programming 10

From show, to room, to world: a cross-context investigation ...

引用

Proceedings of the 9th international conference of the Learning Sciences - Volume 1

作者： thérèse E. Dugan Reed Stevens Siri Mehus University of Washington Seattle WA Northwestern University Evanston IL

We conducted a year-long, naturalistic study that investigated what actually happens when children watch television. We video-recorded children9;s actions and interactions while watching television and simultaneous...

We conducted a year-long, naturalistic study that investigated what actually happens when children watch television. We video-recorded children's actions and interactions while watching television and simultaneously recorded the video stream from the television screen; these data were supported with parent diaries and interviews with parents and children. this paper describes two case studies, in which we consider children's interactions with others while watching television and the ways in which their television viewing influences other parts of their everyday lives. We find that both children actively applied knowledge they obtained from visual media to other contexts. In addition, they both shared their media viewing experiences with others, either by directly teaching others about what they had viewed or by creating new content based on what they had viewed.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Transient Stability Analysis of Multi-Machine Power Systems Based on Sum of Squares programming and Coherency Dynamic Equivalents

Transient Stability Analysis of Multi-Machine Power Systems ...

引用

IEEE international conference on Power and Power and Renewable Energy (ICPRE)

作者： Yingjie Qin Wei Fan Deyang Chen Yu Liu Lu Miao Lei Chen Electric Dispatching and Control Center Guangdong Power Grid Corporation Guangzhou China School of Electric Power Engineering South China University of Technology Guangzhou China

ISBN: (数字)9798350377460

ISBN: (纸本)9798350377477

Transient stability analysis (TSA) of large-scale power systems is one of the most computationally significant tasks. To reduce the difficulty of this task, this paper uses a coherency-based dynamic equivalent method to obtain the aggregation model of multi-machine systems, which is a valid approach to reducing the size of power system model. Based on this aggregation model, the expanding annular domain (EAD) algorithm based on sum of squares (SOS) programming is employed to estimate the domain of attraction (DA) of the aggregation model, which provides an approximate description of transient stability of the original system model. the validity of our proposed methodology is illustrated on a 15-machine 73-bus system. Simulation results show that the proposed method can provide better estimates in terms of DA and critical clearing time (CCT) for large-scale power systems.

关键词： Analytical models Accuracy Computational modeling Simulation Power system dynamics Power system stability Stability analysis Performance analysis Transient analysis thermal stability

来源：评论

学校读者我要写书评

暂无评论

Power Allocation and Phase Shift Optimization for RIS-Assisted UAV-Enabled WPCN

Power Allocation and Phase Shift Optimization for RIS-Assist...

引用

international conference on Computational Intelligence and Applications (ICCIA)

作者： Zhen Chen Jie Tang Jiayin Zhang Peichang Zhang Shida Zhong Xiuyin Zhang Department of Electronic Engineering City University of Hong Kong School of Electronics and Information South China University of Technology College of Electronics and Inforation Engineering Shenzhen University

ISBN: (数字)9798350352214

ISBN: (纸本)9798350352221

To hardware complexity and expensive hardware costs, a Reconfigurable Intelligent Surface (RIS)-assisted wireless powered communication network (WPCN) is investigated in this study, where the unmanned aerial vehicle (UAV) acts as a hybrid access point to improve the efficiency of both the downlink (DL) and the uplink (UL). In the proposed framework, an efficient modeling method is proposed for jointly optimizing time allocation, transmit power and RIS reflection coefficient. To reduce the computational complexity, an alternating direction algorithm is developed by utilizing the minimum throughput of sstem. Specifically, we establish the lower bound of the composite channel constraint and optimize the UAV's position using successive convex approximation (SCA). We then obtain closed-form solutions for transmit power and reformulate a linear programming problem to solve the time allocation. Numerical results demonstrate the effectiveness of the proposed method, outperforms traditional WPCNs.

关键词： Wireless communication Reconfigurable intelligent surfaces throughput Autonomous aerial vehicles Linear programming Hardware Reflection coefficient Resource management Uplink Optimization

来源：评论

学校读者我要写书评

暂无评论

A Deterministic Concurrent-Routing Algorithm to Improve Wire Selection in FPGA Routing

A Deterministic Concurrent-Routing Algorithm to Improve Wire...

引用

international conference on Integrated Circuits, Design, and Verification (ICDV)

作者： Umair F. Siddiqi Sadiq M. Sait King Fahd University of Petroleum & Minerals Dhahran Saudi Arabia Department of Computer Engineering King Fahd University of Petroleum & Minerals Dhahran Saudi Arabia

ISBN: (数字)9798350371864

ISBN: (纸本)9798350371871

An FPGA routing architecture consists of wire segments of different lengths. FPGA routers attempt to use longer wires for distant connections and shorter ones for closer connections. Due to the overhead associated with using longer wires, FPGA routers use them only when they have delay benefits over the shorter wires. the versatile place and route (VPR) is a popular open-source FPGA placement and routing tool. this work proposes a concurrent routing-based post-routing method for VPR to improve its utilization of longer wires. the proposed method builds an archive of routing trees using the VPR’s connection router and then solves an integer linear programming (ILP) problem to select routing trees for each net in such a way that the overall wire length is reduced with no effect on the critical path delay of the circuit. Experiments using Titan 23 benchmarks showed that it could reduce the utilization of larger wires by $4.43 \%$ on average without increasing the total wire length or critical path delay.

关键词： Integrated circuit synthesis Integer linear programming Benchmark testing Routing Delays Wire Field programmable gate arrays

来源：评论

学校读者我要写书评

暂无评论

CloudNet: Building a Data-Plane for Anonymous Communication Network Based on Cloud Service

CloudNet: Building a Data-Plane for Anonymous Communication ...

引用

IEEE international conference on Data Science in Cyberspace (DSC)

作者： Xiaowei Song Mingqian Yang Wei Peng Mengen Liang Ling Liu Ning Hu Cyberspace Institute of Advanced Technology Guangzhou University Ghuangzhou China Peng Cheng Laboratory Shenzhen China

ISBN: (数字)9798350391367

ISBN: (纸本)9798350391374

In the rapidly evolving era of information technology, the security and privacy of network communications have become increasingly critical. this paper introduces CloudNet, a cloud-based covert communication system leveraging Software-Defined Networking (SDN), designed to enhance the security and concealment of communications. By utilizing the separation of the control plane and the data-plane inherent in SDN, along with the highly customizable programming capabilities of cloud infrastructure, our system effectively enhances defenses against adversaries, making tracking and analysis challenging. CloudNet employs a diverse array of traffic obfuscation strategies, including support for multiple protocols, dynamic routing, and traffic mixing, significantly improving the system’s concealment effects. Additionally, the system demonstrates superior communication efficiency and lower overhead compared to traditional anonymous communication systems, thereby enhancing the security and anonymity of the entire communication chain. this research not only offers a new solution for covert communications in cloud environments but also provides theoretical and practical references for future security and privacy protections in communication networks.

关键词： Privacy Protocols programming Data science Routing Encryption Security Software defined networking Protection Information technology

来源：评论

学校读者我要写书评

暂无评论

Collaborative Learning in Bilateral Academic Training on Robotics Design and Development

Collaborative Learning in Bilateral Academic Training on Rob...

引用

STEM Education conference (iSTEM-Ed), international

作者： Patinya Sang-Aroon Sethakarn Prongnuch Tadchanon Chuman Aphirak thitinaruemit Kalaphath Kounlaxay Chanida Niyomtum Dept. of Industrial Design and Packaging Faculty of Engineering and Industrial Technology Suan Sunandha Rajabhat University Dusit Bangkok Thailand Dept. of Robotics Engineering Faculty of Engineering and Industrial Technology Suan Sunandha Rajabhat University Dusit Bangkok Thailand Dept. of Electrical Technology Faculty of Engineering and Industrial Technology Suan Sunandha Rajabhat University Dusit Bangkok Thailand Dept. of Computer Engineering Faculty of Engineering Souphanouvong University Luangprabang City Lao PDR Education Automation System Co. Ltd. Bangplee Samutprakran Thailand

ISBN: (数字)9798350365979

ISBN: (纸本)9798350365986

this paper presents how collaborative learning can facilitate academic training in robotics design and development, with the objective of establishing a foundation in robotics structure design and microcontroller programming for controlling robots, particularly for bilateral undergraduate students. the students comprise 20 engineering students and 20 architecture students, who are divided into groups of two, consisting of an engineering students and an architecture students each. Group activities focusing on robot structure design and robot Development are provided for the students. the results demonstrate that collaborative learning can effectively facilitate the training activities.

关键词： Training Educational robots Federated learning Microcontrollers Focusing Engineering students programming profession

来源：评论

学校读者我要写书评

暂无评论

Energy-Efficiency Resource Optimization in Internet of Vehicles

Energy-Efficiency Resource Optimization in Internet of Vehic...

引用

6th international conference on Intelligent Computing and Signal Processing (ICSP)

作者： Yaxuan Zhao Haixia Cui Qikai Hao School of Electronic Information Engineering South China Normal University Guangzhou China School of intelligent Sciences National University of Defense Technology Changsha China

ISBN: (数字)9798350376548

ISBN: (纸本)9798350376555

With the surge in the number of in-vehicle users and the demand for high-quality in-vehicle communications, a resource optimization strategy that combines power control and channel allocation with the goal of maximizing energy efficiency is proposed to address the problem of insufficient spectrum resources and energy efficiency resources. the strategy proposes a power control algorithm with low computational complexity to address the inaccurate estimation of Channel State Information (CSI) caused by the Doppler effect and fast fading; meanwhile, to address the energy resource management problem, an improved many-to-one matching scheme is proposed to establish an objective function to maximize the energy efficiency of the Telematics system, taking into account the co-channel interference. system energy efficiency objective function. Numerical analysis shows that the strategy proposing the new joint power control and channel assignment algorithm has improved performance in energy efficiency performance compared to the traditional method.

关键词： Numerical analysis Power control Signal processing algorithms Channel allocation Linear programming Telematics Energy efficiency Surges Optimization Internet of Vehicles

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共320页 << < 306 307 308 309 310 311 312 313 314 315 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：