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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,309 篇 会议
1,853 篇 期刊文献
20 册 图书

馆藏范围

4,182 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,514 篇 工学
- 1,537 篇 计算机科学与技术...
- 1,247 篇 软件工程
- 469 篇 信息与通信工程
- 434 篇 控制科学与工程
- 353 篇 电气工程
- 291 篇 电子科学与技术（可...
- 276 篇 光学工程
- 269 篇 生物工程
- 239 篇 生物医学工程（可授...
- 164 篇 机械工程
- 153 篇 化学工程与技术
- 127 篇 动力工程及工程热...
- 126 篇 仪器科学与技术
- 110 篇 材料科学与工程（可...
- 95 篇 安全科学与工程
- 83 篇 交通运输工程
1,523 篇 理学
- 665 篇 数学
- 577 篇 物理学
- 324 篇 生物学
- 204 篇 统计学（可授理学、...
- 185 篇 系统科学
- 177 篇 化学
568 篇 管理学
- 357 篇 管理科学与工程(可...
- 222 篇 图书情报与档案管...
- 176 篇 工商管理
257 篇 医学
- 222 篇 临床医学
- 179 篇 基础医学(可授医学...
- 102 篇 药学(可授医学、理...
- 87 篇 公共卫生与预防医...
97 篇 法学
- 73 篇 社会学
61 篇 经济学
61 篇 教育学
45 篇 农学
20 篇 军事学
15 篇 文学
8 篇 艺术学

主题

138 篇 software enginee...
97 篇 computer science
72 篇 machine learning
65 篇 deep learning
64 篇 neural networks
61 篇 feature extracti...
59 篇 application soft...
59 篇 control systems
54 篇 optimization
53 篇 computational mo...
52 篇 accuracy
49 篇 computer archite...
48 篇 artificial intel...
46 篇 predictive model...
46 篇 humans
45 篇 software testing
45 篇 costs
44 篇 testing
42 篇 pattern recognit...
41 篇 image segmentati...

机构

86 篇 university of ch...
68 篇 iccub universita...
66 篇 universiteit maa...
65 篇 department of ph...
65 篇 hangzhou institu...
65 篇 excellence clust...
63 篇 infn sezione di ...
63 篇 horia hulubei na...
62 篇 van swinderen in...
62 篇 school of physic...
61 篇 ds4ds la salle u...
60 篇 physics and micr...
60 篇 infn sezione di ...
59 篇 massachusetts in...
58 篇 h.h. wills physi...
57 篇 university of ma...
57 篇 cavendish labora...
57 篇 infn sezione di ...
56 篇 warsaw
56 篇 university of ci...

作者

66 篇 barter w.
66 篇 brundu d.
66 篇 bellee v.
65 篇 beiter a.
58 篇 ao d.
57 篇 bobulska d.
56 篇 aliouche z.
56 篇 blake t.
56 篇 andersson m.
56 篇 borsato m.
56 篇 betancourt c.
56 篇 belin s.
56 篇 afsharnia h.
56 篇 carus l.
56 篇 barbetti m.
56 篇 beck a.
56 篇 cali s.
55 篇 casse g.
55 篇 amato s.
55 篇 baryshnikov f.

语言

3,680 篇 英文
455 篇 其他
44 篇 中文
2 篇 日文
1 篇 阿拉伯文
1 篇 德文
1 篇 法文
1 篇 俄文

检索条件"机构=Center of Excellence in Software Engineering Department of Computer Engineering"

共 4182 条记录，以下是3501-3510 订阅

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

详细简洁

排序：

A Unified Mathematical Model of Programs

A Unified Mathematical Model of Programs

引用

Canadian Conference on Electrical and computer engineering (CCECE)

作者： Yingxu Wang Theoretical and Empirical Software Engineering Research Center Department of Electrical and Computer Engineering University of Calgary Calgary AB Canada

Despite the rich depository of empirical knowledge on programming and software engineering, the theoretical model of programs is still unknown. This paper presents an embedded relational model (ERM) for describing the nature of programs. ERM provides a unified mathematical treatment of programs, which reveals that a program is a large and finite set of embedded binary relations between a given current statement and all previous ones that formed the semantic context or environment of computing. According to the ERM model, a program is a composed listing and a logical combination of multiple statements according to certain composing rules. A set of 17 meta statements and a set of 17 compositional relations in computing are elicited in real-time process algebra (RTPA). Based on the ERM model, a set of mathematical laws of programming is formally established

关键词： Mathematical model software engineering Mathematical programming software systems Embedded computing Algebra computer languages Concurrent computing Drives Functional programming

来源：评论

学校读者我要写书评

暂无评论

Formalization of UML Models by RTPA

Formalization of UML Models by RTPA

引用

Canadian Conference on Electrical and computer engineering (CCECE)

作者： Tony Khoo Yingxu Wang Theoretical and Empirical Software Engineering Research Center Department of Electrical and Computer Engineering University of Calgary Calgary AB Canada

Real-time process algebra (RTPA) is a set of mathematical notations for rigorous system specification. The RTPA notation has a structure comprising of operands, primitive types, abstract data types, control logic, and relationships. It is capable to effectively capture a system design in terms of its architecture, static behaviors, and dynamic behaviors. However, the preferred approach to codify system definition is through visualization in the form of UML. Although UML has expressive graphical constructs that is easily understood, it is generally viewed as being informal. This paper proposes an automatic transformation between UML and RTPA. A transformation template is in the form of an UML profile to be used in the design of a system, which is an extension mechanism that allows specialization of the UML for a particular domain. The approach is based upon understanding RTPA and UML constructs and proceeds to identify, characterize, and rank semantic relationships in order to construct an optimal translation. The semantic relationship refers to the distance between RTPA and UML constructs and uses a linguistic distance measure that is reliable and sufficient for determining correspondence. Ultimately, the transformation template becomes a schema to transform UML system models into RTPA notation

关键词： Unified modeling language Object oriented modeling computer architecture software engineering Algebra Natural languages Drives Data visualization Logic Data engineering

来源：评论

学校读者我要写书评

暂无评论

On Constraints and Count-Measures for software engineering

On Constraints and Count-Measures for Software Engineering

引用

Canadian Conference on Electrical and computer engineering (CCECE)

作者： Yingxu Wang Theoretical and Empirical Software Engineering Research Center Department of Electrical and Computer Engineering University of Calgary Calgary AB Canada

Constraints of software engineering are inherent by its intangibility, complexity, and diversity. A comprehensive set of 14 basic constraints of software engineering are identified in this paper, which can be classified into three categories known as the cognitive, organizational, and resource constraints. The relationships between the three categories of basic constraints of software engineering can be described by the software engineering constraint model (SECM). A set of 31 fundamental principles for software engineering as the key measures for coping with the basic constraints is identified. A mapping between the software engineering constraints and measures is developed, which can be used as a guideline for allocating certain software engineering methodologies for coping with a given problem in a software engineering projects

关键词： software engineering Constraint theory software measurement Costs Application software Drives Guidelines software systems Power system management engineering management

来源：评论

学校读者我要写书评

暂无评论

The OAR Model for Knowledge Representation

The OAR Model for Knowledge Representation

引用

Canadian Conference on Electrical and computer engineering (CCECE)

作者： Yingxu Wang Theoretical and Empirical Software Engineering Research Center Department of Electrical and Computer Engineering University of Calgary Calgary AB Canada

The cognitive models of information representation and the mechanisms of long-term memory are fundamental research areas in cognitive informatics. This paper develops an object-attribute-relation (OAR) model for describing knowledge and information representation in the brain. According to the OAR model, the human memory and knowledge are represented by relations, i.e. synaptic connections between neurons, rather than by the neurons themselves as the traditional container metaphor described. Based on the OAR model, human knowledge can be formally described as dynamic conjunctions of the existing OAR and the newly identified or generated objects, attributes, and/or relations. The OAR model can be used to explain a wide range of cognitive mechanisms and mental processes in natural and artificial intelligences such as learning, comprehension, and reasoning

关键词： Knowledge representation Humans Neurons Cognitive informatics Brain modeling Containers Information representation Artificial intelligence Learning software engineering

来源：评论

学校读者我要写书评

暂无评论

Formal Description of Time Management in Real-Time Operating Systems

Formal Description of Time Management in Real-Time Operating...

引用

Canadian Conference on Electrical and computer engineering (CCECE)

作者： Fabricio Rusu-Banu Yingxu Wang Theoretical and Empirical Software Engineering Research Center Department of Electrical and Computer Engineering University of Calgary Calgary AB Canada

This paper describes the formal specification of the time management subsystem of a real-time operating system. Real-time process algebra (RTPA) is adopted to formally specify the system. The architecture, static behaviors, and dynamic behaviors of a CPU time manager are systematically specified that form an abstract model of the system. The formal specifications are implemented in C, on which the system performance can be tested and verified

关键词： Real time systems Operating systems Clocks Delay computer architecture Processor scheduling Timing engineering management software engineering Time factors

来源：评论

学校读者我要写书评

暂无评论

BCH coding and multi-hop communication in wireless sensor networks

BCH coding and multi-hop communication in wireless sensor ne...

引用

IFIP International Conference on Wireless and Optical Communications Networks (WOCN)

作者： Z.H. Kashani M. Shiva Center of Excellence on Applied Electromagnetic Systems Department of Electrical and Computer Engineering Faculty of Engineering University of Tehran Tehran Iran

In this paper, we examine some of the challenges concerning error correction and multi-hop communication in wireless sensor networks (WSNs). We consider Bose, Chaudhuri and Hoquenghem (BCH) codes with different codeword lengths and error correction capabilities. In contrast with previous works, that implement coding algorithm in hardware and consequently used hardware energy profiling, in this work we consider a more realistic assumption that the node's mu-processor performs coding and energy consumption of decoding is measured using JouleTrack. Energy efficiency is used as the performance metric for communication and the interaction of multi-hop communication and coding is investigated. Simulation results show that communicating long packets is more energy efficient. If communication is multi-hop with sufficient number of hops, then, the uncoded system is beneficial. However, coding is inevitable in the case where intermediate nodes, when needed, are not available

关键词： Spread spectrum communication Wireless sensor networks Hardware Energy efficiency Error correction Error correction codes Performance evaluation Energy consumption Decoding Energy measurement

来源：评论

学校读者我要写书评

暂无评论

A Mathematical Model for Explaining the Mythic Man-Month

A Mathematical Model for Explaining the Mythic Man-Month

引用

Canadian Conference on Electrical and computer engineering (CCECE)

作者： Yingxu Wang Theoretical and Empirical Software Engineering Research Center Department of Electrical and Computer Engineering University of Calgary Calgary AB Canada

This paper presents a collaborative work theory for explaining the mythic man-month in software project organization. A mathematical model of the mechanisms and behaviors of group workload in software engineering is created, which reveals the transformability between labor and time in software engineering projects. Based on the model, the actual effort, labor allocation, and project duration can be quantitatively analyzed. A set of laws of work organization for software engineering are formally described, which can be applied in optimizing software engineering decisions on best labor allocations, shortest durations, and lowest costs in project organization

关键词： Mathematical model software engineering Collaborative work Collaborative software Drives Cost function Application software Project management engineering management Standardization

来源：评论

学校读者我要写书评

暂无评论

Design of a Cognitive Complexities Measurement and Analysis Tool

Design of a Cognitive Complexities Measurement and Analysis ...

引用

Canadian Conference on Electrical and computer engineering (CCECE)

作者： Vincent Chiew Yingxu Wang Theoretical and Empirical Software Engineering Research Center Department of Electrical and Computer Engineering University of Calgary Calgary AB Canada

The complexities of software systems are more prominent now than ever, due to progression of simple software applications to large integrated systems, either centralized or distributed. The challenges to software engineer somehow to understand and manage such large software systems and deal with software cognitive complexities. Although there are research areas such as human machine interface or human factor engineering, there is still little research on how to quantitatively measure and analyze human cognitive complexities in comprehending and understanding complex software systems. This paper studies human interaction with software programs in the cognitive perspective on software complexity. Based on the findings, a pilot software cognitive complexity measurement and analyses tool (CCMAT) is presented

关键词： software measurement software engineering Cognitive informatics software systems Human factors software tools computer industry Robustness Brain modeling Electric variables measurement

来源：评论

学校读者我要写书评

暂无评论

A detection scheme for frontalis and temporalis muscle EMG contamination of EEG data

A detection scheme for frontalis and temporalis muscle EMG c...

引用

28th Annual International Conference of the IEEE engineering in Medicine and Biology Society, EMBS'06

作者： Fu, Michael J. Daly, Janis J. Çavuşoǧlu, M. Cenk Department of Electrical Engineering and Computer Science Case Western Reserve University Cleveland OH 44106 Department of Neurology Case Western Reserve University School of Medicine Cleveland OH 44106 Motor Laboratory FES Center of Excellence LSCDVA Medical Center Cleveland OH 44106

ISBN: (纸本)1424400325

Electroencephalogram (EEG) recordings are highly susceptible to noise from electromyogram (EMG) signals of the frontalis and temporalis muscles. In this paper, we propose and evaluate a new method for detecting frontalis and temporalis muscle EMG contamination In EEG signals based on recent findings on topographic and spectral characteristics of cranial EMG. © 2006 IEEE.

关键词： Data recording

来源：评论

学校读者我要写书评

暂无评论

Hot Block Ring Counter: A Low Power Synchronous Ring Counter

Hot Block Ring Counter: A Low Power Synchronous Ring Counter

引用

International Conference on Microelectronics, ICM

作者： Mohammad Dastjerdi-Mottaghi Anahita Naghilou Masoud Daneshtalab Ali Afzali-Kusha Zainalabedin Navabi Nanoelectronics Center of Excellence School of Electrical and Computer Engineering University of Tehran Tehran Iran Department of Electrical and Computer Engineering Northeastern University Boston USA

In this paper, we propose a new and low-power architecture for synchronous ring counters which can noticeably reduce the switching activity of the conventional ring counters. To achieve the goal we partition the ring counter into some blocks for each of which we use a special clock gator. The Hot block (the block in which the '1' exists) is the only block the flip-flops of which are clocked. The delay and area overhead of the proposed clock gator is independent of the block size; this enables designer to freely resize the blocks and compromise with area and power overheads. The latency increase in the proposed architecture is independent of the counter width and depends only on the technology. For 90 nm technology it increases the latency by 5%. The architecture noticeably (about 85%) reduces the total switching activity of the counter especially for wide counters.

关键词： Counting circuits Clocks Flip-flops Nanoelectronics Delay Logic circuits computer architecture Latches Switching circuits Energy consumption

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共419页 << < 347 348 349 350 351 352 353 354 355 356 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：