基于三维矩阵重构争论有向图的域间路由振荡检测算法

边界网关协议(Border G atew ay P rotoco l,BGP)是当前In ternet域间路由协议的事实标准,基于策略的路由选择过程使它不再是严格意义上的距离矢量协议,也不再具有距离矢量协议的收敛性.V aradhan指出,自治系统各自为政的策略配置方式会导致全局策略冲突,引起永久性的路由振荡.针对该问题,G riffin利用稳定路径问题(S tab le Path P rob lem,SPP)模型形式化的抽象出BGP协议行为,并以此为基础提出了一种分布式的策略冲突检测算法,尽管该算法完全避免了传统方法的缺陷,但仍然存在泄漏策略信息和对BGP协议改动太大以及浪费网络资源的问题.本文提出了一种基于安全多方计算的检测路由策略冲突的方法,用于在怀疑BGP路由发生振荡时,动态的检测系统中是否存在策略冲突.该方法采纳了G riffin的理论基础,同时由于巧妙的运用了安全多方计算协议,可以完全解决G riffin算法的问题,具有很好的实用性.     

T-RBAC访问控制模型及其约束描述语言

一种结合了基于任务的访问控制模型TBAC和基于角色的访问控制模型RBAC特点的新型访问控制模型-T-RBAC.该模型采用了以任务为中心的"用户-角色-任务-权限"的四级访问控制结构,较好地解决了当前工作流系统中存在的安全性问题.此外,在新模型的基础上设计了一套描述约束机制的语言ETCL,该语言在RCL2000的基础上扩充了时间特性和任务的概念,使新模型具备了较完整的约束描述能力.     

第三届全国人机语音通讯学术会议在重庆召开

第三届全国人机语音通讯学术会议（NCMMSC－94）于1994年10月24日至27日在重庆西南师范大学学术交流中心举行．这次会议是由中国自动化学会模式识别与机器智能专业委员会、中国电子学会信号处理学会语音图象通讯专业委员会、中国声学学会语言、听觉和音乐声学分会、中国中文信息学会基础理论专业委员会、中国通信学会通信理论专业委员会和国家高技术智能计算机系统专家组等六单位联合主办，由四川大学计算中心承办．会议主席由平国声学学会语言、听觉和音乐声学分会主任委员张家股教授担任、副主席有方像棠教授等七人、程序委员会由王仁…     

经非对映异构盐的外消旋体拆分实用方法

经非对映异构盐拆分外消旋体的经典拆分方法，仍是提供对映纯化合物的有效方法之一。然而对许多外消旋体来讲，获得需要的异构体远小于50%。如何通过经典拆分使需要的异构体获得最大产率？本文阐述了一种外消旋体拆分的实用方法，通过非对映异构盐的形成可得到所需的异构体最大产率。运用该实用策略，在拆分外消旋哌啶甲酸乙酯、Corey内酯和石杉碱甲中间体上都成功实现。该策略的实践基础是著名的Marckwald 原理。     

集成微管路离子选择电极功能块研究

本文对微型管状离子选择电极在流动条件下的电化学特征进行了研究,并设计了新的集成微管路离子选择以电极功能块。用此微型装置测定了土壤、血清、水和药物中的K~+、Na~+、pH、Cl~-、F~-、阿托品、东茛菪碱,并和各种标准方法作了比较,获得满意分析结果。     

运用元认知理论引导学生反思的策略

"教会学生学习"已成为当今世界教育改革的重要口号,由于学生思维活动具有内隐性和自动化的特点,大多数学生在思考复杂问题时很少意识到自己的思维过程,缺乏反思意识和反思能力,也就很难控制自己的思维过程,造成学生认为化学难学.笔者尝试在化学教学中运用元认知理论引导学生进行反思,调动学生的主动性、自觉性、自主性,进行自我评价和自我调节,使学生学会学习,从而提高学生学习效率,取得了很好的效果.     

“一题一课”理念下探究型问题的设计——对三节同题异构课的观摩与教学感想

本文呈现"一题一课"理念下的三节同题异构课,对探究型问题设计提出三点教学感想:研透问题是探究课设计的前提,要厘清解决问题的知识线与思想方法线,设计探究型问题要渗透解决问题的策略.     

思维之道:数学教学的着力点

虽然人们普遍认为数学是思维的体操,但数学作为"思维体操"的功能并没有得到充分利用.这主要缘于数学教学存在如下三方面的缺陷:一是重知识技能而轻数学思维;二是重思维结果而轻思维过程;三是思维指导不到位、不给力,学生思维难以"开窍".1何为思维之道思维有"道",这是毫无疑问的.这里的"思维之道",一是指思维的原理与规律;二是指思维的缘由与依据;三是指思维的策略与方法;四是指思维的路径与节点.     

Lamination Design Optimization for Continuous Fiber Reinforced Composites of Variable Thicknesses北大核心CSCD

由于具备高的比强度、比刚度,利用连续纤维增强复合材料代替传统金属材料以实现结构轻量化正受到设计者们的广泛关注。然而,结构的复杂性给复合材料的铺层设计与优化带来了很大的挑战。针对航空用复合材料铺层设计约束多的问题,通过逐步构建设计变量准确表达结构的铺层信息。基于经典遗传算法框架,结合各设计变量特点,定义了铺层优化算法中的遗传算子,通过引入“修复”策略保证了每一代解都能满足设计约束,分布在可行域区间内。最后利用精英保留策略提高了算法的局部寻优能力,可以降低复杂复合材料结构铺层设计的计算成本。通过解决经典benchmark问题并与已有优化结果的比较,验证了前述铺层优化算法的全局、局部寻优能力,为工程实际中的复合材料铺层设计优化提供了理论支撑。     

相变材料耦合冷板电池热管理系统的优化设计

以相变材料耦合冷板电池热管理系统为研究对象,采用数值方法研究了系统的冷却性能。结果表明,通过增加耦合系统的冷却水流量可以降低电池组温度和温差,但是显著增加了冷板功耗,系统能效较低。为了提高耦合热管理系统的冷却效率,在固定系统体积的情况下,采用优化策略对系统中相变材料的厚度分布进行调整。典型算例结果表明,优化策略仅需5步调整就能得到最佳相变材料厚度分布。相比于优化前系统,优化后的系统使电池组最高温度降低了1.1 K,温差减小了29%。在同等电池组温差下,优化系统的功耗相比优化前系统下降了64%。