关于并行语言Gamma的结构化扩充

Gamma(general abstract model for multiset manipulation)语言是一个可以避免人为序化的高层次并行程序设计工具.P.Frade t等人提出结构化Gamma以利于结构化应用数据以及表达特殊的控制约束和程序的自动分析. 在摒弃了基于“地址”的定义方式的基础上,给出结构化Gamma的更一般形式的语法、语义描 述,在两个层次上讨论结构重集(structured multiset)的类型,并指出,这种新模型保持了有 关程序的静态类型检测等理论成果.     

Relations and functions in multiset context

A multiset is a collection of objects in which repetition of elements is significant. In this paper an attempt is made to generalize the concepts of relation, function, composition and equivalence in the multiset context. As a pre-requisite a brief survey of the axiomatic approach to the multiset theory is also presented.     

A Nonreducible System of Constraints of a Combinatorial Polyhedron in a Linear-Fractional Optimization Problem on Arrangements

A system of linear constraints is investigated. The system describes the domain of feasible solutions of a linear optimization problem to which a linear-fractional optimization problem on arrangements is reduced. A system of nonreducible constraints of a polyhedrom is established for the linear-fractional optimization problem on arrangements.__________Translated from Kibernetika i Sistemnyi Analiz, No. 2, pp. 107–116, March–April 2005.     

Characterizing the computational power of energy-based P systems

We investigate the computational power of energy-based P systems, a model of membrane systems, where a fixed amount of energy is associated with each object and the rules transform single objects by adding or removing energy from them. We answer the recently proposed open questions about the power of such systems without priorities associated with the rules, for both sequential and maximally parallel modes. We also conjecture that deterministic energy-based P systems are not computationally complete.     

相似度三支决策模糊粗糙集模型的决策代价研究

在三支决策模糊粗糙集模型中,一些学者基于相似度三支决策模糊粗糙集模型建立了目标函数来得到最优阈值对 $\left( {\alpha ,\;\beta } \right)$ 的计算方法,但在该过程的研究中,学者并没有在相似度三支决策模糊粗糙集模型中讨论关于决策代价的描述问题。基于模糊信息系统用新的函数来描述决策代价成为计算阈值对 $\left( {\alpha ,\;\beta } \right)$ 的一种方法,首先,在模糊信息系统中,通过建立一个描述决策代价的函数,将模糊信息系统中的模糊数与三支决策的决策代价联系在一起;然后对隶属频率进行拟合,得到了三支决策中决策代价的数值描述;最后,通过两个实例说明了该方法的可行性和适用性。     

Monoid-labeled transition systems

Given a -complete (semi)lattice , we consider -labeled transition systems as coalgebras of a functor ⁽⁻⁾, associating with a set X the set ^X of all -fuzzy subsets. We describe simulations and bisimulations of -coalgebras to show that L⁽⁻⁾ weakly preserves nonempty kernel pairs iff it weakly preserves nonempty pullbacks iff L is join infinitely distributive (JID).Exchanging for a commutative monoid , we consider the functor ⁽⁻⁾_ω which associates with a set X all finite multisets containing elements of X with multiplicities m M. The corresponding functor weakly preserves nonempty pullbacks along injectives iff 0 is the only invertible element of , and it preserves nonempty kernel pairs iff is refinable, in the sense that two sum representations of the same value, r₁ + … + r_m = c₁ + … + c_n, have a common refinement matrix (m_{(i, j)}) whose k-th row sums to r_k and whose l-th column sums to c_l for any 1≤ k ≤ m and 1 ≤ l ≤ n.     

多重集的保密计算及应用

安全多方计算是近年来国际密码学界研究的热点问题.多重集作为标准集的推广在实际中有广泛的应用,对于多重集的保密计算问题研究具有重要的意义.本文主要研究两方多重集的交集、并集以及基于阈值和集的保密计算问题.首先针对不同问题设计相应的编码方法,结合Paillier加密方案设计保密计算协议,并应用模拟范例方法严格证明协议的安全性.效率分析和实验验证表明本文所设计的协议是简单高效的.     

Data driven analysis of functional brain networks in fMRI for schizophrenia investigation

The purpose of this article is to present a methodology to identify the sources of activity in brain networks from functional magnetic resonance imaging (fMRI) data using the multiset canonical correlation analysis algorithm. The aim is to lay the foundations for a screening marker to be used as indicator of mental diseases. Group analysis blind source separation methods have proved reliable to extract the latent sources underlying the brain activities but currently there is no recognized biomarker for mental disorders. Recent studies have identified alterations in the so called default mode network (DMN) that are common to several neuropsychiatric disorders, including schizophrenia. In particular, here we account for the hypothesis that the alterations in the DMN activity can be effectively highlighted by analyzing the transient states between two different tasks. A set of fMRI data acquired from 18 subjects performing working memory tasks is investigated for such purpose. Subjects are patients affected by schizophrenia for one half and healthy control subjects for the other. Under these conditions, the proposed methodology provides high discrimination performances in terms of classification error, thereby providing promising results for a preliminary tool able to monitor the disease state or to perform a prescreening for patients at risk for schizophrenia. © 2014 Wiley Periodicals, Inc. Int J Imaging Syst Technol, 24, 239–248, 2014     

A Generalized Higher-Order Chemical Computation Model

Gamma is a programming model where computation is seen as chemical reactions between data represented as molecules floating in a chemical solution. Formally, this model is represented by the rewriting of a multiset where rewrite rules model the chemical reactions. Recently, we have proposed the γ-calculus, a higher-order extension, where the rewrite rules are first-class citizen. The work presented in this paper increases further the expressivity of the chemical model with generalized multisets: multiplicities of elements may be infinite and/or negative. Applications of these new notions are illustrated by some programming examples.     

基于多数据集动态潜变量的在线性能分级评估方法

针对动态多变量过程中难以提取明确的过程变量的动态关系问题,本文提出基于多数据集动态潜变量分析(MSDLV)的在线性能分级评估的方法.首先将性能相近的过程历史数据段划分为不同性能等级的集合,然后运用MSDLV方法提取性能级之间的公共基向量,保留训练数据中性能相关的过程变化,将性能相关的特有变化分解为动态部分与静态部分,提取动态自相关过程的动态因素.建立动态潜变量与性能等级之间的离线模型后,在线评估当前过程性能以及判断其所处状态.最后,将该方法运用于乙烯裂解炉反应过程,结果表明该方法具有良好的准确度.