基于角色访问控制系统中角色结构安全性分析问题的模型检测验证

提出了一种与角色结构相关的安全性分析问题(RRA-SAP),分析了角色结构对系统安全性的影响,证明了其计算复杂度,采用模型检测技术得到将RRA-SAP转化为模型检测问题的自动化验证算法,并验证了其有效性.结果表明,该算法可以在期望的时间内自动解决RRA-SAP问题.     

从一个实例分析电磁场的角动量

通过对处于变化外磁场中的圆柱形电容器的定性讨论和定量计算，把电磁场的角动量这一较为抽象的概念具体化，分析并论证了电磁场确具有角动量，且可与机械角动量相互转换，在转换过程中遵循守恒定律。     

上海中心城区住宅布局研究

通过对解放初到 90年代上海中心城区住宅布局分析 ,探讨了该区域住宅布局中存在的问题 ,并对 2 1世纪初上海中心城区住宅布局进行了预测 ,同时对其住宅布局提出了建议与对策     

PWM基带数字信号的产生与检测

用555定时器构成PWM基带数字信号产生电路，对PWM信号的解调电路性能进行了分析，提出了生成PWM信号的一种新思路。     

囊壳在囊裸藻系统分类中的作用

根据作者十几年的工作积累，结合前人的工作，从囊壳的形状、表面特征、领的形态、颜色和元素组成等方面论述了这些特征的变化，以及在系统分类中的作用，认为囊壳在系统分类中的作用是非常重要的，在囊裸藻属自然分类系统建立时，既要依照原生质体的特征，也要充分参考囊壳的特征。     

格雷码加速遗传算法及其理论研究

在分析基于二进制编码的加速遗传算法的基础上 ,对格雷码编码及加速遗传算法作了深入地探讨 .提出了格雷码加速遗传算法 ( GAGA) ,研制了 GAGA实施的详细步骤 ,并推导出了相应的模式定理和收敛定理 .对 GAGA的有效性和可行性进行了理论分析和实例分析 .结果表明 ,GAGA具有直观、简便、准确、快速和适用性强等特点 ,是一种既可以较大概率搜索全局最优解 ,又能进行局部细致搜索的优秀非线性优化方法 .     

DIAGNOSTICS FOR EMPIRICAL BAYES MODELS

1.IntroductionInthelilleaxmodels,manykindsofBayesiandiagnosticshavebeenproposedtoassesstheinfluenceofeaChindividualobservationandthelocalinfluenceofminorperturbationsontheposteriordistributioll(see,[l--4])oronthepredictionoffutuxeobservation(see[5]).However,allthosediagnosticscannotbedirectlyappliedtotheempiricalBayes(EB)models(see[6]and[7]).Inthisarticle,westudythediagnosticproblemsinEBmodelssystematically.FirstlyjadeletiondiagllosticisobtainedtoexaminethesensitivityofeachcaseonEBestimate…     

Responsibilities of Science Funding Agencies in Research Innovation

Mr. Chairman Ladies and Gentlemen, Good morning. It is my great pleasure to participate in this event, which celebrates the 30th anniversary of KOSEF and is of great significance to the international community of funding institutions.     

一种基于数据流聚类的动态目标分群框架

为了解决动态目标分群问题,提出了一种基于数据流聚类的动态目标分群框架.该框架分为在线和离线两部分.在线部分采用临时存储结构和金字塔时间框架保存侦察数据集的概要信息;离线部分采用CNM算法对时间框架的信息进行聚类,最终得到分群结果.实验表明,该框架具有灵活的精度和效率平衡性,能够较好地满足决策辅助系统处理实时信息的需要.