也谈“以寡趣本务而趋末作”

在讲解王力先生《古代汉语》的过程中,其中的个别注解经过反复推敲,终觉可使更加完美。《韩非子·五蠹》"以寡趣本务而趋末作"中,结合当时社会实际,"寡趣本务而趋末作"当为当时常见之现象。"以"是解说这句话的关键,当释为连词"因为"。

Dynamic business process modeling and verification for inter-organizational collaboration

To achieve an on-demand and dynamic composition model of inter-organizational business processes, a new approach for business process modeling and verification is introduced by using the pi-calculus theory. A new business process model which is multi-role, multi-dimensional, integrated and dynamic is proposed relying on inter-organizational collaboration. Compatible with the traditional linear sequence model, the new model is an M x N multi-dimensional mesh, and provides horizontal and vertical formal descriptions for the collaboration business process model. Finally, the pi-calculus theory is utilized to verify the deadlocks, livelocks and synchronization of the example models. The result shows that the proposed approach is efficient and applicable in inter-organizational business process modeling.

To establish CMOC China as an important component of marine data and service international cooperation in China

JCOMM has strategy to establish the network of WMO-IOC Centres for Marine-meteorological and Oceanographic Climate Data （CMOCs） under the new Marine Climate Data System （MCDS） in 2012 for improving the quality and timeliness of the marine-meteorological and oceanographic data, metadata and products available to end users. China as a candidate of CMOC China has been approved to run on a trial basis after the 4th Meeting of the Joint IOC/WMO Technical Commission for Oceanography and Marine Meteorology （JCOMM）. This article states the developing intention of CMOC China in the next few years through the brief introduction to critical marine data, products and service system and cooperation projects in the world.

Analysis and modeling of web services flow using π-calculus

In order to increase the effectiveness and the reliability of web services flow, the ~r-calculus formal method is introduced as a development language for web services flow. The π-calculus overcomes inabilities of web service flow languages in demonstrating the consistency, validating the correctness and so on. The π- calculus analysis and modeling of web services flow is presented, the dynamic actions and basic activities of WS-BPEL with π-calculus formally are described, and the mapping from π-calculus expression to WS-BPEL is built. The basic construction of web services flow with the π-calculus method after the analysis of the syntax of WS-BPEL and inter-description between WS-BPEL and π-calculus is expressed. Also discussed are the approaches to web services flow by modeling from different views, and the proposed approaches through the development and modeling of an e-commerce web service flow application are illustrated.

存在主义哲学在日本

第二次世界大战以后,西方资产阶级思潮,尤其是存在主义哲学思潮象潮水一般地涌向日本,在日本人民中,特别是在青年中造成了极坏的影响,致使有一些人们悲观、失望、为所欲为,按“自由意志”行事。日本战后十多年来,其青少年犯罪曾出现过三次高潮;1951年出现了犯罪的第一高峰,这是由于二次大战后的社会动荡、混乱,存在主义思潮在日本占据了统治地位所引起的;1964年出现了犯罪的第二次高峰,是由于日本经济高速发展和历史上一些旧的观念、风俗发生冲突,存在主义思潮和宗教紧密结合,腐蚀青少年的心灵;1970年至今,也就是七八十年代,出现了第三次犯罪高峰,日本经济在此时虽跃居于世界先进水平,物质极大丰富。但是,青少年的品德修养水平每况愈下,存在主义思潮与黄色文化充斥街头。仅1986年日本的14—20岁的犯罪青少年就有185373人,比1976年增加60%。据日本警察厅最近公布的统计数字,日本去年自杀者就有2446人,平均每天有65人自杀。这反映了存在主义及其生死观在日本的影响。

Optimal pricing and production decisions in a supply chain with e-marketplace

The concept of the e-marketplace is introduced.Considering a supply chain with a single manufacturer who sells a single item in an e-marketplace,an analytical model for the use of the e-marketplace in a supply chain is provided.Assuming the market demand is stochastic and price-dependent,the conditions under which the manufacturer and the e-marketplace owner share the market in equilibrium is developed.The existence and uniqueness of the optimal selling price,quantity and transaction percentage are proved.An integrated supply chain is put forward,and then the efficiency of supply chain coordination is studied by comparing the integrated supply chain with the decentralized supply chain.To gain further insights on the theoretical models,extensive simulations are then carried out.

Modeling and performance evaluation of QoS-aware job scheduling of computational grids

To achieve high quality of service （QoS） on computational grids, the QoS-aware job scheduling is investigated for a hierarchical decentralized grid architecture that consists of multilevel schedulers. An integrated QoS-aware job dispatching policy is proposed, which correlates priorities of incoming jobs used for job selecting at the local scheduler of the grid node with the job dispatching policies at the global scheduler for computational grids. The stochastic high-level Petri net （SHLPN） model of a two-level hierarchy computational grid architecture is presented, and a model refinement is made to reduce the complexity of the model solution. A performance analysis technique based on the SHLPN is proposed to investigate the QoS-aware job scheduling policy. Numerical results show that the QoS-aware job dispatching policy outperforms the QoS-unaware job dispatching policy in balancing the high-priority jobs, and thus enables priority-based QoS.

Problem of interoperability in semantic web service system

In order to fully realize semantic interoperability among distributed and heterogeneous applications on the web, a set of effective interoperability mechanisms is presented. This mechanism adopts service interactive interfaces （SII） and service aggregative interfaces （SAI） modeled with abstract state machine （ASM） to abstractly describe the behavior of the invoked web service instances, which makes business processing accurately specify tasks and effectively solves the problems of communication and collaboration between service providers and service requesters. The mechanism also uses appropriate mediators to solve the problems of information and coinmunication incompatibility during the course of service interaction, which is convenient for service interoperability, sharing and integration. The mechanism＇ s working principle and interoperability implementation are illustrated by a use case in detail.

The Enlightment on Task-based Teaching Derived from Input Hypothesis

Aiming at gradually developing and perfecting the task-based teaching method, the essay, with enlightment from the Krashen＇s Input Hypothesis, discusses some issues about input, output, activities and teacher＇s role in this method.

Dynamic hierarchy description and constraint rules of flexibility workflow

A dynamic hierarchical description method for workflow is presented. The method provides a dynamic hierarchical way to define a workflow with non-determinate or dynamic factors. With this method, the main process defined at build-time can be reified and extended by the principle of the sub-organizations at either the build-time or the run-time. To ensure the consistency and integrity of the description, a series of constraint rules are also discussed to realize seamless integration between a decomposed process and its original one. This approach supports the description of unpredictable uncertainties, the dynamic hierarchy of business process, and the dynamic modification of enterprise organizations, and all of these improve the flexibility and extendability of workflow management systems dramatically.

Building GIS Web Services on JXTA Network

In recent years, Web services and Peer-to-Peer (or simply P2P) appear as two of the hottest research topics in network computing. On the one hand, by adopting a decentralized, network-based style, P2P technologies can make P2P systems enhance overall reliability and fault-tolerance, increase autonomy, and enable ad-hoc communication and collaboration. On the other hand, Web services provides a good approach to integrate various heterogeneous systems and applications into a cooperative environment. This paper presents the techniques of combining Web services and P2P technologies into GIS to construct a new generation of GIS, which is more flexible and cooperative. As a case study, an ongoing project JGWS is introduced, which is an experimental GIS Web services platform built on JXTA. This paper also explores the schemes of building GIS Web services in a P2P environment.

Trade-offs and Synergies of Ecosystem Services in the Taihu Lake Ba- sin of China

Understanding the spatial interactions among multiple ecosystem services is crucial for ecosystem services management. Ecosystem services, including crop production, freshwater supply, aquatic production, net primary production, soil conservation, water conservation, flood regulation, forest recreation, were measured at 1-km grid scale covering the Taihu Lake Basin(TLB) of China. Our objective is to get a comprehensive understanding of the spatial distributions, trade-offs, synergies of multiple ecosystem services across the TLB. Our results found that: 1) majority of ecosystem services were clustered in space and had a similar spatial distribution pattern with the geographical resource endowment. Most of the landscape contributed a high supply of no services, one or two, and a low supply of three to seven services. 2) There were high correlation between forest recreation and freshwater supply and regulating services. Aquatic production had low correlation with other services. 3) The changes of provisioning services led to trade-offs between regulating services and cultural services in the TLB, while synergies mainly occurred among the provisioning service. 4) The spatial relationships of multiple services are consistent at 1-km spatial scale, counties and provinces. This research could help integrate multiple ecosystem services across scales and serve as a reference for decision making.

A Study of Perfecting Cognitive Structure and Improving Writing Skills

The paper is purposed to promote students＇ writing skills and help them perfect their cognitive structure at the same time by designing some writing tasks. The tasks are based on the contents of the teaching materials, and students can get involved in the activities by thinking critically.

A Sensor-Service Collaboration Approach for Target Tracking in Wireless Camera Networks

Mobile target tracking is a necessary function of some emerging application domains, such as virtual reality, smart home and intelligent healthcare. However, existing portable devices for target tracking are resource intensive and high-cost. Camera tracking is an effective location tracking way for those emerging applications which can reuse the existing ubiquitous video monitoring system. This paper proposes a dynamic community-based camera collaboration(D3C) framework for target location and tracking. The contributions of D3C mainly include that(1) nonlinear perspective projection model is selected as the camera sensing model and sequential Monte Carlo is employed to predict the target location;(2) a dynamic collaboration scheme is proposed, it is based on the local community-detection theory deriving from social network analysis. The performance of proposed approach is validated by both synthetic datasets and real-world application. The experiment results show that D3C meets the versatility, real-time and fault tolerance requirements of target tracking applications.

Distributed collaborative CAD system based on Web Service

This paper presents a novel Web Service based distributed collaborative CAD system employing feature as its collaborative design element and uses XML to define feature operations and communication protocol between the server and the client. To reduce network load and increase response ability of the system, the feature information is updated incrementally on the client. The system supports collaborative designing on heterogeneous platforms. Its framework and communication protocols are analyzed in detail. The experimental results from the developed prototype system showed that it can effectively support collaborative design under the distributed environment.

Theil Utility Based Multi-Device Cooperation Mechanism for Service Quality Equilibrium in Ubiquitous Stub Environments

An approach to make heterogeneous devices cooperate with each other to provide ubiquitous service remains a longstanding challenge in ubiquitous environments. In addition, when multi-user request ubiquitous services simultaneously, the arbitrariness in resource allocation process easily leads to non-equilibrium of qualities of multiuser's services. Thus, How to design an effective heterogeneous devices cooperation mechanism that meet the QoS requirements and also equilibrate QoS among multi-user's services becomes a very tough problem. In the paper, Equilibrium Index and Theil Utility function are imported to establish a multidevice equilibrium cooperation model, which is benefit for resource allocation in ubiquitous environments. Then a Theil-Equilibrium based Cooperation Mechanism for multi-service is proposed. Firstly, in order to simplify calculating, a dimensionless processing is introduced. After that, a cooperation approach with Theil-Utility Heuristic algorithm is designed to choose the best solution for the simplified model. At last, the mechanism is simulated in a smart home scenario. The simulation results show that this mechanism outperforms non-equilibrium method by improving almost 40% in internal equilibrium with just reducing 0-2% in the total utility ofall the requested ubiquitous services. These data show that the proposed mechanism performs well in equilibrating qualities of multi-user's ubiquitous services.

Trust assessment of business service workflow based on complex trust network

For business service workflow,QoS-based services selection can't guarantee whether the composite service satisfies user' s requirement after delivery,because once any service interrupts or quality of service(QoS) maliciously reduces,the quality of workflow will be reduced.Trustworthy services can provide reliable QoS,so trustworthiness research could improve the efficiency of services selection.This paper investigates trust assessment in the perspective of workflow.Firstly,trust network of business service workflow(TN-BSW) is proposed to analyze trust attributes;then,the trust measurement system of TN-BSW is investigated to assess the trust value quantitatively;and then,a trust-aware service recommendation model(TaSRM) is proposed to enhance the efficiency of QoS-basedservices selection;finally,experiment shows the feasibility of TN-BSWand the performance of TaSRM.

A unitary caring science resilience-building model:Unifying the human caring theory and research-informed psychology and neuroscience evidence

Resilience is the psychological capability to recover from difficulties quickly.Healthcare professionals are especially vulnerable to job-related stress and burnout.Unitary Caring Science is the framework for Watson’s Human Caring Theory,providing a philosophy of practice in healthcare.With the high rates of clinician burnout and psychological issues,it will be significant to unify the human caring theory with research-informed psychological and neuroscience evidence to develop clinicians’resilience-building strategies.The purpose of this article is to introduce a Unitary Caring Science Resilience Model and explain the science behind the core strategies based on Unitary Caring Science philosophy and the psychological and neuroscience research.This model includes six strategies:Embracing loving-kindness for self and others;Nurturing interpersonal and intersubjective connections/relations;Deepening a creative use of self and sense of belonging;Balancing self-learning,self-awareness,and an evolved selfconsciousness;Valuing forgiveness and releasing negativity;Inspiring and maintaining faith-hope.The caring-theory guided resilience-building strategies are proven to alleviate the depletion of clinicians’energy and emotions.Healthcare practices are challenging but rewarding.Clinicians can be emotionally,psychologically,and physically exhausted if they always consider themselves‘giving’and‘doing’institutional tasks without a sense of purpose or fulfillment.The practice can be rewarding if it becomes more aligned with clinicians’value to serve humanity.Through the unitary caring science resilience strategies,clinicians can build resilience as an antidote to clinician burnout and depletion.

Ascent schedules,acute altitude illness,and altitude acclimatization:Observations on the Yushu Earthquake

During the Yushu Earthquake on April 14,2010,a large number of rescuers from sea level or lowlands ascended to the quake areas very rapidly or rapidly less than 24 h. However,Yushu Earthquake is the highest quake in the world at altitudes between 3 750 m and 4 878 m where is a serious hypoxic environment. A high incidence of acute altitude illness was found in the unacclimatized rescuers;the mountain rescue operation changed as "rescue the rescuers". Lesson from the Yushu Earthquake is that the occurrence of acute altitude illness may be closely related to the ascent schedules. This prompted us to study the relationship between ascent rate and the incidence and severity of acute altitude illness;five different groups were compared. The first group was 42 sea level male young soldiers who ascended to quake area very rapidly within 8 h at 4 000 m;the second group was 48 sea level male young soldiers who ascended to 4 000 m rapidly less than 18 h;the third group was 66 acclimatized medical workers from 2 261 m who ascended to 4 000 m rapidly within 12 h;the fourth group was 56 Tibetan medical workers from 2 800 m who ascended to 4 000 m rapidly within 8 h;the fifth group was 50 male sea level workers who ascended to 4 000 m gradually over a period of 4 d. The results showed that the sea level rescuers ascended to 4 000 m very rapidly or rapidly had the highest incidence of acute mountain sickness (AMS) with the greatest AMS scores and the lowest arterial oxygen saturation (SaO2);the sea level workers ascended to 4 000 m gradually had moderate incidence of AMS with moderate AMS scores and SaO2 values;whereas the acclimatized and adapted rescuers had the lowest incidence of AMS,lowest AMS scores and higher SaO2;especially none AMS occurred in Tibetan rescuers. AMS score is inversely related to the ascent rate (r=-0.24,p< 0.001). Additionally,acute altitude illness is significantly influenced by altitude acclimatization. The ascent rate is inversely re- lated to the period of altitude acclimatization whereas the time of perfect recovered from AMS is positively correlated to the time taken to acclimatize. Generally,the best means of preventing acute altitude illness is slow and gradual ascent to high altitude,as this allows time for establishing altitude acclimatization and tolerance to the hypoxic environment. However,during an emergency circumstance,such as mountain rescue operation,the rescuers must rapidly ascend to high altitude,so a series of preventive strategies including pre-acclimatization,using some prophylactic drugs and oxygen supplementary are sorely necessary.