远程产品设计类实时协同模型研究

在Internet网上由于网络带宽限制等多方面的原因,远程产品协同设计实时交互是无法达到的.为此,基于现有的软硬件环境及实际需要,我们提出了一个“类实时协同”模型.实践表明,该模型便于跨平台工作,加快了远程产品设计中有效信息的相互交流与实时协同.     

Integral expressions for the numerical evaluation of product form expressions over irregular multidimensional integer state spaces

We consider stochastic systems defined over irregular, multidimensional, integer spaces that have a product form steady state distribution. Examples of such systems include closed and BCMP type of queuing networks, polymerization and genetic models. In these models the system state is a vector of integers, n=[n ₁,...,n _M ] and the steady state solution has product form of the type (n)= _i=1 ^M f _i (n _i ). To obtain useful statistics from such product form solutions, (n) has to be summed over some subset of the space over which it is defined. We consider situations when these subsets are defined by a set of equalities and inequalities with integer coefficients, as is most often the case and provide integral expressions to obtain these sums. Typically, a brute force technique to obtain the sum is computationally very expensive. Algorithmic solutions are available for only specific forms of f _i (n _i ) and shapes of the state space. In this paper we derive general integral expressions for arbitrary state spaces and arbitrary f _i (n _i ). The expressions that we derive here become especially useful if the generating functions f _i (n _i ) can be expressed as a ratio of polynomials in which case, exact closed form expressions can be obtained for the sums. We demonstrate the wide applicability of the integral expressions that we derive here through three examples in which we model finite highway cellular systems, copy networks in multicast packet switches and a BCMP queuing network modeling a multiuser computer system.     

从手机的角色转变看电子消费产品的发展趋势

随着人们消费观念的转变,手机逐渐由原来纯粹的通讯工具转变为时尚、流行的在线交流"玩具",并且在一定程度上改变了当代人生活、消费的传统模式。这说明从工业社会发展到信息社会以后,带来了许多观念、生活方式上的革新以及新文化消费的发展。同时,消费观的转变也将引导未来的个人电子消费产品设计的发展趋势。     

四川成品油价格影响因素系统分析

为了对四川成品油价格影响因素进行系统研究,稳定四川成品油价格,建立良好的市场秩序提供决策依据,本运用系统工程的原理与方法,分析了影响四川成品油介格的因素及其因素链,建立了系统解释结构模型ISM(Inter,prctive Structural Mode),通过对该模型的分析,找到了影响四川成品油价的直接原因为国内油价和四川成品油市场状况,表层原因为四川成品油市场需求,供给,竞争三大因素;中层原因为四川产业结构,能源消费增长状况等;深层原因为石油储备制度,进出口,燃油税和走私,根源为国际油价,四川自然交通条件,替代能源,市场管理等因素,并针对不同层次的影响因素,提供了相应的决策建议。     

纺织品图案设计课程教学的探讨

对染织美术专业纺织品图案设计课程教学内容进行了讨论,重点对课程教学中的构思训练、表现力训练、设计内容的丰富性及适应性等三方面进行了探索与思考;指出：纺织品图案设计课程只有积极地进行教学上的改革尝试,才能满足社会对染织美术人才的需要。     

全球化条件下的“异域产品”与“异域消费”

利用了“异域文化学”的范式探讨“跨文化营销”领域,界定了“异域产品”概念,探讨了异域产品消费的动机和异域产品接受类型,提出了异域产品的设计原则。     

数字色彩在现代产品设计中的应用

本文通过产品开发中色彩设计的相关论述,着重探讨了数字色彩与产品材质、环境功能、光色调和等因素的相互关系,并研究了关注产品的色彩应用对消费者心理和企业品牌形象的影响。总结出在现代产品开发设计中,对数字色彩的研究具有非常重要的现实意义。     

分块矩阵的张量积及其并行计算

矩阵张量积的计算是矩阵计算中的一类重要问题,与乘法相比,张量积的计算量更为庞大.分析了分块矩阵张量积的相关数学特性,证明了在置换相抵意义下两个矩阵的张量积运算可以交换,特别刻画了这类置换矩阵,并由此证明了在置换相抵条件下分块矩阵可以分块地进行张量积运算.在此基础上,讨论了矩阵张量积的并行计算问题,提出了几种并行计算模型,进行了必要的算法分析,并通过实例阐述了这些算法的思想和过程.     

Program verification with interacting analysis plugins

In this paper we propose and argue for a modular framework for interprocedural program analysis, where multiple program analysis tools are combined in order to exploit the particular advantages of each. This allows for “plugging together” such tools as required by each verification task and makes it easy to integrate new analyses. Our framework automates the sharing of information between plugins using a first order logic with transitive closure, in a way inspired by the open product of Cortesi et al. We describe a prototype implementation of our framework, which performs static assertion checking on a simple language for heap-manipulating programs. This implementation includes plugins for three existing approaches—predicate abstraction, 3-valued shape analysis and a decidable pointer analysis—and for a simple type system. We demonstrate through a detailed example the increase in precision that our approach can provide. Finally we discuss the design decisions we have taken, in particular the tradeoffs involved in the choice of language by which the plugins communicate, and identify some future directions for our work. R. Lazic, R. Nagarajan and J. C. P. Woodcock     

LTS中的弱不变量与限制乘积

本文在文献[1，2]的框架下给出了弱不变量的定义，讨论了其性质及与不变量之间的关系。此外，本文还引入了迁移系统的限制乘积概念，并以此为工具研究了弱互模拟和弱不变量之间的相互转化。