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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

4,790 篇 会议
353 册 图书
80 篇 期刊文献
1 篇 学位论文

馆藏范围

5,220 篇 电子文献
4 种 纸本馆藏

日期分布

学科分类号

3,588 篇 工学
- 3,087 篇 计算机科学与技术...
- 2,586 篇 软件工程
- 583 篇 信息与通信工程
- 434 篇 控制科学与工程
- 339 篇 电气工程
- 230 篇 机械工程
- 199 篇 电子科学与技术（可...
- 194 篇 生物工程
- 141 篇 安全科学与工程
- 137 篇 生物医学工程（可授...
- 107 篇 建筑学
- 99 篇 动力工程及工程热...
- 95 篇 土木工程
- 82 篇 材料科学与工程（可...
- 82 篇 交通运输工程
- 81 篇 仪器科学与技术
990 篇 理学
- 556 篇 数学
- 219 篇 生物学
- 172 篇 系统科学
- 169 篇 物理学
- 151 篇 统计学（可授理学、...
- 76 篇 化学
802 篇 管理学
- 569 篇 管理科学与工程(可...
- 302 篇 工商管理
- 289 篇 图书情报与档案管...
143 篇 医学
- 120 篇 临床医学
- 110 篇 基础医学(可授医学...
129 篇 教育学
- 126 篇 教育学
111 篇 经济学
- 111 篇 应用经济学
108 篇 法学
- 79 篇 社会学
41 篇 农学
11 篇 军事学
8 篇 文学
2 篇 艺术学

主题

374 篇 software enginee...
223 篇 software
173 篇 artificial intel...
154 篇 computer archite...
143 篇 information syst...
143 篇 application soft...
130 篇 computer communi...
114 篇 computer science
109 篇 hardware
109 篇 computer softwar...
108 篇 software enginee...
102 篇 real-time system...
94 篇 control systems
89 篇 computer aided s...
73 篇 software systems
72 篇 computational mo...
72 篇 software design
71 篇 software archite...
61 篇 software testing
61 篇 logics and meani...

机构

21 篇 college of compu...
10 篇 school of softwa...
9 篇 univ york dept c...
9 篇 dublin city univ...
8 篇 department of co...
8 篇 state key labora...
7 篇 school of comput...
7 篇 faculty of compu...
6 篇 school of comput...
6 篇 school of comput...
6 篇 shanghai key lab...
6 篇 college of compu...
6 篇 university of ne...
6 篇 faculty of compu...
6 篇 carleton univ de...
6 篇 univ haifa dept ...
6 篇 school of inform...
5 篇 univ chinese aca...
5 篇 hebrew universit...
5 篇 nanjing univ sta...

作者

14 篇 kupferman orna
14 篇 labiche yvan
12 篇 david lo
8 篇 mylopoulos john
8 篇 yilmaz murat
8 篇 reinhartz-berger...
8 篇 sturm arnon
8 篇 xin xia
8 篇 paige richard f.
7 篇 o'connor rory v.
7 篇 vardi moshe y.
7 篇 clarke paul m.
7 篇 biffl stefan
7 篇 briand lionel c.
7 篇 exman iaakov
6 篇 katz guy
6 篇 maoz shahar
6 篇 sulaiman shahida
6 篇 lakhmi c. jain
5 篇 bernady o. apduh...

语言

5,091 篇 英文
105 篇 其他
34 篇 中文
2 篇 德文
2 篇 俄文
1 篇 西班牙文

检索条件"任意字段=5th Israel Conference on Computer Systems and Software Engineering"

共 5224 条记录，以下是541-550 订阅

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

详细简洁

排序：

Prediction of Antimicrobial Peptides Using Deep Neural Networks

Prediction of Antimicrobial Peptides Using Deep Neural Netwo...

引用

16th International Joint conference on Biomedical engineering systems and Technologies, BIOSTEC 2023

作者： Gülsüm Söylemez, Ümmü Yousef, Malik Bakir-Gungor, Burcu Department of Software Engineering Faculty of Engineering Muş Alparslan University Muş Turkey Department of Information Systems Zefat Academic College Zefat13206 Israel Department of Computer Engineering Faculty of Engineering Abdullah Gul University Kayseri Turkey

Antimicrobial peptides (AMPs) are crucial elements of the innate immune system;and they are effective against bacteria that cause several diseases. these peptides are investigated as potential alternatives of antibiotics to treat infections. Since wet lab experiments are expensive and time-consuming, computational methods become crucial in this field. In this study, we suggest a computational technique for AMP prediction using deep neural networks (DNN). We trained a DNN classifier using physicochemical features that include a sequential model;and evaluated the model with 10-fold cross-validation on a benchmark dataset. We compared our method with other machine learning approaches and demonstrated that the method we developed generates higher performance (accuracy: 92%, precision: 92%, recall: 93%, f1: 93%, AUC: 98%). In our experiments, we have realized that there is a strong positive correlation between the ‘Normalized Hydrophobic Moment’ feature and ‘Angle Subtended by the Hydrophobic Residues’ feature;and strong negative correlations between ‘Normalized Hydrophobicity’ feature and ‘Disordered Conformation Propensity’ feature, and between ‘Amphilicity Index’ - ‘Disordered Conformation Propensity’ features. We believe that the approach we proposed could guide further experimental studies and could facilitate the prediction of other types of AMPs having anticancer, antivirus, antiparasitic activities. © 2023 by SCITEPRESS – Science and Technology Publications, Lda.

关键词： Deep neural networks

来源：评论

学校读者我要写书评

暂无评论

Research on dependability life cycle model for software system

Research on dependability life cycle model for software syst...

引用

International conference on computer engineering and Applications (ICCEA)

作者： Min Yu Chunhui Yang Software and Systems Research Department China Electronic Product Reliability and Environmental Testing Research Institute Guangzhou P.R. China

ISBN: (数字)9798350386776

ISBN: (纸本)9798350386783

Dependability is an intrinsic attribute of a system and a key decision factor for evaluating and accepting successful system performance. the dependability of a system is affected by different factors in different stages of its life cycle, and it must be properly managed. the key to achieve dependability is to adopt a life-cycle approach to obtain dependability. this paper analyzes the meaning of dependability life cycle, and on the basis of introducing the existing system, data and product life cycle models, constructs the system dependability life cycle model, including concept, development, realization, utilization and retirement/re-use of five life cycle stages. Considering the wide application of software system, the dependability life cycle model of software system is further studied and established. the implementation of dependability activities in each phase of the system life cycle can promote the realization of system dependability and create dependability value.

关键词： Analytical models Reviews System performance Computational modeling Decision making Process control Logic gates

来源：评论

学校读者我要写书评

暂无评论

Modeling of the work of the UFLS using the new component of the UFLS in the PSCAD/EMTDC software

Modeling of the work of the UFLS using the new component of ...

引用

International Youth conference on Radio Electronics, Electrical and Power engineering (REEPE)

作者： Borbad M. Giyoev Bakhtiyor F. Ibragimov Abduvakil M. Rasulov Manizha M. Mahmadsaidzoda Bahodur A. Gayurov Relay Protection and Automation Department Tajik Technical University Named After Academician M.S. Osimi Dushanbe Republic of Tajikistan Electric Power Engineering Department Branch of the National Research University "MPEI" in Dushanbe Tajikistan Dushanbe Republic of Tajikistan

the most severe consequences for the power system occur during system accidents with the occurrence of a large deficit in the generated active power and a deep decrease in frequency. To prevent and limit the frequency avalanche, a complex of automatic frequency reduction limitation (AFRL) is used, namely its main component is under frequency load shedding (UFLS). the UFLS device is one of the emergency control (EC) devices, which is not provided as a separate component in some of the leading computer systems. In this paper, it is developed a component that implements the functions of under frequency load shedding in the power system. the introduced study briefly discusses the modeling of UFLS processes in the PSCAD/EMTDC software and testing the operation of the component developed by the authors.

关键词： Power engineering Computational modeling Process control Load shedding Market research software Power systems

来源：评论

学校读者我要写书评

暂无评论

AlgoAssist: Algorithm Visualizer and Coding Platform for Remote Classroom Learning 5

AlgoAssist: Algorithm Visualizer and Coding Platform for Rem...

引用

5th International conference on computer, Communication, and Signal Processing, ICCCSP 2021

作者： Ghandge, Aniket B. Udhane, Bhagyashree P. Yadav, Hrithik R. thakare, Prateek S. Kottawar, Vinayak G. Deshmukh, Pramod B. D. Y. Patil College of Engineering Computer Engineering Pune India

ISBN: (纸本)9781665432771

With the shift of remote and digital learning, an integrated platform serving the effective learning needs of students is required. AlgoAssist is an integrated software platform that is a comprehensive solution for teachers and students to teach and learn online effectively. It mainly focuses on algorithm visualization, which allows a better understanding of its flow and operation. It supports the integration of the lab into a single application dedicated to pre-assessment, algorithm explanation, visualization, coding, and post-assessment. Teachers can assign assignments to students that can be assessed manually or automatically. It also provides information on students' performance, which will be calculated based on the result of various assessments, assignment submission, and module completion. AlgoAssist can support conventional learning systems in areas of computer engineering, especially in the data structures and algorithms course. © 2021 IEEE.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

eMoCo: Sentence Representation Learning With Enhanced Momentum Contrast 22

eMoCo: Sentence Representation Learning With Enhanced Moment...

引用

5th International conference on computer Science and software engineering, CSSE 2022

作者： Qi, Shibo Jin, Rize Paik, Joon-Young School of Computer Science and Technology Tiangong University Tianjin300387 China School of Software Tiangong University Tianjin300160 China Tianjin Intl. Collaboration Research Center of Autonomous Intelligence Technology and Systems Tianjin300387 China

ISBN: (纸本)9781450397780

Sentence representation learning can transform sentences into fixed format vectors, and provides foundation for downstream tasks such as information retrieval, semantic similarity analysis, etc. With the popularity of contrastive learning, sentence representation learning has also been further developed. At the same time, contrastive learning method based on momentum has achieved great success in computer vision. It solves the coupling between negative samples and batch size. But its expected performance is not observed in natural language processing tasks because the combination of data augmentation strategies is weak, and it only utilizes the samples in the momentum queue as negatives while ignoring those generated in current batch. In this paper, we propose eMoCo: enhanced Momentum Contrast to solve the above issues. We formulate a set of data augmentation strategies for text, and present a novel Dual-Negative loss to make full use of all negative samples. Extensive experiments on STS (Semantic Text Similarity) datasets show that our method outperforms the current state-of-the-art models, indicating its advantages in sentence representation learning. © 2022 ACM.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of Controller Area Network-Transport Protocol software Based on C#

Design and Implementation of Controller Area Network-Transpo...

引用

Electronic Communication and Artificial Intelligence (IWECAI), International Workshop on

作者： Wenbin Zhao Bing Xiao School of Automation Science and Engineering South China University of Technology Guangzhou China

ISBN: (数字)9798350386943

ISBN: (纸本)9798350386950

Performing Measurement, Calibration, and Diagnosis (MCD) work through automotive electronic control systems is a primary aspect of vehicle upgrade and maintenance. Nowadays, as the core component of automotive electronic control systems, every Electronic Control Unit (ECU) requires MCD operations to ensure the normal functioning of vehicles. the Controller Area Network-Transport Protocol (CAN_TP) is a network transport layer protocol based on CAN bus communication within MCD systems. this paper presents the development of CAN_TP software according to the ISO 15765–2 standard. the CAN_TP software facilitates data interaction between a Personal computer and the ECU, providing convenience for vehicle MCD operations.

关键词： Protocols ISO Standards Area measurement Automotive electronics Control systems software Calibration

来源：评论

学校读者我要写书评

暂无评论

Verified Optimization (work in progress) 14

Verified Optimization (work in progress)

引用

Joint of the 5th Workshop on Formal Mathematics for Mathematicians, FMM 2019, 2nd Workshop on Formal Verification of Physical systems, FVPS 2021, 13th Workshop on Mathematical User Interaction, MathUI 2021, 2021 Workshop on Natural Formal Mathematics, NatFoM 2021, and 31st OpenMath Workshops, OM 2021 Doctoral Program and Work in Progress at the 14th conference on Intelligent computer Mathematics, CICM-WS 2021

作者： Bentkamp, Alexander Avigad, Jeremy Vrije Universiteit Amsterdam Department of Computer Science De Boelelaan 1111 Amsterdam1081 HV Netherlands State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences No. 4 South Fourth Street Zhong Guan Cun Beijing100190 China Carnegie Mellon University Department of Philosophy Baker Hall 161 PittsburghPA15213 United States

Optimization is used extensively in engineering, industry, and finance, and various methods are used to transform problems to the point where they are amenable to solution by numerical methods. We describe progress towards developing a framework, based on the Lean interactive proof assistant, for designing and applying such reductions in reliable and flexible ways. © 2021 Copyright for this paper by its authors.

关键词： Convex optimization

来源：评论

学校读者我要写书评

暂无评论

Design and Verification of 1553B Communication Interface Based on SoC Chip

Design and Verification of 1553B Communication Interface Bas...

引用

Artificial Intelligence and computer engineering (ICAICE), International conference on

作者： Ying Zhang Jin Wen Yu Pan Shuangchao Qu School of Science Xi'an Shiyou University Xi'an China

ISBN: (数字)9798331528911

ISBN: (纸本)9798331528928

the 1553B bus is widely used in airborne equipment due to its remarkable real-time performance and reliability. With the rapid advancement of China's science and technology and aerospace industry, more and more airborne equipment is developing in the direction of miniaturisation and convenience, based on this, integration has become the trend of SoC chip design, this paper designs a 1553B communication interface module based on SoC chip, through the specific design and analysis of SoC chip and interface module, and verifies the function of the whole system, the results show that 1553B communication interface software and hardware can efficiently interact with data, In the 1553B communication system, the data transmission and receiving state is normal, which provides a strong support for the development of airborne networks in the direction of portability.

关键词： computer network reliability Market research Reliability engineering software Hardware Stability analysis Real-time systems Data communication Communication networks Chip scale packaging

来源：评论

学校读者我要写书评

暂无评论

thermal Optimization Design of a Intelligent Programmable Controller Based on CFD software 19

Thermal Optimization Design of a Intelligent Programmable Co...

引用

19th International conference on Future Networks and Communications, FNC 2024 / 21st International conference on Mobile systems and Pervasive Computing, MobiSPC 2024 / 14th International conference on Sustainable Energy Information Technology, SEIT 2024

作者： Yang, Zhangbin Wang, Haoran Liao, Xiang Chen, Feiyu Cai, Hang Luo, Quan China Three Gorges Construction Engineering Corporation Chengdu610095 China Three Gorges Intelligent Industrial Control Technology Co. Ltd Wuhan430070 China

With the increasing functionality of intelligent programmable controllers and the continuous improvement in power and component density, the problem of rapidly rising temperatures during operation has become increasingly prominent, directly affecting the controller's lifespan and stability[1]. therefore, improving the heat dissipation efficiency of intelligent programmable controller modules has become a key focus of research. this paper introduces a method of installing aluminum alloy heat sinks on the core chip of the controller and carefully designing the fin shape and size of the heat sink to enhance heat conduction and heat convection effects, improving heat dissipation performance. this paper also constructs a thermal equivalent model of the controller and simulates the impact of different fin parameters on heat dissipation performance. Experimental results show that when the fin height is 5 millimeters, thickness is 2 millimeters, and spacing is 4 millimeters, the heat sink exhibits the highest thermal conductivity and the lowest thermal resistance, achieving optimal heat dissipation effectiveness. © 2024 the Authors. Published by Elsevier B.V.

关键词： Fins (heat exchange)

来源：评论

学校读者我要写书评

暂无评论

Reliable Fetal Health Assessment through Ensemble Techniques in Machine Learning

Reliable Fetal Health Assessment through Ensemble Techniques...

引用

Data Intelligence and Cognitive Informatics (ICDICI), International conference on

作者： M.Rajkumar E. S. Madhan Karthikeyan D Mohanraj Gopal Nithish G School of Computer Science Engineering and Information Systems Vellore Institute of Technology – Vellore Campus Tamil Nadu India School of Computer Science and Engineering Vellore Institute of Technology Vellore Tamil Nadu India School of Computer Science Engineering and Information Systems Vellore Institute of Technology Vellore Campus Tamil Nadu India School of Computer Science Engineering and Information Systems Vellore Institute of Technology Vellore Tamil Nadu India Vellore Institute of Technology Vellore Campus Tamil Nadu India

ISBN: (数字)9798350389609

ISBN: (纸本)9798350389616

Ensuring the well-being of foetuses during pregnancy is crucial for preventing child and maternal mortality, aligning with the United Nations' Sustainable Development Goals. Utilizing a dataset of 2126 records from Cardiotocography (CTG) exams, obtained from the Kaggle repository, the study employs machine learning ensemble techniques, specifically stacking with 10x10 validations, to increase the classification of fetal health's precision and dependability. To address class imbalance, the dataset is resampled to 150%, and filter-based feature selection using the chi-squared statistical test is applied. Base models, including Decision Trees (C4.5), Random Forest (100 trees), Logistic Regression, and Sequential Minimal Optimization (SMO), are utilized. With the help of the Weka Machine Learning software tool, the ensemble model, after hyper parameter tuning and employing diverse techniques, with 98.68% accuracy, the model effectively classifies fetal health, indicating robust performance across various evaluation metrics.

关键词： Measurement Accuracy Soft sensors Stacking Solids software reliability Sustainable development software tools Random forests Tuning

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 51 52 53 54 55 56 57 58 59 60 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：