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

IEEE Asia-Pacific Conference on Services Computing (APSCC)

作者： Qing Yang Dianfu Ma Yongwang Zhao Zhuqing Li Institute of Advanced Computing Technology National Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing China

The implementation of Web services specifications is the key issue of Web services container which is the infrastructure of SOC. The specifications are always depicted in natural language, which may lead to misunderstanding or ambiguity. In this situation, the implementations of the same specification by different containers will re-introduce interoperability which is supposedly addressed by Web services. These may lead to the reliability problems among upper applications. Currently, formal methods is a precise mathematic way to model the specifications and verify the correctness of the properties. To solve the issues, first, we introduce an XML programming language called SODL (Service-Oriented Description Language) to describe the implementation of specifications. Then, using SODL, we describe the message processing logic according to specifications and implement a Web services container. Furthermore, the logic described in SODL can be converted to automata, by which lots of tools can be applied to verify the properties of container according to the specifications.

关键词： XML Containers Engines Protocols Automata Simple object access protocol

来源：评论

学校读者我要写书评

暂无评论

An evolutionary multi-objective approach for dynamic mission planning

An evolutionary multi-objective approach for dynamic mission...

引用

IEEE Congress on Evolutionary Computation

作者： Bui, Lam Thu Michalewicz, Zbignew Department of Software Engineering Faculty of IT Le Quy Don University Viet Nam School of Computer Science University of Adelaide Adelaide SA 5005 Australia Institute of Computer Science Polish Academy of Sciences ul. Ordona 21 01-237 Warsaw Poland Polish-Japanese Institute of Information Technology ul. Koszykowa 86 02-008 Warsaw Poland

ISBN: (纸本)9781424469109

In this paper, we propose a computational approach for adaptation in mission planning, an important process in the chain of command and control. In this area, it has been highly regarded that military missions are often dynamic and uncertain. This characteristic comes from the nature of battlefields where the factors of enemies and terrains are not easy to be determined. Hence, it is necessary to generate plans that can adapt quickly to the changes during the missions, while avoiding paying a high cost. In addressing such an adaptation process, the issue of multi-objectivity can not be avoided. Our approach first mathematically models the dynamic planning problem with two criteria: the mission execution time and the cost of operations. Based on this quantification, we introduce an evolutionary multi-objective mechanism to adapt the current solution to new situations resulted from changes. We carried out a case study on this newly proposed approach. A modified military scenario of a mission was used for testing. The obtained results strongly support our proposal in finding adaptive solution dealing with the changes. © 2010 IEEE.

关键词： adaptation process adaptive solution command and control systems dynamic mission planning problem evolutionary computation evolutionary multiobjective approach military mission execution time

来源：评论

学校读者我要写书评

暂无评论

A computational framework for adaptation in military mission planning

A computational framework for adaptation in military mission...

引用

International Conference on Knowledge and Systems engineering

ISBN: (纸本)9780769542133

Military missions are highly dynamic and uncertain. This characteristic comes from the nature of battlefields where such factors as enemies and terrains are not easy to be determined. Hence disruption of missions is likely to occur whenever happening a change. This requires generating plans that can adapt quickly to changes during execution of missions, while paying a less cost. In this paper, we propose a computational approach for adaptation of mission plans dealing with any possible disruption caused by changes. It first mathematically models the dynamic planning problem with two criteria: the mission execution time and the cost of operations. Based on this quantification, we introduce a computational framework, which has an evolutionary mechanism for adapting the current solution to new situations resulted from changes. We carried out a case study on this newly proposed approach. A modified military scenario of a mission was used for testing. The obtained results strongly support our proposal in finding adaptive solution dealing with the changes. © 2010 IEEE.

关键词： battlefields command and control systems dynamic planning problem evolutionary computation evolutionary mechanism military mission planning mission execution time

来源：评论

学校读者我要写书评

暂无评论

Embedded real-time system modeling and analysis using AADL

Embedded real-time system modeling and analysis using AADL

引用

International Conference on Networking and Information technology (ICNIT)

作者： Yue Zhao Dianfu Ma National Laboratory of Software Development Environment Institute of Advanced Computing Technology School of Computer Science and Engineering Beihang University Beijing China

ISBN: (纸本)9781424475797;9781424475773;9781424475780

Embedded real-time system has requirements for nonfunctional features such as schedulability, dependability and safety. With traditional design and development methodology these nonfunctional features could only be analyzed after the system is fully implemented. Architecture Analysis and Design Language (AADL) is a modeling language that supports early and repeated analyses of a system's architecture with respect to performance-critical properties through an extendable notation, a tool framework, and precisely defined semantics. AADL can be used in the analysis of partially defined architectural patterns with limited architectural detail, it is suitable for team work in large-scale system design and development. Avionic Air Data System is used as the AADL modeling and analysis study case. A basic model with software, hardware components is created. software components are allocated to hardware components. Resource budget analysis, resource allocation analysis and end to end flow latency analysis are performed on Air Data system. Part of system model is redesigned depends on the analysis results. All these analyses are performed in the early phase of system design and development. It helps to find out issues early to save costs and reduce potential errors.

关键词： Real time systems Modeling Performance analysis Data systems Hardware Safety Design methodology Pattern analysis Large-scale systems Aerospace electronics

来源：评论

学校读者我要写书评

暂无评论

Conceptual File Management: Revising the structure of classification-based information retrieval

Conceptual File Management: Revising the structure of classi...

引用

International Conference on Digital Information Management (ICDIM)

作者： Ali Sajedi Badashian Seyyed Hamidreza Afzali Morteza Ashurzad Delcheh Mehregan Mahdavi Mahdi Alipour Software Engineering Department Azad University Lahijan Iran School of Information and Communication Technology (ICT) Royal Institute of Technology Sweden Software Engineering Department Azad University Iran Department of Computer Engineering University of Guilan Iran Electrical Computer IT and Biomedical Engineering Department Azad University Iran

This paper addresses the Information Retrieval issues by today's hierarchical systems such as file systems. They usually contain substantial amount of redundant items. Maintaining the structure becomes difficult when large amount of items exist and ambiguity occurs in the structure. In this study, a conceptual method is presented that replaces the “containment” principle involved in current systems by “membership” principle. The proposed Conceptual File Management (CFM) method allows a file to be accessed from multiple folders; furthermore, it keeps the current hierarchical structure with minor changes. CFM reduces the ambiguity and redundancy, therefore the quality of information retrieval is improved. A Conceptual File Manager based on the above-mentioned principle has been developed. Experiments show that it improves the quality of the system in terms of maintaining the structure and retrieving the desired items easier and faster based on users' viewpoints. CFM is applicable to not only traditional file systems on computers, but also file systems on cell phones (and message storage systems), site maps in Web sites, Content Management Systems, taxonomies, and in general, classification based structures.

关键词： File systems computers Redundancy Prototypes Information retrieval Media

来源：评论

学校读者我要写书评

暂无评论

Diagrammatic representation and inference: 6th international conference, diagrams 2010 Portland, OR, USA, august 9-11, 2010 proceedings 6th

Diagrammatic representation and inference: 6th international...

引用

6th International Conference on Diagrammatic Representation and Inference, Diagrams 2010

作者： Jamnik, Mateja Goel, Ashok K. Narayanan, N. Hari School of Interactive Computing Georgia Institute of Technology Design & Intelligence Laboratory 85 Fifth Street NW AtlantaGA United States University of Cambridge Computer Laboratory JJ Thomson Avenue Cambridge United Kingdom Auburn University Department of Computer Science & Software Engineering 345W. Magnolia Street AuburnAL United States

来源：评论

学校读者我要写书评

暂无评论

Data clustering with cat swarm optimization

引用

Journal of Convergence Information technology 2010年第8期5卷 2-2页

作者： Liu, Yongguo Shen, Yidong School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu 611731 China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100191 China

In this article, a recent metaheuristic method, cat swarm optimization, is introduced to find the proper clustering of data sets. Two clustering approaches based on cat swarm optimization called Cat Swarm Optimization Clustering (CSOC) and K-harmonic means Cat Swarm Optimization Clustering (KCSOC) are proposed. In the proposed methods, seeking mode and tracing mode are adopted to exploit and explore the solution space. In addition, K-Harmonic Means (KHM) operation is designed to refine the population and accelerate the convergence of the clustering algorithm. Experimental results on six real life data sets are given to illustrate the effectiveness of the proposed algorithms.

关键词： Clustering algorithms

来源：评论

学校读者我要写书评

暂无评论

A New Efficient Method of Computing MDCT in MP3 Audio Coding

A New Efficient Method of Computing MDCT in MP3 Audio Coding

引用

International Conference on Multimedia Information Networking and Security (MINES)

作者： Guixing Wu En-hui Yang School of Software Engineering Suzhou Institute for Advanced Technology USTC Suzhou Jiangsu China Department of Electrical and Computer Engineering University of Waterloo Waterloo ONT Canada

In this paper, a new efficient method of computing modified discrete cosine transform (MDCT) in MP3 audio coding is proposed. We first define a scaled discrete cosine transform (SDCT), then convert N-point MDCT to N/2-point SDCT. Next we factor N/2-point SDCT matrix mathematically. The factored SDCT matrices are used to develop a fast MDCT algorithm for realizing N-point MDCT. We show that the proposed MDCT algorithm outperforms all fast MDCTalgorithms developed in the literature in terms of computational complexity.

关键词： Digital audio players Signal processing algorithms Audio coding Matrix converters Discrete cosine transforms Mirrors Matrix decomposition

来源：评论

学校读者我要写书评

暂无评论

Finding near-optimal strategies for negotiation with incomplete information using a diversity controlling EDA

Finding near-optimal strategies for negotiation with incompl...

引用

International Conference on Supply Chain Management and Information Systems (SCMIS)

作者： Jeonghwan Gwak Kwang Mong Sim Minjie Zhang School of Information and Communications Gwangju Institute of Science and Technology Gwangju South Korea School of Computer Science and Software Engineering University of Wollongong Wollongong NSW Australia

Negotiation activities are carried out among stakeholders in a supply chain for resolving the differences in their objectives and preferences. The objective of this work is to find near-optimal negotiation strategies for bilateral negotiation with incomplete information, in which each agent has a competitive objective and incomplete information about its opponent, by coevolving both agents' strategies using an estimation of distribution algorithm (EDA). However, an EDA often cannot find optimum solutions for both the agents for the reason that one of the two agents' populations has a very rapid convergence rate than the other population in the process of coevolution. Hence, the resulting solutions of both the agents will be biased and converge to suboptimal ones. To solve this problem, this paper proposes an EDA which has a novel diversity controlling capability. The proposed method utilizes the accumulated frequency information of the occurrence of individuals in each band of a population for generations. The information is used in the diversification and refinement procedure of the proposed diversity controlling EDA. Results from a series of experiments indicate that the proposed diversity controlling EDA achieves a better performance than the EDA without a diversity controlling method for the problem task in finding near-optimal solutions.

关键词： Convergence Diversity methods Aerospace electronics Measurement Probability distribution Raw materials Proposals

来源：评论

学校读者我要写书评

暂无评论

Content-Based Image Retrieval Using Color and Edge Direction Features

Content-Based Image Retrieval Using Color and Edge Direction...

引用

The 2nd IEEE International Conference on Advanced computer Control(第二届先进计算机控制国际会议 ICACC 2010)

作者： Jianlin Zhang Wensheng Zou School of Software Nanchang University Nanchang 330047PR China Institute of Computer Technology Engineering Nanchang University Nanchang 330029PR China

ISBN: (纸本)9781424458455

This paper presents an novel technique that employs both the color and edge direction features for Content-Based Image Retrieval (CBIR). In this method, a given image is first divided into sub-block which has the same size and then the color and edge direction features of each sub-block can be extracted. Next, it constructs a codebook of color feature using clustering algorithm and then each subblock is mapped to the codebook. Finally, it uses the color index codes to image retrieval and uses the edge direction feature as the color feature's weight which belongs to the same color feature's sub-block. The effectiveness of this technique is demonstrated with the experiments.

关键词： content-based image retrieval (CBIR) color edge direction feature extraction

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：