FaBiO and CiTO: Ontologies for describing bibliographic resources and citations

Semantic publishing is the use of Web and Semantic Web technologies to enhance the meaning of a published journal article, to facilitate its automated discovery, to enable its linking to semantically related articles, to provide access to data within the article in actionable form, and to facilitate integration of data between articles. Recently, semantic publishing has opened the possibility of a major step forward in the digital publishing world. For this to succeed, new semantic models and visualization tools are required to fully meet the specific needs of authors and publishers. In this article, we introduce the principles and architectures of two new ontologies central to the task of semantic publishing: FaBiO, the FRBR-aligned Bibliographic Ontology, an ontology for recording and publishing bibliographic records of scholarly endeavours on the Semantic Web, and CiTO, the Citation Typing Ontology, an ontology for the characterization of bibliographic citations both factually and rhetorically. We present those two models step by step, in order to emphasise their features and to stress their advantages relative to other pre-existing information models. Finally, we review the uptake of FaBiO and CiTO within the academic and publishing communities.     

A self-adaptation scheme for workflow management in multi-agent systems

Business processes, operational environment, variability of resources and user needs may change from time to time. An effective workflow management software system must be able to accommodate these changes. The ability to dynamically adapt to changes is a key success factor for workflow management systems. Holonic multi-agent systems (HMS) provide a flexible and reconfigurable architecture to accommodate changes based on dynamic organization and collaboration of autonomous agents. Although HMS provides a potential architecture to accommodate changes, the dynamic organization formed in HMS poses a challenge in the development of a new software development methodology to dynamically compose the services and adapt to changes as needed. This motivates us to study and propose a methodology to design self-adaptive software systems based on the HMS architecture. In this paper, we formulate a workflow adaptation problem (WAP) and propose an interaction mechanism based on contract net protocol (CNP) to find a solution to WAP to compose the services based on HMS. The interaction mechanism relies on a service publication and discovery scheme to find a set of task agents and a set of actor agents to compose the required services in HMS. We propose a viable self-adaptation scheme to reconfigure the agents and the composed services based on cooperation of agents in HMS to accommodate the changes in workflow and capabilities of actors. We propose architecture for our design methodology and present an application scenario to illustrate our idea.     

Design, fabrication, and testing of silicon microgimbals forsuper-compact rigid disk drives

This paper documents results related to design optimization, fabrication process refinement, and micron-level static/dynamic testing of silicon micromachined microgimbals that have applications in super-compact computer disk drives as well as many other engineering applications of microstructures and microactuators requiring significant out-of-plane motions. The objective of the optimization effort is to increase the in-plane to out-of-plane stiffness ratio in order to maximize compliance and servo bandwidth and to increase the displacement to strain ratio to maximize the shock resistance of the microgimbals, while that of the process modification effort is to simplify in order to reduce manufacturing cost. The testing effort is to characterize both the static and dynamic performance using precision instrumentation in order to compare various prototype designs     

‘First do no harm’: Factors influencing teachers’ ability and willingness to use ICT in their subject teaching

The paper reports on a Department of Culture, Museums and Sport (DCMS) funded project which provided modest amounts of time for teachers to be freed from their classroom teaching to explore the use of information and communications technology (ICT) in their subject teaching, and to meet up together to discuss their use of new technology. The funding was sufficient to provide a day of supply cover for two groups of secondary teachers in different curriculum subjects (history and science) to meet towards the start of the academic year to discuss their use of ICT, a day of supply cover to work on their ideas and interests, and a day to meet together again towards the end of the year to share ideas and experiences.     

FaBiO and CiTO: Ontologies for describing bibliographic resources and citations

Semantic publishing is the use of Web and Semantic Web technologies to enhance the meaning of a published journal article, to facilitate its automated discovery, to enable its linking to semantically related articles, to provide access to data within the article in actionable form, and to facilitate integration of data between articles. Recently, semantic publishing has opened the possibility of a major step forward in the digital publishing world. For this to succeed, new semantic models and visualization tools are required to fully meet the specific needs of authors and publishers. In this article, we introduce the principles and architectures of two new ontologies central to the task of semantic publishing: FaBiO, the FRBR-aligned Bibliographic Ontology, an ontology for recording and publishing bibliographic records of scholarly endeavours on the Semantic Web, and CiTO, the Citation Typing Ontology, an ontology for the characterization of bibliographic citations both factually and rhetorically. We present those two models step by step, in order to emphasise their features and to stress their advantages relative to other pre-existing information models. Finally, we review the uptake of FaBiO and CiTO within the academic and publishing communities.     

浅析边远地区政府信息化的发展

电子政务是指政府机构运用现代网络通讯与计算机技术,将政府管理和服务职能通过精简、优化、整合、重组后在互联网上实现,以打破时间、空间以及条块分割的制约,从而加强对政府业务运作的有效监管,提高政府的运作效率,并为社会公众提供高效、优质、廉洁的一体化管理和服务。电子政务强调政府业务通过电子化手段运作及其实现过程,而电子政府则是通过电子化手段来运作政府业务特征的政府形态的描述。本文以位于内蒙古最西部的兴安盟为例,对边远地区发展政府信息化的重要性、现状、存在的问题和困难以及今后的发展提出了阐述。     

The relationship of learning to technology-based enhancements

The future of educational technology rests on the ability of educators to interpret and implement sound educational theory into creative and innovative uses of educational technology. Historically, as new technologies are introduced educators have debated their relevance to instructional methodology. They have asked this two part question: “Does technology improve learning?”, and if so “By how much?”. The purpose of this article is not to answer the question, but to elaborate on it and to offer a view that is at the same time a yes and a no. The problem seems not to be the technology, but the failure of proponents to adequately trace the variables of their respective technology techniques to clearly defined learning processes. This article discusses six basic educational components necessary to trace technology variables directly to specific learning processes. The purpose of this article is not to explain in detail all of the components, but to propose that an answer to the question on technology and improved learning can be done in part by showing the direct linkage of technological variables to specific learning conditions and processes.     

低碳经济时代的建筑之道

低碳建筑是营造可持续发展未来的关键。本文通过对低碳建筑的全面分析以及对全球知名的设计实例的分析,探讨适应低碳经济时代的建筑发展的方向、目标,指出低碳建设和设计要走向集约型、走向自然、走向效率设计、走向适应性设计、走向循环设计、走向智能化设的发展途径,以及低碳建筑未来的发展方向。     

Flexible neuro-fuzzy systems

In this paper, we derive new neuro-fuzzy structures called flexible neuro-fuzzy inference systems or FLEXNFIS. Based on the input-output data, we learn not only the parameters of the membership functions but also the type of the systems (Mamdani or logical). Moreover, we introduce: 1) softness to fuzzy implication operators, to aggregation of rules and to connectives of antecedents; 2) certainty weights to aggregation of rules and to connectives of antecedents; and 3) parameterized families of T-norms and S-norms to fuzzy implication operators, to aggregation of rules and to connectives of antecedents. Our approach introduces more flexibility to the structure and design of neuro-fuzzy systems. Through computer simulations, we show that Mamdani-type systems are more suitable to approximation problems, whereas logical-type systems may be preferred for classification problems.     

Development of a strategic research plan for an academic department through the use of quality function deployment

Quality Function Deployment (QFD) is a popular approach for formalizing the process of listening to “the voice of the customer,” and assigning responsibilities to members of an organization in an effort to respond effectively to customer needs, QFD is being used by the Department of Industrial Engineering at Mississippi State University to help identify key customers for departmental research efforts, to identify and track the research needs of those customers, to fashion a comprehensive strategic plan for departmental research activities based on customer needs, to deploy various research functions and responsibilities to specific faculty members or groups, and to track research performance relative to goals. This approach appears to be an excellent means of formalizing the process of strategic research planning.     

集群负载均衡--CSM的实现

对于现在的互联网络通信状况,负载均衡显示其越来越多的重要性,通常实现负载均衡是使用软件并结合相应的算法,该文所描述的是利用Cisco公司的CSM模块来实现安全可靠的负载均衡,CSM模块将客户机的请求分发到不同的虚拟服务器,配合Cisco MSFC模块并合理地进行DNS的配置,实现网络服务的负载均衡。简要介绍了CSM模块的工作原理,如何配置DNS,如何设置虚拟主服务器,以及如何对系统CSM模块进行设置做了描述。     

Isoinertial tests to predict lifting performance

Previous research has found isoinertial strength testing to be superior to isometric and isokinetic strength testing for prediction of task performance. The purpose of this study was to investigate tests on an isoinertial lifting machine (ILM) and their ability to predict performance on actual lifting tasks. Sixteen male subjects performed two lifting tasks: maximum box lift to truck-bed height of 1.35 m; and 'speed lifts' of 60 concrete blocks (each 22.7 kg) to the same height. These performance tests were compared to three ILM tests: a maximal lift to 1.83 m, a second maximal lift to 1.52 m, and an endurance test that entailed 60 timed ILM lifts of 22.7 kg to 1.83 m. Pearson product-moment correlations between ILM tests and performance tasks varied from r = 0.55 to 0.71. Therefore, the isoinertial test protocols employed in this study were able to account for only 30% to 50% of the variance in the performance of maximal lifting and endurance tasks. In was concluded that prediction of maximal lifting ability or endurance ability using an ILM might be enhanced by closer approximation of specific task variables, or by inclusion of dynamic parameters to measure technique.     

一种基于元组空间的智能传感器协同感知机制

随着具有一定计算能力和无线通信能力的智能传感器(称为mote)的出现,越来越多的物联网应用可以实现对环境及其变化的就地感知、就地决策和就地反应.但因为mote的感知能力和感知范围有限,它们需要协同感知才能更全面地感知环境的状态,才能更好地适应环境的变化.而传统的mote协同感知的实现方法要求开发人员过多地关注mote之间的交互逻辑,并且mote应用也无法适应复杂环境的不断变化.为了避免开发人员在交互逻辑上花费过多的精力,同时保障开发出来的mote应用系统能够适应不稳定的外界环境,提出了一种基于元组空间的mote协同感知支撑机制,使得mote之间的协同感知过程(包括交互的建立过程以及对环境变化的适应过程)对开发人员完全透明.最后实现了一个简单的应用场景,展示了该方法如何满足功能需求以及在环境发生变化时如何对环境进行适应.     

A study into the effects of personality type and methodology on cohesion in software engineering teams

The aim of the research described in this paper is to gain a qualitative understanding of how cohesiveness relates to personality type, performance and adherence to a particular software engineering methodology (XP). A variety of research methods were employed including ethnographic methods, questionnaires and interviews. An online personality test based on the Myers-Briggs Type Indicator (MBTI) was used to ascertain the personality types, and questionnaires were used throughout the project to measure levels of cohesiveness. Examples of how the teams worked together throughout the project are described, and whether and how this relates to the personality types of the individual members. The results indicate that certain teams were found to work consistently well over the project due to homogeneity in personality type and others were found to be very cohesive due to a mixture of types.     

Trailer truck trajectory optimization: the transportation of components for the Airbus A380

European aircraft manufacturer, Airbus, has started a program to develop the largest aircraft ever built, the Airbus A380, which would be able to carry between 550 to 800 passengers on two decks. The six components of the airplane are to be produced in different European cities. They need to be transported from these cities to Toulouse, France, for assembly, and several means of transportation have been investigated. The sizes of the freights, the length of the itinerary, and the narrowness of the critical passages constitute a challenge that classical transportation techniques in the domain of oversized convoys cannot easily overcome. Therefore, Airbus and the French national agency in charge of road management launched a research and development project divided into two parts. The objective of the first part is to adapt functions first to develop for mobile robots to the complex kinematics of trailer-truck systems and integrating these functions into a software platform. The second part of the project aims to define and develop a computer-aided driving system on board the vehicles in order to help the drivers carry out their task. This paper provides a brief overview of the state of the art in trajectory planning for mobile robots and vehicles, and discusses the development of original solutions to address both the kinematic complexity of one of the vehicles and the need to optimize the distance to obstacles.     

排序学习研究进展与展望

排序学习利用机器学习技术去训练排序模型以解决排序问题,是信息检索与机器学习交叉领域的一个新兴研究热点.越来越多的排序学习方法已经应用于实际系统中,如搜索引擎和推荐系统等.本文概括了排序学习的研究进展,并进行展望.首先,阐述了排序学习问题.然后,对排序学习方法进行了分类,并重点分析了依据训练排序模型时所采用的不同机器学习技术的排序学习方法类别.本文还介绍了一些代表性的标准排序学习数据集,对排序学习方法在若干领域的成功应用进行了总结,并归纳了一些排序学习方法软件包.最后,对排序学习的未来发展趋势和挑战进行了展望和探讨.     

New trends on e-Procurement applying semantic technologies: Current status and future challenges

The present paper introduces and reviews existing technology and research works in the field of e-Procurement. More specifically this survey aims to collect those relevant approaches that have tackled the challenge of delivering more advanced and intelligent e-Procurement management systems due to its relevance in the industry to afford more timely, adaptable and flexible decisions in purchasing processes. Although existing tools and techniques have demonstrated their ability to manage e-Procurement processes as a part of a supply management system there is a lack of interoperability among tools, tangled dependencies between processes or difficulties to exploit existing data and information to name a few that are preventing a proper use of the new dynamic and data-based environment. On the other hand semantic-based technologies emerge to provide the adequate building blocks to represent domain-knowledge and elevate the meaning of information resources through a common and shared data model (RDF) with a formal query language (SPARQL) and accessible via the Internet Protocols. In this sense the Linked Data effort has gained momentum to apply the principles of the aforementioned initiative to boost the re-use of information and data across different tools and processes. That is why authors review both existing open issues in the context e-Procurement with special focus on public procurement and semantic-based approaches to address them. To do so a preliminary research study is conducted to assess the state of the art in the context of e-Procurement and semantic-based systems. Afterwards main drawbacks of existing e-Procurement systems are presented to narrow down in semantic-based approaches applied to this field. Once the current status in both areas is reviewed, authors purpose the use and creation of an e-Procurement index to evaluate the quality of service of procurement systems. In this light the Analytical Hierarchy Process (AHP) method is used to set up an initial weight for each indicator in the index and to perform a first comparison between traditional and semantic-based approaches. Finally some discussion, conclusions and future challenges are also outlined.     

视频实验教学系统实现与应用

如何使抽象的概念易于学生理解,一直是理论教学的难点。实验教学与理论教学的不对称性与异步性,造成实验与理论衔接空隙。地域与时间对教学的限制,不能充分发挥教学资源潜力,造成教学成本过高,教学负担过重。视频实验教学系统的建设,构建理论与实验相融平台,改造教学环境,突破传统教学模式,提升教学质量。     

Changing test and data modeling requirements for screening latent defects as statistical outliers

The expanded role of test demands a significant change in mind-set of nearly every engineer involved in the screening of semiconductor products. The issues to consider range from DFT and ATE requirements, to the design and optimization of test patterns, to the physical and statistical relationships of different tests, and finally, to the economics of reducing test time and cost. The identification of outliers to isolate latent defects will likely increase the role of statistical testing in present and future technologies. An emerging opportunity is to use statistical analysis of parametric measurements at multiple test corners to improve the effectiveness and efficiency of testing and reliability defect stressing. In this article, we propose a "statistical testing" framework that combines testing, analysis, and optimization to identify latent-defect signatures. We discuss the required characteristics of statistical testing to isolate the embedded-outlier population; test conditions and test application support for the statistical-testing framework; and the data modeling for identifying the outliers.