关于年龄相关的种群扩散系统的最优边界控制计算的惩罚移位法

研究了惩罚移位法应用于一类种群扩散系统最优边界控制的计算,构造了其逼近程序,并证明了这种方法的收敛性.     

Optimal Control Problem Governed by Semilinear Parabolic Equation and its Algorithm

In this paper, an optimal control problem governed by semilinear parabolic equation which involves the control variable acting on forcing term and coefficients appearing in the higher order derivative terms is formulated and analyzed. The strong variation method, due originally to Mayne et al to solve the optimal control problem of a lumped parameter system, is extended to solve an optimal control problem governed by semilinear parabolic equation, a necessary condition is obtained, the strong variation algorithm for this optimal control problem is presented, and the corresponding convergence result of the algorithm is verified.     

非自治单种群时滞Kolmogorov系统的持续性和灭绝性

研究非自治单种群时滞Kolmogorov系统,给出了该系统中种群持续和灭绝的充分条件,这些结果与相应的非自治单种群Kolmogorov系统的有关结果相似.     

The BTeV DAQ and Trigger System—Some Throughput,Usability and Fault Tolerance Aspects

As presented at the last CHEP conference,the BTeV triggering and data collection pose a significant challenge in construction and operation,generating 1.5 Terabytes/second of raw data from over 30 million detector channels.We report on facets of the DAQ and trigger farms.We report on the current design of the DAQ,especially its partitioning features to support commissioning of the detector.We are exploring collaborations with computer science groups experienced in fault tolerant and dynamic real-time and embedded systems to develop a system to provide the extreme flexibility and high availability required of the heterogeneous trigger farm(-ten thousand DSPs and commodity processors).We describe directions in the following areas:system modeling and analysis using the Model Integrated Computing approach to assist in the creation of domain-specific modeling,analysis,and program synthesis environments for building complex,large-scale computer-based systems;System Configuration Management to include compileable design specifications for configurable hardware components,schedules,and communication maps. Runtime Environment and Hierarchical Fault Detection/Management-a system-wide infrastructure for rapidly detecting,isolating,filtering,and reporting faults which will be encapsulated in intelligent active entites(agents)to run on DSPs,L2/3 processors,and other supporting processors throughout the system.     

一类带有Holling Ⅱ类功能性反应和相互干扰及脉冲效应的捕食系统

A kind of predator-prey system of Holling typeⅡand interaction perturbation with impulsive effect is presented.By using Floquet theory and small amplitude perturbations skills,the locally asymptotical stability of prey-eradication periodic solution and the permanence of the system are discussed and the corresponding threshold conditions are given respectively.Finally,the existence of positive periodic solution is investigated by the bifurcation theory.     

具有热储备的并行可修系统稳态解的最优控制

研究了具有热储备的并行可修复系统中,其稳定解的最优控制问题,并给出了其最优解的存在唯一性.     

微生物批式流加发酵脉冲系统的参数辨识及稳定性

针对微生物批式流加发酵生产1,3-丙二醇的非线性脉冲系统,建立敏感参数的优化辨识模型(PDP),论述了模型解的性质、解与参量的关系以及辨识问题最优解的存在性.通过构造算法求得辨识问题最优解,并讨论了新参数下脉冲系统解的稳定性.     

国家基金委信息学部“2009年电路与系统领域”研讨会在我校召开

9月20日,＂2009年电路与系统领域＂研讨会在我校召开,来自多所著名高校的数十名专家就电路与系统领域有关研究课题进行了研讨和交流.校长聂秋华出席研讨会并致辞.会上,聂秋华校长简要介绍了学校沿革和基本情况,并希望得到国家自然科学基金委和与会专家、学者的大力支持.     

Preliminary Design of BES-Ⅲ Trigger System

This article desribes the preliminary design of the trigger system for the updating beijing Spectrometer at Beijing Electron Pstiron Collider,including,backgrounds study ,event estimation,new techniques like pileline to be used in the trigger,and the principle and consideration in the trigger design.