描述语义Web服务的带类型的OWL-S

语义Web服务利用语义Web中的语义标注技术使得Web服务可以被计算机所理解,从而实现Web服务的发现、调用、组合等的自动化。分析了目前语义Web服务的研究现状和存在的问题,从类型标注的角度出发,用一种带类型的OWL-S来形式化语义Web服务,并且形式地陈述了标注两个被组合的服务的属性和关系的类型、对象、本体概念之间的联系,从而为服务组合提供了一种形式化的验证方法。     

一个无需中央机构的电子投票协议

利用ELGamal加密体制设计了一个简单高效且无需中央机构的电子投票协议。在该协议中,所有的投票者共同生成一个密钥,并用该密钥加密选票,使选票内容保密;在投票时,投票者利用不可区分的知识证明来保证选票的有效性与隐匿用户的选择。投票结果由投票者们共同确定,而且该结果是可公开可验证的。与文献[5]中的无需中央机构的电子投票协议相比,该协议所需进行的轮数与投票者的数目无关,投票者的计算量小。     

基于Part-Whole关系的人造物属性分析

知识分析是建立知识库系统过程中的重要一环,其目的就是帮助检查知识库中的知识一致性、完备性和精确性。该文重点讨论了基于Part-Whole关系的人造物属性分析,主要内容是:一是部分和整体的属性之间是否具有继承关系;二是部分的公共属性和整体相同属性的属性值之间的内在约束关系。     

宝钢高品位烧结矿生产技术实践

随着宝钢3号高炉大修及四烧结投产,烧结与高炉相继形成"3对3"与"4对4"的生产格局,烧结矿与高炉铁水的供需矛盾得以缓解,同时为高烧结矿比铁水冶炼、高品位烧结矿生产技术攻关等创造了条件。生产实践表明,通过采取配加4.5%~5.0%的磁铁矿精粉、确立合理的烧结矿Si O2控制区间、降低辅料配比等措施,实施低碱度低硅烧结,可有效地将入炉烧结矿品位提高至58.5%的水平,且烧结生产指标良好,烧结矿实物质量稳定,烧结过程受控。高品位烧结矿入炉大大降低了铁水冶炼成本。     

改进麻雀搜索算法求解作业车间调度问题

针对最小化完工时间的作业车间调度问题(JSP),提出改进麻雀搜索算法(ISSA).首先设计有效的编码转换方式,形成JSP离散决策空间与麻雀搜索算法(SSA)连续搜索空间的对应关系.然后,针对SSA在求解后期易陷入局部最优,利用量子计算、正余弦搜索和警戒者数量递减策略对SSA进行改进,同时引入多邻域搜索和高斯扰动策略以弥补SSA在求解离散问题时深度发掘能力不足的弊端.最后,进行FT、LA系列10个测试问题、6种算法和2个应用实例的对比实验.结果表明,ISSA在求解JSP时,能获得更好的最小值、平均值和寻优成功率,验证了ISSA求解JSP的有效性.     

模型学习与符号执行结合的安全协议代码分析技术

符号执行技术从理论上可以全面分析程序执行空间,但对安全协议这样的大型程序,路径空间爆炸和约束求解困难的局限性导致其在实践上不可行。结合安全协议程序自身特点,提出用模型学习得到的协议状态机信息指导安全协议代码符号执行思路;同时,通过将协议代码中的密码学逻辑与协议交互逻辑相分离,避免了因密码逻辑的复杂性导致路径约束无法求解的问题。在SSH协议开源项目Dropbear上的成功实践表明了所提方法的可行性;通过与 Dropbear 自带的模糊测试套件对比,验证了所提方法在代码覆盖率与错误点发现上均具有一定优势。     

Application of PPP Technology and Airborne Lidar in Power Line Inspection

Through the power line test,this paper presents the feasibility of applying the PPP technology of GPS,GLONASS and BDS multi-source fusion to verify the application of the generated POS data and 3D point cloud data to the high voltage power line inspection.The POS data fusion and calculation of different strategies are used to analyze the POS data accuracy of the POS data,GPS,GLONASS and BDS multi-systems under the base station differential POS data and the single GPS system.The 3D point cloud is generated by the POS data of different strategies,and the deviation distance and distribution of differential point cloud data are statistically analyzed.Finally,it is concluded that the point cloud data generated by the single GPS is about 20-40 cm,and the distribution is not uniform and the deviation distance fluctuates greatly.It can not meet the requirement of the fine inspection of the power line.The point cloud data generated by the PPP technology of multi-source fusion and the distance deviation from the point cloud data under the base station difference are 10 cm in the direction of X,The direction of Y is 6 cm and the direction of Z is 4 cm.The distribution of point cloud data is uniform and stable,which basically meets the requirements of the power line inspection,and the point cloud data can also be used for the fine inspection of the power line.     

Classification of the index sets of low[n] pand high[n] p

In this paper we will first give the characterization of thep lowp degree, and prove that a p.r.e. degree      

分支混淆中的条件异常代码构造研究

当前分支混淆技术通过构造条件异常代码和异常处理替代条件跳转指令,隐藏分支选择指令的地址,提高约束条件获取的难度,从而对抗符号执行.当前方法构造的条件异常代码中,关键数据具有二值性问题,有利于分支混淆的检测、发现和约束条件获取,降低了混淆的隐蔽性和与符号执行的对抗性;基于该缺点,提出一种使关键数据具有多样性特征的条件异常...     

基于AMESim的后坐活门液压阻力特性研究

火炮发射时将产生很大的后坐冲击载荷,一般采用液体气压式缓冲装置来吸收并耗散后坐能量。根据活门式制退复进机的具体结构,利用AMESim多学科系统仿真软件对其进行建模和仿真。在仿真过程中,通过调节活门孔直径的大小,得到不同初始阶段后坐阻力峰值变化规律,建立了活门孔直径与活门弹簧响应特性的关系。