Formalization and specification for controlling process modularity in mobile computing

新的计算模式，普适计算和全局计算，正在作为高度分布式和移动计算的计算模式展现出来。这篇论文探讨了在抽象层面上支持这些新型计算模式的适合的形式化基础，关注在进程移动单位上的控制, 以便在分布式与移动计算环境下更好地协调进程的移动性。 论文的第一部分概述了针对分布式、移动计算的现有进程演算模型中的进程移动单元，并且设计了一种在此方面更优、更具弹性的进程框架。为了表示这种进程框架，我们提出了一种新的、针对移动和分布式系统的进程演算,这种进程演算的优点是动态、弹性的控制进程的移动单元；具体的思路就是扩展π- calculus以及其支持分布式和移动性的变体。我们把这种新的演算叫做Modular π-calculus。我们通过这种演算的提出来说明进程框架提供了一种针对移动进程更为合适的协调机制以及编程模型，例如移动的代理和动态组件载入的支持。之后，我们通过讨论互模拟的几种提法来具体说明能够反映演算设计的进程描述的关键，之后我们讨论了它们的具体性质。 本文的第二部分提出了一个对进程模型的行为和性质进行推理的规约框架。首先，提出了一个对Modularπ-calculus中进程的系统性质进行规约的模态逻辑。为了更好的理解该逻辑，文中对由这个逻辑推出的进程等价的特征进行了研究，并且证明了该逻辑的区分能力介于互模拟和结构一致之间。接下来关于这个规约框架的自动化，本文针对该逻辑和Modular π-calculus的有限控制子集，提出了模型检测算法，并且给出了算法正确性的证明。同时文中贯穿了一些实际且直观的例子，以展现本文提出的一组框架即演算、逻辑和模型算法的有效性。

The relation between formal potential and structure of indophenols and molecular mechnism of electrooxidation

The molecular structural parameters of indophenol and its derivatives were calculated by semi-empirical molecular orbital quantum chemical method,The relation between molecular structural parameters and formal potentials was analyzed by principal factor analysis and multiple Linear regression method. It was found that the formal potential of indophenols has a good relation with two-center electron exchange energy, E-ex (2), resonance energy of O-C bond, E-ex (C-1-O), and molecular ionization potential, I-p, among 19 moleclular structural parameters. The regression equation is E-0' = 1. 47 x 10 (-3) E-ex (two) - 5. 74 x 10 (-2) E-ex (C-1 - O) - 1. 41 x 10 (-2) I-p with RC = 0. 9999 and SD = 0. 00424. It was confirmed by the relation between structure parameters and formal potentials, and the thermodynamic stability of its intermediate products that the H (+) ionization is prior to the electron transfer step in the oxidation mechanism.

团队有效性：协作行为与作业特征作用机制研究

Organizations are increasingly turning to team-based structures to contend with the pressure of the increasing global competition, consolidation, innovation and need for diverse skills, expertise, and experiences. This ongoing transformation in the basic organization of work has captured the attention of researcher. And group and team research has become increasingly centered in the fields of organizational psychology and organizational behavior since the 1990s. A great deal empirical studies were conducted; a number of variables contributing to team effectiveness and several IPO models were summarized. But teamwork behaviors, the dynamic and adaptive interactions among team members during the task completion, were still very vague. So were the team task characteristics, an important input variable of the IPO models. The effects of team task characteristics and teamwork behaviors on team effectiveness were explored according to IPO model on the basis of the reviews on previous studies, the Hierarchical Conceptual Structure of Teamwork Behaviors (Rousseau et al.,2006), and the task characteristic theory(Hackman & Oldman, 1975). The questionnaire data from 479 team members and 110 team managers of 22 organizations were analyzed. The results indicate: A. Teamwork behaviors consist of 13 behavioral dimensions: team mission analysis, goal specification, planning, coordination, cooperation, information exchange, performance monitoring, backing-up behaviors, intra-team coaching, collaborative problem solving, team practice innovation, psychological support and integrative conflict management. The hierarchical conceptual structure was partly supported with five variable identified, i.e., preparation of work accomplishment, task-related collaborative behaviors, work assessment behaviors, team adjustment behaviors and the management of team maintenance. The formal four variables are in a sequential way. B. The task characteristic theory at individual level is applicable to the team level. This means that the team task characteristics consist of task variety, identity, significance, feedback, autonomy, interdependence. C. The correlations among task characteristics, teamwork behaviors and outcomes support the IPO model. The regulation of team performance mediated the effects of task meaningfulness and interdependence on team outcomes, with the direct effects of task meaningfulness on the preparation behaviors and the direct effects of interdependence on the task-related collaborative behaviors. The management of team maintenance mediated the effects of autonomy on team cohesion and satisfaction. The regulation of team performance has a direct effect on the team performance and the management of team maintenance. And the management of team maintenance has a direct effect on the team attitude and the regulation of team performance.