用于跳变故障测试的确定性逻辑内建自测试方法

BIST由于支持全速测试而成为延迟故障测试中引人关注的技术。确定性逻辑BIST(DLBIST)已成功应用于固定故障的测试中。由于DF的随机可测试性低于固定故障,故需要对DLBIST方法进行修改。DF测试需要测试向量对,因而与SAF相比,需要更多的映射与逻辑开销。本文针对广泛应用的所谓跳变故障模型,提出了用于跳变故障测试的DLBIST扩展方法,使用FJ产生向量对。实验结果表明,使用本文方法可以获得较高的故障测试效率。

不确定性逻辑下新闻伦理的审视与守护

不确定性逻辑思维源于数字设计领域,其应用随着科技的发展突破了传统二值逻辑思维,丰富了社会科学思维的多维可能性,推动社会科学研究向纵深发展。新闻创新的变革使当前新闻伦理的逻辑演进成为焦点,新闻人面临保守还是开放的新闻伦理观的选择,这种貌似矛盾的伦理心理冲突其实并非零和博弈,背后代表的是整个新闻行业在融媒时代基于不确定性逻辑思考的必然结果。通过准确梳理融媒特点及传播价值泛化与观念融合,新闻伦理守护应关注激发新闻人全面逻辑思维的提升,以创新思维主动适应融媒传播特点,消解急剧变革下的伦理观念压力,重新强化新闻行业和新闻人的双主体价值观,探索体制机制和内心观念两个层面的伦理坚守。

基于逻辑确定性的BDD变量排序方法

基于二维决策图(Binary Decision Diagram,BDD)的战时油料保障可靠性分析,其中一个关键是对变量进行排序,所选择的变量排序对BDD的规模有重要影响。由于阶段之间的相关性,单一阶段任务BDD变量排序方法很难直接应用于多阶段任务。考虑多阶段任务结构和特性的基础上,分析总结现有方法中影响变量排序的因素,提出了基于逻辑确定性的BDD排序方法。通过与传统的排序方法比较,改进的方法可以生成更理想的BDD结构。

非确定性限制逻辑及其在计算复杂度中的应用

过去几十年,有许多组合谜题的计算复杂度被确定了。本文介绍了非确定性限制逻辑,并用归约为非确定性限制逻辑的方法,证明了一种类似于推箱子的种豆游戏的计算复杂度为多项式空间完全的。

试论“如果……那么……”的确定性和模糊性

“如果……那么……”这个句式起源甚早,使用极为广泛。它们的同义关联词语很多。相当于“如果”的有“要是、要、假使、假如、如、倘若、倘或、倘、设使、设若、如若、若、若要”等等;相当于“那么”的有“那、则、就、便”等等。“如果……那么……”在传统逻辑中,其意义是确定的。

新发展社会学理论构建中的不确定性发展逻辑及其启示

发展社会学作为现代意涵与时代特征的聚焦和反映,在诠释社会预期目标与发展愿景,回应国家战略格局与发展路径等方面发挥着至关重要的作用。回顾既有发展逻辑的演进过程,以“结构理性”为基础的传统发展社会学旨在通过规范层面的“抽象—整合”以及操作层面的“理性—计算”,进而实现对发展的“确定性的寻求”。然而伴随全球流动速率递增、风险周期规律紊乱等现象的持续涌入,不确定性趋势渐趋蔓延,并开始对传统发展社会学力图构建的确定性图景产生极大的冲击。面对这种高度不确定的发展环境与现实情境,应当如何构建更具时代性的应对不确定性的理论视域,并且将寻求确定性和应对不确定性的逻辑协调、兼容、统筹起来,进而实现社会系统的良性运行与稳态发展,势必将成为新发展社会学理论构建的重大命题。

论新闻舆论监督与逻辑的一致性

新闻舆论监督在当今社会中有着非常重要的作用 ,逻辑学作为一门工具性的学科 ,与新闻舆论监督有紧密的联系。寻求两者的结合点 。

消解与建构——对“教学回归生活世界”论争的思考

在接受知识动态发展观点的同时，应该承认知识存在固有的系统性和相对稳定的逻辑性。教学对生活世界的回归，是对作为生命个体存在的主体的确认，并不排斥知识的确定性逻辑，不会消弭教学的独特属性。教学与生活世界结合，可以为课程建设拓宽视域，为师生共同发展提供条件，为教学活动注入人文内涵。

基于有限状态自动机的Web服务组合(英文)

Web服务是Web上的特殊软件资源,可以被应用系统发现和调用。如何根据用户的需求(目标服务)来组合Web服务是研究中需要解决的重要问题。通过使用有限状态自动机,服务组成的社区中的状态和操作可以使用有限状态自动机来模拟,这样可以表示服务操作的内部和外部概要。结合确定性动态命题逻辑,可以根据已有的Web服务,解决目标服务的可组合问题,产生组合计划。同时讨论了算法的复杂性。

基于改进PERT的输水隧洞施工进度风险分析

文章提出了改进的PERT方法,克服了经典PERT中未考虑逻辑关系不确定性和活动时间仅限于特定形式β概率分布的不足。首先从风险事件的角度出发,将定性分析与定量分析相结合,探讨逻辑关系变化对施工进度的影响;其次,在三时估计值的基础上引入四分位数作为第四个参数,提出了不同β分布形式的确定方法;最后,运用Monte Carlo仿真法对改进的PERT网络进行求解,实现对输水隧洞施工进度风险更加全面的分析,为隧洞施工进度管理提供了科学的依据。

利用贝叶斯网络方法判定整机产品薄弱环节

针对基于外场使用数据的统计分析方法和可靠性分析两类常见的整机产品薄弱环节确定方法进行研究,发现两类方法的应用均受到了限制,提出了一种把传统故障树转化为贝叶斯网络来确定整机产品薄弱环节的方法。该方法用Bayes模型确定贝叶斯网络中各节点发生的条件概率,首先利用Beta分布描述节点发生条件概率的先验分布,参考专家经验,通过极大熵方法给出先验分布中的超参数;然后,再结合整机产品相关试验、类似型号等数据,对节点发生的条件概率做出Bayes估计;最后利用贝叶斯网络的反向推理确定整机产品的薄弱环节。通过光纤陀螺对本方法进行验证,分析结果与工程实际相符合,为整机产品的薄弱环节分析提供了新的思路。