检索结果-内蒙古大学图书馆

International Conference on Secure System Integration and Reliability Improvement, SSIRI

作者： Changzhi Zhao Wei Dong Martin Leucker Zhichang Qi Department of Computer Science National University of Defense Technology Changsha China Institute of Software Technology and Programming Languages University of Lübeck Germany

Access control is a vital security mechanism in today's operating systems, and the security policies dictating the security relevant behaviors is lengthy and complex, for example in Security-Enhanced Linux (SELinux). It is extremely difficult to verify the consistency between the security policies and the security goals desired by applications. In this paper, we present how to predict whether the information flow security goal is violated or not during runtime, how to generate the corresponding control actions on-line when divergence is detected and how to apply these actions in time based on software active monitoring technique. The symbolic security information flow model of SElinux is generated from a formalization of the access control mechanism which can be used to generate the N-step ahead projection of the future behavior. Information flow security goals are expressed in linear temporal logic (LTL) which provides clear description of the objectives desired by applications. Anticipatory monitor is generated from LTL formula automatically. We consider an on-line scheme where after the occurrence of an event, the next control action is determined on the basis of the N-step ahead projection of the future behavior. This procedure is repeated after the occurrence of next security relevant event. Thus, a closed-loop system is generated that all behavior sequences will satisfy the security goals.

关键词： Context Monitoring Semantics Access control Cost accounting Syntactics

来源：评论

学校读者我要写书评

暂无评论

Fast RNA structure alignment for crossing input structures

Fast RNA structure alignment for crossing input structures

引用

作者： Backofen, Rolf Landau, Gad M. Möhl, Mathias Tsur, Dekel Weimann, Oren Bioinformatics Institute of Computer Science Albert-Ludwigs-Universität Freiburg Germany Department of Computer Science University of Haifa Haifa 31905 Israel Department of Computer Science and Engineering NYU-Poly Six MetroTech Center Brooklyn NY 11201-3840 United States Programming Systems Lab Saarland University Saarbrücken Germany Ben-Gurion University Beer-Sheva Israel Massachusetts Institute of Technology Cambridge MA 02139 United States

The complexity of pairwise RNA structure alignment depends on the structural restrictions assumed for both the input structures and the computed consensus structure. For arbitrarily crossing input and consensus structures, the problem is NP-hard. For non-crossing consensus structures, Jiang et al.'s (2002) [9] algorithm computes the alignment in O(n2m2) time where n and m denote the lengths of the two input sequences. If the input structures are also non-crossing, the problem corresponds to tree editing which can be solved in O(m2n(1+lognm)) time (Demaine et al., 2007) [3]. We present a new algorithm that solves the problem for d-crossing structures in O(dm2nlogn) time, where d is a parameter that is one for non-crossing structures, bounded by n for crossing structures, and much smaller than n on many practical examples. Crossing input structures allow for applications where the input is not a fixed structure but is given as base-pair probability matrices. © 2010 Elsevier B.V. All rights reserved.

关键词： RNA

来源：评论

学校读者我要写书评

暂无评论

Extraction of human mandible bones from multi-slice computed tomographic data

Extraction of human mandible bones from multi-slice computed...

引用

Middle East Conference on Biomedical Engineering (MECBME)

作者： Tamer M. Nassef Nahed H. Solouma Mohamed Alkhodary Mona K. Marei Yasser M. Kadah Computer and Programming Engineering Department Misr University for Science and Technology Six of October City Egypt Tissue Engineering Laboratory Alexandria University Alexandria Egypt National Institute of Laser Science Cairo University Giza Egypt Biomedical Engineering Department Cairo University Giza Egypt

A new approach for segmenting different anatomical regions in dental Computed Tomography (CT) studies is presented in this paper. It is expected that the proposed approach will help automate different tissues regions by providing initial boundary points for deformable models or seed points for split and merge segmentation algorithms. Preliminary results obtained for dental CT studies of dentate and edentulous human-mandible are presented with finite element models divided by tetrahedral elements, which built based on actual CT data combined with triangulation equations. Identification of different anatomical regions set for mandible cortical and cancellous bones by generated 3D models by marching cubes technique.

关键词： Finite element methods Computed tomography Implants Image segmentation Three dimensional displays Dentistry Solid modeling

来源：评论

学校读者我要写书评

暂无评论

Computer assisted determination of mandibular cystic lesion volume from computed tomographic data

Computer assisted determination of mandibular cystic lesion ...

引用

Middle East Conference on Biomedical Engineering (MECBME)

作者： Tamer M. Nassef Reham M. Fliefel Mona K. Marei Nahed H. Solouma Yasser M. Kadah Computer and Programming Engineering Department Misr University for Science and Technology Six of October City Egypt Tissue Engineering Lab Alexandria University Alexandria Egypt National Institute of Laser Science Cairo University Giza Egypt Biomedical Engineering Department Cairo University Giza Egypt

In this paper, a new approach for computing different anatomical regions in dental Computed Tomography (CT) is presented. The approach consists of two steps. First, a HU threshold window sets to separate between different regions upon their gray-level values; second, a set of objects are generated and texture descriptors are calculated for selected windows from the image data sample. Finally, identification of different anatomical regions set for mandible bones to determine the cystic lesion volume based on numerical methods. Preliminary results obtained for dental CT of female patient aged 14 years old complaining of bilateral swelling in her mandible are presented.

关键词： Bones Lesions Computed tomography Three dimensional displays Pixel Surgery Solid modeling

来源：评论

学校读者我要写书评

暂无评论

Considerations and suggestions on the interactive development between Wuhan City circle and universities

Considerations and suggestions on the interactive developmen...

引用

International Conference on Information Management, Innovation Management and Industrial Engineering, ICIII

作者： Li, Xufeng Peng, Huatao Department of Development Programming Wuhan University of Technology Wuhan China Management School Wuhan University of Technology Wuhan China

ISBN: (纸本)9780769542799

The construction and development of "two-oriented society" in Wuhan city circle should be combined with the development of colleges and universities in the region. It's necessary to update the concept and evaluate the development status and problems existing in the interaction between urban communities and universities. It's recommended that the winwin situation, interactive and common development concept and strategies should be established to ensure the healthy and sustainable development of both sides. On the basis of investigation, the following suggestions are derived: 1) direct and coordinate the development of both sides based on the principle of interaction and win-win situation 2) strengthen the cultural interaction and focus on building the harmonious culture of city circle;3) establish the "two-oriented society" subjects and cultivate the innovative talents;4) reform and explore the forms and approaches of social service for universities;5)establish the appropriate management mechanisms, including interaction base, resource-sharing mechanism, and so on. © 2010 IEEE.

关键词： Planning

来源：评论

学校读者我要写书评

暂无评论

Boolean differential calculus

Boolean differential calculus

引用

作者： Steinbach, Bernd Posthoff, Christian Department of Computer Science Software Engineering and Programming Freiberg University of Mining and Technology Germany

ISBN: (纸本)9781608451821

Boolean Differential Calculus (BDC) extends Boolean *** Boolean algebra is focused on values of logic functions,BDC allows the evaluation of changes of the function values. Such changes can be investigated between certain pairs of function values as well as regarding whole subspaces. Due to the same basic data structures, BDC can be applied to any task described by logic functions and equations together with the Boolean *** used is BDC in analysis, synthesis, and testing of digital circuits. In this chapter, we introduce basic definitions of BDC together with some typical applications.

关键词： Differentiation (calculus)

来源：评论

学校读者我要写书评

暂无评论

A filtered tuning method for a GPC controller

A filtered tuning method for a GPC controller

引用

IET Irish Signals and Systems Conference, ISSC 2010

作者： Schwarz, M.H. Cox, C.S. Börcsök, J. Department of Computer Architecture and System Programming Safety Computer Technology University of Kassel Kassel Germany Control Systems Centre University of Sunderland Sunderland United Kingdom Department of Computer Architecture and System Programming University of Kassel Kassel Germany

ISBN: (纸本)9781849192521

This paper presents a new tuning method based on model parameters identified in closed-loop. For classical controllers such as PI(D) controllers a large number of simple tuning methods for various application areas exist. However, when it comes to designing a generalised predictive controller (GPC) four parameters have to be specified. To choose those parameters is not a trivial task since they are not directly related to control or regulation performance. The presented tuning method exploits model-parameters to select suitable controller parameters. Additionally, a Rhinehart filter is incorporated in the design to decrease the impact of noise, therefore, a fifth parameter has to be optimised. The proposed method has been tested in simulation and on a real system.

关键词： Controllers

来源：评论

学校读者我要写书评

暂无评论

Designing modularity architecture for multithread programming

Designing modularity architecture for multithread programmin...

引用

4th International Conference on Communications and Information technology, CIT'10

作者： Netinant, Paniti Computer Science Department Bangkok University Bangkok Thailand Concurrent Programming Research Group Illinois Institute of Technology Chicago IL United States

ISBN: (纸本)9789604742073

Multithreaded Object-Oriented programming in concurrency environment using object-oriented technology is a complex activity. Programmers need to be aware of issues unrelated to their domain of problem, and are often unprepared for the challenges of the concurrent object-oriented programming brings. The interaction of their components becomes more complex, and makes it difficult to validate the design and correctness of the implemented program. Supporting separation of concerns in the design and implementation of the multithreaded object-oriented programming can provide a number of benefits such as comprehension, reusability, extensibility and adaptability in both design and implementation. We have tackled this problem by adopting the technique of separation of concerns in multithreaded object-oriented programming. In this paper we demonstrate an Aspect-Oriented approach that can be used for multithreaded object-oriented programming. We also show how better the separation of concerns in components. Readers/Writers problem is demonstrated using an aspect-oriented approach. Our methodology, which is based on aspect-oriented techniques as well as language and architecture independence, is an aspect-oriented framework.

关键词： Reusability

来源：评论

学校读者我要写书评

暂无评论

An Efficient Algorithm to Solve the Conditional Covering Problem on Trapezoid Graphs

引用

International Scholarly Research Notices 2011年第1期2011卷

作者： Akul Rana Anita Pal Madhumangal Pal Department of Mathematics Narajole Raj College Paschim Medinipur Narajole 721 211 India Department of Mathematics National Institute of Technology Durgapur 713209 Indianitdgp.ac.in Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721 102 Indiavidyasagar.ac.in

Let G = ( V , E ) be a simple connected undirected graph. Each vertex v ∈ V has a cost c ( v ) and provides a positive coverage radius R ( v ). A distance d uv is associated with each edge { u , v } ∈ E, and d ( u , v ) is the shortest distance between every pair of vertices u , v ∈ V . A vertex v can cover all vertices that lie within the distance R ( v ), except the vertex itself. The conditional covering problem is to minimize the sum of the costs required to cover all the vertices in G . This problem is NP-complete for general graphs, even it remains NP-complete for chordal graphs. In this paper, an O ( n 2 ) time algorithm to solve a special case of the problem in a trapezoid graph is proposed, where n is the number of vertices of the graph. In this special case, d uv = 1 for every edge { u , v } ∈ E , c ( v ) = c for every v ∈ V ( G ), and R ( v ) = R , an integer >1, for every v ∈ V ( G ). A new data structure on trapezoid graphs is used to solve the problem.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Execution of UML state machines using modelica

Execution of UML state machines using modelica

引用

3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2010 - In Conjunction with the MODELS 2010 Conference

作者： Schamai, Wladimir Pohlmann, Uwe Fritzson, Peter Paredis, Christiaan J.J. Helle, Philipp Strobel, Carsten EADS Innovation Works Germany Department of Computer Science University of Paderborn Germany PELAB - Programming Environment Lab Linköping University Sweden Georgia Institute of Technology Atlanta United States

ModelicaML is a UML profile for the creation of executable models. ModelicaML supports the Model-Based Systems Engineering (MBSE) paradigm and combines the power of the OMG UML standardized graphical notation for systems and software modeling, and the simulation power of Modelica. This addresses the increasing need for precise integrated modeling of products containing both software and hardware. This paper focuses on the implementation of executable UML state machines in ModelicaML and demonstrates that using Modelica as an action language enables the integrated modeling and simulation of continuous-time and reactive or event-based system dynamics. More specifically, this paper highlights issues that are identified in the UML specification and that are experienced with typical executable implementations of UML state machines. The issues identified are resolved and rationales for design decisions taken are discussed.

关键词： Continuous time systems

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：