简介：为了减少复杂设计中可能的亚稳态风险，不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理，却无法检查处理得是否合理，而静态Formal验证技术采用数学穷举的方法，利用断言对设计中的同步器进行快速验证，确保数据的可靠传输，有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查，并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性，可极大地提高复杂设计的验证效率和鲁棒性。

简介：摘要城市边界往往是权力的真空区域，在政治层面上是处于非常敏感的部分。特别最近几年产业结构的转型升级，相邻城市通过跨域协调机制促使各种资源合理应用，提升城市整体水平。本文主要关于跨域冲突与协调问题从城乡规划角度提出解决跨域协调的措施。

简介：民航对雷达数据和话音的记录和同步回放的要求越来越高，需要有一套精确的时钟系统，供各地的话音、雷达数据设备以及记录设备使用，才能保证数据的同步性。同时各类空管、通信导航和气象设备也需要使用统一的时钟系统，避免由于时钟不一致而引起的错误。

简介：跨域法政同仁聚焦公共话题,本辑围绕法治所涉法律、道德与社会诸议题,不同学者基于立场及视角,做出不同评议,借此展开讨论。本辑所录对话,虽属只言片语,不乏重要议题,有待深入讨论。为尊重言论,兹实录对话,仅做最低限度的技术处理。

简介：域自适应算法是一种能有效解决训练集（源域）和测试集（目标域）样本分布不一样但是具有相关性的方法.文章提出一个跨领域分布适配超限学习机（DDM-ELM）用于解决域自适应问题.DDM-ELM旨在基于超限学习机的框架下,充分利用丰富的有标签源域样本和无标签目标域样本,得出一个精确的目标域分类器.具体来说,DDM-ELM同时满足以下目标：1）最小化源域样本的分类误差;2）通过最小化投影最大化均值偏差来有效减小源域和目标域的分布差距;3）利用目标域样本的流形正则化来探索目标域样本的几何机构特性.这使得DDM-ELM能在同时继承超限学习机优点的前提下更加适合于目标域样本.经过大量的实验结果证明,相比于几种先进的域自适应方法,DDM-ELM在分类准确率和效率上均有所提高.

简介：【导读】一个心地善良的盲人医生会走进别人家里，而且将对方一枪毙命？妻子不信，警方也难以置信。为了证明自己精神正常，医生要求警方安排一场测试。在试验靶场，妻子应声倒下……留下了一段可歌可泣的爱情佳话。

简介：一个心地善良的盲人医生会走进别人家里，而且将对方一枪毙命？妻子不信，警方也难以置信。为了证明自己精神正常，医生要求警方安排一场测试。在试验靶场，妻子应声倒下……留下了一段可歌可泣的爱情佳话。

简介：“该穿衣服啦！”“该上学啦！”“该吃晚饭啦！”“该上床睡觉啦！”时间老人真是个特别爱管闲事的主，对此我们真的无计可施。我们大多数人用很长一段时间和生命试图去击败的正是这个时间！

简介：摘要电能表时钟异常的原因很多，采集终端本身时钟超差在对时过程中引起的电能表时钟异常只是其中的一种。但是通过对终端对时参数F33利用以及本文中所阐述的解决方案，既可以避免采集终端自动对时引起的时钟异常问题，也可以更好的利用采集终端自动对时的功能及时准确的电表进行对时，减少电能表时钟异常引起的电费差错以及电能表时钟异常造成的人力和物力损失。

简介：4月23日．一本历经两年酝酿、编撰，动员重庆市民参与，记录城市变迁与百姓生活的城市记忆之书——《故城时光》首发。该书通过网络“众创内容”的方式，获得近300张珍贵老照片和20多万文字，共124个故事。

简介：虽然重回F1赛场的本田并没有达到应有的成绩,但这丝毫不影响＂本田技研社＂研发＂黑科技＂的能力,新一代思域TYPER更是将＂本田大法好＂的理念推向了极致。新车的设计综合了现款思域TYPER与第十代思域两厢版的特点进行研发,前进气格栅上招牌式的红底本田车标＋TYPER的标识自然是＂本田粉＂心目中的图腾,而普通版思域上备受好评的全LED大灯也得以延续。

简介：研学旅行自从去年11个部门联合下发《关于推动中小学生研学旅行的意见》文件后成为热词,文件要求学校将研学旅行列入正常教学之中,中国孩子终于也有机会进入社会大课堂,实践长真知.和许多中小学校长聊及此事,一方面校长们很兴奋,认为研学旅行能让孩子们在真实的社会情景中进行有深度、有广度、有关联性地深度学习,是对当前校内知识学习很好的延展,能有效地转变学生的学习方式,是培育学生社会实践能力的重要举措;但另一方面也认为在当下实施研学旅行的可能性不大,因研学旅行走出校园之后面临非常复杂的社会问题,比如研学旅行的经费从哪里来?研学旅行进程中的安全如何保障?研学旅行需要进入社会实践场所学习,社会环境是否支持孩子的研学旅行?而社会机构以及旅行社虽积极参与此事,校长们表示其组织的研学充其量只能是以营利为目的商业旅游,'学'的味道淡,有悖于研学旅行的初衷,而学校很难独自承担这样的责任,所以感觉条件还不成熟,操作起来困难.

简介：摘要智能表是现代智能技术发展的结果，作为智能电网的重要组成部分，发挥着对整个电力系统电量计量的作用，是电力企业抄核收工作的重要依据，智能表的计量精准度会直接影响抄核收工作，其中时钟偏差属于较为严重的故障问题，会带来极大的负面影响。明确时钟偏差产生的原因以及影响因素是十分必要的。因此，本文分析了智能表检定过程中时钟偏差的原因、影响因素及优化方案。

简介：摘要本论文以单片机作为核心控制部件，主要利用红外传感器来感知和识别手势变化，单片机再根据手势变化转换的电压信号来实现点阵时钟的设置。同时点阵时钟也具有闹钟、锁屏、睡眠、动态显示等功能。本设计系统在很大程度上提高了人机交互的友好程度，因此具有很大市场前景。

简介：摘要我国电力科技伴随着科技发展而有了很大的进步，变电站在电力系统中有着重要的地位，变电站的运行状况与电力系统有着紧密的联系，所以，完善变电站方面的管理极为重要。近些年来，变电站在自动化领域越来越先进，在变电站自动化的进程中对各方面在时间上的要求也越加精准，时钟同步技术对时间上的精准程度能够满足这一要求，所以，时钟同步技术引用进变电站自动化中有着至关重要的作用。

简介：本文从塔尔图一莫斯科学派的两大符号学传统理论“环境界”和“符号域”入手，探讨了环境界和符号域的内涵、文化渊源、生态学转向以及新塔尔图学派对两大概念的融合与推进，以助力符号疆域今后的版图扩张。

简介：波场重构反演是一种改进的全波形反演理论。该反演方法通过将波动方程引入目标函数中拓宽了解的寻找空间，通过重构真实波场来计算模型梯度，大大提高了计算效率的同时还减弱了局部极小值的影响。但目前该理论基本在频率域进行，而频率域反演对计算内存的需求太高，并且很难应用到实际生产中。因此，本文将波场重构反演拓展到时间域，推导了时间域波场重构的增广方程，结合模型试算结果对波场重构的模型梯度进行了修改。数值实验表明，时间域波场重构反演准确性较高并且对低频信息具有良好的重建能力。

简介：1.胞吞与胞吐作用真核细胞通过胞吞作用和胞吐作用完成大分子与颗粒性物质的跨膜运输,如蛋白质、多核苷酸、多糖等。在转运过程中,物质包裹在脂双层膜围绕的囊泡中,因此又称为膜泡运输。这种形式的运输过程涉及膜的融合与断裂,因此也需要消耗能量,属于主动运输,也叫批量运输。根据形成的胞吞泡的大小和胞吞物质,胞吞作用可分为两种类型:胞吞物若为溶液,形成的囊泡较小,则称为胞饮作用;若胞吞物质为大的颗粒性物质(如微生物和细胞碎片),形成的囊

简介：一个印度的教授做过“墙洞实验”，他把电脑安在偏僻的、少数民族乡村，之后就走了。过了三个月他再回来，发现当地小孩不仅学会了英文，甚至连生物、遗传学这些知识都掌握了。这个实验他反复在南非、柬埔寨等很多地方去做，得到了类似的结果。

简介：摘要近年来随着我国高速铁路迅速发展，跨越铁路、公路的桥梁也越来越多，多数受施工场地、施工时间和空间及施工工艺的影响，增加了施工难度。通过设计简易托架，转体桥梁在既有铁路上方顺利合龙，解决了类似工程在多种影响因素下难以施工的难题。