在学习PERM算法的基础上 ,指出了影响PERM算法效率的关键因素 ,进而提出了一种改进的PERM算法———IPERM (ImprovedPERM ) .计算结果表明 ,IPERM的计算效率优于PERM算法 ,并且远高于基于蒙特卡罗的MSOE算法和基于重要性抽样的SISPER算法

采用BAN逻辑对著名的Needham Schroeder(NS)协议建立理想化协议模型 ,利用协议的初始假设和BAN逻辑的公设分析NS协议的安全性 .分析结果表明 ,该协议只有增加初试假设 ,即用户B获得的会话密钥是新的会话密钥的前提下才能达到认证的目标 ,并提出改进方案

采用面向对象的方法提出了一种具有集成特点的时空数据模型 .模型分别扩展了空间数据对象和时态数据对象 ,时空对象是空间对象和时态对象的聚集 ,空间对象的变化由对象的行为进行描述并以不同的版本表现出来 .此外 ,通过量词符号在时域上的扩充对对象的基本关系进行了语义扩展 ,在形式上将时态和空间谓词语义统一起来 .这种模型能够更好地适应时空信息系统的应用需求

为了考察NAS设备中使用的磁盘调度算法 ,提供一种新的基于NAS磁盘调度的测试模型 .为了显示测试模型的有效性 ,以HP975 6 0性能数据比较在NAS中使用的典型调度算法性能 .同时例子显示如何使用测试模型 .结果表明 ,测试模型可以客观地反映磁盘调度算法的统计特性 ,并能帮助磁盘调度算法设计者分析其算法的磁盘调度性能

在桥牌运动中 ,若将四家的牌摊开来打 ,则存在判定初始牌局是否为南北方胜牌局 (或东西方胜牌局 )的算法 ,当南北方 (或东西方 )客观上存在取胜策略时 ,则存在算法来实现其取胜步骤 .给出的算法不仅在可计算性意义上是最好的算法 ,并且计算量小

WinPcap是一个基于Win32平台的优秀的高性能包捕获结构 ,许多嗅探器软件都使用它作为一个底层的包捕获程序 .WinPcap在数据帧捕获方面表现了极佳的性能 ,但统计功能比较简单 ,数据帧的发送也达不到较高的速率 .针对这些问题 ,提出了一种在WinPcap基础上改进的包捕获结构PtPcap ,该结构主要实现了强大的实时统计分析和高速的数据帧成组发送 .PtPcap应用于国产局域网协议测试软件LPT 2 0 0 0之中 ,收到了良好的效果

分析了并行文件系统PVFS中存在负载不均衡的情况 ,提出了根据负载情况迁移数据或做热点的副本的负载平衡方法 .描述了迁移过程中考虑到迁移代价 ,选取最优迁移方式 .提出由执行I/O的IOD节点统计负载情况并传输到元数据管理节点MGR ,MGR节点实现迁移和制作副本 ,还要维护副本的一致性的策略

入侵检测是一种重要的网络安全技术 .现有的无监督方法虽然能在未经标记的数据上找出异常 ,但时间复杂度相对较高 ,不适用于入侵检测中大规模的数据集 .针对这一问题 ,提出了一种新的发现异常的无监督方法 ,通过使用聚类和K 近邻距离和技术 ,克服了原有方法的缺点 ,具有较低的时间复杂度和较高的入侵检测效率 .

针对复杂物流系统的复杂性 ,提出了一种分布式多代理仿真体系结构 ,阐述了该体系结构在复杂物流系统仿真中的应用过程 ,将复杂物流系统分布式多代理仿真体系结构和集中式仿真体系结构相结合 ,提出了集成的复杂物流系统仿真体系结构

将非等权目标灰局势决策方法用于基础工程投标决策 ,初步涉及了基础工程投标中存在的诸多不确定因素和风险性 .从决定工程投标的影响因素入手 ,确定了灰色局势决策目标和权向量 ,将决策树和标准离差率(风险值 )的计算结果作为量化了的决策目标 ,使灰色局势决策方法的基础数据来源更具有理论依据 .结合工程实例 ,具体阐述了投标决策过程 ,并对决策结果给予了细致分析 .为基础工程施工企业做出正确的投标决策提供了依据

针对FIPA合同网协议的一个典型扩展协议CNCP提出增设阈值的改进方案 .因为无论Agent同时参与几项招标 ,最终它只能与其中某一个任务发起者建立正式合同关系 ,所以在确保Agent可在绝大多数情况下获得至少一个任务执行权的前提下 ,对参与招标的Agent一方设置合适的阈值 ,限定其同时处理的cfp的数量 ,可以为参与者一方减少大量不必要的计算消耗 ,降低任务被低效执行或最终得不到执行的风险 ,从而对系统整体性能的提升有所裨益

以TAEMS为描述框架 ,通过引入角色关系分析和激励 /惩罚机制对GPGP(GeneralizingthePartialGlobalPlanning)进行改进 .改进后的GPGP协调机制不仅适用于合作团队的活动规划 ,还可以处理自私Agent之间的协调关系 ,从而扩展了GPGP协调机制的适用范围 ,使得Agent处理任务请求的方法更加灵活

在数学形态学的理论基础之上 ,运用 8种结构元素模板对图像进行击中匹配迭代运算 ,不断剥落图像边缘点 ,从而得到图像的中心骨架 ,达到细化的目的 .该细化算法的连通性、单像素宽度性、抗噪声性都非常良好 ,而且处理速度很快 ,非常适合于有大量图像处理运算的反求工程 .

提出了一种基于熵优化的结合区域生长的图像分割算法 ,它利用边缘检测和区域生长算法对图像进行一次预分割 ,然后再沿着图像中每个类的边缘试探性地调整分割 ,以熵的大小作为优化分割的指标逐步优化图像的分割 .实验结果证明了该算法的有效性 ,而且比其他一些常用的灰度图像分割算法更准确

在采用包含建筑物高程信息的DEM数据进行地形建模时 ,依次连结相邻网格点为多边形的绘制方式会带来建筑物墙面倾斜 ,建筑物与地形混淆的问题 .针对这一问题 ,利用建筑物顶点与地形顶点之间具有较大高度差的特点 ,结合建筑物的几何特征 ,提出了一种在DEM数据中提取建筑物的算法 .实验结果证明利用该算法重建出的城区三维景观具有更为逼真的显示效果

在图像的目标和背景像素灰度均服从正态分布时 ,提出了一种改进的基于最大类间方差法的图像分割算法 .对新算法进行了测试并与最大类间方差法和最大熵法进行了比较 ,结果表明 ,新的改进算法在图像分割过程中具有速度快、效果好的特点

针对频率调制信号的识别 ,提出采用恒参滤波方法 ,将信号频率调制信息转换为信号包络的变化 ,再通过提取信号包络的直方图特征来识别信号调制方式 .与传统方法相比 ,该方法特征提取简单 ,计算量小 ,识别速度快 ,在较低信噪比条件下 ,可以有效识别FM ,BFSK ,QFSK ,MFSK等信号 .该方法尤其适合软件无线电等实时性要求高的应用领域

为解决大型企业复杂的战略决策问题 ,采用网络通信技术、数据仓库技术和现代决策理论 ,提出了一种新型的战略决策支持系统 ,并且重点讨论了系统的框架结构、功能特点和决策流程 ,该系统通过协调参与成员的决策行为 ,减少决策成员的分歧 ,提高战略决策的效率 ,从而保证决策的准确性

针对企业在知识联盟伙伴选择过程中存在的主观性和盲目性问题 ,建立了基于多层次灰色关联度方法的知识联盟伙伴选择模型 ,构造了评价企业知识联盟潜在合作伙伴的指标体系 ,并对所提出的模型进行了例证分析 .结果表明 ,该模型简单实用 ,能够使企业知识联盟伙伴选择的结果更具客观性和准确性 ,降低了企业在选择知识联盟的潜在合作伙伴时因主观、盲目而造成联盟伙伴选择不理想 ,从而最终导致知识联盟达不到预期效果或失败解体的风险

通过自相关检验、协积检验和方差比检验三种方法检验了郑州小麦期货市场的有效性问题 ,结果如下 :序列相关检验的研究结果表明郑州小麦期货市场基本满足市场有效性假设 ;单位根检验的研究结果也表明郑州小麦期货市场满足有效性假设 ;方差比检验的研究结果却表明郑州小麦期货市场不满足有效性假设

因为不满足常规的库存控制模型所要求的条件 ,常规的库存控制方法不再适用 .针对维修配件的库存控制问题 ,研究三个基本的问题 :哪些维修配件必须有库存 ?库存量应该为多少 ?存放在哪里 ?以某工程机械公司的维修配件库存管理为背景 ,通过建立定性和定量分析模型 ,对它的库存控制策略进行了实证研究

利用我国 1 978～ 2 0 0 1年的相关数据 ,论证了我国国内生产总值Yt、资本存量Kt、人力资本存量Ht、人均人力资本存量ht 的时间序列数据符合卢卡斯的人力资本外部性内生经济增长模型 :Yt=AtKαtH1 -αt hβt,且人力资本水平具有显著的外部性和较高的产出弹性 .在此基础上 ,分析了人力资本对经济增长的贡献率

利用均值 方差模型 ,讨论了有交易成本的证券组合的有效前沿问题 ,并给出了有交易成本的n种风险资产的证券组合以及n种风险资产与一种无风险资产的证券组合的有效前沿特性的两个结论 .该研究不同于CAPM那样的一般均衡模型 ,不需要假设市场是否达到一般均衡的条件 ,使投资组合有效前沿问题的研究结论更贴近于实际

结合剪切干涉技术与显微干涉技术 ,提出了显微剪切干涉非接触表面粗糙度轮廓测量方法 .由于自参考干涉和共路偏振相移干涉特点 ,建议的干涉仪具有极好的抗环境干扰和振动的能力 ,同时能取得一般显微干涉仪的表面粗糙度测量精度 ,适合制造环境下表面粗糙度精密测量 .介绍了发展的显微剪切干涉仪的原理 ,以及相应于粗糙度轮廓的波前重建算法 .实验结果证明了该方法的可行性

提出一种新的剪切干涉光学波前传感器 .利用剪切干涉原理和单轴晶体的双折射特性研制而成 .其结构简单紧凑 ,实现完全共光路和偏振相移干涉 ,灵敏度可调 ,具有较强的抗干扰能力 .论述了其工作原理 ,分析了其特性 ,给出了相应的数学模型 .测试结果表明 ,该传感器的面形测量精度好于λ/ 6 0 ,重复性达到λ/ 1 0 0 .

通过分析高维空间的欧氏几何距离关系并对相似性定义进行拓展 ,提出了一种新的时间序列相似性概念体系 ,即以相似性函数和变换约束函数共同描述两个序列的相似关系 .在这种概念体系中 ,相似性只能是某种相似性函数和变换函数约束下的相似 ,客观的相似性结果依赖于相似性函数和变换函数的主观选取 .新的相似性概念体系可以涵盖以往各种相似性定义 ,不同定义可以看作相似性比较中所关注的不同方面的特征或性质

在Bethe小孔衍射偶极子理论模型和光波导理论的基础上 ,推导了有限厚导体屏上纳米小孔近场光强的分布公式 ,得到了小孔近场电磁场分布的严格解 .计算结果不仅对深入了解近场光的辐射机理非常有益 ,而且可直接应用于非探针型近场光学显微镜中基码板的设计

分析了传统光突发交换中的分组调度算法———LAUC算法的缺陷 ,提出了一种LAUC算法的改进算法(LAUC SV算法 ) ,采用自相似业务流模型对两种算法的性能进行了模拟仿真 ,结果表明在同等条件下LAUC SV算法下的丢包率比LAUC算法低 1 0 0 .5,且新算法下的丢包率关于光纤延时线单元时间的最佳窗口大大展宽 ,而新算法的复杂度与LAUC算法相比仅呈现线性增长关系

针对微小型自适应光学系统中波前信号处理机处理数据量大 ,处理速度快的特点 ,设计了以两片DSP为核心处理器 ,以CPLD完成时序控制功能的波前信号处理机 .讨论了该信号处理机的原理、特点和实现 .结果表明 ,通过周密的逻辑设计 ,该处理机能保持高速的并行处理 .能够保证自适应光学系统的带宽和稳定性要求 .

因为垂直分层空时传输 (V -BLAST)系统在平坦衰落信道中的传统检测方法判决反馈均衡 (DFE)方法有错误扩散的问题 ,使得系统的总体性能取决于最初检测的分层信号的误符号率性能 ,针对这一问题提出了分段检测的概念 ,用性能最好的最大似然 (ML)算法来联合检测最初的几个分层信号 ,以此来提高整个检测算法的性能 ,对于后续的几个分层信号 ,仍采用较为简单的DFE的方法 .同时还提出了基于最小均方误差(MMSE)准则的新的分段检测方法 .新分段检测方法和传统的DFE方法相比 ,在增加较小的复杂度的情况下 ,明显地改善了检测性能 ,仿真结果也验证了这一点

提出了一种新型加法器结构———顶层进位级联超前进位加法器 ,该结构将超前进位加法器 (CLA)底层进位改为顶层超前进位单元进位 .给出了顶层进位级联超前进位加法器延迟时间公式 .推导出该结构模块延迟时间公式、最大级联数Km(max) 、最优分组方案等重要结果 ,并归纳出优化设计规则

叙述了采用SU 8和PDMS制作毛细管电泳芯片的一种新工艺、新方法 ,对SU 8的四个工艺参数 :前烘温度与时间、后烘温度与时间、曝光时间以及显影时间进行了工艺优化 ,结果表明使用该方法加工工艺简单 ,芯片重复性好 ,成本低 ,适用于采用激光诱导荧光检测法进行检测 ,并在制备的毛细管电泳芯片上实现了不同长度DNA片段的快速有效分离

阐述了所研制的A1 0 2不锈钢焊条焊接工艺特点 ,做了焊条焊接工艺试验 ,测试了焊条熔敷金属的机械性能 .分析了该焊条药皮尾部发红、尾部开裂和气孔产生的原因 ,通过焊条药皮配方的优化设计解决了药皮尾部发红、开裂和在焊条后半段出气孔的问题

以脂 (环 )族二异氰酸酯 (异佛尔酮二异氰酸酯IPDI ;4 ,4 二环已基甲烷二异氰酸酯H1 2 MDI) ,聚醚多元醇 (PPG) ,小分子交联扩链剂 ,催化剂及助剂合成了一系列透明聚氨酯树脂材料 .用FTIR对树脂材料的结构进行了表征 .用DSC ,TGA对其热稳定性进行分析测试 .用扫描电镜 (SEM )对拉伸断裂和冲击断裂样品的断口形貌进行了形态结构分析 .结果表明 :透明聚氨酯树脂材料具有卓越的光学性能 ,优良的力学性能和中等的热稳定性能

根据Yang等提出的压电损伤理论 ,采用有限元方法分析了三点弯曲压电梁跨中裂纹尖端附近的损伤场 ,研究了裂纹深度、外加力电载荷等因素对损伤场分布的影响规律 .研究结果表明 ,裂纹深度、电场和力载荷均对裂纹端部附近的力电损伤场有显著影响

通过钢框架顶底角钢带双腹板顶底角钢半刚性连接类型共五个原型试件在循环荷载作用下的拟静力试验 ,得到了各个试件M -θr 滞回曲线及骨架曲线 ,从而间接得到了各类连接的抗震性能 ,分析了各类连接的能量耗散机制 .在试验中 ,还记录了梁柱连接中重点部位的应变情况、节点域的变形情况以及柱节点域加劲板的变形情况 .分析了每种类型的破坏机制及破坏原因 .研究结果表明顶底角钢带双腹板顶底角钢半刚性连接在计算此类连接的连接刚度和抗弯承载力时应考虑双腹板角钢的影响

在一个具有生产性政府花费的随机经济增长模型中 ,把体现社会地位的财富引入消费者效用函数 .在政府发行债券的情况下 ,利用随机最优化方法 ,确定了均衡状态下的消费 财富比、期望经济增长率以及资本和债券份额 .讨论了社会地位、财政政策和随机扰动对经济增长的影响 .同时 ,考察了社会地位对财政政策的制定是否有影响的问题

应用Liapunov方法和脉冲微分系统解的有界性与持久性的关系 ,讨论几类复杂脉冲生态系统的持久性问题 ;在系统存在正平衡点的前提下 ,给出了这些系统持久生存的充分性条件