不饱和类卡宾H_2C＝CNaX(X=F,Cl,Br)的密度泛函理论研究

采用密度泛函理论方法,在B3LYP/6-311+G(d,p)水平上研究了不饱和类卡宾H2C=CNa X(X=F,Cl,Br)的结构.结果表明,不饱和类卡宾H2C=CNa X(X=F,Cl,Br)各有2种平衡构型,其中具有三元环结构的构型能量低,是其存在的主要构型.预言了最稳定构型的振动频率和红外强度.计算得到了最稳定构型分子内氢迁移反应的过渡态.讨论了卤原子对不饱和类卡宾H2C=CNa X的影响.     

基于Modbus-RTU通讯方式在AI集群建筑中的设计与实现

为了实现多楼宇之间的集群化通讯控制,减少人工作业的强度。文中采用基于Modbus-RTU传统通讯方式,建立以楼宇为通讯单元和楼宇内多层集成化的新通讯模式。首先,实现被控楼宇内多层温控风机盘管的集中控制,然后实现多楼宇间群控功能。结果表明:新模式的使用比单层控制的传统通讯模式节约了遍历面板采集数据的时间。本研究对加快中国AI建筑的信息化转型以及进一步完善AI建筑集群化控制具有一定的参考价值。     

La$_{{1-x}}$Sr$_{x}$TiO$_{3}$ 薄膜的高通量 X 射线衍射

高通量材料合成方法和高通量材料表征手段区别于传统低效率的 "试错法"材料发展方法, 极大地加速了材料科学的变革和发展. 通过设计程序进行了高通量 X 射线衍射实验, 在保证数据分辨率条件下, 高效地表征了 La$_{1-x}$Sr$_{x}$TiO$_{3}$ 薄膜上多个数据位点的晶体结构, 验证了其成分的连续变化性质, 为后续开展更多类型的高通量 X 射线衍射实验提供了指导.     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

关于三网合一技术

介绍了我国现阶段并存的三网(电信网、有线电视网和计算机互联网)的特点与现状，分析了三网在融合过程中需要解决的一些不可避免的问题，以及三网合一的技术基础和促进三网合一的有利因素，提出了三网合一是现代通信和计算机网络发展的必然趋势，以及在三网融合的过程中还将有一个相互渗透交叉、相互竞争、共存发展过程的观点。     

X射线反射强度与温度的关系

由实验测出铝的X射线反射谱线的强度,得到其反射强度随温度变化的曲线,并从理论上对实验结果作了分析,得到了X射线反射强度随温度的增高而减弱,而谱线的锐度却不随温度升高而受到损失的结论.     

PLC与PC机通讯在纺织车间环境测控系统中的应用

随着纺织工业的发展，对纺织车间的环境指标要求越来越高，而其中的关键是温湿度的调节。本文叙述了纺织车间环境自动检测控制系统的设备组成和工作原理；重点介绍了PLC与上位机的通讯协议和PC机串行通讯软件的设计。     

MPEG-1的索引系统设计与实现

文章提出一种对MPEG-1静态文件进行索引的方案。该方案把MPEG-1静态文件分解成独立的系统信息、音频流和视频流,并建立索引树。根据索引可以快速地对音频流和视频流进行搜索和定位,还可以按照流媒体传输规则打成RTP包,并介绍了一种简便易行的视频容错策略。