经典命题逻辑中公式的D-条件真度及近似推理

基于条件概率的思想,利用赋值集的随机化方法,在经典命题逻辑系统中引入命题的D-条件真度和D-条件相似度及伪距离,建立了D-Γ逻辑度量空间;推出了D-条件真度的若干性质,证明了D-Γ逻辑度量空间中逻辑运算的连续性;并在DΓ-逻辑度量空间中提出了三种不同类型的近似推理模式,证明了三种近似推理模式的等价性。     

“定因”与“算理”剖析一例

题1已知抛物线y2=4x及点P(2,2),斜率为1的直线l不过点P,且与抛物线交于点A和B,直线AP、BP分别交抛物线于另一点C和D.证明:AD与BC交于定点Q.文[1]分析了题1的"动源",并利用"动源"将上述问题演变成相关的三个问题,但未能彻底剖析"定因"与"动源"的关系,以致作者最后谈到,"由于运算量过大以及笔者自身的水平有限,未能完成:(1)能否将上述命题一般化;(2)能否将命题类比到椭圆、     

一种灵活的基于身份的签名方案

在基于身份的密钥提取过程中,使密钥生成器在私钥中嵌入随机数,从而使得密钥提取具有较好的灵活性,使得用户对一个身份可具备多个私钥,这无疑会增加密钥使用的安全性;基于这种新的密钥提取思路,给出一个基于身份的签名体制,新的密钥提取方式使得它具有更好的安全性和灵活性;新的基于身份的签名体制中具有最少对运算,因此,与类似的方案相比,其具备较好的计算效率;新签名体制的安全性依赖于k-合谋攻击问题(k-CAAP)的困难性,其在适应性选择消息和ID攻击下具备强不可伪造性,并且其安全性证明具有紧规约性.     

数学多选题的命题

2020年山东省高考数学模拟卷中出现了多选题,据可靠消息,教育部考试中心非常认同这种题型的考查.其实,《中国数学教育》杂志2019年第1-2期就已刊登教育部考试中心任子朝先生的文章《新高考数学多选题考查功能研究》(见文[1]),新高考数学多选题的考查应无悬念.     

无穷矩阵环上的导子

讨论无穷矩阵环上的导子,证明了环R上有限个元素不为零的无穷矩阵坏的每个导子均可表示为两个特殊导子之和。     

基于SVM~(K-Means)的非均衡P2P网贷平台风险预测研究

P2P网贷平台的高速发展,降低了小微企业的借贷成本,提高了投资者的收益与效率,较好地满足了小微企业的融资需求.然而,现阶段中国的P2P网贷平台在发展过程中也暴露出大量的风险问题,不仅使投资者财富遭受损失,也严重危害了P2P行业的健康发展.因此,对P2P网贷平台进行早期风险预测,在风险问题未发生之前对投资者进行风险预警并为投资者提供投资辅助决策是目前学术界广受关注的一个热点研究问题.针对真实P2P网贷平台数据的类别分布非均衡性问题,文章提出了一种基于K-Means聚类和支持向量机(support vector machine,SVM)的非均衡分类方法SVM~(K-Means)用以预测P2P网贷平台风险.通过网贷之家真实数据并以经典的逻辑回归(logistic regression)、支持向量机以及神经网络(back propagation neural network)为基准方法进行的比较试验表明,文章提出的SVMK-Means方法能够更加准确地在早期进行P2P网贷平台风险预测.     

西藏满拉水利枢纽左岸塌滑体稳定性研究

西藏满拉水利枢纽坝址位于高海拔、高地震烈度区, 其左岸上、下游均分布有规模较大的坍滑体, 影响边坡稳定和水工建筑物的安全运行。为此对左岸坍滑体进行了专门的勘察和试验研究, 并且在坍滑体上布置变形监测网, 在施工期和水库蓄水期及运行初期对坍滑体的地面变形, 地裂缝张开度和深部分层水平位移进行了监测。今后对上、下游坍滑体继续进行变形监测, 以便对可能产生的塌滑及时作出预报, 保证满拉水利枢纽长期安全运行是很有必要的。     

凸面光栅成像光谱仪全视场自动化光谱定标系统设计

为了确定凸面光栅成像光谱仪的光谱特性,需要对凸面光栅成像光谱仪进行光谱定标。基于单色准直光法设计了一套全视场光谱定标系统,引入球面镜提供准直光,采用一块可以自由滑动和转动的折转镜改变定标光线的入射角,实现了全谱段自动化光谱定标。运用光学设计软件CODEV对光谱定标系统进行了部分光学模拟,证明了整个系统的可靠性。结合光谱定标系统的结构和特点,对整个光谱定标系统进行了精度分析。理论分析结果表明,该系统的光谱定标精度优于1%。该定标系统具有体积小、通用性强等特点,可为其他成像光谱仪的光谱定标提供参考。     

二维电磁感应光子带隙的动态生成与调控

研究了由两个垂直传播的强驻波激光场共同耦合的一个四能级Tripod型冷⁸⁷Rb原子介质的稳态光学响应特性. 结果发现, 当两驻波场满足双光失谐条件时, 可在这两驻波场的传播方向上同时获得反射率高达95%以上的电磁感应光子带隙结构; 通过适当调节强激光场, 还可实现一个方向为光子带隙而另一个方向为透明窗口或者两个方向均为透明窗口的结构. 并且光子带隙和透明窗口的频宽和位置是可调谐的. 这种全光控制的二维的信号光禁闭和导通机制可用于实现全光开关和全光路由, 有利于复杂的全光通讯网络的开发. 关键词： 相干诱导光子带隙 电磁感应透明 周期调制原子相干     

基于LBIST的纠检错电路验证方法与实现

基于逻辑内建自测试的设计原理,提出了一种针对纠检错电路进行功能自测试的方法,根据纠检错电路具有固定纠检错能力的特点,无需存储海量的比较数据,也不需要设计响应特征分析器对结果数据进行压缩处理,针对具体的纠检错电路,通过增加特别设计的注错逻辑可实现任意类型的故障注入,并根据注错信息可对结果进行预测,通过与预期结果比较,可达到验证的目的;最后,以(40,2)海明编码与解码电路为例,实现了其功能自测试结构,并对所有2⁴⁰-1种故障进行了注入与验证;结果表明使用本文的验证方法,可实现纠检错电路的自动化随机验证。