管道-过滤器模式的软件体系结构及其设计

软件体系结构设计给出了大规模软件复用,特别是领域复用的重要设计模式。体系结构描述了软件系统的整体组织结构与风格,对软件的性能和质量有直接的影响。管道-过滤器模式是一种面向数据流的软件体系结构。该文对这种体系结构做了深入的讨论,并结合一个具体应用给出了设计原型。     

管道-过滤器风格的并行软件可靠性建模

当前基于体系结构的软件可靠性评估技术存在2个问题：不适合具有并行性质的软件和难以分析部件级的失效恢复行为。针对这2个问题，以管道-过滤器风格的并行软件为研究对象，该文使用基于时间的Petri网分析了管道-过滤器风格的并行软件运行阶段可靠性，并根据Petri网模型的特点，提出了一种分解模型和近似求解方法。数字实例证明了该方法的有效性和简便性。     

基于管道-过滤器体系结构的编译器设计

分析了传统编译器设计中的存在问题,叙述了管道-过滤器体系结构的基本概念和特点,提出了基于管道-过滤器体系结构的编译器的设计和实现方法。     

形式化方法描述管道过滤器软件体系结构

体系结构形式化描述能为系统设计提供精确和抽象的模型,通过这个模型来分析体系结构的构成,分解和约束特征.利用形式化方法来描述软件体系结构中常见的管道过滤器风格.     

软件体系结构讲座（二）软件体系结构风格

本讲讨论在过去40年中形成的各种软件体系结构风格,包括客户机/服务器、管道—过滤器,层次体系结构,面向对象,共享信息系统等。     

基于SRN的管线软件体系结构性能分析

在软件体系结构研究领域中,风格的研究与应用是一个重要的领域.在本文中,我们引入了一种对管线体系结构风格进行性能分析的语义分析方法,以解决不可靠的构件和连接件带来的问题.该方法提供的性能评估比当前流行的方法更为逼真.     

"平台/插件"软件体系结构风格

体系结构发现是软件体系结构研究领域的一个重要方向.近年出现的“平台 插件”软件设计方法,使得发布后的软件产品可以方便地通过安装插件模块而扩展其功能.然而,迄今为止,未见资料将这种结构从软件体系结构的高度进行提炼和描述.本文提出“平台 插件”的软件设计方法是一种软件体系结构风格,并将其称为“平台/插件(Platform/Plug-in)”风格,简写为“P/P风格”.由于软件体系结构和体系结构风格的概念还没有一个标准的定义,文中首先定义了本文使用的模型和概念;研究了“平台/插件”结构应用程序的特点和分类,分析了该类程序的架构,在本文定义的软件体系结构模型的基础上,用统一建模语言UML描述了P/P体系结构风格及P/P风格软件的开发过程.本文工作为需要动态扩展功能的大型软件开发提供了一种可复用的体系结构风格,可以认为,P/P风格是可扩展和可增量升级软件系统的领域体系结构模型.     

"管道-过滤器"软件体系结构风格的形式化

许多软件系统是从体系结构的设计开始的,然而这些体系结构的设计是非形式化的。为了使软件体系结构的设计有更科学的理论基础,一个合适的形式化系统是必不可少的。而且形式化也是研究体系结构其它方面（如：软件体系结构的演化、描述语言、重用等）的最根本的基础。文章用Ｚ语言＾「４」形式化符号系统实现了“管道－过滤器”这一常用的软件体系结构风格的形式化。     

一种建模软件体系结构非功能属性的方法

非功能属性的处理一直是困扰着研究人员和实践者的难题.针对体系结构设计阶段早期,提出一种建模非功能属性的方法.该方法利用面向方面软件开发中的关注点多维分离原理,提出建模软件体系结构的"1+X"模型,并在此基础上进一步划分体系结构非功能属性的维度,归纳各个维度上的关注点,利用XML对维度和关注点进行规约.该模型为后续设计面向方面的软件体系结构奠定了基础,为体系结构设计人员提供了方法支持,而且该成果可以直接用于不同领域内的软件体系结构设计.     

一种内嵌软件传感器的双软总线体系结构研究

航空软件的逻辑结构和系统规模日趋庞大,软件可靠性保障已成为新一代航空电子综合化领域的研究热点;针对实时软件的状态监控与故障诊断问题,提出了一种基于构件技术的双软总线风格体系结构,采用面向对象方法予以建模,构建该体系结构的静态框架和动态行为,并探讨了软件传感器采集监控对象实时状态的详细设计;以某惯导系统软件为例,对双总线体系结构进行扩展和应用,实例说明了该体系结构有助于使可靠性保障软件的框架定义更加清晰,易于实现。     

On a nonlinear problem of a sequential control with a parameter

The problem of evasion of a group of moving points from a nonlinear controlled object, whose goal is consecutively approach these points in a prescribed order, is analyzed. The movement of each point is defined uniquely by a scalar parameter chosen at the initial time instant. The controlled object minimizes a certain cost function, and the group of the points, acting cooperatively, maximize this cost function by choosing the parameters. Necessary optimality conditions for parameters are obtained. A model problem of an evasion of moving points from a vehicle is solved.     

Three-Link Mechanism as a Model of a Person on a Swing

Journal of Computer and Systems Sciences International - We model movements of a person swinging on a swing. We consider a flat three-link hinged mechanism as the main mechanical model of the...     

Combining a monad and a comonad

We give a systematic treatment of distributivity for a monad and a comonad as arises in giving category theoretic accounts of operational and denotational semantics, and in giving an intensional denotational semantics. We do this axiomatically, in terms of a monad and a comonad in a 2-category, giving accounts of the Eilenberg–Moore and Kleisli constructions. We analyse the eight possible relationships, deducing that two pairs are isomorphic, but that the other pairs are all distinct. We develop those 2-categorical definitions necessary to support this analysis.     

Not a castaway but a stowaway

A portable keyboard that's no larger than my phone, that's theiGo Stowaway.     

Splitting a configuration in a simplex

This paper presents a new method of partition, named-splitting, of a point set ind-dimensional space. Given a pointG in ad-dimensional simplexT, T(G;i) is the subsimplex spanned by G and the ith facet ofT. LetS be a set ofn points inT, and let be a sequence of nonnegative integers ₁, ..., n_d+1 satisfying _i=1 ^d+1 ₁=n The-splitter of (T, S) is a pointG inT such thatT(G;i) contains at least _i points ofS in its closure for everyi=1, 2, ...,d + 1. The associated dissection is the re-splitting.The existence of a-splitting is shown for any (T, S) and, and two efficient algorithms for finding such a splitting are given. One runs inO(d²n logn + d³n) time, and the other runs inO(n) time if the dimensiond can be considered as a constant. Applications of re-splitting to mesh generation, polygonal-tour generation, and a combinatorial assignment problem are given.     

Motion control of a rotor with a cavity with a viscous fluid

A formulation and solution procedure of optimal control problems for perturbed relative uniform motion of a body with a cavity filled with a viscous incompressible fluid are proposed. In this paper, the case with a cylinder is considered; however, this approach is basically true for the a cavity of an arbitrary form. The formula for the angular velocity of perturbed motion depending on an external perturbing element is devised. After that, we have a possibility to set different optimal control problems and apply the formalism elaborated in the optimal control theory. Two illustrated problems are given.     

Building a sonar map in a specular environment using a singlemobile sensor

The physical properties of acoustic sensors are exploited to obtain information about the environment for sonar map building. A theoretical formulation for interpreting the sensor databases on the physical principles of acoustic propagation and reflection is presented. A characterization of the sonar scan that allows the differentiation of planes, corners, and edges in a specular environment is described. A single sensor mounted on an autonomous vehicle in a laboratory verifies the technique. The implications for sonar map building and the limitations of differentiating elements with one sensor are discussed