电子海图平台下的航线自动设计方法

为优化舰船计划航线设计,提出了一种基于电子海图的自动设计方法.通过追踪安全等深线和处理障碍区,得到可航渡区域.在可航渡区域内,进行路径的可航渡性测试,自动搜索一条安全的最短计划航线,并根据障碍区的动态变化,实时调整和优化航线.实验结果表明,与传统的手工作业方法相比,该方法在效率、经济性、可靠性等方面都具有明显的优势.     

Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems

Hybrid systems are dynamical systems with interacting discrete computation and continuous physical processes, which have become more common, more indispensable, and more complicated in our modern life. Particularly, many of them are safety-critical, and therefore are required to meet a critical safety standard. Invariant generation plays a central role in the verification and synthesis of hybrid systems. In the previous work, the fourth author and his coauthors gave a necessary and sufficient condition for a semi-algebraic set being an invariant of a polynomial autonomous dynamical system, which gave a confirmative answer to the open problem. In addition, based on which a complete algorithm for generating all semi-algebraic invariants of a given polynomial autonomous hybrid system with the given shape was proposed. This paper considers how to extend their work to non-autonomous dynamical and hybrid systems. Non-autonomous dynamical and hybrid systems are with inputs, which are very common in practice; in contrast, autonomous ones are without inputs. Furthermore, the authors present a sound and complete algorithm to verify semi-algebraic invariants for non-autonomous polynomial hybrid systems. Based on which, the authors propose a sound and complete algorithm to generate all invariants with a pre-defined template.     

基于食品安全事件异质性的信息扩散过程研究

针对企业在食品安全事件中承担的责任不同,研究不同类型食品安全事件下的信息扩散过程,对政府和企业的食品安全应急管理和风险信息交流具有重要意义.本文首先构建了食品安全信息扩散的修正Bass模型,分析可辩解型食品安全事件下的负面信息扩散过程;然后,运用改进的社会影响模型分析了不可辩解型食品安全事件下的负面信息扩散过程;最后,运用顶新"馊水油"视频事件的互联网搜索数据进行实证分析.研究表明,可辩解型食品安全危机中的信息扩散达到动态稳定状态时,信任与不信任的消费者比例与正负信息的相互渗透率有关.在不可辩解型食品安全危机中,消费者对负面信息的免疫力越弱,越容易对食品企业和政府行为产生不信任,并改变消费决策,信息扩散速率和临界值的分布影响动态均衡的实现过程.     

场助纳米二氧化钛薄膜光催化降解甲紫的研究

纳米二氧化钛是一种重要的无机功能材料。本文采用溶胶-凝胶法制备了TiO_2薄膜,利用"场助"影响其光催化特性。光催化实验以可能具有致癌性并且难以生化降解的三苯甲烷类染料——甲紫作为降解物质,用2100型分光光度计来测量降解率,以确定电场、磁场强度对光催化特性的影响。光催化实验结果表明,外加电场(未参与水的电解)、磁场对于协助光催化降解甲紫有着明显的效果。随着外加电场、磁场强度的增加,甲紫溶液的降解率有大幅提高。反应符合一级动力学方程。     

一种适用于高阶QAM载波恢复的改进型稳定性算法

本文提出了一种结合频率相位载波恢复的数字QAM接收系统,将非零均值引入到Stop—and—Go控制器中,有效地解决了稳定状态的误差偏移较大的问题。仿真结果表明系统在15dB信噪比时,采用载波恢复电路只需7500个符号周期即可捕获达到6％符号率的频偏和30。的相偏,同时其稳态相位抖动亦显著减少到0．07。     

基于自适应背景模型的动态场景目标检测

背景建模一直是运动目标检测中的一个重要课题。该文提出一个适用于动态背景的基于非参数估计的前景背景对比模型。模型通过核函数估计的方法模拟了像素点五维特征向量的概率分布,并在图像序列中滚动更新。实验证明,上述算法能够在一般目标检测,特别是动态场景(摇动树枝等)的检测中取得较好的效果。     

浅论绿色无锡建设中的绿化仿生问题

本文分析了城市绿化建设中存在的共性问题及可采取的对策,从生态系统生物生产、物质循环、能量流动、信息传递以及构建和谐种群关系5个方面论述了城市绿化应以模拟自然生态系统结构与功能为途径,并指出提高城市绿化仿生水平是实现绿色无锡建设目标的关键.     

基于模拟有限差分的嵌入式离散裂缝数学模型

嵌入式离散裂缝模型划分网格时不需要考虑油藏内的裂缝形态,只需对基岩系统进行简单的网格剖分,可以大大降低网格划分的复杂度,从而能够提高计算效率.并且该模型可以将现有成熟的油藏数值模拟技术和离散裂缝网络模型有机地结合起来,能精细地模拟流体在裂缝性油藏中的流动.本文模型求解采用模拟有限差分方法,该方法基于单个网格的节点和面信息构造数值计算格式,理论上适用于任何复杂网格系统,且具有良好的局部守恒性,将其推广到嵌入式离散裂缝模型后,克服了该模型基于有限差分方法求解时不能有效处理全张量形式的渗透率以及不适用于复杂边界形状裂缝性油藏的局限性.最后通过实际算例验证了本文方法的正确性和优越性.     

Mutations in NMNAT1 cause Leber congenital amaurosis and identify a new disease pathway for retinal degeneration

Leber congenital amaurosis (LCA) is a blinding retinal disease that presents within the first year after birth. Using exome sequencing, we identified mutations in the nicotinamide adenine dinucleotide (NAD) synthase gene NMNAT1 encoding nicotinamide mononucleotide adenylyltransferase 1 in eight families with LCA, including the family in which LCA was originally linked to the LCA9 locus. Notably, all individuals with NMNAT1 mutations also have macular colobomas, which are severe degenerative entities of the central retina (fovea) devoid of tissue and photoreceptors. Functional assays of the proteins encoded by the mutant alleles identified in our study showed that the mutations reduce the enzymatic activity of NMNAT1 in NAD biosynthesis and affect protein folding. Of note, recent characterization of the slow Wallerian degeneration (Wld(s)) mouse model, in which prolonged axonal survival after injury is observed, identified NMNAT1 as a neuroprotective protein when ectopically expressed. Our findings identify a new disease mechanism underlying LCA and provide the first link between endogenous NMNAT1 dysfunction and a human nervous system disorder.     

A genome-wide association study in Han Chinese identifies new susceptibility loci for ankylosing spondylitis

To identify susceptibility loci for ankylosing spondylitis, we performed a two-stage genome-wide association study in Han Chinese. In the discovery stage, we analyzed 1,356,350 autosomal SNPs in 1,837 individuals with ankylosing spondylitis and 4,231 controls; in the validation stage, we analyzed 30 suggestive SNPs in an additional 2,100 affected individuals and 3,496 controls. We identified two new susceptibility loci between EDIL3 and HAPLN1 at 5q14.3 (rs4552569; P = 8.77 × 10(-10)) and within ANO6 at 12q12 (rs17095830; P = 1.63 × 10(-8)). We also confirmed previously reported associations in Europeans within the major histocompatibility complex (MHC) region (top SNP, rs13202464; P < 5 × 10(-324)) and at 2p15 (rs10865331; P = 1.98 × 10(-8)). We show that rs13202464 within the MHC region mainly represents the risk effect of HLA-B*27 variants (including HLA-B*2704, HLA-B*2705 and HLA-B*2715) in Chinese. The two newly discovered loci implicate genes related to bone formation and cartilage development, suggesting their potential involvement in the etiology of ankylosing spondylitis.