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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

19,361 篇 会议
215 篇 期刊文献
107 册 图书

馆藏范围

19,683 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

13,532 篇 工学
- 9,819 篇 计算机科学与技术...
- 7,206 篇 软件工程
- 2,593 篇 信息与通信工程
- 1,858 篇 控制科学与工程
- 1,336 篇 机械工程
- 1,066 篇 电气工程
- 974 篇 电子科学与技术（可...
- 883 篇 仪器科学与技术
- 639 篇 生物医学工程（可授...
- 607 篇 生物工程
- 436 篇 动力工程及工程热...
- 418 篇 建筑学
- 361 篇 安全科学与工程
- 341 篇 交通运输工程
- 337 篇 光学工程
- 336 篇 化学工程与技术
- 317 篇 土木工程
4,228 篇 理学
- 2,342 篇 数学
- 908 篇 系统科学
- 738 篇 物理学
- 691 篇 统计学（可授理学、...
- 677 篇 生物学
3,929 篇 管理学
- 2,548 篇 管理科学与工程(可...
- 1,563 篇 图书情报与档案管...
- 1,133 篇 工商管理
569 篇 法学
- 388 篇 社会学
536 篇 医学
- 416 篇 临床医学
- 394 篇 基础医学(可授医学...
490 篇 经济学
- 487 篇 应用经济学
397 篇 教育学
- 386 篇 教育学
213 篇 农学
162 篇 文学
89 篇 军事学
59 篇 艺术学
1 篇 哲学
1 篇 历史学

主题

588 篇 quality of servi...
570 篇 educational inst...
451 篇 servers
418 篇 computer archite...
417 篇 computational mo...
328 篇 cloud computing
318 篇 monitoring
288 篇 computers
266 篇 web services
232 篇 data mining
192 篇 databases
191 篇 vectors
186 篇 software
175 篇 semantics
167 篇 wireless sensor ...
166 篇 routing
161 篇 feature extracti...
159 篇 mathematical mod...
158 篇 algorithm design...
148 篇 optimization

机构

84 篇 department of co...
45 篇 school of comput...
40 篇 school of comput...
39 篇 school of comput...
33 篇 school of comput...
30 篇 school of comput...
30 篇 school of comput...
27 篇 school of comput...
27 篇 college of compu...
25 篇 school of comput...
23 篇 college of infor...
23 篇 school of comput...
22 篇 school of comput...
21 篇 school of inform...
20 篇 department of co...
19 篇 school of comput...
19 篇 department of co...
18 篇 college of compu...
18 篇 school of comput...
18 篇 school of comput...

作者

19 篇 wang lei
19 篇 zhang lei
17 篇 liu yang
15 篇 li ying
14 篇 yang yang
14 篇 wang wei
14 篇 china
13 篇 ma yan
12 篇 li yang
12 篇 jiang wei
12 篇 li li
12 篇 wang tao
11 篇 lei wang
11 篇 zhang tao
11 篇 li zhang
11 篇 chen li
10 篇 jing zhang
10 篇 li tao
10 篇 wang chao
10 篇 zhang yan

语言

19,174 篇 英文
474 篇 中文
31 篇 其他
2 篇 德文
2 篇 法文
2 篇 葡萄牙文
1 篇 土耳其文

检索条件"任意字段=2012 International Conference on Computer Science and Service System, CSSS 2012"

共 19683 条记录，以下是1221-1230 订阅

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

详细简洁

排序：

Monitor-based Temporal Properties Checking of Train Control systems with Quantitative Constraints

Monitor-based Temporal Properties Checking of Train Control ...

引用

17th international IEEE conference on Intelligent Transportation systems & The Asia-Pacific Council on systems Engineering conference 2014

作者： Lin Zhao Ming Chai Yang Liu State Key Laboratory of Rail Traffic Control and Safety Beijing Jiaotong University Department of Computer Humboldt University BerlinBerlin D-10099Germany School of Electronics and Information Engineering Beijing Jiaotong University

As train control systems being more complex and intelligent,ensuring their correctness and safety becomes increasingly *** paper proposes a monitor-based approach to checking a system against its formal requirements with quantitative temporal constraints at *** approach may complement the current use of conventional verification techniques,and also opens up the possibility to act whenever incorrect system behaviors are *** studies from train control domain show that our runtime properties checking technique could be applied online to provide extra guarantees for a running system,or applied during development to find bugs.

关键词： cycle Monitor-based Temporal Properties Checking of Train Control systems with Quantitative Constraints

来源：评论

学校读者我要写书评

暂无评论

Civil Explosive Materials Management system Design Based ***

Civil Explosive Materials Management System Design Based ***

引用

2012 international Academic conference of Art Engineering and Creative Industry(IACAE 2012)

作者： Zheng Lijuan Cai Yanwei Teaching and Research Institute of College Computer Bohai University College of Information Science and Technology Bohai University

The Public Security Departments in the use of modern information technology is to enhance an effective means of civilian blasting equipment management, protect public safety and national and people's lives and property safety. In this paper, on the basis of the analysis and management processes. the software design *** technology. The design of the main contents include: database structure design, functional design and software development of key technologies. the database structure design mainly design the structure of the operating table;functional design through workflow chart drawing draw the functional block diagram and describe the main function;software development key technologies are about the development of the system database, data manipulation, data reporting, etc. The design content of this article is a good guide for the development of civilian blasting equipment or explosives management system software.

关键词： Explosive Materials Management system Dangerous Articles .Net

来源：评论

学校读者我要写书评

暂无评论

The research and practice of medical image 3D reconstruction platform

The research and practice of medical image 3D reconstruction...

引用

international conference on Security, Pattern Analysis, and Cybernetics (SPAC)

作者： Yanqiu Chen Peili Sun Department of Computer Science Dalian Neusoft Institute of Information Dalian P.R. China Economic Management Institute Dalian Ocean University Dalian P.R. China

In this paper, a medical image 3D reconstruction system is proposed, which uses the processing and analysis of a series of 2D CT image to convert 3D model. The system is developed in the OS of Window8, and uses Microsoft Visual Studio 2012 as the development tool in which includes MFC class library and DirectX. The whole system is completely developed in the c++ language, which can propose a set of image intensification algorithm to enhance the images visual effect and surgery precision, and draw 3D human organ directly. At last, the experimental results made for the prototype illustrate the system well. This research will lay a good foundation for the development of medical image 3D reconstruction.

关键词： Three-dimensional displays Decision support systems Biomedical imaging Computed tomography Solid modeling Analytical models Visualization

来源：评论

学校读者我要写书评

暂无评论

Research on the Extraction Technology of the Mass Data in Citizens' Information Infringement Cases

Research on the Extraction Technology of the Mass Data in Ci...

引用

2014 international conference on Modern Economic Technology and Management(ICMETM 2014)

作者： Wu Chunsheng Zhu Xiuyun Key Laboratory of Evidence Science(China University of Political Science and Law) Ministry of Education Computer Network Information Center Chinese Academy of Sciences The Criminal Investigation Department of Beijing Public Security Bureau

Objective The aim of this study is to explore the analysis methods of data from citizens' personal information infringement casesMethods We distinguish various types of case data according to inspection methods,and proposes three kinds of inspection methods including the methods of data conversion extraction,inspection of file size property and forensics toolsResult Extraction technologies can realize mass data inspection in different degreesConclusion The inspection methods is effective and need to develop software further

关键词： extraction technology citizens' information mass data

来源：评论

学校读者我要写书评

暂无评论

Study of AIS beacon control system based on ARM

Study of AIS beacon control system based on ARM

引用

2014 international conference on Environmental Engineering and computer Application (ICEECA 2014)

作者： Q.Hu X.J.Li S.F.Zhang Dalian Maritime University

ISBN: (纸本)113802807X;9781138028074

Beacon is an important guarantee for the navigation safety, and if its equipments are damaged or lost, it will directly affect the safety of ships at sea. AIS beacon designed in this paper is based on ARM7 and AIS receiver. The system achieves to monitor and display the beacon voltage. It designs the algorithm to predict potential collision risk before the accident, and reports to the AIS center so as to assist finding the incident ship. The test results show that AIS beacon can completely receive all the information from the around ship and realize collision avoidance.

关键词： AIS Study of AIS beacon control system based on ARM

来源：评论

学校读者我要写书评

暂无评论

Weather prediction application based on ANFIS (Adaptive neural fuzzy inference system) method in West Jakarta region

Weather prediction application based on ANFIS (Adaptive neur...

引用

international conference on Cyber and IT service Management (CITSM)

作者： Anif Hanifa Setyaningrum Praditya Megananda Swarinata Department of Informatics Engineering Faculty of Science and Technology State Islamic University of Syarif Hidayatullah Jakarta Department of Informatics Engineering State Islamic University of Syarif Hidayatullah Jakarta

Rainy season in Indonesia between October to April with the highest rainfall peak in December. But there is the possibility of weather's anomaly and even climate irregularities. Some studies also mention that the climate's affect the economic situation in one region. Especially in West Jakarta. West Jakarta is one of region for connecting activity of economy, where activity done by using air transportation that never stop running. It needs special handling, so that the rainfall predicted by applying the basic rules of reasoning and fuzzy logic. This research applies ANFIS to predict three weather variables, namely air temperature, air humidity and wind speed as a predictor. The data used is the weather data from West Jakarta region in January, February, March, July, August and September in the year of 2012, and got from Meteorology Climatology and Geophysics Agency Jakarta. Adaptive Neural-Fuzzy Inference system (ANFIS) for weather prediction has a level of accuracy 100%, because each one is able to predict the qualitative value of the category 0 (rain) and 1 (not rain) same with expert opinion, and from total samples 183 and 180 as training data, testing and checking.

关键词： Testing Fuzzy logic Wind speed Rain Humidity Weather forecasting

来源：评论

学校读者我要写书评

暂无评论

Recent Advances in Multiobjective Genetic Algorithms for Manufacturing Scheduling Problems 8

引用

8th international conference on Management science and Engineering Management, ICMSEM 2014

作者： Gen, Mitsuo Zhang, Wenqiang Lin, Lin Jo, Jungbok Fuzzy Logic Systems Institute Lizuka Japan College of Information Science and Engineering Henan University of Technology Zhengzhou450000 China School of Software Technology Dalian University of Technology Dalian116000 China Division of Computer and Information Engineering Dongseo University Busan Korea Republic of

ISBN: (纸本)9783642551215

Manufacturing scheduling is one of the important and complex combinatorial optimization problems in manufacturing system, where it can have a major impact on the productivity of a production process. Moreover, most of scheduling problems fall into the class of NP-hard combinatorial problems. In this paper, we concern with the design of multiobjective genetic algorithms (MOGAs) to solve a variety of manufacturing scheduling problems. In particularly, the fitness assignment mechanism and evolutionary representations as well as the hybrid evolutionary operations are introduced. Also, several applications of EAs to the different types of manufacturing scheduling problems are illustrated. Through a variety of numerical experiments, the effectiveness of these hybrid genetic algorithms (HGAs) in the widely applications of manufacturing scheduling problems are demonstrated. This paper also summarizes a classification of scheduling problems and the design way of GAs for the different types of manufacturing scheduling problems in which we apply GAs to a multiobjective flexible job-shop scheduling problem (MoFJSP;operation sequencing with resources assignment) and multiobjective assembly line balancing models (MoALB;shipments grouping and assignment). It is useful to guide how to investigate an effective GA for the practical manufacturing scheduling problems. © Springer-Verlag Berlin Heidelberg 2014.

关键词： Manufacture

来源：评论

学校读者我要写书评

暂无评论

Contextualising co-creation of value in electronic personal health records

Contextualising co-creation of value in electronic personal ...

引用

international conference on e-health Networking, Applications and services (HealthCom)

作者： Lynda Andrews Tony Sahama Randike Gajanayake School of Advertising Queensland University of Technology Brisbane Queensland Australia School of Electrical Engineering and Computer Science Queensland University of Technology Brisbane Queensland Australia

This conceptual paper is a preliminary part of an ongoing study into take-up of electronic personal health records (ePHRs). The purpose of this work is to contextually `operationalise' Grönroos' (2012) model of value co-creation in service for ePHRs. Using findings in the extant literature we enhance theoretical and practical understanding of the potential for co-creation of value with ePHRs for relevant stakeholders. The research design focused on the selection and evaluation of relevant literature to include in the discussion. The objective was to demonstrate which articles can be used to `contextualise' the concepts in relation to relevant healthcare providers and patient engagement in the co-creation of value from having shared ePHRs. Starting at the service concept, that is, what the service provider wants to achieve and for whom, there is little doubt that there are recognised benefits that co-create value for both healthcare providers and healthcare consumers (i.e. patients) through shared ePHRs. We further highlight both alignments and misalignments in the resources and activities concepts between stakeholder groups. Examples include the types of functionalities as well as the interactive and peer communication needs perceived as useful for healthcare providers compared to healthcare consumers. The paper has implications for theory and practice and is an original and innovative approach to studying the co-creation of value in eHealth delivery.

关键词： Medical services Context modeling Informatics conferences Educational institutions Fellows Communities

来源：评论

学校读者我要写书评

暂无评论

Reliability evaluation of power distribution companies in Nigeria, leveraging ICT based framework for unbiased performance evaluation

Reliability evaluation of power distribution companies in Ni...

引用

international conference on Adaptive science & Technology (ICAST)

作者： Mbonu E. Samuel Okwu P. Ikechukwu Inyiama H. Chibueze Okafor K. Chinedu Ezekwe C. Genevra Electronic Development Institute National Agency for Science and Engineering Infrastructure Awka Nigeria Department of Electrical Electronics Engineering Federal University of Technology Owerri Nigeria Department of Electronic and Computer Engineering Nnamdi Azikiwe University Awka Nigeria

This paper seeks to establish the need to develop a model for reliability performance evaluation of power distribution companies in Nigeria. In this regard, an ICT based framework for the evaluation is proposed, while the challenges that are likely to militate against the implementation of the proposed framework were highlighted with their proffered solutions. In this paper, Enugu Electricity Distribution Company was used as a case study to show that the proposed Independent Data Acquisition Center (IDAC) model will work provided the field data namely system Average Interruption Duration Index (SAIDI) and system Average Interruption Frequency Index (SAIFI) are made available. The Independent Data Acquisition Center was simulated using *** leveraging on IEEE standard 1366-2012. Finally, this research is on-going with a focus on the development of an effective data capturing system for SAIDI and SAD7I. When fully integrated, the entire system would be of great help to individuals, respective companies and government domains for quick objective evaluation of the power distribution reliability in Nigeria.

关键词： Companies Reliability Electricity Power distribution Data acquisition Monitoring Indexes

来源：评论

学校读者我要写书评

暂无评论

Comparison of Different Construction Types for Public Buildings Applying the Analytic Hierarchy Process

Comparison of Different Construction Types for Public Buildi...

引用

The 2012 international conference on Advanced Material and Manufacturing science (ICAMMS 2012)

作者： Manja Kitek Kuzman Sreko Vratua Petra Groelj University of Ljubljana Biotechnical FacultyDepartment of Wood Science and Technology University of Ljubljana Faculty of architecture

Considering the growing importance of energy-efficient building methods,timber construction will play an increasingly important role in the *** order to determine advantages and disadvantages of using wood as a leading constructional material,different construction types were compared:solid wood,wood-frame,concrete,and brick *** quantify the comparisons the analytic hierarchy process（AHP） was *** enables the inclusion of various parameters,including descriptive ones,in a mathematical model through which the importance of each construction criterion forming part of the system can be calculated in order to provide objective decisions for *** revealed that the top ranked criteria in decision-making include embodied energy,construction cost and *** comparing different construction types the wood-frame construction,which can have very low or negative carbon footprint,was considered as the most suitable option for public building.

关键词： Wood construction analytic hierarchy process building criteria public building

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 119 120 121 122 123 124 125 126 127 128 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：