基于时序逻辑的UML2.0通信图语义研究

UML2.0通信图可以表示对象之间的交互,很适合用于对系统的交互行为建模,但由于UML缺乏精确语义,使得难以对其所表示的系统行为进行分析和验证.XYZ/E是可执行线性时序逻辑语言,既可描述系统的静态语义和动态语义.在定K.UML2.0通信图的形式化语法的基础上,给出了通信图的XYZ/E时序逻辑语义,为进一步的系统分析和验证提供了形式化基础.     

面向事件的多语平行语料库构建研究*

讨论了面向北京奥运的多语语料库建设中的若干基础问题。提出了面向事件、多领域融合的语料收集原则,制定了具有分类信息的标注规范,初步建立了具有近七万句对的可控多语语料库。     

基于小波能量矩的高阻接地故障检测方法

中性点不接地中压配电网时常发生高阻接地故障,普通的零序电流保护难以对其检测。通过对仿真和实验得到的高阻接地故障电流信号进行频谱分析,发现其高频分量分布显著区别于系统其他扰动暂态信号。由此,引入小波能量矩算法,通过对高频段能量矩进行归一化、求和及取对数处理,提出了一种高阻接地故障的检测方法,该方法只需要利用故障后第1个工频周期内的电流信号,通过小波能量矩分析得到诊断判据,即可实现高阻接地故障的有效识别。大量的仿真和实测数据表明,该方法适应性强,且不受线路非高阻接地故障暂态信号的影响。     

过氧化钠熔融-电感耦合等离子体质谱法测定锡矿石中锡

锡矿石中锡的测定主要采用碘量法(铝片还原),该方法操作相对繁琐,分析数据精密度较低。基于锡矿石具有不易溶于酸、易溶于碱的特点,实验采用过氧化钠熔融样品,盐酸提取,电感耦合等离子体质谱法(ICP-MS)测定锡矿石中锡。研究了碱融熔剂用量、熔样时间、同位素选择、仪器工作参数等实验条件,确定了以过氧化钠作为熔剂、样品/熔剂质量比1∶6、15min熔解时间、40%盐酸提取酸度的最佳熔样条件。对所建立的分析方法进行了方法验证,确定方法检出限为13.87mg/kg,标准物质测定的相对误差均小于3%,12次平行测定的相对标准偏差(RSD,n=12)小于2%,对标准物质及实际样品的测定结果满足锡矿石中锡含量的测定要求。     

城市建设要破解与文物古迹保护之间的矛盾

通过上海交通大学的进修，作者感悟到在城市规划与建设发展中必须处理好文物保护与城市建设之间的矛盾，使具有2300余年历史的文明沈城真正成为历史文化名城。     

谈如何保证人工挖孔灌注桩基础质量

主要从施工前的准备、挖孔、钢筋笼、浇注砼及成桩等几个方面较为详尽的阐述如何保证人工挖孔灌注桩质量的方法.     

郑开国际马拉松电视转播的组织与运行

本文以作者的亲身经历,详细介绍了直播郑开国际马拉松比赛的前前后后、方方面面,从本台实际条件出发,克服人员少、设备缺、从来没做过类似活动的困难,圆满完成了直播任务,希望对从事类似工作的技术人员有一定的借鉴意义.     

建筑工程项目设计与施工

建设工程设计是土建施工和设备安装得以顺利进行的基本保证，做好施工项目的准备工作，对于发挥企业优势、合理配置资源、加速施工速度、提高工程质量、降低工程成本、保证工程合同履约和增加企业经济效益，都有极为重要的作用。     

用PIC单片机实现50Hz锁相信号发生器

在 ＵＰＳ不间断电源系统的设计中，与外部交流电压锁相的 ５０Ｈｚ正弦信号发生器是十分关键的一部分， 本文介绍了一种利用数字信号处理技术通过ＰＩＣ单片机实现此电路的方法。     

单晶合金中夹杂物形状对蠕变行为的影响

通过对不同形状夹杂物缺陷的单晶镍基合金蠕变性能测试、组织形貌观察及采用有限元对近夹杂物区域的应力场进行分析,研究了不同形状夹杂物缺陷对单晶合金蠕变行为及组织演化的影响.结果表明:夹杂物缺陷可明显降低单晶镍基合金的塑性和蠕变寿命.在高温蠕变期间,近夹杂物区域的应力等值线具有圆弧形分布特征.蠕变期间,在夹杂物的两侧极点处具有最小应力值,而在夹杂物缺陷的上、下区域具有较大的应力值,随蠕变时间延长,应力值增大,促使裂纹在该处长大,并且裂纹将沿平行于应力轴方向扩展是降低合金蠕变寿命的主要原因.