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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

109 篇 会议
59 篇 期刊文献
2 册 图书

馆藏范围

170 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

95 篇 工学
- 74 篇 计算机科学与技术...
- 58 篇 软件工程
- 22 篇 信息与通信工程
- 14 篇 电子科学与技术（可...
- 14 篇 控制科学与工程
- 11 篇 电气工程
- 8 篇 生物工程
- 7 篇 生物医学工程（可授...
- 6 篇 仪器科学与技术
- 6 篇 安全科学与工程
- 5 篇 机械工程
- 5 篇 光学工程
- 5 篇 动力工程及工程热...
- 4 篇 交通运输工程
- 3 篇 土木工程
- 3 篇 化学工程与技术
43 篇 理学
- 22 篇 数学
- 9 篇 生物学
- 8 篇 物理学
- 7 篇 系统科学
- 6 篇 统计学（可授理学、...
- 4 篇 化学
23 篇 管理学
- 15 篇 管理科学与工程(可...
- 10 篇 图书情报与档案管...
- 6 篇 工商管理
9 篇 医学
- 9 篇 临床医学
- 7 篇 基础医学(可授医学...
- 4 篇 药学(可授医学、理...
4 篇 法学
- 4 篇 社会学
3 篇 教育学
2 篇 经济学
- 2 篇 应用经济学
2 篇 农学
1 篇 艺术学

主题

13 篇 software enginee...
11 篇 computer science
8 篇 convolutional ne...
6 篇 surveys
6 篇 artificial intel...
5 篇 programming
5 篇 application soft...
5 篇 power engineerin...
5 篇 hardware
5 篇 accuracy
4 篇 gyroscopes
4 篇 feature extracti...
3 篇 internet of thin...
3 篇 reliability
3 篇 support vector m...
3 篇 safety
3 篇 systems engineer...
3 篇 education
3 篇 redundancy
3 篇 software tools

机构

10 篇 department of so...
6 篇 declarative syst...
6 篇 department of ap...
6 篇 gamf faculty of ...
5 篇 institute of ele...
5 篇 school of softwa...
5 篇 state key labora...
4 篇 department of so...
4 篇 department of co...
4 篇 graduate institu...
4 篇 information syst...
3 篇 directorate of i...
3 篇 institute for in...
3 篇 university of il...
3 篇 department of co...
3 篇 department of el...
3 篇 sule lamido univ...
3 篇 sule lamido univ...
3 篇 university of il...
3 篇 department of te...

作者

7 篇 jozsef katona
5 篇 r.j. walters
5 篇 p. henderson
4 篇 katona jozsef
4 篇 crouch stephen
4 篇 walters robert j...
3 篇 adediran yinusa ...
3 篇 abdulkarim abuba...
3 篇 abubakar abdulka...
3 篇 imoize agbotinam...
3 篇 oloyede abdulkar...
3 篇 s. crouch
3 篇 usman aliyu d.
3 篇 garba salisu
3 篇 adewole kayode s...
3 篇 razali rozilawat...
3 篇 sowande olugbeng...
3 篇 li zhengbin
3 篇 olagunju hawau i...
3 篇 abdulwaheed musa

语言

157 篇 英文
12 篇 其他
1 篇 中文

检索条件"机构=Declarative Systems and Software Engineering Electronics and Computer Science"

共 170 条记录，以下是131-140 订阅

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

详细简洁

排序：

An infrastructure for managing URI synonymity on the Semantic Web

An infrastructure for managing URI synonymity on the Semanti...

引用

5th European Semantic Web Conference, ESWC 2008

作者： Jaffri, Afraz Glaser, Hugh Millard, Ian Dependable Systems and Software Engineering Group School of Electronics and Computer Science University of Southampton United Kingdom

The Semantic Web vision involves the production and use of large amounts of RDF data. There have been recent initiatives amongst the Semantic Web community, in particular the Linking Open Data activity and our own ReSIST project, to publish large amounts of RDF that are both interlinked and dereferenceable. The proliferation of such data gives rise to millions of URIs for non-information resources such as people, places and abstract things. Our Consistent Reference Services provide a standard way of managing multiple URIs and finding URI equivalences. The CRS has been designed for use with all linked data Providers and is currently running on a live linked data site.

关键词： Linked data

来源：评论

学校读者我要写书评

暂无评论

Managing URI synonymity to enable consistent reference on the semantic web

Managing URI synonymity to enable consistent reference on th...

引用

1st International Workshop on Identity and Reference on the Semantic Web, IRSW 2008

作者： Jaffri, Afraz Glaser, Hugh Millard, Ian C. Dependable Systems and Software Engineering Group School of Electronics and Computer Science University of Southampton United Kingdom

The Web of Data is growing at an ever increasing rate, with RDF datasets being produced in the order of billions of triples. The effect of this increase has meant that many entities for which knowledge is being published have developed a number of URI synonyms. Managing URI synonymity plays an important part in establishing a solid foundation for data inter-linkage. This paper sets out an architecture for managing URI equivalences on the Web of Data by using Consistent Reference Services. A Use Case is presented to highlight the importance of managing identity and several advantages and disadvantages of using the CRS over other coreference resolution methods are discussed.

关键词： World Wide Web

来源：评论

学校读者我要写书评

暂无评论

Impact of cluster size on efficient LUT-FPGA architecture for best area and delay trade-off

Impact of cluster size on efficient LUT-FPGA architecture fo...

引用

作者： Dayo, Khalil Rajput, Abdul Qadeer Khan Chowdhry, Bhawani S. Chowdhry, Narinder Department of Electronic and Biomedical Engineering MUET Jamshoro Sindh Pakistan Department of Computer Systems and Software Engg. MUET Jamshoro Sindh Pakistan School of Electronics and Computer Science University of Southampton United Kingdom

ISBN: (纸本)3540898522

The delay of a circuit implemented in a Lookup table (LUT) based Field-Programmable Gate Arrays (FPGAs) is a combination of routing delays, and logic block delays. However most of an FPGA's area is devoted to programmable routing. When these blocks are replaced with logic clusters, the fraction of delay due to the cluster has significant impact on total delay. This paper investigates the impact of logic cluster size when the most favorable LUT size is achieved. As a result, fast and area efficient FPGA architecture can be proposed that can combine the logic blocks into logic clusters. In lookup table FPGA architecture, area and delay are the main factors to be tackled, the best value for each of the parameters depends on complex trade-offs. If an FPGA with smaller LUTs is constructed to minimize the area, the result is poor speed. On the other hand, if an FPGA includes larger LUTs, speed might increase but area is unnecessarily wasted. In this experimental work 20 benchmark circuits were tested to calculate the delay and area metric. Results show increasing logic cluster size has no more effect on delay as well as area, when suitable optimal values of lookup table size (LUT) are established. © 2008 Springer-Verlag.

关键词： Table lookup

来源：评论

学校读者我要写书评

暂无评论

Solving Sum and Product Riddle via BDD-based model checking

Solving Sum and Product Riddle via BDD-based model checking

引用

2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008

作者： Luo, Xiangyu Su, Kaile Sattar, Abdul Chen, Yan Tsinghua National Laboratory for Information Science and Technology School of Software Tsinghua University Beijing 100084 China Department of Computer Science Guilin University of Electronic Technology Guilin 541004 China School of Electronics Engineering and Computer Science Peking University Beijing 100871 China Institute for Integrated and Intelligent Systems Griffith University Brisbane QLD 4111 Australia

ISBN: (纸本)9780769534961

We model the Sum and Product Riddle inpublic announcement logic, which is interpreted on an epistemic Kripke model. The model is symbolically represented as a finite state program with n agents. A model checking method to the riddle is developed by using the BDD-based symbolic model checking algorithm for logic of knowledge we developed in [7]. The method is implemented by extending the model checker MCTK [7] and then the solution of the riddle is verified successfully. © 2008 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Solving Sum and Product Riddle via BDD-Based Model Checking

Solving Sum and Product Riddle via BDD-Based Model Checking

引用

IEEE WIC ACM International Conference on Web Intelligence (WI)

作者： Xiangyu Luo Kaile Su Abdul Sattar Yan Chen Tsinghua National Laboratory for Information Science and Technology Key Laboratory of Security for Information System of Ministry of Education School of Software Tsinghua University Beijing China Department of Computer Science Guilin University of Electronic and Technology Guilin China School of Electronics Engineering and Computer Science Peking University Beijing China Institute for Integrated and Intelligent Systems Griffith University Brisbane QLD Australia

We model the sum and product riddle in public announcement logic, which is interpreted on an epistemic Kripke model. The model is symbolically represented as a finite state program with n agents. A model checking method to the riddle is developed by using the BDD-based symbolic model checking algorithm for logic of knowledge we developed in [7]. The method is implemented by extending the model checker MCTK [7] and then the solution of the riddle is verified successfully.

关键词： Data structures Boolean functions IEEE news Intelligent agent Educational technology Automatic logic units Laboratories computer science Information science computer security

来源：评论

学校读者我要写书评

暂无评论

JCSProB: Implementing integrated formal specifications in concurrent Java

JCSProB: Implementing integrated formal specifications in co...

引用

作者： Yang, Letu Poppleton, Michael R. Dependable Systems and Software Engineering Electronics and Computer Science University of Southampton Southampton SO17 IBJ United Kingdom

The ProB model checker provides tool support for an integrated formal specification approach, combining the classical state-based B language with the event-based process algebra CSP. In this paper, we present a developing strategy for implementing such a combined ProB specification as a concurrent Java program. A Java implementation of the combined B and CSP model has been developed using a similar approach to JCSP. A set of translation rules relates the formal model to its Java implementation, and we also provide a translation tool JCSProB to automatically generate a Java program from a ProB specification. To demonstrate and exercise the tool, several B/CSP models, varying both in syntactic structure and behavioural/concurrency properties, are translated by the tool. The models manifest the presence and absence of various safety, deadlock, and bounded fairness properties;the generated Java code is shown to faithfully reproduce them. Run-time safety and bounded fairness checking is also demonstrated. The Java programs are discussed to demonstrate our implementation of the abstract B/CSP concurrency model in Java. In conclusion we consider the effectiveness and generality of the implementation strategy. © 2007 The authors and IOS Press. All rights reserved.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One 11

Experimental Comparison of the Comprehensibility of a UML-ba...

引用

11th International Conference on Evaluation and Assessment in software engineering, EASE 2007

作者： Razali, Rozilawati Snook, Colin F. Poppleton, Michael R. Garratt, Paul W. Walters, Robert J. Dependable Systems and Software Engineering Group School of Electronics and Computer Science University of Southampton University Road SouthamptonSO17 1BJ United Kingdom

The primary objective of software specification is to promote understanding of the system properties between stakeholders. Specification comprehensibility is essential particularly during software validation and maintenance as it permits the understanding of the system properties more easily and quickly prior to the required tasks. Formal notation such as B increases a specification’s precision and consistency. However, the notation is regarded as being difficult to comprehend due to its unfamiliar symbols and rules of interpretation. Semi-formal notation such as the Unified Modelling Language (UML) is perceived as more accessible but it cannot be verified systematically to ensure a specification’s accuracy. Integrating the UML and B could perhaps produce an accurate and approachable specification. This paper presents an experimental comparison of the comprehensibility of a UML-based graphical formal specification versus a purely textual formal specification. The measurement focused on the efficiency in performing the comprehension tasks. The experiment employed a cross-over design and was conducted on forty-one third-year and masters students. The results show that the integration of semi-formal and formal notations expedites the subjects’ comprehension tasks with accuracy even with limited hours of training. © 2007 11th International Conference on Evaluation and Assessment in software engineering, EASE 2007. All Rights Reserved.

关键词： empirical assessment Notation comprehensibility semi-formal and formal notations

来源：评论

学校读者我要写书评

暂无评论

Mobile game development: Object-orientation or not

Mobile game development: Object-orientation or not

引用

31st Annual International computer software and Applications Conference, COMPSAC 2007

作者： Zhang, Weishan Han, Dong Kunz, Thomas Hansen, Klaus Marius School of Software Engineering Tongji University No. 1239 Siping Road Shanghai 200092 China Department of Computer Science Anhui Vocational College of Electronics and IT Anhui 233030 China Department of Systems and Computer Engineering Carleton University Ottawa K1S 5B6 Canada Computer Science Department University of Aarhus Aabogade 34 8200 Aarhus N Denmark

ISBN: (纸本)9780769528700

Mobile games are one of the primary entertainment applications at present. Limited by scarce resources, such as memory, CPU, input and output, etc, mobile game development is more difficult than desktop application development, with performance as one of the top critical requirements. As object-oriented technology is the prevalent programming paradigm, most of the current mobile games are developed with object-orientation (OO) technologies. Intuitively OO is not a perfect paradigm for embedded software. Questions remain such as how OO and to what degree OO will affect the performance, executable file size, and how optimization strategies can improve the qualities of mobile game software. These questions are investigated in this paper within the mobile Role-Playing-Game (RPG) domain using five industrial mobile games developed with OO. We analyzed them and found excessive usage of OO features used for the development of mobile device applications (but normal for usual desktop applications). We then apply some optimization strategies along the way of structural programming. The experiment shows that the total jar file size of these five optimized games decreases 71%, the lines of codes decreases 59%, and the loading time of each optimized game decreases 22.73%, 34.62%, 25.79%, 24.65% and 16.70% respectively. Therefore, we conclude from our experiments that OO should be used with great care in the development of mobile games, and that structural programming can be a very competitive alternative. © 2007 IEEE.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Mobile Game Development: Object-Orientation or Not

Mobile Game Development: Object-Orientation or Not

引用

IEEE Annual International computer software and Applications Conference (COMPSAC)

作者： Weishan Zhang Dong Han Thomas Kunz Klaus Marius Hansen School of Software Engineering University of Tongji Shanghai China Department of Computer Science Anhui Vocational College of Electronics and IT Anhui China Department of Systems and Computer Engineering Carleton University Ottawa Canada Computer Science Department University of Aarhus Aarhus Denmark

Mobile games are one of the primary entertainment applications at present. Limited by scarce resources, such as memory, CPU, input and output, etc, mobile game development is more difficult than desktop application development, with performance as one of the top critical requirements. As object-oriented technology is the prevalent programming paradigm, most of the current mobile games are developed with object-orientation (OO) technologies. Intuitively OO is not a perfect paradigm for embedded software. Questions remain such as how OO and to what degree OO will affect the performance, executable file size, and how optimization strategies can improve the qualities of mobile game software. These questions are investigated in this paper within the mobile Role-Playing-Game (RPG) domain using five industrial mobile games developed with OO. We analyzed them and found excessive usage of OO features used for the development of mobile device applications (but normal for usual desktop applications). We then apply some optimization strategies along the way of structural programming. The experiment shows that the total jar file size of these five optimized games decreases 71 % the lines of codes decreases 59%, and the loading time of each optimized game decreases 22.73%, 34.62% 25.79% 24.65% and 16.70% respectively. Therefore, we conclude from our experiments that 00 should be used with great care in the development of mobile games, and that structural programming can be a very competitive alternative.

关键词： Object oriented programming Application software Mobile computing Games computer science Embedded software software engineering Educational institutions systems engineering and theory software performance

来源：评论

学校读者我要写书评

暂无评论

M-Grid: Using ubiquitous web technologies to create a computational grid

M-Grid: Using ubiquitous web technologies to create a comput...

引用

European Grid Conference on Advances in Grid Computing - EGC 2005

作者： Walters, Robert John Crouch, Stephen Declarative Systems and Software Engineering Group Department of Electronics and Computer Science University of Southampton SO17 1BJ United Kingdom

There are many potential users and uses for grid computing. However, the concept of sharing computing resources excites security concerns and, whilst being powerful and flexible, at least for novices, existing systems are complex to install and use. Together these represent a significant barrier to potential users who are interested to see what grid computing can do. This paper describes M-grid, a system for building a computational grid which can accept tasks from any user with access to a web browser and distribute them to almost any machine with access to the internet and manages to do this without the installation of additional software or interfering with existing security arrangements. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共17页 << < 8 9 10 11 12 13 14 15 16 17 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：