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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Authorization Enforcement Usability Case Study

Authorization Enforcement Usability Case Study

引用

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

作者： Bartsch, Steffen Univ Bremen Technol Zentrum Informat TZI D-28359 Bremen Germany

ISBN: (纸本)9783642191244

Authorization is a key aspect in secure software development of multi-user applications. Authorization is often enforced in the program code with enforcement statements. Since authorization is present in numerous places, defects in the enforcement are difficult to discover. One approach to this challenge is to improve the developer usability with regard to authorization. We analyze how software development is affected by authorization in a real-world case study and particularly focus on the loose-coupling properties of authorization frameworks that separate authorization policy from enforcement. We show that authorization is a significant aspect in software development and that the effort can be reduced through appropriate authorization frameworks. Lastly, we formulate advice on the design of enforcement APIs.

关键词： application programs

来源：评论

学校读者我要写书评

暂无评论

Formal methods for V&V of partial specifications: An experience report

Formal methods for V&V of partial specifications: An experie...

引用

3rd ieee International symposium on Requirements engineering (RE 97)

作者： Easterbrook, S Callahan, J NASA/West Virginia Univ Software IV&V Facility Fairmont United States

ISBN: (纸本)0818677406

This paper describes our work exploring the suitability of formal specification methods for independent verification and validation (IV&V) of software specifications for large, safety critical systems. An IV&V contractor often has to perform rapid analysis on incomplete specifications with no control over how those specifications are represented. Lightweight formal methods show significant promise in this context, as they offer a way of uncovering major errors, without the burden of full proofs of correctness. We describe an experiment in the application of the method SCR to testing for consistency properties of a partial model of the requirements for Fault Detection Isolation and Recovery on the space station. We conclude that the insights gained from formalizing a specification is valuable, and it is the process of formalization, rather than the end product that is important. It was only necessary to build enough of the formal model to test the properties in which we were interested. Maintenance of fidelity between multiple representations of the same requirements (as they evolve) is still a problem, and deserves further study.

关键词： Computer aided software engineering

来源：评论

学校读者我要写书评

暂无评论

Applying a disciplined approach to the development of a context-aware communication application

Applying a disciplined approach to the development of a cont...

引用

3rd ieee International Conference on Pervasive Computing and Communications

作者： McFadden, T Henricksen, K Indulska, J Mascaro, P CRC for Enterprise Distributed Systems Technology (DSTC) University of Queensland St Lucia QLD 4072 Australia School of Information Technology and Electrical Engineering University of Queensland St Lucia QLD 4072 Australia

ISBN: (纸本)0769522998

Pervasive computing applications must be engineered to provide unprecedented levels of flexibility in order to reconfigure and adapt in response to changes in computing resources and user requirements. To meet these challenges, appropriate software engineering abstractions and infrastructure are required as a platform on which to build adaptive applications. In this paper we demonstrate the use of a disciplined, model-based approach to engineer a context-aware, Session Initiation Protocol (SIP) based communication application. This disciplined approach builds on our previously developed conceptual models and infrastructural components, which enable the description, acquisition, management and exploitation of arbitrary types of context and user preference information to enable adaptation to context changes.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

JUnit framework: An interactive approach for basic unit testing learning in software engineering

JUnit framework: An interactive approach for basic unit test...

引用

2011 3rd International Congress on engineering Education: Rethinking engineering Education, The Way Forward, ICEED 2011

作者： Wahid, Mohammad Almalaise, Abdullah Information System Department Faculty of Science and Information Systems Universisti Teknologi Malaysia Malaysia Information Systems Department Faculty of Computing and Information Technology King Abdulaziz University Jeddah Saudi Arabia

ISBN: (纸本)9781457712593

Based on software engineering discipline, unit testing play significant rule in testing procedure to determine if the source code fit for use. A unit test is the smallest testable part of an application. In basic learning of unit testing, JUnit framework with interactive GUI techniques as suitable tools in supporting students learning in higher learning institutes. In this paper, it presents the method to create unit testing code and how JUnit can give good experience in unit testing learning in software engineering. The result shows by using JUnit framework in unit testing learning can improve student interest and understanding in software engineering courses. © 2011 ieee.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

THE SCHNEIDEWIND software-RELIABILITY MODEL REVISITED 3

THE SCHNEIDEWIND SOFTWARE-RELIABILITY MODEL REVISITED

引用

3rd INTERNATIONAL symposium ON software RELIABILITY engineering

作者： XIE, M ZHAO, M Dept of Industrial and Systems Engineering National University of Singapore Kent Ridge Singapore 0511 Singapore Division of Quality Technology Linkoping University Linkoping S-58183 Sweden

ISBN: (纸本)0818629754

A software reliability model based on nonhomogeneous Poisson process (NHPP) was proposed in Schneidewind [1] in 1975. This model seems to be the first of this kind. Since then, many other NHPP models have been suggested and studied by various authors. Surprisingly, the paper by Schneidewind has not been widely referred to. In this paper, we show that several NHPP models can be derived based on the general assumptions made by Schneidewind. Also, we note that in the original paper, there are several interesting approaches worth further consideration. To mention a few, Schneidewind modelled both the software correction process and the software detection process. Methods of weighted least squares were adopted together with the software reliability forecasting based on previous measurements. In this paper, the Schneidewind model is revisited and some further research results are presented. © 1992 ieee.

关键词： software reliability

来源：评论

学校读者我要写书评

暂无评论

Design and Verification of Mechatronics Angle Limit Device for Joint of Space Station Manipulator 3

Design and Verification of Mechatronics Angle Limit Device f...

引用

3rd International symposium on Robotics and Intelligent Manufacturing technology, ISRIMT 2021

作者： Zhang, Yun Li, Delun Wang, Kang Liu, Xin Chen, Ming Shi, Chunling Beijing Institute of Spacecraft System Engineering Beijing Key Laboratory of Intelligent Space Robotic Systems Technology and Applications Beijing China

ISBN: (纸本)9781665437189

The Manipulator of the Tian Gong Space Station has 7 joints. In order to complete the function and task of the manipulator, the rotation angle of each joint is greater than ±270°, which is much larger than the 360° motion range of general robots. In order to meet the requirements of joint rotation angle limit, a mechatronics angle limit device is designed, which has the functions of electrical limit and mechanical limit, and can meet the requirements of joint ±270° mechanical and electrical limit. The device has passed the functional experiment and life experiment, and is in good condition in on-orbit application, which has reference significance for realizing large angle limit of space robot joints. © 2021 ieee.

关键词： Manipulators

来源：评论

学校读者我要写书评

暂无评论

Spatial redundancy reduction of slow scan TV images 3

Spatial redundancy reduction of slow scan TV images

引用

3rd International symposium on Unmanned Untethered Submersible technology, UUST 1983

作者： Shevenell, Michael P. Marine Systems Engineering Laboratory University of New Hampshire United States

This paper deals with the application of a spatial redundancy reduction algorithm to slow scan TV images acoustically transmitted from an untethered submersible. The goal of this research effort is to implement a bandwidth reduction technique which provides suitable data compression, fidelity and channel error tolerance so that meaningful images are received. These images must allow the remote operator to direct the submersible through its tasks of navigation, inspection, maintanence and repair of submerged structures. © 1983 ieee. All rights reserved.

关键词： Submersibles

来源：评论

学校读者我要写书评

暂无评论

A Simulation for Positioning and Timing of GPS software Receiver

A Simulation for Positioning and Timing of GPS Software Rece...

引用

3rd International symposium on Intelligent Information technology application

作者： Hu, Hui Wei, Na E China JiaoTong Univ Sch Informat Engn Nanchang Jiangxi Peoples R China

ISBN: (纸本)9780769538594

GPS positioning and timing are more and more essential to our daily life and they are widely used in our daily life, such as radio and television, land, sea and air navigation, engineering surveying, geodesy and so on. This paper mainly achieved the simulation of GPS software receiver's positioning and timing function. Through NovAtel's Superstar-II receiver, the data was collected and then decoded based on matlab. Next, the parameters needed by positioning calculation and timing are extracted. And in accordance with the corresponding algorithm there is a completion for GPS positioning and timing module's simulation. Finally there is a error analysis for the results of positioning calculation and timing. And according to the experimental results, the positioning and timing accuracy can meet the basic requirement.

关键词： GPS timing service Julian Day utc time

来源：评论

学校读者我要写书评

暂无评论

Automatic transformation technology from AADL model to UML model

Automatic transformation technology from AADL model to UML m...

引用

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

作者： Qiuyan, Li Jie, Tian Qiuhong, Pei Ji, Wu Chao, Liu School of Computer Science and Engineering Beihang University Beijing China BeiJing Command College of CP APF Beijing China

ISBN: (纸本)9781612844855

AADL supports standard accurate modeling of embedded systems and has been widely used in the embedded field. However, as a new modeling language, modeling and analysis tools of AADL are not mature enough. In the field of software engineering, the method and tool about UML model have been developed widely, so we consider designing a transformation method. This method define a complete metamodel for AADL error model and implement the automatic transformation from the AADL model to UML model. Our research makes the method and tool for UML model reused in the AADL model, expands the application scope of AADL model, and reduces the development cost of AADL modeling. Finally, the potential research directions are discussed. © 2011 ieee.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Study of using critical path method to formulate the algorithm of software project schedule planning

Study of using critical path method to formulate the algorit...

引用

International Conference on Information Management, Innovation Management and Industrial engineering, ICIII

作者： Ren, Yongchang Xing, Tao Chai, Xuguang Quan, Qiang Chen, Xiaoji College of Information Science and Engineering Bohai University Jinzhou 121013 China Key Laboratory of City Operation and Management Beijing Research Center of Urban Systems Engineering Beijing 100089 China Department of Information Engineering Xingtai Polytechnic College Xingtai 054035 China Electronic and Information Engineering College Liaoning Technology University Jinzhou 121001 China

ISBN: (纸本)9780769542799

Formulating the practical schedule planning for the software project, is the basis of orderly carrying out the software project, is the key of project to success. In this paper, study the application of using the critical path method and related technologies to formulate the computer program algorithm for the software project schedule planning. First of all, to clarify the basis preparations, including determine the project scope, definition activities, activity sequencing, activity duration estimation, etc;Secondly, to derive the critical path, including calculate the active time , determine the critical path;then study the software algorithm, including database design and use the problem analysis diagram to show the core program algorithm;finally, using the program, which is written in accordance with the algorithm, to simulate project plan instance, and according to the simulate result, for the specific management. The results show that, using the computer software programs to achieve the critical path method and the related techniques to formulate the schedule, to reduce the workload of plan formulation, improve the accuracy of the plan, has the higher theoretical and practical value. © 2010 ieee.

关键词： application programs

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共76页 << < 8 9 10 11 12 13 14 15 16 17 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：