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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

9,407 篇 会议
182 篇 期刊文献
90 册 图书

馆藏范围

9,679 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

6,492 篇 工学
- 4,732 篇 计算机科学与技术...
- 2,842 篇 软件工程
- 992 篇 机械工程
- 803 篇 信息与通信工程
- 776 篇 电气工程
- 623 篇 控制科学与工程
- 551 篇 电子科学与技术（可...
- 317 篇 生物医学工程（可授...
- 296 篇 土木工程
- 295 篇 建筑学
- 282 篇 生物工程
- 214 篇 仪器科学与技术
- 212 篇 材料科学与工程（可...
- 186 篇 动力工程及工程热...
- 182 篇 光学工程
- 149 篇 化学工程与技术
1,722 篇 理学
- 932 篇 数学
- 453 篇 物理学
- 340 篇 生物学
- 184 篇 系统科学
- 177 篇 统计学（可授理学、...
- 147 篇 化学
1,186 篇 管理学
- 876 篇 管理科学与工程(可...
- 383 篇 工商管理
- 369 篇 图书情报与档案管...
421 篇 教育学
- 416 篇 教育学
375 篇 医学
- 308 篇 临床医学
- 213 篇 基础医学(可授医学...
223 篇 艺术学
- 200 篇 设计学（可授艺术学...
158 篇 法学
- 136 篇 社会学
126 篇 经济学
69 篇 农学
43 篇 文学
13 篇 军事学
6 篇 历史学
4 篇 哲学

主题

329 篇 algorithm design...
272 篇 computer aided d...
247 篇 computer archite...
216 篇 computer science
160 篇 computational mo...
144 篇 computer graphic...
142 篇 computer aided i...
111 篇 design automatio...
111 篇 design
109 篇 educational inst...
107 篇 application soft...
99 篇 software design
91 篇 optimization
89 篇 hardware
88 篇 visualization
88 篇 computers
83 篇 product design
82 篇 costs
80 篇 feature extracti...
74 篇 data mining

机构

32 篇 department of co...
20 篇 computer science...
20 篇 school of comput...
16 篇 school of comput...
16 篇 school of comput...
16 篇 department of el...
16 篇 school of softwa...
14 篇 school of comput...
13 篇 tsinghua nationa...
13 篇 univ british col...
11 篇 chitkara univers...
11 篇 computer science...
10 篇 state key labora...
10 篇 school of comput...
10 篇 wuhan univ sch u...
10 篇 school of inform...
9 篇 college of art z...
9 篇 key laboratory f...
9 篇 state key lab. o...
8 篇 zhejiang univ co...

作者

21 篇 china
18 篇 p.r.china
12 篇 xianlong hong
11 篇 dong jin-xiang
11 篇 navab nassir
10 篇 hangzhou
10 篇 qunsheng peng
9 篇 peng qunsheng
8 篇 shen weiming
8 篇 yang yang
8 篇 anon
8 篇 wang bin
8 篇 sarwo
7 篇 jun zhang
7 篇 guoping wang
7 篇 li tao
7 篇 liu zhen
7 篇 kubota naoyuki
7 篇 zhang lufang
7 篇 prabowo yulius d...

语言

9,118 篇 英文
496 篇 其他
85 篇 中文
12 篇 俄文
5 篇 法文
3 篇 乌克兰文
2 篇 土耳其文
1 篇 西班牙文

检索条件"任意字段=9th International Conference on Computer Aided Design and Computer Graphics"

共 9679 条记录，以下是991-1000 订阅

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

详细简洁

排序：

Bibliometric Analysis of Smart Technology for Virtual Museum Research

Bibliometric Analysis of Smart Technology for Virtual Museum...

引用

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

作者： Donna Carollina Mita Purbasari Sidharta Visual Communication Design Department School of Design Bina Nusantara University Jakarta Indonesia Visual Communication Design Department Graphic Design & New Media Program Bina Nusantara University Jakarta Indonesia Computer Science Department School of Computer Science Bina Nusantara University Jakarta Indonesia

In recent years, the development of intelligent technology has had a significant impact on the development of virtual museums. therefore, knowledge mapping is needed to describe and analyze trends, implementation, and benefits of using smart technology in virtual museums. this study used bibliometric methods. the results is smart technology for virtual museum research tends to a downward trend in research productivity. the productive year for this study was 2019. While the type of documents related to this research on Scopus indexation is dominated by conference papers with 51 documents or 63.7%. the dominant publication source for this research is Lecture Notes in computer Science including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics with 11 documents. the affiliation with the most documents is MARA University of Technology with 2 documents, and the most productive country in this study is China with 15 documents. From the results of research mapping, it was found that research in the field of smart technology for virtual museums still has great opportunities to be applied to applicable themes such as the application of local wisdom content that can enrich research topics.

关键词：

来源：评论

学校读者我要写书评

暂无评论

design of Satellite Communication Channel Monitoring Sequence Length 9

Design of Satellite Communication Channel Monitoring Sequenc...

引用

9th IEEE international conference on computer Science and Network Technology, ICCSNT 2021

作者： Lu, An Xudong, Song Tao, Ning Institute of Computer And Communication Engineering Dalian Jiaotong University Dalian China Institute of Computer Science And Engineering Dalian Minzu University Dalian China

ISBN: (纸本)9781665443647

In satellite communication system, the quality of channel affects the communication performance of system directly. According to the characteristics of satellite communication, the length of satellite communication channel monitoring sequence is designed. the design of the length can not only meet requirement of the satellite communication channel quality monitoring, but also the need of capture probability and capture time of the receiver to the monitoring sequence, which avoids the influence of low capture or long delay on the channel real-time monitoring. In order to solve the poor quality of satellite communication channel, we design the length of the monitoring sequence in the case of high error, and the error analysis of CSI (channel state information) is carried out and capture probability and capture time of monitoring sequence is analyzed in this paper. the effectiveness of the proposed method is verified by simulation. © 2021 IEEE.

关键词： Satellite communication systems

来源：评论

学校读者我要写书评

暂无评论

Compact MIMO Antenna Array for 5G Applications 9

Compact MIMO Antenna Array for 5G Applications

引用

9th international conference on Electrical Engineering, computer Science and Informatics, EECSI 2022

作者： Ghadeer, Sabah Hassan Elwi, Taha A. Rahim, Sharul Kamal Abd. School of Electrical Engineering Universiti Teknologi Malaysia Faculty of Engineering Johor Malaysia Al-Mamoon University College Communication Engineering Dept Baghdad Iraq International Applied and Theoretical Research Center (IATRC) Quarter Baghdad Iraq

ISBN: (数字)9786239213565

ISBN: (纸本)9781665470438

In this work, a compact multi-input multi-output (MIMO) microstrip antenna is proposed by using modify fractal geometry. the proposed structure is derived from Koch fractal Metamaterial (MTM) to provide a further flexibility in the design process to maintain the antenna elements from electromagnetic coupling in their miniaturized array. therefore, a compacted MIMO antenna array is resulted with high isolation at center frequency of 2.6 GHz when mounted on FR4 substrate of 1.6 mm thickness and a dielectric constant of 4.6. CST Microwave Studio is invoked to investigate the simulation antenna performance in terms of S-permeates and radiation properties. For validation, the proposed antenna performance is recalculated using HFSS software package based on finite element method. © 2022 Institute of Advanced Engineering and Science (IAES).

关键词： 5G Antenna Koch fractal geometry Microstrip Antenna MIMO Antenna

来源：评论

学校读者我要写书评

暂无评论

Requirements for the Development of a Website Builder with Adaptive design

Requirements for the Development of a Website Builder with A...

引用

international conference on computer Science and Engineering (UBMK)

作者： Gulmira Bekmanova Banu Yergesh Assel Omarbekova Laura Orynbay Aiganym Bessembayeva Dinara Kabdylova Altanbek Zulkhazhav Beibarys Sultan L.N. Gumilyov Eurasian National University Astana Kazakhstan Digital development and online learning department L.N. Gumilyov Eurasian National University Astana Kazakhstan Faculty of Information Technologies L.N. Gumilyov Eurasian National University Astana Kazakhstan

ISBN: (数字)9798350365887

ISBN: (纸本)9798350365894

this article presents the requirements for developing a system that enables users with limited technical knowledge to create responsive websites effectively. the project, funded by the Ministry of Science and Higher Education of the Republic of Kazakhstan, seeks to combine automated website generation with adaptive design principles to produce user-friendly and accessible web resources. A comprehensive review of existing approaches to automatic website creation has been conducted, categorizing technologies based on layout, example-based methods, and artificial intelligence. the evolution of adaptive website design is discussed, highlighting the need for contemporary content-oriented and device-responsive web developments. the integration of server-side rendering (SSR) with *** has been identified as a significant improvement in web development. this approach provides several benefits, including increased productivity, improved search engine optimization (SEO), and the ability to generate content dynamically. the article discusses the technical aspects of implementing SSR with ***, including de-veloping a prototype system with features such as a user-friendly website builder, automated content display, and responsive design tailored to different devices and users' needs. the prototype system demonstrates the potential for commercialization and the creation of accessible solutions for users with visual impairments. this work represents an important step towards making web development more inclusive, allowing users without advanced technical skills to create responsive websites. By using SSR and ***, developers can create more accessible and user-friendly web experiences for a wider audience.

关键词： Adaptive systems Content management Reviews Visual impairment Prototypes Search engines Rendering (computer graphics) Solids Security Commercialization

来源：评论

学校读者我要写书评

暂无评论

Coded Caching for MISO Systems with Linear Subpacketization

Coded Caching for MISO Systems with Linear Subpacketization

引用

international conference on computers, Communications, and Systems (ICCCS)

作者： Minquan Cheng Rongqing Tan Jinyu Wang Youlong Wu Xianxian Li School of Computer Science and Engineering Guangxi Normal University Guilin China School of Mathematics and Statistics Guangxi Normal University Guilin China School of Information Science and Technology ShanghaiTech University Shanghai China

ISBN: (数字)9798350350210

ISBN: (纸本)9798350350227

this paper considers the cache-aided multiple-input single-output (MISO) broadcast channel (BC), where a server with $L$ transmit antennas and containing $N$ equal-length files communicates to $K$ users through a wireless broadcast link, and each user has a cache memory of $M$ files. Multiple-antenna placement delivery array (MAPDA) is a combinatorial structure to design coded caching schemes with uncoded placement and one-shot linear delivery for this MISO BC problem. In this paper, by constructing a class of MAPDAs under cyclic placement, we obtain a new multi-antenna coded caching scheme with linear subpacketization, which achieves the optimal sum-DoF $KM/N+L$ when $M/N\leq L/K$ . Compared to existing schemes which achieve the optimal sum-DoF, the proposed scheme achieves lower sum-DoF with significantly lower subpacketization when $M/N > L/K$ for some parameters. Compared to existing schemes under cyclic placement, the proposed scheme achieves higher sum-DoF with approximately the same subpacketization when $M/N > \displaystyle \max\{L/K, 1/2\}$ .

关键词： Wireless communication Transmitting antennas Cache memory MISO communication Servers

来源：评论

学校读者我要写书评

暂无评论

A Markov Model Based Algorithm for Calculating Mean Downtimes of Distribution Feeders 9

A Markov Model Based Algorithm for Calculating Mean Downtime...

引用

9th international Multidisciplinary Moratuwa Engineering Research conference, MERCon 2023

作者： Ranawaka, Shehan Hewa, Nipun Waththu Ranathunga, Madeesha Abeygunawardane, Saranga Silva, Narendra De University of Moratuwa Department of Electrical Engineering Moratuwa Sri Lanka Lanka Electricity Company Colombo Sri Lanka

ISBN: (纸本)9798350345216

Distribution utilities compute several reliability indices to assess the reliability performance of power systems. In reliability-based planning, these indices are computed using reliability planning models. Such models require failure rates and mean downtimes of distribution feeders as inputs. At present, there is a lack of models for calculating operational mean downtimes of distribution feeders. this paper proposes a Markov model which represents failures in a feeder and operations circumstances in fault recovery. this proposed model can efficiently calculate the operational mean downtime of a feeder, using analytical equations. An algorithm and a graphical user interface are also developed based on the proposed model, in order to integrate the proposed model with software tools. Two case studies are conducted on two selected feeders, using actual data obtained from failure and repair histories and experts' opinion. Results of case studies show the applicability of our proposed Markov model-based algorithm to calculate mean downtimes of distribution feeders. the Markov model is validated by comparing results provided by the proposed algorithm with the results obtained using Monte Carlo simulation. the proposed Markov model-based algorithm would be very useful for utilities to calculate operational mean downtimes required for reliability-based planning models. © 2023 IEEE.

关键词： computer aided software engineering

来源：评论

学校读者我要写书评

暂无评论

Research on Simulation of Multi-Electromagnetic Interference Sources on Cables 9

Research on Simulation of Multi-Electromagnetic Interference...

引用

9th IEEE international conference on computer Science and Network Technology, ICCSNT 2021

作者： Ma, Yunfei Tang, Yao Luo, Jinghong Gong, Linshu Jiang, Tao Marine Design Research Institute of China Shanghai China College of Information And Communication Engineering Harbin Engineering University Harbin China First Research Laboratory Shanghai Electro-Mechanical Engineering Institute Shanghai China

ISBN: (纸本)9781665443647

With the rapid development of modern information technology, the influence of cables interference on electromagnetic compatibility has become increasingly prominent. therefore, the conduction interference of cable under the action of multiple interference sources has been extensively discussed and studied. this paper starts from the electromagnetic interference simulation technological process of the cable with multi-interference sources, demonstrates and proposes the interference analysis process of the dual-conductor transmission line and the multi-conductor transmission cable, explains the main work content of each step in the process, and gives an implementation case to prove the rationality of the process. © 2021 IEEE.

关键词： Cables

来源：评论

学校读者我要写书评

暂无评论

AutoMap: Automated Mapping of Security Properties Between Different Levels of Abstraction in design Flow 40

AutoMap: Automated Mapping of Security Properties Between Di...

引用

40th IEEE/ACM international conference on computer aided design (ICCAD)

作者： Ahmed, Bulbul Rahman, Fahim Hooten, Nick Farahmandi, Farimah Tehranipoor, Mark Univ Florida Dept ECE Gainesville FL 32611 USA Dytenics Inc Huntsville AL USA

the security of system-on-chip (SoC) designs is threatened by many vulnerabilities introduced by untrusted third-party IPs, and designers and CAD tools9; lack of awareness of security requirements. Ensuring the sec... 详细信息

ISBN: (纸本)9781665445078

the security of system-on-chip (SoC) designs is threatened by many vulnerabilities introduced by untrusted third-party IPs, and designers and CAD tools' lack of awareness of security requirements. Ensuring the security of an SoC has become highly challenging due to the diverse threat models, high design complexity, and lack of effective security-aware verification solutions. Moreover, new security vulnerabilities are introduced during the design transformation from higher to lower abstraction levels. As a result, security verification becomes a major bottleneck that should be performed at every level of design abstraction. Reducing the verification effort by mapping the security properties at different design stages could be an efficient solution to lower the total verification time if the new vulnerabilities introduced at different abstraction levels are addressed properly. To address this challenge, we introduce AutoMap that, in addition to the mapping, extends and expands the security properties to identify new vulnerabilities introduced when the design moves from higher-to lower-level abstraction. Starting at the higher abstraction level with a defined set of security properties for the target threat models, AutoMap automatically maps the properties to the lower levels of abstraction to reduce the verification effort. Furthermore, it extends and expands the properties to cover new vulnerabilities introduced by design transformations and updates to the lower abstraction level. We demonstrate AutoMap's efficacy by applying it to AES, RSA, and SHA256 at C++, RTL, and gate-level. We show that AutoMap effectively facilitates the detection of security vulnerabilities from different sources during the design transformation.

关键词： Security Property Mapping Security Property Extension Security Property Expansion Property-based Verification

来源：评论

学校读者我要写书评

暂无评论

Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach 7

Model Checking for Rectangular Hybrid Systems: A Quantified ...

引用

7th international Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, SNR 2021

作者： Nguyen, Luan V. Haddad, Wesam Johnson, Taylor T. Department of Computer Science University of Dayton OH United States Department of Computer Science Vanderbilt University TN United States

Satisfiability Modulo theories (SMT) solvers have been successfully applied to solve many problems in formal verification such as bounded model checking (BMC) for many classes of systems from integrated circuits to cyber-physical systems. Typically, BMC is performed by checking satisfiability of a possibly long, but quantifier-free formula. However, BMC problems can naturally be encoded as quantified formulas over the number of BMC steps. In this approach, we then use decision procedures supporting quantifiers to check satisfiability of these quantified formulas. this approach has previously been applied to perform BMC using a Quantified Boolean Formula (QBF) encoding for purely discrete systems, and then discharges the QBF checks using QBF solvers. In this paper, we present a new quantified encoding of BMC for rectangular hybrid automata (RHA), which requires using more general logics due to the real (dense) time and real-valued state variables modeling continuous states. We have implemented a preliminary experimental prototype of the method using the HyST model transformation tool to generate the quantified BMC (QBMC) queries for the Z3 SMT solver. We describe experimental results on several timed and hybrid automata benchmarks, such as the Fischer and Lynch-Shavit mutual exclusion algorithms. We compare our approach to quantifier-free BMC approaches, such as those in the dReach tool that uses the dReal SMT solver, and the HyComp tool built on top of nuXmv that uses the MathSAT SMT solver. Based on our promising experimental results, QBMC may in the future be an effective and scalable analysis approach for RHA and other classes of hybrid automata as further improvements are made in quantifier handling in SMT solvers such as Z3. © Nguyen et al.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

EEG-Based Emotion Recognition with EERN Model

EEG-Based Emotion Recognition with EERN Model

引用

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

作者： Zhiping Hou Zitong Lin Qinyuan Zheng Minyao Jiang Zhenduo Lin Yanlu Zhang Jianing Bao Beijing Institute of Fashion Technology Chaoyang Beijing China Beijing Institute of Fashion Technology College of materials design & engineering Chaoyang Beijing China Department of Computer and Information Technology Beijing Jiaotong University Haidian Beijing China Beijing Institute of Fashion Technology College of Bushiness Chaoyang Beijing China

ISBN: (数字)9798350376548

ISBN: (纸本)9798350376555

Emotion classification is a key technology in neuroscience and BCI, helping computers to describe and understand emotions. Compared to non-physiological signals such as physical behavior and voice, EEG is a more scientific technology for emotion classification task because of its immutability. With the advancement of graphics Processing Units(GPU) and artificial intelligence,deep learning algorithms obtain excellent performance for emotion recognition with EEG. In this paper, we propose an Emo-EEGResNet (EERN) model, which consists of an EERN-Data tool for original data generation, an EERN-DE for feature extraction, and an EERN-net based on Res-net for emotion classification. Compared to SVM, Logistic Regression, Decision Tree and CNN, the EERN model has better performance with strong robustness in emotion recognition. the classification accuracy of these four algorithms are 74.75%, 76.01 %, 63.08%, 83% respectively in SEED datasets, while EERN is 93.4 %. the results prove that EERN is better suited for emotion recognition than several of the comparative methods.

关键词： Support vector machines Emotion recognition Accuracy Computational modeling graphics processing units Data collection Brain modeling Feature extraction Electroencephalography Classification algorithms

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 96 97 98 99 100 101 102 103 104 105 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：