关于Z[√c]环

给出Z[√c]环的定义,并定义Z[√c]环上的元素范数;讨论Z[√c]环关于任意主理想的商环的个数,进而得到Z[√c]中主理想是极大理想的充要条件,特别在Z[√c]是主理想整环的条件下,得到了Z[√c]的元素是素元的充要条件.     

OWL-S到Z规格说明的转换

OWL-S是重要的Semantic Web Service描述框架,但缺乏有效的形式化验证工具. Z语言是基于集合论和一阶谓词逻辑的形式化规格说明语言,比OWL-S具有更强的表达力. 该文研究基于Z的OWL-S形式化方法,提出从OWL-S到Z规格说明的模型转换规则. 基于这些规则,用Z定义OWL-S中概念的形式化语义,并开发了从OWL-S描述到Z规格说明的自动转换工具OWLS2Z.     

关于Z[c~(1/2)]环

给出Z[c_(1/2)]环的定义,并定义Z[c_(1/2)]环上的元素范数;讨论Z[c_(1/2)]环关于任意主理想的商环的个数,进而得到Z[c_(1/2)]中主理想是极大理想的充要条件,特别在Z[c_(1/2)]是主理想整环的条件下,得到了Z[c_(1/2)]的元素是素元的充要条件。     

Z26G型转向架与Z26型转向架的区别及检修注意事项

通过简单介绍铁路机械冷藏车转向架在铁路冷藏运输中的重要作用和目前在线运行铁路机械冷藏车转向架的类型,重点论述Z26G型转向架与Z26型转向架的不同之处,以及在检修过程中应注意的事项,为现场生产工人和工程技术人员提供一些参考建议。     

关于n√R（Z）LnQ（Z）型多值函数单值分支问题

本文利用连续变化法讨论了n√R（Z）LnQ(Z)型初等多值函数的单值分支问题，给出了该类问题支点判别方法，并讨论了其单值分支的具体问题。     

关于(R(Z))～(1/n)Ln Q(Z)型多值函数单值分支问题

本文利用连续变化法讨论了 n R(Z)LnQ(Z)型初等多值函数的单值分支问题 ,给出了该类问题支点判别方法 ,并讨论了其单值分支的具体问题     

Z2k+1上的准循环码

近年来,Z2k 1上的循环码和域上的准循环码的研究为编码理论的进一步研究提供了很多有用的结果.NuhAydin首次将这两个想法结合起来研究了Z4上的准循环码,并通过Gray映射得到了一些好的二元码.在文献[3]的基础上进一步研究了Z2k 1上的准循环码,然后又提出了一个新的概念:一般准循环码,最后通过Gray映射找到了一些好的二元码.     

Z80单板微机监控程序—EDTBUG

EDTBUG集中了各种CPU系列微机监控程序的功能和优点,在保留Z80系列各种监控器原有功能的基础上,新增加了程序或数据块删除、.内存列表检查、计算用户程序执行时间、实用子程序库调用等多种功能。此外,还增加了程序结束处理功能。它通过键命令给用户留下了充分的开发余地,使用户不必读懂EDTBUG就可在原有基础上扩充200个以上的键命令。EDTBUG对原有命令键作了改进,将原有Z80监控器的命令用为数几个键来完成,腾出尽可能多的键命令空间来开发新的键命令。它在12个命令键上给用户提供了24个功能很强的键命令,并且大部分数字键也赋予了命令功能。本文还讨论了EDTBUG的硬件条件和适应范围,在硬件不作改动的条件下,以多种版本,适应国内现有的Z80单板或双板微机,以及新开发的Z80微机。     

Gauss整数环Z[i]的理想的构造及商环分类

本文给出了Gauss整数环Z[i]的理想N＝（m ni)的构造及商环Z[i]/N的分类。     

飞秒Z扫描技术测量材料光学非线性的研究

介绍了用飞秒脉冲光Z扫描技术测量材料光学非线性的方法.指出了用飞秒Z扫描技术测量材料的光学非线性时出现的溶剂非线性问题(在波长800nm下,测得了空玻璃比色皿池充满常用的溶剂去离子水和乙醇后的非线性折射率系数n2值分别为1.61×10-14 esu和2.26×10-14 esu);材料出现非线性折射及非线性吸收饱和现象问题;热透镜效应问题;激光器参数的选用问题,并提出了相应的解决的方法.     

蕴含K5-Z4可图序列的刻划

对于给定的图H，称π是蕴含H可图的，如果π有一个实现包含H作为子图．Kk，Ck，Pk分别表示k阶完全图，圈长为k的圈和路长为k的路．Z4表示K4-P2.K5-Z4表示从5阶完全图中删去Z4的4条边．本文刻划了当n≥5时，蕴含K5—Z4的可图序列．     

群环ZnD5的交换图

设 R是一个任意环,Z（R）是R的中心,R的交换图记为Γ（R）,它的顶点集为R＼（R）,且顶点a和b相连当且仅当它们在R中可交换．该文研究了群环Zn D5的交换图的连通性和直径．主要结果为：若n不等于2或5,那么Γ（Zn D5）是连通的;若Γ（Zn D5）是连通的,则Γ（Zn D5）的直径等于3．     

一组实用的Z规格说明度量准则

众所周知,软件开发越到后期,为纠正或弥补错误所付出的代价会呈几何级数增长,因此规格说明的质量成为影响软件开发的难点和关键因素之一.为此,文中给出了一组针对形式规格说明语言Z模式的度量准则.该组准则考虑了模式修饰、模式包含、模式类型和模式出现在其他模式的变量说明和谓词约束部分的可能.根据这些度量准则,可以发现一些问题并把问题杜绝在软件开发的早期阶段,减少由于错误或不合理分析导致的浪费,并可对系统进行有效的评估.     

四元本原序列最高权位的相关函数

确定了四元本原序列最高权位序列的相关函数值.     

q-类似Virasoro-like代数上的一类Z2-阶化中间序列模

本文构造了一类q-Virasoro-like代数上的Z2-阶化中间序列模,并研究了这类模的同构关系以及它们的子模和商模,最后给出了一类商模与该代数上Z-阶化中间序列模的同构关系．     

Z规格说明的测试用例自动生成

软件测试是软件质量保证的重要手段,测试用例的生成是软件测试的关键和难点.文中应用范畴划分测试方法产生测试框架,并引入线性规划模型,通过构造线性规划模型来实例化测试框架,并且较好地解决了测试框架是否可行的判断问题.同时结合票据计算的例子,探讨了从Z规格说明推导出测试用例的过程、方法和技术.     

16V240Z型柴油机油泵试验台微机调节系统的研究

通过对微型计算机应用于柴油机机供油系统性能试验的方法进行的研究，探讨了计算机调节系统的设计，实现了用计算机对油尖试验台凸轮轴转速的控制以及对从油齿条位置的调节。