Monotonic and nonmonotonic gentzen deduction systems for L3-valued propositional logic

A sequent is a pair (Γ, Δ), which is true under an assignment if either some formula in Γ is false, or some formula in Δ is true. In L₃-valued propositional logic, a multisequent is a triple Δ|Θ|Γ, which is true under an assignment if either some formula in Δ has truth-value t, or some formula in Θ has truth-value m, or some formula in Γ has truth-value f. Correspondingly there is a sound and complete Gentzen deduction system G for multisequents which is monotonic. Dually, a comultisequent is a triple Δ : Θ : Γ, which is valid if there is an assignment v in which each formula in Δ has truth-value≠t, each formula in Θ has truth-value≠m, and each formula in Γ has truth-value≠f. Correspondingly there is a sound and complete Gentzen deduction system G⁻ for co-multisequents which is nonmonotonic.     

Peptidyl Virus-Like Nanovesicles as Reconfigurable “Trojan Horse” for Targeted siRNA Delivery and Synergistic Inhibition of Cancer Cells

The self-assembly of peptidyl virus-like nanovesicles (pVLNs) composed of highly ordered peptide bilayer membranes that encapsulate the small interfering RNA (siRNA) is reported. The targeting and enzyme-responsive sequences on the bilayer's surface allow the pVLNs to enter cancer cells with high efficiency and control the release of genetic drugs in response to the subcellular environment. By transforming its structure in response to the highly expressed enzyme matrix metalloproteinase 7 (MMP-7) in cancer cells, it helps the siRNA escape from the lysosomes, resulting in a final silencing efficiency of 92%. Moreover, the pVLNs can serve as reconfigurable “Trojan horse” by transforming into membranes triggered by the MMP-7 and disrupting the cytoplasmic structure, thereby achieving synergistic anticancer effects and 96% cancer cell mortality with little damage to normal cells. The pVLNs benefit from their biocompatibility, targeting, and enzyme responsiveness, making them a promising platform for gene therapy and anticancer therapy.     

腔外旋转泵浦的Nd∶YAG固体激光器研究

固体激光器的热管理仍然是高功率激光系统发展的一个持续挑战。在激光系统中增益介质和泵浦光之间引入相对运动是一种高效的热管理方案。针对静止泵浦,旋转增益介质泵浦以及泵浦光旋转泵浦3种泵浦方式,借助有限元数值模拟方法分析了Nd∶YAG晶体的温度分布。泵浦光以800 r/min旋转时,在35 W泵浦功率下,使用标准的热沉冷却技术,晶体的最高温度达到约36 ℃,仅增加约16 ℃,这远低于静止泵浦时的142 ℃。实验设计并演示了一种腔外旋转泵浦的Nd∶YAG激光器,得到了12.2 W的1064 nm连续输出,斜率效率为37.2%,这大于静止时的35.1%,实验结果与理论结果相符合。研究表明,腔外旋转泵浦的固体激光器拥有高效的热管理。     

后张预应力混凝土箱形梁施工中的质量问题分析与解决措施探讨

本文结合工程实例,分析了后张预应力混凝土了箱梁施工过程中存在诸多质量问题及产生的原因,并针对性地阐述了具体的解决措施方案,实践证明,这些措施方案是行之有效的。     

CONDITIONAL FACTORIZATION BASED ON LATTICE THEORY FOR 〈K,1〉-INTEGERS

In this paper, the integer N = p^kq is called a 〈k, 1〉-integer, if p and q are odd primes with almost the same size and k is a positive integer. Such integers were previously proposed for various cryptographic applications. The conditional factorization based on lattice theory for n-bit 〈k, 1〉-integers is considered, and there is an algorithm in time polynomial in n to factor these integers if the least significant ｜（2k - 1）n/（3k-1）（k＋1）｜ bits of p are given.     

浮点数比较分支的混淆方法研究

针对当前分支混淆方法仅对整数比较分支有效的缺陷,该文分析浮点数二进制表示与大小比较的关系,证明了浮点数二进制区间的前缀集合与浮点数区间内数据之间具有前缀匹配关系。使用哈希函数对前缀集合进行保护,利用哈希函数的单向性实现对抗符号执行,通过哈希值比对替换浮点数比较,提出一种基于前缀哈希值比较的分支条件混淆技术,实现了一种在符号执行对抗和混淆还原对抗上具有较强对抗性的混淆方法。最后,通过实验证和分析,证实了该文提出的混淆方法有消耗小、能够有效对抗符号执行和混淆还原的优点,具备较好的实用性。

     

Load prediction based elastic resource scheduling strategy in Flink

In order to solve the problem that the load of big data stream computing platform fluctuates drastically while the cluster was suffering from the performance bottleneck due to the shortage of computing resources,the load prediction based elastic resource scheduling strategy in Flink (LPERS-Flink) was proposed.Firstly,the load prediction model was set up as the foundation to propose the load prediction algorithm and predict the variation tendency of the processing load.Secondly,the resource judgment model was set up to identify the performance bottleneck and resource redundancy of the cluster while the resource scheduling algorithm was proposed to draw up the resource rescheduling plan.Finally,the online load migration algorithm was proposed to execute the resource rescheduling plan and migrate processing load among nodes efficiently.The experimental results show that the strategy provides better performance promotion in the application with drastically fluctuating processing load.The scale and resource configuration of the cluster responded to the variation of processing load in time and the communication overhead of the load migration was reduced effectively.     

应用于智能驾驶的77GHz毫米波汽车雷达收发机芯片

针对未来智能驾驶和无人驾驶对毫米波传感器多模式、多场景感知需求,设计并实现了一种77GHz多模毫米波雷达收发机芯片。芯片采用65nm CMOS工艺,集成了3路雷达发射机和4路接收机、调频连续波（FMCW）波形发生器、模数转换器以及高速数据接口等电路。利用交叉耦合中和电容技术提升了CMOS工艺上毫米波低噪声放大器、毫米波片上功放等电路性能,采用两点调制锁相环技术提升了FMCW信号带宽和调制速率。收发机的发射功率、波形样式、接收增益和带宽等参数具有较好的可配置性,满足未来多模式、小型化和低成本汽车雷达传感器需求。芯片测试结果显示,在76～81GHz频率范围内,接收机实现50dB的增益控制,最小噪声系数11dB,FMCW信号调频带宽达4.2GHz,调制速率达233MHz/μs,线性度优于0.1%,－45～+125℃全温范围内发射机典型输出功率大于13dBm。     

余热锅炉初步热控设计研究

介绍了哈锅从ALSTOM公司引进技术设计的余热锅炉的基本情况,并参照NFPA85C(2001版)规程,对余热锅炉热工控制的设计和操作过程中的要点和注意事项做出了简要阐述。     

丝素蛋白膜上5-氟尿嘧啶的固定及其释放性能研究

蚕丝丝素膜是弱两性天然高分子荷电膜，用丝素膜作载体，固定抗肿病药5-氟尿嘧喧，并探索其在pH＝3、7、9，25℃下的缓释性能。结果表明：适量的5-氧尿嘧啶能够固定在丝素膜上，且经过丝素涂层保护，5-FU释放速率变慢，释放时间可以延长；在酸性条件下缓释效果好。