基于XML的富媒体发布流程的优化及比较

介绍了富媒体内容对网络服务器所带来的负载压力．在对负载类型进行统计分析的基础上,详细阐述了优化后富媒体发布方式的页面解析规则、实现过程,以及安全性设置．并测试和比较了传统发布方式和优化后的发布方式对服务器造成的负载压力．     

Formalization of interrelations between operators and data within the framework of an extended algebra of algorithms

A system of algorithmic algebras is considered whose basic concepts are newly interpreted to formalize the interrelation between operators and data of such a system. A modified formal instrument is constructed that extends the possibilities of design and transformation of regular schemes of algorithms. Translated from Kibernetika i Sistemnyi Analiz, No. 6, pp. 170–182, November–December 2008.     

规范房地产市场研究

房地产是国民经济支柱产业，房地产市场是房地产经济活动和运行的载体。我国当代房地产市场形成的时间较晚，但是发展的速度很快，与国外相比，我国房地产市场还很不规范，这些问题不解决，必将影响我国房地产经济的健康发展，同时也会给国民经济的发展造成不利影响。     

Generating three-tier applications from relational databases: a formal and practical approach

This article describes a method for building applications with a three-tier structure (presentation, business, persistence) from an existing relational database. The method works as a transformation function that takes the relational schema as its input, producing three sets of classes (which depend on the actual system being reengineered) to represent the final application, as well as some additional auxiliary classes (which are ‘constant’ and always generated, such as an ‘About’ dialog, for example). All the classes generated are adequately placed along the three-tiers.The method is based on (1) the formalization of all the sets involved in the process, and (2) the mathematical formulation of the required functions to get the final application. For this second step, we have taken into account several well-known, widely used design and transformation patterns that produce high quality designs and highly maintainable software.The method is implemented in a tool that we have successfully used in several projects of medium size. Obviously, it is quite difficult for the obtained software to fulfill all the requirements desired by the customer, but the uniformity and understandability of its design makes very easy its modification.     

Computation of words satisfying the “rhythmic oddity property” (after Simha Arom's works)

This paper addresses the problem of enumerating all words having a combinatoric property called “rhythmic oddity property”. This enumeration is motivated by the fact that this property is satisfied by many rhythmic patterns used in traditional Central African music.     

嵌入式建模中带有时间扩展的UML状态图的形式化方法

面向对象建模语言UML(Unified Modeling Language)已广泛用于嵌入式系统建模,但它在嵌入式实时系统建模时存在概念模型形式化复杂和状态图对时间约束方面的建模功能不强的问题,针对这些问题,提出一种对UML状态图进行时间扩展的方法,并提出利用"可执行UML"对带有时间扩展的UML状态图形式化的方法.     

程序设计语言的一种自动编译器

本文介绍一种简单而又直观的程序设计语言的编译器，我们主要讨论如何语义动作嵌入到文法产生式内，当分析过程时，如何执行相应语义子程序，以实现地程序设计语言的自动翻译。     

一种尺寸与公差的表达模式

提出了一种尺寸与公差的形式化表达模式,在定义尺寸与公差说明中,引入并构造了零件公称形状的尺寸与公差元素集及与其相应的实际元素集和外部拟合元素集,以进行尺寸与公差检测。     

合同原子性及ACAP协议的实现

针对Tygar提出的电子商务协议3级原子性：钱原子性、商品原子性及确认发送原子性,首次提出了一个更高层次的合同原子性概念,并引进了合同自动执行和自动仲裁概念,同时对合同的形式化描述问题及合同原子性协议的实现模型做了初步探讨,最后给出了一个满足合同原子性的电子商务协议ACAP及其实现方案,并对ACAP的匿名性、安全性、原子性做了分析。     

基于DTE策略的安全域隔离Z形式模型

基于DTE策略的安全域隔离技术是构造可信系统的基本技术之一.但现有DTE实现系统存在安全目标不明确、缺乏对系统及其安全性质的形式定义和分析的缺点,导致系统安全性难以得到保证.定义了一个基于DTE策略的安全域隔离模型,采用Z语言形式定义了系统状态、基于信息流分析的不变量和安全状态,并借助Z/EVES工具给出验证系统安全的形式分析方法.解决了DTE系统的形式化建模问题,为安全域隔离技术的实现和验证奠定了基础.