面向中小型机械制造企业CAPP系统研究与实现

在分析中小型加工制造企业特点的基础上,结合企业的实际调研,设计并实现了适合于机械制造企业的CAPP系统·从分析企业工艺文件的特点入手,采用IDEF0方法对CAPP系统进行了功能分析,从工艺设计、管理、集成等几个方面来确定CAPP系统的功能需求,进而确定了CAPP系统的组成·设计和实现了适合于中小型机械制造企业的CAPP系统总体方案和各个功能模块·探讨了CAPP与PDM的数据交换、产品结构树和特殊符号处理等关键技术·最后给出了系统的实现方法·系统在某阀门制造有限责任公司得到了实际应用,并取得了很好的应用效果·     

一种抗弱曲线故障攻击的SM2数字签名算法设计

SM2数字签名算法是中国版的椭圆曲线数字签名算法,尽管该算法的设计在数学理论是安全的,但在算法的具体实现时却容易遭受物理攻击。因此,加强SM2数字签名算法在实现过程中的抗攻击性具有重要意义。本文基于故障感染思想提出了一个针对SM2数字签名算法的抗故障攻击策略,通过改变算法中的标量运算操作,使得算法遭受攻击后故障将在签名过程中扩散,从而破坏攻击者利用错误签名快速检索签名私钥的条件。实验结果表明,此防御策略不仅可以抵御弱曲线故障攻击,还可以防御弱曲线故障和二次故障注入的结合攻击。此外,本文还将椭圆曲线算法中常用点检测抗故障攻击策略和本文提出的故障感染防御策略都在现场可编程逻辑列阵上实现,对两种策略的硬件面积开销、单次签名时间开销进行比较,结果显示,本文提出的策略在硬件性能上比基于点检测的策略更优越。     

试论公共政策有效执行的重要性及意义

在公共政策的理论中,公共政策的执行和实施过程是一个相当重要的问题.因为,一项公共政策的成功与否,要依赖于它的有效监测、问题认定和正确的制定,但更重要的是它要得到正确的执行.     

基于区块链技术的道路路边停车管理系统

针对当前道路路边停车管理中存在的效率低下、交易不透明等缺点,提出了一个基于区块链技术的道路路边停车管理系统.根据边缘设备终端的车牌识别算法采集停车信息,将关键停车交易数据发送并存储至Web服务器的MySQL数据库缓存,之后由Fabric SDK中间件存储到Hyperledger Fabric区块链平台.该系统依靠区块链...     

一种感知情景的存取控制策略的规范和分析方法

对RBAC的角色激活过程增加情景约束,建立了感知情景的存取控制策略;利用D ata-log逻辑语言来建立感知情景存取控制策略模型的形式化规范;使用一阶逻辑语言描述策略的一致性、完整性等性质,借助D atalog实现了一个控制策略自动决策原型系统。     

X3D:新一代面向Web的交互式三维图形规范

当前虚拟现实造型语言(VRML)的国际标准存在严重问题,阻碍了面向Web的交互式三维图形技术的深入发展。为此,Web3D联盟提出了下一代面向Web的交互式三维图形规范X3D。X3D采用XML编码,以软构件技术为指导,定义了一个小型运行内核、一组API和多个扩展集,具有小型化、可扩展、与Web上的多种标准互操作和与多种媒体紧密集成等特性。本文主要介绍了X3D的产生背景、概念和组成,并在此基础上分析了X3D的关键技术和X3D浏览器的实现。     

程序规约变换技术在程序设计中的应用

算法设计是程序设计的难点和关键。本文利用程序规约的变换技术得到了排序问题和最长升序问题的算法,并清晰地展示了程序设计的过程,为算法程序设计提供了一种有效的方法和途径。     

基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.     

论产业竞争情报策略联盟

阐述了产业竞争情报策略联盟的概念,结合实际案例论述了策略联盟的实施措施,分析了产业竞争情报联盟的特点、实践形式及相关问题,对我国发展这一联盟模式提出了建设性意见。     

高沁高速公路长寿命沥青路面设计方案分析与比较

文章通过介绍长寿命路面的概念、结构特点及发展状况,结合产煤大省山西特重车道较多的特点,从设计理论、经济指标的角度对高沁高速公路长寿命路面的设计方法进行了探讨,分析了长寿命沥青路面与传统混凝土路面的结构形式及费用-效益之差。