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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

4,764 篇 工学
- 3,177 篇 软件工程
- 2,673 篇 计算机科学与技术...
- 1,126 篇 电气工程
- 479 篇 信息与通信工程
- 406 篇 电子科学与技术（可...
- 364 篇 控制科学与工程
- 336 篇 机械工程
- 281 篇 动力工程及工程热...
- 206 篇 材料科学与工程（可...
- 204 篇 土木工程
- 192 篇 化学工程与技术
- 191 篇 建筑学
- 157 篇 仪器科学与技术
- 117 篇 安全科学与工程
- 116 篇 力学（可授工学、理...
- 110 篇 石油与天然气工程
- 108 篇 生物工程
- 89 篇 交通运输工程
- 81 篇 生物医学工程（可授...
1,274 篇 理学
- 757 篇 数学
- 357 篇 物理学
- 158 篇 统计学（可授理学、...
- 144 篇 化学
- 121 篇 生物学
- 109 篇 系统科学
882 篇 管理学
- 539 篇 管理科学与工程(可...
- 394 篇 图书情报与档案管...
- 288 篇 工商管理
187 篇 教育学
- 185 篇 教育学
116 篇 经济学
- 115 篇 应用经济学
86 篇 医学
82 篇 法学
48 篇 农学
23 篇 艺术学
18 篇 文学
13 篇 军事学

主题

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

机构

35 篇 nanjing univ sta...
30 篇 school of engine...
28 篇 school of comput...
25 篇 state key labora...
21 篇 school of comput...
21 篇 school of inform...
21 篇 school of electr...
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...
13 篇 national univers...

作者

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

语言

8,416 篇 英文
267 篇 其他
55 篇 中文

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

共 8737 条记录，以下是4151-4160 订阅

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

详细简洁

排序：

Memory Leak Detection Based On Memory State Transition Graph

Memory Leak Detection Based On Memory State Transition Graph

引用

18th asia-pacific software engineering conference (APSEC)

作者： Xu, Zhenbo Zhang, Jian Xu, Zhongxing Univ Sci & Technol China Dept Comp Sci & Technol Hefei Anhui Peoples R China Chinese Acad Sci Inst Software State Key Lab Comp Sci Beijing Peoples R China

ISBN: (纸本)9780769546094

Memory leak is a common type of defect that is hard to detect manually. Existing memory leak detection tools suffer from lack of precise interprocedural alias and path conditions. To address this problem, we present a static interprocedural analysis algorithm, which captures memory actions and path conditions precisely, to detect memory leak in C programs. Our algorithm uses path- sensitive symbolic execution to track the memory actions in different program paths guarded by path conditions. A novel analysis model called Memory State Transition Graph (MSTG) is proposed to describe the tracking process and its results. An MSTG is generated from a procedure. Nodes in an MSTG contain states of memory objects which record the function behaviors precisely. Edges in anMSTG are annotated with path conditions collected by symbolic execution. The path conditions are checked for satisfiability to reduce the number of false alarms and the path explosion. In order to do interprocedural analysis, our algorithm generates a summary for each procedure from the MSTG and applies the summary at the procedure's call sites. Our implemented tool has found several memory leak bugs in some open source programs and detected more bugs than other tools in some programs from the SPEC2000 benchmarks. In some cases, our tool produces many false positives, but most of them are caused by the same code patterns which are easy to check.

关键词： memory leak bug finding static analysis symbolic execution

来源：评论

学校读者我要写书评

暂无评论

The Hardware and software Interface of Portable UHF Detection System for GIS Partial Discharge Based on Labview Platform

The Hardware and Software Interface of Portable UHF Detectio...

引用

asia-pacific Power and Energy engineering conference (APPEEC)

作者： Wang, Hui Wu, Zhensheng Wang, Tianjian Beijing Jiaotong Univ Sch Elect Engn 3 Shangyuancun Beijing Peoples R China

ISBN: (纸本)9781424462551

As for UHF detection of partial discharge, a hardware interface is essential in introducing the electrical signal of discharge into computer for further analysis and identification. Herein, this system is developed in Labview platform of NI Corporation and data acquisition card is connected with computer through USB bus. So the author explored the hardware interface including the data acquisition card and how to collect the data to Labview platform in order to classify the type of discharge using dynamic link library (DLL) document.

关键词： DLL GIS partial discharge detection high-speed data acquisition

来源：评论

学校读者我要写书评

暂无评论

Customer Segmentation Methods Analysis Based on the Support-Significant Structure

Customer Segmentation Methods Analysis Based on the Support-...

引用

asia-pacific Power and Energy engineering conference (APPEEC)

作者： Yan Chang-shun Shi Yu-liang Sun Yuan-yuan Beijing Univ Technol Sch Software Engn Beijing 100124 Peoples R China

ISBN: (纸本)9781424462551

the paper puts forward a new classification method of association rules that is based on support-significant structure. Starting from the characteristics of customer segmentation, this method introduces a up-to-date rule evaluation index-significance during the produce process of classification rules, therefore, the evaluation and selection of principle have serious statistical basis. After simple comparison of the real example, we prove the comparative superiority of introducing significance into the customer segmentation.

关键词： Customer segmentation Methods Association rules Support Significance

来源：评论

学校读者我要写书评

暂无评论

Research on Attenuation of Pressure Pulsation in Gasoline Injection System

Research on Attenuation of Pressure Pulsation in Gasoline In...

引用

asia-pacific Power and Energy engineering conference (APPEEC)

作者： Huang, Xiaodong Liu, Peng Zhang, Lei Jiangsu Univ Sch Energy & Power Engn Hangzhou Zhejiang Peoples R China Jilin Univ Coll Automot Engn Changchun Peoples R China

ISBN: (纸本)9781424462551

This paper presents the dynamic characteristics of the fuel injection system in gasoline engine. Through AMESim software, it analyzes the pressure pulsations due to the excitation by the injector opening and closing with regular interval. The simulation model is validated by experiments. Then it compares the pressure pulsations of the system with and without damper. The results show that damper can attenuate the pulsation effectively. Based on this, the feature parameters of the damper are simulated with respect to its effect on attenuation. Proper parameters selection can result in better pressure pulsation control.

关键词： Power machinery and engineering engine Gasoline Injection System Pressure Pulsation Damper

来源：评论

学校读者我要写书评

暂无评论

Health Risk Protection Behaviors among Scavengers in Municipality Dump Sites,Nakhon Ratchasima Province,Thailand

Health Risk Protection Behaviors among Scavengers in Municip...

引用

2012 asia pacific conference on Environmental Science and Technology(APEST 2012)

作者： Phiman Thirarattanasunthon Wattasit Siriwong Mark G.Robson College of Public Health Sciences Chulalongkorn UniversityBangkokThailand Thai Fogarty ITREOH Center Chulalongkorn UniversityBangkokThailand School of Environmental and Biological Sciences Rutgers UniversityNew BrunswickNJUSA UMDNJ-School of Public Health Piscataway

Scavengers working in the formal recycling sector are often exposed to various health hazards from working conditions with solid *** study aims to investigate and evaluate health risk protection behaviors,knowledge,Attitudes and Practices(KAP) among scavengers during daily works in municipality dump sites.A total of 95 scavengers were randomly selected from nine municipality dump sites and interviewed through use of face to face *** results indicated that scavengers were 52 % male and 48% *** average mean age was 38 *** of their educational levels were 72% primary *** have been working as scavengers for more than 10 *** income was approximately180 baht/day(6USD).They worked 6 hours per day and 6 days per *** of scavengers had low level of knowledge in term of alertness,positive attitude about health risk and inappropriate practice on prevention of infections,injury and *** of the scavengers used personal protective equipments(PPEs) such as gloves,hats,shoes,long-sleeve shirts,and *** 67% of the respondents had their food and drinking water within the dump sites *** it was found that 44% of the respondents find food from the wastes in the dump sites and they rarely cleaned hands or body after *** self report reveals that 38% of the respondents had sustained injuries and accidents,63% were smoking and 66% drinking *** 95% of the scavengers have access to health care under the scheme,but they rarely go for annual body check up.

关键词： Scavengers,Health Risk Protection Behaviors,knowledge Attitudes and Practices,Personal Protective Equipment(PPEs).

来源：评论

学校读者我要写书评

暂无评论

A Novel Method for Optimal Placement of STATCOM in Distribution Networks Using Sensitivity Analysis by DIgSILENT software

A Novel Method for Optimal Placement of STATCOM in Distribut...

引用

asia-pacific Power and Energy engineering conference (APPEEC)

作者： Samimi, A. Golkar, M. A. Islamic Azad Univ Dept Elect Engn Boroujerd Iran KN Toosi Univ Technol Dept Elect Engn Tehran Iran

ISBN: (纸本)9781424462551

In this paper a new method has been proposed to decide optimal placement and best sizing of static synchronous compensator (STATCOM). Seeking the best place is performed using the sensitivity analysis and sizing of STATCOM is managed using the genetic algorithm. The average model can account for the high-frequency effects and power electronic losses, and more accurately predict the active and reactive power outputs of the STATCOM. This paper employs the DIgSILENT simulator and the DPL as a programming tool of the DIgSILENT to show the validity of the proposed method. The effectiveness of suggested approach has been tested on part of the distribution network of Iran, Khoramdarreh city in Zanjan province.

关键词： Average model Optimal Placement Genetic Algorithm Sensitivity Analysis STATCOM

来源：评论

学校读者我要写书评

暂无评论

A loss-free multipathing solution for data center network using software-defined networking approach

A loss-free multipathing solution for data center network us...

引用

asia-pacific Magnetic Recording conference (APMRC)

作者： Shuo Fang Yang Yu Chuan Heng Foh Khin Mi Mi Aung School of Computer Engineering Nanyang Technological University Singapore A*STAR Data Storage Institute Singapore

Conventional Ethernet protocols struggle to meet the scalability and performance requirements of data centers. Viable replacements have been proposed for Data Center Ethernet (DCE): link-layer multipathing (MP) is deployed to replace Spanning Tree Protocol (STP) and thus improves network throughput; end-to-end link-layer congestion control (CC) is proposed to better guarantee loss-free frame delivery for Ethernet. However, little work has been done to incorporate MP and CC to offer a more comprehensive solution for DCE. In this paper, we propose a two-tier solution by integrating our Dynamic Load Balancing MultiPath (DLBMP) scheme with CC. Instead of using two separate parameters, i.e. path load and buffer level, to trigger MP and CC, our solution only needs to monitor path load metric to manage MP and CC in an integrated way. Different from a pure CC mechanism, which generates notifications from network core, our integrated CC can make use of link load information in edge switches which directly inform sources to control traffic admission. To minimize overhead and accelerate update, software-Defined Networking (SDN) techniques are employed in our implementation, which decouples routing intelligence from data transmission. Hence, data sources can react more rapidly to congestions and network can be guaranteed with loss-free delivery. In addition, our MP scheme is further improved by introducing application-layer flow differentiation. With such a fine flow differentiation (FFD) mechanism, traffic can be more evenly distributed along multipaths, resulting in better bandwidth utilization. Simulation results show that our combined solution can further improve network throughput with FFD mechanism and guarantee loss-free delivery with integrated CC.

关键词： Switches Propagation losses Routing Throughput

来源：评论

学校读者我要写书评

暂无评论

Research on Educational software Unified Process Model Based on Education Domain knowledge

Research on Educational Software Unified Process Model Based...

引用

The 2011 International conference on Advanced Materials and Information Technology Processing(AMITP 2011)

作者： Fang Haiguang Liu Min Liu Jing Department of Educational Technology Capital Normal University

ISBN: (纸本)9783037851579

The concept of educational software and the development process are inconsistent in the educational software engineering. Based on education domain knowledge, educational software can be divided into three types: educational network resources, learning platforms and teaching management information systems. And the process of educational software development can be described as Educational software Unified Process Model. This paper proposes the Educational software Unified Process Model with five stages mentioned above based on Waterfall model, and illustrates that its key processes for the requirement analysis phase is the use-case analysis and for the design phase is platform architecture, and describes a detailed analysis to the central role of document-driving in the Educational software Unified Process Model. At last, the Educational software Unified Process Model is strongly supported by some cases in our related projects development.

关键词： educational software engineering,learning platform,educational resources,documents-driven,unified process model

来源：评论

学校读者我要写书评

暂无评论

The Application of Requirement engineering Model in Large software Development Process

引用

International conference on Materials engineering for Advanced Technologies (ICMEAT2011)

作者： Tang Rongfa Huang Xiaoyu Guilin Univ Elect Technol Guilin Peoples R China

ISBN: (纸本)9783037851517

Requirements engineering is the initial phase of software engineering process in which user requirements are collected, understood, and specified for developing quality software products. The requirement engineering process deserves a stronger attention in the industrial practices. In this paper, we proposed an effective requirement engineering process model for software development that can be used for software development processes to produce a quality product.

关键词： requirement analysis requirement development requirement management

来源：评论

学校读者我要写书评

暂无评论

Analysis and Measuring Seventh Goal (Assuring Sustainability of Environment) Millennium Development Goals of Selected Countries by Using Composite Indicators

Analysis and Measuring Seventh Goal (Assuring Sustainability...

引用

2012 International conference on Biological and Life Sciences

作者： Shaho karami Gholamreza Nabi Bidhendi Hamireza Jafari Farzam Pourasghar Sanghachin Athare Nezhadi Environmental Planing Tehran University Faculty of Environment Faculty of environment Tehran University

At the threshold of 3rd Millennium increasing destruction of environment,widespread poverty and underdevelopment as one of the most important problem attracted attention of world ***,*** manifesto,in terms of millennium development goals in 2000,provided by U.N and approved by majority of world countries,obligate all countries to try most,for alleviating poverty,promotion of human dignity,equality,reaching peace and democracy and at the end preserving *** of millennium are time consuming goals which all UN members have agreed to achieve by the year of *** goal of millennium,"Ensure environmental sustainability" was the main cornerstone of millennium development goals and reaching other goals and objectives of millennium development goals needs protecting environment and assuring its *** approving these goals,especially 7th goal,various countries of world made widespread actions to promote goals and evaluating plans and policies of each goal and designed models and methods for determining actions and activities in terms of quantitative *** this survey first we introduce indicators and indices of millennium development goals,especially 7th ***,information related to performances of 6 indices of 65 countries of world in years 1990,1995,2000 and 2005 *** extracting indices and processing them,indices were *** the next step and after standardizing,using McGranahan method,correlation of matrix of indices was calculated by SPSS software and weight of each index was *** this step,weight of each index was multiplied on each standardized index and at the end composite index for each country was calculated for 1990,1995,2000 and ***,these composite indexes were sorted by *** show acceptable increase in average of sustainability index for the 65 countries,during years 1990 to 2005.

关键词： Millennium development goals,Ensure Sustainability of environment,Composite indicators,McGranahan method

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 412 413 414 415 416 417 418 419 420 421 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：