基于ABC法的工作流仿真模型的设计与实现

仿真是工作流技术的重要组成部分之一，其目的是检查过程模型中可能存在的错误，优化过程模型。该文对以活动网络图为基础建立的工作流模型，提出了一种基干ABC法的工作流仿真模型的设计与实现。     

MIS软件开发过程的描述

本文用活动的概念来描述软件的开发过程，建立了软件过程的形式化描述模型，以此为基础，给出了MIS软件开发的过程描述。     

Sol-gel法制备纳米KF／A12O3复合催化剂及其表征

首次用Sol—gel法合成了纳米KF／A12O3复合超强碱催化剂，克服了传统浸渍法的易团聚及负载物分布不均匀等缺点。用Knoevenagel反应对所制备的KF／A1203复合催化剂的催化性能进行了研究，用均匀设计软件对催化剂的制备过程进行了优化，用SEM、XRD、XPS对催化剂进行了表征。     

临界雷诺数下带人工水线斜拉索气动性能研究

通过风洞试验,在临界雷诺数下,研究带上水线拉索模型的气动性能。测得不同风向角下拉索表面风压分布情况,得到作用在拉索模型上的气动力系数,分析临界雷诺数下拉索的气动稳定性。研究表明:基于准定常假定,在临界雷诺数下,拉索发生风雨激振的可能性较亚临界区低;上水线改变了拉索表面的流体分离并出现分离流再附现象,导致拉索气动力随上水线位置的改变而发生剧烈变化。     

方形断面高层建筑的气动阻尼研究

通过长细比为6的方形断面柱体单自由度气动弹性模型的风洞试验,利用随机减量方法对这类高层建筑的横风向及顺风向气动阻尼进行了估算,分析了折减风速大小、结构所处风场类型及结构阻尼对气动阻尼的影响规律,拟合得到实用计算公式,可供规范修订时参考。     

海产贝类食品安全预警研究

为防控海贝类食源性污染、食物中毒的发生,通过开展贝类生物海洋污染本底调查、进行贝类食用安全性分析评价、在海区布设预警站点、实施贝毒素预警监测、建设海贝类食品安全示范基地等方式,探索出一条适合当地沿海实际的贝类食品安全预警保障模式,并对贝类食品依法行政、贝类的清洁生产与健康养殖等提出了见解。     

大高宽比方形截面高层建筑的横风向风荷载及风致响应研究

基于一栋高层建筑的刚性模型表面压力测量风洞试验数据,分析了高宽比较大且截面为方形的高层建筑横风向风效应的共同特征。得到如下结论:高层建筑横截面为方形时,其横风向风荷载主要由规则性旋涡脱落导致的尾流激励构成,为窄带随机激励;当高层建筑的高宽比较大时,基阶固有频率相对较低;当高层建筑兼具方形截面和大高宽比这两个特征时,其基阶固有频率可能接近其尾流的旋涡脱落频率,从而发生剧烈的横风向涡激共振。建筑结构截面的小幅增大可使这种剧烈的横风向涡激共振得到有效控制。上部外形的适当处理,也可能有效降低高层建筑的横风向等效风荷载。低矮群楼的出现将在一定程度上影响高层建筑的风荷载。     

基于Kerberos的Web单点登录研究

该文针对W eb环境中应用Kerberos认证协议存在的两个问题,提出了自己的解决方案。采用基于随机数的质询/响应方式取代基于时间的A uthenticator来解决重放攻击问题,采用Secure Cookies、H ttpSession等来解决W eb环境下服务器间和服务器内的安全会话问题。在此基础上设计并实现了面向W eb应用环境的单点登录系统Ti-SSO。     

改进的基于主分量分析的码书设计算法

针对基于主分量分析和遗传算法的码书设计算法中当码书大小超过64时码书性能下降的问题,提出了一种改进的码书设计算法．首先采用主分量分析对训练矢量降维以减少计算复杂度,然后利用遗传算法的全局优化能力计算得到接近全局最优的码书．实验结果表明,与原算法和经典的LBG算法相比,文中算法所生成的码书性能有了明显提高,而且计算时间也少于LBG算法．     

基于RUP的MIS需求分析过程模型

本文归纳了RUP的主要核心思想为：用例驱动,以构架为中心的迭代和增量开发。以RUP的主要核心思想为基础,提出了MIS需求分析的过程模型,并通过一个具体的MIS应用实例验证了这个模型的实用性。