基于有限格蕴涵代数的格值命题逻辑语法系统

以有限格蕴涵代数为真值域，建立了基于有限格蕴涵代数的格值命题逻辑系统；采用公理化的方法，给出了该系统在A水平上的语法导出、证明和协调性等基本定义，并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理．     

零级代数体亚纯函数的奇异方向

讨论了满足＾－ｌｉｎ ｒ→∞ Ｔ（ｒ,ω）／ｌｏｇ＾２ｒ＝∞的零级代数体亚纯函数的最大型Ｂｏｒｅｌ方向,进而证明它也是Ｂｏｒｅｌ方向及Ｊｕｌｉａ方向,得到与亚纯级函数类似的结果。     

基于有限格蕴涵代数的格值命题逻辑语义系统

以有限格蕴涵代数作为逻辑系统的真值域，在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统，研究了在A水平上系统的赋值和公式的可满足性等基本定义，证明了系统“有效性”的可判定性并给出了判定算法。     

零级代数体函数的最大型Borel方向

证明了当值零级代数体函数ω（z）满足条件－limr→∞T（r,ω）／（logr）^2＝∞时至少存在一条最大型Borel方向argz＝θ0,满足0＜^－limr→∞n（r,△（θ,ε）,a）／（logr）^ λ（r）-1 ≤evλ,至多除去两个例外值a。得出几个关于n（r,△（θ,ε）,a）的级和型的推论。     

基于双代数的物体投影重建方法

基于双代数的物体投影重建方法是一种隐式重建方法。用双代数形式表示的不变量具有简洁、具体的表达式,可以由图像点坐标和基础矩阵直接求出。在投影重建过程中,必须选择射影坐标系的坐标基。本文利用双代数的方法进行物体的投影重建,并详细讨论了如何选择坐标基的问题。     

H-值随机Dirichlet级数的增长性

通过推广Paley—Zygmund引理，研究了一般H值随机Dirichlet级数的增长性，得到了关于H—值随机Dirichlet级数在带形上或半带形上．水平线或半直线上增长级的充分条件．     

基于OrCAD的可控硅开关功放的仿真研究

介绍了一种特殊的大功率可控硅开关功率放大器,分析了其电路在不同工作频率下的3种工作状态,并就自然换流状态建立了其等效电路模型,基于OrCAD环境下设计了低阻高效的循环模拟开关,并利用它仿真了自然换流状态下的等效电路模型,这种仿真方法能计算出功率放大器在任意点的电流电压值.且仿真数据能较真实地反映系统在任何时刻的工作状况.     

基于关系代数的结构模式识别系统句法分析单元设计

介绍了一种基于关系代数的句法分析单元设计.尝试通过与关系代数模型紧密集成,利用关系数据库系统能够组织和快速检索海量数据的特点,提高句法分析单元的处理复杂文法样本的能力,同时减轻用户的编码负担.在此框架中,部分推导树集合被表示为关系；推理规则集被表示为扩展的关系代数运算.给出了算法实现所需的数据结构和控制结构.从而将句法分析算法完全表示为数据库系统中的一个关系运算过程.最后通过原型系统验证了该方法的可行性.     

基于虚拟仪器的轨道交通测试自动化

介绍了使用LabYIEW开发虚拟仪器软件的方法,即用以计算机为核心的测试测量与控制系统取代传统的记录分析仪器,在有限的条件下做到实验设备的重复利用,达到实现轨道交通测试的自动化．     

基于单片机的远程控制开关的设计

设计了一种基于AT89C51单片机和CM8888双音频收发集成电路的远程控制开关．该系统通过接受电话线上的DTMF双音频信号对开关进行控制．文中介绍了该系统的硬件组成,软件设计,工作原理及技术性能。     

基于DSP的开关磁阻电机调速系统控制器设计

以TMS320LF2407为核心设计了开关磁阻电机调速系统控制器电路,给出了位置检测、电流检测、PWM输出电路及故障保护等电路的详细设计,充分利用了DSP的丰富外设资源,达到了简化电路结构、提高运行可靠性的目的.     

基于教务系统的自动化软件测试研究

软件测试已成为软件质量保障的重要手段,自动化测试工具的出现也使得人工测试不可能完成的任务成为可能。如何根据测试理论设计测试用例,利用自动化测试工具完成系统的测试并发现其中存在的问题是本文的主要研究目的。     

基于Flexsim的自动化立体仓库仿真优化研究

自动化立体仓库是一个复杂的系统,系统仿真对其规划、设计、建设和管理是一种有效的方法。本文介绍了自动化立体仓库总体结构和作业流程,应用Flexsim进行了实例仿真,进而对系统参数进行调试。     

基于指数函数的开关磁阻电机磁链非线性模型

开关磁阻电机（SRM）的双凸板结构导致其运行时磁链具有非线性特点,因而精确建立电机的数学模型比较困难.在分析开关磁阻电机的非线性特性和磁链曲线后,提出了利用一种指数函数来构建磁链曲线的新型数学模型.结合Ansoft软件的电磁分析功能,利用Matlab软件搭建一台3 kW、12/8极SRM的控制仿真模型,在角度位置控制（APC）模式下进行了仿真分析,并与实验结果进行了比较,验证了该磁链非线性模型的准确性.     

基于网络环境的计算机开放实验室全自动化管理系统

介绍了大型联网公用机房的特点、功能，并着重介绍了全自动化管理系统的设计、各子系统的功能以及系统实现的关键技术。     

基于BIM的工程量自动化统计研究

在工程设计流程中,存在许多各成员间信息传递不及时、数据重复生产、多次解析或利用效率低的环节。实时协同工作能够提高设计数据的生产、应用及传递效率。基于BIM标准化的工程量数据管理系统可帮助设计企业优化设计环节。该系统以BIM标准化为依托,对工程设计数据进行自动化生产和规范化管理,从数据管理的角度进一步促进了BIM与现有设计流程的融合。论述了该系统的设计思路,并以桥梁工程设计为例讲解了该系统的应用,为基于数据协同的设计信息与BIM融合管理提供参考。     

基于模糊理论的开关磁阻电机直接转矩控制

将直接转矩控制(DTC)策略引入到开关磁阻电机传动(SRD)系统中,通过滞环可将其固有转矩脉动限制在一个较小的容差范围内,但对于不同的偏差,开关状态的选择存在着不合理性,造成一定的转矩脉动.在引入模糊控制理论后,通过区分磁链偏差和转矩偏差的大小做不同的决策,可依此来优化开关状态的选择.仿真结果表明,采用模糊控制器的开关磁阻电机直接转矩控制系统,其转矩脉动明显得到抑制,系统的动、静态性能均得到改善.     

基于交通容量均衡的城市道路网级配研究

随着经济的不断发展,我国城市建设速度的不断加快,作为城市基础设施的城市道路建设越来越受到关注。以我国基本规范中的城市道路功能分级为基础,分析城市道路出行过程,提出不同等级道路交通容量均衡的基本模型,通过参数标定,分析计算出各等级城市道路里程级配,并对上海实际情况进行分析,探讨容量均衡的城市道路建设策略。     

Web前端性能优化下的多无人机协同任务自动化分配

传统多无人机协同任务自动化分配方法存在分配不均匀的问题,无法满足复杂的无人机集群工作需求,为此,基于Web前端性能优化设计了任务自动化分配算法,构建了分配模型,实现了多无人机协同任务自动化分配.实验结果表明,所设计方法分配更均匀,自动化分配效果较好,具有较好的有效性.