模态转移系统的三值逻辑模型检验

分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题.提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法,经过转换后可用现有的模型检验技术进行模型检验.用该算法转换后,状态数、转移数和原子命题数目与原模型呈线性关系,没有增加模型检验的复杂度.     

按沉降控制设计不均匀软土上的复合桩基I

为了经济有效的解决在深厚软土地基上地基变形过大,导致建筑物大量沉降,造成房屋开裂的工程问题,按照线弹性本构模型,提出了的一种关于复合桩基沉降的改进计算方法;结合具体工程实例,依据控制等沉降效应的原则,给出了一种桩基-复合桩基的地基处理方案,比较成功地解决了带有浜填土区段的软土上砖混住宅楼设计的难题.多年实测表明,计算结果比较符合实际.     

“钢琴神话”在“珠江”

2005年4月20日,中国中央电视台CCTV-2在《经济半小时》的《品牌中国》栏目里,主播人用数分钟时间, 向中国和世界观众介绍珠江钢琴集团公司:这一个国有企业秉承了自强不息、奋发向上、百折不挠的“珠江”性格, 编写了一幕“东方乐器制造业”的神话,成为全球最具发     

8K电力机车万吨重联故障诊断系统的设计与实现

通过对8K电力机车万吨重联故障诊断系统的整体结构的分析，在对8K电力机车进行无触点改造之后，实现了以逻辑控制单元（LCU）和车载计算机为核心、以485通信总线和232通信总线为纽带的8K电力机车万吨重联故障诊断系统的设计；系统集机车运行状态显示、故障分析和诊断、故障信息转储与地面分析等功能为一体，给出了8K电力机车万吨重联故障诊断系统的网络结构、机车信息采集与状态显示、机车故障诊断与分析、机车信息转储与地面分析，并详细论述了系统机车重联网卡的设计与实现、系统通信管理等方面的内容；8K电力机车万吨重联故障诊断系统已在大同西电力机务段的2号和4号8K四节重联电力机车上成功试运行。     

生物体内硒蛋白的计算机识别方法

硒是人体必需的微量元素,在人体内主要形成硒蛋白。硒蛋白的计算机识别,不仅能预测生物体中硒的形态,而且可为硒的生化性质研究提供理论基础,以阐明硒的生物功能。本文以斑马鱼为研究对象,结合已有生物分析软件,采用PERL语言编程,建立了计算机识别硒蛋白的新方法。它根据硒蛋白基因的判断标准、以目前公布的不同物种的基因组注释信息为基础,将以TGA码终止的基因的再分析、3′-UTR区域中硒代半胱氨酸插入序列(SECIS)结构的检索、同源相似基因中硒代半胱氨酸/半胱氨酸的比对,以及硒蛋白基因编码区的识别等步骤,从已注释的基因组中用计算机寻找和鉴定硒蛋白的形态。当前,已有一些识别硒蛋白的方法,但只能识别专一物种,而本文提出的方法,克服了该缺陷,而且对计算机运算速度和容量无苛刻要求,尤其是发现不同物种新硒蛋白方面有优势。本方法普遍适用于不同物种基因组中,硒蛋白的计算机预测与识别。     

Facade模式在JDBC编程中的应用

针对实际开发中子系统日益增长的复杂度，以及客户端与子系统间耦舍度过高的问题。提出了采用设计模式的思想来解决这个问题，并主要介绍了其中的Facade设计模式，以及它在Java数据库连接应用程序接口（JDBC API）编程中的应用。通过采用设计模式，可以有效降低系统设计的复杂度，在一定程度上简化了用户接口，使系统结构更加简明、清晰、易于扩展，充分显示了在实际应用中采用设计模式的优越性。     

电路原理图纸识别系统研究与实现

本文讨论了纸质电路原理图的自动输入和识别,主要理解图纸字符、分立元件和相互间的拓扑关系。首先对扫描得到的光栅图像进行了字符的模式分离,采用8x8网格抽取63种字符的特征,并采用BP神经网络进行识别。提出探索试探法快速跟踪直线/曲线;用特征匹配方法混合识别导线和部分元器件;提出了X/Y坐标正交投影的方法识别元器件,提高了识别速度;而右手边缘跟踪的识别方法抗噪声的性能较强。最终将字符、导线和元器件符号三元素有机结合,得到规范化的图纸输出。     

羟基偶氮酯合成双端羟基聚苯乙烯动力学研究

采用偶氮二异丁腈、乙二醇为原料合成2,2-偶氮二异丁酸二(2-羟乙基)酯,并以此作为引发剂,合成双端羟基聚苯乙烯。利用死端聚合法测定了引发剂的引发效率,研究了聚合反应动力学,确定了在60℃下甲苯溶液中聚合反应的各种链转移常数值。结果表明,引发效率为0.76,引发活性较高;聚合速率Rp与单体浓度[M]和引发剂浓度[I]0.43成正比。计算出聚合反应表观活化能为75.3kJ/mol;引发剂链转移常数CI为0,溶剂链转移常数CS为1.94×10-3,60、80℃的Kp/Kt1/2值分别为2.26×10-2　(L/mol·s)1/2和3.78×10-2　(L/mol·s)1/2。     

视频数字信号处理芯片XY-VDSP的并行性分析

视频数字信号处理芯片XY VDSP是采用阵列结构的SIMD处理机。XY VDSP在硬件结构和指令级上采用高度并行,使其可以高效处理视频应用。本文将分析XY VDSP的并行性实现,并以一个矩阵矢量乘加的例子作为说明。     

安全电子支付系统的实现研究

本文基于一个新型电子支付协议，提出实现系统结构，对实现过程中的一些关健技术进行了研究，并给出系统运行实例和结果。