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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

8,475 篇 会议
184 篇 期刊文献
48 册 图书

馆藏范围

8,707 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

4,733 篇 工学
- 3,148 篇 软件工程
- 2,642 篇 计算机科学与技术...
- 1,125 篇 电气工程
- 477 篇 信息与通信工程
- 406 篇 电子科学与技术（可...
- 335 篇 控制科学与工程
- 333 篇 机械工程
- 278 篇 动力工程及工程热...
- 206 篇 材料科学与工程（可...
- 204 篇 土木工程
- 191 篇 化学工程与技术
- 189 篇 建筑学
- 154 篇 仪器科学与技术
- 117 篇 安全科学与工程
- 116 篇 力学（可授工学、理...
- 109 篇 石油与天然气工程
- 108 篇 生物工程
- 89 篇 交通运输工程
- 81 篇 生物医学工程（可授...
1,270 篇 理学
- 754 篇 数学
- 357 篇 物理学
- 158 篇 统计学（可授理学、...
- 141 篇 化学
- 121 篇 生物学
- 109 篇 系统科学
880 篇 管理学
- 537 篇 管理科学与工程(可...
- 394 篇 图书情报与档案管...
- 288 篇 工商管理
187 篇 教育学
- 185 篇 教育学
116 篇 经济学
- 115 篇 应用经济学
86 篇 医学
80 篇 法学
48 篇 农学
23 篇 艺术学
18 篇 文学
13 篇 军事学

主题

954 篇 software enginee...
539 篇 application soft...
522 篇 software
449 篇 computer science
333 篇 programming
306 篇 computer archite...
303 篇 software systems
216 篇 hardware
214 篇 data mining
206 篇 software testing
178 篇 costs
174 篇 java
170 篇 computational mo...
156 篇 object oriented ...
152 篇 software algorit...
149 篇 knowledge engine...
149 篇 software quality
137 篇 software archite...
127 篇 prototypes
125 篇 educational inst...

机构

35 篇 nanjing univ sta...
30 篇 school of engine...
28 篇 school of comput...
24 篇 state key labora...
21 篇 school of inform...
21 篇 school of electr...
20 篇 school of comput...
19 篇 shanghai key lab...
19 篇 department of co...
17 篇 school of electr...
16 篇 nanjing univ dep...
15 篇 department of el...
14 篇 software enginee...
13 篇 nanjing univ sof...
13 篇 univ chinese aca...
13 篇 east china norma...
13 篇 school of comput...
13 篇 school of softwa...
13 篇 chinese acad sci...
12 篇 department of el...

作者

18 篇 wang wei
15 篇 ma xiaoxing
15 篇 lu jian
15 篇 xu chang
15 篇 lichter horst
14 篇 v. thiruchelvam
14 篇 yoshiki higo
14 篇 shinji kusumoto
13 篇 t. katayama
13 篇 doo-hwan bae
12 篇 shaoying liu
12 篇 shen beijun
12 篇 hironori washiza...
12 篇 m. saeki
12 篇 cao chun
12 篇 du xiaoyong
11 篇 chookaew sasitho...
11 篇 liu jing
11 篇 k. ushijima
11 篇 bae doo-hwan

语言

8,477 篇 英文
176 篇 其他
54 篇 中文

检索条件"任意字段=Pacific-Asia Conference on Knowledge Engineering and Software Engineering"

共 8707 条记录，以下是4291-4300 订阅

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

详细简洁

排序：

CMCD: Count Matrix Based Code Clone Detection

CMCD: Count Matrix Based Code Clone Detection

引用

asia-pacific conference on software engineering

作者： Yang Yuan Yao Guo National Engineering Research Center of Software Engineering Key Laboratory of High-Confidence Software Technologies (Ministry of Education) School of Electronics Engineering and Computer Science Peking University Beijing China

This paper introduces CMCD, a Count Matrix based technique to detect clones in program code. The key concept behind CMCD is Count Matrix, which is created while counting the occurrence frequencies of every variable in situations specified by pre-determined counting conditions. Because the characteristics of the count matrix do not change due to variable name replacements or even switching of statements, CMCD works well on many hard-to-detect code clones, such as swapping statements or deleting a few lines, which are difficult for other state-of-the-art detection techniques. We have obtained the following interesting results using CMCD: (1) we successfully detected all 16 clone scenarios proposed by C. Roy et al., (2) we discovered two clone clusters with three copies each from 29 student-submitted compiler lab projects, (3) we identified 174 code clone clusters and a potential bug from JDK 1.6 source files.

关键词： Cloning Vectors Syntactics Bipartite graph Switches Programming Layout

来源：评论

学校读者我要写书评

暂无评论

Quick Generation of Test Vectors from SVF Files for Boundary-scan

Quick Generation of Test Vectors from SVF Files for Boundary...

引用

2011 International conference on Computers, Communications, Control and Automation

作者： Huang Lihua Mu Pingan Dai Shuguang School of Optical-Electrical and Computer Engineering University of Shanghai for Science and Technology

ISBN: (纸本)9781612841021

Boundary scan is a complete, standardized test method, which provides a new testing way for infrastructure, interconnection and other tests on the circuit board. In order to study a relatively simple method of boundary-scan, based on the existing SVF files for designing, test vectors are automatically generated in the LabV IEW software platform and then sent to the UUT through a printer interface, to realize traditional function of TAP controller. The simulation results show that test vectors generated by this software system totally meet requirements of IEEEll49.1 standard protocols.

关键词： boundary scan test vectors SVF IEEE ll49.1 standard protocols LabVIEW

来源：评论

学校读者我要写书评

暂无评论

Message from the conference co-chairs

Proceedings - Asia-Pacific Software Engineering Conference, ...

引用

Proceedings - asia-pacific software engineering conference, APSEC 2011年 10-10页

作者： Khang, Bach Hung Duc, Duong Anh Institute of Information Technology Hanoi Viet Nam University of Science Vietnam National University Ho Chi Minh city Viet Nam

来源：评论

学校读者我要写书评

暂无评论

Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs

Evotec: Evolving the Best Testing Strategy for Contract-Equi...

引用

asia-pacific conference on software engineering

作者： Lucas Serpa Silva Yi Wei Bertrand Meyer Manuel Oriol Chair of Software Engineering ETH Zurich Switzerland Department of Computer Science University of York York UK Industrial Software Systems ABB Corporate Research Baden-Battwil Switzerland

Automated random testing is efficient at detecting faults but it is certainly not an optimal testing strategy for every given program. For example, an automated random testing tool ignores that some routines have stronger preconditions, they use certain literal values, or they are more error-prone. Taking into account such characteristics may increase testing effectiveness. In this article, we present Evotec, an enhancement of random testing which relies on genetic algorithms to evolve a best testing strategy for contract-equipped programs. The resulting strategy is optimized for detecting more faults, satisfying more routine preconditions and establishing more object states on a given set of classes to test. Our experiment tested 92 classes over 1710 hours. It shows that Evotec detected 29% more faults than random+ and 18% more faults than the precondition-satisfaction strategy.

关键词： Testing Biological cells Genetic algorithms Indexes Contracts Fault detection Arrays

来源：评论

学校读者我要写书评

暂无评论

Development of a Test Platform for Grid-Connection PV Systems

Development of a Test Platform for Grid-Connection PV System...

引用

IEEE PES asia-pacific Power and Energy engineering conference (APPEEC)

作者： Xiang-yang Zhao Yu Jin

This paper describes this development of a test platform of a grid-connection PV station. Essentially this entire platform involves the integration of a Personal computer (PC), a Dc power source, a power analyzer, an AC load and an analog grid to create a grid-connection PV system and to test. This new system boasts of high accuracy measurements coupled with the commercial viability of low cost. In the test system, various testing equipments have been controlled by the computer. This control interface has been developed by utilizing Labview software, which forms the programming backbone of inter-instrument communication via RS232 bus and Ethernet.

关键词： Inverters Instruments Harmonic analysis Photovoltaic systems software Power system harmonics

来源：评论

学校读者我要写书评

暂无评论

Object Oriented software Clustering Based on Community Structure

Object Oriented Software Clustering Based on Community Struc...

引用

asia-pacific conference on software engineering

作者： Ural Erdemir Umut Tekin Feza Buzluca Center of Research for Advanced Technologies of Informatics & Information Security Kocaeli Turkey Computer Engineering Department Istanbul Technical University Istanbul Turkey

software comprehension plays a critical role in software maintenance. Understanding a software system is not an easy task because in most cases documentation of software design is outdated, incomplete or absent. Therefore support of tools and algorithms are necessary for software developers to understand software quicker and easier. Clustering algorithms have been widely used for software architecture recovery. Their performance depends not only on the algorithm itself but also on the nature of the software system. For example, an algorithm that is successful for a procedural program or a small software system or might be unsuccessful for a large system developed in object-oriented paradigm. In this paper, we propose the adaption of the fast community detection algorithm for object-oriented software clustering and evaluate its performance with other clustering algorithms in the literature. It is an agglomerative hierarchical clustering algorithm that has been introduced to find communities in networks. The algorithm can operate on directed weighted graphs and it has a considerable speed advantage over other algorithms. Experimental results show that the algorithm also performs well for clustering object-oriented systems.

关键词： Clustering algorithms software algorithms Communities software systems Partitioning algorithms Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

Design and Aerodynamic Calculation of a Novel Sail

Design and Aerodynamic Calculation of a Novel Sail

引用

IEEE PES asia-pacific Power and Energy engineering conference (APPEEC)

作者： Xiangming Zeng Yihuai Hu Marine Engineering Department Shanghai Maritime University Shanghai China

ISBN: (纸本)9781424462537

A new kind of airfoil sail is proposed in this paper based on NACA006 aerofoil and arc wing sail. The aerodynamic characteristic is numerically simulated with FLUENT software based on standard K-ε model under different wind directions of 0, 5, 10, 15, 20 angles respectively. Lift coefficients and drag coefficients were calculated, which verified bigger lift force of the proposed aerofoil sail compared to traditional arcing sails.

关键词： Automotive components Aerodynamics Mathematical model Marine vehicles Equations Atmospheric modeling Shape

来源：评论

学校读者我要写书评

暂无评论

Modeling Timing Requirements in Problem Frames Using CCSL

Modeling Timing Requirements in Problem Frames Using CCSL

引用

asia-pacific conference on software engineering

作者： Xiaohong Chen Jing Liu Frederic Mallet Zhi Jin Key Laboratory of High Confidence Software Technologies Ministry of Education Peking University China Shanghai Key Laboratory of Trustworthy Computing East China Normal University China INRIA Sophia Antipolis Méditerranée Université Nice-Sophia Antipolis France

As the embedded systems are becoming more and more complex, requirements engineering approaches are needed for modeling requirements, especially the timing requirements. Among various requirements engineering approaches, the Problem Frames(PF) approach is particularly useful in requirements modeling for the embedded systems due to the characteristic that the PF pays special attention to the environment entities that will interact with the to-be software. However, no concern is given on timing requirements of the PF at present. This paper studies how to add timing constraints on problem domains in the PF. Our approach is to integrate the problem representation frame in the PF with the timing representation mechanism of MARTE(Modeling and Analysis of Real Time and Embedded systems). A unified problem frame modeling process integrated with timing constraints is provided, and problem frame requirements with timing constraints expressed by MARTE/CCSL(Clock Constraint Specification Language) and clock construction operators are obtained.

关键词： Clocks Timing Unified modeling language Integrated circuits Sensors Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Improving ESP lifetime performance evaluation by deploying an ESP tracking and inventory management system

Improving ESP lifetime performance evaluation by deploying a...

引用

SPE asia pacific Oil and Gas conference and Exhibition 2011

作者： Bougherara, N.E. Si Ahmed, K. Algdamsi, H.A. Schlumberger United States

ISBN: (纸本)9781618392626

One of the most popular and efficient artificial lift mechanisms is the electrical submersible pump (ESP). According to recent statistics, there are more than 100,000 ESPs worldwide. With the increasing number of wells equipped with ESPs, operators are making substantial efforts to improve ESP performance and achieve longer runlife. The primary focus has been on tracking ESPs sensors real-time data, along with failures prediction as proactive measures. It is however, still difficult to keep track of historical ESP pull and run jobs, ESP equipments, and benchmark pump runlife. Typically there are no structured datastores for ESP movements. ESP runlife statistics are stored in multiple individual spreadsheets and are resource-intensive to compile. This paper presents a solution that enables to track within database software ESP operations, equipments movements and failures along with classical production data to enable better ESP lifetime evaluation and equipments management. The solution encompassed ESP operations and equipment tracking within a next-generation production volumes management system. The software and database were expanded to ensure that data was generated through a single point of reference, so that operators could capture and store downhole and surface equipments tracked via serial-number along with operations details and failures. ESP runlife, failure and equipment statistics were also calculated and reported graphically. More accurate ESP lifetime was calculated using well production uptime, installation and pull dates. Using these key statistics, the asset team was able to benchmark equipments and vendors. Each time the team needed to design or redesign an ESP, the solution enabled them to browse current and historical production, ESP operations, and both installed and warehoused equipments data. Used equipments historical installations can be tracked to make informed decisions before any reinstallation in other wells. In addition, the solution al

关键词： Petroleum engineering

来源：评论

学校读者我要写书评

暂无评论

UPC-32 Instrument Sequence Control Based on LabVIEW

UPC-32 Instrument Sequence Control Based on LabVIEW

引用

IEEE PES asia-pacific Power and Energy engineering conference (APPEEC)

作者： Guanling Chen

The unit UPC-32 supplied by PACIPIC company, is a programmable three-phase power supply control which is used for the alternating current power supply of AMX series products. In the application of performance test for an electronic product, it is achieved the performance data via analysis meter PZ4000, that is used for the object test and analysis in dif This article introduces a sequence control method of unit UPC-32 based on the Lab VIEW software. It is by means of GPIB interface bus to realize the communication between PC machine and programmable power control unit UPC-32. In this application, the power control is taken by a unit UPC-32 through its driver programming . In this programming, to make the software reusability is a purpose design, which is used with sub drive VI to improve the software application. The design also improves the testing automation, testing efficiency and accuracy, being easy to extending.

关键词： Instruments software Power supplies Programming Accuracy Power control Frequency measurement

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 426 427 428 429 430 431 432 433 434 435 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：