泛Loeb可测集的S-饱和性

在 K-饱和的非标准模型中,研究了泛 Loeb 可测集 m(A),pns(~*X),cpt(~*X),fin(~*X),ns(~*X)的 S-饱和性.当 A 是紧致 Hausdorff 空间 X 的子集时,得到了 st~(-1)(A)是标准集的充分条件.     

也谈复合命题

我国逻辑界对复合命题的定义、选言命题的定义以及不相容选言命题的身份这三个理论问题，有不同的观点。应从“真假决说”角度来定义复合命题；复合命题是其中还包含命题，而且其真假由所包含的命题决定的命题；应采取给联言命题、假言命题下定义同样的“反映说”方式来定义两种选言命题；相容选言命题是反映若干事物情况可以同存并且至少有一个存在的选言命题、不相容选言命题是反映若干事物情况不能同存，至少有一个而且至多有一个存在的选言命题；应持“两立说”来对待不相容选言命题，不能对V进行结合运算，这是f10这一真值函项本身的性质使然，不影响不相容选言命题的存在。     

一种信息审计系统中的多关键字匹配算法

针对审计系统中搜索大量审计数据的需要,设计了一种基于哈希表机制的多关键字匹配算法.该算法把关键字集合储存到哈希表中,并为关键字集合建立了两个过滤表和一个关键字长度类型表.在查找过程中,对未经过滤表验证的字符串不再进行匹配查找,同时,关键字长度类型表的使用减少了循环的次数.测试结果表明,该算法在速度和精度上都优于BM和mgrep算法.     

中小企业ERP实施成因初探

通过对一个中小企业实施ERP的典型案例分析，归纳出了中小企业实施ERP失败的主要原因。并给出了中小企业实施ERP成功的要点。     

断裂带作为油气散失通道的输导能力

通过断裂散失的油气量主要与断裂带的输导能力、实际进入断裂带的油气量、断裂通道的长度、散失时间和储层分流系数等参数有关。断裂带输导能力的主要因素是断裂带的宽度和储层渗透率。利用断裂散失模型计算了不同规模的断裂带作为油气散失通道的输导能力。计算结果表明 ,大型断裂带输导油气的能力远大于储层输导油气的能力。断裂活动期进入“通天”大断裂带的油气主要趋于散失 ;小断裂由于储层的分流作用 ,即使在活动期 ,它作为油气散失通道的作用也是有限的 ,其油气的散失量可以忽略不计。     

筒型基础系缆平台沉／拔过程侧摩阻力原型测试

介绍了1999年首次安装在渤海锦州9－3地区多筒基础平台安装施工过程中的侧摩阻力原型测试研究，描述了简型基础上沉和上拔过程中筒壁侧摩阻力的测试系统和测试方法，给出了主要测试结果并与现行规范进行了对比分析，这项成果对筒型基础平台的设计和施工具有直接的参考意义。     

好莱坞电影中不同叙事结构的人物塑造

电影是从戏剧中产生的，电影的作们始终探索着突破戏剧化模示。本以经典好莱坞的侦探类型片《唐人街》的剧本前十页为例，分析经典好莱坞电影中的人物塑造。该片人物大都是静态的叙事媒介。他们激化并最终从属于情节的运转，这与亚里士多德的经典戏剧理论是一致的。而《公民凯恩》是好莱坞经典叙事的突破和新商业片的模示，以闪回结构塑造人物，跨越时空，切换凯恩的一生的不同时期。该片塑造的人物是有血有肉的，多维度的，“现实主义”的个性化的人物。影片所蕴含的对凯恩这存在主义人物的深刻描述和对美国社会的自省也是通过这种结构得以实现的。     

联邦接口规范测试方法研究

高层体系结构（HLA：High Level Architecture)可以支持各种类型仿真之间的互操作，同时便于建模与仿真部件的可重用。开发HLA应用必须根据联邦开发与执行过程模型进行，其中联邦测试是FEDEP模型的重要组成部分，主要包括三级测试，即：一致性测试，集成测试，联邦测试。一致性测试主要包括接口规范测试，OMT测试，RTI测度等内容，本文对联邦接口规范测试的方法进行了研究，根据接口规范的测试标准，制定了测试顺序，给出了联邦接口规范的测试顺序，给出了联邦接口规范的测试顺序模型，使接口规范测试更加系统，清晰。     

构建层次化教学体系,培养学生创新能力--我院物理实验教学改革的实际与成效

结合我院近一两年物理实验教学改革的实际，阐述了在普通高校中如何根据自身的特点开展物理实验教学改革，以及我们在改革中所取得的初步成果。