大型火电厂仿真机技术的现代进展

近年来,由于仿真技术、火电厂控制技术、计算机技术和软件工程的发展,引起火电仿真机技术的变化。本文详细讨论了这些变化的原因和一些新的概念与新的技术进展,并说明我们的实践。     

铅锡合金沉积物的显微组织

将离子浓度比为5∶5的铅锡电沉积分形生长沉积物制备成金相样品，用金相显微镜观察了它们的显微组织。结果表明，在此情况下，铅锡电沉积生成物由两相组成，即铅锡共晶相和铅基固溶相，两相呈交替层状分布。     

有限群中的子群和元素的共轭性质

对有限群的子群和元素的共轭类及共轭关系进行了讨论,从有限群中子群和元素的局部性质出发来描述群的整体结构,研究它们对整个群结构的影响,同时也得到了一些证明的技巧.     

培养高师学生从师素质与能力的新模式构想

从分析高等师范院校的现状和毕业生面临的竞争压力入手,构想培养高等师范院校学生从师素质与能力的新模式.     

HF-Ⅰ新型改性酚醛树脂研制及性能评价

以苯酚、甲醛、环氧树脂、聚乙烯醇等为原料在酸性催化条件下 ,研制成一种新型环氧改性酚醛树脂 ,通过性能评价并从砂轮、切割片的应用表明。该粘合剂粘结性能、强度、韧性均达到国内同类产品先进水平 ,制做的砂轮、切割片性能优良。     

基于RL&SM通用夹具系统的主动寻位技术及其实现方法

介绍了RL&SM通用夹具的寻位系统 ,描述了主动寻位与制造信息转换问题 ,提出和实现了相应的控制方法及其系统实现中的关键技术。理论分析与实验结果表明 ,提出的解决方法和技术是可行的 ,为RL&SM通用夹具系统的实际应用奠定了理论基础和技术支持     

SW规约下的一些性质

本文进一步分析了SW规约下的SW度结构的一些性质,得到了强可计算实数的两个性质.并且证明了给定可计算可枚举实数,可构造出sw归约下不小于该数的低的可计算可枚举实数.     

基于GM（1，1）模型的某高校招生人数预测

分析了近年来我国高校招生人数的变化趋势，并利用GM（1，1）模型对某高校2008年的招生人数进行了预测．从而为高校招生人数决策提供了依据。     

一种新型空间电压矢量调制方式的研究

通过对传统的空间电压矢量调制方式的研究,提出了一种改进型的空间电压矢量调制方式,并给出了此改进型SVPWM调制方法下的各矢量作用时间的推导.相对传统的调制方式,此方法能够同时满足变频器输出在高频段和低频段的需要,适应了不同应用场合下的要求.实验结果证明本方法切实可行,具有一定的推广价值.     

Static extracting method of software intended behavior based on API functions invoking

The method of extracting and describing the intended behavior of software precisely has become one of the key points in the fields of software behavior＇s dynamic and trusted authentication. In this paper, the author proposes a specified measure of extracting SIBDS （software intended behaviors describing sets） statically from the binary executable using the software＇s API functions invoking, and also introduces the definition of the structure used to store the SIBDS in detail. Experimental results demonstrate that the extracting method and the storage structure definition offers three strong properties： （i） it can describe the software＇s intended behavior accurately; （ii） it demands a small storage expense; （iii） it provides strong capability to defend against mimicry attack.