欧式看跌期权定价问题的紧致有限差分格式

针对单个的Black-Scholes方程,提出一种紧致差分格式.首先,利用指数变换消去方程中的空间一阶导数;接着,在时间方向上采用CN格式,空间二阶导数采用四阶Padé逼近,构造精度为O(Δt~2+h~4)的紧致差分格式;然后,利用一种较为不同的离散能量法分析差分格式的稳定性和收敛性;最后,通过数值算例验证理论分析的有效性.     

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

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

3维Maxwell方程局部1维多辛格式的能量恒等式

在理想导体边界条件下,对3维Maxwell方程的局部1维多辛Preissman格式的能量守恒性质进行研究.运用能量分析法推导了2个能量恒等式,这些恒等式说明了给出的格式在所定义的离散范数下是能量守恒和无条件稳定的,数值算例验证了结论的正确性.     

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

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

错觉摄影:都市里的“大人国”

<正>"错觉摄影"是20世纪末兴起的观念摄影中的一类,艺术家通常以格式塔、错觉心理学的原理进行创作。在摄影里,通过摆置设局,自己制造所要拍的场景,在一个特殊的视点进行拍摄来质疑现实,探讨视觉语言的可能性。在后现代拟像视觉时代,数码的泛滥及视觉文化快餐使得一些艺术家重新考虑摄影和视     

关于三网合一技术

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

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

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

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

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