遗传算法中的联结关系

进化计算领域的一个根本问题是哪些问题适合遗传算法求解,为此需要研究问题的结构对算法性能的影响.变量之间的联结关系是问题的本质属性,决定了遗传算法求解问题的难度.如果某个变量对函数值的影响非线性依赖于其他变量,则认为这些变量之间存的联结关系不,对遗传算法的联结关系这一理论问题进行了深入研究,给出了分析一般离散问题联结结构的理论基础,通过分析傅里叶系数与函数子空间的关系,提出了检测黑箱问题联结结构的确定性和随机性算法,通过试验分析说明了算法的正确性和有效性.     

转变——让“教学开放”更出彩

"教学开放"由来已久,她像一台播种机,使我们的学校教育充满了现代气息;她像一个宣传队,使我们的教育改革蕴含着无限魅力.但通过调研笔者发现,目前很多学校的教学开放活动普遍存在着形式单调、内容单薄和效果单一等问题,如何让教学开放更出彩,笔者以为须实现以下三方面的有效转变,方能提高教学开放的亮度、广度和深度,促进学校的全面发展.     

信息技术与幼儿园教学整合策略的研究

当前,信息技术正以惊人的速度改变着人们的生存和学习方式.信息技术是当前各类学校教育的重要内容,也是教育改革的重要技术手段.信息技术与学科教学的整合,提高了教育的智能化水平和幼儿在教育中的主体地位.基于这样的考虑,我园在"十一五"期间申报实施了苏州教育科学规划重点课题<信息技术与幼儿园教学整合策略之研究>.     

PCC——一种具有独特理念的高效、实时、开放的PLC

PCC（Programmable Computer Controller,即可编程计算机控制器）是一种融合了传统的PLC和IPC的优点,具有独特理念的模块化控制装置。本文着重从以下几个方面来阐述PCC的特点及优势：分时多任务操作系统;强大的系统能力;软件的集成开发环境;高可靠性;由PCC的CPU和X20I／O构成的全开放分布式系统。PCC正逐渐被业内人士认识和接受,并因其卓越的性能而在多种工业领域中获得越来越广泛的应用。     

基于可信计算平台的可信动态客体监管系统的设计与实现

大部分安全操作系统在处理客体时,没有区分具体的客体类型,均采用统一的方法进标识,而且多数安全操作系统中采用传统访问控制方法保护的客体均是静态客体,忽略了对动态客体的保护,使得黑客或攻击者可以进行欺骗和中间人攻击,因此,安全操作系统中的动态客体并不可信.首先分析了操作系统中客体的类型,提出了可信动态客体的概念,并分析了其特点.为了防止动态客体泄露信息,提出了基于TPM的可信动态客体监管系统.一方面,该系统要求主体必须在TPM中注册,确保主体身份合法性,才能利用可信动态客体进行信息传递;另一方面,在TPM中必须存储创建该可信动态客体的属主的身份信息,以确保可信动态客体身份的合法性.最后进行了安全和性能分析,分析表明该可信动态客体监管系统可以阻止黑客利用动态客体进行欺骗和中间人攻击,防止信息泄露,为进一步建立可信计算环境提供了基础.     

基于可信计算平台的静态客体可信验证系统的设计与实现

在安全操作系统中,通常采用了多种访问控制模型来保证静态客体的内容的机密性和完整性.但是,传统的访问控制政策不能保证静态客体内容的真实性.因此,安全操作系统中的客体并不可信.本文首先分析了操作系统中客体的类型,总结了安全操作系统中对静态客体的处理存在的问题,提出可信静态客体的概念并分析其特点.为了保证可信静态客体内容的真实性,提出了基于TPM的静态客体可信验证系统.该系统将生成可信静态客体的映像文件,映像文件记录某可信静态客体的来源、各次处理行为和内容变化的签名并存于TPM中.最后对该可信验证系统进行了安全和性能分析.分析表明,该可信验证系统可以保证可信静态客体内容的真实性,为进一步建立可信计算环境提供了基础.     

基于高阶逻辑的复杂结构归纳学习研究

归纳学习的目的在于发现样例与离散的类之间的映射关系,样例及归纳的映射都需用某个形式化语言描述.归纳学习器采用的形式化语言经历了属性-值语言、一阶逻辑、类型化的高阶逻辑三个阶段,后者能克服前二者在知识表达及学习过程中的很多缺点.本文首先阐述了基于高阶逻辑的复杂结构归纳学习产生的历史背景;其次介绍了基于高阶逻辑的编程语言--Escher的知识描述形式及目前已提出的三种学习方法;复杂结构的归纳学习在机器学习领域的应用及如何解决一些现实问题的讨论随后给出; 最后分析了复杂结构归纳学习的研究所面临的挑战性问题.     

语言学组合特征在语义关系抽取中的应用

语义关系抽取是信息抽取中的一个重要的研究领域。目前基于特征向量的语义关系抽取已经很难通过发掘新的特征来提高抽取的性能。本文提出了一种特征组合方法,通过在各种词法、语法、语义的基本特征内部及特征之间进行合理的组合形成组合特征,使用基于支持向量机的学习方法,使得关系抽取的准确率和召回率得到了提高。在ACE 2004语料库的7个关系大类和23个关系子类抽取实验中F值分别达到了66.6%和59.50%。实验结果表明通过对基本语言学特征进行组合所得到的组合特征能够显著地提高语义关系抽取的性能。     

嵌入式SRAM的优化修复方法及应用

为了提高SRAM的成品率并降低其功耗,提出一种优化的SRAM.通过增加的冗余逻辑及电熔丝盒来代替SRAM中的错误单元,以提高其成品率;通过引入电源开启或关闭状态及隔离逻辑降低其功耗.利用二项分布计算最佳冗余逻辑,引入成品率边界因子判定冗余逻辑的经济性.将优化的SRAM64K×32应用到SoC中,并对SRAM64K×32 的测试方法进行了讨论.该SoC经90nm CMOS工艺成功流片, 芯片面积为5.6mm×5.6mm, 功耗为1997mW.测试结果表明:优化的SRAM64K×32 在每个晶圆上的成品率提高了9.267%,功耗降低了17.301%.     

双闭环真空硅微陀螺仪设计及测试性能分析

所设计的硅微陀螺仪工作在10 Pa,品质因素达到3000,采用CAN金属壳封装形式,测控线路采用闭环自激驱动,力反馈式闭环检测方式.驱动采用单边驱动单边检测,尽量使线路简化;检测采用双重分解和重构回路.测试结果表明:有用信号和正交信号实现很好的相位解耦,互不影响.在实现标度因素10 mY/(°)S-1的情况下,零偏稳定性已达到了60°/h;线性度已达到了400 ppm;带宽仿真达到150 Hz;这较以前设计的空气下闭驱开检方式下的硅微陀螺性能提高了近2个数量级.