基于半张量积的逻辑综合研究进展

逻辑综合在现代电子设计自动化流程中扮演着至关重要的角色。随着计算能力的不断增强以及新的计算范式的涌现,各种高效的布尔可满足性(SAT)求解器和电路仿真器(Simulator)得以开发,并在逻辑综合的领域取得了显著的应用。该文首先对布尔可满足性问题和电路逻辑仿真器进行了简要介绍;其次回顾了矩阵半张量积的发展历程,并根据半张量积的基本原理深入阐述了其在推理引擎和逻辑综合方面的研究进展;最后,对未来可能对逻辑综合产生重大影响的新技术进行了展望。

平面转换到立体的著作权问题探析--由两起案例引发的思考

我国1991年的《著作权法》规定:"按照工程设计、产品设计图纸及其说明进行施工、生产工业品,不属于本法所称的复制。"2001年修正后的新《著作权法》则删除了此规定,从新法条文的表面文义看,复制是否扩展到"平面到立体"的转换,并不十分明确,因而引发较大的争议。上述问题可以从法律条文、海外经验、法理等方面进行论证分析,由此可以得出,对于"平面到立体"的转换是否属于著作权法意义上的复制问题,不能一概而论,要视具体的著作权客体而定,可把著作分为两大类:一为美术作品,如绘画、书法、照片等;二为图形作品,如电路图、产品设计图纸等科技或工程设计图。在进行立体转换时,前者可认定构成著作权法意义上的复制,而后者则不构成。

不同品种小麦成熟胚愈伤组织的诱导与分化

以4种不同基因型小麦(Triticum aestivum)品种成熟胚作为外植体进行培养,研究不同培养条件对愈伤组织诱导及植株分化再生的影响。结果显示不同小麦品种对培养条件的反应各不相同。各品种小麦成熟胚的最高愈伤诱导率所需的2,4-D浓度不同,石4185和科麦一号的最适浓度为2.0 mg/L;扬麦12和Bobwhite的最适浓度为4.0 mg/L。4种小麦品种成熟胚愈伤组织再分化的最适条件也有所差别,在MS培养基中添加2.0 mg/L KT和0.1 mg/L NAA利于石4185和Bobwhite成熟胚的愈伤组织分化;科麦一号成熟胚的分化最适条件为1.0 mg/L KT和0.5 mg/L NAA;扬麦12成熟胚的分化则采用1.0 mg/L KT和0.1 mg/L NAA效果最佳。此外,继代培养时间的延长会不同程度地影响小麦成熟胚愈伤的分化。

浅析外空安全面临的挑战——兼论中国参与外空安全机制构建的战略选择

进入21世纪以来,世界主要国家都把利用和控制太空作为本国政治和军事战略利益的重要组成部分,加大对外层空间(以下简称外空)技术的投入,积极参与外空竞争,使得外空安全变得日趋复杂。当前,外空安全主要面临有限的轨道资源、外空环境污染和武器化三方面的挑战。鉴于当前外空安全机制面临机制不健全、强制力不足、不能适应外空活动新发展等,中国应从积极推动建设"和谐外空"、推动进一步完善外空国际法的国际进程、坚决反对外空武器化、以合作推动外空安全机制的构建着手,与国际社会一道努力建设一个和平、发展、合作与法制的外空。

衡平原则在证明责任中的运作与意义

文章认为 ,衡平原则在法律适用中的作用已为越来越多的法官所认同 ,然而将衡平原则引入诉讼法、特别是证据法中 ,让法官在分配举证责任、取舍证据时也适用衡平原则 ,在国内法学界还是一个新课题。文章就衡平原则在证明责任中的运作与意义作浅显的分析 ,希望能对准备制订中的《民事证据法》有些微帮助 。

风冷式热电制冷实验装置研制

文章在热电制冷技术教学和应用实践的基础上,研制了风冷式热电制冷教学实验装置。实验装置由热电制冷器组件、电源模块、保温箱、测控系统等组成,可以满足热电制冷器的热工、电力参数测量和性能分析。实验结果表明,可通过调节热电制冷器的输入电压、改变热电制冷器的工作片数、调节冷却介质流量,达到调节热电制冷装置的工作参数和性能指标的目的。本装置的研制为热电制冷技术的教学实践、应用设计和开发创新提供了实验平台。

“从脾论治”法对冠心病稳定型心绞痛患者生存质量的影响

目的：探索＂从脾论治＂法治疗冠心病稳定型心绞痛患者的临床疗效和对冠心病心绞痛患者生存质量的影响。方法：选取2013年6月—2014年12月由国内6家中医院招募的240例冠心病稳定型心绞痛患者。随机分为对照组与＂益气健脾和血祛痰组＂和＂益气健脾祛痰化瘀组＂,每组各80例。对照组给予常规冠心病基础治疗,治疗组分别给予基础治疗联合益气健脾和血祛痰方或者益气健脾祛痰化瘀方。比较3组患者的心绞痛疗效和生活质量改善情况,并记录受试者不良反应发生情况。结果：益气健脾和血祛痰组心绞痛有效率为74.4%,益气健脾祛痰化瘀组心绞痛有效率为74.7%,高于对照组的56.9%,差异有统计学意义。心绞痛Ⅱ级患者和既往高血脂病史患者两个试验组的心绞痛有效率均高于对照组（P〈0.05）。两个试验组的西雅图心绞痛量表躯体受限维度改善情况均高于对照组;且心绞痛积分得分均低于对照组,差异具有统计学意义（P〈0.05）。两个试验组中医证候计分表总分、主证积分、次证积分与试验组比较无统计学差异。益气健脾和血祛痰组肢体沉重症状消失率显著高于对照组;益气健脾和血祛痰组对脘痞症状改善显著高于益气健脾祛痰化瘀组。受试者均未出现不良反应。结论：＂从脾论治＂法联合常规基础治疗对冠心病稳定型心绞痛的疗效显著,在有效改善心绞痛症状的同时能够提高患者的生存质量。

异步串行通信的研究与实现

为提高串行通信在实际应用中的抗干扰能力,设计实现一种异步串行通信方法.通信数据采用差分曼彻斯特编码,根据编码特点获取同步时钟来对传输数据进行解码和接收.本文基于FPGA实现了异步串行通信的发送模块、编码模块、解码模块和接收模块,并对该通信方法进行实际测试验证.测试结果表明,本文给出的异步串行通信方法稳定可行.

引路人 播种人 带头人 明白人——科技兴农 关键兴人

肥东县是一个拥有110万人口,以农业经济为支柱的农业大县。近年来,县委、县政府把实现从农业大县向农业强县跨越的着重点放在科技兴农上,把科技兴农的着力点放在狠抓人本上。通过转变干部职能、改进工作作风,强化干群科技意识,提高科技素质,营造了各级各部门齐抓共管、密切配合,广大干群主动参与的科技兴农新氛围。加快了农业科技的推广应用。

供电企业“党建+”融合管理的实践路径

本文通过建立供电企业“党建+”融合管理的实践路径,进一步创新党建引领衔接和服务方式,为公司发展提供坚强政治保障,推动各项工作向更高起点、更高层次、更高目标迈进。供电企业“党建+”融合管理实践路径创建供电企业“党建+”融合管理品牌实施“萤火七心”强化工程:“萤火强心”政治强化工程,着力强政治、稳定力,推进公司治理效能大提升;“萤火凝心”思想强化工程,着力强思想、聚合力,推动价值创造能力大提升;“萤火铸心”组织强化工程.

砂围堰的使用及有关技术问题

近年来，在珠江三角洲地区的水利工程建设中，采用砂围堰取得了大量的成功经验，也有一些失败的教训。本文介绍了砂围堰的使用情况，着重对砂围堰的边坡及地基处理等技术难点进行了分析探讨，总结出一套比较适合本地区实际的设计施工方法。

论立体转换的著作权问题——“平面到立体”为视角

我国1991年《著作权法》规定:'按照工程设计、产品设计图纸及其说明进行施工、生产工业品,不属于本法所称的复制。'2001修正后的新《著作权法》删除了此规定。从新法条文的表面文义看,复制是否扩展到'平面到立体'并不十分明确,因而引发了较大的争议。本文以两则案例为切入点,就上述问题从法律条文、海外经验、法理等方面进行论证分析,由此得出结论:对于'平面到立体'是否属于著作权法意义上的复制问题,不能一概而论,要视具体的著作权客体而定,可把此类著作分为两大类:一为美术作品,如绘画、书法、照片等;二为图形作品,如电路图、产品设计图纸等科技或工程设计图。在进行立体转换时,前者可认定构成著作权法意义上的复制,而后者则不构成。

标注含有知名企业字号的企业名称构成不正当竞争

原告：上海罗芙仙妮化妆品有限公司。被告：上海市工商行政管理局金山分局。第三人：欧莱雅（中国）有限公司。2007年10月19日，被告上海市工商行政管理局金山分局（以下简称工商金山分局）行政执法人员对存放在上海复杉生物制品有限公司（以下简称复杉公司）仓库内的化妆品进行了现场检查。经检查，

搅拌站生产现代化和环保工作

随着现代交通网络体系的建立,越来越多的道路桥梁项目开始实施,这些项目实施中对混凝土的需求量较大且质量要求较高。为保障搅拌站所生产的混凝土可满足道路桥梁施工要求,文章着重从道路桥梁建设中可使用的搅拌站出发,探讨了搅拌站生产现代化和环保工作的具体内容,通过这些研究了解到生产现代化和环保工作对于提高搅拌站工作水平的意义重大,在未来须加大在这些方面的投入。

國家銀行在信貸工作中究竟应該監督些什么?

在研究和改進信貸結算办法中許多繁雜机械做法的时候,我認为首先应該明确國家銀行的信貸監督究竟应該監督些什么?有沒有范圍? 从目前一般信貸監督的做法看,除了直接監督放款的用途外,还要監督企業完成國家批准的商品流轉計划,并且找出能不能完成計划的原因。因此,銀行不僅要監督信貸资金的运用。