共查询到20条相似文献,搜索用时 31 毫秒
1.
2.
3.
模态K4、D4系统的归结推理 总被引:1,自引:0,他引:1
本文将P.Enjalbert和L.FarinasdelCerro提出的模态归结推理方法推广到命题模态逻辑K4和D4系统,建立了K4逻辑的归结推理RK4;D4逻辑的归结推理R D4,分别证明了RK4和RD4关于K相似文献
4.
5.
6.
7.
8.
C4ISR系统效能分析方法 总被引:1,自引:0,他引:1
该文介绍一种C4ISR系统的效能分析方法.在分析影响C4ISR系统效能主要因素的基础上,得到C4ISR系统效能评价的层次结构,利用层次分析法和模糊评价法进行效能评估,从而得到C4ISR系统效能分析的一个框架.利用该方法进行效能分析得到的结果为一个反映C4ISR系统效能的三元向量,向量元素分别表示该系统被评价为"好"、"中"、"差"的概率.该方法解决了利用一般方法进行效能分析时面临的两个困难因素重要程度的确定和因素的评价,从而能够增强C4ISR系统效能分析的效果. 相似文献
9.
采用密度泛函理论(DFT)中的B3LYP方法和BP86方法,O原子基于6-311+G(d,p)基组,Ga原子基于Stuttgart基组,对Ga3O2-/0与Ga4O3-/0团簇的各种可能构型进行了几何优化,预测了各团簇的最稳定结构,并研究了Ga3O2-和Ga4O3-最稳定结构的成键特性、振动特性和稳定性。对比B3LYP和BP86计算结果发现得到的异构体的结构和能量顺序相同,且阴离子的基态构型与中性分子的构型相接近,都是平面C2v型,都存在由2个Ga原子和一个O原子形成的三中心二电子(3c-2e)桥键。两结构中处于端位的"Ga-O"键的Wiberg键级数值较大,分别为0.50、0.55;振动频率分别为713.92、832.76cm-1,在红外谱图上皆对应一明显的强振动峰,表明该"Ga-O"结构单元成键稳定,是决定团簇结构稳定的重要因素。计算得到是Ga3O2-和Ga4O3-基态结构的LUMO与HOMO的能量之差(分别为2.75、2.84eV),以及电子绝热剥离能(ADE)和电子垂直剥离能(VDE),都表明两基态结构具有较好的热力学稳定性。 相似文献
10.
Action演算簇(action calculi)作为描述不同并发交互行为的数学框架,可以表示一大类具有某些相同特性的并发形式化模型.试图把(演算(一种基于约束的高阶并发计算模)也包含在action演算簇的框架下.首先定义了一个具体的action演算AC(Kγ),然后给出了从(演算到AC(Kγ)转换的形式描述,最后在定义AC(Kγ)的可观察性、弱互模拟关系和弱等价关系的基础上,以(演算为中间表示,证明了这种转换保持了(演算的弱行为等价性.研究表明,action演算簇可以表示基于约束的并发模型,从而充分说明了action演算簇的描述能力,并且为在action演算簇框架下把(演算与其他并发模型结合并进行比较提供了前提. 相似文献
11.
Zhuyi WangAuthor Vitae Liyi ShiAuthor VitaeFengqing WuAuthor Vitae Shuai YuanAuthor VitaeYin ZhaoAuthor Vitae Meihong ZhangAuthor Vitae 《Sensors and actuators. B, Chemical》2011,158(1):89-96
The effects of K-substitution at La-site of La1−xKxCo0.3Fe0.7O3-δ perovskite on its structure and humidity sensing properties were studied in detail. The XRD, SEM-EDS, N2 adsorption-desorption measurements (BET), ICP-AES and XPS were used to characterize the microstructure of La1−xKxCo0.3Fe0.7O3−δ perovskite. The results show that the partial substitution of K at La-site has no obvious effect on the crystal phase, morphology and surface area of samples, but leads to the increased oxygen vacancies and surface enriched K+. The sensitivity of humidity sensor based on all samples was evaluated by measuring the impedance response to the humidity changes. The partial substitution of K at La-site significantly enhanced the humidity sensitivity of La1−xKxCo0.3Fe0.7O3−δ perovskite at low relative humidity (RH). By correlating the structure of material with its sensing properties, the probable reasons that lead to the remarkable sensitivity enhancement of the K-substitution samples compared with the unsubstituted sample (LaCo0.3Fe0.7O3−δ) were given; moreover, the sensing mechanism was also discussed by the complex impedance spectra in detail. 相似文献
12.
13.
梁华 《计算机工程与应用》2010,46(20):84-85
利用Gray映射Φ的性质,研究了环F2+uF2和Z4上的任意长循环码。证明了环F2+uF2上任意长码是循环码当且仅当它的Gray象是域F2上的准循环码,得到了Z4上任意长码是循环码的一个充分必要条件。特别的,环F2+uF2上长为n的线性循环码的Gray象是域F2上指标为2长为2n的线性准循环码,环Z4上长为n的线性循环码的Gray象是域F2上指标为2长为2n的准循环码。 相似文献
14.
以乙烯基修饰的二氧化硅包覆磁性纳米材料为载体,孔雀石绿(MG)为模板分子,采用表面印迹技术制备了具有核壳结构的磁性分子印迹聚合物Fe3O4@Si O2-MIPs(MG)。运用透射电镜(TEM)、傅里叶变换红外光谱仪(FT-IR)、X射线衍射仪(XRD)等技术对聚合物进行结构表征,并开展吸附性能研究。实验结果表明,所制备的Fe3O4@Si O2-MIPs(MG)对MG具有优异的分子识别能力和良好的选择性吸附性能,实现了对养殖水和虾肉中MG的高效富集,采用纳米银表面增强拉曼光谱定量,检测限分别达到0.5 ng/m L和6 ng/g,具有广阔的应用推广前景。 相似文献
15.
探究离散线性参数变化(LPV) 重复过程的l2-l∞ 动态输出反馈控制问题. LPV 重复过程是一类复杂的时变2D 系统. 对于整个参数变化空间, 传统方法是基于二次稳定框架设计过程的控制器, 具有较大的保守性. 这里利用参数依赖Lyapunov 函数, 设计离散LPV 重复过程的参数依赖鲁棒l2-l∞ 动态输出反馈控制器, 可确保闭环离散LPV 重复过程沿通道渐近稳定, 且具有一定的l2-l∞ 扰动抑制水平. 最后, 仿真结果验证了所提出方法的有效性.
相似文献16.
介绍了基于iCoupler(R)技术的数字隔离器的内部结构、功能特点及其在CAN总线、RS-232和RS-485中的应用. 相似文献
17.
18.
19.
关于S24(△(2)mn)插值与逼近 总被引:2,自引:0,他引:2
柯云泉 《数值计算与计算机应用》2001,22(2):134-148
In this paper, we discussed the existence and uniqueness and approximation degree of interpolation splines by S42 with the type-II triangulations on rectangular. 相似文献
20.
多通道网络化系统中每个通道存在不尽相同的网络不确定性因素, 使得H2/H∞ 滤波更加困难. 对此, 提出一种受多通道通信约束的网络化系统滤波方法. 首先, 基于最大数据包错序思想解决了传感器到滤波器之间的复杂多通道通信约束的问题; 然后, 建立了更加普适的融合多通道通信约束的滤波误差动态系统模型, 证明了在已知最长网络延时和最大连续丢包数情况下, 所设计的滤波器可使系统随机稳定且满足??2/??∞ 性能指标. 仿真结果表明该方法可行且有效.
相似文献