社会正义构造论

从有利于人们在实践中追求和实现社会正义的目的出发．可以将社会正义的构造理解为过程构造与逻辑构造的统一。这样分析有助于人们在实现社会正义的实践中有针对性地去解决遇到的各种问题．促进人们重视实现社会正义的各个环节。     

一种适用于并行文件系统的高可用机制

针对并行文件系统文件数据分布存储的特性所带来的系统可靠性和可用性降低的问题,提出了一种提高并行文件系统可靠性与可用性的机制.该机制采用数据镜像技术,应用逻辑镜像环来指定存储节点间的镜像关系,使得一个存储节点既存储自身的数据,也作为其他节点的数据备份节点.该机制还可以通过调整镜像深度,以满足用户对文件系统不同级别的可靠性和可用性要求.同时,建立了马尔可夫链模型,以评估所提机制的可靠性和可用性.数学求解表明,在镜像深度为2时,应用该机制的并行文件系统发生数据丢失的平均时间大大提高,约为原系统的32倍.     

论奎因对模态逻辑的批判

模态逻辑一经产生，就遭到奎因的质疑。奎因认为，模态概念无论在逻辑上还是在哲学上其正确性都值得怀疑。他甚至认为模态逻辑是多余的，应予以抛弃。通过对奎因批判模态逻辑的背景和理论进行分析，章认为奎因对模态逻辑的批评在观念上和论证上都存在缺陷，因此奎因的批判是不能成立的。     

通用串行总线在测井模拟信号采集中的应用

设计了一种基于通用串行总线（USB）的用于采集测井模拟信号的数据采集系统。介绍了该总线的特点及其优越性，对用该总线实现模拟信号采集的整个组成部分做了详细的说明。该系统设计包括硬件设计、单片机固件设计以及设备驱动程序设计和用户应用程序设计。对USB驱动程序栈和应用程序中打开USB设备的方法给予了简要分析。测试结果表明，该系统实测精度超过13位二进制，其控制逻辑灵活，便于升级扩展。     

英汉翻译中的逻辑思维探析

不同民族的逻辑思维既有共性，也有个性，正是这种个性差异导致了英汉语言表达的差异。因而在翻译过程中，正确的逻辑分析是正确翻译的前提，而且要运用语言环境、已知前提、衔接手段和引申等常用的逻辑思维方式进行逻辑上的判断和推理。     

乳香对几种病原微生物抗性作用的初步研究

研究了树脂中药乳香对几种常见致病菌的抗性作用 .在无菌条件下制作乳香悬浊液并稀释成不同梯度浓度 ,通过药物敏感性试验滤纸片扩散法和最低抑菌浓度测定 ( MIC)分别对大肠埃希氏杆菌( Escherichia coli)、金黄色葡萄球菌 ( Staphylococcus aureus)、蜡状芽孢杆菌 ( Bacillus cereus)、铜绿假单胞菌( Pseudomonasaeruginosa)、普通变形杆菌 ( Proteusvulgaris)进行测定 .结果表明平均抑菌圈直径由大到小依次为 :大肠埃希氏杆菌 1 1 .5 3 mm、普通变形杆菌 1 1 .2 8mm、铜绿假单胞菌 1 0 .2 4mm、金黄色葡萄球菌 9.44mm,蜡状芽孢杆菌 8.73 mm;测定这 5种致病菌的最低抑菌浓度 ( MIC)得到 :大肠杆菌为 1 /2 5 6g· m L- 1、普通变形杆菌为 1 /2 5 6g· m L- 1 、铜绿假单胞菌为 1 /1 2 8g· m L- 1、金黄色葡萄球菌为 1 /64 g· m L- 1 、蜡状芽孢杆菌为 1 /1 6g· m L- 1 .研究表明乳香对大肠杆菌的抗性最强 ,对蜡状芽孢杆菌的抗性最弱 ,采用滤纸片扩散法和最低抑菌浓度测定 ( MIC)得到的结果基本一致 .研究还表明乳香具有广谱抗菌作用 ,但对不同致病菌的抗性作用存在一定的差异性     

一种高效覆盖的节点放置算法

提出了一种新的高效覆盖的节点放置方法．该算法的目的是使传感器的数目最优化，并确定能支持分布式传感器网络的传感器的配置，其基本思路是剔除局部冗余，提升整体性能．最后通过仿真与已有的算法进行比较，展示了其性能的优越性．     

蜂窝网络中基于遗传算法的信道分配

信道分配问题属于组合优化中的NP完备问题 ,为了更有效的利用频率资源 ,在遗传算法的基础上提出了一种新的信道分配方法·在信道分配中主要考虑三种限制 :同频限制、邻频限制和同位置限制·目标是得到一个用最少的信道数 ,满足话务需求和电磁兼容限制的信道分配方案·采用了最小间隔编码方案 ,利用固定遗传算子 (交叉和变异 ) ,在整个迭代过程中始终满足话务需求的要求·提出了几种遗传算子并进行了验证 ,比较结果表明选择性变异技术能得到很好的结果·对几个著名的benchmark问题进行仿真 ,结果表明 ,它对解决信道分配问题是一个非常有效的方法     

HDTV视频同步与消隐时序控制信号的CPLD设计

ATSC HDTV视频输出采用了SMPTE的相应标准．将像素计数与行计数相结合，采用统计行分类编码的算法对SMPTE274M、SMPTE296M、SMPTE293M和SMPTE295M标准的同步与消隐时序控制信号进行了多平台的仿真分析，并在ALTERA公司的EPM7128上最终实现了本设计．     

关于Wolliam Kruskal猜想

对Wolliam Kruskal猜想进行了研究，得到了一些结果。