利用卡诺图解决单对象多地控制问题

针对目前尚没有针对单对象多地控制问题的理论研究,论述了利用卡诺图解决此类问题的方法。在卡诺图中,变量以格雷码的方式排列时,几何位置相邻的最小项在逻辑上具有相邻性,利用这种特点可使单对象多地控制问题中复杂的控制设计过程变得简单易行。以走廊灯多开关控制问题为例,探讨了利用卡诺图解决此类问题的方法,最后用梯形图实现程序的编写。

单对象人脸识别技术研究

针对单对象人脸识别的特点,提出了一种基于DWT-DCT平均脸和自适应阈值的单对象人脸识别算法,该算法首先利用肤色模型和人脸几何特征检测、定位、归一化内脸,然后对人脸进行DWT变换和DCT变换提取人脸特征,并计算DWT-DCT平均脸,最后利用自适应阈值进行人脸识别。实验证明,该方法具有识别有效性和认证可靠性。

Java程序的对象单赋值分析

数据竞争检测、确定性回放等方法被广泛应用于解决多线程程序中由内存访问顺序不确定性引发的数据竞争及死锁等问题.但是,由于上述方法需要监测程序内存访问,所以通常带来很大的运行开销.实验表明,在多线程程序中存在着大量只被赋值一次的对象,去除这类对象内存访问的监测操作不会影响上述方法的正确性,且能有效减少系统的运行开销.在此基础上,本文形式化定义了单赋值对象,并提出了一个静态对象单赋值分析算法,将这一算法的分析结果应用到多种成熟的数据竞争检测、确定性回放系统中.测试数据表明使用对象单赋值分析可以有效减少数据竞争检测、确定性回放等系统的运行开销,从而扩展系统应用场景.

FOB条件下货运代理人交付单证相关问题分析

依据中国法律，货运代理从业务角度可分为“货运代理”和“无船承运”。在FOB贸易术语条件下，缔约托运人与实际托运人往往相分离，因而会导致货运代理人交付单证方面引起货运代理合同纠纷，特别体现于双方代理的情形。具体而言，货运代理人是否有义务交单给卖方一直存有争议。本文欲分析货运代理人交单产生纠纷的原因，并从贸易实务、运输合同、法理的角度解释交单给卖方的依据。为规避贸易实务中不当扣单、错误交单的产生，提高国际货物运输的效率，促进国际贸易的发展，提出相应的防范措施。

三级三角矩阵环上模范畴和同调刻划

设Γ是三级三角矩阵代数,m odΓ表示Γ上的有限生成模范畴,ΓL是与m odΓ等价的范畴.讨论了ΓL的Jacabson根,ΓL的单对象及投射对象的形式及Γ的整体维数等同调性质.

一种Web Service的发布平台的设计

通过研究WebService新技术,提出一种企业的Web服务发布平台,该平台的主要目的是让不同的服务提供者根据统一的规则在同一个平台上发布自己的服务,并且统一进行管理。

三级三角矩阵环上模的进一步性质

设Γ是三级三角矩阵代数,modΓ表示Γ上的有限生成模范畴,Γζ是与modΓ等价的范畴.讨论了Γζ的Jacabson根,Γζ的单对象及投射对象的形式及Γ的整体维数等同调性质.

FrontPage:在Web中实现桌面出版

Vermeer Technologies公司的FrontPage10提供了一套程序模块,使得在Internet的World Wade Web上对场点的创建和维护实现流水线化和自动化。简单地讲,这个695美元的程序将使得Web场点的出版工作跟桌面出版同样容易。

使用参数视图与交叉表进行数据整理的操作

本文介绍在VFP6.0环境下用自定义程序将参数化视图加载到表单的数据环境中的方法;用参数化视图与交叉表,对目标数据进行筛选、将记录与字段进行格式的转换方法,以满足输出数据的不同要求。

汉语教学系统CTS的设计与实现

CTS是一个针对以“语法—结构”为大纲,结合功能法教学的汉语教学策略实现的汉语教学系统。本文详细描述了CTS的课件库组织结构和对象管理机构的管理模型,并在此基础上介绍了CTS的设计与实现。