基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

激光标刻的复杂区域填充算法

为减少填充线段和提高激光加工效率,对复杂区域的填充算法进行了研究．采用延长某些岛屿边界将包含岛屿的区域变为单连通域;然后用最长边延长法和最长边平行截取法将单连通域分解为简单凸多边形,简单凸多边形填充方法是先找到凸多边形所有边对应的高最小的那条边,平行该边进行填充,最后对填充线段的连接顺序进行优化处理．与传统的固定方向扫描填充相比,采用本算法可使复杂区域和实心文字的激光标刻效率提高20％～40％．     

一种确定IFSP中迭代次数下限的算法

提出了一种求解带概率的迭代函数系统（IFSP）中迭代次数下限的自动算法,该算法基于一个基本假定,从给定的多个压缩仿射变换矩阵的谱半径入手,先分别求出每一个压缩仿射变换收敛到其对应的不动点时的迭代次数,然后根据每一个压缩仿射变换使用的概率即可计算出IFSP中迭代次数的下限．理论分析和实验计算结果表明,提出的算法能有效地确定IFSP中迭代次数的下限,且在保证分形图质量的同时避免了不必要的计算开销,为快速生成高质量的分形图提供了一种有效的方法．     

浅谈师德师风建设

师德师风建设的前提是爱岗敬业,核心是教书育人,关键是为人师表,保障是检查监督和制度的制约。     

GC-MS技术对比研究两种土壤上蒜头果果油品质

通过GC-MS技术对比研究了酸性和中性土壤上蒜头果果油的脂肪酸组成.结果表明,两种土壤上蒜头果果油中神经酸含量相当,但出油率中性土壤上略高于酸性土壤.初步分析了这些差异与立地环境的关系,提出了需要进一步解决的问题.     

毫米波雷达回波信号去噪系统设计

毫米波雷达的回波信号去噪系统以DSP芯片为核心，辅以数模转换及控制部分，包括与PC机的通信，用DSP实现主要的去噪算法．由于回波信号是非平稳的，传统的傅氏变换去噪效果不好，所以采用一种小波均衡阈值法对其去噪．实验结果表明，信噪比及最小均方误差均得到改善．     

金黄色葡萄球菌低分子质量双特异性磷酸酶sLMWDSP的表达、纯化及性质

双特异性磷酸酶是酪氨酸磷酸酶家族中的一员,它参与生物体内信号转导、生长调控、新陈代谢等许多基本的生理活动.金黄色葡萄球菌的低分子质量双特异性磷酸酶sLMWDSP(low molecular weight dual-specificityphosphatase,Staphylococcus aureus)基因从金黄色葡萄球菌cDNA库中克隆,并在大肠杆菌中表达.高纯度的sLMWDSP用亲和层析的方法纯化得到.酶学性质研究表明:sLMWDSP催化对硝基苯磷酸(-pnitrophenyl phos-phate,pNPP)水解反应的最适pH值为6.7,最适温度为35℃,且该酶的活性不依赖于金属离子.磷酸酶通用抑制剂岗田酸(Okadaic acid)、EDTA对sLMWDSP几乎没有抑制作用,但钒酸钠能明显地抑制该酶的活性.sLMWDSP对pSer/Thr以及pTyr的寡肽均有去磷酸化作用,这说明sLMWDSP是一个新的双特异性磷酸酶.     

基于SX52的嵌入式web服务器远程监控技术的实现

介绍了一种基于嵌入式web服务器的远程监控系统,该系统采用嵌入式Internet技术、计算机网络技术,实现在局域网乃至Internet网上对远程设备的实时监控。     

双模纠缠相干光场与∑型三能级原子相互作用系统的原子偶极压缩效应

研究双模纠缠相干光场与∑型三能级原子相互作用系统的原子偶极压缩效应，分析了双模纠缠相干光场的纠缠程度、原子的基态概率幅、失谐量以及平均光子数对原子偶极压缩效应的影响．结果表明，双模纠缠相干光场的纠缠程度对原子的偶极压缩没有明显的影响；原子初态完全处于基态或激发态时，原子偶极压缩现象均未出现，原子处于基态概率和激发态概率相等的初态时，原子偶极压缩量最大；原子偶极压缩的频率随失谐量增加而增加；当保持场模1的平均光子数不变而场模2的平均光子数增加时，原子的偶极压缩深度变浅而偶极压缩频率保持不变．     

加强师范生教育科研素质培养的思考

教师的教育科研素质是实现由“应试教育”向“素质教育”转变的先决条件。加强对师范生的教育科研素质的培养,具有教育可持续发展的战略意义。师范院校应采取切实可行的措施,着手培养师范生的教育科研素质。