从培养学生职业素质谈高校思想政治理论课教学改革

职业素质的培养是高等教育的基本内容之一,当前在校高校职业素质的培养主要通过思想政治理论课的学习中获得,而高校思想政治理沦课的教学效果并不是十分理想,通过教学方法、成绩评定等的改革希望改变目前思想政治理论课不被学生重视,教学效果不佳的状况。     

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

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

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

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

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

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

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

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

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

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

晚霜对果树的危害与防治

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

ε-HNIW/F2311 PBX界面结构力学行为模拟

研究了ε-六硝基六氮杂异伍兹烷(ε-HNIW)/F2311界面结构的力学行为. 采用分子动力学(MD)方法,在298～423 K 温度范围内以及NVT系综和COMPASS力场下,对F2311与ε-HNIW (110)晶面所构成PBX界面结构的各种力学性能进行模拟计算. 结果表明,温度达到348 K后,ε-HNIW/F2311界面结构比内层ε-HNIW形状变化(G)和体积变化(K)都变得相对容易,弹性增强的同时可以有效地分散应力,有利于PBX的加工;进一步分析K/G表明,ε-HNIW/F2311界面结构在298～373 K内成型性较好,尤其在348 K左右时最适合进行PBX的压制成型.      

崇尚科学 从少儿抓起——《少儿科技》举办全国性“少儿崇尚科学”征稿活动

遵照江泽民总书记关于“科学普及尤其要从青少年抓起”的指示精神,本社从2002年2月起举办《身边的科学》《小实验》《小小发明家》《小小科普漫画家》等全国性的“少儿崇尚科学”征稿活动。《少儿科技》将刊登若干优秀的     

歌唱的脉搏——内在感觉

<正> 感觉,是指在歌唱的机能运动过程中,生理或心理产生的精神触觉感应。我们通常所说的声音概念就是建立在一种内在感觉之上的声音。正确的声音概念便是正确的感觉。正确的歌唱感觉是声音无数次、多方面、多层次的内在感觉的积累,是歌唱家艺术气质熟练技巧的体现。歌唱和任何音乐艺术一样,是时间与空间的艺术。声音训练的结果,就是在瞬间完成它的表现,我们无法使它停顿下来校正它的偏颇之处,所要做和能做到的则是在我们所知的