三值光学处理器的数据位管理理论和技术

数据位众多是三值光学计算机的突出特点之一，如何有效地管理众多的数据位成为计算机科学领域的新课题．本文通过继承、更新、增补、归纳和梳理相关的研究成果，形成了比较系统的数据位管理理论和技术架构．这个框架包括下列概念和技术：1）数据位管理基本单位“算位”和“算道”，算位用于标记简单数据类型的数据位，算道用于标记复合数据类型的数据位．2）“计算量指标”用于标示一个任务的计算量规模，对大规模、中规模和小规模的任务、系统将采取不同的管理策略．3）“数据位物理形态”指出在数据传送的各个阶段数据位所占用的具体器件．4）“坏位替换”技术实现了用预留的冗余数据位及时替换失效的数据位，依靠这项技术，三值光学计算机具有对数据位软硬件故障的容错能力．5）“整体重构”技术采用定时重构所有数据位的策略，显著减少了重构过程对计算过程的打断次数．6）“数据位分配技术”将对不同规模的任务采用各不相同的规划策略．另外，文中还讨论了用这个理论指导设计三值光学计算机第三个实验系统（SDll）硬件的情况．SDll的设计目标是为探索如何应用三值光学计算机提供实验平台．SDll的光学处理器基本模块有1024个数据位，还有128个冗余数据位，而一个光学处理器可以包含16个基本模块，所以，一个SDll最多可以有16384个数据位，并有2048个冗余数据位．     

三值光学计算机解码器的理论、技术和实现

经过十余年发展，三值光学计算机系统的解码器已经形成了一个比较完整的理论．本文从解码器的实践中抽象出三值光学计算机解码器的理论结构，并介绍地址标定、阈值设定、偏色纠正、坏点剔除和目标画面判断等关键技术的要点，阐明了这些技术的内在联系．通过对实用解码器的描述，介绍了从解码器的理论结构到实用结构的合理简化和各项技术的实现方案，以及解码器的工作流程．     

Lukasiewicz命题逻辑中公式的Г-真度理论和极限定理

对“Lukasiewicz他值命题逻辑中公式的真度理论和极限定理”进行了再研究．（1）在Lukasiewicz n值命题逻辑中，给出了真度的赋值表示形式，该形式从赋值角度直接反映了公式的真度表示公式为重言式的隶属度的实质；（2）在Lukasiewicz n值命题逻辑中，利用真度的赋值表示形式提出了公式关于局部有限理论Г的Г-真度概念，给出了公式的Г-真度的几种等价形式及性质；（3）得到了Lukasiewicz n 值命题逻辑中关于Г-真度理论的极限定理；（4）给出了Lukasiewicz连续值命题逻辑中公式的Г-真度定义的合理形式，以及Lukasiewicz命题逻辑中真度的对称性定理；（5）在Lukasiewicz n值命题逻辑中，利用极限方法和Г-真度的赋值形式对公式关于无限理论Г的Г-真度问题进行了讨论．     

网格服务链模型的验证分析技术及应用

确保网格应用中大规模资源共享和复杂任务处理的正确性与可靠性是一项重要的工作．文中从形式化方法的角度出发，提出了基于状态Pi演算的网格服务链模型作为对网格中服务协作与组合进行建模和分析的理论工具．其中，状态Pi演算针对Web服务资源框架（WSRF）的思想，协调了系统状态与行为间的关系，扩展了Pi演算对系统状态的全生命周期管理能力．在此基础上，进一步结合了模型验证技术对网格服务链进行设计和运行时的逻辑性质分析．通过材料形变与断裂过程动态分析的网格应用案例，展示了采用上述方法对网格应用进行需求验证和可靠性分析的有效性．     

数字图像纹理细节的分数阶微分检测及其分数阶微分滤波器实现

文中提出并论述数字图像纹理细节的分数阶微分检测及其分数阶微分滤波器实现．首先，分别从信息论和动力学两个角度深刻阐述了分数阶微积分的几何意义和物理意义．然后，提出并论述了分数阶驻点、分数阶平衡系数、分数阶稳定系数、分数阶灰度共生矩阵的概念与理论，并详细论述了分数阶灰度共生矩阵对图像纹理细节特征的检测．然后，论述了在X轴负、x轴正、Y轴负、Y轴正、左下对角线、左上对角线、右下对角线、右上对角线8个方向上的数字图像任意分数阶n×n的分数阶微分掩模的构造及其数值运算规则．最后，在此基础上，提出并论述了数字图像分数阶微分滤波器的理论与构造．仿真实验分别从定性和定量两方面证实了，对于纹理细节信息丰富的图像信号而言，分数阶微分具有非线性增强图像复杂纹理细节特征的独特优势与良好效果．     

交通信号PLC控制触摸屏动态显示系统

本文基于可编程逻辑控制器（PLC）和触摸屏，设计了一个城市道路交通信号动态显示系统。该系统的特点是组合应用了PLC和触摸屏，栗用PLC对交通信号进行控制，同时将交通信号的实时状态显示在触摸屏上，并具有在线修改信号配时参数的功能。该系统能对不同相位的信号交叉口的信号进行控制，同时具有信号的协调控制功能。文章介绍了系统的设计过程，论述了交通信号PLC控制程序的设计步骤以及相应的触摸屏界面的制作方法，并给出了典型的PLC控制子程序。     

基于挑战——响应的安全协议分析

安全协议的本质是协议主体采用密码学方法通过挑战一响应来对协议其他方的存在做出判断，同时完成一些数据如会话密钥的协商．大部分国内外现有的分析方法或者采用状态检测等定理证明技术，或者采用认证逻辑等推理技术，存在着分析能力与可操作性之间的矛盾．为了解决这个问题，文中提出一种新的安全协议保密性和关联性的分析方法，该方法基于线空间模型理论给出了协议保密目标和认证目标的形式化定义，采用认证逻辑作为基础分析手段．保密性分析被分解为显式泄密和隐性泄密两种情况，其中隐性泄密分析依赖于关联性的判断，而关联性的分析被总结为Strand的存在关系和参数一致性分析的问题．新的分析方法既具有线空间模型的分析能力，又具有认证逻辑的易用性．     

分布式环境中服务组合的迭代选择算法

在面向服务的体系结构（service oriented architecture，SOA）中，服务组合是一种极有前景的创建新服务的方式．然而，服务组合技术尚有一些瓶颈在阻碍着其广泛运用．组合服务提供商面临的一个难题是如何跨越多个不同的自治网络和商业域选择一组服务实例来实现组合服务，并且向用户提供端到端的服务质量（quality of service，QoS）保障．文中提出一种迭代选择算法用于质量驱动的服务组合．该算法运行于一个P2P（peer-to-peer）的服务执行环境——分布式智能服务执行（distributed intelligent serviceexecution，DISE）环境．该迭代选择算法最显著的特点是既可以运行于中心式的QoS注册系统，也可以运行于分布式的QoS注册系统．在文中的QoS模型中，网络状态作为可选项在选择算法中考虑．由于该算法按照组合服务逻辑执行顺序迭代的选择服务，所以该算法可以在组合服务执行之前或者组合服务运行时执行，不需要作任何更改．在分布式服务执行环境上的一系列实验表明，文中提出的算法可以提供极好的选择结果，并且具有很好的性能．     

二元量子码的截短码和扩展码的构造

本文提出了一类从包含其对偶码的经典线性码[n，k，d]2到纯量子码[In—i，2k—n＋i，d—i]]2（0≤i≤d-2）和[[n＋1，2k-n-1，d＋1]]2（或№＋1，2k-n-1，d]]2）的基于矩阵初等变换的构造方法．基于初等代数理论，设计了其构造体系；基于检验矩阵与线性码最小距离之间的关系，分析了其纠错性能：基于稳定子体系，构建了其编译码网络．该方法正确可行的构造性证明简单，易懂，易于计算机及各种硬件系统实现．理论结果显示出该方法对一类量子码的构造非常实用．     

一种可重构模块机器人中心构形的选择方法

可重构模块机器人具有多种构形以适应不同环境和任务的要求，构形的多变增加了构形研究的难度．在可重构模块机器人的众多构形中，中心构形作为可重构模块机器人的首选构形或基准构形，对系统的实际应用有重要参考价值．文中提出了一种在所有构形中选择一个中心构形的方法．根据构形之间可以相互转化的拓扑特征，利用网络图中的基本思想和原理对可重构模块机器人的构形进行建模；相应定义了构形转换耗值矩阵和构形中心因子，根据最大构形中心因子可以对中心构形进行选择．以中国科学院沈阳自动化研究所研制的三模块可重构机器人AMOEBA-1为例，利用仿真计算的结果对机器人9种构形的中心因子进行计算和比较，验证了该方法的可行性．最后根据构形邻接数，给出了中心构形选择方法的应用举例．此方法还可以适用于其他可重构模块机器人系统中心构形的选择．     

立方烷电子结构和光学性质的研究

为了全面了解立方烷的性质，本文利用CASTEP程序包基于密度泛函理论的交换关联函数（GGA）方法对立方烷的电子结构和光学性质进行研究。在计算的过程中首先优化立方烷的晶体结构并与实验值进行对比，结果符合很好。立方烷的能带带隙为5．453CV，吸收系数最大峰值为2．509×10^5cm^-1.然后又研究光学性质的吸收谱，反射谱和能量损失函数。     

进位直达并行三值光计算机加法器原理

目前液晶单元从不透光状态变成透光状态需要时间50~100 ms, 本文中推证出: 光通过液晶器件的时间约为1.14×10^−5 ms, 利用这两个时间的巨大差异, 提出了用液晶构成“进位直达”通道来克服进位串行延时的原理, 在进位直达通道中各个进位链的进位直达过程自动并行. 据此完善了用液晶构造三值光计算机加法器的理论, 并设计了这个加法器的理论光路. 同时给出了一个实现进位直达并行器件的方案. 进位直达并行原理以物理方式解决了三值光计算机加法器的进位延时难题. 也为其他种类的光计算机加法器研究提示了新思路.     

一类三项式形式适合软件实现的σ-LFSR

介绍了有限域上一类新型线性反馈移位寄存器（LFSR），σ-线性反馈移位寄存器．σ-LFSR以字结构作为运算单元，能充分利用现代CPU的基本操作，具有结构简单、适合软件快速实现的特点．通过分析，找到了一类能达到最大周期、形式简单且适合软件快速实现的σ-LFSR，给出了这σ-LFSR的搜索算法，为现代基于字序列密码驱动部分设计提供了新的可选方案。     

空间进动锥体目标窄带雷达成像算法

弹道中段目标成像技术是弹道导弹防御系统的核心技术．由于弹道导弹中段飞行过程中具有空间进动形式，宽带ISAR成像雷达无法利用统一的相位补偿函数进行相位补偿，导致成像结果的模糊．本文提出一种利用窄带雷达实现空间进动锥体目标成像的算法，算法采用高分辨时频分析技术获取进动目标散射中心多普勒历程；采用广义Radon变换理论，提取目标散射中心的时频多普勒曲线参数，在参数空间内实现目标散射中心的二维重构．暗室测量数据的试验结果表明，算法可有效实现对进动目标的窄带雷达成像．     

基于FTA和模糊集理论的设备可靠性研究

应用模糊故障树（模糊集合论和故障树相结合）分析的方法研究了CXT设备Handler模块的可靠性。以Handler失效为顶事件，建立此模块的系统故障树，并采用上行法定性分析找出该故障树的最小割集。传统故障树定量分析时需要得到各底事件的概率精确值，而实践中，由于底事件的发生概率具有随机性和模糊性，难以获得精确的概率值，为克服传统故障树这一不足，引入模糊数（通常采用对称三角模糊数）来表示底事件的发生概率，并且按照模糊逻辑门的运算法则定量计算，从而得到故障树顶事件及各中间事件的发生概率（亦为区间数），最终找出了Handler的薄弱环节并计算出Handler的系统不可靠度。     

超高强度活性粉末混凝土的韧性与表征方法

通过不同钢纤维掺量RPC200的三点弯曲和断裂实验，研究了RPC的韧性机制与韧性特征，分析了梁不同变形方式下钢纤维对提高RPC抗裂能力、耗能能力和韧性所起的作用．根据RPC200初裂变形、峰值变形及其增幅随钢纤维含量增加而变化的事实，以及梁变形方式对初裂和峰值行为的影响，提出用素RPC200峰值变形作为初始参考变形来计算RPC200韧性．针对RPC200的P-6和P-CMOD响应分别定义了韧性指标T2（n-1）（n）和FT2（n-1）（n），该指标以理想弹塑性材料的韧性水平2（n-1）为基准，表述了不同变形方式下相比理想弹塑性材料RPC的韧性水平．分析表明：韧性指标T2（n-1）（n）可以反映整体变形时钢纤维对提高RPC韧性的作用，但指标T2（n-1）（n）放大了钢纤维对提高RPC峰值后韧性的作用，未能反映出钢纤维对提高初裂至峰值阶段RPC韧性的贡献．韧性指标FT2（n-1）（n）反映了变形集中在断裂面上时钢纤维对阻滞RPC基体裂纹扩展而吸收能量的作用，较好地反映出钢纤维对提高RPC初裂至峰值阶段以及峰后阶段韧性的贡献．本文方法直观地反映了RPC的韧性特征与韧性水平，为建立统一的RPC韧性指标体系和方便工程应用提供了参考．     

北京温榆河浮游藻类与水质分析

2006年的监测结果显示，温榆河CODM。BOD5、NH4-N、TP和TN含量大于我国地表水环境质量V类标准的1．3～11．7倍，主要污染物为总氮、氨氯和总磷；五项指标（SS、SD、CODMn,TP、TN）的TSIM值为75．11～119．45，属于富营养型水体。温榆河4个监测断面共检出浮游藻类6门148种，绿藻种类最多（48％），其次是硅藻（20．9％）、蓝藻（18．2％），优势种群均为富营养型水体指示种。温榆河浮游藻类密度大，平均为3179．01×10^4 cells／L，绿藻占优势（75．6％），蓝藻次之（14．6％）。     

深蚀刻二元光学技术制作准分子曝光系统均匀器

利用深蚀刻二元光学理论和技术设计并制作了用于准分子激光器曝光系统的深蚀刻二元光学均匀器。与原来使用的积分均匀器（石英棒列阵）相比，该均匀器具有重量轻，安装调控方便，光能利用率高，光束均匀性好等特点，对该器件的设计性能和参数进行了研究、分析和计算机模拟；在高精度台阶仪上对所制作的深蚀刻二元光学均匀器进行了精密检测；用深蚀刻元件制作误差理论并引入“边界误差”概念，对元件的表面浮雕检测结果进行了深入的分析，理论与实验结果符合得很好。     

一种基于能量的自适应正交FRIT及其在图像去噪中的应用

研究线奇异特征的高效表示．揭示了“环绕”现象和FRAT系数分布特性的关系，进而在考察按列FRAT重构过程相关特性的基础上，提出一种基于能量的自适应正交有限脊波变换（energy-based adaptiveFRIT，EFRIT）．非线性近似的实验表明该方案相对既有的FRIT及DWT具有更好的能量集中特性，并有效地降低了“环绕”现象的影响．我们进一步对正交FRIT Gauss去噪问题建模，提出了一种基于EFRIT的按列改进闽值．实验结果表明，采用改进阈值EFRIT的重构图像有更高的信噪比改善，视觉效果也更好．     

基于熵增原理抑制磁流变抛光中高频误差

采用信息熵作为去除函数驻留点随机分布的测度，基于熵增理论设计了局部随机加工路径，有效抑制磁流变抛光的中高频误差．在自研的KDMRF-1000F磁流变抛光机床上进行实验研究，局部随机路径加工区域的中高频误差明显小于光栅扫描路径加工区域．直径为98mm的平面镜，一次迭代修形（7．46min），面形误差峰谷值提高到0．0622（2=632．8nm），均方根误差提高到0.010λ,且未见明显的尖峰状中高频误差．实验结果表明，基于熵增原理设计的局部随机路径能有效地抑制磁流变加工的中高频误差．