共查询到20条相似文献,搜索用时 764 毫秒
1.
真性模态命题逻辑(MCP)为量子信息理论尝试严格模型,但其自身在句法、语义和形上学方面都有严重困难。依据隐变量最低限度指引定义,给出MCP与经典命题逻辑(CP)的四个等价性,得出MCP是包含严格句法隐变量的CP,模态公式是对CP公式的分类簇,可能世界是作为赋值背景的CP公式,量子信息可建立更简洁统一基础。 相似文献
2.
当2010年第一场大雪笼罩东欧大地之际,有一批涂着沙漠迷彩的大型战车,正被悄然送上从美国租借的C-17大型运输机,飞往中亚。 相似文献
3.
有没有“其它情况均同”定律? 总被引:1,自引:0,他引:1
本文论证指出:(1)CP可能包括无限多的条件,因此即使是用科学语言,仍然是不可消去的;(2)我们可以检验CP定律的逆否命题,从而检验CP定律本身;(3)Earman把CP陈述看成展开式微分方程而非定律,与他的MRL定律观不一致,展开式微分方程也应是定律。笔者还提出思想实验表明,Earman对真值条件和应用有效性条件的区分,及其依附性论旨,可能得出自相矛盾的结论。 相似文献
4.
新型防护服新型防护服的使用寿命为45天,受生化污染后,能每天24小时提供防护,直到第45天使用期限。比原来的防护服约轻0.45千克,包装时体积小了60%。它的衬里外层为非纺织叠层,内层覆有活性碳粒,可吸收化学毒剂。由于活性碳粒粘在衬里内层上,穿着时不会磨掉。新型防护服共有七个号型,颜色有丛林迷彩和沙漠迷彩两种,上衣和裤子可以分开发放,士兵可以领一个号型的裤子和另一个号型的上衣,这样搭配使服装的适体性 相似文献
5.
6.
7.
8.
弗雷迪·斯托尔马克是Weatherproof制衣公司的总裁,他是一位非常有胆识而且善于捕捉机会的商人,在2010年的一开始,他做了一件令别人想也不敢想的事情,不仅使自己扬名全球。更使自己的公司品牌取得了前所未有的商业效应! 相似文献
9.
10.
11.
12.
13.
14.
公司制度的确立极大地激发了社会的投资热情,加速了社会资本的集中。然而,公司的“死亡”也对社会产生重大影响,若无法定事由或不经清算而擅自退出市场,则可能严重危及交易安全和社会利益。本文通过分析我国公司解散制度漏洞,并在参考国外立法制度的基础上,提出了完善清算主体制度、明确清算期限、落实清算责任以及借鉴休眠公司制度和解散继续制度等对策。 相似文献
15.
《中国科技成果》2007,(5):51-51
天津力神电池股份有限公司(以下简称“力神公司”)是一家拥有自主知识产权及核心技术,专业从事绿色高能锂离子电池的技术研发,生产和经营的高新技术企业。公司成立于1997年12月25日,是由天津市津能投资公司、国投高科技投资公司、中国电子科技集团公司电子第十八研究所等7家股东组成的国有股份制企业。公司注册资本6亿元,总资产20亿元,是目前投资规模较大、自动化程度较高的中国锂电企业;经过多年发展建设,力神公司锂离子电池年生产能力已达到2亿只,产品包括圆型、方型、聚合物和塑料软包装、动力电池四大系列100多个型号,是国内外手机厂家的合格供应商。2006年11月,国家统计部门将其评定为2005年全国电池制造业“自主创新能力行业十强”。 相似文献
16.
北京中丽制机化纤工程技术有限公司(以下简称中丽制机公司)是中国纺织科学研究院控股的化纤机械工程公司,具有国家建设部颁发的甲级工程设计资质和30多年生产制造化纤成套设备的经验,通过自主开发并与国际知名化纤工程公司的成功合作,现已迅速成为实力雄厚,装备精良,工程承包水平领先的国际化纤机械工程公司。 相似文献
17.
18.
20.
你见过飞机、坦克造型的PC吗?放在角落里的一盆花竟是一台PC。表面是一个人体模型,没想到内心竟然有我们常见的CPU、硬盘和主板。种种的奇形怪状都会在PC身上出现,请看怪异造型TOP10。1.人体模特一个真人大小的人造模型:窈窕女警,身穿迷彩,手持枪械。不要吓倒你,其实她不过是一台电脑。这是日本秋叶原电气街的一家计算机产品商店为客户特制的一款电脑。主板在人体模型腹部,硬盘在胸部,光驱在大腿一侧,电源被固定在模特屁股里,风扇口朝下……不知道把这个电脑摆在家里打CS将会是什么感觉?“人体模特”电脑凭借诡异的创意而排名第一。2.… 相似文献