机载海洋激光测深仪实时测控系统实现

介绍了在机载海洋测深仪中，采用串行总线主－从式通信网络结构的测控系统的实现过程，讨论了实时测控系统应用软件设计过程中应该考虑的三个问题：通讯手段、线程观点，同步方法。     

Analysis of nonlinear time-delay systems using modules over non-commutative rings

The theory of non-commutative rings is introduced to provide a basis for the study of nonlinear control systems with time delays. The left Ore ring of non-commutative polynomials defined over the field of meromorphic function is suggested as the framework for such a study. This approach is then generalized to a broader class of nonlinear systems with delays that are called generalized Roesser systems. Finally, the theory is applied to analyze nonlinear time-delay systems. A weak observability is defined and characterized, generalizing the well-known linear result. Properties of closed submodules are then developed to obtain a result on the accessibility of such systems.     

数字通信网中的同步技术及其应用

阐述了网同步的概念、原理及构成，以华为公司SYNLOCK系统为例介绍了BITS设备的构成与原理，以及SYNLOCK在衡水供电公司的应用情况。     

京津唐电力通信数字同步网的组网及应用

论文通过对京津唐电力通信网数字同步网的介绍，论述了同步网的组网原则及其实施的方案。     

方波电压法测量液体介质低tanδ值的原理和技术关键（续）

介绍了方波电压法测量液体介质tanδ的原理。分析了实现这一测量方法的技术关键。在测量系统的超稳时间、测量时间的控制、测量系统各参数的设置和电流测量仪器选用等方面，提出了通过实践验证的计算方法和解决方案，并证实该方法是测量液体介质低tanδ值，提高测量的分辨率和准确度一个有效途径。     

A shared process model for independent and synchronized e-business transactions

Two of the most essential values we can expect from the application of information technology to daily business practices are speed and credibility. When it comes to business-to-business (B2B) interactions, these virtues play a role of primary driving forces on the ongoing and ever-increasing innovation in manufacturing operation and business transactions. All too often the achievement of the virtues requires reconciliation of two seemingly conflicting objectives, independence and synchronization. The industry as a whole seems to be seeking a breakthrough to this issue in a bunch of de facto standards. In this paper, we analyze the rationale laid behind the current standards based on the review of B2B principles and propose how to articulate the standards with existing IT infrastructures.     

A Notation and Logic for Mobile Computing

We define a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pattern of connectivity among the components changes as they move in and out of proximity. The definition is general enough to encompass a system of mobile hosts moving in physical space as well as a system of migrating software agents implemented on a set of possibly non-mobile hosts. In this paper, we present Mobile UNITY, a notation for expressing mobile computations and a logic for reasoning about their temporal properties. Our goal is to find a minimalist model of mobile computation that will allow us to express mobile components in a modular fashion and to reason formally about the possible behaviors of a system composed from mobile components. A simplified serial communication protocol among components which can move in space serves as an illustration for the notation.     

Solving multi-granularity temporal constraint networks

Many problems in scheduling, planning, and natural language understanding have been formulated in terms of temporal constraint satisfaction problems (TCSP). These problems have been extensively investigated in the AI literature providing effective solutions for some fragments of the general model. Independently, there has been an effort in the data and knowledge management research community for the formalization of the concept of time granularity and for its applications. This paper considers a framework for integrating the notion of time granularity into TCSP, and investigates the problems of consistency and network solution, which, in this context, involve complex manipulation of the periodic sets representing time granularities. A sound and complete algorithm for consistency checking and for deriving a solution is presented. The paper also investigates the algorithm's computational complexity and several optimization techniques specific to the multi-granularity context. An application to e-commerce workflows illustrates the benefits of the framework and the need for specific reasoning tools.     

A new method for lengthening SR pulses periodicity in HLS

1IntroductionSynclirotronradiation(SR)isapowerfultoolfOrresearchinphysics,chedristryandbio1ogy.SReAnttedfromdipolemagnetisaseriesofpulseswithastrict"timestructure."ItsperiodisdeterndnedbythefrequencyofRFcavityandtheililingmodeofelectronbu-nches,sowecanadjusttheperiodofSRpulsebychangingthenUInberofelectronbunchesinstoragering.SincethestorageringofHLSisouly66mlong,thecycllcalperiodofelectron,Tc,is22ons,thatis,evenifinsinglebunchoperationmodethemakimumperiodoftheSRpulseis22Ons.However,som…     

弱同步及其在WWW上的应用

在当今世界,WWW已经成为新颖而强大的媒体,但是,现在运行于Web上的应用仍然不是完全多媒体化的.这主要是因为Internet网络是不可靠、尽力型的,无法提供数据实时传输的保证,尤其对那些大数据量的连续媒体(如视频与音频数据).因此,在Web环境中多媒体对象间的同步就变得格外复杂.该文提出了一种新颖的同步模型：弱同步.它使多媒体文档即使在多变的环境下也能获得最佳效果.在弱同步中,不仅可以定义对象间确定的时间关系,也可以定义非确定的时间关系.此外,媒体间的同步关系,如严格同步和松散同步,也可以在文档的同步描述中定义.