交通网络弹复度与易碎度的测算与分析

弹复性是系统在失效或被破坏之后能够恢复正常工作的能力.弹复性工程是当今国际上研究的热点.本文提出了基于节点对间的独立路径可靠度和交通网络的弹复度的定量测算方法,提出了反映节点和路段对交通网络影响大小的易碎性的概念和测算方法.论文还就弹复度和易碎度的几个相关性质提出了几个重要定理.针对我国的铁路网络,计算了所有节点城市和路段的弹复度和易碎度,并对弹复度和易碎度高的节点的分布规律进行了探讨,得出了一些有益的结论.     

窗口流量控制的干线动态协调控制方法

城市交通干线在高峰时期经常处于饱和状态,排队车辆溢出至上游交叉口的"死锁"现象时有发生.为避免干线阻塞、提高饱和条件下干线交通流的运行效率,首先提出一种有效带宽评价方法对已有干线绿波协调控制系统的运行状态及控制效果进行监控;其次借鉴TCP/IP窗口流量控制思想,设计一种窗口流量控制的干线动态协调控制方法,控制城市干线拥挤交通流.模拟试验及对比结果表明,通过窗口流量通告的方式,下游交叉口可以向上游交叉口实时告知路段的有效容量,便于各交叉口信号机根据当前的交通需求及路段的有效容量重新分配各股车流的绿灯时间.     

船舶工程虚拟现实应用平台建设及研究

基于船舶工程虚拟现实平台建设过程中的技术与应用问题提出相应的解决办法.介绍了作为船舶工程虚拟现实系统所应达到的功能要求,以及与船舶设计、制造的相关问题.对虚拟现实应用和船舶工程仿真有一定的参考价值.     

化工流程工业中计算机的应用技术与进展

计算机应用技术促进了流程工业的变革和发展,并日益渗透到流程工业的各个方面。文章以流程工业中的化工行业为重点,论述了计算机在流程工业自动控制、故障诊断与检测、软测量等领域的应用原理与方法,阐明了计算机是提高企业自动化和信息化水平的关键,阐述了化工流程工业中计算机的应用技术发展所面临的问题并就其发展提出若干建议。     

Design and realization of ad-hoc VoIP with embedded p-SIP server

In this paper we design and implement the pseudo session initiation protocol (p-SIP) server embedded in each mobile node to provide the ad-hoc voice over Internet protocol (VoIP) services. The implemented p-SIP server, being compatible with common VoIP user agents, integrates the standard SIP protocol with SIP presence to handle SIP signaling and discovery mechanism in the ad-hoc VoIP networks. The ad-hoc VoIP signaling and voice traffic performances are analyzed using E-model R rating value for up to six hops in the implemented test-bed. We also conduct the interference experiments to imitate the practical ad-hoc VoIP environment. The analyzed results demonstrate the realization of ad-hoc VoIP services by using p-SIP server.     

Defining the meaning of tabular mathematical expressions

Mathematical expressions in tabular form (also called “tabular expressions” or “tables”) have been shown to be useful for documenting and analysing software systems. They are usually easier to read than conventional mathematical expressions but are no less precise. They can be used wherever mathematical expressions are used. To avoid misunderstandings, and to support users with trustworthy tools, the meaning of these expressions must be fully defined.This paper presents a new method for defining the meaning of tabular expressions. Each definition of an expression type names the expression’s constituents, and provides a restriction schema and one or more evaluation schemas. The restriction schema defines the class of well-formed expressions of the type. An evaluation schema maps a well-formed tabular expression of the type to a mathematical expression of a previously defined type. Since the meaning of conventional mathematical expressions is well known, describing an equivalent expression fully defines the meaning of a tabular expression.In this approach, indexation is used to decouple the appearance of a tabular expression from its semantics. A tabular expression is an indexed set of grids; a grid is an indexed set of expressions. The expressions in a grid can be either conventional expressions or tabular expressions of a previously defined type.Defining the meaning of a tabular expression in this way facilitates the building of tools that faithfully implement the semantics. The decoupling of syntax and semantics by means of indices overcomes some limitations of older approaches.The method presented in the paper is illustrated by defining several previously known types of tabular expressions and some new ones. The use of the new model to build a suite of tools for the input, presentation, validation, evaluation, simplification, conversion and composition of tabular expressions is discussed.     

SPI success factors within product usability evaluation

This article presents an experience report where we compare 8 years of experience of product related usability testing and evaluation with principles for software process improvement (SPI). In theory the product and the process views are often seen to be complementary, but studies of industry have demonstrated the opposite. Therefore, more empirical studies are needed to understand and improve the present situation. We find areas of close agreement as well as areas where our work illuminates new characteristics. It has been identified that successful SPI is dependent upon being successfully combined with a business orientation. Usability and business orientation also have strong connections although this has not been extensively addressed in SPI publications. Reasons for this could be that usability focuses on product metrics whilst today's SPI mainly focuses on process metrics. Also because today's SPI is dominated by striving towards a standardized, controllable, and predictable software engineering process; whilst successful usability efforts in organisations are more about creating a creative organisational culture advocating a useful product throughout the development and product life cycle. We provide a study and discussion that supports future development when combining usability and product focus with SPI, in particular if these efforts are related to usability process improvement efforts.     

Exploring the benefits of the combination of a software architecture analysis and a usability evaluation of a mobile application

Designing easy to use mobile applications is a difficult task. In order to optimize the development of a usable mobile application, it is necessary to consider the mobile usage context for the design and the evaluation of the user-system interaction of a mobile application. In our research we designed a method that aligns the inspection method “Software ArchitecTure analysis of Usability Requirements realizatioN” SATURN and a mobile usability evaluation in the form of a user test. We propose to use mobile context factors and thus requirements as a common basis for both inspection and user test. After conducting both analysis and user test, the results described as usability problems are mapped and discussed. The mobile context factors identified define and describe the usage context of a mobile application. We exemplify and apply our approach in a case study. This allows us to show how our method can be used to identify more usability problems than with each method separately. Additionally, we could confirm the validity and identified the severity of usability problems found by both methods. Our work presents how a combination of both methods allows to address usability issues in a more holistic way. We argue that the increased quantity and quality of results can lead to a reduction of the number of iterations required in early stages of an iterative software development process.     

基于nRF2401的工程机械仪表显示无线通信平台的设计与实现

针对大型工程机械各类信号与驾驶操控室仪表异地显示的通信问题,提出了基于射频收发器nRF2401实现无线数据通信的设计方案,详细介绍了射频芯片nRF2401的工作原理及特点,并给出了无线通信平台硬件结构、接口电路及相应程序框图。经过测试,该通信平台上通信速率高、质量好,空旷处的传输距离可达100 m。     

A knowledge engineering approach to developing mindtools for context-aware ubiquitous learning

Recent developments in computing and mobile technologies have enabled the mobile and ubiquitous learning approach, which situates students in an environment that combines real-world and digital-world learning resources. Although such an approach seems to be innovative and interesting, several problems have been revealed when applying it to practical learning activities. One major problem is owing to the lack of proper learning strategies or tools that can guide or assist the students to learn in such a complex learning scenario. Students might feel excited or interested when using the mobile devices to learn in the real world; however, their learning achievements could be disappointing. To cope with this problem, in this study, a knowledge engineering approach is proposed to develop Mindtools for such innovative learning scenarios. Experimental results from a natural science course of an elementary school show that this innovative approach not only enhances learning motivation, but also improves the learning achievements of the students.