Generalized adaptive notch filters with frequency debiasing for tracking of polynomial phase systems

Generalized adaptive notch filters are used for identification/tracking of quasi-periodically varying dynamic systems and can be considered an extension, to the system case, of classical adaptive notch filters. For general patterns of frequency variation the generalized adaptive notch filtering algorithms yield biased frequency estimates. We show that when system frequencies change slowly in a smooth way, the estimation bias can be substantially reduced by means of post-filtering of the frequency estimates. The modified (debiased) algorithm has better tracking capabilities than the original algorithm.     

An actor-critic algorithm for constrained Markov decision processes

An actor-critic type reinforcement learning algorithm is proposed and analyzed for constrained controlled Markov decision processes. The analysis uses multiscale stochastic approximation theory and the envelope theorem' of mathematical economics.     

Marcia K. Johnson: 2006 Award for Distinguished Scientific Contributions.

Presents the citation to Marcia K. Johnson, who received the Award for Distinguished Scientific Contributions "for raising and illuminating fundamental questions about the cognitive and neural processes that constitute the subjective experience of mental life." A brief profile and a selected bibliography, as well as Johnson's award address, entitled Memory and Reality (see record 2006-21079-028), accompany the citation. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

工业发酵的生物学属性对发酵过程最优控制的制约与对策

从工业发酵过程计算机控制的历史和现状出发，探讨了工业发酵过程的生物学属性对发酵过程最优化控制的制约，以及解决这个难题的对策。在论证了工业发酵具有明显的生物学属性的基础上，阐明了发酵的生物学原理及其在发酵过程最优化控制中应用的重要性。     

Dyestuff—fibre interactions

The strength and nature of dye–fibre interactions vary according to fibre type and dye type. In the case of acid dyes for polyamide fibres, cationic dyes for acrylic fibres, disperse dyes for hydrophobic fibres, and direct dyes for cellulosic fibres, these interactions may be classified as non-covalent, a classification which includes van der Waals (VDW), electrostatic, induction, solvophobic and charge-transfer interactions.
Reactive dyes are a notable exception to the above, since the interaction which is responsible for their excellent wet fastness is the dye–fibre covalent bond, however, these dyes are increasingly viewed as environmentally unfriendly due to high salt usage and residual unfixed colour. This situation may be improved by either incorporating amine sites in the cellulose or by reversing the system to incorporate reactive residues in the fibre and nucleophilic sites in the dye.
Nonionic disperse dyes are valuable for hydrophobic fibres such as polyester but have made little impact on hydrophilic fibres such as silk, wool and cotton. Experiments to develop simple treatments to render the latter fibres disperse dyeable are described and the combined role of solvophobic and – interactions discussed.     

Trace,failure and testing equivalences for communicating processes

A basic question in the theory of communicating processes is “When should two processes be considered equivalent?”. Attempts to answer this question have led to the concepts of observation equivalence, bisimulations, testing equivalence, failure equivalence, etc. The main point of this paper is to increase the understanding and motivation for two of these equivalences, namely failure and testing equivalences. The approach starts with the idea that the equivalence of processes should be reducible to the visible sequences of actions which a process performs in various contexts. This idea is implemented by a string-based semantic order for communicating processes where divergence is catastrophic. Under some assumptions about contexts, the resulting semantics is shown to be equivalent to theimproved failure semantics of Brookes and Roscoe⁽¹⁾ and also to themust testing-semantics of Hennessy and DeNicola.^(2–4) This characterization gives independent support for the appropriateness of failures and testing.     

面向软件动态演化的需求建模及其模型规范化

针对目前需求工程阶段对软件动态演化考虑不足的现状,在分析软件动态演化面临的挑战的基础上,设计了面向动态演化的需求元模型(dynamic-evolution-orientedrequi rements meta-model,DERM)。该元模型以特征为基本部件,按特征组合的方式建立需求模型,需求模型由行为特征和属性特征组成。行为特征被区分为计算行为特征和交互行为特征,以实现计算和交互的相对隔离;属性特征通过其作用域,指定其在行为特征模型中的作用范围,从而将行为特征模型和属性特征模型统一为需求模型。在此基础上,讨论了需求模型的参照完整性、依赖一致性和互斥一致性,并进一步把需求模型规范化为需求模型第一范式到第三范式,需求模型规范化的过程提供了一种保证需求模型一致性的方法。最后通过案例研究,表明了该方法的可行性及其对软件动态演化的有效支持。     

基于降雨-径流试验的高寒草甸产流机制研究

对黄河源区高寒草甸产流机制进行研究,为河源区生态环境保护、水资源科学规划管理提供基础水文理论认知。基于野外降雨-径流试验,通过回归分析构建考虑坡度和覆被因子的暴雨和中小雨产流计算模式,精度良好,能够反映暴雨和中小雨2种降雨模式下高寒草甸产流的一般特征。试验结果表明,因草甸土-植体系蓄容能力较强,高寒草甸区地表产流主要发生在暴雨模式下,中小雨模式下的地表产流量一般很小。模式应用表明,草甸发生退化后,暴雨和中小雨入渗均有减少,暴雨模式下退化草甸比高覆草甸入渗减少约12%,中小雨模式下减少约3%。     

An integrated methodology to control the risk of cardiovascular disease in patients with hypertension and type 1 diabetes

Today, air pollution, smoking, use of fatty acids and ready‐made foods, and so on, have exacerbated heart disease. Therefore, controlling the risk of such diseases can prevent or reduce their incidence. The present study aimed at developing an integrated methodology including Markov decision processes (MDP) and genetic algorithm (GA) to control the risk of cardiovascular disease in patients with hypertension and type 1 diabetes. First, the efficiency of GA is evaluated against Grey Wolf optimization (GWO) algorithm, and then, the superiority of GA is revealed. Next, the MDP is employed to estimate the risk of cardiovascular disease. For this purpose, model inputs are first determined using a validated micro‐simulation model for screening cardiovascular disease developed at Tehran University of Medical Sciences, Iran by GA. The model input factors are then defined accordingly and using these inputs, three risk estimation models are identified. The results of these models support WHO guidelines that provide medicine with a high discount to patients with high expected LYs. To develop the MDP methodology, policies should be adopted that work well despite the difference between the risk model and the actual risk. Finally, a sensitivity analysis is conducted to study the behavior of the total medication cost against the changes of parameters.     

信息化进程中计算机硬件学科建设的持续自主创新

目前,我国的信息产业也在不断的飞速发展,而信息化发展的进程中,计算机硬件学科也加入了其发展的行列,并长期以来一直坚持着可持续发展的自主创新理念。本文首先介绍了信息化的发展进程,接着分析了计算机硬件学科的建设的自主创新的坚持的主要原则,最后明确的阐述了计算机硬件学科,在建设的持续自主创新中采取的有利措施。