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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

1,804 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,295 篇 工学
- 973 篇 计算机科学与技术...
- 836 篇 软件工程
- 191 篇 控制科学与工程
- 152 篇 信息与通信工程
- 149 篇 机械工程
- 133 篇 电气工程
- 78 篇 电子科学与技术（可...
- 74 篇 动力工程及工程热...
- 68 篇 生物工程
- 58 篇 仪器科学与技术
- 56 篇 交通运输工程
- 56 篇 生物医学工程（可授...
- 54 篇 土木工程
- 45 篇 材料科学与工程（可...
- 45 篇 建筑学
- 43 篇 安全科学与工程
- 38 篇 冶金工程
- 38 篇 环境科学与工程（可...
508 篇 理学
- 356 篇 数学
- 81 篇 物理学
- 76 篇 生物学
- 72 篇 统计学（可授理学、...
- 70 篇 系统科学
328 篇 管理学
- 242 篇 管理科学与工程(可...
- 127 篇 工商管理
- 85 篇 图书情报与档案管...
87 篇 教育学
- 85 篇 教育学
63 篇 经济学
- 61 篇 应用经济学
59 篇 医学
- 51 篇 临床医学
- 39 篇 基础医学(可授医学...
35 篇 法学
33 篇 农学
27 篇 艺术学
16 篇 文学
5 篇 军事学
2 篇 历史学
1 篇 哲学

主题

96 篇 programming
69 篇 linear programmi...
43 篇 dynamic programm...
39 篇 software enginee...
39 篇 optimization
33 篇 computer science
30 篇 computational mo...
27 篇 costs
25 篇 matlab
25 篇 genetic algorith...
24 篇 software
22 篇 students
22 篇 mathematical mod...
21 篇 artificial intel...
19 篇 application soft...
18 篇 genetic programm...
18 篇 heuristic algori...
17 篇 programming prof...
17 篇 java
17 篇 semantics

机构

6 篇 department of co...
5 篇 college of infor...
5 篇 chitkara univers...
5 篇 school of north ...
5 篇 air and missile ...
4 篇 school of inform...
4 篇 school of comput...
4 篇 school of traffi...
4 篇 college of elect...
4 篇 international sc...
4 篇 school of inform...
4 篇 college of mecha...
4 篇 school of comput...
3 篇 school of electr...
3 篇 school of contro...
3 篇 state key labora...
3 篇 school of electr...
3 篇 school of inform...
3 篇 college of elect...
3 篇 school of comput...

作者

5 篇 wei wang
4 篇 wei liu
4 篇 chen chen
4 篇 li bing
4 篇 ramesh t.
4 篇 mannava vishnuva...
4 篇 yang liu
3 篇 wang lei
3 篇 wei li
3 篇 yang yang
3 篇 bing liu
3 篇 chen yu
3 篇 gao weixia
3 篇 wang wei
3 篇 hui li
3 篇 singh neeraj kum...
3 篇 liu wei
3 篇 junwei lei
3 篇 golam mostafa
3 篇 sonawane d.n.

语言

1,743 篇 英文
41 篇 中文
22 篇 其他
1 篇 西班牙文

检索条件"任意字段=2nd International Conference on Art, Science, and Engineering of Programming, Programming 2018"

共 1804 条记录，以下是1601-1610 订阅

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

详细简洁

排序：

Design and Implementation of TDS Protocol Analyzer

Design and Implementation of TDS Protocol Analyzer

引用

2009 2nd IEEE international conference on Computer science and Information Technology(第二届计算机科学与信息技术国际会议 ICCSIT2009)

作者： Lihong Guo Haitao Wu School of Communication Engineering Nanjing Institute of Technology Nanjing China

Traditional network monitoring tools such as Sniffer, Netview, not only provide the flow of network, but also analyze all kinds of protocols in TCP/IP protocol family, but they can’t provide the analysis on TDS protocol which used in the Microsoft SQL Sever 2000 in detail. According to the result of testing and researching TDS 7.1 protocol, sums up the communication rule and packet structure of TDS protocol, bases on that,designs and implements TDS protocol analyzer using Visual C++ *** core of TDS protocol analyzer is to deal with the captured TDS protocol packet carefully, manage TDS packets in the network, provide the warning information when it finds some foregone TDS protocol loopholes and can accomplish the flow statistic with graphical interfaces. The paper uses raw socket and multi-thread programming to design network communication software in Windows 2000, and realize a network analysis test system.

关键词： component Tabular Data Stream protocol analysis design flow

来源：评论

学校读者我要写书评

暂无评论

A FRAMEWORK FOR AUTOMATIC VERIFICATION OF PROGRAMING EXERCISES

A FRAMEWORK FOR AUTOMATIC VERIFICATION OF PROGRAMING EXERCIS...

引用

2009 2nd IEEE international conference on Computer science and Information Technology（ICCSIT 2009）

作者： Tho T.Quan Phung H.Nguyen Thang H.Bui Linh V.Huynh Anh T.Do An N.Nguyen Anh D.Le Binh Le Duc L.N.Hoang Hoang D.T.Nguyen Hung T.Vo Nam T.Doan Nhan K.T.Dang Thien D.Nguyen Quan D.Tran Tam T.Nguyen Vu H.Nguyen Vu Y.Nguyen Faculty of Computer Science and Engineering Hochiminh City University of Technology Hochiminh Vietnam

programming skill is crucial for all Computer science students which can only be mastered through intensive exercise *** from traditional face-to-face manner of teaching programming,with the recent advancement of Internet and advanced program verification techinques,Web- based tutoring systems that can play the role of teacher are increasingly *** this paper,we suggest a framework for automatic verification of program exercises without risking the execution of actual *** our framework,we first employ theorem proving to verify programming exercises and model checking to generate counter-examples to the *** framework is being implemented and employed in a real education university environment with some initial promising results.

关键词： programming exercises automatic program verification axiomatic theorem proving model checking

来源：评论

学校读者我要写书评

暂无评论

A Model-Driven Scrum Process for Service-Oriented Software Reengineering: mScrum4SOSR

A Model-Driven Scrum Process for Service-Oriented Software R...

引用

international Symposium on Computer science and its Applications, CSA

作者： Sam Chung Dae Hee Won Seung-Ho Baeg Sangdeok Park Institute of Technology University of Washington Tacoma Tacoma WA USA Division of Applied Robot Technology Korea Institute of Industrial and Technology Ansan Gyeonggi South Korea

ISBN: (纸本)9781424449453;9781424449460

-The purpose of this paper is to propose a new service-oriented software reengineering process that is model-driven and Scrum-oriented, which we call Model-Driven Scrum for Service-Oriented Software Reengineering (mScrum4SOSR). This process is an integration of a popular agile software development process, Scrum, with the concept of UML as a blueprint or executable for. The mScrum4SOSR is applied to three development teams: a reverse engineering team and two forward engineering teams for service consumption and production. To comprehend internal operations of a legacy system, the reverse engineering team represents a high level abstraction of the system in visual models. Scrum is conducted to generate a sharable visual model at this reverse engineering phase. The model is subdivided into two models for service consumer and producer by identifying candidate services from the model of the legacy system. With the models and the product backlog, two Sprints for service consumer and producer start at the next forward software engineering phase in parallel. The development team of each Sprint shares the changes of the models and the Scrum Master maintains the synchronized version of the model for partially shippable target system during a Sprint. The process brings two main benefits to the SOSR teams: 1) we can seamlessly use an agile process, Scrum, for a reverse engineering team and two forward software engineering teams. And 2) the model-driven process complements the project management process Scrum by injecting one of the best software development practices, elevating the level of abstraction, into Scrum.

关键词： Reverse engineering Software engineering programming Unified modeling language Production Project management Logic Web services Business Service robots

来源：评论

学校读者我要写书评

暂无评论

A New Method for Component Reuse

A New Method for Component Reuse

引用

2009 2nd IEEE international conference on Computer science and Information Technology（ICCSIT 2009）

作者： Jianli He,Rong Chen,Weinan Gu System Software engineering Centre of Tongji University,Shanghai,China,200092

Achieving software reuse is a fundamental problem in software ***-based development (CBD) is widely accepted as a promising approach for software *** methods for component reuse concentrate primarily on the component consumer perspective,which are lack of the potential for component evolution *** paper proposes two complementary approaches to reusing existing components:binary class-level inheritance and feature *** meet variability requirements,a new component can be derived across component module from an old ***,to narrow the gulf between the user and the developer perspectives,the system features are decomposed into a set of independent feature components that can be plugged into running *** design and implementation method on component platform is *** last,this paper introduces the graphic user interface and mobile telephone projects development experiments that show the two approaches contribute to reuse.

关键词： Object-orientation programming Component- based development Software reuse Binary class-level inheritance Feature-oriented programming Feature composition

来源：评论

学校读者我要写书评

暂无评论

A Service-Portlet based Visual Paradigm for Personalized Convergence of Information Resources

A Service-Portlet based Visual Paradigm for Personalized Con...

引用

2009 2nd IEEE international conference on Computer science and Information Technology（ICCSIT 2009）

作者： Yongshan Wei,Zhonglin Sun,Xin Chen,Feng Zhang College of Information science and engineering,Shandong University of science and Technology,Qingdao,China

It gains more and more attentions on how to enable users to dynamically construct and reconstruct web applications of information convergence in run time to resolving urgent and unplanned business *** programming environment,information resources virtualization and management,and visual representation of user-defined applications are important and challenging issues in dynamically constructing these *** address these needs,a service-portlet based visual paradigm is proposed to support dynamically constructing web application of information resources *** resources are represented by portlets in a portal container to hide programming details of accessing and communicating with information *** can select and set collaborations patterns between these information portlets to construct applications of information *** phrase of execution,these applications are translated into convergent scripts which are transparent for users and executed by a script engine and convergent results generated by the engine are represented again by a portlet before users.A proof-ofconcept prototype is developed and tested to demonstrate the utility of the proposed paradigm.

关键词： Information Convergence Service Portlet Web Application Inforamtion Integration Service Composition

来源：评论

学校读者我要写书评

暂无评论

Information Switching for Course Design

Information Switching for Course Design

引用

2009 2nd IEEE international conference on Computer science and Information Technology（ICCSIT 2009）

作者： Yin Yan-fang School of Mechanical engineering Wuhan Polytechnic University Wuhan 430023,PR China

This paper reviews experimental results concerning the use of an integrated streaming media technology which is applied on the practice teaching of die designing,The characteristics of the new experiment education model are presented on the basis of the technical advantage and the theoretical foundation of the streaming media *** applications are discussed,The explanation of the fundamental is the technical principles of streaming media,constructivism,the instructional design and the transmission and control,The superiority of technology show more efficiency on compress,integrate,transfer and control the instructional *** quality advantages of using this programming are assumed to result from different teaching strategy and contents,This paper introduces the streaming media technology and features,and gives useful research results and satisfied teaching methods.

关键词： streaming media technology,information switching,die designing,experiment education mode

来源：评论

学校读者我要写书评

暂无评论

Aspect-Oriented Modeling and Mapping Driven by Model Driven Architecture

Aspect-Oriented Modeling and Mapping Driven by Model Driven ...

引用

2009 2nd IEEE international conference on Computer science and Information Technology（ICCSIT 2009）

作者： Jingjun Zhang Scientific Research Office Hebei University of engineering Handan,Hebei,P.R.China Yuejuan Chen Hebei University of engineering Hebei,P.R.China Yang Zhang Hebei University of science and Technology Hebei,P.R.China Hui Li Handan College Hebei,P.R.China

Model Driven Architecture (MDA) is a development methodology taking model as center,which is initiated by the Object Manage *** on UML and other standard etc,MDA can create highly abstract model that will be understood by *** models are independent of concrete platform technology and stored in a standard *** on Object-Oriented,Aspect-Oriented programming (AOP) went further on the principle of Concern *** separates the crosscutting concerns in the independent aspect *** has now matured to become a complete methodology,hoping to present its benefits in the whole development ***-Oriented Modeling in the Framework of MDA needs extend the UML meta-model,establish aspect oriented meta- model and AspectJ meta-model,in order to define aspect Platform-Independent Models (PIM) and Platform-Specific Models (PSM).In this paper,we give a method of aspect- oriented modeling,some rules to transform aspect PIM to aspect PSM to support aspect-oriented software development in the framework of MDA.

关键词： Aspect-Oriented programming Model-Driven Architecture UML Aspect-Oriented Modeling PIM PSM

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of TDS Protocol Analyzer

Design and Implementation of TDS Protocol Analyzer

引用

2009 2nd IEEE international conference on Computer science and Information Technology（ICCSIT 2009）

作者： Lihong Guo School of Communication engineering Nanjing Institute of Technology Nanjing,China Haitao Wu School of Communication engineering Nanjing Institute of Technology Nanjing,China

Traditional network monitoring tools such as Sniffer,Netview,not only provide the flow of network,but also analyze all kinds of protocols in TCP/IP protocol family,but they can't provide the analysis on TDS protocol which used in the Microsoft SQL Sever 2000 in *** to the result of testing and researching TDS 7.1 protocol,sums up the communication rule and packet structure of TDS protocol,bases on that,designs and implements TDS protocol analyzer using Visual C++*** core of TDS protocol analyzer is to deal with the captured TDS protocol packet carefully,manage TDS packets in the network,provide the warning information when it finds some foregone TDS protocol loopholes and can accomplish the flow statistic with graphical *** paper uses raw socket and multi-thread programming to design network communication software in Windows 2000,and realize a network analysis test system.

关键词： component Tabular Data Stream protocol analysis design flow

来源：评论

学校读者我要写书评

暂无评论

A time warping speech recognition system based on particle swarm optimization

A time warping speech recognition system based on particle s...

引用

2nd Asia international conference on Modelling and Simulation, AMS 2008

作者： Rategh, Saeed Razzazi, Farbod Rahmani, Amir Masoud Gharan, Shayan Oveis Department of Computer Engineering Islamic Azad University Science and Research Branch Tehran Iran Department of Electrical Engineering Islamic Azad University Science and Research Branch Tehran Iran Department of Computer Engineering Sharif University of Technology Tehran Iran

ISBN: (纸本)9780769531366

In this paper, dynamic programming alignment is replaced by a particle swarm optimization (PSO) procedure in time warping problem. The basic PSO is a very slow process to be applied to speech recognition application. In order to achieve a higher performance, by inspiring of PSO optimization methodology, we introduced a PSO Inspired Time warping Algorithm (PTW) that significantly increase the computational performance of time warping in alignments of long length massive data sets. As a main enhancement, a pruning strategy with an add-in controlling threshold is defined in PTW that causes a considerable reduction in recognition time, while maintaining the system accuracy comparing to DTW. © 2008 IEEE.

关键词： Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Study of pulse wave signal generator

Study of pulse wave signal generator

引用

2nd international conference on Bioinformatics and Biomedical engineering, iCBBE 2008

作者： Wang, Yangliu Zhang, Song Yang, Yimin Lv, Wei Biomedical Engineering Center Beijing University of Technology ChaoYang district BeiJing China

ISBN: (纸本)9781424417483

The mechanism of action and the main technology of pulse wave signal generator are introduced in this article. This instrument uses Micro Control Unit as the central processor to debug and demarcate the function of the cardiovascular detection systems by the means of digital recurrent pulse wave produced by programming. © 2008 IEEE.

关键词： Microcontrollers

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共181页 << < 157 158 159 160 161 162 163 164 165 166 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：