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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

982 篇 会议
37 篇 期刊文献
24 册 图书

馆藏范围

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

日期分布

学科分类号

702 篇 工学
- 583 篇 计算机科学与技术...
- 365 篇 软件工程
- 146 篇 电气工程
- 57 篇 控制科学与工程
- 30 篇 信息与通信工程
- 27 篇 材料科学与工程（可...
- 19 篇 电子科学与技术（可...
- 16 篇 机械工程
- 11 篇 动力工程及工程热...
- 11 篇 生物医学工程（可授...
- 10 篇 生物工程
- 7 篇 仪器科学与技术
- 7 篇 石油与天然气工程
- 6 篇 城乡规划学
- 4 篇 核科学与技术
- 4 篇 农业工程
191 篇 理学
- 158 篇 数学
- 19 篇 系统科学
- 17 篇 物理学
- 12 篇 统计学（可授理学、...
- 10 篇 生物学
69 篇 管理学
- 53 篇 管理科学与工程(可...
- 22 篇 工商管理
- 19 篇 图书情报与档案管...
16 篇 教育学
- 16 篇 教育学
11 篇 文学
- 11 篇 新闻传播学
9 篇 法学
- 8 篇 社会学
6 篇 医学
- 4 篇 基础医学(可授医学...
4 篇 农学
- 4 篇 作物学
3 篇 经济学
- 3 篇 应用经济学
1 篇 军事学

主题

96 篇 logic gates
77 篇 programming
63 篇 logic programmin...
40 篇 fuzzy logic
35 篇 application soft...
30 篇 linear programmi...
30 篇 probabilistic lo...
27 篇 programming prof...
27 篇 computer archite...
26 篇 computer science
26 篇 dynamic programm...
23 篇 software enginee...
23 篇 protocols
21 篇 uncertainty
20 篇 object oriented ...
20 篇 java
20 篇 semantics
19 篇 computer circuit...
18 篇 costs
17 篇 software systems

机构

4 篇 univ potsdam pot...
4 篇 vienna univ tech...
4 篇 imdea software i...
4 篇 institute for lo...
3 篇 tu wien austria
3 篇 graduate school ...
3 篇 univ calabria de...
3 篇 carnegie mellon ...
3 篇 univ freiburg fr...
3 篇 univ british col...
3 篇 imperial coll lo...
3 篇 department of in...
2 篇 univ tecn federi...
2 篇 ist austria klos...
2 篇 univ savoie savo...
2 篇 tel aviv univers...
2 篇 zhongguancun lab...
2 篇 univ ferrara dip...
2 篇 south china univ...
2 篇 univ neuchatel i...

作者

8 篇 alviano mario
6 篇 lamma evelina
5 篇 schaub torsten
4 篇 riguzzi fabrizio
3 篇 lin yu
3 篇 vardi moshe y.
3 篇 gebser martin
3 篇 bellodi elena
3 篇 costa vitor sant...
3 篇 shinji sakamoto
3 篇 lakemeyer gerhar...
3 篇 ikeda markus
3 篇 zhou neng-fa
3 篇 xu hongxiang
3 篇 sabuncu orkunt
3 篇 leonard barolli
3 篇 schockaert steve...
3 篇 pichler andreas
3 篇 wang bin
3 篇 de givry simon

语言

1,015 篇 英文
21 篇 其他
8 篇 中文
1 篇 法文

检索条件"任意字段=30th International Conference on Logic Programming"

共 1043 条记录，以下是891-900 订阅

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

详细简洁

排序：

An Aspect-Oriented Approach to Security Requirements Analysis

An Aspect-Oriented Approach to Security Requirements Analysi...

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： Dianxiang Xu Vivek Goel Kendall Nygard Department of Computer Science North Dakota State University Fargo ND USA

this paper presents an aspect-oriented approach to integrated elicitation of functional and security requirements based on use case-driven development. We identify security threats with respect to use cases and adopt threat mitigations for preventing or reducing security threats. To capture crosscutting nature of threats and mitigations, we specify them as aspects that encapsulate pointcuts and advice. A threat (mitigation) pointcut is a collection of join points in use cases at which the use cases are threatened (secured); whereas threat/mitigation advice describes how a threat can become an attack (can be mitigated). Eliciting threats and mitigations as aspects provides a structured way for separating functional and security concerns

关键词： Computer security programming Computer science Neodymium Computer applications Application software

来源：评论

学校读者我要写书评

暂无评论

Compartive study of MPPT methods for PV systems : Case of Moroccan house

Compartive study of MPPT methods for PV systems : Case of Mo...

引用

international conference on Microelectronics, ICM

作者： Asmae CHAKIR Mohamed TABAA Fouad MOUTAOUAKKIL Hicham MEDROMI Karim ALAMI Development and Innovation in Engineering Sciences (FRDISI) Foundation for Research Casablanca Morroco Pluridisciplinary Laboratory of Research & Innovation (LPRI) EMSI Casablanca Morocco

ISBN: (纸本)9781538681688;9781538681671

the use of renewable energies has become important for their beneficial effects on the environment. In this category we find photovoltaic (PV) energy, taking a considerable share of use due to the large availability of the solar potential, but its main obstacle is the extraction of maximum power. In fact, a photovoltaic panel supplying a load, isn't necessarily working at the point corresponds to the peak of the characteristic (V, P) of the system. To fix this problem is required to use power electronics, via a DC / DC converter controlled by a maximum power point tracking (MPPT) algorithm. In the literature, several algorithms are proposed that differ by the number of inputs used, the response time and also by their accuracy. In this work, we tested a photovoltaic system feeding a traditional Moroccan house, by four methods of MPPT, with four degree of complexity, namely: open circuit voltage fraction, Perturb & observe, the incremental conductance, and the MPPT algorithm using fuzzy logic, with the use of a boost chopper that keeps the DC bus voltage constant. the results are analyzed, and they show that perturb and observe is the good algorithm for a low cost application and the fuzzy logic is suitable for more accuracy.

关键词： Mathematical model Maximum power point trackers Ear Fuzzy logic Temperature dependence Microelectronics Photovoltaic systems

来源：评论

学校读者我要写书评

暂无评论

Detecting Data Races on Framework-Based Applications

Detecting Data Races on Framework-Based Applications

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： Federico Balaguer thuc S. M. Ho Ralph Johnson Department of Computer Science University of Illinois Urbana-Champaign USA

Race conditions are hard to detect in framework-based applications. Frameworks often improve performance by providing threading, but this threading is usually hidden from application programmers. therefore, it is easy for application programmers to accidentally create data races. Data races can be detected tracing the flow of execution, but tracing tends to produce too much data. However, the structure of frameworks can be used to control the amount of data collected and that makes tracing practical. We have developed a tracing and analysis tool that allows application programmers to explore different configurations of an application and find probable data races. this enables them to have multithreaded frameworks safely without having to learn the details of the framework design

关键词： Application software programming profession Transaction databases Multithreading Yarn Computer science Information retrieval

来源：评论

学校读者我要写书评

暂无评论

Distributed Query Results and IoT Data in a Publish-Subscribe Network Implementing User Notifications

Distributed Query Results and IoT Data in a Publish-Subscrib...

引用

international conference on Advanced Information Networking and Applications Workshops (AINAW)

作者： Diego Sanchez De Rivera Ramón Alcarria Diego Martín Álvaro Sánchez-Picot Borja Bordel Tomás Robles School of Telecommunication Engineering Technical University of Madrid Madrid Spain

Traditional database information and IoT real time data are now evolving to unified paradigms in whose accessing diverse data endpoints can be challenging due to interoperability problems that emerge when instant data are monitored and collected in typical database scenarios. In this paper, a new model is proposed to link persistent data with instantaneous information using publish-subscribe networks. this allows incorporating notification services and storage of historical IoT data for a seamless integration of traditionally databases and IoT sensor networks.

关键词： Publish-subscribe Monitoring Distributed databases Real-time systems logic gates Servers

来源：评论

学校读者我要写书评

暂无评论

Models for model's sake

Models for model's sake

引用

international conference on Software Engineering (ICSE)

作者： Oliver Niggemann Joachim Stroop DSPACE GmbH Paderborn Germany

In automotive software and system design, explicit system and especially software models have found their way into the development process. this paper try to give an overview for what such models have so-far been used and which advantages they brought to vehicle manufacturers and suppliers. Another focus of this paper is the comparison to functional models which are already used in the automotive industry to define control algorithms and function implementation. In many cases too strong analogies have been seen between the existing functional control algorithm models and the new system models - leading to suboptimal development processes and tools. this paper therefore try to outline differences between these model types. Finally, a synthesis between functional, system, and software models was sketched.

关键词： Mathematical model Automotive engineering Differential equations Software systems Vehicles Industrial control Software engineering Software architecture programming Permission

来源：评论

学校读者我要写书评

暂无评论

An efficient reliability simulation flow for evaluating the hot carrier injection effect in CMOS VLSI circuits

An efficient reliability simulation flow for evaluating the ...

引用

IEEE international conference on Computer Design: VLSI in Computers and Processors, (ICCD)

作者： Mehdi Kamal Qing Xie Massoud Pedram Ali Afzali-Kusha Saeed Safari School of Electrical and Computer Engineering University of Tehran Iran Department of Electrical Engineering-Systems University of Southern California USA

Hot carrier injection (HCI) effect is one of the major reliability concerns in VLSI circuits. this paper presents a scalable reliability simulation flow, including a logic cell characterization method and an efficient full chip simulation method, to analyze the HCI-induced transistor aging with a fast run time and high accuracy. the transistor-level HCI effect is modeled based on the Reaction-Diffusion (R-D) framework. the gate-level HCI impact characterization method combines HSpice simulation and piecewise linear curve fitting. the proposed characterization method reveals that the HCI effect on some transistors is much more significant than the others according to the logic cell structure. Additionally, during the circuit simulation, pertinent transitions are identified and all cells in the circuit are classified into two groups: critical and non-critical. the proposed method reduces the simulation time while maintaining high accuracy by applying fine granularity simulation time steps to the critical cells and coarse granularity ones to the non-critical cells in the circuit.

关键词： Human computer interaction Integrated circuit modeling logic gates Capacitance MOSFETs Semiconductor device modeling

来源：评论

学校读者我要写书评

暂无评论

Testability of Software in Service-Oriented Architecture

Testability of Software in Service-Oriented Architecture

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： W. T. Tsai Jerry Gao Xiao Wei Yinong Chen Arizona State University Tempe AZ USA San Jose State University Foundation San Jose USA

Service-oriented architecture (SOA) is a system architecture in which a collection of loosely coupled services communicate with each other using standard interfaces and message-exchanging protocols. As an emerging technology in software development, the SOA presents a new paradigm, and it affects the entire software development cycle including analysis, specification, design, implementation, verification, validation, maintenance and evaluation. this paper proposes several testability evaluation criteria for SOA software, which serves as a reference for both service providers and application builders to evaluate the test support to SOA software. the proposed evaluation criteria are illustrated in a stock-trading case study

关键词： Software testing Service oriented architecture Collaborative work Collaboration Runtime Access protocols Application software Computer architecture Communication standards programming

来源：评论

学校读者我要写书评

暂无评论

Moving Software from Expense to Asset

Moving Software from Expense to Asset

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： R Krishnan Margaret Nadworny Global Software Group Motorola China

Reuse is recognized in Motorola, as a major cycle time and cost reduction enabler. the software vision is to assemble products from pre-fabricated parts, with a bill of material for software. this paper shares details on an asset based development strategy and approach. the key aspects of this asset based development strategy are: i) a top down, management-sponsored approach ii) driven through key changes to the software development process and iii) supported by an infrastructure/repository tool. New processes are being developed and integrated into the software development environment, to support asset based development. As part of this effort, a set of evaluation criteria has been developed for evaluating the submitted assets and to minimize potential barriers to reuse; these criteria are also discussed in this paper

关键词： Asset management Software maintenance programming Costs Assembly Bills of materials Software development management Seminars Management training Strategic planning

来源：评论

学校读者我要写书评

暂无评论

Advantages of Applying a Multi-agent Approach in Simulation Modeling: a Data-to-Action Case Study Applied to Electricity Production

Advantages of Applying a Multi-agent Approach in Simulation ...

引用

National conference with international Participation (TELECOM)

作者： Krassimir Stoyanov Varbinka Stefanova-Stoyanova Petko Danov Department of Computer Systems Faculty of Computer Systems and Technologies Technical University of Sofia Sofia Bulgaria Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies Technical University of Sofia Sofia Bulgaria

ISBN: (纸本)9781665482134

this article examines modern methods for analysis and dynamic process modeling with the context of the capabilities, characteristics and advantages of types of multiagent systems. A practical implementation of the “Data to Action” model is proposed through the research simulation modeling system “Photovoltaic (PV) to Smart Energy Storage (SES) Grid”, developed by the authors using a Multi-Agent System for simulating the process of generating electricity produced by a PV park, its storage with the possibility of Time-Shifting and sale of energy.

关键词： Photovoltaic systems Process modeling Production Data models Telecommunications Multi-agent systems Energy storage

来源：评论

学校读者我要写书评

暂无评论

A Method to Describe Student Learning Status for Personalized Computer programming e-Learning Environment

A Method to Describe Student Learning Status for Personalize...

引用

international conference on Advanced Information Networking and Applications (AINA)

作者： Yu Yan Kohei Hara Hiroto Nakano Takenobu Kazuma Aiguo He Department of Computer and Information Systems The University of Aizu Aizu-wakamatsu City Fukushima Japan

ISBN: (纸本)9781509018598

Personalized e-learning environment is desirable in computer programming education. An important issue on personalized e-learning environment is to know the learning status of each student. this article proposes a method, SKP based Student Learning Status Description(SKP-based SLSD), to help instructors to know student individual's learning status in C programming. SKP-based SLSD focus on the syntactic knowledge called Syntax Knowledge Point(SKP) extracted from program source code. Firstly, it gathers all syntactic knowledge that should be learned by the students by extracting SKP from the source code in teaching materials or exercises' model answers. then, for each student, it collects his learning activities on each SKP by extracting SKP from the source code the student have read or taught at lectures and wrote at exercises or tests. Finally, for each student, his understanding of each SKP is estimated based on the collected data. Student learning status can be described by his understanding of all SKPs. By SKP-based SLSD, the information used to describe student learning status can be more detail, be better-defined and better-handled by computer systems. We have also conducted experiments and proved that SKP-based SLSD is effective and feasible.

关键词： Syntactics programming profession Computers Electronic learning History

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共105页 << < 86 87 88 89 90 91 92 93 94 95 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：