并发程序内部表示及静态切片算法的改进

通过分析Krinke切片算法对程序循环体内嵌套一个或多个线程结构会产生切片不精确现象,得出Krinke算法所基于的程序依赖图对线程间数据的依赖关系定义得过于粗糙,且对并发程序执行行为的合法性约束不够严格的结果.据此,提出一种新的并发程序依赖图,引入跨线程边界循环-承载数据依赖关系,并在此数据结构上改进了切片算法;引入区域化执行证据概念,进一步约束程序执行行为的合法性,并给出了添加跨线程边界循环-承载数据依赖关系的算法及新的并发程序切片算法的伪代码.实例分析与算法性能测试表明,改进的切片算法克服了Krinke算法的不精确现象,降低了时间开销,改善了算法的可伸缩性.     

含氟聚合物在赤磷基抗红外发烟剂中的应用

在实验室条件下利用多波段红外辐射仪，测试了含四种不同聚合物的赤磷发烟剂燃烧产生的烟雾在远红外波段的透过率，并使用粉尘取样仪测试了烟雾的质量，计算出了各种烟雾质量消光系数．试验结果和计算表明：以含氟聚合物的赤磷发烟剂燃烧产生烟雾在远红外波段的质量消光系数最高，透过率最低，并分析了上述烟雾在远红外波段具有不同质量消光系数的原因．     

cdma2000 1x EV-DO前向链路高速分组数据传输中的调度算法

在保证用户间公平性的前提下,为尽量提高cdma2000的增强型1xEV DO系统前向链路的数据吞吐量,通过讨论现有的多种调度算法原理,分析了影响系统吞吐量和公平性的因素,在此基础上提出将用户平均请求传输速率、限制用户最小平均传输速率和系统最小吞吐量的影响同时引入调度算法的思想,通过在CadenceSPW软件平台上的仿真研究表明,改进后的调度算法在保持公平性的前提下,有效提高了系统前向链路吞吐量.     

带式输送机输送带跑偏的分析及处理

对带式输送机运转过程中输送带跑偏的现象进行了分析，提出了输送带跑偏的调整方法和预防措施。     

CO2热力学性质的量子化学计算

采用MP2,QCISD和密度泛函B3LYP方法,在6-311g**和6-311+g**水平上优化和计算了CO2和O2平衡几何结构、能量和谐性振动频率,导出了在标准条件(T=298.15 K,p=1.013×105Pa)下的熵、热焓和热容,并由此计算得到了CO2的标准生成焓和标准生成自由焓.结果显示,B3LYP/6-311G**方法计算得到的CO2和O2的平衡几何结构、能量、谐性振动频率、熵和热容与实验值符合最好;而MP2/6-311G**方法计算得到的CO2标准生成焓和标准生成自由焓与实验值符合最好.     

利用胶束电动色谱技术用于抗生素测定

采用毛细管胶束电动色谱技术对阿莫西林、氯唑两林、头孢氨苄、头孢噻肟、头孢唑林5种抗生素进行分离．18kV电压下，在溶有100mmol／LSI）S的硼酸盐缓冲溶液（20mmol／L，pH-8．9）中，采用二极管阵列检测器．在9min内可以完成对此5种抗生素的分离检测．线性范围0．1～250μg／mL．相关系数为0．9976～0．9994，检测限为0．01～0．13μg／mL．运用此方法对3种药物形式的抗生素进行同时检测．日间和日内的RSDs分别为3．95％～8．12％和1．51％～2．86％。迁移时间的日间和日内的RSDs分别为0．47％～1．11％和0.032％～0.295％．在尿样的测定中，日问和日内的RSDs分别为1．31％～6.07％和0.66％～7．65％，回收率为90％～110％．此外．还对分离条件对抗生素的迁移行为的影响做了理论探讨．     

一种基于多分类支持向量机的网络入侵检测方法

构造了一种基于异构数据距离的径向基核函数，可直接应用于异构的网络数据，并利用实验数据得到修正的基于异构数据距离的径向基核函数(I-HVDM-RBF)，从而减少了支持向量的个数，降低了运算量，采用I-HVDM-RBF核函数和一对一方法构造了多分类支持向量机来进行网络入侵检测，检测选用美国国防部高级研究计划局入侵检测评测数据，结果表明：与Ambwani方法比较，其检测精度提高了约3％，支持向量个数减少了268个，检测时间缩短了5min；与Lee方法比较，其拒绝服务攻击、远程到本地攻击和普通用户到超级用户攻击的检测精度分别高出73％、19％和3％。     

基于上下文敏感度的动态图像目标识别

针对机载实时系统获取的图像序列既不满足背景固定又没有目标、背景的高灰度比,而且常规方法处理这些图像存在局限性,提出了基于上下文敏感度的运动图像目标识别算法.首先,对标准Hough变换(HT)算法进行改进,即沿着某一方向做HT,如果线段长度或已识别的目标点数加上剩余线段长度小于阈值,则停止此方向的扫描,这种变换克服了标准HT以图像边界点为扫描边界的缺点.其次,在静态图像识别的基础上,定义了图像识别的置信度,对运动图像前后帧的关系进行了量化,据此实现了对目标的识别.实验结果表明,与标准HT相比,改进的算法不仅具有很强的稳定性和高抗干扰能力,识别准确性高,而且处理速度是标准HT的3～5倍.     

Atomic-scale computer simulation for early precipitation process of Ni75AlxV25-x alloy with intermediate Al composition

The microscopic phase-field approach is applied to model the early precipitation process of Ni75AlxV25-x alloy. Without any prior assumptions, this model can be used to simulate the temporal evolution of arbitrary morphologies and microstructures on atomic scale. By simulating the atomic pictures, and calculating the order parameters and volume fraction of the θ (Ni3V) and γ'(Ni3Al) ordered phases, we study Ni75AlxV25-x alloys with Al composition of 0.05, 0. 053 and 0. 055 (atom fraction). Our calculated results show that,for these alloys, θ and γ' phases precipitate at the same time; with the increase of Al content, the amount of γ' phase increases and that of θ phase decreases; the precipitation characteristic of γ' phase transforms from Non-Classical Nucleation and Growth (NCNG) to Congruent Ordering Spinodal Decomposition (CO SD) gradually; otherwise, the precipitation characteristic of θ phase transforms from Congruent Ordering Spinodal Decomposition (CO SD) to Non-Classical Nucleation and Growth (NCNG) mechanism gradually. Both θ and γ' phases have undergone the transition process of mixture precipitation mechanism characterized by both NCNG and CO SD mechanisms. No incontinuous transition of precipitation mechanism has been found.     

基于VC的BCH码迭代译码算法实现

在现代通信系统中，纠错码技术是实现可靠通信的基本方法．本文首先对纠错码技术做一下简介，然后以(63，39)码为例，着重讨论用VC 6．0对BCH码迭代译码的进行实现．