应用LabWindows/CVI实现USB操纵杆的仿真

针对工程实践的需要,对基于USB接口的操纵杆仿真进行了研究。通过比较在LabWindows／CVI环境中对USB设备数据操作的方法,基于USB操纵杆的特殊性,采用WindowsSDK、DirectX与CVI相结合的方法,实现了在Labwindows／cVI环境中对USB操纵杆数据的通信。多次试验结果表明,应用LabWindows／CVI对USB操纵杆进行仿真的逼真度及交互性都比较合适,同时验证了采用LabWindows／CVI实现USB操纵杆仿真的正确性及可行性。     

Web页面安全性技术初探

随着Internet技术的飞速发展,WWW技术得到广泛应用.有些Web站点需要对Web页面进行访问控制,但是由于HTTP协议的无状态性,使得依靠HTTP协议进行Web页面的访问控制变得不可能.文中给出了在网络的应用层利用QueryString、Form的隐含类型域和Cookie方法对Web页面进行用户名／口令校验的方法,并对这些方法进行了比较.     

一种基于发生序和锁集的BPEL数据竞争静态检测方法

BPEL利用flow和link提供了并发和同步的机制,而Isolated Scope则提供了并发情况下对共享变量访问的控制,同时BPEL还引入了死路删除等一些新的特性。对BPEL流程进行了建模,把BPEL流程转化为BCFG图,提出了一种结合发生序和锁集的静态检测BPEL流程数据竞争的方法。该方法利用向量时钟计算BPEL基本块的发生序关系,判断BPEL基本块是否可并发执行,然后根据BPEL基本块是否有锁保护以及对共享变量的访问情况,来判断BPEL流程是否存在数据竞争。锁集的引入提高了数据竞争判断的准确度,另外该方法还引入了对共享变量访问事件冗余度的分析,减少了算法的开销。     

一种并发程序可测试性分析框架

软件可测试性是对测试软件难易程度的预测，在测试、度量等许多领域中得到了广泛应用．由于并发程序执行的不确定性，其可测试性分析尚有很多难点有待解决．该文提出了一种并发程序可测试性分析框架．在充分分析程序内部数据流、控制流以及并发和同步对数据流和控制流影响的基础上，从单个并发单元、并发因素、共享变量因素及通信关系4个方面对并发程序的可测试性进行了分析，为综合度量并发程序的可测试性提供了依据．     

抗震设防工程中带“E”钢筋的应用

结合工程实践,阐述了带"E"钢筋在抗震设防工程中的作用和意义,分析了在带"E"钢筋应用中存在的问题和成因,针对建设各方责任主体,提出了综合改进管理的对策。     

电解液中钙磷组分对镁合金MAO生物陶瓷膜层特性的影响

采用恒流模式,通过单变量实验改变电解液中乙酸钙、六偏磷酸钠和磷酸二氢钠等钙磷组分的浓度,在AZ31镁合金表面制备微弧氧化生物陶瓷膜,观察分析膜层微观组织结构,测定膜层表面Ca/P比、耐蚀性等,探讨钙磷组分及其浓度对膜层组织和性能的影响,进而对电解液进行优化,并对优化后的膜层性能进行观察和分析。结果表明:乙酸钙、六偏磷酸钠、磷酸二氢钠对膜层Ca、P元素含量及Ca/P比值有决定作用;乙酸钙浓度越高,膜层厚度越小,但是均一性越好;六偏磷酸钠浓度对膜层表面形貌和厚度几乎无影响,其浓度越高,膜层中P元素含量越高;磷酸二氢钠浓度越高,Ca/P比值越小。电解液优化后,制备的膜层较为平整致密,表面均匀分布10.7μm左右的微孔,但存在微裂纹;膜层主要由MgO、Mg和少量Ca2P2O7、SiO2等物相组成,使硬度和耐蚀性比镁合金基体有明显提高;膜层粗糙度Ra=0.45μm,润湿角为42.65°,有利于细胞的附着与生长。     

基于概念内涵最小生成子的伪内涵计算方法

 伪内涵是形式概念分析理论的一个重要概念,伪内涵问题的研究是当前研究的热点.传统的伪内涵计算方法为了获得形式背景中所有的伪内涵,需要搜索形式背景中所有的非内涵属性集,而属性的组合容易导致搜索空间爆炸.为此,本文从概念内涵生成子的角度,刻画伪内涵的特性,给出伪内涵判定的充要条件;在此基础上,提出计算伪内涵的GPI算法.GPI算法只需对概念内涵的最小生成子进行计算,便可获得形式背景中所有的伪内涵,有助于缩减算法的搜索空间,提高伪内涵计算效率.理论分析和实验结果表明,本文的算法是有效可行的.     

一种新的重构语义分析方法及其应用

提出一种新的重构语义分析方法,引入了后置条件作为重构后程序语义的分析条件,然后基于该方法提出一种重构异常行为检测方法,利用不同重构之间的关系及其关联语义特征,发现重构实施时的错误.分析表明,该方法可以有效发现E-clipse中存在的若干缺陷,并且可以检测出使用Eclipse实施相应重构时产生的程序异常行为.     

基于变异测试和OWL-S文档的Web服务测试用例生成

由于缺乏必要的细节信息,针对Web服务的测试难度较大。文章的方法是将变异算子作用到OWL-S文档上,以得出不同输出为目标,从而生成测试用例。该方法避免了生成大量的变异体以及判定等价变异体,能降低测试成本。在保证其有效性的同时,还可以根据具体的应用来调整变异算子,保证方法的通用性和可扩展性。     

苏州雅利订购第二台麦安迪LP3000柔印机

近日，苏州雅利印刷有限公司与麦安迪·美国联合再度携手，签订了第二台MarkAfldy LP3000十色柔性版印刷机。