同步数据流模型调度序列的空间优化

提出了一种嵌入式DSP系统的存储优化方法。该方法基于同步数据流模型SDF（Synchronous Data Flow）。针对其他优化算法不适用于存在反馈环的同步数据流模型的问题,该方法为反馈环的空间优化设计实现了启发式的调度算法,并提出了将SAS（Single Appearance Schedules）和Non-SAS类型调度序列相结合的层次化的空间优化方案,为同步数据流模型调度序列的空间优化提供一个通用的解决方案。实验结果证实了该方案的有效性。     

形式概念分析在Web应用测试用例选取中的应用

为了避免基于模型的Web应用测试中存在的状态组合爆炸问题,分析了经典的每个一次和基本选择的状态组合爆炸避免方法,指出了这两种方法的不足,提出了应用形式概念分析,根据给定的测试覆盖准则,精简测试用例集,避免状态组合爆炸的方法,并改进了Sampath的测试用例选取规则.最后根据形式概念分析的原理,开发了测试用例集精简工具,提高了测试过程的自动化程度,用实例说明了方法的有效性.     

网络业务多重分形特性研究

聚集网络业务的多重分形特性既能考查多尺度下业务的突发性,又能描述突发性相对于时间的变化,是网络业务最显著的统计特性之一.使用网络流量的联合多重分形(JMF)模型 [7]对实际数据进行分析及参数估计,检测网络业务多重分形结构,并产生理论多重分形流量.将JMF模型理论流量、基于自相似特性的分形布朗运动(FBM)模型的理论流量和实际测量流量作为OPNET仿真驱动,进行网络性能仿真.仿真结果显示由JMF模型产生的理论流量与实际测量流量的性能更为接近,进一步验证了网络业务的多重分形特性.     

异常点挖掘研究进展

异常点是数据集中与其他数据显著不同的数据.一个人的噪声对另一个人而言可能是有用的数据,因此,随着人们对数据质量、欺诈检测、网络入侵、故障诊断、自动军事侦察等问题的关注, 异常点挖掘在信息科学研究领域日益受到重视.在充分调研国内外异常点挖掘研究文献基础上,系统地综述了数据库研究领域中异常点挖掘的研究现状,对已有各种异常点挖掘方法进行了总结和比较,并结合当前研究热点,展望了异常点挖掘未来的研究方向及其面临的挑战.     

Win2003 Server中用户的批量建立和管理

使用一种简单有效的批处理文件方法解决大量用户建立的问题,简化了管理任务繁重,重复性工作多,出错几率增大的网络管理工作,极大的提高了个人和单位的工作效率,减少了错误发生,对于在网络出现不可恢复故障后及时重新构建用户方面具有重要的意义。     

自适应模糊聚类小生境遗传算法

提出了基于峰半径自适应调整和模糊相似聚类的小生境遗传算法。其基本思想是：在演化过程中,将峰半径作为决策变量的一部分参与染色体的编码,在对问题进行优化的同时对个体的峰半径进行自适应调整;在聚类过程中,通过对模糊相似度的调节来控制小生境的数目,以避免找到无效的极值点。理论分析和数值实验表明,该算法无需事先确定小生境的数目和半径,对于各类多峰函数具有较强的搜索能力。     

反例引导的模型检验工具的设计

针对模型组合中常见的"状态空间爆炸"问题,分析了抽象和组合两种方法各自的优缺点,采用"反例引导的抽象精化"框架和模型检验思想,将抽象和组合结合起来,为模型组合的检验提出了一种新的方法.设计了模型的抽象、组合、检验和精化算法,开发了一款基于反例引导的、图形化的模型检验工具,使用Kripke结构建立模型,用LTL描述性质,从而表明了反例引导的模型检验方法的过程.     

竞价环境下燃煤发电企业降低发电成本的储煤优化模型

未来的发电企业需要通过竞价实现上网,竞价成功的前提是具有低于竞争对手的发电成本。燃煤发电企业每年要消耗大量的物料(燃料、水、油、备品材料),以保证生产连续、稳定、正常地运行,这些物料会形成很大的库存成本。通过对煤炭库存成本最小化的研究,构造了燃煤发电企业的储煤库存优化模型,以此确定最优库存决策,这将有利于燃煤发电企业将库存占用的资金降至合理水平,同时又能保证正常的发电运行。     

MODELING METHOD OF 4D INFORMATION MODEL FOR COOPERATIVE DESIGN OF MECHANICAL PRODUCTS

The continuous developing features in the design of mechanical product and based on 3D entity model is aimed at, and the extension of the 4-dimensional model with the process of designing, the knowledge described model on the level of semantic understanding and summarizing the designing process and the way of discovering knowledge from multi-information model are studied. On the basis of designing the broad sensed collaborative system, through discussion of the relationship between the implicit knowledge of the users and the designing knowledge as well as commanding all the designing links, taking advantage of the way of concluding and deducting in the concept of the designers, the synthetic knowledge unit formed in the dynamic process from the conception design to the last design is schemed out, and the knowledge discovered principle in the dynamic designing process of the mechanical products and the key technology in its implementation under the milieu of network is brought forward.     

无线频谱测量方法与分析

文章基于无线频谱测量的方法和要素,从各个角度分析了现有的频谱占用情况,测量结果表明,现有的频率分配政策使得部分频谱并未被有效地利用,频谱占用度在时间上空间上具有较大的差异性.测量结果将为未来的认知无线电技术等下一代无线通信技术的实现提供依据.