带变量FFP語言的遝輯基础

本文为Backus的FFP语言塑造了一种演算——Г演算,它与程序代数联合起来,实质上构成一种高级的合成逻辑。证实了“此合成逻辑与Curry的(低级的)合成逻辑是等价的”。Г演算,在理论上,为FFP语言奠定了数理逻辑基础。在实用上,它是“设计带变量的FFP语言的理论基础”。文中的Ω式就是一种带变量的FFP语言的雏型,它克服了Backus的FFP语言在?读性方面的缺陷。     

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

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

递归函数中的 Cache

由于 FFP 表达式具有引用透明性,对于给定的表达式每次计算都得到同样的结果,所以每一个值只需计算一次.然而,由于 FFP 语言支持递归程序,FC-机在处理递归结点时需要拷贝代码,运行时很难检查共享计算,因此可能导致重复计算,为此人们提出了用“记忆函数”(memo function)来解决这一问题.本文主要介绍如何在 FC-机中,利用 Cache 来实现“记忆函数”。最后给出了性能分析和在FFP 系统上的实际测试结果。     

正式函数式程序设计语言的一种操作性语义模型

本文塑造了正式的函数式程序设计(FFP)语言的一种操作性语义模型,它实质上是LISP虚拟机上的一个解释程序。     

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

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

高中学生家庭功能和生存质量关系的研究

采用亲密度与适应性中文版量表（FACES II—CV）和高中生生存质量量表（HSS—QOLS）对532铝绍兴市高中生进行调查,结果发现：（1）在高中生家庭功能亲密度和适应性维度上．城镇学生优于农村学生,高收入的家庭优于低收入的家庭,但不存在显著的性别差异;（2）在高中生的生存质量方面,男生优于女生,独生子女优于非独生子女,城镇学生优于农村学生,高收入的家庭优于低收入的家庭;（3）高中生生存质量各维度和家庭功能亲密度、适应性维度存在显著正相关,且生存质量量表中的社会功能维度、家庭因子与家庭功能的相关系数达到0．5;（4）随着亲密度水平和适应性功能的提高,高中生的生存质量水平呈明显的同步上升。     

函数/邏輯程序设计語言LM的应用——FFP系统支持的Δ-PROLOG

LM是一种对于FAIR-LILY语言作了一定扩展的函数/逻辑程序设计语言.本文旨在探讨LM语言的应用,表明该语言所具的函数与逻辑两种编程风格的协调、和谐及雅洁.文中用LM语言编写了Δ-PROLOG语言的解释程序,从而,Δ-PROLOG得以在FFP系统上实现.     

非谓语动词考点解析

考例1：1．Withalotofdi衔cultproblems——，thehead—masterfeltnotalittlewor．．ried．2．Withalotofdi佑cultproblems——，thehead—masterfeltatease．A．t0solveB．t0besolvedC．solvedD．so...     

1996年土家族研究论文索引

一、宗教哲学1．论上家族原始宗教／钱安靖；扬清简／／宗教学研究．—1996（1）．—63—702．论土家族原始宗教的巫师与巫术／钱安靖；杨清简／／宗教学研究．—1996（2）．—74—823．土家族原始宗教述略／彭继宽／／民族论坛．—1996．（3）．—50—544．论土家族白虎崇拜的起源与表现功能／朱世学／／湖北民族学院学报．—1996．（1）．—49—525．梯玛巫术探究／朱祥贵／／湖北民族学院学报．—1996（4）．—29—306试论巴人鬼（神）信仰脉络／雷乐中／／三峡学刊．—1996．（1）．—1—77.土家族虎鹰蛇图腾神话考略／杨颜玲／／恩施教…     

发挥审计“免疫系统”功能，为经济保驾护航

近年来．下关区审计工作在上级审计机关的关心和指导下，紧紧围绕区委、区政府工作中心．将“推改革、促发展、防风险、保民生”作为审计工作的出发点和落脚点．注重工作创新．狠抓任务落实，为下关经济社会又好又快发展做出了积极贡献。2005—2009年以来．我局共完成审计项目101个．查处违规金额6793万元，管理不规范金额19484万元．查补入库税款2000多万元．     

无线局域网服务质量的优化研究

目前的尽力而为的服务方式将实时应用和非实时平等看待,没有考虑实时应用的特殊要求.同时新增实时应用时,不会考虑现存实时应用资源是否充分.本文引入一个服务质量(QoS)软件框架来解决目前的问题,其中的分类模块可以将不同的应用放入实时队列和非实时队列;数据包调度模块严格执行了实时数据包优先调度机制;资源管理模块动态管理应用资源,确保实时应用资源优先分配.经试验证明,在对实时应用的支持方面,使用了基于软件框架的解决方案明显优于无软件框架的解决方案,为实时应用提供了良好的QoS支持,从而提高无线局域网的服务质量.     

主从式实时测控系统中面向硬件对象的类设计与实现

给出了在主从式实时测控系统中，运用面向对象的思想，通过构建硬件对象类进行主机应用程序开发的实现方案、并以基于Windows平台，采用Delphi语言的实时温度／压力测控系统为例，介绍了对下位机、显示屏、读卡机及打印机等硬件对象的具体编程实现的步骤和方法。     

利用"取点法"测量绘图软件中非标准几何体尺寸

研究了测量计算机绘图软件中非标准几何体尺寸的问题.首先阐述了利用绘图软件对非标准几何体的预处理方法,然后根据各种几何体的特性及插值理论,推导出了测取绘图软件中非标准几何体尺寸的"取点法",并以计算机绘图软件中的三个几何体为例,对该方法进行了验证,其结果表明了此种方法的可靠性.     

机载雷达软件开发全周期测试技术研究

软件测试技术作为保障软件质量最直接、最有效的手段之一,逐渐成为研究热点.文中在分析传统软件测试方法遇到的困境及其局限性基础上,探讨软件开发全周期测试技术,运用此技术将软件测试过程和软件开发过程同时进行,通过增量迭代过程实现软件质量的持续改进与提高,并结合某工程实际开展试点工作,结果表明,开发的软件模块功能完善,系统性能稳定可靠,取得了较好的效果.     

DOS下中断方式打印编程方法指南

本文简述了ＤＯＳ环境下实时监控系统中采用中断方式打印的必要性，并结合打印机接口数据传输时序论述了设计中断方式打印程序的一般方法和用Ｃ６．０编制的相应程序。     

基于纹理映射的医学图像三维重建

提出了一种基于纹理映射的体绘制算法,提高了图像的重建效率,增强了图像的重建效果。算法实现了对二维医学图像序列的三维重建,在目前通用的个人计算机上可以以近似实时的速度重建出高质量的三维图像。针对算法中存在的问题提出了两种不同的改进方法,取得了较好的效果。结合纹理生成的过程和纹理重采样的过程,对重建后的三维图像实现了交互切割的算法。     

电生理诊断中实时数字滤波器的设计与实现

根据视觉电生理信号的特点，采用计算机软件方法实现了一种消除人体５０Ｈｚ工频干扰的实时带阻滤波器．     

一种在移动GIS环境下基于R树的并行窗口查询系统模型

窗口查询(Window Query)是移动地理信息系统(Mobile Geographic Informa-tion System)各类具体应用中的核心功能。为了提高移动GIS系统的查询效率(I/O开销、响应时间、丢失率),本文对实时环境下窗口查询分解、调度和并行处理等问题做了阐述,讨论了基于内存R树(Memory R-tree)实现并行窗口查询的方法。     

航运大数据管理及其在公共服务领域的应用

大数据管理是当前港口航运业关注的热点之一,对航运大数据的有效分析和利用能够为政府相关部门和功能性国企在公共服务领域发挥积极作用提供基础数据的支撑。航运大数据管理在实际应用中存在大数据人才储备不足、数据安全监管规则缺失、数据资产价值评估困难和政策约束影响数据共享等诸多难点。大数据管理可以依托云计算平台提供基础硬件设施,通过建设完善的数据治理构架,针对不同数据使用场景进行分区域管理,建立开放共享的大数据生态体系。航运大数据应用到公共服务领域中,可以通过构建客观精准的大数据航运指数快速反映行业变化,使用动态监控集装箱堆场数据实现箱管智能调度,对进出口企业征信以促进供应链金融发展,实时监控报关数据以降低风险损失。     

基于软件无线电的LTE-Advanced实时测试平台同步的设计与实现

基于GNU Radio和USRP以软件无线电方式构建了一个移动通信技术实时测试平台.在此平台上，利用LTE无线帧中的主/辅同步信号实现了符合LTE-Advanced物理层规范的实时通信.该测试平台为真实物理环境下移动通信技术的设计、测试及验证提供了技术手段.