程序兼纳集：由力迫描述的中介逻辑程序语义

运用力迫方法在非封闭世界假设下讨论了一种基于中介逻辑含非Ｈｏｒｎ型语句逻辑程序的语义，并就程序兼纳集的不动点性质，迭代性质作了研究，还证明了程序兼纳集在集合包含关系下是１个完全交半格。     

公文流转系统中工作流分析及其数据库实现

根据WMFC给出公文流转系统中工作流的定义 ,描述了UML中活动图分析工作流的方法 ,结合UML对公文流转系统中的工作流进行动态建模 ,在这基础上给出了公文流转系统一个通用关系数据库模型 ,并基于该模型给出公文流转策略和数据库实现     

基于矩阵变换法的DSSS信号盲估计

提出一种基于矩阵变换法的简便盲估计算法.此算法在已知PN码速率及PN码周期已知的情况下,对基带扩频信号进行分段处理和累加运算以消除噪声的影响,进而实现PN码的盲估计,并在此基础上分析了使用不同m序列作扩频序列时的系统性能.Matlab仿真结果表明此算法可以在SNR低于-18dB的环境下正常工作.     

基于信息量的序信息系统的属性约简

属性约简是粗糙集理论研究的核心内容之一.在序信息系统中引入信息量和属性重要性,给出它们与属性约简之间的关系.针对序信息系统提出了一种基于信息量和属性重要性的属性约简算法,讨论了算法的时间复杂度.实例证明了该算法的有效性.     

试论邱华栋与村上春树作品的艺术特色

中国的新生代作家邱华栋及被称作日本“都市学派代表”的作家村上春树在创作中载匀能紧扣“城市与人”的主题来探讨现代化都市中人的存在意识，生存体验与心理感受，两位作家都选择了典型的都市生活题材，但邱华栋的作品常聚焦于都市生活中浮华，喧嚣的一面，而村上春树的作品更多地关注都市人的日常生活，在创作手法方面，两都能充分地利用象征都市生活的符号进行有机地组合，拼贴，其中邱华栋主要是从都市生活的具体感受方面来提炼对都市人的生存状态和城市明的认识，村上春树更注重创作本的前卫性与实验性，充分地运用象征手法来对都市生活的本质进行探索和思考。     

RAPD技术及其在食（药）用菌研究中的应用

介绍了RAPD分子标记技术的原理 ,主要技术流程和优缺点 ,及其在食 (药 )用菌中的应用进展 ,分析了RAPD技术在食 (药 )用菌品种间的鉴定与分析、遗传育种、遗传多样性和系统发育学及其稀有药用真菌鉴定等研究中的应用概况。认为RAPD技术确实是DNA分子水平上研究食 (药 )用菌一种简便、高效的分析手段 ,将会有广泛的应用     

实用、动态、感性、有效——职中口语交际教学中情景教学法案例研究

一、教学方法名称：情景教学法 二、教学方法的说明和解释 情境教学法是指在教学过程中,教师有目的地引入或创设具有一定情绪色彩的、以形象为主体的生动具体的场景,以引起学生一定的态度体验,从而帮助学生理解教材,并使学生的心理机能及相关能力得到发展的教学方法。     

从平面走向多维，从静态走向动态——英国口语交际教学评价给我国中学口语交际教学评价体系构建的启示

近年来,高考提出考察包括口语交际能力在内的综合能力,中学生的口语交际能力越来越受到重视,但口语交际教学在实际的教学操作中却还没有得到相应的重视。除了高考的综合能力考察还只是一个设想外,还有一个很重要的原因,就是口语交际教学缺乏有效的评价体系,在实际教学操作中难以真正检测学生的口语交际水平,更不能对口语交际教学产生积极的引导和激励作用。     

认知态的相似性与等价性

以Bochman引入的一种非单调逻辑与信念修正的统一框架--认知态(epistemic states)为研究对象,讨论其内在的结构相似性与外在推理行为等价性之间的联系.因为两认知态相似无法推出它们之间具有已引入的任一种等价关系,为了解决此问题提出了两认知态拟怀疑等价的新概念和作用于认知态上的算子par(·).利用有限子语言在原语言上的归约,得到如下的表示定理:任两个纯的有限认知态是拟怀疑等价的,当且仅当它们作用算子par后结构相似.     

GSM网络优化支撑系统的设计与实现

网络优化在GSM(数字移动网络)系统中的重要性不言而喻.该文针对GSM网络优化问题,探讨了如何设计与实现一个可配置的基于MapXtreme的网络优化支撑系统,该系统以B/S架构为主,同时与C/S结构相结合,为运营商提供自动采集数据、对各种数据进行挖掘和分析的接口,进而合理地调整网络参数、配置网络资源、使网络达到更好的运行状态与效果,为运营商提供决策支持.