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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,829 篇 会议
17 篇 期刊文献
8 册 图书

馆藏范围

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

日期分布

学科分类号

809 篇 工学
- 657 篇 计算机科学与技术...
- 484 篇 软件工程
- 178 篇 信息与通信工程
- 114 篇 材料科学与工程（可...
- 101 篇 控制科学与工程
- 68 篇 电气工程
- 48 篇 电子科学与技术（可...
- 39 篇 机械工程
- 23 篇 建筑学
- 22 篇 生物工程
- 20 篇 土木工程
- 19 篇 生物医学工程（可授...
- 17 篇 网络空间安全
- 16 篇 安全科学与工程
- 15 篇 化学工程与技术
- 12 篇 光学工程
160 篇 理学
- 92 篇 数学
- 27 篇 系统科学
- 26 篇 生物学
- 23 篇 物理学
- 22 篇 统计学（可授理学、...
150 篇 管理学
- 110 篇 管理科学与工程(可...
- 55 篇 工商管理
- 49 篇 图书情报与档案管...
25 篇 教育学
- 25 篇 教育学
17 篇 医学
- 16 篇 临床医学
- 13 篇 基础医学(可授医学...
15 篇 法学
- 12 篇 社会学
12 篇 经济学
- 12 篇 应用经济学
10 篇 文学
- 10 篇 新闻传播学
5 篇 军事学
4 篇 农学
1 篇 艺术学

主题

309 篇 application soft...
234 篇 computer science
203 篇 software enginee...
166 篇 software systems
161 篇 computer archite...
138 篇 computer aided s...
116 篇 computer softwar...
106 篇 programming
93 篇 hardware
90 篇 control systems
76 篇 costs
71 篇 software
63 篇 information syst...
59 篇 prototypes
58 篇 real time system...
57 篇 computational mo...
56 篇 systems engineer...
56 篇 testing
55 篇 humans
54 篇 software tools

机构

10 篇 school of comput...
8 篇 department of co...
8 篇 department of el...
7 篇 weizmann inst sc...
6 篇 technion israel ...
6 篇 department of co...
6 篇 department of so...
6 篇 state key labora...
5 篇 the moise and fr...
5 篇 hebrew universit...
5 篇 department of el...
5 篇 ben gurion univ ...
5 篇 computer science...
5 篇 hebrew univ jeru...
4 篇 israel aircraft ...
4 篇 tel aviv univ sc...
4 篇 rafael advanced ...
4 篇 tel-aviv univ te...
4 篇 cbse associates
4 篇 rice university ...

作者

10 篇 kupferman orna
8 篇 exman iaakov
7 篇 maoz shahar
7 篇 harel david
6 篇 vardi moshe y.
6 篇 winokur michael
6 篇 j.z. lavi
6 篇 ringert jan oliv...
6 篇 a. yehudai
6 篇 mordechai guri
6 篇 yingxu wang
6 篇 rumpe bernhard
6 篇 tyszberowicz shm...
5 篇 david harel
5 篇 shahar maoz
5 篇 goldstein moshe
5 篇 rajkumar buyya
5 篇 balaban mira
5 篇 marron assaf
5 篇 elovici yuval

语言

1,845 篇 英文
5 篇 其他
4 篇 中文

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

共 1854 条记录，以下是1821-1830 订阅

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

详细简洁

排序：

STATEMATE: a working environment for the development of complex reactive systems

STATEMATE: a working environment for the development of comp...

引用

International conference on software engineering (ICSE)

作者： D. Harel H. Lachover A. Naamad A. Pnueli M. Politi R. Sherman A. Shtul-Trauring Computer Science Department Carnegie Mellon University Pittsburgh PA USA Department of Applied Mathematics Weizmann Institute of Science Rehovot Israel I-Logix Inc. Burlington MA USA University of Southern California Marina del Rey CA USA

ISBN: (纸本)0897912586

A brief overview is given of the STATEMATE system, a graphical working environment, intended for the specification, analysis, design, and documentation of large and complex reactive systems, such as real-time embedded systems, control and communication systems, and interactive software. It enable a user to prepare, analyze, and debug diagrammatic, yet precise, descriptions of the system under development from three interrelated points of view, capturing, respectively, structure, functionality, and behavior. These views are represented by three graphical languages, the most intricate of which is the language of state charts used to depict reactive behavior over time. In addition to use of state charts, the main novelty of STATEMATE is in the fact that it understands the entire descriptions perfectly, to the point of being able to analyze them for crucial dynamic properties, to carry out rigorous animated executions and simulations of the described system, and to create running code automatically.< >

关键词： Documentation Real time systems Embedded system Communication system control Control systems Communication system software Embedded software software systems Animation Analytical models

来源：评论

学校读者我要写书评

暂无评论

Using Complex computer Games As Task Simulators In The Training Of Flight Skills

Using Complex Computer Games As Task Simulators In The Train...

引用

IEEE International conference on systems, Man and Cybernetics

作者： D. Gopher M. Weil T. Bareket S. Caspi Research center of work safety and Human Engineering Technion Haifa Israel

The paper describes an on going research project in which a complex computer game is employed as part trainer within a flight training program., The game is used to teach subjects strategies of attention control and efficient allocation of processing resources. The control of attention is claimed to bea trainable skill which is central to the task of piloting an aeroplane. The paper discusses the theoretical roots of a novel approach to the training of complex skills and its application in an actual training environment.

关键词： Computational modeling Aerospace simulation computer simulation Microprocessors Aerospace safety Railway safety Ergonomics Centralized control Application software Testing

来源：评论

学校读者我要写书评

暂无评论

A description of a formal verification and validation (FVV) process

A description of a formal verification and validation (FVV) ...

引用

Aerospace computer Security Applications conference

作者： B. Smith C. Reese K. Lindsay B. Crane Magnavox Electronics Systems Company VA USA

The Department of Defense Trusted computer System Evaluation Criteria (TCSEC) establishes a requirement for formal verification activities of a TCB (trusted computer base) designed for mandatory of verified protection. The goal of formal verification is to prove that the design specification of a system is consistent with its security policy. The authors elaborate the principles of the formal verification process. They discuss the inputs needed, processing performed, outputs produced, and analysis involved. In addition, they examine the resources required and present some observations in the form of cautions.< >

关键词： Formal verification Information security Protection Design engineering software design Mathematical model Data analysis Failure analysis Cranes Performance analysis

来源：评论

学校读者我要写书评

暂无评论

The importance of high assurance computers for command, control, communications, and intelligence systems

The importance of high assurance computers for command, cont...

引用

Aerospace computer Security Applications conference

作者： W.R. Shockley R.R. Schell M.F. Thompson Gemini Computers Inc. Carmel CA USA

The authors discuss the available alternatives for building multilevel secure automated command, control, communications, and intelligence systems (CCCI systems). It is concluded that the only way to have a high degree of confidence that the anticipated threat can be countered is to base a CCCI system on a TCB (trusted computer base) having a security kernel (i.e., on a Class B3 or A1 TCB rather than Class B2 TCB). The recommended approach is to provide the required operating system services as a nonsecurity-critical extension to a commercially available Class B3 TCB, making it possible to use technology that is available, affordable, and immediately usable. It is concluded that the desired extensions are practical within the constraints of a CCI system development project and could be implemented using standard software engineering techniques without impacting the highly-assured security characteristics of the system enforced by the underlying security kernel.< >

关键词： Automatic control Communication system control Kernel Control systems Intelligent systems Intelligent control Intelligent structures Communication system security computer security Operating systems

来源：评论

学校读者我要写书评

暂无评论

Enhancement of man-machine communication: the human use of inhuman beings

Enhancement of man-machine communication: the human use of i...

引用

IEEE Compcon

作者： S.R. Ellis A. Grunwald S. Smith M. Tyler NASA Ames Research Center Moffett Field CA USA Department of Aeronautical Engineering Technion-Israel Institute of Technology Haifa Israel Department of Phylical Education University of Wisconsin Madison WI USA

The enhancement of man-machine communication is introduced by reviewing some aspects of the social impact of computer technology. It is argued that worries that computers will be a dehumanizing influence on everyday life can be partially alleviated by better design of the human interface to the technology. Examples of humans perceptual and motor limitation are cited to show how specific understanding of these limitations can determine ways that computers can be used to enhance man-machine communication.< >

关键词： Man machine systems Humans Books Application software Quantum computing computer interfaces Government Home computing Instruments NASA

来源：评论

学校读者我要写书评

暂无评论

Organization of cardiovascular databases: parameters for successful implementation

Organization of cardiovascular databases: parameters for suc...

引用

Annual International conference of the IEEE engineering in Medicine and Biology Society (EMBC)

作者： D. Olagunju I. Goldenberg Minneapolis Heart Institute Minneapolis MN USA

The Minneapolis Heart Institute cardiovascular database has been implemented. The basic mechanics represent a mixture of fourth-generation developmental tools (SAS System and System 2000 DBMS) and technical innovations by computer experts and medical professionals. Illustrating the process the Minneapolis Heart Institute used for picking its cardiovascular database, the authors enumerate and discuss the essential parameters for successful implementation of a research database. These include administration of the request for proposals, functional requirements of DBMS systems, construction of forms for data acquisition, budgeting, system analysis and design, schema definition and design, dealing with vendors and sales representatives, selection of software and hardware, dealing with obstacles, quality control and data security, and statistical data processing.< >

关键词： Cardiology Databases Heart Synthetic aperture sonar Technological innovation Proposals Data acquisition System analysis and design Marketing and sales software quality

来源：评论

学校读者我要写书评

暂无评论

Analysis of Reed-Solomon coded frequency-hopping systems with non ideal interleaving in worst case partial band jamming

Analysis of Reed-Solomon coded frequency-hopping systems wit...

引用

MILCOM, Military Communications conference

作者： S. Laufer A. Reichman Communication Group Tadiran Limited Holon Israel

The interleaving span of coded frequency-hopped systems is often constrained to be smaller than the decoder memory length, i.e. nonideal interleaving is performed. Analysis of the performance of a hard-decision decoder and an erasure-control decoder of Reed-Solomon codes is presented, both for ideal and nonideal interleaving. The interference consists of worst-case partial-band noise jamming and thermal noise. The frequency hopping system considered uses orthogonal MFSK modulation and noncoherent demodulation with quality bit output based on Viterbi's ratio-threshold technique. Optimization of the ratio-threshold and the erasure-control parameters is performed in worst-case partial-band jamming, and the resulting performance for several interleaver spans is presented.< >

关键词： Reed-Solomon codes Interleaved codes computer aided software engineering Decoding Jamming Detectors Frequency shift keying Performance analysis Demodulation Additive white noise

来源：评论

学校读者我要写书评

暂无评论

Whiter (or wither) UIMS?

Whiter (or wither) UIMS?

引用

CHI & GI 1987 conference Proceedings: Human Factors in Computing systems and Graphics Interface.

作者： Olsen, Dan R. Green, Mark Lantz, Keith A. Schulert, Andrew Sibert, John L. Computer Science Department Brigham Young University United States Department of Computing Science University of Alberta Canada Department of Computer Science Stanford University United States Apollo Computer Department of Electrical Engineering and Computer Science The George Washington University United States

The subject of User Interface Management systems (UIMS) has been a topic of research and debate for the last several years. The goal of such systems has been to automate the production of user interface software. The problem of building quality user interfaces within available resources is a very important one as the demand for new interactive programs grows. Prototype UIMSs have been built and some software packages are presently being marketed as such. Many papers have been published on the *** still, however, remain a number of unanswered questions. Is a UIMS an effective tool for building high quality user interfaces or is the run-time cost of abstracting out the user interface too high? Why are there not more UIMSs available and why are they not more frequently used? Is simple programmer productivity alone sufficient motivation for learning and adopting yet another programming tool? What is the difference, if any, between a "user interface toolbox", a windowing system and a UIMS? What are the differences between a UIMS and the screen and editor generators found in fourth generation languages? In fact, exactly what is a UIMS?In order to discuss these questions and to reassess the state of the UIMS art, SIGGRAPH sponsored a workshop on these issues (proceedings will be published in computer Graphics in 1987). The panelists represent four subgroups who have each addressed these problems from different points of view. © 1986 ACM.

关键词： User interfaces

来源：评论

学校读者我要写书评

暂无评论

MICROcomputer IMPLEMENTATION OF GEOGRAPHIC INFORMATION systems.

引用

Computing in Civil engineering, Proceedings of the fourth conference.

作者： Eli, Robert N. West Virginia Univ Morgantown WV USA West Virginia Univ Morgantown WV USA

ISBN: (纸本)0872625699

With the more recent development of high performance microcomputers, efforts have been made to adapt. Information systems (GIS) software to microcomputers for application to a wide variety of Civil engineering problems. Little problem has been encountered in fitting the software component of these systems, however, file handling limitations are requiring innovative changes in the way spatial data is stored and retrieved. Limited memory size and magnetic media storage have driven the development of data compression and segmentation techniques that will have beneficial effects in the development of both mainframe and microcomputer GIS.

关键词： MAPS AND MAPPING

来源：评论

学校读者我要写书评

暂无评论

CONSTRUCTION INFORMATION AND APPLICATIONS systems IN EDUCATION.

引用

Computing in Civil engineering, Proceedings of the fourth conference.

作者： Chalabi, A.Fattah Worcester Polytechnic Inst Worcester MA USA Worcester Polytechnic Inst Worcester MA USA

ISBN: (纸本)0872625699

Designers are utilizing relatively sophisticated software but constractors, except for the largest companies, are limited to the most basic business applications. Integrative use of computers throughout the project phases is yet to be developed and adopted widely. This is probably due to the lack of useable and economical software, awareness and training. Educators concerned about this problem have included computer applications in the construction curriculum, particularly those dealing with estimating, scheduling and specifications. Few construction programs have courses and projects especially devoted to integrative use of computers in construction. This paper describes WPI's Construction Information and Applications systems used for the undergraduate, graduate and continuing education levels. Developments and evolutions of these systems, current contents, applications, software adopted or internally developed to support them.

关键词： CONSTRUCTION INDUSTRY

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共186页 << < 177 178 179 180 181 182 183 184 185 186 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：