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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,791 篇 会议
352 册 图书
80 篇 期刊文献
1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

3,591 篇 工学
- 3,090 篇 计算机科学与技术...
- 2,585 篇 软件工程
- 586 篇 信息与通信工程
- 435 篇 控制科学与工程
- 341 篇 电气工程
- 231 篇 机械工程
- 199 篇 电子科学与技术（可...
- 194 篇 生物工程
- 141 篇 安全科学与工程
- 137 篇 生物医学工程（可授...
- 107 篇 建筑学
- 99 篇 动力工程及工程热...
- 95 篇 土木工程
- 82 篇 材料科学与工程（可...
- 82 篇 交通运输工程
- 81 篇 仪器科学与技术
990 篇 理学
- 556 篇 数学
- 219 篇 生物学
- 172 篇 系统科学
- 169 篇 物理学
- 151 篇 统计学（可授理学、...
- 76 篇 化学
802 篇 管理学
- 569 篇 管理科学与工程(可...
- 302 篇 工商管理
- 289 篇 图书情报与档案管...
142 篇 医学
- 119 篇 临床医学
- 109 篇 基础医学(可授医学...
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...
129 篇 computer communi...
114 篇 computer science
109 篇 hardware
109 篇 computer softwar...
107 篇 software enginee...
102 篇 real-time system...
94 篇 control systems
89 篇 computer aided s...
73 篇 software systems
72 篇 computational mo...
71 篇 software archite...
71 篇 software design
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,089 篇 英文
107 篇 其他
34 篇 中文
2 篇 德文
2 篇 俄文
1 篇 西班牙文

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

共 5224 条记录，以下是411-420 订阅

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

详细简洁

排序：

Implementation of a Condition Monitoring software for Mineral Oil-Immersed Transformers via Dissolved Gas In-Oil Analysis 21

Implementation of a Condition Monitoring Software for Minera...

引用

21st IEEE International conference on Environment and Electrical engineering / 5th IEEE Industrial and Commercial Power systems Europe (EEEIC/I and CPS Europe)

作者： Torres, Jorge Guerrero, Jose M. Leones, Wilson Platero, Carlos A. Escuela Super Politecn Litoral Fac Ingn Elect & Comp FIEC Guayaquil Ecuador Univ Politecn Madrid Energy & Fuels Dept Madrid Spain Corp Elect Ecuador CELEC Elect Dept Guayaquil Ecuador Univ Politecn Madrid Automat Elect & Elect Engn & Ind Comp Dept Madrid Spain

ISBN: (纸本)9781665436137

Monitoring and diagnosing of power transformers inside the electric power system has attracted the consideration of condition-based maintenance for many years. To ensure continuity of the electrical service, it is vital for the utilities to find the incipient faults in power transformers as early as possible. Dissolved-gas analysis (DGA) is able to discriminate between normal and abnormal conditions in transformer's liquid-insulation. the purpose of this paper is to provide computer-based software for interpreting dissolved gases results from mineral oil-immersed transformers using statistical-based analytical tools and fault interpretation methods as Key Gas, Duval Triangle and Pentagons, and Rogers Ratio. To evaluate the software performance, database of 17 samples from a utility were taken, stored, and tested. the software was developed using MATLAB.

关键词： Condition monitoring Data processing Dissolved gas analysis Fault location Maintenance Power transformers

来源：评论

学校读者我要写书评

暂无评论

Construct metadata model based on coupling information to increase the testability of component-based software

Construct metadata model based on coupling information to in...

引用

5th IEEE/ACS International conference on computer systems and Applications (AICCSA-07)

作者： Ma, Liangli Wang, Houxiang Li, Yongjie Naval Univ Engn Dept Comp Engn Wuhan 430033 Hubei Peoples R China Huazhong Univ Sci & Technol Comp Sci & Tech Coll Wuhan 430074 Peoples R China

ISBN: (纸本)9781424410309

A software component must be tested every time it is reused, to guarantee the quality of both the component itself and the system in which it is to be integrated. So how to increase testability of component has become a key technology in the software engineering community. this paper introduces a method to increase component testability. Firstly we analyze the meanings of component testability and the effective ways to increase testability. then we give some definitions on component coupling testing criterion. And we further give the definitions of DU-I(Definition-Use Information) and OP-Vs(Observation-Point Values). Base on these, we introduce a definition-use table, which includes DU-I and OP-Vs item, to help component testers understanding and observing the component better. then a framework of testable component based on above DU-table is given. these facilities provide ways to detect errors, to observe state variables by observation-points based monitor mechanism. And we adopt coupling-based testing using information DU-table provided. Lastly, we applied the method to our application software developed before, and generate some test cases. And our method is compared with Orso method and Kan method using the same example, presenting the comparison results. the relevant results illustrate the validity of our method, effectively generating test cases and killing more mutants.

关键词： software testing System testing software quality Controllability Observability Automatic testing Information analysis Educational institutions software engineering computer errors

来源：评论

学校读者我要写书评

暂无评论

Programming for open platforms at universities: Experience of joint activity of Petrozavodsk State University and Nokia University Cooperation Program

Programming for open platforms at universities: Experience o...

引用

2009 5th Central and Eastern European software engineering conference in Russia, CEE-SECR 2009

作者： Bogoyavlenskiy, Yury A. Voronin, Anatoly V. Korzun, Dmitry G. Borodin, Alexandr V. Kolosov, Alexandr S. Kryshen, Mikhail A. Department of Computer Science Petrozavodsk State University Russia Department of Applied Mathematics and Cybernetics Petrozavodsk State University Russia

ISBN: (纸本)9781424456659

In this paper, we show that Russian state educational standards "Applied Mathematics and computer Science" and "Information systems and Technology" are appropriate for teaching students to industrial programming tools and technology on open platforms. We introduce our scheme of study courses that provides mastering students to the software development competences. the core of scheme is the course on software engineering (SE) for 3rd year students. the approach essentially facilitates "the phase transition" of a student personality from her/his educational activity to the labor one, accelerating admission of graduates into manufacturing processes of the software industry. the approach applicability is demonstrated with examples of software engineering projects for Nokia Internet tablets on open platform Maemo Diablo 4.1. ©2009 IEEE.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

ePASS-a software-based POWER simulator 7

ePASS-a software-based POWER simulator

引用

7th israeli conference on computer systems and software engineering, ICCSSE 1996

作者： Goldstein, Avi Weiss, Shlomo Electrical Engineering-Systems Tel Aviv University Tel Aviv69978 Israel

ISBN: (纸本)0818675365

the latest RISC computer chips provide very high performance though complex pipelined implementations, using independent integer and floating point units, branch prediction mechanisms, multiple instruction dispatch per clock cycle and more. For a chosen hardware configuration to deliver optimized performance, various design aspects, resulting in many possible configurations, need to be thoroughly evaluated. Among these are such issues as synchronization between pipelines, cache organization and access policy, dynamic vs static branch prediction, detecting and handling dependency among instructions in different pipeline states. Addressing the above necessitates the use of simulators that provide the design environment in which to model and evaluate candidate configurations and then fine-tune the chosen implementation. the authors describe ePASS, an experimental software based simulator for the IBM RS/6000 and its POWER architecture. they discuss the three basic modules ePASS consists of, each representing a different view of the system: An Instruction Interpreter and Register Set Simulator, a Functional Simulator and a Memory Simulator. Finally they present a simple test case program to run on the simulator, involving branch prediction and execution as well as making use of the interlock mechanism to guarantee synchronization of the branch unit with the fixed point pipeline. © 1996 IEEE.

关键词： Simulators

来源：评论

学校读者我要写书评

暂无评论

Critical component analyzer - A novel test prioritization framework for component based real time systems

Critical component analyzer - A novel test prioritization fr...

引用

2011 5th Malaysian conference in software engineering, MySEC 2011

作者： Praba, M. Ramalakshmi Mala, D. Jeya Dept. of Computer Applications KLN College of Information Technology Madurai Tamilnadu India Dept. of Computer Applications Thiagarajar College of Engineering Madurai. Tamilnadu India

ISBN: (纸本)9781457715310

Component based software development system is composed of many components and it uses the reusable components as the building blocks for constructing the complex software system. the major challenges in CBS are testing component dependency that is;it is a tricky task to test each and every component for each possible input data which will lead to exhaustive testing. To reduce the cost, the industries are following some stopping criteria and release the product to the customer side. these stopping criteria will at times lead to skipping up of some of the components from rigorous testing. this will lead to hazardous side effects such as loss in terms of revenue, human life and resources. this insight leads to the need to identify critical components which have the higher dependability measure in terms of functionality and receives higher priority in testing with rigorous test procedures. Hence, this paper proposes a novel method for identifying the critical components from the software under Test (SUT) and prioritizes them for testing with at most care based on various dependency metrics and measures among the components with the help of Component Execution Sequence Graph (CESG). © 2011 IEEE.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Co-ordination of Multiple Metamodels, with Application to Healthcare systems 5

Co-ordination of Multiple Metamodels, with Application to He...

引用

4th International conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICth)

作者： Rabbi, Fazle Lamo, Yngve MacCaull, Wendy Bergen Univ Coll Bergen Norway Univ Oslo N-0316 Oslo Norway St Francis Xavier Univ Antigonish NS Canada

Due to their complexity and the plethora of requirements placed upon them, healthcare systems so far have not been adequately modeled for the purpose of software development. As a result, the healthcare software suffers from high development costs and lack of flexibility. Model driven software engineering (MDSE) is an emerging methodology for software development, targeting productivity, flexibility and reliability of systems;metamodelling is at the core of most MDSE approaches. In previous work, we proposed a multi metamodelling approach that captures the complexity of these systems by using a metamodelling hierarchy, built from individually defined metamodels, each capturing different aspects of a healthcare domain, namely, user access modelling, health process modelling, process monitoring, user interface modelling and modelling of the data sources. Here, we formalize the co- ordination among metamodels, using a linguistic extension of the metamodelling hierarchy. this linguistic extension is an added metalevel which models the integration of two or more different aspects of the system. We focus on two features essential to the co- ordination of healthcare metamodels, namely the integration of process and data, modelling data- aware processes, and the integration of process and user, modelling both user access as well as inheritance of user access to tasks. (C) 2014 the Authors. Published by Elsevier B.V. this is an open access article under the CC BY-NC-ND license.

关键词： multi metamodelling co-ordination among metamodels linguistic extension model driven software engineering healthcare information systems

来源：评论

学校读者我要写书评

暂无评论

Adapting Scrum Process with 7C Knowledge Management Model 5

Adapting Scrum Process with 7C Knowledge Management Model

引用

5th IEEE conference on Knowledge Based engineering and Innovation, KBEI 2019

作者： Gandomani, Taghi Javdani Tavakoli, Zeinab Nafchi, Mina Ziaei Najafi Sarpiri, Mona Computer Engineering Department Boroujen Branch Islamic Azad University Boroujen Iran

ISBN: (纸本)9781728108728

Today, Agile software development is one of the main approaches of software development. In this area adherence to the Agile principles and values has led to the removal of comprehensive documentation in the development process. this has replaced the explicit knowledge with implicit knowledge. In fact, the foundation of Agile software development is based on implicit knowledge. this has led knowledge management in the Agile software development as a challenging point. However, the nature of implicit knowledge is such that it can be used beneficially with optimal management. Considering this challenge, this study attempts to adapt the Scrum framework as the most popular Agile method with 7C model as one of the well-known implicit knowledge management models. the results of this study showed that this model would be successful in Scrum framework. © 2019 IEEE.

关键词： Knowledge management

来源：评论

学校读者我要写书评

暂无评论

Towards reduction of software maintenance cost through assignment of critical functionality scores 5

Towards reduction of software maintenance cost through assig...

引用

5th International conference on Communication and Electronics systems, ICCES 2020

作者： Nair, Lekshmi S. Swaminathan, J. Department of Computer Science and Engineering Amrita Vishwa Vidyapeetham Amritapuri Campus India

ISBN: (纸本)9781728153711

software maintenance incurs a significant cost during the life cycle of any software product. this is due to multiple factors such as addition of features demanded by new requirements, modification of existing features triggered by fixing of defects in the code and extending product support to newer platforms. these factors cause the testing phase to be repeated each time thereby increasing the maintenance cost. the quality of the code compounds to the maintenance cost since poorly written code are hard to comprehend and work with. this paper proposes a methodology to reduce the testing effort through successive releases by determining a set of most significant functionalities by computing scores based on the usage frequency, code maintainability and change vulnerability. the scores are recomputed as the software evolves over successive releases to keep the testing effort minimal. © 2020 IEEE.

关键词： Maintainability

来源：评论

学校读者我要写书评

暂无评论

Type inference for COBOL systems

Type inference for COBOL systems

引用

5th Working conference on Reverse engineering (WCRE 98)

作者： van Deursen, A Moonen, L CWI NL-1090 GB Amsterdam Netherlands

ISBN: (纸本)0818689676

Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adequate type system (such as COBOL). To solve this problem, we propose a method of automated type inference for these languages. the main ingredients are that if variables are compared using some relational operator their types must be the same;likewise if an expression is assigned to a variable, the type of the expression must be a subtype of that of the variable. We present the formal type system and inference rules for this approach, show their effect on various real life COBOL fragments, describe the implementation of our ideas in a prototype type inference tool for COBOL, and discuss a number of applications.

关键词： computer aided software engineering

来源：评论

学校读者我要写书评

暂无评论

Support of technology development in the information society 5th

引用

5th Ada-Europe International conference on Reliable software Technologies, Ada-Europe 2000

作者： Zimmermann, Rainer European Commission DG INFSO / E2 200 Rue de la Loi N1O5 3/52 BrusselsB-1049 Belgium

ISBN: (纸本)3540676694

the presentation will cover an overview of the IST-Programme under the 5th Framework of European Research, and will then concentrate on the opportunities of the Key *** Technologies and Infrastructures. the presentation will focus on the framework of the different action types from research to take up., in particular showing the subjects in the *** and engineering for software, systems and services. the presentation will put emphasis on new developments in the software area, showing the importance of embedded systems and open source software. Finally the expected time frame and subjects for the next calls will be presented. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 38 39 40 41 42 43 44 45 46 47 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：