CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。     

高频大电压标准器

主要阐述了该标准器的基本原理,从理论上对结构补偿法进行了分析和数学推导,当R/Z_o=1.9～2.0之间时,具有最小的交直流差。设计了匹配的同轴热电转换标准器;进行了误差分析;给出了试验结果,说明该标准器交直流差的重复性和复现性是好的。     

论贾谊的教育思想

贾谊是我国古代比较系统地提出教育思想的人之一。他的教学内容以儒家礼教为中心，以道德教育为目标，从而建构了他的教育思想的基本框架。他首倡胎教，他总结的一些经验和理论与现代的胎教思想不谋而合。他强调环境对教育的重大影响，认为良好的环境有利于提高品德，增长学识。在教与学这个矛盾中，他强调教师的积极主导作用，并明确指出了教师的职责和任务。     

胶州湾环境污染—卫星遥感信息分析

陆地卫星主题绘图仪(TM)图象和我国国土普查卫星全景相机照片解译分析与现场调查表明,胶州湾东岸工业废水污染相当严重,主要污染源集中在海泊河、李村河、娄山河以及沧口区沿海一线,污染水带宽达4～7km,在落潮流携带下扩散至湾口外海。由青岛碱厂排污形成的“白滩”污染区现有面积为0.53km~2。青岛市大气污染严重,源自市区的烟羽宽达14km,顺风飘逸远达30km,势必造成酸雨等灾害。     

人体分层媒质内的微波聚焦场

本文是近年来在微波聚焦热疗人体深部癌病灶研究工作推动下完成的。文中给出了光学及电磁学界感兴趣的某些结果。在人体分层媒质前的一有限口径处,置一时谐电流分布,在每一分层内的微波传输场及反射场可利用传输矩阵及并矢格林函数给出计算结果。     

卡尔曼滤波动态优化及其在遥控机器人空间实验中应用

本文是在文献[1]的基础上,讨论遥控机器人追踪自由飞行目标物的动态性能问题。应用黄金分割法和元素交替极小化法对扩展的卡尔曼滤波初值条件进行搜索并获得优化解。仿真结果表明优化方法简单可行,优化解满足系统性能要求。     

液冷头盔致冷效能的医学研究

在45℃高温条件下,应用液冷头盔给10名被试者的头颈部致冷,散热效能较高,可带走安静时30.9％～48.3％的代谢产热。降低身体的热蓄积,减少出汗,减慢心率、直肠温度和皮肤温度的上升速率。对头颈部致冷可降低身体的热紧张度50％～70％,明显改善对温热的舒适感觉。同时表明,致冷液温、流量及液流走向,对致冷效能均有显著影响。为液冷头盔及致冷装置的设计,提供了医学实验依据。     

第二类对称三对角矩阵逆特征值问题及其应用

本文研究如下问题: 问题Ⅰ 给定n×2实矩阵X和实对角矩阵A=diag(λ_1,λ_2),求第二类n×n实对称三对角矩阵T使得TX=XA。 问题Ⅱ 给定第二类n×n实对称三对角矩阵(?),求第二类对称三对角矩阵(?)使得,其中S_T是问题Ⅰ的解集合。 本文给出了问题Ⅱ有解的充分必要条件,研究了问题Ⅱ解的存在性和唯一性,给出了问题Ⅰ和问题Ⅱ解的表达式,描述了求解问题Ⅰ和问题Ⅱ的数值方法,讨论了数值方法的应用,并给出了一些数值例子。     

质量矩导弹的神经网络及自适应非线性控制

本文对质量矩控制导弹的动力学方程简化和控制系统的设计进行了研究。详细阐述了所提出的控制方法，介绍了径向基单隐层神经网络进行误差补偿的算法原理，用Lyapunov理论证明了所采用方法的稳定性。在给出了质量矩导弹的六自由度动力学方程和简化后的方程后，用所提出的方法设计控制系统。通过仿真分析，得出了本文所提出的方法具有较好的误差补偿能力的结论。     

浅析固定资产税金的计算

本文主要对固定资产税金计算中存在的问题入手，继而阐述固定资产各种交易中所涉及的税种以及税金的计算步骤，目的在于揭示固定资产具体税种税金计算的过程。