An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus

This brief historical note describes research done in the period 1970-1973, and where continuations were introduced in a fairly pragmatic way together with partial evaluation in order to compile rules expressed as statements in first-order predicate calculus. Although the methods used at that time were quite straightforward, this work may shed some light on the early history of the concept of continuations. In particular, unlike other early contributions that addressed issues in mainstream programming languages, the present approach initially addressed implementation techniques for special-purpose languages.     

左倾堆枚举计数递推公式及实现

通过对左倾堆性质和定理的深入研究,用组合的方法推导出含n个不同节点的左倾堆的枚举计数的递推公式,并用程序进行实现和验证,给出相应的实验结果,从而为非完全二叉树型的堆结构的枚举计数提供借鉴和参考,同时也为左倾堆枚举生成和随机生成以及左倾堆的平均算法复杂性的分析奠定基础。     

一个Windows应用程序的垃圾回收器

为减少长期运行的Windows应用程序持续堆内存泄漏而造成的系统性能损失,设计并实现了一个运行时自动垃圾回收器RT-AGC。RT-AGC采用传统Mark—Sweep算法的一个变种,对回收触发条件进行改进,使其具有更大的灵活性。利用Windows下应用程序的存储结构和系统API函数,通过扫描可能存储指针变量的区域,RT—AGC可以在应用程序运行时检测并处理内存泄漏,而不需要对目标应用程序重新编译或链接。文中描述了所采用的关键算法流程和主要实现技术,并编写了测试程序对RT—AGC的回收效果进行验证。实验证明可以有效地抑制应用程序的内存泄漏。     

冗余及监控混合策略的优化配置算法研究

大数据环境中监控和冗余混合策略的采用引起资源优化配置模型的状态空间膨胀,进化搜索算法在整型与非整型变量结合的解空间中的搜索效率有待提高,为此提出了基于搜索邻域分析的三元组模因算法.在分析了监控频率等参数变化对组件及系统可靠性增长影响的基础上,针对监控频率提出了基于变长邻域的近邻生成方法,针对策略选项提出了与组件关联的近邻生成方法.采用模因算法框架并改进了局部搜索算子,通过组件间的迭代搜索在保持个体优势的同时增大搜索范围.该算法能够用于求解混合策略下的组件保障措施选项及相应优化配置参数;与现有多策略搜索算法相比,在相同可靠性约束下,该算法能够得到消耗更低的资源配置结果;局部搜索策略对算法稳定性未造成明显影响.     

生物信息软件的自动化策略及其实现

分析基于OLE自动化、内嵌VBA、键盘模拟以及智能网络代理技术的4种程序自动化策略。实现基于OLE自动化和内嵌VBA技术的生物质谱数据处理自动化程序AutoDataExplorer、基于键盘模拟技术的引物设计自动化程序OligoMask、基于网络智能代理的质谱数据库搜索自动化程序BatchMascot,在高通量蛋白质组学数据采集和分析工作上的成功应用证明其能使软件设计更方便快捷。     

小型电视台视频播放系统的实现技术及其播放策略分析

简要介绍了一种小型电视台视频指放系统的实现技术，并对其指放策略进行了比较分析，提出了硬盘直接I/O、动态缓冲区分配、多线程预读和脉搏同步策略。     

应用于SAN的自动精简配置架构设计与实现

自动精简配置是一种先进的存储虚拟化技术,能够提高存储系统资源利用率,满足信息系统建设的需求。针对传统存储系统资源利用率低下的问题,对自动精简配置技术的原理及实现方式进行分析,采用模块化、分层的设计思想,设计并实现一种应用于存储区域网络(SAN)的高效I_THINP自动精简配置架构,将池组织模块、精简分配模块、精简回收模块、动态扩容模块和容量预警模块有机结合,使其具备比较完善的自动精简配置功能。实验结果表明,I_THINP架构能够使存储系统资源利用率提升至98%以上,相比传统存储系统提高了2倍,适用于真实的SAN环境。     

基于网络图的资源分配问题的算法研究及实现

图论是应用十分广泛的运筹学分支，用网络图来解决资源分配的问题不仅可以简化求解过程而且丰富了求解方法。在深入分析Dikstra算法的基础上，实现了基于网络图的资源分配问题的求解和图形表示，     

基于网络图的资源分配问题的算法研究及实现

图论是应用十分广泛的运筹学分支,用网络图来解决资源分配的问题不仅可以简化求解过程而且丰富了求解方法。在深入分析Dijkstra算法的基础上,实现了基于网络图的资源分配问题的求解和图形表示。     

一种共享主存二维SIMD结构资源分配算法的改进与实现

共享主存二维SIMD结构已经广泛应用于多媒体处理加速部件,其数据并行性可以大大提高处理器的运算能力。目前,已有一些针对共享主存二维SIMD结构编译优化方面的研究,这些编译优化技术能有效地提高各种多媒体应用程序的加速比。但是,分析可知,这些优化方法的平均资源利用率只有约50％。本文基于对多媒体应用程序在共享主存二维 维SIMD结构上的执行过程分析,根据原有算法并适当修改经典图着色寄存器分配算法,提出了一种改进的资源分的目的。实验结果说明,该算法的改进对于大部分多媒体应用程序的性能有显著的提高。     

基于耦合神经网络集成推理技术的机械产品智能化方案设计支持系统研究与实现

把神经网络与规则推理相结合,用于方案设计决策支持系统的推理机构中。首先根据领域规则构造出神经网络,再根据样本对神经网络进行学习训练。该系统有自学习功能,其网络的拓扑结构在学习过程中可以动态变化,用户可根据实际需要进行知识的更改和完善,用户界面方便实用。     

Implementation of a dynamic scheduler for apparel computer integrated manufacturing systems

A major problem faced by the typical apparel manufacturer in day-to-day operations is the need for an effective scheduler to determine actions required because of operator and/or machine non-performance. The dynamic resource allocation system (DRAS) scheduler described in this paper is the natural outgrowth of previously funded research related to the design, development, technology transfer and installation of a CIM system in an apparel plant. The already developed CIM system provides a way for the DRAS scheduler (described in this paper) to change a production process dynamically. The implementation and modeling approach of the scheduler is described. The underlying system model is based on Petri nets and object-oriented databases. Petri nets provide a dynamic model of the CIM system, while object-oriented databases provide necessary information about system components and overall system activity. The data from the CIM system is used by the scheduler in the simulation mode. The daily production plan is used as a guideline to determine how to react to and correct production problems.     

面向工业无线网络的动态TDMA系统设计与实现

随着工业4.0的发展, 不同种类的新型工业应用被部署到工厂中, 这对现有工业无线技术提出了实时性和高速率的要求. 为了同时满足这两种需求, 本文在支持高速率的IEEE802.11的基础上, 提出了基于软件定义的动态时分多址(Time division multiple access, TDMA)机制无线接入系统. 首先, 为了提供时延有界的传输服务, 设计并实现了基于MAC (Medium access control)层的动态TDMA接入机制. 然后, 为了满足工业无线网络中的动态变化的带宽需求, 考虑设备数据量的动态变化, 在SDN (Software defined network)控制器上通过基于最小二乘法的线性回归算法预测设备时隙需求, 再将动态时隙分配问题转化为优化问题以最大化网络中所有设备动态时隙需求. 最后, 通过仿真对比TDMA时隙分配算法的性能, 并在实际网络环境中开展系统部署与测试. 结果表明, 相对于其他TDMA接入机制, 动态TDMA机制在保障时延有界的同时能有效提升传输性能.     

UNIX实时调度策略测试器的模型与实现

该文首先提出基于实时ＵＮＩＸ系统的调度策略测试系统的形式化模型,然后对该测试器的实现进行了详细论述。这种测试器能自动完成调度策略的测试工作,所以在开发实时操作系统时使用这种自动测试器,可以有效地提高软件开发效率和软件的质量。该文提出的测试系统模型具有通用性,以该文的测试系统为模板,可以实现各种类型的调度策略的测试系统。     

并行VOD系统中的动态平衡策略研究与实现

本文介绍了VOD服务的研究现状,对并行VOD系统作了分析,在此基础上对动态平衡方法进行了分析,提出了自己的动态平衡策略-SBF策略,并给出了SBF策略的算法实现及测试试验。     

Implementing Quality Improvement Strategies in Brazilian Hospitals: A Model for Guidance of the Initial Stage of Implementation

Since the early 1990s, Brazilian hospitals have increasingly adopted quality improvement strategies with a view to attending more demanding customers and to the higher performance standards required by the Ministry of Health. However, most efforts have not been successful, partly because hospitals lack adequate methodologies, namely implementation models. This paper presents a two-stage model to help Brazilian hospitals deploy such strategies more effectively. It focusses on the development and pilot-test of the model for the buy-in stage. Distinctive features of the model were found to be critical for results at this stage: 1) An ad hoc structure to manage the changes involved; 2) A performance measurement system to lever and monitor its implementation, while aligning the actions taken with strategy objectives. Other aspects found to be crucial for success were creative application of model elements to the culture of the hospital and to Brazilian contingencies.