部分四值逻辑单纯可离函数集最小覆盖之判定

根据部分K值逻辑的完备性理论,通过剔除部分四值逻辑中能被其余准完备集覆盖的单纯可离函数集,缩小了判定最小覆盖的范围.     

宽频反辐射导弹的攻击过程建模及Matlab仿真

详细分析了宽频反辐射导弹攻击辐射源的主要过程,包括空间信号传输、电子信号接收、电子信号处理、测向定位和导弹导引控制环节,给出了各环节的教学模型.利用Matlab开发环境,从作战指挥角度出发,设计并实现了多辐射源抗宽频带反辐射导弹攻击效果的仿真系统.系统可以对辐射源信号发射频率,辐射功率、辐射源相对位王、辐射源工作时序等参数进行灵活设置,为多辐射源抗反辐射导弹攻击策略研究提供了一个有效的仿真平台.     

部分四值逻辑中L型函数集与拟线性函数集之确定

根据部分 k 值逻辑的完备性理论,给出了部分四值逻辑中 L 型函数集与拟线性函数集,从而推进了 P_4(?)中准完备集之最小覆盖的完全解决．     

资料室图书管理系统的设计与实现

根据图书资料室的管理要求,应用VB ACCESS开发了适合于资料室的图书管理系统.该系统基于C/S模式,主要由图书管理、读者管理、流通管理、统计报表、系统维护等功能模块组成.系统实用性强,界面友好,操作简便,极大地促进了资料室管理工作的规范化和自动化.