人才信息系统数据库设计

在人才信息系统的功能需求基础上,设计了一个信息数据库,能够实现招聘信息发布与查找、应聘信息发布与查找以及人才信息统计等功能。整个设计过程从需求分析、概念设计、逻辑设计等方面进行探讨。     

时间序列季节调整方法在中国的发展:PBC版X-12-ARIMA

中国人民银行(PBc)版X-12-ARIMA软件是基于中国特点而定制的时间序列季节调整软件.通过总结时间序列季节调整方法的特点以及相应软件在国外的发展,针对我国应用的特点,尤其是春节因素的考虑,在解剖X-12-ARIMA方法原理的基础上,在春节因素计算方法、软件应用界面以及用户使用帮助等3个主要方面加以改进,具有数据导入、调整设置文件、运行方式以及结果输出4方面的特色.     

基于方案本体的决策模型组装

决策模型组装是智能决策系统中的重要功能。基于本体的决策模型组装在模型之间的匹配上提供了丰富的语义信息,但本体推理的效率造成的响应速度较慢依然是需要解决的问题。本文提出一种基于方案本体的决策模型组装方法,可有效地减少本体建模的复杂度,并设计了相应的算法实现这种方法。     

Modeling sediment resuspension and transport induced by storm wind in Apalachicola Bay, USA

Sediment is an important environmental factor for aquatic ecosystem and oyster productivities of Apalachicola Bay located in Florida, USA. Based on the data analysis in this study, surface wind speed is highly correlated to the turbidity of water column, which results from sediment resuspension and transport in the Apalachicola Bay. In this paper, an application of a 3D sediment transport model to predict the wind-induced sediment transport in Apalachicola Bay is described. The sediment model is coupled with a 3D hydrodynamic module in the Environmental Fluid Dynamics Code (EFDC) model that provides information on estuarine circulation and salinity transport under normal temperature conditions. The hydrodynamic model was calibrated with field observations of water levels and salinity. The sediment transport model solves the transport equation with sources and sinks terms to describe sediment deposition and resuspension. The coupled hydrodynamic and sediment transport models were used to investigate wind-induced total suspended sediments (TSS) resuspension and transport in the bay. For the period June 1–July 30, 2005 two storm events with strong winds gave model results of TSS concentrations that compared well with the field observations. Model simulations reasonably reproduce the sudden increase of sediment concentrations during the storm events. Maximum sediment concentrations in the bay during the two storm events were 10 times or more than those in the pre-storm conditions. Spatial sediment transport from model simulations indicate active sediment resuspension and transport near areas of highly productive oyster beds. The model predictions of TSS and salinity can be used as inputs to an oyster dynamic model (Wang, H., Huang, W., Harwell, M., Edmiston, L., Johnson, E., Hsieh, P., Milla, K., Christensen, J., Stewart, J., Liu, X., 2008. Modeling eastern oyster population dynamics in response to changing environment in Apalachicola Bay, Florida. Journal of Ecological Modeling 211, 77–89) to support the ecological study of oyster growth and mortality in the aquatic ecosystem of Apalachicola Bay.     

Computational simulation of Belousov–Zhabotinskii oscillating chemical reaction

The suitability of computational simulation of the Belousov–Zhabotinskii oscillating chemical reaction by differential kinetic methodology for resolving nonlinear multi-component system is demonstrated in this work. According to the Field–KÖrÖs–Noyes mechanism and the Oregonator model, the change of the concentrations of HBrO₂, bromide ion and cerium ion are simulated. The results of computational simulation are consistent with experimental results very well. At the same time, the effect of variables and parameters, especially the rate constant on the oscillation curve, are investigated deeply. A simple method of estimating rate constants is obtained through simulation the concentrations of key components of the system, and then comparison the simulation results with the experimental ones. The reasonable rate constant is also proposed.     

入侵容忍系统的安全性量化方法分析

入侵容忍系统的安全性量化评估技术目前已取得了初步研究成果。本文首先简要阐述该技术的进展情况,然后从构建安全模型和分析攻击行为两大方面,横向比较了目前国内外在该领域的研究成果,并进行总结和分析,提出了一些未来的研究设想。     

A formal model of composing components: the TLA+ approach

In this paper, a method for writing composable TLA⁺ specifications that conform to the formal model called Masaccio is introduced. Specifications are organized in TLA⁺ modules that correspond to Masaccio components by means of a trace-based semantics. Hierarchical TLA⁺ specifications are built from atomic component specifications by parallel and serial composition that can be arbitrary nested. While the rule of parallel composition is a variation of the classical joint-action composition, the authors do not know about a reuse method for the TLA⁺ that systematically employs the presented kind of a serial composition. By combining these two composition rules and assuming only the noninterleaving synchronous mode of an execution, the concurrent, sequential, and timed compositionality is achieved.     

基于动态贝叶斯网络的社交圈归属匹配模型

为了帮助社交网中新成员寻找与之最为合适的社交圈,尝试采用动态贝叶斯网（DBN）理论解决社交网分析应用中成员（节点）与社交圈（集合）的匹配问题。将圈内成员个人的多项兴趣爱好程度作为描述社交圈基本属性的特征向量,对每一类圈子建立了带有辅助信息形式的DBN模型,求解最大输出概率即为最佳匹配对象。结果表明,在客观测试和主观评价两方面,该模型都收到了较为满意的结果。     

Matlab遗传算法工具箱在非线性优化中的应用

投影寻踪是一种降维处理技术,通过它可以将多维分析问题通过投影方向转化为一维问题分析。应用该法的关键在于寻求最佳投影方向,这可以转化为一个复杂的非线性优化问题来进行解决。选取某地区大气环境质量评价的投影寻踪评价模型,编制相关的目标函数和约束函数,应用基于MATLAB的遗传算法和直接搜索工具箱进行优化求解。结果表明：该工具箱在求解此类非线性优化问题上的有效性和方便性,从而为各领域应用投影寻踪模型提供了强有力的优化工具。     

化工设备故障诊断仿真模型设计及计算分析

通过化工设备的结构模型、功能模型建立仿真模型,在对仿真模型分析的基础上得到症状与故障之间的数量关系并进行分析计算,推断出潜在的故障模式,为设计化工设备故障诊断专家系统奠定基础。