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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

A Formal Approach for Verifying and Validating Security Objectives in software Architecture 17th

A Formal Approach for Verifying and Validating Security Ob...

引用

17th International conference on Verification and Evaluation of computer and Communication systems, VECoS 2024

作者： thierry, Loïc Hamid, Brahim Jaskolka, Jason IRIT Université de Toulouse CNRS UT2 118 Route de Narbonne Toulouse Cedex 931062 France Systems and Computer Engineering Carleton University 1125 Colonel By Drive OttawaONK1S 5B6 Canada

ISBN: (纸本)9783031853555

the design and analysis of security in distributed computing systems raises numerous questions on the tools available for modeling and verification. Particularly, it is difficult to ensure the correctness when using different validation processes in software architecture design. Assuring cross-platform validation manually is labor intensive, expertise dependent, and error prone. this paper proposes an approach for the design and analysis of secure software architecture in the context of a component-port-connector architecture model and message passing communication. We use the Event-B formal method to create the software architecture model and security in successive steps using the refinement process. We also use proof obligations to verify the security of the successive software architecture models. Furthermore, we use the ProB model-checker and animator for the model validation. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Message passing

来源：评论

学校读者我要写书评

暂无评论

Simulation Analysis to Estimate Performances of Automated Parking System 23

Simulation Analysis to Estimate Performances of Automated Pa...

引用

5th International conference on Management Science and Industrial engineering, MSIE 2023

作者： Polsuksiri, Alongkorn Chutima, Parames Department of Industrial Engineering Faculty of Engineering Chulalongkorn University Thailand Academy of Science The Royal Society of Thailand Thailand

ISBN: (纸本)9798400708381

Automated parking systems make it possible to alleviate the parking problem, improve effective investment in real estate, and reduce the area devoted to parking. Currently, there are several types of automated parking systems, depending on the manufacturer. this article focuses on the pallet type and robot type, and the main factors in the selection of an automatic parking system are cost and system performance. Generally, the performance of an automatic parking system is calculated based on the average processing time between the nearest and the farthest parking at only two positions, which results in low reliability. therefore, the objective of this paper is to study and estimate the performance of automatic parking systems by comparing the pallet-type and robot-type systems through computer simulations using SIMIO software and analyzing the costs. the results show that the waiting time to entry of the robot type is at least 47% more efficient than that of the pallet type. However, the waiting time for retrieval of the pallet type is at least 16% more efficient than that of the robot type, and the total cost of the robot type is about 4% lower than that of the pallet type. © 2023 ACM.

关键词： Pallets

来源：评论

学校读者我要写书评

暂无评论

Heuristic approaches for hiding sensitive frequent itemsets in uncertain databases 5

Heuristic approaches for hiding sensitive frequent itemsets ...

引用

5th International conference on Pattern Analysis and Intelligent systems, PAIS 2023

作者： Lefkir, Mira Nouioua, Farid Fournier-Viger, Phillipe University Mohamed El Bachir El Ibrahimi of Bordj Bou Arreridj BBA Dept. of Computer Science Algeria Shenzhen University College of Computer Science and Software Engineering Shenzhen China

ISBN: (纸本)9798350381450

Pattern mining is a core objective within data mining, involving the detection of frequent itemsets (collections of values) within databases. this process serves to extract valuable insights from the data, facilitating informed decision-making. In recent times, a range of algorithms has emerged to adapt this task to the realm of uncertain *** has a wide range of applications, such as analyzing medical data to identify correlated symptoms based on their existential probabilities. However, pattern mining algorithms also pose the risk of revealing sensitive information. As far as we know, there is no existing solution that addresses the inadvertent disclosure of sensitive itemsets when pattern mining algorithms are employed on uncertain databases. this paper addresses this problem by proposing three heuristic approaches, which ensure that sensitive expected frequent itemsets are not discovered while minimizing undesirable side effects for other itemsets. the first heuristic approach (called aggregate) deletes some transactions from an uncertain database. the second approach (named disaggregate) removes some selected items from each transaction. And the third approach (called the hybrid approach) combines the two previous approaches, and deletes some selected items from some selected transactions. An experimental evaluation is presented to assess and compare the effectiveness of the three approaches. © 2023 IEEE.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of the Chinese Character Font Recognition System Based on Binary Convolutional Encoding and Decoding Network 5

Design and Implementation of the Chinese Character Font Reco...

引用

5th IEEE International conference on Power, Intelligent Computing and systems, ICPICS 2023

作者： Zhang, Xiangyang School of Computer and Software Engineering Xihua University Chengdu610039 China

ISBN: (纸本)9798350333442

With the in-depth research of computer vision and natural language processing, Chinese character font recognition technology has been widely used. However, due to the large number, complex shape, and changeable style of Chinese characters, the traditional methods based on image feature extraction and classifier design are difficult to deal with the differences among different fonts effectively. Based on the above situation, this paper mainly studies designing and implementing the Chinese character font recognition system based on a binary convolutional encoding and decoding network (BCEDN). First, this paper introduces the principle and structure of Convolutional Encoding and Decoding Networks (CEDN) and how they can be applied to image generation tasks. Second, this paper proposes a binarization strategy to convert real-valued weights and activation functions in CEDN into binary weights and activation functions, thereby reducing the model's storage space and computational complexity while maintaining high generation quality. then, the BCEDN model is trained and tested on this dataset. Finally, this paper analyses the performance of the BCEDN model on the Chinese character font recognition task through the results of quantitative and qualitative experiments and compares them with other related methods. the proposed BCEDN method has the advantages of high efficiency, stability, and scalability, having vital research significance in the field of Chinese character font recognition. © 2023 IEEE.

关键词： Convolution

来源：评论

学校读者我要写书评

暂无评论

software Testing in Ecuadorian University Education: A Debt to the software Industry 12th

Software Testing in Ecuadorian University Education: A Debt ...

引用

12th World conference on Information systems and Technologies (WorldCIST)

作者： Ceron, Belen Chicaiza, Alex Lamino, Johana Reyes Ch, Rolando P. Univ Politecn Madrid Campus Montegancedo Madrid Spain Univ Las Fuerzas Armadas ESPE Sangolqui 171103 Ecuador Univ Int La Rioja Madrid Spain

ISBN: (纸本)9783031602238;9783031602245

the software industry has evolved exponentially in the last 50 years, andwith it, software testing has become like a badge of software quality. However, during this evolution universities apparently have not kept pace with the changing and dynamic pace of the software industry. We have been motivated to carry out an exploratory study to analyze the current state of teaching software testing in careers related to computer Science in Ecuadorian universities. We use a survey as an empirical strategy with a representative population of students in the country. the results are interesting and indicate possible problems in the teaching and culture of use of software testing. Consequently, this deficiency in the correct application of software testing by students is taken to the professional field and therefore to a high-growth industry. It is concluded that software testing in Ecuadorian university education still has deficiencies, making this a debt to be fulfilled by the software industry in Ecuador.

关键词： software engineering software testing software development automated tools survey

来源：评论

学校读者我要写书评

暂无评论

Novel Approach for Enhancing Mental Well-Being through Machine Learning Techniques 5

Novel Approach for Enhancing Mental Well-Being Through Machi...

引用

5th International conference on Advancements in Computing, ICAC 2023

作者： Roshani, O.V.D.E. Ayuwardhana, H.M.K.J.J. Rodrigo, P.H.M.S. Hewageegana, R.U. Fernando, Harinda De Silva, Dilshan I. Sri Lanka Institute of Information Technology Faculty of Computing Department of Computer Science and Software Engineering Malabe Sri Lanka Sri Lanka Institute of Information Technology Faculty of Computing Department of Computer Systems Engineering Malabe Sri Lanka

ISBN: (纸本)9798350358131

Frequently, individuals undergo specific episodes of mental health challenges throughout their lifetime. But the COVID pandemic has triggered a surge in mental health disorders arising from isolation, monotonous routines, demanding workloads, financial disparities, and disruptions to daily schedules. Furthermore, the global pandemic has induced constant anxiety and stress. Beyond the pandemic, the competition and intense pressure of the modern world impact mental health. Access to advanced mental health solutions and the necessary familiarity remain limited for most of the population. Given the integration of technology into daily life, diverse remedies, including mobile and web applications, have emerged to tackle the escalating challenge of mental health disorders. this study proposes an accessible and cost-effective approach that employs machine learning to detect stress levels and discern user emotions from journal entries and facial expressions while integrating self-journaling, video recommendations, and visual content generation to stimulate positive emotions and relieve stress. © 2023 IEEE.

关键词： Cost effectiveness

来源：评论

学校读者我要写书评

暂无评论

A Taxonomy of Self-Admitted Technical Debt in Deep Learning systems 40

A Taxonomy of Self-Admitted Technical Debt in Deep Learning ...

引用

40th International conference on software Maintenance and Evolution

作者： Pepe, Federica Zampetti, Fiorella Mastropaolo, Antonio Bavota, Gabriele Di Penta, Massimiliano Univ Sannio Benevento Italy William & Mary Williamsburg VA USA Univ Svizzera Italiana Software Inst Lugano Switzerland

ISBN: (纸本)9798350395693;9798350395686

the development of Machine Learning (ML)- and, more recently, of Deep Learning (DL)-intensive systems requires suitable choices, e.g., in terms of technology, algorithms, and hyper-parameters. Such choices depend on developers' experience, as well as on proper experimentation. Due to limited time availability, developers may adopt suboptimal, sometimes temporary choices, leading to a technical debt (TD) specifically related to the ML code. this paper empirically analyzes the presence of Self-Admitted Technical Debt (SATD) in DL systems. After selecting 100 open-source Python projects using popular DL frameworks, we identified SATD from their source comments and created a stratified sample of 443 SATD to analyze manually. We derived a taxonomy of DL-specific SATD through open coding, featuring seven categories and 41 leaves. the identified SATD categories pertain to different aspects of DL models, some of which are technological (e.g., due to hardware or libraries) and some related to suboptimal choices in the DL process, model usage, or configuration. Our findings indicate that DL-specific SATD differs from DL bugs found in previous studies, as it typically pertains to suboptimal solutions rather than functional (e.g., blocking) problems. Last but not least, we found that state-of-the-art static analysis tools do not help developers avoid such problems, and therefore, specific support is needed to cope with DL-specific SATD.

关键词： Technical Debt Deep Learning Open-Source

来源：评论

学校读者我要写书评

暂无评论

Database design of load spectrum calculation software for wheeled crane 5

Database design of load spectrum calculation software for wh...

引用

5th International conference on computer Information Science and Artificial Intelligence, CISAI 2022

作者： Zhu, Changjian Zhang, Xingchen Zhang, Zhengde Wang, Yuguo Chen, Ruwen Wu, Kang School of Automotive and Rail Transit Nanjing Institute of Technology Jiangsu China Xuzhou Heavy Machinery Co. Ltd. Jiangsu China

ISBN: (纸本)9781510662520

the software development of wheeled crane load spectrum calculation will involve a series of database design problems, especially the characteristics of many data table types, and large number of fields. Based on the above situation, a method of batch and fast database creation based on high-level programming language is proposed. Firstly, the requirement analysis and detailed design of the wheel crane load spectrum database are carried out, then the different database creation methods are analyzed and compared, the specific database creation algorithm flow is given, and finally the database creation software is developed in C++ language and a running example is given. the proposed database design method is efficient and labor-saving, and is conducive to the rapid construction of data tables for large number of fields in the crane load spectrum. © 2023 SPIE.

关键词： Database systems

来源：评论

学校读者我要写书评

暂无评论

An Empirical Evaluation of Design Smells and Code Smells Over Multiple Versions of software Evolution 5th

An Empirical Evaluation of Design Smells and Code Smells Ove...

引用

5th International conference on Computing, Communications, and Cyber Security, IC4S 2023

作者： Sharma, Kapil Chhabra, Jitender Kumar Computer Engineering Department National Institute of Technology Kurukshetra India

ISBN: (纸本)9789819725496

software code smells serve as indicators of potential flaws in code design. It signifies that the code has not been created while following the design principles. Code smells do not mean the software system is faulty, but their persistence may affect the code maintainability, readability, and modularity. In this study, code smell evolution has been identified on three publicly available open-source software systems, and it was observed how design smells and traditional code smells evolve in different versions of each software system. Detection of these anomalies is performed by publicly available source code analyzers PMD and DesigniteJava. DesigniteJava finds design smells based on violation of object-oriented principles like abstraction, encapsulation, modularization, and hierarchy. PMD finds the traditional code smells. Based on the analysis of code smells evolution over multiple versions of software in this study, the findings suggest that the abstraction design smells out of all design smells are abundant, out of which unutilized abstraction is the maximum, and God class code smells, which was most discussed in this domain, are also increasing in subsequent versions. Consequently, on the basis of this analysis, a decision will be made regarding whether code smells are increasing beyond a certain limit, which component of the system the designer ought to center their attention on and whether or not it ought to be taken into consideration for redesigning. © the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2024.

关键词： Modular construction

来源：评论

学校读者我要写书评

暂无评论

Manufacturing In-House Information Technology Team Analysis Hybrid software Development Model 5th

Manufacturing In-House Information Technology Team Analysis ...

引用

5th International conference on computer and Communication Technologies, IC3T 2023

作者： Singh, Kamred Udham Kumar, Ankit Kumar, Gaurav Singh, Teekam Choudhury, Tanupriya Kotecha, Ketan School of Computing Graphic Era Hill University Dehradun India Department of Computer Engineering & Applications GLA University UP Mathura India Department of Computer Science and Engineering Graphic Era Deemed to be University Dehradun India Lavale Campus Pune India Pune411045 India CSE Dept. Graphic Era Deemed to be University Uttarakhand Dehradun India

ISBN: (纸本)9789819997060

the information technology team working in the manufacturing industry may use this paper to learn about the results of the recently established hybrid software development model with the aid of this paper. the IT team's needs, difficulties, working practise, past working strategies, and the client's expectations in the manufacturing firm all play a role in determining how the hybrid model is implemented. the IT team was able to accomplish goals such as on-time delivery with quality improvement, more accuracy, reduced maintenance cycle, the involvement of clients, reduced development time, and improved defect removal efficiency by utilising a new model and adopting appropriate features from traditional and agile methodologies. this article presents a guideline on prior outcomes for the IT team at a manufacturing business and results after using a hybrid approach. the results of deploying a hybrid software development paradigm inside an in-house IT team that works in the manufacturing business are the subject of this research, which explores those results. this study intends to evaluate the effects of combining conventional and agile approaches for software development by thoroughly examining software development practises and determining how successful this combination is. the research investigates the subsequent enhancements in project delivery deadlines, product quality, and team cooperation. the findings provide light on the possible advantages and drawbacks of using a hybrid method. the results give organisations who are looking to optimise their software development processes in a manufacturing setting with useful insights that will eventually contribute to increased efficiency and competitiveness in the sector. © the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2024.

关键词： Efficiency

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 14 15 16 17 18 19 20 21 22 23 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：