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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Exploration of Quantum Computing in Multi-Die FPGA Routing Problems

Exploration of Quantum Computing in Multi-Die FPGA Routing P...

引用

international conference on Integrated Circuits and Microsystems (ICICM)

作者： Haochang Tian Xu Zhang Chengkai Wang Weiqing Ji Mingyang Kou Hailong Yao School of Computer & Communication Engineering University of Science and Technology Beijing Beijing China

ISBN: (数字)9798331509453

ISBN: (纸本)9798331520243

this paper delves into the innovative application of quantum computing to solve complex multi-die FPGA (FieldProgrammable Gate Array) routing challenges. Leveraging the Quantum Approximate Optimization Algorithm (QAOA), we propose a novel approach that integrates classical routing techniques with quantum computing methodologies. this integration specifically utilizes QAOA to enhance the efficiency and effectiveness of the routing process. this hybrid approach partitions the routing task into intra-FPGA and inter-FPGA components, optimizing each segment through the appropriate computational techniques. Extensive experiments conducted on quantum computing simulators, alongside trials on actual quantum hardware, demonstrate the theoretical potential of quantum computing in enhancing the efficiency of multi-die FPGA routing solutions. Our findings suggest that despite the current limitations of quantum hardware, such as noise and error rates, quantum computing holds promise for advancing EDA methodologies. this paper contributes to the field by pioneering the integration of quantum algorithms with EDA techniques, offering a novel perspective on future applications of quantum computing in complex routing problems.

关键词： Quantum computing Quantum algorithm Noise Transforms Quantum state Routing Linear programming Hardware Software Field programmable gate arrays

来源：评论

学校读者我要写书评

暂无评论

Research on Optimal Allocation of Electric-Cool-Heat Integrated Energy System Considering Reliability

Research on Optimal Allocation of Electric-Cool-Heat Integra...

引用

IEEE Joint international Information Technology and Artificial Intelligence conference (ITAIC)

作者： Song Liu You Wu Lei Yan Qing Wang School of Electrical and Electronic Engineering North China Electric Power University Beijing China State Grid Shandong Electric Power Research Institute Jinan China

ISBN: (数字)9781728152448

ISBN: (纸本)9781728152455

Optimizing the capacity allocation of the integrated energy system (IES) can promote the cascade utilization of multiple energy sources of electric cooling and heating, which is an important research direction of IES planning and design. In this paper, the lowest operating cost and the highest reliability of the IES are taken as the objective function, and a variety of load balancing constraints and equipment operating constraints are considered, the output strategy of each unit is formulated, an optimal allocation model is established for IES with various energy sources. Based on the differential evolution (DE) algorithm, MATLAB simulation is carried out. First, three scenes are constructed based on different equipment types, and the role and feasibility of renewable energy consumption, energy storage and CCHP are gradually studied. Finally, the optimization results of the multiple scenes are analyzed and compared. the effectiveness of the model solving method is confirmed by the optimized results.

关键词： Linear programming Resource management Reliability Mathematical model Optimization Load modeling Resistance heating

来源：评论

学校读者我要写书评

暂无评论

Research on Reactive Power Compensation for Distribution Networks with New Energy Access

Research on Reactive Power Compensation for Distribution Net...

引用

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

作者： Zhenghua Wu Qi Zhu Bo Sun Ruixin Dai Yueshen Hua Chenyan Yang Pudong Power Supply Branch State Grid Shanghai Company Shanghai China

ISBN: (数字)9798350377460

ISBN: (纸本)9798350377477

In response to the common problems of high active power loss and poor voltage quality in medium and low voltage distribution networks with new energy access, the objective function is proposed to decompose the reactive power optimization mathematical model into three sub-models: maximum, general, and minimum load modes, with the annual energy loss cost of the distribution network and the minimum investment of newly added reactive power compensation equipment converted to each year; Simultaneously using system power flow as an equality constraint and node voltage and reactive power as inequality constraints, an improved genetic algorithm is designed using mutation operator optimization to find the optimal compensation method for medium and low voltage distribution networks. When conducting reactive power optimization on a 36 node distribution network with new energy access in a certain city, representative 35 kV lines were selected for optimization analysis and calculation. After optimization compensation, it effectively maintained voltage stability, reduced network loss rate, and reduced operating costs.

关键词： Reactive power Low voltage Costs Urban areas Distribution networks Voltage Linear programming Mathematical models Optimization Load flow

来源：评论

学校读者我要写书评

暂无评论

Robust Distributed MIMO Localization based on Binary Hard Weighting

Robust Distributed MIMO Localization based on Binary Hard We...

引用

IEEE international conference on Signal and Image Processing (ICSIP)

作者： Zhang-Lei Shi Wenxin Xiong Xiao Peng Li Weiguo Li Yaru Fu Xijun Liang College of Science China University of Petroleum (East China) Qingdao China Department of Electrical Engineering City University of Hong Kong Hong Kong China College of Electronics and Information Engineering Shenzhen University Shenzhen China School of Science and Technology Hong Kong Metropolitan University Hong Kong China

ISBN: (数字)9798350350920

ISBN: (纸本)9798350350937

In practical scenarios, the non-line-of-sight errors or impulsive noise in dense urban areas pose great challenges to efficient and robust distributed multiple-input multiple-output radar localization. To achieve robustness against outliers, this paper proposes integrating data selection and localization into a unified framework based on the $\ell_programming$ -norm optimization and the idea of hard weighting. To be specific, the proposed model introduces a binary auxiliary variable to indicate the outlier-contaminated and unpolluted bistatic range measurements with 0 and 1, respectively. Considering the sparse nature of outliers, we impose sparsity constraint on the binary variable. then, the robust localization task is cast in the form of mixed integer programming with an $\ell_programming$ -norm constraint. To address the resultant problem, the alternating minimization algorithm is adopted as the solver, where the target location and the binary variable are updated in an alternating manner. In particular, both subtasks have closed-form solutions with low computational complexity. through numerical experiments, the efficiency and accuracy of the proposed algorithm is verified in comparison to several competing methods.

关键词： Location awareness Integer programming Closed-form solutions Computational modeling Urban areas Robustness Numerical models

来源：评论

学校读者我要写书评

暂无评论

Hydrogen Pinch Analysis with Recycled Hydrogen Approach by Energy Management of Refinery Processes in Optimal State

Hydrogen Pinch Analysis with Recycled Hydrogen Approach by E...

引用

Technology and Energy Management (ICTEM), international conference on

作者： Daryoush Tavangar Rizi Mohammad Hassan Nazari G. B. Gharehpetian Seyed Hossein Hosseinian Maryam Fani Amir Khorsandi Department of Physics and Energy Engineering Amirkabir University of Technology Tehran Iran Smart Control Systems Department Niroo Research Institute (NRI) Tehran Iran Department of Electrical Engineering Amirkabir University of Technology Tehran Iran

ISBN: (数字)9798350329797

ISBN: (纸本)9798350329803

Special goals in the oil industry lead experts to the optimal use of hydrogen in refinery and petrochemical units. In this research, the necessity of hydrogen management and refinery hydrogen distribution network in refineries has been investigated. In this method, based on the pressure, the hydrogen distribution network in the refinery is checked in two modes. In the first case, the optimization is done only with the equipment that is currently available in the refinery. Here in, the output of the hydrogen production unit and the operating costs will not decrease. Even so, in the second case, assuming the economic possibility of purchasing a new device called pressure oscillation absorption hydrogen recovery units (PSA), optimization has been done and the results have been analyzed and reviewed. In the simulation of the problem in question, GAMS software has been used in the form of nonlinear programming in the network to reduce hydrogen production in the hydrogen production and recycling unit, which has led to a $54.13 \%$ reduction in operating costs. A successful implementation of this initiative has resulted in considerable financial savings of 1.21 million dollars for the refinery on an annual basis. Cost of existing network is 235 million dollars, while PSA costs 1.025 million dollars. the results show that the objectives of this research have been well achieved.

关键词： Costs Profitability Hydrogen Production Distribution networks programming Software

来源：评论

学校读者我要写书评

暂无评论

Discrimination Method to Track Before Detect Based on Dynamic programming

Discrimination Method to Track Before Detect Based on Dynami...

引用

2008 9th international conference on Signal Processing(ICSP’2008)

作者： Wen-guang Wang 1 Jin-ping Sun 1 Yu-jie Li 1 Xiao-yang Su 2 Zhao-yang Qiu 2 1 School of EIE,Beihang University,Beijing 100083,P.R.China 2 the Radar and Avionics Institute of Avic,Wuxi 214063,P.R.China

the TBD algorithm based on Dynamic programming is an effective method for detecting dim *** the DP process during the multi-frame integration causes the expansion of targets and strong noise which may produce a large amount of false *** reduce them,a new discrimination method which takes advantage of the feature of trajectory is proposed in this *** false alarm caused by noise reveals strong randomicity on its trajectory which is different from that caused by true target,and the new method based on the statistics of different level direction histogram can be used to reduce false targets caused by *** a new concatenated discrimination scheme of SDH+LEV is *** simulation indicates that the discrimination method of SDH is good for reducing false alarms caused by noise and preserving real targets at the same *** concatenated discrimination scheme can delete false alarms caused by noise effectively.

关键词： track before detect,target discrimination,statistics of direction histogram,target expansion

来源：评论

学校读者我要写书评

暂无评论

ERI: A New Method for Ensuring Request Integrity 16

ERI: A New Method for Ensuring Request Integrity

引用

Proceedings of the 9th EAI international conference on Mobile Multimedia Communications

作者： Eryue Zhuang Zhenzhou Tian Xiaojun Cui Jian Li Zhiwen Wang MOE Key Lab. for Intelligent Networks and Network Security Xi'an Jiaotong University Xian China and Shaanxi Province Key Lab. of Satellite and Terrestrial Network Tech Xi'an Jiaotong University Xian China

A series of requests are performed in fixed order to achieve certain requirements in web applications. the request integrity attack (RIA) is applied to steal users9; data and identity, by inducing the users to exec... 详细信息

ISBN: (纸本)9781631901041

A series of requests are performed in fixed order to achieve certain requirements in web applications. the request integrity attack (RIA) is applied to steal users' data and identity, by inducing the users to execute malicious requests that are from untrusted sources and violate the regular order. In this paper, an Ensuring Request Integrity (ERI) method is proposed to prevent two major RIAs: Cross Site Request Forgery (CSRF) and Workflow Attack (WF). the AOP (Aspect-Oriented programming) is applied to instrument monitors into programs during runtime without modifying the source code. Real-time user-application interactions are captured by jQuery event listening, and tokens are dynamically added to ensure the trustworthy of the source and process of each request. By deploying the ERI on six large open source Web applications, the experimental results show that ERI can ensure request integrity without causing negative impacts to the applications and user experience. Moreover, ERI is capable of monitoring and analyzing the dynamical requests and multiple label issue in Web 2.0.

关键词： workflow attack aspect oriented programming cross site request forgery request integrity

来源：评论

学校读者我要写书评

暂无评论

Implementation of Single Shot Multibox Detector (SSD) Algorithm for Object Detection

Implementation of Single Shot Multibox Detector (SSD) Algori...

引用

international conference on Business and Industrial Research (ICBIR)

作者： Phongsavanh Sengaphone Juan Miguel De Leon Gerardo L. Augusto Jeremias A. Gonzaga Joseph Aldrin Chua Laurence A. Gan Lim Ronnie Concepcion Argel A. Bandala Raouf Naguib Mechanical Engineering Dept De La Salle University (DLSU) Manila Philippine Manufacturing Engineering and Management Dept De La Salle University (DLSU) Manila Philippine Electronics and Communications Engineering Dept De La Salle University (DLSU) Manila Philippine Mathematics Computer Science and Engineering Dept Liverpool Hope University (LHU) Liverpool England

ISBN: (数字)9798350383027

ISBN: (纸本)9798350383034

this study presents an innovative implementation of the Single Shot Multibox Detector (SSD) algorithm for real-time object detection on the Raspberry Pi 4. It harnesses the synergies of Python programming, the OpenCV computer vision library, and the SSD algorithm's adaptability. Python, chosen for its versatility, is the programming language, while OpenCV forms the backbone for implementing the finely tuned SSD algorithm. the resulting modular script, designed for real-time object detection, incorporates optimization techniques such as frame skipping and region of interest cropping to enhance Raspberry Pi 4 performance. the system demonstrates promising results, showcasing accurate and responsive object detection in resource-constrained environments. the Raspberry Pi 4's versatility makes it the solution for diverse edge computing applications, including surveillance, robotics, and intelligent environments. Computational constraints prompted the adoption of optimizations, while identified challenges illuminate future research directions exploring advanced algorithms and considering more potent hardware variants. this study contributes significantly to the intersection of computer vision and edge computing, underscoring the successful implementation of the SSD algorithm on the Raspberry Pi 4 and encapsulating technical achievements, practical implications, and a roadmap for future advancements in real-time object detection.

关键词： Computer vision Technological innovation Accuracy Object detection Detectors programming Real-time systems Libraries Optimization Python

来源：评论

学校读者我要写书评

暂无评论

Towards Understanding Rust in the Era of AI for Science at an Ecosystem Scale

Towards Understanding Rust in the Era of AI for Science at a...

引用

international conference on Communications, Information System and Computer Engineering (CISCE)

作者： Bo Xu Department of Chemistry Physical Sciences at the Microscale New Cornerstone Science Laboratory Hefei National Research Center Institute of Advanced Technology University of Science and Technology of China Hefei China

ISBN: (数字)9798350353174

ISBN: (纸本)9798350353181

Rust is an emerging programming language that provides both memory and thread safety like Java, and runtime efficiency like C/C++, by introducing a number of novel language features such as ownership, borrowing, explicit lifetime, and unsafe. these novel features make Rust a promising safe system language to build infrastructures in AI for science, where both security and performance are indispensable. However, there are no prior empirical studies of Rust language feature usage at the ecosystem scale, and such a study is important not only for guiding future language evolution but also for identifying research opportunities and challenges. In this paper, to fill the gap, we present the first comprehensive empirical study of Rust language feature usage at the ecosystem scale, by analyzing all registered 9,683 science-related crates in the Rust community's crate registry, with a novel tool RInsight we created. the empirical results give important insights, such as: 1) the dominated language features in all crates are functional ones (66.67 % ), which presents evidence that Rust is essentially a functional language pragmatically, but does NOT support the claim that “Rust is a safe dialect of C”; and 2) the unsafe feature is not used at an as high ratio as the prior study reported and is continuously dropping since 2018. We present the implications of these empirical findings and future research challenges to promote future research.

关键词： Java Runtime Ecosystems Memory management Prototypes programming Software

来源：评论

学校读者我要写书评

暂无评论

Cell Devices for High-Density Flash Memory

Cell Devices for High-Density Flash Memory

引用

2008 9th international conference on Solid-State and Integrated-Circuit Technology

作者： Jong-Ho Lee Young Min Kim Sung-Ho Bae Kyung-Rok Han Il-Hwan Cho School of EECS Kyungpook National University 1370 Sankyuk-DongBuk-GuDaegu702-701 Korea

Introduction Demand for non-volatile memory devices has grown rapidly in recent years because it is a cost-effective data-storage solution in a broad ***,two major types of flash memory,NOR and NAND,are developed their market share according to their application domains. With cell size scaling-down for high-density flash memory,it becomes serious to suppress short channel effect,which increases V fluctuation and may result in a problem achieving *** problems can be moderated with 3-D device structure based on bulk FinFETs[1]and recessed channel devices[2].To extend cell scalability further in conventional devices and 3-D

关键词： [IEEE Keyword]Doping Interference programming Flash memory Logic gates FinFETs SONOS devices

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：