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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,526 篇 会议
4 册 图书
2 篇 期刊文献

馆藏范围

1,532 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,137 篇 工学
- 965 篇 计算机科学与技术...
- 824 篇 软件工程
- 269 篇 信息与通信工程
- 207 篇 控制科学与工程
- 170 篇 生物工程
- 150 篇 电气工程
- 91 篇 电子科学与技术（可...
- 84 篇 动力工程及工程热...
- 81 篇 生物医学工程（可授...
- 75 篇 机械工程
- 66 篇 光学工程
- 64 篇 安全科学与工程
- 54 篇 交通运输工程
- 38 篇 化学工程与技术
- 34 篇 环境科学与工程（可...
- 29 篇 仪器科学与技术
537 篇 理学
- 258 篇 数学
- 180 篇 生物学
- 120 篇 物理学
- 77 篇 统计学（可授理学、...
- 69 篇 系统科学
- 41 篇 化学
317 篇 管理学
- 208 篇 管理科学与工程(可...
- 138 篇 图书情报与档案管...
- 122 篇 工商管理
70 篇 法学
- 59 篇 社会学
59 篇 医学
- 55 篇 临床医学
- 51 篇 基础医学(可授医学...
- 34 篇 药学(可授医学、理...
52 篇 经济学
- 52 篇 应用经济学
24 篇 农学
19 篇 教育学
6 篇 文学
5 篇 军事学

主题

35 篇 software
32 篇 internet of thin...
32 篇 computer softwar...
27 篇 application soft...
26 篇 computer archite...
24 篇 software enginee...
24 篇 real-time system...
20 篇 deep learning
20 篇 cloud computing
20 篇 computer vision
19 篇 computational mo...
17 篇 costs
17 篇 convolutional ne...
16 篇 feature extracti...
16 篇 machine learning
16 篇 training
15 篇 programming
15 篇 recommender syst...
14 篇 computer science
14 篇 object detection

机构

22 篇 wuhan donghu uni...
17 篇 school of comput...
8 篇 school of cyber ...
8 篇 school of inform...
8 篇 university of ta...
8 篇 school of electr...
7 篇 school of comput...
7 篇 college of compu...
6 篇 school of electr...
6 篇 school of electr...
6 篇 school of automa...
6 篇 school of inform...
5 篇 chitkara univers...
5 篇 beijing key labo...
5 篇 beijing universi...
4 篇 college of engin...
4 篇 school of comput...
4 篇 school of big da...
4 篇 school of comput...
4 篇 beijing engineer...

作者

8 篇 lian ren-zun
7 篇 zhang bo
5 篇 wang jing
5 篇 li zixin
5 篇 li jiawen
5 篇 li jianqiang
4 篇 mirchandani sanj...
4 篇 liang meiyu
4 篇 zhang rui
4 篇 surendran r.
4 篇 chen xiangning
4 篇 li weixin
4 篇 li jian
4 篇 zhang li
4 篇 liu hai
4 篇 meiyu liang
3 篇 wang lei
3 篇 yawen li
3 篇 li yang
3 篇 dai fei

语言

1,513 篇 英文
16 篇 中文
14 篇 其他
3 篇 土耳其文
1 篇 德文

检索条件"任意字段=8th IEEE International Conference on Software Engineering and Computer Systems, ICSECS 2023"

共 1532 条记录，以下是81-90 订阅

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

详细简洁

排序：

An empirical comparison of modularity of procedural and object-oriented software 8

An empirical comparison of modularity of procedural and obje...

引用

8th ieee international conference on engineering of Complex computer systems

作者： Ferrett, LK Offutt, J AT&T Govt Solut Inc Vienna VA 22182 USA

ISBN: (纸本)0769517579

A commonly held belief is that applications written in object-oriented languages are more modular than those written in procedural languages. this paper presents results from an experiment that examines this hypothesis. Open source and industrial program modules written in the procedural languages of Fortran and C were compared with open source program modules written in the object-oriented languages of C+ + and Java. the metrics examined in this study were lines of code per module and number of parameters per module. the results of the investigation support the hypothesis. the modules of the object-oriented programs were found to be half the size of those of the procedural programs and the average number of parameters per module for the object-oriented programs was approximately half that of the procedural programs. thus the object-oriented programs were twice as modular as the procedural programs. An unexpected result was that the C+ + programs were found to be no more modular than the C programs.

关键词： Algorithms Application software computer industry Data structures Government Industrial relations Java Object oriented programming Programming profession software engineering

来源：评论

学校读者我要写书评

暂无评论

Applying Particle Swarm Optimization to Prioritizing Test Cases for Embedded Real Time software Retesting

Applying Particle Swarm Optimization to Prioritizing Test Ca...

引用

8th ieee international conference on computer and Information Technology

作者： Hla, Khin Haymar Saw Choi, YoungSik Park, Jong Son Department of Computer Engineering Korea Aerospace University South Korea

ISBN: (纸本)9780769532424

In recent years, complex embedded systems are used in every device that is infiltrating our daily lives. Since most of the embedded systems are multi-tasking real time systems, the task interleaving issues, dead lines and other factors needs software units retesting to follow the subsequence changes. Regression testing is used for the software maintenance that revalidates the old functionality of the software unit. Testing is one of the most complex and time-consuming activities, in which running of all combination of test cases in test suite may require a large amount of efforts. Test case prioritization techniques can take advantage that orders test cases, which attempts to increase effectiveness in regression testing. this paper proposes to use particle swarm optimization (PSO) algorithm to prioritize the test cases automatically based on the modified software units. Regarding to the recent investigations, PSO is a multi-object optimization technique that can find out the best positions of the objects. the goal is to prioritize the test cases to the new best order, based on modified software components, so that test cases, which have new higher priority, can he selected in the regression testing process. the empirical results show that by using the PSO algorithm, the test cases can be prioritized in the test suites with their new best positions effectively and efficiently.

关键词： embedded system real time software system test case coverage evolutionary structural testing regression testing and particle swarm optimization

来源：评论

学校读者我要写书评

暂无评论

3D Visualization of Forest Fire Spread Model Based on Cellular Automata 8

3D Visualization of Forest Fire Spread Model Based on Cellul...

引用

8th international conference on computer and Communication systems, ICCCS 2023

作者： Hou, Zeqing Sun, Yu Cai, Mingyu Beijing University of Technology Beijing Engineering Research Center for IOT Software and Systems Beijing China

ISBN: (纸本)9781665456128

Whereas the traditional forest fire spread model cannot clearly and dynamically display the fire spread process, this paper optimizes the cell structure and evolution rules of cellular automata (CA) in the traditional forest fire spread model to improve the simulation accuracy and develops a forest fire spread simulation system using Unity 3D technology, which realizes the dynamically display and 3D visualization of forest fire spread process. It plays an important role in forest fire prevention and extinguishing. © 2023 ieee.

关键词： Cellular automata

来源：评论

学校读者我要写书评

暂无评论

MISA-MD: A New Design of Molecular Dynamics software for GPU Architecture 24

MISA-MD: A New Design of Molecular Dynamics Software for GPU...

引用

24th ieee international conference on High Performance Computing and Communications, 8th ieee international conference on Data Science and systems, 20th ieee international conference on Smart City and 8th ieee international conference on Dependability in Sensor, Cloud and Big Data systems and Application, HPCC/DSS/SmartCity/DependSys 2022

作者： Chu, Genshen Chen, Tianyi Chen, Dandan Bai, He Li, Guannan Ren, Shuai Li, Yang School of Computer and Communication Engineering University of Science and Technology Beijing Beijing China Beijing Research Center Zhejiang Lab Beijing China

ISBN: (纸本)9798350319934

Molecular dynamics is a significant method in computational material and many other fields, and is computationally intensive. In this paper, we present a new molecular dynamics software, MISA-MD, which is mainly designed for high computational performance on GPU architecture. the main contributions include a redesign of the atom data structure, communication optimizations, parallel strategies and a series of GPU optimizations on memory accessing. Compared to the CPU version, the presented version of MISA-MD can achieve more than 130 speedup when running on GPU hardware. Moreover, our MISAMD code also demonstrates 51 % performance improvement, when compared to the well-known software LAMMPS on GPU. © 2022 ieee.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

Development of an Extensible SSVEP-BCI software Platform and Application to Wheelchair Control 8

Development of an Extensible SSVEP-BCI Software Platform and...

引用

8th international ieee/EMBS conference on Neural engineering (NER)

作者： Waytowich, Nicholas R. Krusienski, Dean J. US Army Res Lab ARL Aberdeen MD 21005 USA Columbia Univ Dept Biomed Engn New York NY 10027 USA Old Dominion Univ Dept Elect & Comp Engn Norfolk VA 23529 USA

ISBN: (数字)9781509046034

ISBN: (纸本)9781509046034

Visual-evoked potential (VEP)-based BCIs have been shown to provide the highest information transfer rates and reliability among BCI approaches. However, to date, no flexible software platform exists that allows investigators and end-users to easily evaluate and optimize VEP stimulus parameters such as size, position, flashing rate, color, etc., with seamless integration to an application environment. this paper provides an overview of the development of such a customizable VEP-BCI software platform called Visual Evoked Stimulation and SELection software (VESSELS), and its implementation for control of a motorized wheelchair.

关键词： Estimation Field programmable gate arrays OFDM Modulation Filtration Clocks Signal processing algorithms

来源：评论

学校读者我要写书评

暂无评论

Model checking UML specifications of real time software 8

Model checking UML specifications of real time software

引用

8th ieee international conference on engineering of Complex computer systems

作者： Del Bianco, V Lavazza, L Mauri, M Politecn Milan I-20133 Milan Italy

ISBN: (纸本)0769517579

UML is being increasingly used to model real-time software. On one hand this is reasonable, since UML is very popular and relatively easy to use. On the other hand, the semantics of UML is not well defined, thus UML does not support formal analysis, which is needed to prove properties like safety, utility, liveness, etc. this article describes a way to make UML models formally verifiable. the presented approach is made possible by extending UML in order to represent time-dependent information and time constraints, and by formalizing the resulting language. the formalization is achieved by mapping UML state diagrams to Timed Statecharts. UML state models are translated into timed automata, so that the model checking tool Kronos can be employed to verify time-dependent properties. A central issue of the work presented here is that developers can take advantage of the formal methods being employed while skipping the complex and expensive formal modeling phase.

关键词： Application software Automata Automatic testing Logic Programming Protocols Real time systems Safety Time factors Unified modeling language

来源：评论

学校读者我要写书评

暂无评论

Semantic analysis and dynamic representation for collaborative design of distributed multimedia systems

Semantic analysis and dynamic representation for collaborati...

引用

8th international conference on computer Supported Cooperative Work in Design

作者： Chan, MT Liu, KC City Univ Hong Kong Hong Kong Hong Kong Peoples R China

ISBN: (纸本)0780379411

Design of distributed multimedia systems (DMMS) poses a number of challenges and yet it has been approached with traditional software engineering methodologies. On the other hand, Semantic analysis and representation of dynamic behavior attract the attention of the software design community. this paper reported the attempt of applying a new approach to the design of DMMS, with emphasis in the sharing and managing of design knowledge collaboratively. A semantic model of DMMS and its knowledge were represented with a semantic database. Various design scenarios were used to describe the use of the model. How the knowledge in the semantic database could be used for collaborative design was also examined.

关键词： computer supported cooperative work

来源：评论

学校读者我要写书评

暂无评论

Research on the cooperation of the virtual enterprise using metasynthetic engineering

Research on the cooperation of the virtual enterprise using ...

引用

8th international conference on computer Supported Cooperative Work in Design

作者： Wang, DL Dai, GZ Wang, HG Hua, QY Chinese Acad Sci Inst Software Beijing 100080 Peoples R China

ISBN: (纸本)0780379411

this paper first briefly discusses complexity and complex systems. then it points out that a virtual enterprise is an open complex giant system and in essence a certain result of enterprise's adaptation to the environmental changes. the problems in enterprise cooperation are studied, then the framework of Metasynthetic engineering platform for virtual enterprise is given to facilitate enterprise cooperation and management. the method and process of decision making for virtual enterprise are discussed. the key feature of this platform - human-machine cooperation is also analyzed.

关键词： Large scale systems

来源：评论

学校读者我要写书评

暂无评论

A Data engineering Method for Filtering and Identifying Open Source software Supply Chain 8

A Data Engineering Method for Filtering and Identifying Open...

引用

ieee 8th international conference on Big Data Analytics (ICBDA)

作者： Lou Zehua Liang Guan-Yu Wu Yan-Jun Wu Bin Wu Songlin Sun Qing Wang Wei Tian Chunqi Nanjing Inst Software Technol Nanjing 211135 Peoples R China Chinese Acad Sci Inst Software Beijing 100190 Peoples R China East China Normal Univ Sch Data Sci & Engn Shanghai 200062 Peoples R China Tongji Univ Sch Elect & Informat Engn Shanghai 201804 Peoples R China

ISBN: (纸本)9798350310764

Filtering and identifying open source supply chain software are the front conditions for the security of the software supply chain, and it is a necessary means to help users and enterprises choose reliable softwares. At the same time, identifying the supply chain of the entire ecology is a vital way to explore the ecological characteristics and find hidden dangers. By tracing the development history of external dependencies in different programming language management, this article summarizes the four common external dependencies management methods today and proposes a universal open source software supply chain construction algorithm. Finally, the Linux distribution version is used as a case of large software systems, and its supply chain is analyzed.

关键词： open source software supply chain package manager code dependency relationship

来源：评论

学校读者我要写书评

暂无评论

System level mutation analysis applied to a state-based language

System level mutation analysis applied to a state-based lang...

引用

8th Annual ieee international conference and Workshop on the engineering of computer Based systems (ECBS)

作者： Olsson, T Runeson, P Lund Univ Dept Commun Syst SE-22100 Lund Sweden

ISBN: (纸本)0769510868

One of the great challenges within software testing is to know if a test suite covers a program sufficiently. Mutation analysis is presented as an approach to address that challenge. Faulty versions, or mutants, are created and it is investigated if the test suite is able to discover the defects. the technique is mostly applied to the unit level testing of software programs. In this paper mutation analysis is applied to integration and system level testing in addition to unit level testing. A state based specification and description language, SDL, is used. the specific structural information is used to employ mutation analysis at different abstraction levels.

关键词： computer software

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共154页 << < 5 6 7 8 9 10 11 12 13 14 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：