一种新型高速动态液压加载装置

介绍了一种自行设计的用于高速齿轮试验台的新型液压加载装置,阐明了该装置的结构及工作原理．对影响加载装置的转矩和效率的几个主要参数进行了公式推导和分析．     

人机交互式公路路线设计系统研究

介绍人机交互式公路路线设计系统的总体设计和环境需求,并对系统的社会效益进行分析．     

Markov Jump Linear Systems with switching transition rates: Mean square stability with dwell-time

The stability of a class of Markov Jump Linear Systems characterized by piecewise-constant transition rates and system dynamics is investigated. For these Switching Markov Jump Linear Systems, mean square stability is analyzed through the time evolution of the second-order moment of the state. The main result is a sufficient condition that guarantees mean square stability under constraints on the dwell-time between switching instants. An alternative condition based on Kronecker calculus is worked out. It is shown that both the stability criteria admit an LMI implementation.     

On the 2-tuples based genetic tuning performance for fuzzy rule based classification systems in imbalanced data-sets

When performing a classification task, we may find some data-sets with a different class distribution among their patterns. This problem is known as classification with imbalanced data-sets and it appears in many real application areas. For this reason, it has recently become a relevant topic in the area of Machine Learning.The aim of this work is to improve the behaviour of fuzzy rule based classification systems (FRBCSs) in the framework of imbalanced data-sets by means of a tuning step. Specifically, we adapt the 2-tuples based genetic tuning approach to classification problems showing the good synergy between this method and some FRBCSs.Our empirical results show that the 2-tuples based genetic tuning increases the performance of FRBCSs in all types of imbalanced data. Furthermore, when the initial Rule Base, built by a fuzzy rule learning methodology, obtains a good behaviour in terms of accuracy, we achieve a higher improvement in performance for the whole model when applying the genetic 2-tuples post-processing step. This enhancement is also obtained in the case of cooperation with a preprocessing stage, proving the necessity of rebalancing the training set before the learning phase when dealing with imbalanced data.     

基于随机通信逻辑的网络控制器设计

设计具有带宽约束的网络控制器,采用带时倚强度的泊松过程形成随机通信逻辑调度策略,实现系统状态的有限次更新,根据其马尔科夫跳变本质,基于更新时刻特性,协同设计控制器。仿真结果表明,引入随机通信逻辑能减少状态更新的次数,降低网络带宽对控制性能的影响,提高系统的动态性能。     

Hybrid automata, reachability, and Systems Biology

Hybrid automata are a powerful formalism for the representation of systems evolving according to both discrete and continuous laws. Unfortunately, undecidability soon emerges when one tries to automatically verify hybrid automata properties. An important verification problem is the reachability one that demands to decide whether a set of points is reachable from a starting region.If we focus on semi-algebraic hybrid automata the reachability problem is semi-decidable. However, high computational costs have to be afforded to solve it. We analyse this problem by exploiting some existing tools and we show that even simple examples cannot be efficiently solved. It is necessary to introduce approximations to reduce the number of variables, since this is the main source of runtime requirements. We propose some standard approximation methods based on Taylor polynomials and ad hoc strategies. We implement our methods within the software SAHA-Tool and we show their effectiveness on two biological examples: the Repressilator and the Delta-Notch protein signaling.     

Activity labeling in process modeling: Empirical insights and recommendations

Few studies have investigated the factors contributing to the successful practice of process modeling. In particular, studies that contribute to the act of developing process models that facilitate communication and understanding are scarce. Although the value of process models is not only dependent on the choice of graphical constructs but also on their annotation with textual labels, there has been hardly any work on the quality of these labels. Accordingly, the research presented in this paper examines activity labeling practices in process modeling. Based on empirical data from process modeling practice, we identify and discuss different labeling styles and their use in process modeling praxis. We perform a grammatical analysis of these styles and use data from an experiment with process modelers to examine a range of hypotheses about the usability of the different styles. Based on our findings, we suggest specific programs of research towards better tool support for labeling practices. Our work contributes to the emerging stream of research investigating the practice of process modeling and thereby contributes to the overall body of knowledge about conceptual modeling quality.     

Connecting the 3D DGS Calques3D with the CAS Maple

Many (2D) Dynamic Geometry Systems (DGSs) are able to export numeric coordinates and equations with numeric coefficients to Computer Algebra Systems (CASs). Moreover, different approaches and systems that link (2D) DGSs with CASs, so that symbolic coordinates and equations with symbolic coefficients can be exported from the DGS to the CAS, already exist. Although the 3D DGS Calques3D can export numeric coordinates and equations with numeric coefficients to Maple and Mathematica, it cannot export symbolic coordinates and equations with symbolic coefficients. A connection between the 3D DGS Calques3D and the CAS Maple, that can handle symbolic coordinates and equations with symbolic coefficients, is presented here. Its main interest is to provide a convenient time-saving way to explore problems and directly obtain both algebraic and numeric data when dealing with a 3D extension of “ruler and compass geometry”. This link has not only educational purposes but mathematical ones, like mechanical theorem proving in geometry, geometric discovery (hypotheses completion), geometric loci finding… As far as we know, there is no comparable “symbolic” link in the 3D case, except the prototype 3D-LD (restricted to determining algebraic surfaces as geometric loci).     

管理信息系统课程教改研究

本文针对当前管理信息系统课程所存在的教学内容陈旧落后、缺乏针对性,教学方法单一枯燥,教学实践环节薄弱等问题,根据笔者自身多年的教学经验,提出更新教学内容、改进教学方法以及优化实践环节的教学改革思路和方案。     

比较教学法在操作系统教学中的应用与实践

针对操作系统课程相似概念难懂、易混淆所造成知识点之间产生负迁移的问题,本文提出将位于不同层次、不同模块的相似知识点放在一起进行比较的教学方法。从课程教学内容中选择出涉及系统功能、设计技术、存储资源管理、安全保护和硬件支持等五个方面的典型相似概念、算法和技术,结合讨论式和启发式等多种教学方式,分辨其异同,分析其联系,使学生从整体上把握操作系统的结构原理和设计技术,教学实践表明其教学效果很好。