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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

746 篇 会议
6 篇 期刊文献

馆藏范围

752 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

557 篇 工学
- 426 篇 计算机科学与技术...
- 380 篇 软件工程
- 143 篇 控制科学与工程
- 107 篇 电气工程
- 76 篇 信息与通信工程
- 60 篇 电子科学与技术（可...
- 44 篇 机械工程
- 36 篇 动力工程及工程热...
- 28 篇 仪器科学与技术
- 26 篇 生物工程
- 23 篇 土木工程
- 23 篇 生物医学工程（可授...
- 22 篇 安全科学与工程
- 17 篇 建筑学
- 17 篇 航空宇航科学与技...
- 16 篇 交通运输工程
- 14 篇 化学工程与技术
- 13 篇 环境科学与工程（可...
163 篇 理学
- 81 篇 数学
- 37 篇 物理学
- 28 篇 生物学
- 26 篇 系统科学
- 15 篇 统计学（可授理学、...
135 篇 管理学
- 111 篇 管理科学与工程(可...
- 50 篇 工商管理
- 36 篇 图书情报与档案管...
25 篇 经济学
- 25 篇 应用经济学
24 篇 医学
- 24 篇 临床医学
- 21 篇 基础医学(可授医学...
- 13 篇 公共卫生与预防医...
13 篇 法学
7 篇 教育学
6 篇 军事学
3 篇 农学

主题

83 篇 application soft...
39 篇 computer science
26 篇 costs
22 篇 software systems
21 篇 software enginee...
21 篇 control systems
21 篇 computer aided s...
19 篇 real time system...
17 篇 hardware
16 篇 computer archite...
14 篇 application prog...
12 篇 software tools
12 篇 protocols
12 篇 software
11 篇 electrical capac...
11 篇 space technology
11 篇 software mainten...
10 篇 fault tolerance
10 篇 information tech...
10 篇 bandwidth

机构

3 篇 beijing engineer...
3 篇 beijing institut...
2 篇 radio and televi...
2 篇 dept. of electri...
2 篇 institute of mic...
2 篇 caltech jet prop...
2 篇 shandong institu...
2 篇 college of compu...
2 篇 school of econom...
2 篇 school of comput...
2 篇 umist manchester...
2 篇 school of astron...
2 篇 southwest jiaoto...
2 篇 empirical softwa...
2 篇 euratom enea sul...
2 篇 the national eng...
2 篇 shanghai institu...
2 篇 university of ma...
2 篇 school of comput...
2 篇 florida atlantic...

作者

3 篇 khoshgoftaar tm
3 篇 rahaman hafizur
2 篇 crisanti f
2 篇 allen eb
2 篇 fang yu
2 篇 de tommasi g
2 篇 shulong wang
2 篇 chau sn
2 篇 t.m. khoshgoftaa...
2 篇 ren yongchang
2 篇 goodfellow s.d.
2 篇 li tao
2 篇 mc cullen p
2 篇 quan qiang
2 篇 chen xiaoji
2 篇 taylor j.h.
2 篇 zhao yang
2 篇 tan guozhen
2 篇 zhangqin huang
2 篇 wang fan

语言

741 篇 英文
11 篇 其他

检索条件"任意字段=3rd IEEE Symposium on Application-Specific Systems and Software Engineering Technology"

共 752 条记录，以下是51-60 订阅

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

详细简洁

排序：

The application of Tuxedo middleware in the banking system

The application of Tuxedo middleware in the banking system

引用

2011 ieee 3rd International Conference on Communication software and Networks, ICCSN 2011

作者： Wen, Yin Jingsha, He School of Software Engineering Beijing University of Technology Beijing 100124 China

ISBN: (纸本)9781612844855

Along with the development of middleware technology, middleware has been widely used in many applications, especially in banking systems in which a three-layer structure model based on Tuxedo can be used. This model provides multi-layer structure, communication, transactions, security, fault tolerance and many other basic services for building a large-scale, high-performance, distributed application. This paper presents BEA Tuxedo and the application of Tuxedo in a banking system. © 2011 ieee.

关键词： Middleware

来源：评论

学校读者我要写书评

暂无评论

A fast multilevel method for matching stereo images 3

A fast multilevel method for matching stereo images

引用

3rd ieee International symposium on Signal Processing and Information technology

作者： Hariti, M Ruichek, Y Koukam, A Univ Technol Belfort Montbeliard Lab Syst & Transports F-90010 Belfort France

ISBN: (纸本)0780382927

This paper presents a method, which performs edge stereo matching at different levels, from significant edges to less significant ones. At each level, the process starts by selecting significant edges with respect to their gradient magnitude. The selected edges are then matched in order to obtain reference edges from which less significant edges will be matched in the next level. The matching procedure is based on a voting scheme by using local and global constraints. The performance of the proposed stereo matching method is evaluated for real-time obstacle detection in front of a vehicle using linear cameras.

关键词： application software Cameras Computer vision Data mining Feature extraction Real time systems Road vehicles Stereo vision Vehicle detection Voting

来源：评论

学校读者我要写书评

暂无评论

Dynamic Evolution of Web-based systems

Dynamic Evolution of Web-based Systems

引用

3rd International symposium on Intelligent Information technology application

作者： Xu Hongzhen Zeng Guosun Tongji Univ Dept Comp Sci & Technol Shanghai 201804 Peoples R China

ISBN: (纸本)9780769538594

software evolution techniques have been traditionally concentrated on the code level. However, recent researches have shifted the focus of evolution from the code level to the architectural level. In this paper, we proposed a formal modeling method of dynamic evolution of web-based systems at the architectural level using hypergraph grammars. We represent architectures of web-based systems with hypergraphes, and give out evolution production rules based on hypergraph grammars, and then modeled dynamic evolution of web-based systems at the architectural level according to those rules. A detailed case study is given to demonstrate our approach.

关键词： software dynamic evolution hypergraph grammars modeling architecture

来源：评论

学校读者我要写书评

暂无评论

An experiment to observe the impact of UML diagrams on the effectiveness of software requirements inspections 09

An experiment to observe the impact of UML diagrams on the e...

引用

2009 3rd International symposium on Empirical software engineering and Measurement, ESEM 2009

作者： Albayrak, Özlem Computer Technology and Information Systems Bilkent University Ankara Turkey

ISBN: (纸本)9781424448418

software inspections aim to find defects early in the development process and studies have found them to be effective. However, there is almost no data available regarding the impact of UML diagram utilization in software requirements specification documents on inspection effectiveness. This paper addresses this issue by investigating whether inclusion of UML diagrams impacts the effectiveness of requirements inspection. We conducted an experiment in an academic environment with 35 subjects to empirically investigate the impact of UML diagram inclusion on requirements inspections' effectiveness and the number of reported defects. The results show that including UML diagrams in requirements specification document significantly impacts the number of reported defects, and there is no significant impact on the effectiveness of individual i nspections. © 2009 ieee.

关键词： Inspection

来源：评论

学校读者我要写书评

暂无评论

Proceedings - 3rd ieee International High-Assurance systems engineering symposium, HASE 1998

Proceedings - 3rd IEEE International High-Assurance Systems ...

引用

3rd ieee International High-Assurance systems engineering symposium, HASE 1998

ISBN: (纸本)0818692219

The proceedings contain 39 papers. The topics discussed include: a perspective from the field on high assurance systems;checking modification tolerance;formal specification in collaborative design of critical software tools;combining various solution techniques for dynamic fault tree analysis of computer systems;using composition to design secure, fault-tolerant systems;architecture and reliability model of high-assurance systems;log-logistic software reliability growth model;a flexible software architecture for high availability computing;ROAFTS: a middleware architecture for real-time object-oriented adaptive fault tolerance support;system requirements and analysis issues for high assurance systems;software component independence;using classification trees for software quality models: lessons learned;the application of fuzzy enhanced case-based reasoning for identifying fault-prone modules;estimating the number of residual defects;system survivability through security bug tolerance;design for constraint violation detection in safety-critical systems;fault and leak tolerance in firewall engineering;verification in concurrent programming with Petri nets structural techniques;specifying and verifying temporal behavior of high assurance systems using reachability tree logic;and object-oriented software testing - some research and development.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Code Based software Security Vulnerability Analyzing and Detecting Based on Similar Characteristic

Code Based Software Security Vulnerability Analyzing and Det...

引用

3rd International Conference on Intelligent System and Knowledge engineering

作者： An, Xifeng Li, Weihua Pan, Wei College of Computer Science Northwestern Polytechnical University China

ISBN: (纸本)9781424421961

Through comprehensive analysis of software security vulnerability, a novel vulnerability detecting method based on similar characteristic is proposed in this paper. The method aims at C Code security detection. Based on Case-based Reasoning technology, the method performs similarity matching between security characteristic of source code and the characteristic of known security vulnerabilities, and calculates the similarity to determine if the code has security vulnerabilities. The experiments demonstrate that the presented method can effectively improve the veracity and efficiency of vulnerability detection. And it solves the problems that current detecting methods based on rule-matching cannot rapidly and accurately handle the large-scale legacy software and structure-complicated software. Furthermore, the definition and selection of threshold also improves the adaptability and agility of detecting method

关键词： Information security Computer security software systems Buffer overflow Operating systems Intelligent systems Knowledge engineering Large-scale systems application software software maintenance

来源：评论

学校读者我要写书评

暂无评论

Porting legacy engineering applications onto distributed NT systems. 3

Porting legacy engineering applications onto distributed NT ...

引用

3rd USENIX Windows NT symposium

作者： Allsopp, NK Cooper, TP Ftakas, P Macey, PC Parallel Applicat Ctr Southampton SO16 7NP Hants England

ISBN: (纸本)1880446294

In this paper we present our experiences developing two distributed computing applications on NT. In both examples a legacy application is ported from Unix to NT and is then further developed to be a distributed application within the NT environment. We shall present two different approaches to managing the remote execution of tasks. One is a port of a serial vibroacoustic analysis code called PAFEC VibroAcoustic and the other is the parallelisation of the non-linear analysis modules of the LUSAS FE analysis package. We shall show in these two projects that it is technically possible to carry out scientific computing on a distributed NT resource.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

Idea: Simulation Based Security Requirement Verification for Transaction Level Models

Idea: Simulation Based Security Requirement Verification for...

引用

3rd International symposium on engineering Secure software and systems, ESSoS 2011

作者： Loinig, Johannes Steger, Christian Weiss, Reinhold Haselsteiner, Ernst Graz Univ Technol Inst Tech Informat Graz Austria NXP Semicond Austria GmbH Grazumgebung Austria

ISBN: (纸本)9783642191244

Verification of security requirements in embedded systems is a crucial task - especially in very dynamic design processes like a hardware/software codesign flow. In such a case the system's modules and components are continuously modified and refined until all constraints are met and the system design is in a stable state. A transaction level model can be used for such a design space exploration in this phase. It is essential that security requirements are considered from the very first beginning. In this work we(1) demonstrate a novel approach how to use meta-information in transaction level models to verify the consistent application of security requirements in embedded systems.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

For a product-in-a-process approach to software reliability evaluation 3

For a product-in-a-process approach to software reliability ...

引用

3rd International symposium on software Reliability engineering, ISSRE 1992

作者： Laprie, Jean-Claude LAAS-CNRS 7 Avenue Colonel Roche Toulouse31077 France

Current techniques for reliability evaluation are based purely upon the single software product itself, and their capability falls beneath most reliability requirements. It is proposed to augment these techniques by explicitly taking account of the process in the quantitative assessment. The application of this approach to safety-critical software is discussed. © 1992 ieee.

关键词： application programs

来源：评论

学校读者我要写书评

暂无评论

Research of the Metal Detector Based on Finite Element Analysis 3

Research of the Metal Detector Based on Finite Element Analy...

引用

2017 3rd ieee International Conference on Control Science and systems engineering (ICCSSE)

作者： Lv Yilin Wei Dong School of Electronic and Information Engineering University Of Science And Technology Liaoning

ISBN: (纸本)9781538604854

The transport type metal detector balanced differential transmission coil to detect metal particles. In the process of industrial production, other metal production equipment, transmission belt of steel and other external factors are influenced by the test. Repeated experiments can reduce the interference, but will affect the production efficiency, this paper provides a more efficient and effective finite element modeling method, greatly shorten the development cycle. First of all, it's introduced the actual experimental system of metal detectors and the geometric model. Then, using the finite element simulation software COMSOL which can build twodimensional modeling method to model the balance coil, analyze the magnetic field and the output current amplitude in order to found the relationships between the amplitude of output current and materials, size, location of the metal objects. Finally, the curves of numerical simulation and practical measure are accomplished. The research results provide some theoretical basis for the design of the metal detector, and have certain application value.

关键词： metal detector the 2D axis symmetrical modeling COMSOL amplitude

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共76页 << < 2 3 4 5 6 7 8 9 10 11 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：