自动信任协商安全性的形式化分析与验证

为了对自动信任协商(ATN)的安全性进行形式化分析与验证,文中借鉴安全协议的形式化分析方法,提出一种用进程代数Applied π演算对ATN建模并验证其安全性的方法.该方法将ATN形式化为两个协商者进程的并发执行,其中一个协商者的进程就是对其拥有的证书及授权策略的静态建模;ATN的安全性被定义为Applied π演算的观察等价性,从而使该方法不仅能检查授权策略执行的安全性,而且能对协商者的隐私安全进行验证.借助安全协议的自动分析工具ProVerif,文中实现了对ATN安全性的自动分析.实验结果表明,用Applied π演算形式化及验证ATN的安全性是可行的,安全性验证可自动完成,并且效率较高.     

以职业能力为主线构建高职实践教学体系——高职应用电子技术专业实践教学体系探索

高等职业教育是培养技术应用型、技能型人才的教育,是以职业能力培养为主的教育。提升受教育者的职业能力,是＂以服务为宗旨,以就业为导向＂的职业教育的核心任务。在教学中培养和训练学生的职业能力,主要通过实践性教学环节来进行,因此,如何根据职业能力的要求,构建科学、合理、有效的实践教学体系,成为高等职业教育迫切需要解决的问题。     

励控系统稳态误差与稳定性同综放单元关系的仿真研究

文章通过建立同步发电机励磁控制系统的数学模型,假没同步发电机、交流励磁机、测量比较为励磁控制系统中不变单元环节,利用传递函数变化和劳斯稳定判据阐述了综合放大单元放大系数与励磁控制系统稳态误差和稳定性的关系,得到通过改变综合放大单元放大系数同时提高稳定性与减小稳态误差的矛盾性。然后提出通过把励磁电压微分后反馈输入到综合放大单元输入端来解决问题,并运用HATLAB6.5仿真比较两种不司励磁控制系统的效果。     

新会计准则体系的五大变化和创新

论述了新会计准则体系的五大变化和创新:即会计目标——由受托责任观向决策有用观转变;谨慎性原则应用——由过度谨慎向适度谨慎转变;收益的确认和计量——由利润表观向资产负债表观转变;会计计量属性——由历史成本一统天下向包括公允价值在内的多元计量属性并存转变;国际趋同——由重形式趋同向重实质趋同转变。     

基于FIR数字滤波器的宽带噪声数值模拟

各种水声信号处理方法的性能分析和检验,都要求用数值模拟方法产生环境噪声场。分析了海洋环境噪声的空间相关性,基于噪声源的远场非相关假设,提出了一种任意空间分布宽带噪声场的数值模拟方法,该方法的关键是采用FIR数字滤波器实现高精度连续时延。对空间均匀各向同性噪声场的数值模拟结果显示,其空间相关特性及空间角度谱与理论分析基本一致,表明该方法是有效的。     

合成孔径雷达图像自动目标鉴别的新方案

为了构建实用性强、自动化程度高的SAR图像目标鉴别过程,提出了一种目标鉴别新方案,包括鉴别的框架及相应的算法.在系统层面上,为了更有效、更可靠地剔除杂波虚警,方案中提出了基于特征提取鉴别方法和基于编队提取"序贯"结合的整体框架;在算法层面上,首先进行了鉴别特征的提取,包括已有特征的提取以及三个新特征的提出;其次在特征选择阶段,提出了一种基于遗传算法的特征选择算法,该算法对于特征优劣的评价更全面.然后,为了提高鉴别器的精度,设计了目标鉴别的加权二次距离鉴别器,提高了鉴别的性能.最后,为了更有效地剔除杂波虚警,给出了基于目标编队知识进行进一步杂波虚警剔除的方法.实测数据的实验结果证明了所提方案的有效性.     

数项级数中阿贝尔判别法的必要条件的证明

利用Dirichlet判别法的必要条件，来证明阿贝尔判别法的必要条件的成立，并推广到广义积分和含参变量的积分的应用上。     

晚霜对果树的危害与防治

根据灵宝市近年来出现的晚霜冻害对果树的危害调查分析,总结出晚霜冻害对果树的品种、地势以及田间管理之间的关系,提出几点防范补救措施。     

南阳煤业请职工代表“挑刺”促安全

6月下旬,湘煤集团南阳煤业分公司工会主席王建军带领10多名职工代表，对所属前进、淝江、南阳庙3家煤矿进行安全检查，共查出安全隐患20余条．下达安全监察意见书一份，接到并查实举报一个。追查、处罚监察不力的安监员1人，要求矿处罚违章人员1人。