局域网中文件分布式网络存储的设计和实现

以局域网用户对文件分布式存储的需求为实例,研究的分布式网络存储系统将局域网中的多台个人计算机组织起来,为用户提供一个可扩展、完整、大容量的虚拟存储空间和安全可靠的存储服务.本文介绍了该系统的设计思想和具体实现.     

聚类方法在警报数据分类与约简中的应用

提出了一个使用文本聚类方法进行警报数据分类与约简的处理框架.详细描述了警报特征向量的表示方法和直接聚类方法,以及警报数据的简约表示方法.     

城市卷烟配送线路的网格划分算法

成本与服务是现代物流的两大主题，配送中心不同送货线路间的工作量均衡是线路划分的一个重要目标，它体现了配送中心的工作效率和对客户的物流服务质量．以浙江省烟草公司杭州分公司物流6400多户卷烟零售网点配送网络为数据源，采取“相邻合并、密集成簇、由簇扩展”思想，进行llO多条送货线路的网格划分和算法求解，内容包括不同送货线路之间的广义工作量均衡、网点密集簇和关键边的定义与遴选、密集簇的向外搜索扩展等．     

钢闸门结构时变刚度模型及其可靠度评估

基于可靠性原理，建立了水工钢闸门结构正常使用极限状态刚度可靠度分析的极限状态方程，提出了钢闸门结构刚度可靠度分析的3种计算模式．对影响钢闸门结构构件刚度衰减的主要因素——钢材锈蚀进行了统计分析，得到了锈蚀规律，并进一步分析得到了闸门构件刚度的衰减模型．以受弯构件为例，采用JC法对其刚度可靠指标进行了计算分析．结果表明，其刚度可靠指标满足结构可靠性总原则的要求，且露顶门的刚度可靠指标大于潜孔门的刚度可靠指标，从而初步确定了现行水工钢闸门设计规范正常使用极限状态的刚度目标可靠指标。     

吊舱对螺旋桨水动力性能的影响

基于单桨式吊舱推进器定常水动力性能的理论计算方法及试验，探讨了吊舱对螺旋桨水动力性能的影响。性能理论计算中螺旋桨采用升力面理论涡格法，吊舱采用面元法，对螺旋桨与吊舱的相互影响进行了时间平均及迭代处理。通过计算分析了吊舱对桨叶载荷分布的影响，以及吊舱引起的伴流分布特性。     

不同增长趋势下中长期电量预测组合优化灰色模型

针对中长期电量预测中时间跨度大、电力需求增长不确定的特性，根据不同时期的增长率，运用灰色理论进行优化分段预测，同时引入组合模型的概念，建立了以残差平方和最小为目标函数的组合优化模型，并运用二次规划法求解，算例证明，该方法能得到较高精度。     

基于晶粒尺寸的结构钢热变形流变应力数学模型

从晶粒尺寸角度出发，提出晶粒形变度的概念，建立了一个用以描述金属材料热变形行为的数学模型，具有精度高、简单直观、受分界点影响小且计算曲线连续等优点．该模型具有一定微观物理基础，既能描述动态再结晶前的强化阶段，又能描述动态再结晶后软化阶段的热变形流变应力，对两种结构钢的热变形流变应力进行了计算，并与试验值及其他模型的计算结果进行了比较．     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

供需网环境下企业动态结构建模研究

针对传统供应链管理中存在的弊端，提出了多功能开放型供需网概念，在此基础上分析了多功能开放型企业供需网环境下企业动态结构的需求与特点，并建立了基于Multi-agent的企业动态结构及其协作模型．在此动态结构及协作模型中，系统的构成单元具有决策智能、自治、自组织和协作能力，支持企业动态重构，从而使企业具有以内部变化适应外部快速变化的能力．     

客户关系的动态发展及其策略分析

根据客户关系管理中客户关系发展的周期性特点，提出了客户关系发展的五阶段模型．以此为基础，构造了马尔可夫过程模型，对客户关系的动态发展进行了分析研究，并得出了客户关系生命周期价值的定量计算方法．以该方法为基础，定量分析了影响客户关系发展的各个因子对客户关系生命周期价值的影响，得到了可供企业借鉴的客户关系管理策略．