形式系统L＊中极大相容逻辑理论的拓扑刻画

进一步研究了形式系统L*中极大相容理论的Stone拓扑性质,给出了开、闭集的结构刻画;在全体极大相容理论之集上引入了一种三值拓扑,证明该拓扑空间是零维的、覆盖式紧的和Hausdorff的;最后讨论了上述三值拓扑与Stone拓扑间的联系.为建立基于形式系统L*的知识推理理论奠定基础.

关于形式系统L＊（强）完备性证明的注记

考察了形式系统L 完备性的现有证明过程,并对其中所涉及的R0代数同构问题进行了研究,分析了关于L 系统强完备性证明中的错误并给出了一个全新的修正证明.讨论了单位区间[0,1]上全序R0代数的非运算与强否定的一致性,给出了强否定表示定理的一个等价刻画,并对基于不同强否定且蕴含算子为R0算子的无穷值逻辑系统之上的广义重言式进行了考察,得到了公式集F(S)基于不动点的一类新的分划.

基于高阶幂的单快拍LDACS系统波达方向估计

L波段数字航空通信系统(L band digital aeronautical communication system,LDACS)是未来航空宽带通信重要的基础设施之一,针对LDACS信号容易受到相邻波道大功率测距仪(distance measuring equipment,DME)信号干扰的问题,提出了联合正交投影干扰抑制与单快拍稀疏分解的波达方向(direction of arrival,DOA)估计方法。通过子空间投影抑制DME干扰,然后使用单快拍数据构建伪协方差矩阵,对伪协方差矩阵求高阶幂,之后进行奇异值分解,并利用约束条件求解稀疏解得到期望信号来向的估计值。所提方法使用高阶伪协方差矩阵降低了噪声影响,仅用单快拍就可以准确估计LDACS信号的入射方向。仿真结果表明,改进单快拍高级幂(improved single snapshot high order power,ISS-HOP)L1-SVD算法的估计精度优于ISS-HOP-MUSIC算法。该方法可以有效抑制DME干扰,提高OFDM接收机性能。

基于GNSS-RTK定位的无人机L波段探空系统标定方法

随着我国北斗卫星导航探空观测系统升级换代工作逐步推进,降低L波段探空系统测风数据差异的需求尤为迫切。利用无人机GNSS-RTK定位信息研究新的标定方法,相较传统标定手段,避免人为因素干扰、极大的降低测量误差,新的标定方法更加科学有效,对保证测风数据的有效性,提高高空气象观测数据质量具有重要应用意义。

基于粗糙基底的W/316L不锈钢第一壁系统热应力的研究

第一壁系统中热应力的大小是决定聚变堆安全运行的关键因素之一。本文通过Ansys Workbench有限元软件,对具有粗糙基底的W/316L不锈钢系统中的热应力分布,以及影响热应力大小的诸如温度、涂层厚度、基底厚度等因素进行了深入分析。同时从系统中交界面剪切应力入手,研究了粗糙基底对涂层结合强度的影响。结果表明:粗糙基底系统中热应力随着温度、基底厚度的增加而增加,随着涂层厚度的增加而降低。除此之外,粗糙基底提升了系统中热应力的极值,在一定程度上提高了涂层与基底的结合强度。研究结果为后期高结合强度第一壁涂层系统的研发提供了一定的参考价值。

羊种布鲁氏菌Tat系统底物蛋白ErfK的抗原性和免疫原性研究

为分析羊种布鲁氏菌双精氨酸转运系统(twin-arginine translocation system,Tat system)毒力相关底物蛋白L,D-转肽酶ErfK诱导宿主产生的免疫应答情况,首先对布鲁氏菌M28毒株ErfK基因序列(WP_002963714.1)进行生物信息学分析,参考序列设计引物,构建表达载体pET-30a(+)-ErfK,经IPTG诱导表达、亲和层析和镍柱纯化获得目的蛋白;利用SDS-PAGE和Western blot对重组ErfK(rErfK)蛋白进行抗原性鉴定;将rErfK蛋白免疫小鼠,分别在免疫后15、30和45 d收集血清和脾脏,检测蛋白免疫后小鼠的细胞免疫应答和体液免疫应答情况。生物信息学预测结果显示,ErfK蛋白无跨膜结构,为亲水性蛋白,有多个T细胞和B细胞抗原表位;SDS-PAGE和Western blot均可获得25 kDa的蛋白条带,重组蛋白可与布鲁氏菌阳性血清发生反应,证明rErfK有良好的抗原性;小鼠免疫试验结果显示,rErfK组小鼠脾脏CD8^(+)T细胞含量相比PBS组显著上升(P<0.05),且脾脏Th1型细胞因子IL-2、TNF-α、IFN-γ和Th2型细胞因子IL-4转录水平均显著上升(P<0.05),此外,rErfK免疫也能极显著诱导小鼠血清中总IgG和特异性IgG的产生(P<0.01)。上述结果表明,经大肠杆菌表达的布鲁氏菌rErfK蛋白可诱导小鼠产生良好的体液免疫和细胞免疫应答。本研究为基于ErfK蛋白的布鲁氏菌病诊断试剂和亚单位疫苗研发提供了参考依据。

基于参数L-系统的油菜花朵与花序生长可视化研究

为奠定油菜品种株型设计仿真基础,应用参数L-系统的原理,提出了甘蓝型油菜花朵和花序可视化生长的L-系统模型框架。通过对田间试验测量数据统计分析和归一化处理,用Sigmoid5参数函数拟合花轴节间长度和直径的生长,用Weibull4参数函数拟合花柄长度、直径的生长。采用L-系统和预定义Bezier曲面建模方法构建油菜花朵仿真模型。根据Bezier曲面的算法,构建了油菜花朵花瓣和萼片及其曲面模型。最后以L-Studio4.0为平台、结合VC++实现油菜花朵和花序的可视化生长模拟。结果表明,该方法可以真实生成油菜花朵和花序,真实感基本达到要求。

基于L系统的织物分形组织设计方法

为探索一条与传统方法不同的织物组织设计新途径,基于L系统理论,以4枚破斜纹、5枚缎纹等组织为例,尝试提出一种新的织物组织设计方法。该方法运用L系统的链式语言生成规则与计算机图形技术,生成具有自相似性特征与相互嵌套、多层次结构的分形组织,并通过选择合适的填充组织,构造出实用且与传统形式不同的织物分形组织。在此基础上,借助电子提花机进行了织物成型实验,由此对分形织物组织所产生的织物效果进行了初步的探讨。

结合图像重建和L系统的虚拟植物原型系统设计

为模拟植物的生长或形态特性,探索提出了一种结合图像重建和L系统的虚拟植物可视化原型系统;植物主干采用L系统生成;植物细节对视觉效果影响较小,采用植物器官表面重建;采用规则建模来提高模型的可控性,基于图像重建得到更好的可视效果。试验表明该文方法能够降低建模复杂度,较好实现虚拟植物的可视化展现。

基于分形L系统的纺织品图案的自动生成

根据分形L系统的构图原理,运用VB语言编写了用来生成典型的分形曲线——Von Koch曲线和Peano-Hilbert曲线的程序。利用程序,通过改变参数,产生出各种变化的适用于纺织品的艺术图案。

L系统理论在植物根系生长模拟中的应用研究

根据植物根系生长的几何特征,探讨了L系统理论在植物根系生长模拟中的具体应用。把括号L系统、参数L系统、随机L系统和时变L系统等结合起来,建立了描述植物根系生长的产生式集,实现了直根系植物根系生长的三维可视化,表达了根系生长的随机性特征和图形随时间变化的连续性。

基于Open-L系统的植物结构功能模型研究

为了真实地模拟植物生长发育过程,引入了Open-L系统建模理论。在植物形态发生模型的基础上,根据植物生长时其形态与生理特性及环境之间的相互作用,构建了综合考虑植物结构与功能的虚拟植物模型,再根据该模型有效组织了植物生长过程中的数据信息,并建立植物生长的可视化流程。最后,开发一个原型系统验证了该模型的可行性和有效性。

GeS_2-Ga_2S_3-KCl系统玻璃的拉曼光谱研究

对GeS2Ga2S3KCl准三元系统玻璃3个系列样品的室温拉曼谱进行了系统的探测和分析。根据准二元系统GeS2KCl和Ga2S3KCl的熔融淬冷产物的观察和拉曼谱的分析,得出了在GeS2Ga2S3KCl系统玻璃中仅Ga2S3和KCl发生了化学反应并产生了新结构单元GaS32Cl的结论。根据系列Ⅰ和Ⅲ拉曼谱的演变证实了引入的K+离子是以氯原子为最近邻配位且仅形成单壳层结构。根据K+离子对结构单元GaS32Cl和亚结构单元Ga2S4Cl2影响的分析,成功地解释了GeS2Ga2S3KCl准三元系统玻璃中的拉曼谱演变。

基于L系统的3×3平纹分形组织设计应用方法

为探讨分形组织在织物设计中的具体运用途径,根据3×3平纹变化组织点分布简单、均衡与对称等特点,运用L系统的链式语言生成规则与计算机图形方法,生成具有4级自相似结构的分形组织,并在此基础上讨论其分形组织的主要变化形式及其设计应用方法。重点研究通过填充组织的变化,配合分形组织获得一类新型的组织结构,进而探索设计产生新的织物表面饰纹与肌理的基本途径。同时,借助电子提花机技术进行织造实验,从而为运用分形组织开发设计新型纺织面料进行初步尝试。

系统L中公式相对于有限理论的∑_Γ-真度理论

将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合,在经典二值命题演算系统L中引入了公式相对于有限理论的∑Γ-真度理论,较为详细地讨论了它们的性质,并利用∑Γ-真度的性质在公式集F(S)上引入了ρΓ-伪距离,对原有的理论进行了加强和补充,为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础。

基于L系统和三维Morphing的器官生长建模

为解决植物器官生长过程中的变形问题,提出一种基于L系统和三维Morphing的器官生长建模方法。该方法以L系统描述植物的拓扑结构,以三维Morphing模拟植物叶片和果实的变形过程,并根据花的特殊结构引入一种模块化建模方法以实现花的开放过程。以辣椒为例展示建模过程,实验结果表明,该算法能解决植物器官变形问题,提高建模效率。

基于随机L系统的三维分形树算法和实现

基于随机L系统理论,采用三种基本节点符和相应的几种产生式规则,通过记录当前代数和每个节点的生成代数,用它们的比值来控制树干粗细和相应节点符对应的产生式规则的选择,达到逼真地模拟自然界植物生长过程的随机性和规律性。用户通过调整这一比值,可以得到表现不同特征的目标树。该算法生成的三维分形树结构性强,能很好地被解释和编辑。

基于分形L系统的水稻根系建模方法研究

【目的】根系建模是虚拟水稻可视化模型中重要的组成部分,是认知以及研究水稻根系形态结构的重要方法,并为精确农业提供依据,本研究旨在构建仿真效果较好的水稻根系模型。【方法】利用水培法开展试验,测定水稻根系各类形态参数。【结果】构建了基于分形L系统的水稻根系模型,包括不定根模型、分枝根模型、旋转角度等信息。首先根据水稻根系形态特征解析出分形L系统的产生式,然后借助MATLAB软件实现了根系的形态模拟,最后根据模拟效果图进一步优化了分形L系统的产生式,提高了模型精度。【结论】构建完成的模型能够较好地模拟水稻根系的生长过程,在智慧农业发展过程中,具有一定的参考价值。

基于L系统改进的虚拟植物原型系统设计

设计实现了基于L系统改进的虚拟植物可视化原型系统。该原型系统实现了微机平台上可视模拟植物生长,并取得了较好的试验效果。系统设计思想以植物可视外观展现为主要目的,结合了L系统和基于图像建模的优点,对植物器官的建模方法是基于能够反映植物器官主要特征的表面建模。其实现思路是在L系统所描述的植物拓扑结构的基础上,对预先定义好的植物器官网格面进行装配。与L系统相比较,有更好的外观效果和较低的时间复杂度。

Lukasiewicz系统中的广义重言式理论

引入了一类特殊的公式序列Ａｋ（ｋ＝１，２，…），从而证明了在Ｌｕｋａｓｉｅｗｉｃｚ系统中广义重言式有更加精细的区分，即在连续值或有理值的情形下对任意真值α和β，若α≠β，则有α－Ｔ（Ｌ）≠β－Ｔ（Ｌ）．并给出了广义重言式的关系定理，即对任意真值α，α－Ｔ（Ｌ）＝∩β＜α，β∈（Ｌ）β－Ｔ（Ｌ）．