摘要：低效的Shell脚本设计会进一步影响原本解释器模式下并不见长的程序运行效率,使其在面对大数据量文本分析时的资源和时间消耗变得难以接受。本文通过分析Shell语言及其应用需求的特点,从分层设计的角度提出"自底向上进行Shell脚本编程"的理论,同时提出从"外部系统环境"到"内部执行模式"全面地掌握工具软件的方法。实例充分证明,自底向上的Shell脚本编程思想及方法能够有效提高脚本的执行效率。

摘要：本文首先介绍基于iOS的开发技术,然后讨论一款基于明星时尚穿着的网上导购客户端软件设计原则以及关键细节。

摘要：为实现对电能质量实时监测与管理,提高电力企业信息化水平,综合国内外多种电能质量评估系统的性能,文中设计并研发了一种电能质量在线分析管理系统,实现了电能质量评估工作的系统化、实时化,提高电力企业信息化水平,并为电能质量的控制奠定了基础。该系统基于.NET平台构建开发,分为表示层、业务逻辑层及数据管理层对代码进行优化管理。采用***技术,通过统一的数据库管理数据,实现了系统管理、电能质量在线分析及自定义生成报表等功能。该系统具有多指标分析的完善性、自定义生成报表的灵活性、使用方便、界面友好等特点。

摘要：利用手机的普及性与私密性,以及蓝牙无线通信,以指纹识别为基础研究设计并实现一个指纹识别系统,系统以蓝牙手机为客户端,利用蓝牙通信技术与认证服务器进行数据通信。方案采用不同于传统的联机指纹识别的指纹特征数据存储方式,完成多因素身份认证。系统验证速度快,可以进行实时身份验证,提供一种更为完整的认证机制。

摘要：随着计算机网络的发展,网上教学已成为计算机辅助教学的研究热点.而对于一个完善的、基于WWW的虚拟教室系统,共享电子白板工具成为一个不可或缺的重要工具模块.基于计算机协同支持工作(CSCW)理论论述了设计与实现虚拟教室中共享电子白板的各种关键技术.

摘要：类型一阶逻辑在传统的一阶逻辑上,引入了类型,它是多态多类逻辑程序设计语言的理论基础,对编译系统设计与实现的进一步发展具有重要意义。论文在类型一阶逻辑的理论层面进行了探讨,引入了基本简单导出的可靠性定理和等值符号的可替换性定理,并予以证明。通过这两个定理,可以简化类型一阶逻辑理论证明中的工作量,使得将来的理论研究更加方便。

摘要：Gdel语言是在Prolog语言基础上发展而来的一种新型逻辑程序设计语言。本文基于类型一阶谓词逻辑的模型论,阐明了Gdel语言的说明性语义,为该语言的实现模型奠定了一定的理论基础。

摘要：给出了一个计算机公共课机考软件系统的总体思路和具体实现 .系统功能包括题库的建立与管理、在线考试、自动评卷、结果分析和成绩管理等模块 .详细描述了题库建立的功能、技术特点、数学模型及各模块的特点 .经实际操作 ,能有效考核考生所学知识 .

摘要：缺乏路由器、防火墙等的综合性实验装置是高校网络实验室普遍存在的问题。该文提出了在嵌入式L inux平台下研制通用、简约、低价的网络实验设备的解决方案,介绍了实验设备的硬件平台和软件设计,给出了系统引导加载程序、应用程序移植和设备配置等方面的实现方法。该实验设备支持IPv4/v6双协议栈,一机多用、扩展性强,可以进行多项网络技术实验,有效地提高网络实验教学质量。

摘要：在讨论一种基于身份的数字签名方法 (IB算法) 的基础上, 提出了一种适合于我国G2C电子政务系统的实现方法, 同时在分析市场上常见IC卡后, 建议选取适用的逻辑加密存储卡.