基于时间Petri网的AADL模型

随着嵌入式系统设计日益复杂,对系统的描述也提出了越来越高的要求,特别是实时性能。因此如何描述实时性能逐渐受到重视。在嵌入式系统中,线程的时间属性影响着系统的实时性,因此在设计早期利用AADL描述线程,但是AADL只是一种半形式化的语言,不够精确,并可能产生二义性。因此,把AADL模型转化为时间Petri网,但是时间Petri网不能很好地表示AADL的时间属性。故在研究AADL模型的时间属性的基础上,针对时间Petri考虑区域值延时与固定延时,并把固定延时当作区域值时延的一种特殊情况。最后给出针对AADL模型转化为时间Petri网的相应规则。

基于U型直线电动机的应用研究

简单介绍了直线电动机的概念、发展以及按照结构形式、功能用途和工作原理的分类。重点介绍了一种U型无刷无齿槽效应永磁交流伺服直线电动机的结构、性能特点及其主要的应用行业。该U型直线电动机具有行程不受限制、结构简单、动态响应快、精度高、速度和加(减)速度大、使用寿命长、基本不需要维护、振动和噪声小等一系列优点,是各类超高速、超高精密加工行业中理想的传动方式。

藕鳖共作对水环境和藕鳖生长性能的影响

为研究藕鳖共作对藕田水环境以及鳖、藕生长性能的影响,2019年6—10月定期监测鳖单作、藕鳖共作和藕单作池塘的水体理化指标、浮游动植物种类和数量。结果表明,相对于鳖单作,藕鳖共作能显著降低水体中的氨氮和化学需氧量浓度。3种模式水体中的浮游动植物种类数和多样性指数无显著性差异。浮游动物优势种群均归属于原生动物、轮虫和桡足类;鳖单作和藕单作水体的浮游植物优势种群以绿藻和蓝藻为主,藕鳖共作模式优势种群归属于绿藻、硅藻、蓝藻和裸藻门。相较于鳖单作,藕鳖共作模式中,中华鳖成活率和特定生长率分别增加23.29%和1.59%,饲料转化率降低17.92%;相对于藕单作,藕鳖共作模式中,百粒莲子重和莲蓬数量分别提高9.76%和7.23%。

中华鳖胚胎的发育及稚鳖雌雄分化的观察

为了解中华鳖胚胎的发育及稚鳖雌雄分化的性状特征,通过监测胚胎重随着孵化时间、质量和稚鳖外形形态的变化,采用相关分析和通径分析法,分析了胚胎性状与质量的关系,建立回归方程。在胚胎生长发育过程中对稚鳖的背甲长、宽和头长等部位生长数据进行了测量统计,结果表明,背甲长、宽和头长与胚胎重呈显著正相关关系;从外观观察稚鳖性别差异明显,根据外观性状参数进行验证分析,正确率达89.5%。

海南海口市食安警示教育开到法庭上

记者从海口市食药监局获悉，2017年6月8日，海口市中级人民法院公开审理吴勇生产销售不符合安全标准食品案。为了加强食品安全法治宣传教育，对食品生产经营者敲响警钟，不踩法律底线，确保群众餐桌上的安全。海口市食药监局组织食品监管板块执法人员、辖区内食品生产加工小作坊负责人和新闻媒体记者约60人旁听该案庭审过程，“零距离”接受警示教育。

海口龙华食药监局开展2017年食品安全宣传周活动

为了加大普及食品安全知识，增强社会公众的食品安全意识，引导社会各界积极参与食品安全社会治理，7月13日，海口市龙华区食药监局在绿园路民俗风情街广场开展了2017年食品安全宣传周“尚德守法共治共享食品安全”食药监主题目宣传活动，海口市食药监局局长符勇、龙华区政府林山副区长、龙华区食药监局局长陈彪出席了此次活动，三百多名市民游客共同参与了宣传活动。

海南省食药监管天天都是3·15

“食药监管部门既是政府清除有毒有害食品药品的‘手术刀’，又是公众盯紧食品药品安全的‘眼睛’，揉不得一粒沙子。我们每时每刻瞪大‘眼睛’查问题，做‘手术’，天天都是3·15，一天也不能懈怠。”在3·15到来之际，记者专访了海南省食品药品监督管理局局长冯鸣，他介绍了三年来海南食药监管部门为保障公众食品药品安全所开展的工作和取得的成绩。

海口市龙华区食药监局查处两起销售过期食品案件

为进一步规范食品药品市场秩序，加强对食品药品的监督管理，保障广大群众的饮食用药安全，近日，海口市龙华区食药监局及各基层所纷纷开展食品安全风险隐患排查行动，主要查看经营者的主体资格，证照是否齐全，索证索票、进货查验记录制度，食品包装、标识、生产日期、保质期等情况，严防过期和“三无”食品流人市场。

海口食药监局圆满完成冬交会食品安全保障任务

12月12日至15日,2016年中国(海南)国际热带农产品冬季交易会(简称“冬交会”)在海南国际会展中心举行。为了切实做好冬交会食品安全保障工作,食药监系统省、市、区三级联动,责任明晰,严查严管,统筹部署协调。事前召开通气会,成立领导小组、流通监管组、餐饮监管组、快速检测组、咨询投诉组共七个小组,明确工作任务和目标,将各项具体工作落实到人。事中加强巡查。

海南公开食药行政处罚信息可“一网一键”查询

汪洋副总理多次指出,食品安全与人人有关,人人都可以成为监管力量,关键是要创造公众参与的渠道和平台,形成社会共治的合力;要运用好信息公开这个手段,信息公开,可以让消费者权益得到保护,让违法者受到震慑,还要努力为消费者、管理者提供信息查询等更多方面的服务。为落实汪洋副总理的指示,加大食品药品安全监管信息公开的力度,扩大食品、药品、化妆品、保健食品和医疗器械(以下简称“四品一械”)

三亚举行“2016年餐饮服务食品安全示范单位”授牌仪式

2016年12月29日上午,三亚食药监局在局机关三楼会议室举行了授牌仪式,对25家餐饮服务单位授予“2016年餐饮服务食品安全示范单位”牌匾。餐饮服务食品安全示范工程建设是一项长期的工作。评选“餐饮服务食品安全示范单位”旨在通过在全市创建一批信誉良好、安全程度高的餐饮服务食品安全单位,促进餐饮服务业健康有序发展,优化餐饮服务食品安全消费环境。评选活动以“公开、