一种应用于嵌入式实时系统的中断控制器研究

文章研究了M Core的中断机制 ,设计了与M Core兼容的中断控制器 ,该控制器具有中断响应快及中断处理方案多样的优点;同时给出了实测的中断控制器的性能结果     

基于集群的Apache服务器进程迁移技术及实现

利用Linux操作系统检查点机制，中断正在运行的Apache服务器进程，进行核心转储产生了Core文件，在这个Core文件中保存被中断进程的上下文。位于集群中另外一个结点上的空闲Apache服务器进程重新加载Core文件，恢复被中断进程的上下文，恢复进程中断前打开的文件和网络连接，实现Apache服务器进程的迁移，并给出了集群中Apache服务器进程迁移的理论研究和实现技术。     

应用于32位嵌入式系统的中断控制IP的裁减设计

C＊Core是32位RISC嵌入式微处理器核．对应用于C＊Core的中断控制IP核进行了裁减和验证，分析了与C＊Core的兼容性，并应用于变频器控制SoC的设计中．新的设计减少了使用的晶体管数量，降低了功耗及成本．     

基于集群的Apache服务器进程迁移技术及实现

利用Linux操作系统检查点机制,中断正在运行的Apache服务器进程,进行核心转储产生了Core文件,在这个Core文件中保存被中断进程的上下文。位于集群中另外一个结点上的空闲Apache服务器进程重新加载Core文件,恢复被中断进程的上下文,恢复进程中断前打开的文件和网络连接,实现Apache服务器进程的迁移,并给出了集群中Apache服务器进程迁移的理论研究和实现技术。     

PCI中断机制分析

PCI总线有四条中断线。所有PCI设备共同使用这四条线向系统申请中断，中断请求经可编程中断路由器路由到可编程中断控制器的某条中断请求输入脚IRQi，再由中断控制器代理向CPU申请中断，CPU响应中断后，从中断人口表中取得人口或顺次入口链查得人口，再转人中断服务程序执行．     

伪度量(L)*-Lindenbaum代数中基本运算的连续性

研究了伪度量L*-Lindenbaum代数中基本运算的连续性．结果表明，Fuzzy命题演算系统L*中的全体公式集上的伪度量可以在L*-Lindenbaum代数M上诱导出一个伪度量ρ，证明了M上的非运算、并运算以及蕴涵运算关于ρ都是连续的．这为在(M，ρ)上建立近似推理理论提供了方便。     

NB-IoT无线路灯控制器研究

设计了一款高性能NB-IoT无线路灯控制器.该路灯控制器使用M5311窄带物联网传输模块实现无线通信,使用嵌入式单片机STM8作为控制器,使用智能电量采集芯片HLW8112实时采集路灯的电压、电流、功率、电能、功率因数等电气参数,具有灯具故障诊断与报警、灯具远程或本地渐变与瞬时调光、灯具电源开关控制等功能.分析与设计了路灯控制器的M5311与CPU接口电路、D/A调光电路、电气参数采集电路、主程序、定时器中断服务子程序、联网服务子程序、指令解析子程序、故障诊断子程序、路灯控制器与远程控制平台的通信协议.路灯控制器测试平台的实验结果验证了NB-IoT无线路灯控制器的功能与性能,满足现代城市路灯智能控制的要求.     

工业机械臂末端执行器自动化装配技术研究

工业机械臂的末端执行器在面临实际的装配任时总是出现低、柔顺性低等问题。此次研究创建了一种机械臂UR5的柔顺装配控制方法，结合欧拉拉格朗日法和齐次变换矩阵分析动力学模型和动力学模型，分析关节干扰力矩和外力两者的关系，依据改进的内环阻抗控制器和滑膜控制器设计滑膜阻抗控制器。UR5机械臂外力碰撞仿真实验结果显示，2,3,4关节的角加速度最大值分别为4.2rad/s*s, 3rad/s*s,-7.8rad/s*s。而1,5,6关节角加速度均为±0.1rad/s*s。     

Intel 8259A扩展8051单片机中断接口技术

如今复杂系统控制应用越来越广泛，传统MCS-51系列单片杌提供的两个外部中断已经无法适应当今控制系统开发需求，本文介绍采用8259中断控制器，实现单片机扩展外部中断的接入，有效解决了单片机中断资源较少的瓶颈。     

三角代数上的初等映射

设U是三角代数,V为任意代数,若映射M:U→V,M*:V→U为满射,并且满足初等映射的形式,则M,M*可加;进一步,讨论了映射M,M*具有同构形式的条件.     

Goldie*-补模的推广

作为Goldie*-补模的推广,本文引入了主Goldie*-补模.称模M是主Goldie*-补模(主G*-补模),如果对M的任意循环子模X,存在M的补子模Y,使得(X+Y)/?M/X且(X+Y)/Y?M/Y.研究了主G*-补模的一些性质,并证明了若M=M_1M_2,M_1=aM,M_2=bM,a,b是End(MR)的本原幂等元,且对任意N?M,N=aN+bN.则M是主G*-补模当且仅当M1和M2是主G*-补模.     

一个新的模糊谓词演算形式系统

首先，在模糊逻辑命题演算形式系统Ω^*的基础上，讨论了相应的谓词演算理论，建立了一阶形式系统K^*，基于R0代数的基本理论，给出了系统K^*的若干语义概念，包括M－解释I，I－赋值，公式的值，真，M－逻辑有效性等，从而形成了模糊谓词演算一种新的语构与语义体系。其次，研究了系统K^*的基本性质，指出了系统Ω^*的定理都是系统K^*的定理，给出了系统K^*与量词有关的一些重要定理，证明了系统Ω^*的重言式在系统K^*中的代换实例都是系统K^*中的定理关于任何R0链也是逻辑有效的；系统K^*的强可靠性定理也成立，即系统K^*在任何理论T下的定理关于任何R0链也是逻辑有效的。最后给出并证明了系统K^*的一种新的演绎定理，一阶系统K^*及其重要的性质，为模糊推理提供了一种更为合理的逻辑框架。     

L^＊-Lindenbaum代数的Fuzzy表示定理

讨论了L^*-Lindenbaum代数在R0蕴涵下的Fuzzy表示定理，即M是L^*-Lindenbaum代数当且仅当M同构于某一R0方体上的若干Fuzzy集关于包含序所成的格。     

Goldie*-补模的直和

称模M为G*-补模,若对于M的任意子模L,存在M的补子模N,使得(L+N)/L相似文献   

von Neumann代数下Markov对偶过程的若干性质

本文引入Markov算子半群的理论,利用分析和代数的方法研究了Markov对偶过程的Q-矩阵和最小Q-函数的若干性质。主要结论有:对偶分支Q-矩阵是忠实的、次随机单调的及正则的、零流出的、对偶的;对偶分支矩阵的最小Q-函数F(t)是唯一且忠实的,非随机单调的及对偶的;M是von Neumann代数,M*sa是M的前对偶M*的自伴,T是M*上的Markov积分半群,g∈M*+,η∈R,使得 * ,那么M 上的正则线性形式的锥体M*+在M*sa中是强规则的。(注:*表示公式,见正文 ）
     

对称算子空间上Jordan-triple初等映射的可加性

目的 主要刻画对称算子空间上的2个映射M:J(H)→K(H)和M*:K(H)→J(H)是可加的,其中J(H)和K(H)分别表示H上的J-对称算子全体和K-对称算子全体.方法 利用M和M*的性质以及对称算子分块的性质进行证明.结果 与结论证明了若映射M:J(H)→K(H)和M*:K(H)→ J(H)满足{M(AM*(B)C+CM*(B)A)=M(A)BM(C)+M(C)BM(A),M*(BM(A)D+DM(A)B)=M*(B)AM*(D)+M*(D)AM*(B)且M和M*是满射,则M和M*是可加的.     

用加权MP逆的定义方程推导[A，B]NM＋的显式

利用加权Moore-Penrose逆AMN^ 的定义方程A^*MAX=A^*M，R(X)真包含N^-1R(A^*)简捷地导出了[A，B]NM^ 的显式，并给出了它的两种变型．     

半群S-分次模范畴的同态集与冲积 R#S*的分次JacObson根

对于任意半群S，证明了半群分次模范畴R-gr的1个结果：在一定条件下，HOMR（M，N）＝HomR(M,N)(其中HOMR（M，N）是从M和N的所有s(s∈S）-次分次同态作成的群，HomR(M,N)是从M到N的所有R－模同态作成的群，M,N∈R－gr,M∈R-Mod)，推广了群分次环与模的相应结果。对任意半群的冲积R＃S^*，讨论了当R有1且S为右可消幺半群时R＃S^*与其分量子环Re的理想间的关系；并证明了当S为左可消幺半群时，R＃S^*的J－根与R的分次J－根之间的关系：J（R＃S^*)包含于JS（R）＃^*,其中JS（R）为R的所有弱拟正则分次左理想的和。     

因子von Neumann代数上非线性*-Lie导子的刻画

设M是Hilbert空间H上维数大于1的因子von Neumann代数, 给出M上非线性*-Lie三重导子的定义, 并用代数Pierce分解方法证明： 如果Φ: M→M是一个非线性*-Lie三重导子, 则Φ是非线性*-Lie导子.     

基于硬件控制防遗忘关断电源开关控制器

电力供应中断后，操作人员容易忘记关断电源开关，在重新恢复供电时，很容易导致那些没有及时切断电源开关的用电设备的突然运转而造成意外事故。为了避免此类现象的发生，开发设计了基于硬件直接控制的防遗忘关断电源开关控制器。该控制器断电后本身不需要任何电源维持其工作，由硬件电路的自动复位实现重新恢复供电时用电器具与电源不接通的控制功能。通过在普通电源开关上加装该控制器，实现了在电力中断后用电设备的自动关断，保证了重新来电时用电设备不会运转，从而防止了由此而引发的意外事故。