课程文献中心 更多>>

关键词： 江苏南京   机械式停车设备   行业标准   南京市浦口区   副局长   起重机械   江苏省南京市   标准化技术委员会  

摘要： 2023年6月7日至9日,全国起重机械标准化技术委员会停车设备分技术委员会(以下简称停车设备分会)在江苏省南京市组织召开了JB/T 8909—2013《简易升降类机械式停车设备》和JB/T 8910—2013《升降横移类机械式停车设备》修订初稿讨论会。参加会议的有标准起草工作组成员、停车设备分会部分委员和秘书处人员共28个单位31名代表。南京市浦口区市场监督管理局马宏斌副局长应邀出席会议。

关键词： 实时监控   故障检测   核主元分析   组合滑动窗口   监测统计量  

摘要： 针对核主元分析(Kernel Principal Component Analysis,KPCA)模型所产生的对角矩阵包含原始数据信息,且能够反映数据的特征,提出一种基于特征值变化的工业过程实时故障检测方法。因滑动窗口在收集数据建模时会出现故障数据被正常数据覆盖的现象,故采用实时数据和正常数据相结合的组合滑动窗口策略收集数据建立KPCA模型。通过KPCA模型所产生特征值的信息变化构造新的监测统计量,即数据发生故障时,变量值超出原来的范围,特征值会变大,利用这一变化规律构造监控统计量。将统计数据与置信限进行比较,从而对样本状态进行监视。通过数值例子和田纳西-伊斯曼过程的仿真实验,结果表明与其他的方法进行比较,该方法在过程故障检测中提高故障检测率,降低误报率。

关键词： 排水工程   商住小区   非开挖修复   正本清源  

摘要： 文中以金海街道商住小区正本清源改造项目为基础,对埋深较深、周边无放坡开挖条件且位于地下室顶板上无法进行支护的管段,管道横穿挡墙、喷泉、景观水池等地面构筑物且无更改管位条件的管段,涉及市政主干道的管段等,提出了相应的非开挖修复改造方案,研究成果对相关工程项目具有一定的借鉴意义。

关键词： 有限长带电直导线   电荷密度分布   坐标变换法   宏观电磁场  

摘要： 有限长带电导体直线的电荷分布是否均匀的问题,一直存在争议.对现有文献的研究思路进行了分析,发现该问题的争议来自对两种不同的带电体系的混淆,本文的结论是:(1)当带电体系是有限长无穷细直线段时,带电线段必然是绝缘的,电荷均匀分布;(2)当带电体系是有限长导体直线(有限长直导线)时,不能简化为无穷细直线段、必须具有横截面积,电荷分布是两头密中间疏.

关键词： 地方组织法   重大事项   人大及其常委会   法律依据   全国人大  

摘要： 全国人大于2022年3月修正地方组织法时,将地方人大及其常委会讨论、决定“重大事项”修改为讨论、决定“重大事项和项目”。笔者认为,增加的“项目”,可以是重大事项,也可以是非重大事项。增加“项目”为地方各级人大及其常委会讨论、决定“非重大事项”开了一个口子,提供了法律依据,地方各级人大及其常委会讨论、决定的“项目”可以是“非重大事项”。

关键词： 联合生产   α值   氨母液   母液Ⅰ   实际使用   优越性  

摘要： 对联碱生产中重要指标α值的理论表达式和生产实际中使用的表达式,做了区分和辨析,简化了理论α值的证明过程,并给出实际使用的α>2成立的范围。论证了两种表达方式适用的范围,并说明了实际使用α值在指导生产中的优越性。

关键词： 电子对抗   射频隐身   抗分选   混沌映射   信号设计  

摘要： 射频隐身是当前雷达领域的研究热点之一,抗分选信号是一种主要的射频隐身信号。研究抗分选信号的设计原理,并以此为基础在充分考虑分选算法的容差限制后,提出一种运用余弦-指数新型非线性混沌映射调制产生强随机、宽间隔脉冲重复间隔信号的方法。然后对新型混沌映射的随机性、复杂性、平衡性和所设计信号的抗分选性能进行仿真。研究结果表明,所设计的新型混沌映射较传统经典的一维映射有更强的随机性、更高的复杂性,设计信号与脉冲重复间隔随机抖动信号相比具有良好的抗分选性能。

摘要： 背景与目的：焦点讨论法（Focused Conversation），Objective-Reflective-Interpretive-Decisional简称ORID，是利用人们自然思考过程的层次，来进行思考或对话。学者指出反思是一种从经验中重新学习的工具，改变习以为常的想法与行为，发展出新方法去处理所遭遇的复杂问题。培育临床物理治疗实习生，如何善用评估的结果，厘清问题，提供适当操作或运动治疗的能力是教学医院责无旁贷的职责。然而实习生操作过程发生危害病人身体时该怎麽办？本医疗不良事件之病人经医学影像检查後为胸椎第11节压迫性骨折。本研究目的主要分享一件病安事件的反思。方法：运用ORID焦点法沟通4个层次：事件描述、失误问题、应变措施和呼应失误问题提出具体作法等处置模式，并呈现质性之反思成果。结果：客观事实上（Objective）：探究实习生操作过程失误点的时机与原因，导致病人其它部位受伤；反应自身感受（Reflective）：引发病人及实习生的互动隔阂及潜在性医疗纠纷的不安；带来的意义或经验（Interpretive）：临床教学应着重同理行为养成、医病关系的建立、团队合作的模式；产生的行动（Decisional）：规划以全人跨领域教学行动。结论：运用焦点讨论法反思此病安事件之处置将可望对临床物理治疗教育产生质变，培育优秀的专业人才。临床意义：本医疗不良事件的反省过程可提供物理治疗临床上参考，避免重蹈覆辙。

关键词： 形式化验证   形式化工程数学   逆矩阵形式化   Coq   软件安全  

摘要： 矩阵是一种在计算机科学中应用广泛的数据结构,其运算正确性具有重要意义。矩阵求逆在矩阵形式化工作当中缺乏合理且实用的形式化工作。其原因在于,工程中现有的两种常见求逆方法的形式化均存在难点。第一种是基于伴随矩阵求解方法,难点在于无法形式化地表示n*n矩阵的子矩阵,导致构建余子式组成的矩阵十分困难,因此难以实现伴随矩阵求解逆矩阵形式化;第二种称作高斯约旦初等变换求解法,难点在于构造初等矩阵及其操作函数。若使用Coq归纳结构设计操作函数,即采用行优先填充二维表的思想,将舍弃列维度对二维表的描述信息,使得操作函数分支过多,需要设计复杂的归纳结构,导致后续形式化验证无法进行。文中提出了基于记录的矩阵函数构建法,使用行列两种维度同时描述矩阵,使得构造并证明初等矩阵成为可能,在此基础上实现了在Coq系统中基于高斯约旦消元法的矩阵求逆的形式化工作。以一种代价更小且时间复杂度更低的方式,实现了首个形式化验证下的软件逆矩阵函数库。