正式函数程序设计语言FFP在微机上的实现

本文描述了在M68000 DUAL系统上用C语言实现的正式函数程序设计语言FFP-1,从而在微机上证明了FFP-1系统的可行性。由于FFP语言是作用式、归约式的语言,因此采用了图归约机和延迟求值技术。     

关于函数转移系统的生成系统

函数转移系统是定义在有限个符号上一些自映射的转移系统；对函数转移系统中的元（fi）i∈N，由xi＋1=fi（xi）决定一个符号序列（xi）i∈N，按此方式可生成符号空间的一个转移系统，叫做函数转移系统的生成系统．在2个符号且函数转移系统取为全转移系统的情形下，讨论了相应生成系统的分类问题，得出如下结论：不同函数转移系统可能具有相同的生成系统．     

自动机泛函ORANPIA—函数程序设计的自动机策略思想

本文明确地提出“将自动机这一概念重新引入到作用式语言中来”。在作用式语言FFP中,为自动机的介入无需设置新的语言成分,而仅仅在FFP语言自身这一级上定义一个新的自动机泛函(名为Oranpia),就可使FFP语言赋有自动机式程序设计风格。此风格有利于我们在不少的实用场合采取“自动机策略思想”来自然地进行有效的程序设计。     

相关函数法在系统在线识别中的应用

本文分析了经典的频率法和改进的脉冲法进行系统识别方面的不足,讨论了相关函数法进行系统识别的原理和存在问题,最后推理得出采用弱信号提取法与相关原理结合进行系统动态在线识别的可行性,并从实用角度分析了该方法的特点和注意问题.     

关于线性切换系统的共同Lyapunov函数

研究了离散和连续线性切换系统的共同二次Lyapunov函数.对于系统矩阵为分块上三角或分块下三角矩阵的两种情形,给出了一些关于共同二次Lyapunov函数的性质.     

采矿系统多目标决策的价值函数研究

根据效用理论，分析了采矿系统多目标决策问题的价值函数构成及特征，建立了符合采矿指标特征的指数价值函数。所建立的价值函数具有较强的实用性。     

GLV系统的几类哈密顿函数和运动不变量

给出了可作为具有相应Poisson结构的GLV系统的Hamiltonian函数和运动不变量的两类函数及代数条件,且代数条件是独立的.     

在遥测系统中自制传感器传输函数的建立

本文介绍的是一个实际应用遥测系统中传感器传输函数的建立过程。研究传感器传输函数的建立的理论依据。所建传输函数的正确性。传输函数公式中的参数可能给系统带来的相对误差估算。     

区域创新系统绩效评价模型研究——基于知识生产函数和主成分分析

本文通过构建知识生产函数扩展模型对我国31个省(自治区、直辖市)的创新绩效进行测算,同时采用主成分分析法克服模型中的共线性问题。实证研究发现,经济发展水平与创新能力正相关,但并不具有一一对应的关系。通过模型对这一原因进行解释,为我国制订区域创新发展政策提供科学依据。     

基于时滞混沌系统的带密钥Hash函数的设计与分析

提出了一种基于时滞混沌系统的带密钥Hash函数算法,该算法利用时滞混沌系统非线性动力学特性,将需要传送的明文信息调制在时滞混沌迭代的轨迹中,并通过HMAC-MD5算法计算得出Hash值,Hash值的每个比特都与需传送的明文信息相关。该算法使Hash值对明文信息及时滞混沌迭代初始条件的微小变化高度敏感。理论分析和仿真结果均表明,该算法在保证Hash值的混乱性和散布性的同时,由于其混沌特性的加入而增大了参数空间,并且混沌Hash值与初始明文信息之间的非线性关系可以有效地抵御线性分析。因此,本文设计的基于时滞混沌系统的Hash函数算法具有很好的安全性、抗碰撞性和抗攻击能力,在数字签名等认证技术领域有很好的应用前景。     

超混沌Lü系统的模糊脉冲控制:时变Lyapunov函数方法

针对一般混沌系统模糊脉冲控制问题,提出了一种基于时变Lyapunov函数的分析方法。与时不变的Lyapunov函数方法相比,该方法能充分利用脉冲区间的信息,从而推导出具有较少保守性的结果。不同于已有的结果,所得到系统的全局指数稳定性条件同时依赖于脉冲区间的上界和下界。该稳定性条件表示为线性矩阵不等式形式。通过求解一组线性矩阵不等式,得到镇定混沌系统的模糊脉冲状态反馈控制器。提出的脉冲镇定方案应用于超混沌吕氏系统的镇定问题,所得结果证实了该方法的有效性。     

形式公理系统确定可能世界的方式之影响——认识程序和范围

本文讨论了形式公理系统在认识程序上的变化和它导致的可能世界的范围扩张。     

改进的DSmT算法及其在C~4ISR系统中的应用

提出了一种基于DSmT的快速mass函数收敛算法。在工程应用中,由于矛盾焦元在决策时没有实际意义,所以在证据融合时,只计算由辨识框架元素形成的焦元与未知焦元的基本置信指派,而不需要计算矛盾焦元的基本置信指派。这样能够有效地降低计算复杂度,并提高mass函数的收敛速度。将该算法作为雷达辐射源识别的方法应用到了C4ISR系统中,仿真表明,该方法比传统方法在高冲突情况下可以更准确、更快速地识别雷达目标。     

函数型主成分分析(FPCA)模型的应用——以北京市行业人口调控为例

为探讨北京市人口就业和人口控制相适应的基本对策,文章利用非参数平滑技术,将原始数据拟合成函数型数据进行分析,采用L2空间上函数型主成分分析(FPCA)方法,得出各行业从业人数变动与经济环境和政策导向关系密切,人口调控的重点是第三产业,尤其是住宿餐饮业、批发零售业、信息传输计算机服务和软件业、租赁和商务服务业.     

家庭生产函数对传统消费者行为理论的改进及其拓展方式——一个基于统一坐标系统的分析

本文为诺贝尔经济学奖得主加里.S.贝克尔所提出的家庭生产函数构建了一个二维坐标分析系统。该坐标系统直观地显示:家庭生产函数对传统消费者行为理论的改进之处,在于其与人类更基本的需求直接联系、将经济学的研究范围拓展到全部人类行为和降低了对偏好差异假设的依赖程度等三个方面。而对贝克尔及其合作者近半个世纪以来的相关文献进行梳理,可以发现:这些研究基本上都是围绕对家庭生产函数的参数细化和分析周期延长而展开的。因此,在强调贝克尔对拓展经济学研究范围方面所做贡献的同时,更应该对家庭生产函数本身及其经济含义开展更为深入的研究。     

综放面支架——围岩监控系统的应用

围绕综放面端面冒顶与其影响因素之间的关系,着眼于解决现场实际问题,应用围岩监控系统基本原理,阐述了现场观测的内容、方法及其他监控系统内在要求的相关问题,并对取得的成果进行了分析性说明.     

中国家庭发展追踪调查系统的构建——计算机辅助面访系统构建与应用

中国家庭发展追踪调查系统的构建主要包括问卷管理子系统、面访管理子系统、执行管理子系统、统计分析子系统和系统管理子系统.通过逻辑判断、访问留痕、现场录音等方法进行问卷调查的质量控制、访问过程监督、调查员的管理与监督,同时在系统中整合中国家庭发展相关的知识库和指标库,结合受试者即时、直观、准确的选择.从问卷生成、现场面访调查到数据统计分析实现全程电子化,减少手工操作的人为错误提高效率.成功构建了即适用于中国家庭发展追踪调查,又可以应用到其他的社会调查,此系统在2014年中国家庭发展追踪调查中得到了验证.     

外贸模拟实习系统应用实例分析 ——信用证项下汇票的填写

〕     

跨越科学研究与实践应用之间的鸿沟——社区心理学的交互系统框架

为使预防研究的科学成果能更好地应用于实践,社区心理学家联合其它学科专家开发出交互系统框架,它为人们跨越科学与实践之间的鸿沟带来新的启示。依据专家讨论的结果,以该框架为指导,整理并列举出社区预防领域的新项目在传播与执行中存在的难题及应对方法并进行简要的评价。