1,512 research outputs found

    Cofiniteness of weakly Laskerian local cohomology modules

    Full text link
    Let II be an ideal of a Noetherian ring R and M be a finitely generated R-module. We introduce the class of extension modules of finitely generated modules by the class of all modules TT with dimTn\dim T\leq n and we show it by FDn{\rm FD_{\leq n}} where n1n\geq -1 is an integer. We prove that for any FD0{\rm FD_{\leq 0}}(or minimax) submodule N of HIt(M)H^t_I(M) the R-modules HomR(R/I,HIt(M)/N)andExtR1(R/I,HIt(M)/N){\rm Hom}_R(R/I,H^{t}_I(M)/N) {\rm and} {\rm Ext}^1_R(R/I,H^{t}_I(M)/N) are finitely generated, whenever the modules HI0(M)H^0_I(M), HI1(M)H^1_I(M), ..., HIt1(M)H^{t-1}_I(M) are FD1{\rm FD_{\leq 1}} (or weakly Laskerian). As a consequence, it follows that the associated primes of HIt(M)/NH^{t}_I(M)/N are finite. This generalizes the main results of Bahmanpour and Naghipour, Brodmann and Lashgari, Khashyarmanesh and Salarian, and Hong Quy. We also show that the category FD1(R,I)cof\mathscr {FD}^1(R,I)_{cof} of II-cofinite FD1{\rm FD_{\leq1}} ~ RR-modules forms an Abelian subcategory of the category of all RR-modules.Comment: 8 pages, some changes has been don

    A Metamodel for Jason BDI Agents

    Get PDF
    In this paper, a metamodel, which can be used for modeling Belief-Desire-Intention (BDI) agents working on Jason platform, is introduced. The metamodel provides the modeling of agents with including their belief bases, plans, sets of events, rules and actions respectively. We believe that the work presented herein contributes to the current multi-agent system (MAS) metamodeling efforts by taking into account another BDI agent platform which is not considered in the existing platform-specific MAS modeling approaches. A graphical concrete syntax and a modeling tool based on the proposed metamodel are also developed in this study. MAS models can be checked according to the constraints originated from the Jason metamodel definitions and hence conformance of the instance models is supplied by utilizing the tool. Use of the syntax and the modeling tool are demonstrated with the design of a cleaning robot which is a well-known example of Jason BDI architecture

    A Model-Driven Engineering Technique for Developing Composite Content Applications

    Get PDF
    Composite Content Applications (CCA) are cross-functional process solutions built on top of Enterprise Content Management systems assembled from pre-built components. Considering the complexity of CCAs, their analysis and development need higher level of abstraction. Model-driven engineering techniques covering the use of Domain-specific Modeling Languages (DSMLs), can provide the abstraction in question by moving software development from code to models which may increase productivity and reduce development costs. Hence, in this paper, we present MDD4CCA, a DSML for developing CCAs. The DSML presents an abstract syntax, a concrete syntax, and an operational semantics, including model-to-model and model-to-code transformations for CCA implementations. Use of the proposed language is evaluated within an industrial case study
    corecore