VxWorks操作系统下CornpactPCI总线的驱动与控制技术

介绍了CompactPCI总线及接口技术，PCI配置空间的内容与操作方法。详细说明了在VxWorks实时多任务操作系统下配置cPCI总线设备的方法。由于系统通过中断响应外部事件，使得硬件中断处理成为实时系统设计中的关键问题。在VxWorks系统下对cPCI中断响应的主要操作是将外部中断与中断服务程序连接起来，并控制PCI9054接口芯片的中断控制寄存器。在中断服务程序中使用信号量实现任务间的同步，保证了系统实时数据采集的可靠性。     

隐通道及其搜索方法

根据TCSEC规定，开发B2及以上安全系统时必须进行隐通道分析，该文简要介绍了隐通道的概念及分类，并在比较现有隐通道搜索方法优缺点的基础上，详细给出了共享资源矩阵法的隐通道分析操作步骤。     

椭圆形零件的加工(下)

四、工件偏心运动法图5所示为采用工件偏心运动法加工椭圆形工件的装置,该装置的轴1与车床主轴法兰盘相联,支架3固定在车床床身上,利用3个螺钉使件4与件1成一偏心,偏心距为a-b。件5的侧面及件7上各有长方滑槽,件6的二个侧面有相互垂直的凸块,分别与件5、件7上滑槽配合。工件装夹在件6上。在车床主轴转动时,件6的中心一方面随主轴转动,另一方面由于件5、件7的相互作用按一定规律移动。原理如图6,O为主轴中心,O′为壳体旋转中心OO′=a-b。OB和OC     

一种基于信息流脉络网的隐蔽通道搜索方法

针对隐蔽流树搜索方法存在的规模大、分析工作量繁重等问题, 提出一种改进的隐蔽通道搜索方法。该方法采用网结构描述系统中的隐蔽信息流, 提出网中隐蔽通道的判定规则; 依据判定规则在深度优先搜索网中隐蔽通信路径过程中排除合法通道; 结合路径中的操作序列构造隐蔽通道工作场景, 从而发现系统中的隐蔽通道。实例分析和对比表明, 该方法可以弥补隐蔽流树搜索方法的不足。     

基于自注意力机制的文本生成单目标图像方法

基于自然语言描述的图像合成已成为人工智能领域中的研究热点.借助生成对抗网络,该领域在高分辨率图像合成方面取得了长足的发展.然而,合成单目标图像在真实性上仍存在一定缺陷,如针对鸟类图形合成时,会出现"多头""多嘴"等异常情况.针对此类问题,提出基于自注意力机制的文本生成单目标模型SA-AttnGAN.SA-AttnGAN...     

水岩相互作用对煤矿地下水库水质影响机理研究

为了掌握煤矿地下水库储水过程中的水质演变机制,基于万利一矿地下水库工程实践,通过室内水岩相互作用实验,开展了采空区垮落煤岩对储水水质净/劣化机理与规律研究,据此提出了优化地下水库选址与调水复用的合理对策。结果表明：地下水库储水过程中,水体与采空区垮裂煤岩会发生长期水岩相互作用,得益于吸附、溶滤、离子交换、以及氧化还原等物理、化学过程,大部分水质指标得到明显改善;相比泥质或砂质类岩石,煤对水体的净化效果最好;实验80 d,煤对水体浊度、BOD5、余氯、石油类等指标的削减率可达85%以上,对总碱度、总硬度的降低率超过30%。然而,受水岩相互作用持续时间的影响,COD等关键指标值会出现先降后升的现象,表现出水库储水时间过长而导致的水质劣化效应。实验表明：万利一矿井下污水与煤、砂岩作用后,COD在实验4～5周时达标、而后又出现超标;而与铝质泥岩作用后,COD在实验4～23周内达标、而后超标。充分考虑井下分质用水需求以及岩石岩性对水质的影响规律,对万利一矿分别进行了“消防用水”和“采掘生产用水”地下水库的构建选址与储水时间优化确定。     

基于免疫安全存储设备IBSSD的研究与实现

基于智能磁盘的安全存储设备是当前安全存储系统研究的热点问题.为解决现有安全存储设备I/O性能低的问题,引入人工免疫算法,实现高效的访问控制模块.首先给出基于免疫安全存储设备的结构,以及基于免疫访问控制模块中主要元素的定义,针对存储设备的特点,设计了差异选择算法和混合检测算法.实现了基于免疫访问控制的原型系统,验证了系统能高效地识别非法数据访问请求.修改开源存储区域网系统-Lustre中智能磁盘模块的代码,构建基于免疫安全存储设备的原型系统,测试了I/O性能.结果验证了基于免疫安全存储设备的I/O损失较小,能构成较高性能的安全存储系统.     

基于预测状态表示的多变量概率系统预测

针对由于多变量概率系统预测高复杂度而导致的建模困难问题,提出了一种基于预测状态表示（PSR）的系统建模新方法,首先介绍一种通用多变量过程概念,并进一步用此概念描述多变量系统。在此基础上,引入了针对多变量系统的预测模型MV PSR,模型基于可观测信息,可在有限维实现对多变量的预测。实验结果表明,该近似模型有效降低了系统预测的复杂度。     

广义不可推断属性符号化算术验证的研究

多级安全系统中机密数据的泄漏本质上是信息的非法流动.广义不可推断属性刻画了不同安全级主体之间合法的信息流动.在系统应用之前,验证其满足广义不可推断属性,可以排除各种隐蔽数据泄漏,保护数据的机密性.传统的广义不可推断属性验证方法——"展开方法"——验证的仅仅是属性成立的一个充分非必要条件,因此是不完备的.基于证伪技术提出一种完备的广义不可推断属性验证方法,该方法通过逐步搜索长度递增的使广义不可推断属性失效的反例来完成验证过程.为确保搜索过程能正确终止,即方法的完备性,提出状态转换系统的双构造运算,并在此基础上基于图结构理论给出最短反例的上近似计算.进一步为提高验证方法的时间效率和降低对内存空间的需求,将反例搜索和上近似计算归约为量化布尔公式满足性求解问题,借助于高效的满足性求解程序完成属性的验证,实现了验证过程的符号化计算.最后通过一个磁臂隐通道的实例说明验证方法在实际的隐通道分析中的应用.     

一种新型HLA仿真结果处理方法

针对HLA仿真结果数据日益增多、难以组织管理的状况,利用数据仓库与数据挖掘技术对数据进行处理。采用基于HLA的作战系统仿真为例,设计对应的联邦与联邦成员。针对仿真产生的海量结果数据创建O rac le数据仓库,采用商业智能软件COGNOS抽取数据仓库中的数据,设计制作对应的数据立方体。对立方体中的数据进行分析和挖掘,发现并纠正仿真过程中出现的问题,有效地完成了对HLA仿真结果的评估。论文提出的方法和思路可供广大同行设计参考。