关于项目管理技术与文化的思考

引进国际先进的项目管理技术,不是单纯的技术问题,还是文化(理念)问题.如果不考虑文化问题,只是把国外先进的项目管理技术拿来就用,必然导致这些技术到中国就变样.本文讨论项目管理技术与文化之间的关系,为中国企业更好地运用项目管理技术提出几个需要文化调整的领域,同时还指出中国文化可以为国际项目管理的发展做出重要贡献.     

非单调数据库及其信念维护系统的研究与实现

首先分析了当前数据库研究中闭世界假设的局限性，认为不完全信息处理与信息维护是研制智能系统的重要内容。然后提出了基于缺省理论与基于假设的真值维护系统（Ａｓｓｕｍｐｔｉｏｎ－ｂａｓｅｄＴｒｕｔｈＭａｉｎｔｅｎａｎｃｅＳｙｓｔｅｍ，ＡＴＭＳ）的非单调数据库，建立了相应的模型，并简要介绍了关于ＡＴＭＳ推广到一阶Ｈｏｒｎ子句的思想。最后给出了我们研制的非单调数据库系统的结构、原理及部分实现机制。     

守望太阳——论诗集《太阳之歌》

运用马克思主义历史———美学批评方法 ,结合多种批评理论 ,对《太阳之歌》诗集进行全面、系统、多角度的读解 ,肯定了它的艺术成就 ,指出它是现实主义的绚丽花朵     

Matrix expression and reachability analysis of finite automata

In this paper,we propose a matrix-based approach for finite automata and then study the reachability conditions.Both the deterministic and nordeterministic automata are expressed in matrix forms,and th...     

特种车辆维修空间可达性评价方法研究

可达性作为维修性的定性指标,缺少定量评价的方法。传统方法只针对装备的整体进行定性评价,不能对不同的等级维修和单个维修动作进行评价。通过对维修性设计中的结构性因素进行分析,得到了空间可达性的主要影响因素。在虚拟维修仿真平台的基础上对工具旋转角度和作业空间比进行了量化评分,给出了针对维修作业过程中单个零部件拆卸的空间可达性评价方法。单个动作评价方法为等级维修的整体空间可达性评价提供了数据基础,并为新型特种车辆的维修方案论证和研制的空间可达性评价提供了手段。     

一种新的基于递归分解的图可达性查询算法

针对现实中许多超大规模图可达性查询的问题,提出了一种新的基于递归分解的算法,即将原图递归分解成一系列生成树和剩余图两类子图,并通过分别查询这两类子图来减少查询开销.相比于区间标记、链分解、2-hop标签和路径树等传统算法,该算法不仅空间开销更小,且时间复杂度更低.仿真实验表明,该算法对处理大规模有向图可达性问题上存储规模更小且查询效率更高.     

考虑出行方向的广州出租车时空可达性研究

出行方向是可达性研究中的一个关键要素, 因此, 提出一种考虑出行方向的出租车时空可达性分析方法。根据出租车经验路径分方向构建经验等级路网, 采用基于分层路网的Dijkstra算法计算得到各OD对之间的行程时间, 作为可达性评价指标, 并采用网格法和反距离加权插值法绘制得到广州市中心商业区等时线及其渲染图, 分方向、分时段对其时空可达性进行分析。结果证明了不同出行方向下, 特别是处于高峰时段, 可达性有较大的不同。     

RIAIL:大规模图上的可达性查询索引方法

图被广泛用来建模在社交网络、语义网、计算生物学和软件分析中的应用.可达性查询是图数据上的一种基础查询.当前,针对图上的可达性查询已经提出了一些索引算法,但是它们不能灵活地扩展到大的图数据.因此,提出了一种索引方法RIAIL(reachability index augmented by interval labeling).RIAIL将结点的标记信息表示成四元组.前两个元素是区间标记,编码生成树的可达性信息,后两个元素编码非树边的可达性信息.RIAIL查询时只需索引且索引创建代价小.最后,通过大量真实和人工生成数据集上的实验说明,RIAIL能够高效地处理可达性查询,并且可以简单地扩展到大的图数据.     

智能主体的信念认知时态子结构逻辑模型*

智能主体获取信念的途径主要有两种：一种为他省,通过外界交互,从其他主体获取信息;另一种为自省,通过自己的历史数据库获取相关知识。对于主体信念的描述与刻画,两种途径缺一不可,但当前的BDI理论模型中较多地为他省系统,没有做到两者相结合。其次,在当前的许多理论模型中,通常使用的是二值逻辑、经典模态逻辑或其变形系统,使得相应的逻辑系统普遍存在逻辑全知和粗精度刻画等问题。针对上述问题进行了相关研究,采用了认知时态子结构逻辑建模的方法,表达了智能主体获得“双省”信念的方式,针对其建立了相应的逻辑系统BSoET。     

启发式探索的协议测试序列生成

为避免可达性分析方法生成协议测试序列状态过程中爆炸问题的出现,提出了一种启发式探索协议状态格局空间的可执行测试序列生成算法. 该算法采用权值扩展有限状态机建模被测协议,以启发式状态格局探索策略替代传统的宽度优先搜索方式生成可执行协议测试序列;把协议可执行测试序列生成转化为在协议状态格局空间中探寻最小权值路径的问题. 实验数据表明,与宽度优先可达性分析方法相比,新算法具有较好的时空特性.