Design And Implementation of Inside Management System For IC Enterprises

目前IC企业内部，各部门需要相互紧密协调，相互频繁沟通才得以保证销售，生产，采购流程的正常运行，但随着公司规模不断扩大，传统的excel日常存储和操作已经显得非常笨拙。于是一年半之前引入ERP软件，但是由于预算的限制目前的SAPBusinessOne在功能方面非常有限。例如在订单计划交期计算，利用扫描设备仓库出入库，批量导入单据等都不具备，并且由于其跨地域操作非常不方便及个性化需求方面也不能得到满足。因此需要开发一套内勤管理系统来扩展和满足个性化的需求同时并和现有SBO数据无缝对接。本论文就是主要对如何实现一个完善的IC设计企业内勤管理系统进行具体设计和分析。 该系统的实现采用B/S形式，可...At present, the IC enterprise interior, all departments need to coordinate each other, mutual communication to ensure the normal operation of the sales, production, procurement process, but with the size of the company continues to expand, the traditional excel daily storage and operation has been very clumsy. So a year and a half before the introduction of ERP software, but due to the limitations...学位：工程硕士院系专业：软件学院_工程硕士(软件工程)学号：X201323124

Anchor-free Distributed Self-localization Method in Wireless Sensor Network with Range Errors

无线传感器网络中,采用RSSI方法进行自定位时,测距误差会影响定位精度。提出了一种分布式的无锚点定位方法,在对测距误差进行正确估计的基础上,求得各节点的相对位置。首先将测距误差定义为一个目标函数,使用最速下降法来分布式地求解全局非线性优化问题,以使这个目标函数最小化,然后利用节点间的估计距离与实际测量距离的偏差值来修正节点的估计坐标。仿真实验对各种影响参数进行了评估,结果证明:在无锚节点且距离测量值存在误差的情况下,满足一定的节点连通度时,能够提高节点定位精度。In wireless sensor networks,the existing range errors will affect the position accuracy when using RSSI method to locate the nodes' position. Based on the correct estimation of range errors,a distributed location method is proposed,to found the node's position. By using the steepest descent method,an object function of range errors is defined to solve the global nonlinear optimization problem and hence minimize this object function. Due to the estimated distance between the nodes and the deviation value of the actual measurement distance one can update the estimated coordinates of the node. With the existence of range errors and certain requirement of connetivity of nodes,the result shows that the nodes position will be distributed estimated correctly.福建省自然科学基金(2015J01267);; 福建省教育厅科研项目(JA15650,JA15257);; 厦门市科技局项目(2014S0884,3502Z20153010

氧化物敏感膜压电晶体乙醇传感器的气敏特性研究

本文在压电晶体上喷涂氧化物,以聚乙二醇400为载体,研制了乙醇的气敏传感器,进行了乙醇气敏特性的测试。选择了氧化硼作氧化物敏感膜,具有较高的灵敏度,响应时间快,性能稳定等特点。国家自然科学基

Inter-regional biological invasion in China:Present status and countermeasures

区域间生物入侵是指国家内部不同区域间物种入侵所引发的危害。由于我国生态系统错综多样,国内人员、物品流动频繁且不易监控,因此区域间生物入侵危害已经十分严峻。本文主要以我国以及国外已有的区域间生物入侵事件为例,分析其主要的入侵途径、危害与防治措施。区域间生物入侵主要通过引种、运输、人为干扰等途径,可以造成土著种灭绝、基因污染、生物多样性降低等危害。全球气候变化、南水北调等大型工程建设以及海峡两岸交流等领域是今后我国区域间生物入侵研究的主要方向。Inter-regional biological invasion is a new concept,which is defined as the invasion of alien species from one region to another region within a country.Because of the intensive personnel-and goods flow and its difficulty to control,the inter-regional biological invasion is now very serious in China.Based on the cases of the inter-regional biological invasion at home and abroad,this paper analyzed the main pathways of the invasion and its dangers,and put forward some countermeasures.Alien species introduction,transportation,and anthropogenic disturbances are the main pathways of the inter-regional biological invasion,which can cause the native species extinction,genetic contamination,and biodiversity decrease,etc.Some future research directions on the inter-regional biological invasion in China,including climate change,South-to-North Water Diversion Project,and Cross-Straits exchanges,were proposed.国家自然科学基金项目(40671116);福建省自然科学基金重点项目(D0720002);教育部新世纪优秀人才支持计划;福建省高校新世纪优秀人才支持计划资助项

Viral neutralization by antibody-imposed physical disruption

中和抗体是机体抵御病毒入侵的一类免疫球蛋白，也是疫苗发挥作用的主要效应分子。目前已知的中和抗体作用机制，主要包括阻断病毒-细胞相互作用和介导免疫调理作用。最近我校夏宁邵教授团队研究结果揭示了一种由抗体诱导病毒原位崩解的中和新机制。该研究首次揭示了抗体的直接物理碰撞中和机制，并提出诱导这类中和抗体的方法，有助于病毒保护性抗体和疫苗设计，适用于多种病原体，而不仅限于戊型肝炎病毒。分子疫苗学和分子诊断学国家重点实验室夏宁邵教授、李少伟教授和顾颖副教授为该论文的共同通讯作者，郑清炳博士、硕士生蒋婕、博士生何茂洲和郑子峥副教授为共同第一作者。In adaptive immunity, organisms produce neutralizing antibodies (nAbs) to eliminate invading pathogens. Here, we explored whether viral neutralization could be attained through the physical disruption of a virus upon nAb binding. We report the neutralization mechanism of a potent nAb 8C11 against the hepatitis E virus (HEV), a nonenveloped positive-sense single-stranded RNA virus associated with abundant acute hepatitis. The 8C11 binding flanks the protrusion spike of the HEV viruslike particles (VLPs) and leads to tremendous physical collision between the antibody and the capsid, dissociating the VLPs into homodimer species within 2 h. Cryo-electron microscopy reconstruction of the dissociation intermediates at an earlier (15-min) stage revealed smeared protrusion spikes and a loss of icosahedral symmetry with the capsid core remaining unchanged. This structural disruption leads to the presence of only a few native HEV virions in the ultracentrifugation pellet and exposes the viral genome. Conceptually, we propose a strategy to raise collision-inducing nAbs against single spike moieties that feature in the context of the entire pathogen at positions where the neighboring space cannot afford to accommodate an antibody. This rationale may facilitate unique vaccine development and antimicrobial antibody design.This research was supported by grants from the Natural Science Foundation of Fujian Province (Grant 2017J07005), the National Science and Technology Major Project of Infectious Diseases (Grant 2018ZX10101001-002), and the National Natural Science Foundation of China (Grants 81871247, 81991490, and 81571996).国家自然科学基金重大项目、海峡联合项目和面上项目、福建省自然科学杰出青年基金、国家传染病科技重大专项等资助了该项研究

东盟国家金融自由化——一个成功的范例

本文是一篇考察东盟国家金融自由化改革的文章．在这篇文 章中，我们考察了一组国家金融改革的成效、曾经出现的问题 及政府的货甲政策．由于前人已在此领域进行了大量的工作。对东 盟国家金融改革进行了许多探讨，所以本文打算省去有关金融自由 以本文对改革后利率和汇率的波动及其原因进行了讨论．以上是论 文的第一部分内容．开放的资本市场是金融改革至关重要的一个环 节，许多拉美国家的金融改革计划都在此触礁并因之前功尽弃，而 东盟国家以其温和而谨慎的管理给发展中国家树立了一个较为成 功的典范．本文选取范例国家描述了不同的国家政府是如何根据其 经济目标及经济特色对汇率的波动和货币存量的管理进行...学位：经济学硕士院系专业：经济学院经济系_世界经济学号：1993060

Coinduction-based solution for minimization of Kripke structure

状态空间爆炸问题是模型检测的最大障碍.从余归纳（特别是余代数）的角度研究了这个问题.用余归纳的方法证明：⑴对于任意给定的一类Kripke结构（记 为Kappa），在互模拟等价意义下Kappa中最小Kripke结构（记为Kappa_0）的存在唯一性。K0描述了Kappa中所有Kripke结构 的行为而且没有冗余的状态；(2)对于任意的MК（M可能包含无穷多个状态），在互模拟等价意义下的相对于（M且基于К_0）的最小Kripke结构（记 为КM）的存在唯一性.由此提出一种求解КM的算法，并用Ocaml予以简单实现.其应用之一在于可以用状态空间更小的КM代替M进行模型检测.该方法可 自然地推广到基于其他类型函子的余代数结构.State explosion problem is the main obstacle of model checking. This problem is addressed in the paper from a coalgebraic point of view. By coninduction principle, the paper proves that: (1) Given any class of Kripke Structures (denoted by Κ), there exists a unique smallest Kripke structure (denoted by K0) with respect to bisimilarity which describes all behaviors of the Kripke structures with no redundancy. (2) For any Kripke Structure M∈Κ (the state space of M may be infinite), there exists a unique concrete smallest Kripke structure KM. Base on this idea, an algorithm is established for minimization of Kripke Structures. A naive implementation of this algorithm is developed in Ocaml. One of its applications is that instead of M, KM can be used with a smaller state space to verify properties for M in the process of Model Checking. © Copyright 2014, Institute of Software, the Chinese Academy of Sciences. All rights reserved

自我面孔诱发大小知觉错觉

过去的大量研究表明自我面孔享有识别、注意、记忆等方面的加工优势。我们最近开展的一项研究发现自我面孔的这种加工优势能够影响基本的知觉过程从而诱发大小错觉。实验1采用大小辨别范式,发现与相同大小的他人面孔相比,自我面孔会被知觉得更大。为排除熟悉性因素的影响,实验2将他人面孔替换为被试高度熟悉的名人面孔,发现与相同大小的名人面孔相比,自我面孔同样会被知觉得更大,说明自我面孔诱发的大小错觉特异于自我面孔加工。为进一步排除面孔物理特征、熟悉性等因素对研究结果的混淆,实验3将大小辨别范式与联结匹配范式相结合,把两张不同的卡通面孔随机分配至自我面孔条件和他人面孔条件,两张卡通面孔便被赋予了自我面孔和他人面孔的具象意义,进而探究具有相同熟悉性的卡通面孔在联结匹配前后大小知觉的变化。实验结果发现,自我联结面孔比相同大小的他人联结面孔看起来更大,说明自我面孔诱发的大小高估错觉可以延伸至自我联结面孔。实验4将艾宾浩斯错觉范式的变式作为测量工具,考察自我面孔知觉优势加工是否可以调节情境中其他物体的大小知觉,结果表明当联结面孔作为情境刺激时,自我面孔优势加工还会进一步调节对其他物体的大小知觉,使得物体的大小被低估,产生类艾宾浩斯错觉。综上,该研究发现了一种新的自我面孔加工优势&mdash;&mdash;自我面孔大小高估错觉,而且,这一错觉效应可以延伸至自我联结面孔,进而调节其他物体的大小知觉。当前的研究结果从大小知觉层面为自我面孔加工特异性提供了新的证据,并强调了自我意识在大小知觉中发挥的重要作用。</p

Computer Simulation in Acute Angle-closure Glaucoma Based on Parameter Model

急性闭角型青光眼是一种严重危害人体健康的疾病,由于其诊断和治疗手段的主观性,对其进行建模与仿真研究具有重要医学意义。以参数化人眼前节模型为基础,在后房高眼压的条件下,对眼前节进行有限元分析,得到相应的眼前节应力与位移分布。尝试以仿真方法对急性闭角型青光眼发病进程进行研究,力图获得定量分析结果。仿真结果表明,该有限元分析方法是可行且合理的。The researches on the field of modeling and simulation of acute angle- closure glaucoma(AACG) has great medicinal significance,as the subjectivity of the diagnosis and therapeutic tool for AACG,which is a serious disease.Finite element analysis was used to investigate anterior segment,which endures posterior chamber high intraocular pressure,as the basement of parameter anterior segment model.And the displacement and stress of anterior segment was obtained.In order to attain quantitative analysis of the results,computer simulation method was used to study the disease process.As the conclusion,it is shown that finite element analysis is feasible.国家自然科学基金(60601025)~