构件化嵌入式软件设计的能耗性质分析与验证

从嵌入式软件设计模型层对构件化实时嵌入式软件系统中能耗相关性质进行研究,包括:扩展了实时接口自动机在能耗语义方面的描述能力,通过引入状态能量消耗率,建立了能耗接口自动机形式化模型以及自动机网络,用以建模嵌入式软件设计阶段系统构件及其构件组合的能耗行为特征;对能耗接口自动机网络的状态空间进行了形式化分析,构造了相应的可兼容整型空间的可达图,并在此基础上给出了最小能耗计算和最大能耗验证的算法.     

封面图片说明：积极应对老龄化，促进宜居城市建设

 从“老龄友好”到“积极老龄”,意味着老年人不仅能够便捷享受各种社会资源,更是能够主动参与到社会发展之中,实现“老有所为”。在多学科协同建设老年友好型社会过程中,需要从“需求为基础”转向“权利为基础”,在社会各方面为老年人提供健康、保障和参与的最大机会。     

嵌入式实时软件建模方法研究

随着硬件设备计算能力的迅速提高以及社会需求的不断变化和增长,嵌入式实时软件变得越来越复杂.为了提高系统的安全性和可靠性,将基于UML的建模方法与形式化建模方法相结合,可以为嵌入式实时软件建模和验证提供一种良好的解决方案.采用UML扩展机制,在UML2.0顺序图中加入嵌入式实时软件建模所需的时间特性,并提出一种由UML2.0顺序图构造出时间自动机的方法,为下一步验证奠定理论基础.     

封面图片说明：“科创中国”技术服务与交易平台

 “科创中国”技术服务与交易平台是以“互联网+技术交易”模式构建的数宁化服务平台。通过建设动态运营的“问题库”“项目库”“开源库”,面向“政产学研服用金”创新主体,开展技术创新全链条专业化服务,把技术供给与技术需求的对接在“手牵手”基础上再增加“线联线”,以技术服务与技术交易推动国内外科技成果精准落地。     

嵌入式软件组件的实时性研究

设计了一种新的基于嵌入式系统软件特点和应用需求的嵌入式软件组件模型SECOM。同时,利用时间Petri网TPN建立了一个TPN计时器timer,对该组件模型SECOM非功能性约束中的实时性进行了建模与分析,结果满足嵌入式软件组件的实时性要求。     

基于扩展I~*框架的嵌入式系统需求建模方法

系统功能需求可通过用例建模技术进行有效建模,针对非功能需求缺乏有效建模方法和标准的问题,提出结合使用I*建模技术记录和建模非功能需求的方法,完成对嵌入式系统需求的完整描述。通过扩展I*目标模型和UML模型之间传统的映射规则,在扩展的UML顺序图中实现对非功能属性"实时性"的描述。采用ATM实例,对上述建模方法进行分析并验证可行性。通过上述研究,最终完成了对嵌入式系统需求的完整描述,并结合UML顺序图的扩展实现对"实时性"的描述。     

中国PX项目为何风波不断

 2014年3月30日,广东省茂名市区群众在市政府门前大草坪聚集,表达对该市拟建芳烃（PX）项目的不满和抗议。3月31日凌晨,茂名市政府发布“告全体市民书”,呼吁公众通过和平、合法方式表达意见。与此同时,一场“PX词条争夺战”正在上演--由于PX在百度百科上的词条释义由“低毒化合物”被人修改为“剧毒化合物”,清华大学化工系学生将其修改回“低毒”后,近10人昼夜维护词条内容长达120小时。此后多天,国内主流媒体将目光聚焦于此。PX项目引发公众、媒体及科学界广泛热议。     

博士生的成功之道(33)——当付出了努力也没有收获成功时,该赖谁

 本来想写“ 博士生缺乏创新该赖谁？”,因为觉得有些博士生在担忧自己能否通过答辩时,“杠杆”通常是“创新”,导师总是拿“创新”要求博士生和他的博士论文,博士生总是千方百计给自己的论文穿上“创新”这件外衣,有时候,你会发现这中间有些博士生其实还不明白什么叫“创新”。     

人类基因编辑“底线”公布基因治疗或有“法”可依

 2017年2月15日,人类基因编辑研究委员会发布报告,划定了人类基因编辑技术“底线”。报告中指出,人类基因编辑技术的使用必须按“规矩行事”,不能“为所欲为”,相应的原则和标准必须严格遵守。     

中华人民共和国成立以来重大科技发展战略的演进与启示

 中华人民共和国成立70余年来,党中央根据国际政治形势、国内经济社会发展需要、世界科技革命变革趋势,先后提出“向科学进军”“科学技术是第一生产力”“科教兴国”“创新驱动发展”等一系列重大科技发展战略,确立了中国科学技术进步的道路,引领中国科技事业取得了令人鼓舞的巨大成就。战略方针从“跟踪模仿”走向“自主创新”,战略重点从“推进国防和重工业发展”走向“推进社会全面协调可持续发展”,战略攻关力量从“研发机构”走向“研发机构、高等院校、企业”协同创新,战略体系从“单一拳”走向“组合拳”。面向未来,要抓住历史机遇,继续坚持“四个面向”,着力加快关键核心技术攻关,建立高精尖科技创新人才队伍,完善新时代创新生态体系,不断深化科技体制机制改革,努力成为世界主要科学中心和创新高地。     

非线性发展方程中“秩”与解的关系

引入“秩”的概念，证明了“秩”同类的非线性发展方程具备Jacobi椭圆函数展开形成的解，而“秩”异类的非线性发展方程不具备此类型的解，但不论“秩”同类还是异类的非线性发展方程都可能具有双曲正切函数及多种形式的双函数展开形式的解，并以“秩”异类的弹性介质中非线性波方程为例对该结论加以证明.     

科学发展观视野中的地方院校招生工作探究

地方院校必须结合自己的目标人才市场,适当超前定位,树立“以就业促进招生”的理念,科学制定招生计划;树立“以特色吸引生源”的理念,强化办学特色;树立“以质量稳定生源”的理念,促进招生、培养、就业的良性循环,开创“出口畅、进口旺”的可持续发展局面.     

软d-代数中几类算子的性质

将软集的思想应用到d-代数上,研究软d-代数中的限制交、限制并、扩张交、扩张并、"AND"以及子集算子等重要运算,并讨论可理想化软d-代数,得到一些重要性质.证明了:软d-代数(F,A)在其子集B上的限制(FB,B)仍是X上的软d-代数;两个软d-代数(F,A)和(G,B)的限制交(F,A)∩R(G,B)和扩张并(F,A)(G,B)仍是X上的软d-代数;两个软d-代数(F,A)和(G,A)的"AND"交(F,A)∧(G,A)也是X上的一个软d-代数;软d-代数(F,A)的同态像(f(F),A)也是X上的一个软d-代数;两个d-理想化(或d#-理想化,或d*-理想化)软d-代数(F,A)和(G,B)的扩张交(F,A)∩E(G,B)是X上的d-理想化(或d#-理想化,或d*-理想化)软d-代数.     

逻辑系统G3中命题的D-条件真度与近似推理

基于条件概率的思想,利用赋值集的随机化方法,在三值Gdel命题逻辑系统中引入公式的D-条件真度,证明了D-条件真度的MP规则和HS规则。引入公式间的D-条件相似度和D-条件伪距离,建立了D-条件逻辑度量空间,推导出D-条件伪距离的若干性质,证明了D-逻辑度量空间中二元运算“∨”,“∧”,“→”关于D-条件伪距离的连续性。在D-条件逻辑度量空间中提出了三种不同类型的近似推理模式并研究了它们之间的关系。     

反轻子-夸克共振态的物理机制

最近HERA发现〖AKl-〗-q共振态可能是e+-d共振，该事例非标准模型(SM)所预期，与亚夸克层次有关.用价-海亚夸克混合模型和Preon模型给出的“编外”粒子研究〖AKl-〗-q共振态的物理机制，结果发现：产生〖AKl-〗-q共振的物理基础是由于“编外”玻色子中存在具有B+2/3物质性质的“反轻子型夸克”，在反轻子和夸克之间传递相互作用的是具有ε物质性质的“编外”玻色子，在ε物质的相互交换下〖AKe-〗-d共振与〖AKν-〗e-u共振可以相互转变，并与早前的中微子统一模型、新名古屋模型相符.反轻子-夸克共振；ε物质；B物质；亚夸克模型；Preon模型     

贵州2次MCC暴雨诊断和触发机制对比分析

用FY2-D卫星红外云图云顶亮温(TBB)、常规观测资料和NCEP1°×1°格点再分析资料对2008年5月29—30日(“0529”)与2010年6月16—17日(“0616”)贵州2次MCC暴雨天气过程进行诊断分析和触发机制讨论.结果显示:2次MCC发展的历程不同,“0529”MCC最初由多个较小的对流系统合并发展形成中β尺度对流系统,“0616”MCC却由单个对流系统迅速发展形成.2次MCC过程大气低层的影响天气系统明显不同,“0529”MCC天气过程中冷空气占据主导地位,“0616”MCC天气过程中,西南低空急流起到了关键性的作用.诊断分析发现:“0529”MCC,大气低层的动力条件和水汽辐合剧烈,因此对流和短时强降水更强.“0616”MCC,动力条件和水汽辐合垂直方向伸展的高度高,水汽的输送持续,形成了较广范围的暴雨天气.利用锋生函数针对2次MCC过程触发机制的讨论显示:“0529”MCC,受冷锋影响,加大了经向风的东西向切变,Af伸长变形明显;同时形成θse密集区,有利的热力锋生条件,使得锋生加强.“0616”MCC,低空急流的建立和加强,形成有利的动力锋生条件,使得伸长变形Af和切变变形Bf均对锋生作出明显贡献.     

城市黑臭河道富营养化次生灾害形成机制及其控制对策思考

对城市河道黑臭污染的形成及其治理、富营养化次生灾害表现形式、形成机制以及预防和控制对策等方面进行了总结和研究.结果表明,随着城市黑臭河道相应污染治理工程、措施的实施,河道水体污染负荷得到了大大消减、水质得到了一定的改善、黑臭也逐步好转,但营养盐仍处于相对较高的水平,且可被植物直接利用吸收的营养盐储备充足,同时,黑臭污染的治理使得受损的河道生态系统得到了一定的恢复和重建,当外界环境条件适宜时,极易引起水华暴发、浮萍泛滥、水葫芦"疯"长、水生植物生物量激增等富营养化次生灾害.对于城市黑臭河道治理后富营养化次生灾害的预防和控制必须以城市黑臭河道污染治理为基础,将其纳入到河道污染整治整体规划中.综合运用上/下行效应理论,应从外源控制、内源治理和修复、整体生态系统恢复等角度进行系统预防和控制.同时也应厘清思路,认识到城市黑臭河道富营养化及其次生灾害的形成是城市黑臭河道污染治理过程中的必经阶段,城市河道水环境治理应从当前的"黑臭等重污染治理"向"氮磷营养盐控制"转变.     

开放式创新实践对“揭榜挂帅”制度的启示

 “揭榜挂帅”是采取开放式竞争的方式,在关键的攻关项目中选出最合适负责人的策略。分析了国内外企业、机构、项目和平台的开放式创新实践,凝练了其中的选题、用人和评价机制,以揭示开放式创新对“揭榜挂帅”制度的完善;总结了成功的“揭榜挂帅”机制所需的开放要件,提出了针对性的建议。     

Correction

Correction for "Physical and numerical modeling of biomimetic approaches of natural hydrophobic surfaces", by     

水提三七达玛烷20(S)-原人参二醇型皂苷诱导A549细胞凋亡机制的研究

 三七总甙对多种肿瘤细胞的生长均有抑制作用,但从三七茎叶、花梗、果梗提取到的达玛烷20(S)-原人参二醇型皂苷（20(S)-PPDS）对肺癌A549细胞的作用及机理尚不清楚.本研究采用噻唑蓝（MTT）, Hoechst33258 染色,免疫组化以及Western blot法研究20(S)-PPDS对肺癌A549细胞的作用.结果显示20(S)-PPDS对A549细胞的具有抑制作用,125,250,500μg·mL^-1的20(S)-PPDS与A549细胞作用72h后,细胞抑制率依次为28.67%,41.97%,73.02%;20(S)-PPDS对A549细胞作用24,72h的IC50分别为398.94,315.96μg·mL^-1;20(S)-PPDS通过活化Caspase-3, 上调Bax蛋白表达,下调Pro-Caspase-3、Bcl-2蛋白表达诱导A549细胞凋亡.这些研究结果表明20(S)-PPDS对A549细胞具有抑制细胞增殖和诱导细胞凋亡的作用.