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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

2,916 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,870 篇 工学
- 1,477 篇 计算机科学与技术...
- 1,253 篇 软件工程
- 343 篇 信息与通信工程
- 281 篇 控制科学与工程
- 216 篇 生物工程
- 159 篇 生物医学工程（可授...
- 158 篇 电气工程
- 144 篇 机械工程
- 116 篇 光学工程
- 115 篇 电子科学与技术（可...
- 69 篇 化学工程与技术
- 69 篇 安全科学与工程
- 67 篇 交通运输工程
- 66 篇 仪器科学与技术
- 56 篇 动力工程及工程热...
889 篇 理学
- 489 篇 数学
- 241 篇 生物学
- 226 篇 物理学
- 153 篇 统计学（可授理学、...
- 127 篇 系统科学
- 66 篇 化学
598 篇 管理学
- 362 篇 管理科学与工程(可...
- 246 篇 图书情报与档案管...
- 176 篇 工商管理
170 篇 医学
- 138 篇 临床医学
- 118 篇 基础医学(可授医学...
- 73 篇 公共卫生与预防医...
- 69 篇 药学(可授医学、理...
95 篇 法学
- 76 篇 社会学
67 篇 经济学
- 67 篇 应用经济学
51 篇 教育学
34 篇 农学
18 篇 文学
9 篇 军事学
5 篇 艺术学
2 篇 哲学
1 篇 历史学

主题

102 篇 computer science
98 篇 software enginee...
76 篇 machine learning
73 篇 deep learning
59 篇 software
53 篇 computational mo...
53 篇 accuracy
48 篇 feature extracti...
47 篇 training
45 篇 semantics
43 篇 predictive model...
42 篇 information tech...
41 篇 optimization
39 篇 data mining
37 篇 internet of thin...
35 篇 support vector m...
35 篇 security
35 篇 artificial intel...
34 篇 software testing
31 篇 software systems

机构

46 篇 college of compu...
37 篇 department of so...
32 篇 faculty of softw...
27 篇 department of so...
23 篇 school of comput...
23 篇 state key labora...
21 篇 department of co...
19 篇 faculty of compu...
19 篇 gik institute of...
19 篇 university of eu...
19 篇 dept. of technol...
17 篇 faculty of compu...
16 篇 department of in...
15 篇 national key lab...
15 篇 faculty of scien...
15 篇 school of comput...
14 篇 school of comput...
14 篇 school of comput...
14 篇 state key labora...
14 篇 computer vision ...

作者

37 篇 tao dacheng
20 篇 ali raja hashim
20 篇 raja hashim ali
19 篇 herawan tutut
16 篇 usama arshad
16 篇 arshad usama
16 篇 zamli kamal z.
16 篇 muhammad adnan k...
16 篇 ow siew hock
15 篇 muhammad waseem ...
15 篇 du bo
15 篇 siew hock ow
14 篇 zain ul abideen
14 篇 selamat ali
13 篇 tutut herawan
13 篇 lee sai peck
13 篇 liang peng
12 篇 ahmed bestoun s.
12 篇 belikov juri
12 篇 suhaimi ibrahim

语言

2,796 篇 英文
95 篇 其他
23 篇 中文
2 篇 日文
1 篇 德文

检索条件"机构=Faculty of Computer Science and Software Engineering"

共 2916 条记录，以下是2831-2840 订阅

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

详细简洁

排序：

Contract-based mutation for testing components

Contract-based mutation for testing components

引用

International Conference on software Maintenance (ICSM)

作者： Ying Jiang Shan-Shan Hou Jin-Hui Shan Lu Zhang Bing Xie Institute of Software School of Electronics Engineering and Computer Science Peking University Beijing China Faculty of Information Engineering and Automation Kunming University of Science and Technology Kunming China

Testing plays an important role in the maintenance of component based software development. Test adequacy for component testing is one of the hardest issues for component testing. To tackle this problem, it is a natural idea to apply mutation testing, which is a fault-based testing method used for measuring test adequacy, for component contracts, whose aim is to improve the testability of the component. Though powerful, mutation testing is usually very computation-expensive, as many mutants need to be produced and executed in mutation testing. In this paper, we propose a contract-based mutation technique for testing components. Based on the discordance between contracts and specification, our approach employs a set of high level contract mutation operators. The experimental results show that these operators can greatly reduce the number of mutants compared with traditional mutation operators. At the same time, the contract-based mutation using our contract mutation operators can provide almost the same ability as that of using traditional mutation operators. Moreover, effective test suite can be produced to reduce the maintenance effort.

关键词： Genetic mutations Contracts software testing software reusability software maintenance Electronic equipment testing Programming Application software computer science Automation

来源：评论

学校读者我要写书评

暂无评论

Modulus maximum image energy using maximum entropy

Modulus maximum image energy using maximum entropy

引用

International Symposium on Electronics in Marine (ELMAR)

作者： D. Heric D. Zazula Univerza v Mariboru Maribor SI Faculty of Electrical Engineering and Computer Science Laboratory of System Software Laboratory Maribor Slovenia

A negative gradient of the image energy is a driving force, which controls the movement of an active contour. We might say that the final shape depends most on how well the image energy is defined. Traditional image energy models produce a limited range of the force and a poor vector filed definition for concave regions. These limitations have been resolved by a gradient vector flow whose major disadvantage is computational time. However, we have proposed a novel modulus maximums image energy that is based on the wavelet transform. It is defined as a cubic spatial interpolation between adjacent modulus maxima. Its negative gradient has a large capture range and forces active contours also into a concave shape. At the end an example of active contour driven by the negative gradient of modulus maximum image energy is presented

关键词： Entropy Active contours Shape Deformable models Laboratories Force control Energy resolution computer science System software Control systems

来源：评论

学校读者我要写书评

暂无评论

Predicting Change Impact in Architecture Design with Bayesian Belief Networks

Predicting Change Impact in Architecture Design with Bayesia...

引用

Working IEEE/IFIP Conference on software Architecture

作者： A. Tang Yan Jin Jun Han A. Nicholson Faculty of ICT Swinburne University of Technology Melbourne Australia School of Computer Science and Software Engineering Monash University VIC Australia

Research into design rationale in the past has focused on the representation of reasons and has omitted the connections between design rationales and design artefacts. Without such connections, designers and architects cannot easily assess how changing requirements or designs may affect the system. In this paper, we introduce a model called Architecture Rationale and Element Linkage (AREL) to represent the causal relationship between architecture elements and decisions. We further model AREL as a Bayesian Belief Network (BBN) to capture the probabilistic relationships between architecture elements and decisions in an architecture design model. Such probabilistic modelling enables architects to quantitatively predict and diagnose impact of change when part of the requirements or designs are changing. Using a partial design of a cheque image processing system, we illustrate how AREL is used to represent the decision model and how BBN is used to predict and diagnose change in the architecture design. We use a UML tool to capture the AREL model and a BBN tool to compute the probabilities of change impact.

关键词： Intelligent networks Bayesian methods computer architecture Predictive models computer science software Design engineering Australia Couplings Image processing

来源：评论

学校读者我要写书评

暂无评论

A complex linear feedback shift register design for the A5 keystream generator

A complex linear feedback shift register design for the A5 k...

引用

National Conference on Radio science (NSRC)

作者： M. Sharaf H.A.K. Mansour H.H. Zayed M.L. Shore Lieutenant Colonel Engineering General Police Communication Faculty of Engineering Banha Branch Zagazig University Egypt Department of Computer Science and Software Engineering Canterbury University New Zealand

A5 encryption/decryption algorithm depends on the use of linear feedback shift registers (LFSR) in order to generate the key-stream bits. The A5-1 algorithm uses three different LFSRs with a majority function to add non-linearity, while A5-2 uses four LFSRs. In this paper a new multi-configurable LFSR design variant of the A5 algorithm is proposed, in which the inverse taps of the LFSR are used to generate the output key-stream bits. The new LFSR design, called a complex LFSR, techniques can be effectively applied in software or hardware to a communications stream to provide a low cost and high speed encryption capability

关键词： Linear feedback shift registers Clocks Flip-flops Shift registers Hardware Costs Vectors Testing computer science software engineering

来源：评论

学校读者我要写书评

暂无评论

On requirements for management of mobile XML Web services and a corresponding management system

On requirements for management of mobile XML Web services an...

引用

International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Service (TELSIKS)

作者： V. Tosic H. Lutfiyya Yazhe Tang K. Sherdil A. Dimitrijevic Department of Computer Science University of Western Ontario Canada Department of Software Engineering Lakehead University ONT Canada Department of Software Engineering Xi'an Jiaotong University Ontario Canada Department of Computer Science University of Western Ontario London Ontario Canada Xi''an Jiaotong University China Faculty of Electronic Engineering University of Nis Nis Serbia and Montenegro

Management of mobile/embedded XML Web services has to take into account specifics of their execution environments, including scarce run-time memory, relatively low processing power, limited available electrical power, and slow wireless links. It also has to handle distinctive situations, such as context-sensitive operation and relatively frequent run-time communication disturbances or even disconnections. The existing solutions for management of non-mobile/non-embedded XML Web services do not address these characteristic issues. We have been working on a management system appropriate for mobile/embedded XML Web services. We identified ten new requirements of such a system, additional to the requirements of management systems for non-mobile/non-embedded XML Web services. To address them, we developed new versions of our Web service offerings infrastructure (WSOI) and Web service offerings language (WSOL). Our solutions are being validated on case studies and verified through development of proof-of-concept prototypes.

关键词： XML Web services Power system management Energy management Environmental management Runtime environment Memory management Context Mobile communication Prototypes

来源：评论

学校读者我要写书评

暂无评论

Probability of error of space-time coded OFDM systems with frequency offset in frequency-selective Rayleigh fading channels

Probability of error of space-time coded OFDM systems with f...

引用

IEEE International Conference on Communications (ICC)

作者： C.R.N. Athaudage K. Sathananthan ARC Special Research Center for Ultra-Broadband Information Networks (CUBIN) University of Melbourne Australia School of Computer Science and Software Engineering Faculty of Information Technology Monash University Australia

In this paper, we analyze the performance of space-time coded (ST-coded) orthogonal frequency division multiplexing (OFDM) systems with carrier frequency offset (CFO) in a frequency-selective Rayleigh fading channel. Closed-form analytical expressions are derived for the symbol error probability (SEP) for M-PSK and M-QAM modulation schemes. The SEP expressions derived are valid and exact for OFDM systems with highly frequency-selective wireless channels where the subcarrier channel responses are i.i.d. with Rayleigh fading. Also, for the case where imperfect channel knowledge is used for space-time decoding, we derive expressions for constellation phase-rotation and post-equalized SINR (signal-to-interference-and-noise ratio) degradation due to CFO. The numerical results demonstrate the sensitivity of the receiver error performance to CFO in ST-coded OFDM systems.

关键词： Fading Performance analysis Error probability OFDM modulation Wireless sensor networks Rayleigh channels Decoding Constellation diagram Signal to noise ratio Degradation

来源：评论

学校读者我要写书评

暂无评论

Low-Complexity Diversity Enhanced OFDM for Wireless Communications

Low-Complexity Diversity Enhanced OFDM for Wireless Communic...

引用

IEEE Region 10 International Conference TENCON

作者： K. Sathananthan C. R. N. Athaudage School of Computer Science and Software Engineering Faculty of Information Technology Monash University Australia ARC Special Research Center for Ultra-Broadband Information Networks (CUBIN) Department of Electrical and Electronic Engineering University of Melbourne Australia

We propose a low complexity frequency diversity technique for OFDM to improve its error performance in a frequency-selective wireless channel. Recently, linear precoding has been proposed to achieve frequency diversity (multipath diversity) in OFDM, which overcomes the problem of channel nulls (deep fades in frequency-domain). However, currently reported precoding techniques for OFDM have high computational complexity due to associated maximum-likelihood (ML) decoding or pseudo-inverse of large matrices (linear decoding). In the proposed diversity enhanced-OFDM (DE-OFDM), the decoding complexity is minimal as maximum ratio combining (MRC) is incorporated at the receiver to generate a decision variable for each repeatedly transmitted symbol over multiple subcarriers. Moreover, we show that DE-OFDM does not cause any effective data rate (throughput) loss as DE-OFDM using a higher-order modulation scheme (thus the same data rate as conventional OFDM) can provide a better error performance. Both analytical and simulation results are provided to demonstrate the efficiency of DE-OFDM in achieving frequency diversity benefit with low receiver complexity in multipath (frequency-selective) channels. DE-OFDM also outperforms the previously proposed ICI self-cancellation schemes in a frequency-selective fading channel with small frequency offset error.

关键词： Wireless communication Frequency diversity Diversity reception Maximum likelihood decoding Computational complexity Throughput OFDM modulation Performance loss Analytical models Frequency-selective fading channels

来源：评论

学校读者我要写书评

暂无评论

Automated detection of performance regressions: the mono experience

Automated detection of performance regressions: the mono exp...

引用

International Symposium on Modeling, Analysis and Simulation of computer and Telecommunication Systems (MASCOTS)

作者： T. Kalibera L. Bulej P. Tuma Distributed Systems Research Group Department of Software Engineering Faculty of Mathematics and Physics Charles University Prague Czech Republic Institute of Computer Science Academy of Sciences of Czech Republic Czech Republic

engineering a large software project involves tracking the impact of development and maintenance changes on the software performance. An approach for tracking the impact is regression benchmarking, which involves automated benchmarking and evaluation of performance at regular intervals. Regression benchmarking must tackle the nondeterminism inherent to contemporary computer systems and execution environments and the impact of the nondeterminism on the results. On the example of a fully automated regression benchmarking environment for the mono open-source project, we show how the problems associated with nondeterminism can be tackled using statistical methods.

关键词： MONOS devices Benchmark testing software performance software testing software quality Quality assurance Automatic testing Robustness Performance analysis software engineering

来源：评论

学校读者我要写书评

暂无评论

Applying machine learning using case-based reasoning (CBR) and rule-based reasoning (RBR) approaches to object-oriented application framework documentation

Applying machine learning using case-based reasoning (CBR) a...

引用

International Conference on Information Technology and Applications, ICITA

作者： H.M. Jani Lee Sai Peck College of Information Technology Universiti Tenaga Malaysia (UNITEN) Kajang Selangor Darul Ehsan Malaysia Department of Software Engineering Faculty of Computer Science and Information Technology University Malaya Kuala Lumpur Malaysia

Several challenges and problems of developing, using and maintaining object-oriented application frameworks have been identified. It was discovered that companies attempting to build or use large-scale reusable framework often fail unless they recognize and resolve challenges such as development effort, learning curve, integratability, maintainability, validation, defect removal, efficiency, and lack of standards. Framework documentation plays a major role in facing the above challenges. It directly affects the learning curve, maintainability, and defect removal aspects of the application frameworks. We have studied various documenting approaches and concluded that the current approaches are not very effective in overcoming the above challenges, especially on the efficiency problem. So, in this paper, we are going to apply machine learning using case-based reasoning (CBR) and rule-based reasoning (RBR) to framework documentation. We come up with a documentation architecture that combines both techniques in order to come up with improved framework documentation.

关键词： Machine learning Documentation Application software Information technology software engineering Java Educational institutions computer science Large scale integration Standards development

来源：评论

学校读者我要写书评

暂无评论

On Development and Evaluation of Prototype Mobile Decision Support for Hospital Triage

On Development and Evaluation of Prototype Mobile Decision S...

引用

Annual Hawaii International Conference on System sciences (HICSS)

作者： J.S. Pedro F. Burstein J. Wassertheil N. Arora L. Churilov A. Zaslavsky School of Information Management & Systems Monash University Australia Faculty of Medicine Monash University Australia School of Computer Science and Software Engineering Monash University Australia School of Business Systems Monash University Australia

Ambiguous triage scenarios in hospital emergency departments are often difficult to assess without decision support. Subjective assessments of such scenarios can either lead to under-triaging or over-triaging for which true conditions of patients are often not addressed within the required time. In this paper, we propose a decision support model that can guide a clinician when identifying the urgency of medical intervention when patient presents with ambiguous triage case. Our model is a heuristic approach that selects the best triage category, identifies corresponding discriminating attribute of the patient, and allows clinician to attach a level of confidence in the decision. We implemented this model as a mobile decision support system, called iTriage. Results of an initial evaluation of iTriage using fourteen paper-based adult triage scenarios showed that our model produced robust decisions for urgent scenarios. For non-urgent scenarios, the proposed model provided guidance especially when the scenarios were ambiguously stated.

关键词： Prototypes Hospitals Fingers Australia Pain Helium Health information management computer science software engineering Decision support systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共292页 << < 280 281 282 283 284 285 286 287 288 289 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：