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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Economic Analysis of Energy Efficiency Programs with Energy Storage Systems on the Optimal Smart Microgrid Energy Management

Economic Analysis of Energy Efficiency Programs with Energy ...

引用

Technology and Energy Management (ICTEM), international conference on

作者： Masoud Agabalaye-Rahvar Amir Talebi Hamed Kheirandish Gharehbagh Kazem Zare Tuba Gozel Faculty of Electrical and Computer Engineering University of Tabriz Tabriz Iran Faculty of Electrical and Computer Engineering Gebza Technic University Gebze Turkey

ISBN: (数字)9798350329797

ISBN: (纸本)9798350329803

Smart microgrids (SMGs) represent an innovative and adaptive approach to energy distribution, integrating advanced technologies and intelligent control systems to enhance energy efficiency and reliability. In these SMGs, energy efficiency programs (EEPs) are initiatives designed to reduce energy consumption and improve overall energy performance in various sectors. Other flexible technology which is called energy storage systems (ESSs) to modify optimal energy management (EM). EM refers to the efficient allocation and utilization of energy resources to meet demand while minimizing operation costs. So, in the context of SMGs, optimal EM plays a critical role in achieving sustainable and cost-effective energy solutions. In this paper, optimal EM coordinated with flexible facilities i.e., electrical and thermal EEPs and also ESSs has been proposed. To this end, the presented novel EEPs have been applied to the demand model in which it was used in the context of optimal EM in SMG framework. Also, as another contribution, sensitivity analysis of the energy efficiency investment rate of EEPs along with considering ESSs on the whole operation cost is accomplished to provide better discernment for stakeholders and/ or decision-makers. the proposed objective function contains multiple distributed generations’ costs i.e., fuel, operation, and maintenance costs are modeled as mixed-integer linear programming (MILP) which is solved via CPLEX solver in GAMS software. the simulation results indicate that the whole operation cost is reduced by about 9.2% and 18.2% when utilizing only thermal EEPs with ESSs and electrical EEPs with ESSs, respectively. However, implementing both types of EEPs with ESSs results in a 27.5% decrement in the total operation cost of SMG.

关键词： Costs Simulation Linear programming Energy efficiency Software Smart grids Mixed integer linear programming

来源：评论

学校读者我要写书评

暂无评论

Sparsity-Based Direct Location Estimation Based on Two-step Dictionary Learning

Sparsity-Based Direct Location Estimation Based on Two-step ...

引用

the 9th international conference on Wireless Communications,Networking and Mobile Computing(WICOM 2013)

作者： Tingting Wang Wei Ke Gang Liu The Jiangsu Engineering Center of Meteorological Sensor Network Technology Nanjing University of Information Science and Technology The Jiangsu Key Laboratory on Optoelectronic Technology School of Physics and TechnologyNanjing Norm University Key Laboratory of Disaster Reduction and Emergency Response Engineering of the Ministry of Civil Affairs

this paper proposes an adaptive sparsity-based direct position determination (DPD) appoach to locate multiple targets in the case of time-varying channels. the novel feature of this method is to dynamically adjust both the overcomplete basis and the sparse solution based on a two-step dictionary learning (DL) framework. the method first performs supervised offline DL by using the quadratic programming approach, and then the dictionary is continuously updated in an incremental fashion to adapt to the time-varying channel during the online stage. Furthermore, the method does not need the number of emitters a prior. Simulation results demonstrate the performance of the proposed algorithm on the location estimation accuracy.

关键词： Dictionary Learning Compressive Sensing Direct Location Time-Varying Channel Quadratic programming

来源：评论

学校读者我要写书评

暂无评论

Harmonizing decisions in wind farm management to provide a stable energy supply

Harmonizing decisions in wind farm management to provide a s...

引用

international conference on Mathematics and Computers in Sciences and in Industry (MCSI)

作者： Zixuan Zhang Marek Makowski Zbigniew Nahorski Janusz Granat East China University of Science and Technology Shanghai China Systems Research Institute of the Polish Academy of Sciences Warsaw Poland International Institute for Applied Systems Analysis Laxenburg Austria Warsaw University of Technology Warsaw Poland

ISBN: (数字)9798350377224

ISBN: (纸本)9798350377231

Variable renewable energy generation requires management to provide a stable energy supply. the management consists of making decisions at different time scales; harmonization of such decisions is the main challenge addressed in the paper. the paper presents a mathematical programming model supporting the harmonization of the wind farm decision-making at three different time scales: (1) one-time investment in the energy storage system, (2) annual commitment of constant electricity supply for an industrial partner, and (3) operational (hourly) decisions on energy flows within the plant. the model prototype was tested on the rational configuration of a hydrogen-based energy storage system composed of electrolyzers, hydrogen tanks, and fuel *** model optimization provides the set of decisions maximizing the annual revenue: (1) the number of devices (of different types of each considered kind of device), i.e., the optimal configuration of the storage system; (2) the annually committed constant hourly energy supply, and (3) the operational decisions on energy flows within the wind farm, as well as an optional use of the energy adjusting market for handling temporal energy surplus or deficit.

关键词： Renewable energy sources Hydrogen storage Electricity Hydrogen Prototypes Wind farms Wind power generation Mathematical models Batteries Investment

来源：评论

学校读者我要写书评

暂无评论

Energy Storage Sizing Taking into Account Forecast Uncertainties in Distributed Energy Management System

Energy Storage Sizing Taking into Account Forecast Uncertain...

引用

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

作者： Yue Li Xiaoyu Tang Shuzheng Wang Qinmin Yang the Collaborative Innovation Center for Intelligent Technology and Equipment in Distribution Network the State Key Laboratory of Industrial Control Technology College of Control Science and EngineeringZhejiang University

the rapid development of eco-friendly technologies such as energy storage system（ESS） and smart grid will shape the power consumption pattern in the *** paper proposes an analytical method to determine the battery capacity of ESS based on economic analysis,optimal scheduling strategy and forecast uncertainties in distributed energy management system（DEMS）.Firstly,an improved support vector regression（SVR） model is developed to raise the accuracy of load ***,an effective algorithm combining ergodic theory and two-stage optimization is presented to divide the battery of ESS into schedule-based capacity and emergency capacity for different *** historical load and forecast uncertainties are taken into consideration in determining the *** mixed integer linear programming（MILP） models considering the reliability constraints and peak-shaving requirement are utilized to describe the process in each *** simulations show the effectiveness of the scheme.

关键词： Energy storage system optimal sizing support vector regression two-stage optimization mixed integer linear programming

来源：评论

学校读者我要写书评

暂无评论

Implementation of ML Algorithm for Spyware Detection System Using SVM with KNN Algorithm for Comparison of Accuracy

Implementation of ML Algorithm for Spyware Detection System ...

引用

Green Buildings (ATiGB), Applying New Technology in

作者： I. V Inba Pranaou S. Christy T. Poovizhi Department of Computer Science and Engineering Saveetha School of Engineering Saveetha Institution of Medical and Technical Sciences Saveetha University Chennai Tamil Nadu India

ISBN: (数字)9798331505042

ISBN: (纸本)9798331505059

the research examines the Support Vector Machines (SVM) and K-Nearest Neighbor (KNN) machine learning algorithms with the goal of using machine learning to detect malware and mitigate cybersecurity threats. Utilizing the malware dataset and the SVM and KNN methods, which consists of 500 rows and 6 attribute columns, the accuracy of spyware detection is determined. this dataset was collected from the well-known kaggle website. Python 3. 12 is the programming dialect used to run the code in IDLE shell. the clinical calculator is used for estimating the sample size. Groups 1 and 2 have a computed sample size of 500 with an alpha 80% power, a 95% confidence level, and a threshold value of 0.05. the Data Analytics lab is where research is done. Using the IBM SPSS statistical software, version 27, the accuracy of the SVM algorithm is compared to that of the KNN method. When comparing the Support vector machines’ mean accuracy to the K-Nearest Neighbors algorithm, the results show a substantial improvement.

关键词： Support vector machines Accuracy Machine learning algorithms Software algorithms Nearest neighbor methods programming Malware Vectors Spyware Python

来源：评论

学校读者我要写书评

暂无评论

Computer animation with scripts and actors 82

Computer animation with scripts and actors

引用

Proceedings of the 9th annual conference on Computer graphics and interactive techniques

作者： Craig W. Reynolds Information International Inc.

ISBN: (纸本)9780897910767

A technique and philosophy for controlling computer animation is discussed. Using the Actor/Scriptor Animation System (ASAS) a sequence is described by the animator as a formal written SCRIPT, which is in fact a program in an animation/graphic language. Getting the desired animation is then equivalent to “debugging” the script. Typical images manipulated with ASAS are synthetic, 3D perspective, color, shaded images. However, the animation control techniques are independent of the underlying software and hardware of the display system, so apply to other types (still, B&W, 2D, line drawing ...). Dynamic (and static) graphics are based on a set of geometric object data types and a set of geometric operators on these types. Both sets are extensible. the operators are applied to the objects under the control of modular animated program structures. these structures (called actors) allow parallelism, independence, and optionally, synchronization, so that they can render the full range of the time sequencing of events. Actors are the embodiment of imaginary players in a simulated movie. A type of animated number can be used to drive geometric expressions (nested geometrical operators) with dynamic parameters to produce animated objects. Ideas from programming styles used in current Artificial Intelligence research inspired the design of ASAS, which is in fact an extension to the Lisp programming environment. ASAS was developed in an academic research environment and made the transition to the “real world” of commercial motion graphics production.

关键词： Lisp

来源：评论

学校读者我要写书评

暂无评论

A Compositional Semantics for a Wide-Coverage Natural-Language Query Interface to a Semantic Web Triplestore

A Compositional Semantics for a Wide-Coverage Natural-Langua...

引用

international conference on Semantic Computing

作者： Shane Peelar Richard Frost School of Computer Science University of Windsor 401 Sunset Avenue N9B 3P4 Windsor Ontario Canada University of Windsor Windsor ON Canada

ISBN: (数字)9781728163321

ISBN: (纸本)9781728163338

Many Natural Language (NL) Query Interfaces to data stores convert queries to a formal query language and then execute the formal query in order to obtain the result. this is problematic when handling chained prepositional phrases. An alternative approach is to treat the NL query language as a formal language and to execute the NL query directly with respect to the data store. this approach can accommodate a wide range of NL queries and is relatively easy to implement if it is based on an extension of Richard Montague's denotational semantics (MS) for natural language. the higher-order functional capability of the programming language Haskell facilitates both the implementation of MS and the close integration of syntactic analysis with semantic processing. A publicly accessible web-based NL interface to a remote Semantic Web data store has been constructed to demonstrate the viability of this approach. the approach can be directly adapted for use with relational databases.

关键词： Moon Semantics Triples (Data structure) Mars Syntactics Semantic Web

来源：评论

学校读者我要写书评

暂无评论

Effectiveness of Support Programmes for (in)Formal Caregivers of Older Dependent People to Design Technologies 9th

Effectiveness of Support Programmes for (in)Formal Caregiver...

引用

9th international conference on Human Aspects of IT for the Aged Population, ITAP 2023, held as part of the 25th international conference on Human-Computer Interaction, HCII 2023

作者： Zorrilla-Muñoz, Vanessa Veira-Ramos, Alberto Agulló-Tomás, María Silveria Garcia-Aracil, Nicolas Fernandez, Eduardo Bioengineering Institute Miguel Hernández University of Elche Elche Spain University Institute on Gender Studies University Carlos III of Madrid Getafe Spain Department of Social Analysis University Carlos III of Madrid Getafe Spain CIBER BBN Elche Spain

ISBN: (纸本)9783031349164

the growing number of older dependent population in Spain has incremented the demand for programmes and services aimed to provide support to (in)formal caregivers. Current legislation does not provide clear standardized practices for the results evaluation of such programmes which can constitute a guideline for public or private organizations, including NGOs. One strategy to successfully cope with this situation is the implementation of self-administrated questionnaires as an essential part of a cycle of continuous improvement of programmes and services. this paper is based on results from survey data collected from a sample of managers of programmes, suggests that entities using self-administrated questionnaires can, indeed, improve the effectiveness of their programmes significantly. the result of this study could contribute to the design and develop devices and software to improve care of older people and provide caregivers complementary assistance, especially, for older women. © 2023, the Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

An assessment of a ROS class using an educational mobile robot

An assessment of a ROS class using an educational mobile rob...

引用

international Engineering, Sciences and Technology conference (IESTEC)

作者： José Varela-Aldás Christian Junta Jorge Buele Guillermo Palacios-Navarro Centro de Investigaciones de Ciencias Humanas y de la Educación - CICHE Universidad Indoamérica Ambato Ecuador SISAu Research Group Facultad de Ingeniería Industria y Producción Universidad Indoamérica Ambato Ecuador Department of Electronic Engineering and Communications University of Zaragoza Teruel España

ISBN: (数字)9798350377156

ISBN: (纸本)9798350377163

the Robot Operating System (ROS) is a middleware that standardizes robot programming, both in simulation and with real equipment. Despite this open-source tool being available for several years, there’s still a need to enhance its utilization in robotics education across all educational levels. In this study, a ROS class is assessed among university students using a commercial educational robot. the primary objective is to measure academic emotions in learning and student performance to determine the impact of the class using the open-access tool from a Github repository (https://***/joseVarelaAldas/ROS-Crowbot). this tool is based on the rosserial package, compatible with the ESP32 board. For class, CrowBot robots connected to the local wireless network via WiFi are used. Tthe participants in this study were eight students from an electronics degree program at a higher education institution, who had no prior experience with ROS and received practical training using the educational mobile robot. For data collection on class performance, three parameters are assessed: execution time, functionality, and motivation, and to measure academic emotions, a validated self-report instrument is used. the results show an overall performance of 82.1%, and in the self-report on academic emotions, a high score in enjoyment (95%) and the lowest score in boredom (24.1 %) were obtained. In conclusion, the repository provides an interesting, practical, and accessible tool for an introduction into the world of robotics using ROS.

关键词： Training Educational robots Wireless networks Operating systems Particle measurements Time measurement Mobile robots Wireless fidelity Software development management Robot programming

来源：评论

学校读者我要写书评

暂无评论

Pitfalls and safeguards in real-time digital systems with emphasis on programming 87

Pitfalls and safeguards in real-time digital systems with em...

引用

Proceedings of the 9th international conference on Software Engineering

作者： W. A. Hosier Systems Engrg. and Management Operation Sylvania Electronic Systems Div. Needham Mass.

ISBN: (纸本)9780897912167

Real-time digital systems are largely a technical innovation of the past decade, but they appear destined to become more wide spread in the future. they monitor or control a real physical environment, such as an air-traffic situation, as distinguished from simulating that environment on an arbitrary time scale. the complexity and rapid variation of such an environment necessitates use of a fast and versatile central-control device, a role well suited to digital computers. the usual system will include some combination of sensors, communication, control, display, and effectors. Although many parts of such a system pose no novel management problems, their distinguishing feature, the central digital device, frequently presents unusually strict requirements for speed, capacity, reliability and compatibility, together with the need for a carefully designed stored program. these features, particularly the last, have implications that are not always foreseen by management. An attempt is made to point out specific hazards common to most real-time digital systems and to show a few ways of minimizing the risks associated with them.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共320页 << < 311 312 313 314 315 316 317 318 319 320 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：