整治非法煤矿的博弈论分析

通过建立博弈模型，分析事故频发的原因，并提出相应对策．指出设立举报奖金，消除矿工举报的后顾之忧，降低监督成本从而增加监督频率，加大惩罚力度是减少事故的关键．     

联动的安全移动代理系统模型

根据移动代理系统的3个基本安全需求：移动代理的安装安全、传输安全和执行安全。基于Java技术构造了由安装服务。安全服务和容器服务组成的联动安全移动代理系统模型．该模型可以利用不同的安全服务提供者提供的安全服务实现可插拔的安全模块．     

甲壳质清洁生产中酸浸废液的处理与综合污水达标排放

将清洁生产理念引入“酸碱法”生产甲壳质的生产工艺及其污水处理中，找出了其综合污水达标排放的关键控制点为酸浸废液微排放．酸浸废液经蒸馏回收其中的氯化钙和剩余盐酸，将酸性蒸馏水和部分残酸回用后汇入综合废水，再经自然沉降、化学絮凝、UASB和好氧方法处理，生产污水可处理至国家综合污水二级排放标准．生产工艺由先酸后碱改为先碱后酸，可避免交叉污染，有利于对酸浸废液中有用物质的回收．     

基于热重分析测定物质的蒸气压

根据自由蒸发过程的Langmuir关系，将热重分析（TGA）用于正十六烷、正十七烷和正十八烷等3个正构烷烃的蒸气压测定，分别采用常数法和比较法计算蒸气压，其结果与文献数据符合较好．结果表明，只要选择合适的参考物质，TGA可以成功地应用于未知液体物质蒸气压的测定．同时，根据从TGA实验得到的蒸发速率和蒸气压数据，计算了蒸发过程的表观活化能和平均蒸发焓，发现活化能数值仅稍大于蒸发焓，证实TGA实验中的蒸发过程接近非活化自由蒸发过程．TGA是一种快速实用的蒸气压测量新方法，尤其适用于较低压力范围的蒸气压测定，是传统实验方法的很好补充．     

一种新的进程可信保护方法

针对计算机端系统中病毒和木马导致应用程序缺乏可信性的问题，提出了一种新的进程可信保护方法．该方法采用可信计算平台技术，通过度量进程代码和数据的完整性断定其信任性．并综合运用软硬件控制，采用单向散列算法，在通用开放的计算机系统中建立起用户到进程的可信道路，保证了进程代理用户任务的可信性．实际测试结果表明该方法能够增强操作系统的安全性，确保关键应用在不安全的环境中顺利执行，并防止重要文件的非授权使用．     

基于微机电系统的高频压控振荡器设计与仿真

在分析传统的压控振荡器的基础上，针对微机电系统（microelectromechanical systems，MEMS）可变电容小尺寸、低功耗、高Q值等特点，设计了一种新型的基于高Q值的MEMS可变电容的压控振荡器．通过标准对称式的负阻抗LC振荡电路验证：当调谐电压从0～5V变化时，振荡器频率在2．320～2．430GHz之间呈均匀变化，提高了测量精确性；同时，其宽频带调谐范围从传统的振荡器的2％～3％提高到了4．58％，扩大了使用范围．     

多段构件组成的压杆平面内稳定

分析由若干段等截面或者变截面构件组成的压杆平面内稳定问题．从由三段等截面构件组成的压杆平面内稳定问题出发，对两端为变截面、中间为等截面构件组成的压杆的平面内稳定问题进行了分析，得出和两端为等截面构件情况类似的屈曲荷载计算公式．并对两端固接的情况进行了研究分析．     

混凝土路面板热屈曲的临界变温分析

混凝土路面板的热屈曲因板的热压应力引起,而混凝土路面板的临界变温可定义为路面板屈曲时的温度与铺设成型时的温度之差．在分析混凝土路面板在温度场作用下热胀屈曲临界变温的基础上．根据板的热屈曲方程,选择混凝土材料的Piosson比作为小参数,得到临界变温的摄动解．结果表明：临界变温正比于混凝土板的抗弯刚度．混凝土材料的Poisson比及板宽与板长之比对板的临界变温无明显影响．并将摄动解与压杆的Euler临界变温相比较,发现两者的差别为O（v^2）．当Poisson比在0．15～0．2范围内变化时,板的临界变温总是大于压杆的Euler临界变温．且两者相差小于5％．因此,采用压杆的Euler临界变温近似计算板的临界变温对于道路设计而言总是较为安全的．     

一种基于自主配置的网络可生存性增强算法

基于中心极限定理和假设检验理论，通过比较当前关键服务请求的服务响应时间与该关键服务历史平均服务响应时间置信区间的关系，提出了一种增强网络可生存性的自主配置算法（NSAC）．该算法对关键服务执行过程中的不同时段分两种情况采取适时的资源剥夺、服务迁移或者服务降级等策略，最大限度地保证关键服务请求在用户期望的截止时间内完成，整个配置过程对用户透明．仿真试验表明，本文提出的算法在网络重负载和轻负载情况下都可以更好地改善系统关键服务的可生存性．     

Fe73．5 Cu1 Nb3 Si13．5 B9非晶合金带材的压磁特性

采用电感式压磁效应测试方法直接测试和表征了铁基非晶合金带材的压磁效应。结果表明,铁基非晶合金带材在 f＝1kHz 频率下的压磁效应最大,并且带材对小于0．2 MPa 压应力非常敏感。对带材退火处理后,压磁效应增大。在测试频率 f＝1 kHz、连续压应力加／卸载过程中,随着退火温度的升高,Fe73．5 Cu1 Nb3 Si13．5 B9带材压磁效应值增大。当退火温度550℃时,带材压磁效应最大,其压磁效应值 SI（％）max 为1．4。     

高陡边坡GPS位移监测的工程应用

介绍了GPS（Global Positioning System）自动位移监测系统的主要构成、位移监测的原理和提高GPS观测精度的方法．并将GPS应用于某矿区高陡边坡的位移监测中。其包括监测系统、监测方式、监测步骤和监测结果，表明：采用GPS技术进行位移监测，具有精度高、不受气候条件约束及高度自动化等优点，能够为边坡可能出现失稳破坏的部位和变形破坏时同的预测提供必要的前提条件；GPS的数据表明该边坡的变形速率为0．247～0．560mm／d，低于安全极限范围10．0～20．0mm／d，边坡处于稳定状态，通过GPS的数据分析确保了生产的安全．     

一种新型嵌入式安全模块

介绍了作者自主研制的一种新型嵌入式安全模块ESM(Embeded Security Modle)．这种嵌入式安全模块在结构和技术上与美国可信计算组织TCG(Trusted Computing Group)的可信平台模块TPM(Trusted Platform Modle)规范是一致的，并在技术上有所创新．它采用了特殊的安全结构，嵌入式操作系统、多种总线等新技术，它可用作安全计算机的可信构建模块、USB-Key、安全单片机等，而且以它为安全控制模块可以开发出许多信息安全产品．     

宁波金塘锚地走锚断链分析

通过对锚泊船进行受力计算、比较，分析急流、偏荡、浅水效应、锚重等因素与单锚泊船走锚的关系，探寻在金塘锚地及附近经常发生走锚、断链事故的原因，提出了一些防范措施．     

现浇板裂缝产生原因及对策

结合工程事故的实例，分析了现浇板常见裂缝产生的原因，提出了裂缝控制的建议．     

基于园区网络的主动安全模型设计与研究

从现行典型园区网络安全设计方案入手，结合其在安全防范解决方案上存在的问题，提出了一种网络主动安全模型；在全局网络安全认识的基础上．阐述了模型组成部件的功能定义和网络主动安全实现流程；采用统一网络入口认证、网络知识发现及资源有效控制、沟通等手段，解决了现行网络安全设计中存在的恶意攻击行为源头定位困难，以及信息安全司法取证不准、网络资源安全被动防护、网络灾难快速反映能力差等问题．实验结果表明，该设计方案具有较好的可行性和实用性．     

基于社会智能的网络信息流安全环模型

基于人类的社会智能特征，提出了一种网络信息流安全环模型．该模型分4个层次控制网络信息流的动态安全：安全入口层负责用户的身份验证和信息流的安全封装；社会智能层赋予信息流自我感应、自我保护、自我调控的行为能力；事务层实现商业事务的提交、处理、回滚，提供实时保护和在线恢复机制；TCP／IP安全协议层则保障网络信息流的安全传输．这4个层次协同运作，构建了不同等级的安全环．通过数学模型的建立和论证，证明该模型可以有效地保障网络信息流的动态安全，为商业事务的整体安全提供了一种可行的解决方案．     

一个基于SOAP消息的Web服务综合安全模型

在通用Web服务模型的基础上，提出一种基于SOAP（简单对象访问协议）消息的Web服务综合安全模型．其中增加两个功能模块：Web服务安令平台，用来生成管理密钥对、数字证书和Web服务双方的身份认证；SOAP消息安全代理包，用来保障Web服务消息的安全性．利用现有的工具包对模型进行了实现，并在一个具体的系统平台上对其进行了安全性测试，结果表明对SOAP消息加密成功，同时实现了证书、密钥的发放和管理．保证了Web服务在一个安全的环境中运行．     

多应用安全智能卡结构的研究

为克服现有的智能卡及其芯片操作系统所存在的安全缺陷，提出了一种支持一卡多用和用户下载程序的新型安全智能卡结构，增加了硬件中断、操作标志，以及内存地址比较寄存器、程序地址比较寄存器和数据地址比较寄存器，从硬件上为实现多应用的隔离、确保用户程序和数据的安全提供了保证．新型安全智能卡在CPU中增加若干新指令，将操作模式分为系统模式和用户模式，由特殊的状态标志位来决定是用户模式还是系统模式，以实现系统模式和用户模式间的相互转换．指令区分为普遍指令和特殊指令，只有系统程序可以使用特殊指令，并增加硬件中断以防止用户程序访问地址比较寄存器范围以外的地址空间．最后给出了新型安全智能卡的应用实例．     

一种新型安全计算机

在可信计算平台的概念和技术的基础上，介绍了我国自主研制的一种新型安全计算机．这种安全计算机在系统结构和主要技术路线上与美国可信计算组织TCG(Trusted Computing Group)的可信PC规范是一致的，并在技术上有所创新，采用了信任链机制、基于呤和智能卡的用户身份认证、嵌入式安全模块、两级日志、灵活的I／O端口控制等新技术．它适用于电子政务、电子商务及其他对安全性要求高的微机环境，而且以它为平台可以开发出许多信息安全产品．     

内调制光电探测器光生电压的模型分析

针对栅压对内调制光电探测器耦合区的影响，以及横向发生的抽取效应对受光结的影响，从描述探测器的泊松方程、电流方程和连续性方程出发，通过计算输出电流Id，得出了内调制光电探测器受光结光生电压Vop，与栅压Vg的函数关系式，并依此建立了模型，该模型与实验结果基本吻合．由于该模型采用了电路形式，可以用PSPICE等软件进行模拟，这为研究内调制光电探测器的内部性质提供了理论基础．