注塑产品动态装配模型的集成知识模型研究

基于MBR(基于模型的推理)技术，建立了注塑模具动态装配结构模型；基于RBR(基于规则的推理)技术，应用面向对象的规则模型(OOR)，建立了动态装配规则的知识表示模型。最后，该文将两种知识表示模型集成，建立了完整的知识模型，为整个系统的后续工作奠定了基础。     

宁夏司法警官职业学院学生信息管理系统研究

长期以来,宁夏司法警官职业学院各种信息通过Office软件来存储,处理,在信息的更新,共享,查询,版本控制上等方面存在很多问题,管理这些信息比较繁琐,并且信息很难共享,因此学院急需一套信息管理系统来管理这些信息。该文对宁夏司法警官职业学院学生信息管理系统的项目立项、用户需求征询、设计开发、测试实施做了一个比较全面的概述。     

基于Bit承诺的合同网模型

在分析现有合同网模型的基础上,针对合同网协商过程中的安全问题,利用Bit承诺协议和RSA算法,给出一个具有安全性的合同网协商模型,保证Agent之间信息的安全传输,防止协作Agent反悔、拒绝履行承诺。该协商模型满足不可否认性和强可验证性,投标价格保密安全,技术简单,通信量小。     

带有风险规避型销售商的供需链协调

以一个两阶段的供需链系统为背景，针对供需链上决策激励不一致和风险规避效应导致供需链低效的问题，研究了在实践中广泛应用的利益共享合同和批量折扣合同对供需链协调性的影响．证明了两种合同均可克服双重边际效应和风险规避效应，使得供需链协调．并给出了合同参数的设计方案，同时指出在实施上，利益共享合同需强制执行，批量折扣合同自动执行．     

深圳水库排洪河综合整治工程设计

以深圳水库排洪河水环境综合整治工程为例,探讨在城市河道综合整治设计中如何体现人与大自然和谐相处的理念,尊重大自然,满足河道防洪安全,恢复河流活跃、多样的生态系统,美化周边环境,创造多样性功能的河流空间。     

基于程序正确性的演算方法

为了使开发出的程序更具有可靠性,研究了两种正确性验证的演算方法,Dijkstra的最弱前置谓词变换法和Hoare的公理化方法.针对于Hoare公理化方法证明中的前置条件难以寻找的问题,提出了将这两种演算方法结合使用的方法.对最弱前置谓词变换法的过程进行分析,确定了最弱前置谓词算法的准确性.将最弱前置谓词应用到公理化方法中,即把最弱前置谓词变换法求出的前置谓词作为公理化方法的前置条件.通过一个具体实例,详细说明了其验证过程,并证明了该方法的有效性.     

基于红外探测原理的多路无线安防系统设计

为了实现对重大安全场所无线自动报警和监控,根据热释电红外传感的基本原理,设计并实现了一种接收移动人体辐射出得红外线检测仪,该检测仪以ATmega16单片机为控制中心,融合了无线通信技术[1]和信号检测技术等,通过无线收发模块与控制器通信,控制器通过RS-485与控制计算机连接,整个系统组成无线网络,实现多路无线声光报警和远程监控。另外该系统还设计了显示模块方便数据的读取分析。其设计具有实时性强,可靠性高,成本低,维护方便等优点     

加拿大光电子技术及产业概况

介绍了加拿大目前的光电子技术、产业概况及相关的科研机构和光电子会议。     

300 mm硅片双面抛光过程数学模拟及分析

建立了双面抛光过程中硅片表面上的一点相对于抛光布的运动模型;利用数学软件,模拟出不同速度下的运动轨迹.轨迹和实验结果表明,在其他双面抛光工艺不变的情况下,改变抛光机四个部分的转速,对硅片表面的平整度有很大的影响,特别是边缘部分的局部平整度.优化四个转速,可以显著改善300 mm硅片表面的平整度和局部平整度.     

基于模板引擎Smarty的信息管理系统设计

随着动态网站信息量的大幅度增多,Web应用服务器的负担也随之增大。为此,采用目前最先进的PHP模板引擎Smarty开发完成了西安交通大学中英文主页信息管理系统。Smarty强大的表现逻辑、智能的模板编译和完善的安全机制,大大提高了系统的建站效率和运行效率,确保了信息的安全。同时Smarty灵活的页面缓存机制以及所提供的全站纯静态化技术大大提高了网页的编译效率,减轻了服务器的负担。