提高《编译原理》实验效果的实践

本文针对当前高校的编译原理实验课程的问题,以培养学生的专业素养为目的,优化适合本学科特点的实验教学内容,并改革实验教学方法,建立科学的实验考评体系。     

Ramsey定理的推广

本文将著名的Ramsey定理加以推广,得到广义Ramsey定理。     

由相对论效应与原理推导相对论速度变换

用光速不变原理和相对论效应得出相对论速度变换,其推导方式与常见方法不同。     

Web交互式技术的研究

web交互式技术是目前计算机应用领域研究热点之一.介绍了HTTP/CGI,ObjectWeb两种Web交互式技术的概念和模型,并对它们的技术特点进行了评述.     

论思想政治工作的创新

“思想政治工作是经济工作和其他一切工作的生命线”这是我党的优良传统和政治优势,但随着改革开放的深入开展,国内国际环境的发展变化,在新的历史时期,思想政治工作必须突破旧的模式,有所创新,新形势下,思想政治工作必须遵循一定的创新原则和途径,这样才能把思想政治工作做牢,做实,体现我党的政治优势。     

分布对象技术及其在数据库处理中的应用

首先探讨了分布对象技术的由来 ,接着介绍了OMG组织的CORBA标准规范 ,说明这种模型的组成架构及其优越性 ,最后以Inprise公司的VisiBroker为例 ,探索了分布对象技术在数据库处理中的应用 ,以及数据库查询结果集中光标函数扩展的研究     

CORBA的电信管理网框架的原理和实现

介绍了当前现存的电信管理网框架,并且比较其优缺点,然后提出了基于CORBA(公共对象请求代理体系)的电信管理网框架和在UNIX环境下的实现。     

鸡白痢沙门氏菌直接-多重PCR检测体系的建立

通过对鸡白痢沙门氏菌毒力质粒pSPUV上入侵质粒抗原J蛋白和质粒共转移调控因子的编码基因ipaJ和traJ的序列分析,在特异区域设计PCR引物,经沙门氏菌属不同种及常见肠道致病菌的交叉验证,筛选出三对鸡白痢沙门氏菌特异检测引物ipaJ-417、traJ-387、traJ-476.并且调试出一种利用两种DNA聚合酶的直接三重PCR检测体系:invA-211/traJ-387/16S-495,可以对鸡白痢沙门氏菌进行快速准确的鉴定.     

CC标准中安全架构与策略模型的分析方法

通用评估准则(CC)未论述安全架构及策略模型这2个保障要求的具体分析方法, 因而不利于实际的安全评估工作。为此, 首先从设计分解的角度论述了CC的基本评估模型, 将安全功能(TSF)从内涵功能和元功能2个角度进行定义, 以此论述安全架构设计的意义, 并基于脆弱性分析活动来描述安全架构及评估方法。其次, 从论述保护轮廓(ST)与功能规范(FSP)的逻辑差距出发, 描述了形式化安全策略模型的意义, 并提出了对TSF要求进行(半)形式化的方法来弥补此差距的途径。由于等同于CC v3.1标准的国标GB/T18336即将在中国推行, 该文结论将有助于改进后续的安全评估工作。     

CC标准框架下安全确信度的定量描述方法

结合安全操作系统的一个研究实验，对CC标准框架下的安全产品开发过程进行了概括和抽象，借助主观逻辑，针对在CC标准框架下建立的安全产品的安全确信度，提出安全确信度的一种定量描述方法。