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.     

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

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

规范房地产市场研究

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

基于用户社群关系的Web服务发现研究

Web service discovery was the key problem in the study of the Web application.Multiple user community relations between each other on the result of Web service discovery was studied,the user community relations was decomposed into predilection relation,clustering and trust relation,while describing the methods of formalization.Based on the formalized community relations a differential service discovery strategy was put forward,a Web service discovery system framework was built,which can retrieve or recommend candidate Web services step by step to produce the final result according to the “from strong to weak” principle in terms of the correlation between Web service and the user interest background.The experimental results show that proposed method can effectively improve the efficiency and precision of Web service discovery.     

基于SAT的安全协议惰性形式化分析方法

提出了一种基于布尔可满足性问题的安全协议形式化分析方法SAT-LMC,通过引入惰性分析的思想优化初始状态与转换规则,提高了安全性的检测效率。另一方面,通过在消息类型上定义偏序关系,SAT-LMC能够检测出更丰富的类型缺陷攻击。基于此方法实现了一个安全协议分析工具,针对Otway-Rees协议检测出了一种类型缺陷攻击;针对OAuth2.0协议,检测结果显示对现实中存在的一些应用场景,存在一种利用授权码截取的中间人攻击。     

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.     

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.     

单向网络安全设备的分析与证明

单向网络安全设备是不同密级间网络信息传输的主要安全设备。为保证单向网络安全设备内部的安全性和通信系统的安全性，分析了单向网络安全设备的安全需求，提出无干扰模型形式化建模，用数学归纳法证明单向网络安全设备安全需求与形式化策略规约的一致性；并针对单向网络安全设备存在的安全隐患进行分析与讨论，总结出更加完善安全策略，确保信息安全。这为单向网络安全设备的安全性设计提供了一定的借鉴意义。     

粒的特征及形式化表示研究

为了能为粒计算的粒提供一种统一的表示形式,研究了粒的特征的基本含义、描述及其关系,分析了粒的对象、特征、关系及状态等四个基本要素,提出了基于数据层面的粒的四元组的形式化表示形式,即由对象集、特征集、关系集和约束集四元组组成。接着给出了几个特殊粒的表示形式,然后说明了该表示形式的统一性及其优点,并结合具体的例子进行了研究。该形式化表示形式具有重要的方法论意义,很好地解决了基于数据层面的粒的表示问题,有利于问题求解和粒计算理论的研究。     

云计算环境中结构化文档形式化建模

结构化文档是云计算环境中实现信息交互与传播的载体,针对已有研究工作缺乏能够描述这种载体的结构化文档模型的问题,在深入分析云计算环境中结构化文档特征的基础上,对文档元素、原子文档元素、连接、文档片段、复杂文档元素等进行形式化定义,建立能够满足这种特征的结构化文档形式化模型。最后,指出云计算环境中结构化文档进一步的研究方向。