公共性:政府绩效评估的逻辑起点

公共管理有别于私人管理的最为根本的一点就是其公共性。在绩效管理日益深入人心,并已成为越来越多人们共识的今天,公共性却未获得应有的重视。中国政治文明进程加速、知识经济与信息社会的迅猛发展都要求在更加重视政府绩效提高同时,也要更加重视公共性。公共性是政府绩效评估的逻辑起点,是中国政治文明进程的必然逻辑选择。     

基于逻辑选择脉冲时滞动力系统的稳定性分析

为了使动力系统在稳定性分析上更具有一般化,能更加精确实际地刻画自然现象;针对具有逻辑选择脉冲效应的时滞动力系统,提出此系统的全局指数稳定性分析问题,可在一定程度上推广一般脉冲时滞动力系统的稳定性分析;通过引入具有逻辑选择脉冲效应的时滞非线性动力系统,并利用半张量积将该动力系统中的逻辑函数转换为代数状态空间表示,再建立脉冲型 Halanay 微分不等式来估计该动力系统中线性系统部分的 Cauchy 矩阵;基于此,对向量和函数给出了4个假设条件,得到在逻辑选择脉冲控制下的非线性时滞系统的零解全局指数稳定性判定依据,且证明了此动力系统的指数收敛率为 λ-η。     

机载防撞系统TCASⅡ Version 7.1与Version 7.0软件的比较

针对机载防撞系统TCAS软件版本的改进,描述了TCASⅡVersion7.1对Version 7.0软件所作的修订,分析了Version 7.0与Version 7.1软件的差异和改进.按照DO-185B所规定的TCAS系统最低性能需求,采用软件工程的方法,完成了TCASⅡVersion 7.1防撞算法的软件设计和编程并建立了相应的软件测试平台.通过采用一组标准输入及输出的测试用例文件,将标准输入产生的输出结果与DO-185B的输出结果进行比对,验证了TCASⅡVersion 7.1防撞算法和处理逻辑的正确性和有效性.     

科学普适性信念批判的SLK进路研究及其意义

西方学术传统所坚持的科学普适性信念,多年来受到来自数学哲学、物理哲学等多条进路的批判。布鲁尔的SSK思想也是对这种信念的一种批判,作为其SSK组成部分的SLK思想,是这种批判的集中体现。他以逻辑学这门硬科学为例,从逻辑基础和逻辑规则社会性两个方面,提供了对于科学普适性信念更为深入的批判路径,从而导致了科学形象的极大变革。     

ABS模糊自适应控制器的设计与仿真研究

基于最佳滑移率的ABS自适应控制器要解决的问题有：在制动过程中,滑移率被稳定的控制在目标滑移率附近;自动识别道路附着状况,调整目标滑移率值以达到利用最大道路附着系数的自适应效果.本文在建立车辆单轮防抱死仿真系统的基础上,使用模糊控制,设计了一个基于最佳滑移率的复合式模糊自适应控制器。经ABS系统仿真实验表明,该控制器的控制稳定性、鲁棒性和自适应性均取得了良好的效果。     

第九区District 9——寓言故事般的科幻大片

人们总是对不了解的、没有掌握的东西感到畏惧。这个跟人们对黑暗的惧怕是一样的。所以在潜意识里,总是被各种资料潜移默化地影响着。总是觉得外星生物是危险的,是强大的。以往的电影也是以这样的形式描绘着。但《第9区》似乎一反这个人们已经习惯了的逻辑。影片讲述了一个类似卡夫卡《变形记》的科幻故事。     

复杂系统的逻辑结构判据问题

系统阐述了LAPP方法以及2004年以来的主要发展,并指出一些新的针对复杂系统的逻辑结构判据算法及相关问题的研究方向.     

基于信噪比的变门限大数逻辑译码

日本数字电视ISDB标准中采用的是(273,191)差集循环码,采用改进的变门限大数逻辑译码,但这种方法在信噪比较低时具有较高的译码误指示率。为改善译码性能,该文基于(273,191)差集循环码分析了产生这种缺陷的原因,提出了一种基于信噪比的变门限大数逻辑译码方法,并对其进行了仿真比较。结果表明,改进后的算法在中低信噪比时以少量的性能损失大幅降低了更为重要的误指示率。     

BL_Δ~*系统的完备性

研究了BL*系统和BR0-代数.首先在BL*系统的基础上添加了一元逻辑连接词Δ,得到BL*系统的一种模式扩张BL*Δ系统,随后提出了ΔBR0-代数的概念,其次研究了ΔBR0-代数中的Δ-滤子及其性质,最后证明了BLΔ*系统的完备性,给出了BLΔ*系统的广义演绎定理.     

ORACLE数据库的备份方法和策略

在当今信息化的时代里,数据库安全是管理系统正常运行的重要保障,数据库备份几乎是任何计算机信息系统中必要的组成部分,笔者阐述了ORACLE数据库备份的方法和策略,从而提高数据库的恢复效率,缩短数据库的恢复时间,降低维修成本.