进销存系统中一种基于VFP的数量核算方法

针对涉及商品大、小二种单位的进销存系统,给出了一种基于VFP的商品数量核算方法。     

高砷锑阳极电解精炼的生产实践

介绍了麻阳铜矿针对电解铜生产中，由于阳极铜板含砷、锑有害杂质较高所采取的技术措施：控制较高的氯离子及铜离子的浓度，采用较多的添加剂，使用电解液有较高的温度，加强电解液的过滤等。使一级电解铜的合格率达到了１００％。     

通过协同模型取得分布式系统的适应性

针对分布式系统中自治实体的交互行为和实时约束行为动态变化的问题,提出了一个具有动态性、实时性的协同模型.在该模型中,利用关注点分离思想,从传统自治实体中分离出两类不同的活动实体,即负责完成实时行为的时控协调器和协调活动交互的通信协调器,解决了开放分布环境下分布式系统的适应性和动态性问题.最后,利用Java消息服务技术和E JB技术实现了模型,并给出了在汽车导航系统中的一个应用实例.     

基于CFA和DTA的逆编译方法

本文提出了一种以控制流程分析和数据类型分析为基础的逆编译方法，此方法首先对机器 语言的程序进行控制流程分析和数据类型分析，从中获得高级语言的结构化控制流程和数据类型信息，最后生成目标的高级语言的程序。     

基于Jini的协同入侵检测模型

针对现有的分布式入侵检测系统存在检测准确性低、可扩展性差问题,提出一种具有动态可插拔的协同入侵检测模型.该模型主要由检测实体、行为库、协同控制器构成,采用代理技术和Jini技术实现,具有自管理、自修复和跨平台的特性,系统中的各代理可以即插即用,并且能与其它代理进行协同检测.实验结果表明,该模型提高了入侵检测系统的准确性和扩展性.     

面向协同防范的非侵入式ARC模型

针对分布式环境下系统的安全性问题,引入了一个基于ARC模型的非嵌入式结构,ARC模型是由actor、role和coordinator组合而成.其中,actor用来模拟计算实体,role和coordinator用来执行控制功能.模型将攻击行为的特征以约束的方式配置到coordinator、role,同时融合了入侵检测中常用的特征检测和异常检测方法.它基于message、event通讯机制,实现了对攻击行为的监测、阻击、识别、处理,提高了系统的防范攻击和生存能力.     

基于构件动态演化的行为一致性验证方法

为了保证构件在动态演化中的行为一致性,避免不合法的构件演化,提出一种基于进程代数的构件模型,引入对外主动请求接口和内部连接,形式化描述构件及其对外交互协议,给出相关定理和验证算法。实例证明,该构件模型可以验证动态演化中的接口兼容性、外部交互行为一致性,以及运行时行为完整性。     

面向方面的软件产品线需求建模

为了将软件产品线的横切关注点在开发的早期阶段分离出来,完成系统分析向设计阶段的顺利过渡,提出了一种面向方面的软件产品线需求分析模型,并给出该模型需求分析的基本步骤.通过冷库管理系统的实例,给出了识别和描述功能需求、非功能需求和横切关注点的方法,利用UML类图完成方面和功能整合,在此基础上介绍了用关系矩阵和合并非功能需求集合的方法来描述非功能需求.实验结果表明,该方法能够有效简化软件产品线需求建模的复杂性.     

基于GSM智能家居控制系统的设计

系统提出了智能家居控制系统的解决方案,详细的论述了系统的组成及实现原理.以ATmega128作为主控微处理器,使用GSM模块TC351传输信息,实现了手机终端与智能家居控制系统远距离双工通信的平台.以温湿传感、人体红外感应传感器、MQ2煤气传感器采集居家环境信息,可以利用手机短信、飞信远程控制空调和门锁的开关,监控家里...