航海模拟器中测天定位的仿真研究

为了实现六分仪测天定位的计算机模拟,综合计算机图形学和航海天文学知识,建立了六分仪测天定位数学计算模型,提出了一种在航海模拟器中模拟六分仪测天原理的视景绘制方法,最终实现了测天定位原理的计算机模拟.仿真结果表明,该研究成果可实现天体定位原理的计算机模拟,从而为天文航海教学提供了直观便捷的手段,对提高学生对六分仪测天定位过程的深刻了解和天体定位导航仿真研究打下了基础.     

THE CHARACTERISTIC OF EVENTUALLY UNIFORMLY CONTINUOUS C0 SEMIGROUPS ON A HILBERT SPACE

1.IntroductionA.Pazy[1]hastwicepointedoutthatsofar,therearenoknownnecessaryandsufficientconditions,intermsofAortheresolventR(A;A),whichassurethecontinuityfort>0ofT(t)intheuniformoperatortopology.Dr.PengfeiYaol2]hasobtainedthecharacteristicconditionsofaCOsemigroupT(t)onaHilbertspace,whichassurethecontinuityofT(t)fort>0intheuniformoperatortopology.InthispaperweconsiderthecharacteristicconditionsofaCOsemigroupT(t)onaHilbertspace,whichassurethecontinuityofT(t)fort>to(to20)intheuniformoper…     

基于IDEF0模型的Petri网间接建模方法研究

通过对IDEF0和Petri网两种建模方法分析与对比,表明基于Petri网建模可以解决IDEF0方法在模型的动态性、完备性和方法连贯性方面存在的问题;提出IDEF0模型到Petri网模型的转换思路和基本转换方法,以一个信息管理模块为例实现模型转换,在此基础上提出了改进策略.研究结果有助于以Petri网为统一工具实现系统建模与开发,为解决当前系统开发遇到的问题提供一种新的途径.     

K—正则预解算子族的谱映象定理

设k∈C（R^＋），A是Banach空间X中的闭稠定线性算子，且A生成一个指数有界的k-正则预解算子族R（t）。证明了A谱和R(t）谱之间的一些关系，并由此获得预解算子族，积分半群，积分余弦函数C0-半群，强连续余弦函数的相应结果。     

简易合成天然修饰核苷2'-脱氧古鸟苷

该文用改良的Pinner反应(通过加乙酰氯到甲醇中产生HCl,取代直接通HCl气体),将7-氰基-7-脱氮-2'-脱氧鸟苷(dPreQ₀)转化为7-甲脒基-7-脱氮-2'-脱氧鸟苷(2'-脱氧古鸟苷,dG⁺),产率为92.59%,其化学结构经核磁共振、高分辨质谱分析确证.优化了关键中间体dPreQ₀的合成纯化工艺.采用改良的Pinner反应,以2-氨基-4-氯吡咯并[2,3-d]嘧啶为起始物,通过7步反应制备dG⁺的总反应产率达到33%.dG⁺及其中间体的合成方法对其规模化合成具有重要意义,也为生物技术的发展提供支持.     

大跨径连续刚构桥零号块空间应力分析

以某大跨径连续刚构桥零号块为研究对象,采用大型有限元软件midas FEA建立零号块实体计算模型。以施工过程中最大双悬臂阶段及成桥运营阶段最大弯矩工况、最大剪力工况为控制计算工况,提取各计算工况下整体模型中最不利内力,对零号块进行空间应力分析,得出结论为类似工程零号块的设计与施工提供参考。     

边疆民族地区本科院校专业质量标准建设研究——以大理学院为例

结合边疆民族地区地方本科院校的办学定位和特点,遵循教育部有关本科教育质量及教学工作评估的要求,参考ISO 9000族质量管理的基本原则,建立专业质量标准,并对相关专业进行评测,对规范专业建设要求、促进专业建设质量和人才培养质量的提高起到了积极的推动作用。     

可换BR_0代数的刻画和性质

为了得到基础R0代数(简称BR0代数)的更多表示和性质,利用蕴涵算子给出了可换BR0代数的两种形式更为简单的刻画;证明了可换BR0代数与有界可换BCK代数之间的等价性;证明了满足Heyting性质(HP条件)的可换BR0代数与正则Heyting型FI代数(即HFI代数)等价.     

ARCH(0,q)模型参数M-估计的渐近性质

在一个新的准则函数下,用遍历性定理证明了自回归条件异方差模型ARCH(0,q)参数的M-估计的相合性,并用鞅中心极限定理给出了该模型M-估计的渐近正态性.     

多优化目标视角下高铁站到发线运用计划编制

在给定列车运行图和车站候车厅布局的前提下,研究高速铁路车站到发线运用问题。以股道和道岔的相容性约束作为前提,分析检票口附近固定座位数量和检票口与站台的通道距离,以增强车站作业计划稳定性、列车站内走行距离最短和最大化满足候车厅布局为3个优化目标,建立了到发线运用的0-1整数规划模型。针对模型特点,采用Lingo编程进行求解,最后通过某客运站为例证明该模型的有效性。结果表明,该模型能准确描述实际问题,适用于大型高铁站的股道分配问题。