二极管侧面抽运薄片激光器耦合系统研究

设计了二极管侧面抽运Nd:YAG薄片激光器,耦合系统由消像差透镜组和空心光波导组成,对二极管快轴和慢轴方向的抽运光进行压缩和均匀化.采用光线追迹法,同时考虑二极管在快轴和慢轴方向的发散特性及薄片侧面的散射特性,模拟并分析了光线在耦合系统内的传输和薄片内抽运光分布的规律.模拟结果表明耦合系统具有98.1%的耦合效率,同时薄片内具有理想的抽运光分布.     

单模光纤剖面参数偏离对色散系数影响的简化计算

本文扩充了G. Trommer的结果,提出了单模光纤在芯径,相对折射率差偏离标准设计值时色散系数谱的简化计算方法。     

Cit-CSP及其应用

介绍了Cit-CSP--Cit/E-commerce信息安全保障平台子系统，并阐述了它所提供的消息摘要、块加密、加密(公钥)、签名和MAC等功能和服务。     

ADSL技术与煤矿井下ISDN信道

不对称用户线（ＡＤＳＬ）技术是目前实现宽带信息到用户的一种新技术，文中介绍ＡＤＳＬ技术的基础上，结合煤矿井下信道带宽特点，分析了将ＡＤＳＬ技术用于煤矿井下综合业务数字网的可行性。     

256比特的混沌分组密码

由于密码分析研究的进展及DES自身的弱点,原64比特的DES将不能作为数据加密的标准算法而长期存在。在原来工作的基础上,本文提出了256比特的分组密码方案。密码算法由基于混沌映射的数字滤波器构造。     

数字通信在煤矿井下应用前景的研究

数字通信抗干扰能力强，在煤矿井下有广阔的应用前景。比较增量调制（ＯＭ）和脉码调制（ＰＣＭ）的抗噪声性能及实现的难易程度，认为ＤＭ更适用于煤矿井下。通过对通信电缆传输数字信号分析，可以确定通信电缆传输数字信号无中继距离可达１０ｋｍ。若进一步降低码元速率，数字调制可应用于感应通信或载波通信系统。     

基于装配的并行设计辅助系统的研究

基于装配的并行设计辅助系统的研究上海交通大学计算机系潘东，张申生，步丰林一、概述许多发达国家对２１世纪的制造业发展战略进行了研究，其中包括著名的计算机集成制造系统（ＣＩＭＳ）、智能制造系统（ＩＭＳ）、精良生产（ＬｅａｎＰｒｏｄｕｃｔ）、灵敏制造（Ａｇ...     

基于SaaS的矿震远程预警系统关键技术初探

现有的矿震预警系统都是以独立形式运行于各矿区,相互之间没有关联,重复投资严重,且矿震数据海量繁杂,仅依靠现场分析无法满足实时预警需求。文章基于感知矿山物联网示范工程(夹河矿),对采用云计算SaaS模式构建的矿震远程预警系统关键技术进行了相关研究:首先给出了系统整体框架,然后重点探讨了该系统所涉及的三个关键技术,包括基于SaaS的矿震预警专家分析软件架构、多源SaaS数据库构建技术以及基于MapReduce的并发数据过滤接收技术。现场应用表明,所构建的系统已基本具备全国统一远程矿震预警系统的架构,能满足多矿区远程矿震预警的基本要求。     

液压支架工作状态模糊识别系统研究

针对目前综采工作面液压支架压力监测系统只能监测综采工作面压力,不能对液压支架工作状态进行识别的问题,设计了一种液压支架工作状态模糊识别系统。该系统可对现有的综采工作面液压支架压力监测系统监测到的压力数据进行模糊识别,根据模糊识别输出值即可判断液压支架的5种工作状态,即降架、移架、升架、增阻、卸压保持;当液压支架处于增阻工作状态且增阻时间过长时,该系统可及时通知液压支架操作工增大液压支架压力,辅助实现顶煤破碎。测试结果验证了该系统的可行性。     

Combining ODM and OCL in ontology verification

In order to automatically find and conveniently rectify the structural conflicts appearing in a new ontology model version after a series of ontology evolution,we propose an ontology model verification approach,in which the object constraint language (OCL) and an ontology definition meta-model (ODM) are used to complete the ontology verification.The ODM is composed of the ontology related elements and the definition rule related elements.The OCL is employed to describe the elements in the ontology definition meta-model:OCL extension for the ontology related elements,and OCL extension for the ontological design patterns.All of the above OCL rules will describe the constraint relationships between ontology elements.Associated with an example,the application of the ontology model verification approach based on OCL and ODM is introduced.Consequently,the conflicts happened in the ontology changing and evolution can be easily verified and rectified through this approach.