金源MALL：搁浅的航母

2004年10月24日，号称世界最大的MALL——北京金源MALL终于开始向人们展示它巨大的身躯和豪华的面目。作为一种在发达国家已被证明非常成功的新商业业态，它的出现折射着中国商业生态的升级变迁。但是作为一场巨大的商业游戏，它的未来还充满着迷幻的色彩。     

标注Petri网中的最小初始标识估计

为获得制造系统初始化时的最小资源以实现最优资源分配,利用标注Petri网对系统进行建模,并研究标注Petri网的最小初始标识估计问题。给定一个标注Petri网,在不可观测变迁组成无环子网的情况下,基于动态规划提出一种新的最小初始标识估计算法。在观察到给定的标注序列后,放宽不可观测变迁发生个数的限制,并根据该算法构建节点的演化过程。当出现相同的发生数向量时,仅保留当前极小的初始标识估计,并通过节点的演化过程对极小初始标识估计的托肯总数进行对比。为验证算法的有效性,给出一个制造系统的标注Petri网模型实例,最终得到的最小初始标识为［1000］^T,且对应的变迁发生序列为t₁t₃t₄t₆,满足给定标注Petri网的结构要求。实验结果表明,与传统基于动态规划的算法相比,该算法获得的最小初始标识估计具有更小的托肯总数。     

一种三态加时变迁Petri网的形式化描述与分析

提出一种弱引发规则三态加时变迁Ｐｅｔｒｉ网（简称ＷＴＴＰＮ），它比现有三态加时变迁Ｐｅｔｒｉ网更适于建模分析冲突结构；平行于无时间约束Ｐｅｔｒｉ网，给出了并发意义下ＷＴＴＰＮ的形式化描述与分析框架，据此可对其进行定性分析；证明了ＷＴＴＰＮ与其基网系统关于活性、有界（安全）性和可逆性等价。     

访问控制系统的规则集模型及其检测算法

针对访问控制系统规则存在漏洞问题,提出一个建立在系统读写规则集基础之上的访问控制系统规则集模型及相应的模型检测算法,通过对系统状态的遍历,判断目标在权限提供某些许可的情况下是否可完成,并在目标可完成的情况下输出相应的策略。实验结果证明,在中等规模的系统中该算法有效。     

从平台锁定到服务黏性——软件的交付模式变迁

自微软发出欲收购雅虎消息后,一段时间以来,众多IT评论家都进行了各种分析,角度之多元,前所未有。大家都意识到这次收购对软件的影响已经不是几个公司的事情,而是预示着软件行业形态的变化。本文话题就是与之相关的平台锁定和服务粘性两个话题。     

一种三态加时变迁Petri网的形式比描述与分析

提出了一种弱引发现规则三态加时变迁Ｐｅｔｒｉ网（简称ＷＴＴＰＮ）它比现有三态加变迁Ｐｅｔｒｉ网更适于建模分析冲突结构，平行于无时间约束Ｐｅｔｒｉ网，给出了并发意义下ＷＴＴＰＮ的形式化描述与分析框架，据此可对其进行定性分析，证明了ＷＴＴＰＮ与其基网系统关于活性，有界（安全）性和可逆性等价。     

21世纪审美变迁下的平面广告创意探析

当人类社会跨入20一世纪,受互联网发展和后现代思潮影响,大众审美表现出全球一致化和世俗感官化的趋势。今天的审美新环境对于平面广告创意提出了新的挑战。近年来,“调侃经典”、数码“超现实主义”、文化“混搭”和逆向思维等创意形式成为平面广告创意中的新亮点。     

基于层次细化Petri网的工作流参与者机制与动态特性研究

通过对工作流中参与者机制进行的分析,提出了一种基于Petri网的工作流参与者建模的方法,给出了参与者静态、竞争、优先和委托模型的Petri网表示,并对基于Petri网工作流变迁和位置节点的细化,揭示了工作流过程的执行阶段的任务分配与参与者状态之间的关系,表明工作流过程实例的真实执行路线是由参与者当时的状态动态决定的．     

基于需求理论下的年货变迁研究--以1930年以来的河北省为例

近年来随着改革的深入,中国年货也随着社会的变迁发生了重大的变化,从1930以来,河北省的年货也由物质层面的产品向精神层面的产品转变。而马斯洛的需求理论能够很好地在年货的各个阶段中找出主导这种变迁的原因,即是由于人在不同的阶段有不同的需求。从马斯洛的需求理论出发能够从更深层次的人文精神方面去理解年货的变迁,这对于国家政策的制定与调整,促进新产业的形成,解决当前严峻就业形势有重要的意义。     

全岸线集装箱装卸桥调度模型研究

集装箱装卸桥是集装箱物流多式联运的关键设备,处于整个集装箱物流的重要节点。集装箱装卸桥的调度计划直接影响集装箱码头的运作效率。通过对集装箱码头装卸桥生产过程的研究,建立全岸线集装箱装卸桥调度与分配的混合整数动态规划模型,并采用基于段编码技术的遗传算法,进行模型优化求解;优化后的集装箱装卸桥调度方案的生产效率和生产作业均衡有明显改善。