Sensitive attribute privacy preservation of trajectory data publishing based on l-diversity

Distributed and Parallel Databases - The widely application of positioning technology has made collecting the movement of people feasible for knowledge-based decision. Data in its original form...     

2011年12月计算机病毒疫情分析

根据国家计算机病毒应急处理中心对互联网的监测,2011年12月计算机病毒整体感染情况呈平稳态势,主要传播途径仍以＂网络钓鱼＂和＂网页挂马＂为主。     

莱钢宽厚板MES的开发与应用

为了满足宽厚板生产小批量、多品种、多工序、多要求的实际情况,结合工艺要求和先进的计算机技术开发出一套铸轧一体化的MES系统,使得各种生产数据及特殊生产要求准确无误并及时发送到现场的执行系统,兼顾了质量与效率;组板、组炉、组浇模型的采用为大规模生产创造了条件,兼顾了成本与效率.精确到每块材料的合同跟踪模型保证了产品的如期交货,从而保证了较高的客户满意度.系统采用成熟的三层架构,数据库采用稳定的Oracle数据库技术,前台开发工具采用主流的VS2008,数据库和应用服务器均采用IBM的Aix操作系统,保证了系统的稳定、高效、安全.通过MES的实施较好地解决了制造环节的各种问题.     

无线机电阻抗结构健康监测系统软件开发

机电阻抗技术是一种新兴的非参数结构健康监测方法,对结构局部微缺陷比较敏感;为了实现基于机电阻抗技术的结构健康监测,采用Visual C++和Matlab混合编程的方式设计和开发了系统监测软件;该软件用于控制现场的无线智能机电阻抗传感器进行数据采集,同时对测量数据进行处理,根据损伤评估算法评定结构健康状况;软件采用Visual C++编写系统人机交互界面和通信接口程序,采用Matlab编写数据处理和损伤评估算法,同时图形化输出运算结果;将两者的优势有机结合,从而缩短了软件的开发周期。     

攻击型无人机切换控制系统容错算法研究

攻击型无人机单侧发射或投放重型武器时,可将飞行控制系统看作是一个切换控制系统。针对常见的常值型和时变型两种执行器故障,提出了一种自适应观测器设计方法,同时结合状态反馈控制设计了容错控制器。通过Lyapunov函数推出了观测器的误差是关于故障界输入状态实际稳定的充分条件,通过平均驻留时间方法证明了切换控制系统是全局输入状态实际稳定的。某型攻击型无人机仿真实例表明,此方法能在准确估计故障大小的基础上,有效保持切换飞行控制系统的性能,应用前景十分广阔。     

NoSQL非关系型数据库负载均衡的实现

NoSQL数据库以其支持数据高并发读写,海量数据高效率存储和访问,以及高扩展性和高可用行的特点在分布式存储系统中得到了广泛的应用。通过对分布式存储系统负载均衡的研究,提出了使用一致性哈希函数来实现系统负载均衡,并通过添加为集群节点添加虚拟节点的方式来增加缓存的命中率。     

基于MeeGo的电容式触摸屏驱动设计

随着人们对操控要求的不断提高,电容触摸屏因为能支持多点触摸而得到广泛使用。本文基于Nokia和Intel公司合作开发的开源操作系统MeeGo,采用基于内核对象的Linux输入子系统来设计触摸屏的驱动。该方案极大地方便了触摸屏的驱动开发,可应用在车载娱乐、上网本、智能手机等电子产品上。     

双发模式下视三维SAR成像方法研究

在合成孔径雷达(SAR)成像优化过程中,由于受到地形环境噪声的影响,使成像模糊和信息丢失,利用阵列天线SAR(LA-SAR)进行成像是一个不错的解决方法。然而传统的单发模式要求有足够多的阵元以满足空间采样率的要求,工程实现的难度较大。为解决上述问题,提出了一种采用正负斜率线性调频信号的双发模式下视三维SAR成像新方法,可以大幅减少天线阵元的数目,提高雷达平台的空间利用率,有效降低工程实现的难度。分析校正了俯仰向的距离徙动因子,给出了双发模式下回波信号的处理方法。进行仿真的结果证明了改进的三维成像方法对成像优化的有效性。     

分布式计算环境中的协同分配任务调度仿真系统

协同分配是在分布式计算环境中进行资源分配的一种重要技术,用于把一个应用程序分解为多个子作业,然后将其分配到多个资源上同时处理来满足特定的性能要求。本文提出了一个离散事件驱动的网格资源协同分配仿真系统,实现了对用户、调度器、协同分配器、协同预留器等协同分配相关实体的仿真,实现了FCFS、FPFS、Backfill等主要的协同分配调度算法和策略,可用于资源协同分配相关的分布式计算环境的资源管理和调度算法的仿真和研究。     

基于描述逻辑的OntoUML模型的形式化表示

将形式本体理论应用于UML语言的改进是UML的形式化研究的主要方法之一,其中On-toUML是一个概念上完整、语义上清晰和更具本体意义的UML版本。虽然OntoUML基于本体对UML进行了扩充,提供了更为丰富,更能表达现实世界语义的建模原语,但其表达方式不利于在信息系统的设计与开发中应用。本文基于描述逻辑对OntoUML中的关键建模原语及其关系给出了SHIQ形式化表示方法,并进行了实例研究。该方法表达精练、语义清晰,不仅能够表达逻辑清晰的模型,而且保证模型能够正确反映领域事实。这种形式化方法为信息系统概念建模方法提供了理论和应用支撑,在一定程度上推动了OntoUML更为广泛的应用。