反应堆保护系统紧急停堆响应时间测试分析

反应堆保护系统的响应时间是核电厂安全级数字化仪表控制系统的关键性能指标.为确保核电厂的安全,提高反应堆保护系统响应时间测量准确性和快速性,通过对反应堆保护系统各大数据处理环节的特点,构建了反应堆保护系统紧急停堆响应时间测试平台,采用自动测试装置对响应时间测试方法进行分析总结,并提出了优化反应堆保护系统紧急停堆响应时间的...     

冰雪灾害条件下地质灾害应急抢险知识库系统研究

知识库系统是开展极端冰雪灾害条件下地质灾害应急抢险关键技术研究的重要内容.结合冰雪灾害条件下地质灾害应急抢险的特点,在分析知识构成的基础上,阐述了知识库系统中知识获取、知识表示、知识库结构以及推理机等核心内容,并给出了相应示例.为冰雪灾害条件下地质灾害应急抢险知识库系统及决策支持系统的设计和实现提供参考.     

具有无穷时滞的积分微分系统的鲁棒稳定化

研究了具有无穷时滞的不确定积分微分系统的稳定性问题,对于每一个子系统应用稳定化的局部状态反馈,利用Ｌｙａｐｕｎｏｖ函数,并结合不等式分析技巧,给出了在不依赖时滞的分散控制下,具有无穷时滞的不确定系统鲁棒稳定化的充分条件。     

具周期系数的竞争系统最优周期捕获策略

考虑了周期系数的两个竞争种群非自治系统的捕获问题.在保证惟一的全局渐近稳定周期解存在的条件下,以单位时间的持久产出作为最终管理目标,得到相应的最佳种群水平和捕获努力量.     

基于动态交通分配的实时应急疏散交通管理

实施科学有效的应急疏散策略对提高城市交通应急响应能力、节约救援时间和降低灾害带来的生命财产损失具有重要的作用。实时应急疏散交通管理的目的是紧急疏散情况下制定某种目标如疏散时间最短来对交通流实行动态控制。采用动态交通分配方法来进行应急疏散。首先,提出基于疏散时间最短的系统优化交通分配模型。然后运用庞特里亚金最小值定理来获得模型最优解的优化解。仿真算例表明所提出的模型能较好地进行交通应急疏散。     

预测函数控制在确定性网络控制系统中的应用

针对网络控制系统具有不确定时滞的特性,通过在节点中设置缓冲区的方法将随机时滞转化为确定性时滞,从而将网络控制系统从随机系统转化为确定性时滞系统;针对这类时滞系统利用预测函数控制算法设计了控制器,以实现基于模型匹配和多步预测的思想来改善控制性能。通过仿真和基于DCS的模拟系统实验,结果均表明了该方法的正确性和有效性。     

一类具有奇异积分直线的平面三次微分系统的极限环

研究三次系统dx/dt=-y(ax2+bx+1)+Dx-lx3dy/dt=x(ax2+bx+1)在a=0,b≠0,D≥l/b2与b2=4a,b≠0,D≥4b/2l时,该系统极限环的存在性问题,证明了系统在上述条件下均不存在极限环.     

信息系统安全体系结构发展研究

在简要回顾信息系统安全体系结构(ISSA)发展历程的基础上重点分析了ISSA的定义、研究意义、研究主题和思路、ISSA学科性质及方法论等基本问题,探讨了未来进一步发展ISSA在理论、技术、实施、应用4个领域所面临的挑战和未来走向。最后在结论部分简要分析了ISSA的局限,并提出了“信息安全学科与系统科学在认识和理论(即基础科学)层次的融合是从根本上解决信息系统安全问题的主要趋势和有效途径”的观点。     

模糊线性方程组的基本迭代解法

利用迭代法求解模糊线性方程组是一种重要的方法.研究了模糊线性方程组的几种基本迭代解法.在模糊线性方程组系数矩阵是拟对角占优矩阵的条件下,得到了迭代法的收敛性定理.最后,给出了数值例子.     

Local reduction in physics

A conventional wisdom about the progress of physics holds that successive theories wholly encompass the domains of their predecessors through a process that is often called “reduction.” While certain influential accounts of inter-theory reduction in physics take reduction to require a single “global” derivation of one theory׳s laws from those of another, I show that global reductions are not available in all cases where the conventional wisdom requires reduction to hold. However, I argue that a weaker “local” form of reduction, which defines reduction between theories in terms of a more fundamental notion of reduction between models of a single fixed system, is available in such cases and moreover suffices to uphold the conventional wisdom. To illustrate the sort of fixed-system, inter-model reduction that grounds inter-theoretic reduction on this picture, I specialize to a particular class of cases in which both models are dynamical systems. I show that reduction in these cases is underwritten by a mathematical relationship that follows a certain liberalized construal of Nagel/Schaffner reduction, and support this claim with several examples. Moreover, I show that this broadly Nagelian analysis of inter-model reduction encompasses several cases that are sometimes cited as instances of the “physicist׳s” limit-based notion of reduction.