RBAC模型中角色的继承与互斥问题的研究

RBAC (Role-Based Access Control)maps naturally to an organization's structure and facilitates safety administration by separating logically users and permissions via roles as well as constructing role hierarchies, and therefore RBAC offers a powerful means of specifying access control decisions and is attracting increasing attention. In role hierarchies of RBAC,superroles inherit all properties and permissions of subroles. This paper classifies role inheritance into two types : generalization inheritance and supervision inheritance . Furthermore, it outlines two problems in relation to role inheritance :one is how to maintain data integrity,another is how to reduce the effect of absent roles on the normal running of the system. At last ,this paper discusses solutions to them 。RBAC is attracting increasing attention as a security mechanism .Separation of duty is an important safety requirement which is implemented by means of mutual exclusion of roles in RBAC. This paper presents a basic RBAC model,then explores some properties of mutual exclusion of roles,which helps enforcing security policies efficiently. At last ,this paper describes how mutual exclusion of roles affects role hierarchies.     

A Logical Design Method for Relational Databases Based on Generalization and Aggregation Semantics

In this paper,a series of esign methods for relational databases based on generalization and aggregation semantics is set up.The relationship between a class and its subclass s considered as a scheme constraint.The concept of inheritance dependencies,which describes the multiple inheritance among schemes, is presented in the paper.It is shown that the inference rules for inheritance dependencies are sound and complete.Furthermore,a series of results about the closure of inheritance dependencies and the minimal set of inheritance dependencies,which are analogues to functional dependencies,is obtained.In order to describe the aggregation semantices,the concept of aggregation dependencies is given.It is easy to implement these constraints under relational database management systems.     

演绎面向对象数据库语言中的方法研究

方法和方法继承是面向对象的核心概念.本文介绍了约束演绎对象语言CDOL(constraint deductive object language)中方法的概念及定义，方法是作为规则定义的，它既可作为对象的接口，又可用来实现计算的抽象与共享，方法的继承和多态是通过类型机制和合一机制来实现的.     

On Logical Foundations of Multilevel Secure Databases

It is envisaged that the application of the multilevel security (MLS) scheme will enhance flexibility and effectiveness of authorization policies in shared enterprise databases and will replace cumbersome authorization enforcement practices through complicated view definitions on a per user basis. However, the critical problem with the current model is that the belief at a higher security level is cluttered with irrelevant or inconsistent data as no mechanism for attenuation is supported. Critics also argue that it is imperative for MLS database users to theorize about the belief of others, perhaps at different security levels, an apparatus that is currently missing and the absence of which is seriously felt.The impetus for our current research is the need to provide an adequate framework for belief reasoning in MLS databases. In this paper, we show that these concepts can be captured in a F-logic style declarative query language, called MultiLog, for MLS deductive databases for which a proof theoretic, model theoretic and fixpoint semantics exist. This development is significant from a database perspective as it now enables us to compute the semantics of MultiLog databases in a bottom-up fashion. We also define a bottom-up procedure to compute unique models of stratified MultiLog databases. Finally, we establish the equivalence of MultiLog's three logical characterizations—model theory, fixpoint theory and proof theory.     

新型城镇化视角下的流域文化保护路径研究——以辽河流域沈阳段为例

以流域为空间界定,以城乡统筹为研究背景,结合辽河流域文化的保护与发展实践,试图探索出打破行政区域概念的、立足于城乡发展的流域文化保护策略和方法,以此树立和强调"流域型文化遗产"的保护观念。     

Leaf-to-Whole Plant Spread Bioassay for Pepper and Ralstonia solanacearum Interaction Determines Inheritance of Resistance to Bacterial Wilt for Further Breeding

Bacterial wilt (BW) disease from Ralstonia solanacearum is a serious disease and causes severe yield losses in chili peppers worldwide. Resistant cultivar breeding is the most effective in controlling BW. Thus, a simple and reliable evaluation method is required to assess disease severity and to investigate the inheritance of resistance for further breeding programs. Here, we developed a reliable leaf-to-whole plant spread bioassay for evaluating BW disease and then, using this, determined the inheritance of resistance to R. solanacearum in peppers. Capsicum annuum ‘MC4′ displayed a completely resistant response with fewer disease symptoms, a low level of bacterial cell growth, and significant up-regulations of defense genes in infected leaves compared to those in susceptible ‘Subicho’. We also observed the spreading of wilt symptoms from the leaves to the whole susceptible plant, which denotes the normal BW wilt symptoms, similar to the drenching method. Through this, we optimized the evaluation method of the resistance to BW. Additionally, we performed genetic analysis for resistance inheritance. The parents, F₁ and 90 F₂ progenies, were evaluated, and the two major complementary genes involved in the BW resistance trait were confirmed. These could provide an accurate evaluation to improve resistant pepper breeding efficiency against BW.     

以职业教育推动传统建筑工艺传承的探讨

传统建筑工艺是建筑遗产中不可或缺的重要组成部分，然而辉煌背后，传统建筑工艺却面临着断代或失传的风险。职业教育倡导的“教学做”一体化教学模式，强调培养学生的职业技能、动手能力的特点与传统建筑工艺传承所需的千锤百炼相吻合，并在实践教学中已取得了一定的成果，但同时显现了不足，文章将针对这些不足之处，以广州城市职业学院城市建设工程系为例，探讨职业院校开展传统建筑工艺的教学模式。     

综合考虑投资成本和经济收益的快速切回机组布点方案

随着大型火电机组快速切回(FCB)技术的成熟,将FCB机组作为大停电后黑启动电源的设想成为可能。规划FCB机组的布点位置,应兼顾工程实际。文中首先采用图论方法推导了最优布点方案的性质,证明已知活跃顶点个数的最优布点方案具有继承性。继而提出采用递推法对FCB机组布点方案进行寻优。然后,建立了FCB机组布点方案的经济效益指标,基于递推法计算结果,依据该指标筛选出同时满足安全性和经济性要求的FCB机组最优布点方案。算例分析结果表明,递推法较常规方法计算效率高、鲁棒性强。并且,结合经济性指标,得到的结果方案可作为实际系统黑启动电源规划的决策依据。     

建筑的重生——关于旧建筑改造性再利用的思考

在我国城镇化发展的进程中,旧建筑改造性再利用成为重要课题。简要阐述了发达国家工业结构调整时期的建筑改造理论和实践的发展过程,以及我国始于20世纪90年代的建筑再利用的探索。论述了对旧建筑的改造性再利用的特殊意义。     

视觉信息时代艺术设计教育探讨

随着社会经济、文化的发展,艺术设计的形式和内容日益多元化,艺术教育作为文化传承的重要方式,也需顺应时代的改革创新。以当前艺术设计教育存在的问题入手,分析信息时代所需创新型人才应具备的基本特征,论述进行艺术设计教育创新的必要性,提出艺术设计教育应着重培育学生从事艺术实践的思维方法和工作方式,并就如何在艺术设计教育中进行创新,做出有益的探索和尝试。