FOXPRO低级文件功能用户数据保密系统研究

介绍用ＦＯＸＰＲＯ数据库管理系统的低级文件功能对基于ＦＯＸＰＲＯ的应用系统的数据库文件进行加密和解密的原理及建立用户安全系统的方法，这种安全系统可以为用户提供可靠的安全保护。     

纯函数式语言的状态转换器与调用

针对Ｐｅｙｔｏｎ Ｊｏｎｅｓ ＆ Ｗａｄｌｅｒ在ＩＯ Ｍｏｎａｄ设计的一个基于状态转换的函数Ｉ／Ｏ系统中,存在着某状态没有显式地反应在ＩＯ类型中,为了克服诸于此类问题,定义了状态转换器及其状态组合子,统一处理了Ｐｅｙｔｏｎ Ｊｏｎｅｓ ＆Ｗａｄｌｅｒ的ＩＯ类型,并给出了基本Ｉ／Ｏ操作ｃｃａｌｌ的指称语义。     

代数规格说明语言ASL及到PROLOGR的转换

本文讨论了代数规范说明技术及其到逻辑程序设计语言ＰＲＯＬＯＧ的转换，首先给出了一种基于抽象数据类型的代数规格说明语言ＡＳＬ；然后介绍了由ＡＳＬ描述的规格说明到ＰＲＯＬＯＧ转换的形式化方法，在这种方法的基础上设计了一个自动转换系统，该系统接受ＡＳＬ语言描述的规格说明，通过转换规则，逐步将此规格说明转换成可执行的ＰＲＯＬＯＧ语言程序。     

基于NT网WINDOWS无盘工作站考试系统的设计与实现

基于实践,介绍了开发的基于ＷＩＮＤＯＷＳ ＮＴ局域网络,ＷＩＮ９５平台无盘工作站无纸化考试系统的功能,实现方案以及关键技术。     

专用服务器的安装与配置

以ＣＯＭＰＡＱ ＰｒｏＳｉｇｎｉａ ＶＳ服务器为例，从技术和实用的角度，介绍了在这种基于服务器设计的高档原装机上安装ＮＯＶＥＬＬ网的一些技巧。     

OFFICE2000解决方案

Ｏｆｆｉｃｅ２０００在Ｏｆｆｉｃｅ９７基础上新增了３０００多项功能,它具有Ｗｅｂ特性的协作与信息共享的工作平台,丰富的分析工具,更易于使用和管理。一、Ｏｆｆｉｃｅ２０００增强和扩展Ｉｎｔｒａｎｅｔ的应用把Ｗｅｂ提供给更广泛的用户,把文档为中心的工作进化成Ｗｅｂ为中心的工作方式。使全体企业用户：通过ＷｅｂＦｏｌｄｅｒ自动发布信息到Ｗｅｂ;通过讨论组,在Ｗｅｂ进行协作和交流;通过基于Ｗｅｂ的应用程序实现数据分析和决策支持。二、Ｏｆｆｉｃｅ２０００降低拥有系统的总成本Ｏｆｆｉｃｅ２０００与Ｏｆｆｉｃｅ…     

内存优化管理与CONFIG.SYS文件的设计

本文讨论了基于ＭＳ－ＤＯＳ６．２操作系统的、８０３８６及其以上档次ＣＰＵ的ＰＣ系列机的内存的分类、内存的优化管理技术以及在此基础上的ＣＯＮＦＩＧ．ＳＹＳ和ＡＵＴＯＥＸ－ＥＣ．ＢＡＴ文件的设计问题．     

基于EPROM的步进电机可变细分电路设计

本文提出一种基于ＥＰＲＯＭ的步进电机可一分电路的设计原理。     

BAOFL的TABLEAU推理

给出了基于信度语义的算子模糊ＢＡＯＦＬ的ＴＡＢＬＥＡＵ推理方法，并证明了其可靠性和完备性。     

COSTAS阵列的通用求解算法

给出一种通用简捷的算法,来求解一定维数的ＣＯＳＴＡＳ阵列．算法基于回溯法．算法采用时空转换等程序设计技巧,以求效率最高     

校级实践示范中心无纸化资源管理系统的设计

为满足实践中心实验室设备管理方面的需要,研发了一套无纸化资源管理软件.该系统设计操作简便、界面友好、灵活、实用和安全.     

当事人处分原则与法院的释明义务——兼论不告不理原则的立法完善

最高人民法院《关于民事诉讼证据的若干规定》的颁布施行,是人民法院民事诉讼审判模式改革的一大进步,其规定强化了民事诉讼当事人在诉讼程序中的责任,体现了法院在司法活动中对当事人诉讼权利的尊重和保护,同时也第一次创设了审判人员的“释明义务”.但为防止法院及其审判人员的过度干预,尽可能减少法院代替当事人调查取证和损害当事人抗辩权利的现象发生,有必要从立法上明确规定＂不告不理＂的基本法律原则.     

NOVELL网络无盘工作间自动注册入网的几种方法

本文介绍了Novell网络无盘间自动注册入岗的两种方法。     

教练员对运动员训练作用的系统模型

针对训练过程中教练员的作用建立了系统数学模型,使教练员在训练过程中的作用得以量化,通过引入有差和无差的概念,分析了教练员在训练过程中2种作用的不同效果.     

网络机房的维护

介绍了网络机房的日常维护方法，详细阐述了每台单机在只有硬盘，无软驱、光驱的网络环境下，采用NT无盘技术与克隆软件GHOST相结合从而达到机房快速维护的目的。     

不允许卖空下的最优投资组合

研究了带有交易费且不允许卖空条件下的最优投资组合问题,交易费函数h(x)的不可微导致了求解过程的复杂,为方便求解,该文首次引入了次微分,建立了函数h(x)的次微分表达式,由此可以求出最优投资组合.给出了实例,运用MATLAB计算出结果,并将结果与文献《投资组合优化与无套利分析》（李仲飞,汪寿阳,2000）中结果进行了对比,实验结果表明用次微分方法所得结果比上述文献的要好.     

利用状态价格定价技术证明CAPM

简单介绍了状态价格，指出在金融市场均衡状态下，阿罗－德布鲁证券的价格即为状态价格，对利用状态价格和无套利均衡原理作为资产定价的技术进行了分析，最后利用状态价格定价技术用两种方法证明了CAPM。     

浅论舞蹈编排技法的教学

只有经过对编导知识的学习,掌握一定的技术技巧,才能更有效地掌握动作,运用动作,编创动作。技法的学习是初级阶段,掌握技法后,还要靠文化的积淀进行融会贯通。真正的舞蹈艺术创造应该是"法无定法"。     

基于《课程标准》的中学数学试卷契合度评价

首先基于课程标准建立知识分布体系,将教育测量与模糊数学方法相结合,建立了基于“掌握程度、重要度、难度和能力要求”四大知识分布体系的试卷评价指标体系,给出了各评价因素指标的数据标准和采集方法,应用模糊贴近度,给出了试卷的契合度评价方法.最后,选取2012年普通高等学校招生全国统一考试理科数学试卷（必修＋选修II）做样本开展实例研究.