一种形式化的软件可演化性特征描述方法

软件系统的活性和安全性是判断软件可演化性的重要依据之一。现有方法多使用经典逻辑对系统的活性和安全性进行刻画。环境及涉众的复杂性使得软件的可演化性分析可能出现矛盾的输入。经典逻辑的无矛盾律导致其不能对软件系统的演化特性进行有效建模。针对该问题,提出了一种形式化的软件可演化性特征描述方法,该方法允许矛盾性输入的存在,可用于对软件可演化性等存在矛盾特性的系统进行建模和分析。该方法使用多值时序逻辑刻画软件系统的演化需求,同时提出了一种抽象软件模型对软件系统进行建模,通过抽象软件模型的活性和安全性来对软件系统的可演化特征进行描述。     

构件系统建模及其动态演化一致性验证方法

基于构件的软件开发已成为软件开发的主流方法,但针对构件系统动态演化后的一致性保持问题,目前尚缺乏统一的标准,为此提出一种验证构件系统动态演化一致性的方法。首先,应用进程代数构造构件模型,并在此基础上得到粗粒度的构件系统模型;然后,根据构件系统模型及其状态的变化,提出构件系统外部行为提取算法,并基于弱互模拟理论定义构件系统动态演化一致性的验证准则;最后,提取演化前后构件系统的行为,并将其转换成便于Pi演算自动工具MWB(Mobility Workbench)识别的格式,以进行行为一致性验证。案例研究表明,该方法是可行且有效的。     

德国洪堡中信重机签署战略合作——强强联手开拓中外市场相互提携打造装备品牌

6月12日～13日,中信重机和洪堡公司联合举办的水泥技术交流会在河南省洛阳市举行,交流会旨在探讨和交流水泥工艺技术的发展趋势,展示中信重机和洪堡公司在水泥工艺及技术装备方面的最新成果。中国水泥协会秘书长     

基于三次谐波注入的PWM调制技术仿真研究

针对传统载波移相SPWM调制技术调制下的级联H桥多电平大功率变流器输出电压利用率不高的问题,提出了三次谐波注入法,它能够在不影响逆变器负载电流和电压的情况下优化逆变器的输出,提高电压利用率15％且不影响输出电压谐波含量。本文详细分析了级联H桥三相多电平变流器的工作过程和三次谐波注入法的基本原理,并经分析得出了三次谐波注入PWM调制技术较之传统载波移相SPWM调制技术优越的结论。最后,通过Matlab／Simulink软件仿真验证了上述结论的正确性和可行性。     

科学定价有序竞争--新疆乌昌地区通过行业自律促使水泥价格回升

无序竞争 行业受损 过去，新疆乌昌地区各水泥企业竞相压价、倾销，造成市场混乱，企业惨淡经营。生存危机，促使水泥企业认识到，只有联合自律，制止恶性竞争，才能实现共赢。2003年6月,新疆西域水泥有限责任公司率先在水泥行业发出了价格自律的倡议，很快几乎所有的水泥企业都参与到这个倡议当中来,在短短的几天时间里500多万元的行业自律保证金就交到了行业主管部门.2003年6月4日，也就是水泥业自律价格实行的前一天,仅新疆天山水泥股份有限公司就收进六七千万元的水泥订金.好景不长，3个月后，由于个别企业的退出,行业自律联盟从内部瓦解了。     

Applying Possibility Degree Method for Ranking Interval Numbers to Partnership Selection

A new interval number ranking approach is applied for assessment of priorities of the alternative partners,where the attribute values are given out as interval numbers while the weight of each criterion is still exact numerical value pattern.After aggregating with the weighted arithmetic averaging operator,the result is still in the form of interval number.To achieve the priorities of alternative partners we take the possibility method for ranking interval numbers into account which could derive priorities from inconsistent attribute values,thus eliminating the adjustment to the inconsistent attribute values.Moreover,this method is very simple and needs less calculation.An illustrative example is given out to demonstrate this smart method.     

大黄中氨基酸的DNFB柱前衍生化高效液相色谱测定

通过升高色谱柱温度,结合线性梯度洗脱的分离模式调整分离选择性,发展了一种氨基酸的2,4-二硝基氟苯柱前衍生化高效液相色谱分析方法,也将该方法用于大黄中氨基酸含量的测定.所发展的方法采用Kromasil C18,(250mm×4.6mm I.D.5μm)色谱柱,44℃柱温,以3段线性梯度可以在30分钟内基线分离17种基本氨基酸,方法具有普适性好、稳定性高等特点.     

一种改进的跳频信号参数估计方法

针对在跳频信号跳变时刻和跳变频率估计方面实时性和估计精度无法同时兼顾的问题,提出了一种基于短时傅立叶变换(STFT)和多重信号分类(MUSIC)算法的跳频信号参数估计方法。在建立跳频信号数学模型的基础上,利用STFT选取较大时间窗对整个信号在时域进行粗搜索,生成时频谱图,提取时频脊线从而获得跳变时刻,然后选取较小时间窗在已知跳变时间段利用STFT进行跳变时刻的细估计,并利用MUSIC算法进行频率的精确估计。该方法利用STFT的二次估计,减少了MUSIC搜索范围,从而降低了时间开销。仿真表明该算法的跳变时刻频率估计精度高,实时性能满足参数测量需求。     

高效液相色谱仪的研制与技术开发——新型二极管阵列检测器

介绍一种新型的高效液相色谱二极管阵列检测器，该仪器采用光纤传导技术和全封闭光学系统，具有较高的光谱分辨率和检测灵敏度。采用虚拟设备驱动技术配合功能强大的数据处理系统可为用户提供色谱、光谱，三维谱图及色谱峰纯度等大量的信息。     

塔机安装的前期工作

做好塔机安装的前期工作,对塔机的安全使用、拆装有重要意义。前期工作包括塔机选型、定位以及塔机基础的设计和施工。