网络化多媒体军事信息查询系统的设计

本文从军事信息的组成入手 ,分析建立多媒体军事信息网络化查询系统的优点及其实现方法 ,并简要地论述其扩展性     

云南省军区电话费催缴/查询系统的设计与实现

本文结合军用电话制度改革情况,从如何改进军用电话服务质量,树立良好服务形象和提高工作效率出发,介绍我们研制开发的一种实用的话费催缴／查询系统的设计原理及实现方法,以供电话业务管理部门借鉴和参考。     

GF(q)上的[d,k]—自控序列

本文将R.A.Rueppel文[1]中GF(2)上的[d,k]——自控序列模型推广到一般有限域GF(q)上。讨论了GF(g)上任意n级M序列或n级收缩M序列的[d,k]——自控序列的平移等价性和周期特点。     

基于最小邻近准则的故障类型识别方法

对设备的多故障类型自动识别问题是设备进行自动诊断的难题之一。讨论基于信号频域特性的故障信号特征提取方法,利用这种方法可以把统计学的聚类分析技术用于故障类型识别,建立起一个由信号特征向量构成的向量空间,以最小邻近准则作为故障类型识别的依据。     

节省机时的键盘中断和动态显示方法

本文论述了一种占用微处理机端口较小.节省机时的键盘输入和显示方法.在PI口部分口线上扩展16键中断方式键盘输入和动态的LED显示器.给出了硬件原理图和主程序、支程序和键盘中断服务程序流程图.     

极大单调算子零点的逼近问题

设H为实Hilbert空间,C为H的非空闭凸子集,T:C→2H为极大单调算子,假设S(T)={x∈H:0∈Tx}≠Φ。 xk∈H,βk>0,求 xk及ek满足( )　　xk+ek∈ xk+βkT( xk),‖ek‖≤ηk‖xk- xk‖, k≥0,其中,ηk≥0,supk>0ηk<1,βk≥β>0。设PC:H→C为H到C上的最近点投影算子,定义xk+1=PC( xk-ek),k≥0,证明了若T满足(S)型条件,则{xk}k≥0强收敛于T的某个零点。     

关系数据语义集成中的查询语言转换方法研究

为解决关系数据语义集成中语义查询语言和关系模型查询语言的转换问题,定义了SPARQL(Simple Protocol And Rdf Query Language)图模式的关系代数和五种基本运算的查询语义,给出了该关系代数与SQL语句之间的对应关系,在此基础上,提出了SPARQL到SQL的查询转换算法,并通过实例进行了说明。