Induction in the Timed Interval Calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine.     

Implicit, long-term spatial contextual memory.

Learning and memory of novel spatial configurations aids behaviors such as visual search through an implicit process called contextual cuing (M. M. Chun & Y. Jiang, 1998). The present study provides rigorous tests of the implicit nature of contextual cuing. Experiment 1 used a recognition test that closely matched the learning task, confirming that memory traces of predictive spatial context were not accessible to conscious retrieval. Experiment 2 gave explicit instructions to encode visual context during learning, but learning was not improved and conscious memory remained undetectable. Experiment 3 illustrates that memory traces for spatial context may persist for at least 1 week, suggesting a long-term component of contextual cuing. These experiments indicate that the learning and memory of spatial context in the contextual cuing task are indeed implicit. The results have implications for understanding the neural substrate of spatial contextual learning, which may depend on an intact medial temporal lobe system that includes the hippocampus (M. M. Chun & E. A. Phelps, 1999). (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

事件日志的批量迹与过程模型的多视角对齐方法

在业务过程发现的一致性检测中,现有事件日志与过程模型的多视角对齐方法一次只能获得一条迹与过程模型的最优对齐;并且最优对齐求解中的启发函数计算复杂,以致最优对齐的计算效率较低。为此,提出一种基于迹最小编辑距离的、事件日志的批量迹与过程模型的多视角对齐方法。首先选取事件日志中的多条迹组成批量迹,使用过程挖掘算法得到批量迹的日志模型;进而获取日志模型与过程模型的乘积模型及其变迁系统,即为批量迹的搜索空间;然后设计基于Petri网变迁序列集合与剩余迹的最小编辑距离的启发函数来加快A*算法;最后设计可调节数据和资源视角所占权重的多视角代价函数,在乘积模型的变迁系统上提出批量迹中每条迹与过程模型的多视角最优对齐方法。仿真实验结果表明,相比已有工作,在计算批量迹与过程模型间的多视角对齐时,所提方法占用更少的内存空间和使用更少的运行时间。该方法提高了最优对齐的启发函数计算速度,可以一次获得批量迹的所有最优对齐,进而提高了事件日志与过程模型的多视角对齐效率。     

基于强化学习的二级倒立摆控制

在模型未知和没有先验经验的条件下，采用一种改进的强化学习算法实现二级倒立摆系统的平衡控制。该学习算法不需要预测和辨识模型，能通过网络自身的联想和记忆，在线寻求最优策略。该学习算法采用基于神经网络的值函数逼近，并用直接梯度和适合度轨迹修正权值，有效实现对连续状态和行为空间任务的控制。计算机仿真证明了该强化学习算法在较短的时间内即可成功地学会控制直线二级倒立摆系统。     

Mobile Agent的两种安全机制

安全性在电子交易系统中是一个至关重要的问题，该文对传统的电子商务和基于MobileAgent的电子交易的安全问题进行了比较，提出了在Grasshopper平台下采用时间限制的黑箱安全机制和加密跟踪的方法扩展平台本身的安全性，确保了Grasshopper平台在实现电子交易过程中整个系统的安全性。     

用Z语言形式化扩展事件踪迹图

软件体系结构被看成是现代软件技术的重要因素之一 ,而一个软件系统结构的关键就是它可以分解成组件和组件交互的规格说明。扩展事件踪迹图 (ExtendedEventsTraces ,EETs)是一种用来描述组件交互的图形技术 ,它允许我们用图来定义结构中经常发生的交互模型 ,并且在多种上下文中可实例化 ,因而可以重用。虽然EETs的图形表示很直观 ,但是语义不够精确 ,因此 ,在本文中将使用形式规格说明语言Z来形式化EETs。并且 ,给出了形式描述EETs的几个应用例子     

A circular visualization of people׳s activities in distributed teams

When working in distributed teams, it is very important to be aware of the activities of all members, since it provides hints about when they might be available for collaboration. We propose a novel visualization technique that combines several representations to show the daily patterns of team members׳ activities. It uses a 24 h circular display to facilitate international collaboration across time zones. Current calendar information can be compared to the typical patterns and reveal likely availability. User studies evaluating the tool that implements the proposed technique are reported and discussed.     

Electromyography applied to sport ergonomics

Abstract

The improvement of electromyographic (EMG) devices for the detection of electric potentials produced in voluntary complex movements and the evolution of methodological approaches to data acquisition and computerized analysis of patterns, are responsible for the increased applications of EMG in bioengineering, rehabilitation, sport and occupational biomechanics, physiology and zoology and to a lesser extent in ergonomics. This paper describes three different EMG applications related to a sport environment using three different EMG registration and data acquisition approaches.

The first study examined the relation between the swimming action in water and its simulation using training equipment on land. It was found that with respect to the mechanical aspects of dry-land equipment and to the biomechanical differences in the execution of the front crawl action on dry land and in water, based on EMG activity of the propulsion muscles, the best results were found when using devices with accommodating resistance. Recovery muscles were best imitated using isokinetics, but despite the greater effort on land, lower EMG activity was recorded than in water. It was generally observed that whenever the swimmer acted against a mechanical resistance an important pattern deviation was noted.

Second, a study to determine the influence of ski materials on the EMG muscle activity of skiers showed systematic differences between the use of racing, soft and compact skis. The results supported the idea that the soft ski should be more highly recommended than the compact or racing ski for both general and competive use.

Finally, in a third study we found that there was a very high degree of similarity in the pattern and intensity of muscle activity in both free swimming and swimming against a mechanical resistance (MAD swimming), even though the kinesiological aspects of the movement trajectory were proved different beforehand.