使形式化造句

• 使形式化    所以，存在的形式化，是能完成形式化的时间和空间的形式，形式化的终结最终将使形式化的科学认识的终结，时空所表明的形式性将进行时空方式的形而上学还原，以时空方式的对存在进行方式的把握，人类才能最终完成对存在的认识，并使人类作为存在的主体在时空方式的自为方式中，完成自为而自在的时空形式的转换。
• 使智使勇，使贪使愚    传》：“军法曰：‘使智使勇，使贪使愚，故智者乐立其功，勇者好行其志，贪者邀趋其利，愚者不计其死。 ?侯君集传》：“军法曰：‘使智使勇，使贪使愚，故智者乐立其功，勇者好行其志，贪者邀趋其利，愚者不计其死。 【出处】：《新唐书?侯君集传》：“军法曰：‘使智使勇，使贪使愚，故智者乐立其功，勇者好行...
• 现代化使现代化    科学技术的广泛应用和管理的现代化使现代化社会进入高效率的时代。
• 图形化表示形式    提供属性值的图形化表示形式。 想要提供控件的自定义图形化表示形式。 请确保您的图形化表示形式保持在 方法来显示您的属性值的图形化表示形式。 下面的图形化表示形式显示了签名过程中各个部分之间的相互关系。 Mybutton . paint事件时执行的方法，用于将附加的图形化表示形式添加到控件中。 继承的控件，则必须提供代码，使控件得以呈现它的图形化表示形式。 继承来创建用户控件...
• 多样化的就业形式    实行弹性大、灵活性强、多样化的就业形式。 当务之急是大力发展就业容量大的劳动密集型产业、服务业、中小企业，扩大社区服务就业门路，进一步完善就业服务体系，还可以实行弹性大、灵活性强、多样化的就业形式，发展劳动力市场。
• 形式化    状态图的形式化模型 一种面向对象环境的形式化模型 一种形式化分析安全协议的新模型 联合战役决心方案的形式化表示方法 对法律逻辑学形式化定位的否定性思考 中模糊区域拓扑关系形式化描述 每一步中模型都进一步精化，更加形式化。 学科馆员制度走向形式化的深层原因分析 网的形式化推理算法及其应用 智能交通信号灯形式化建模 本文利用形式化方法raise对分析模式进行形式化。 逻辑演算与...
• 形式化模型    建立了虚拟制造团队的形式化模型，并基于虚拟制造团队对系统组织结构进行了设计。 首先,在论文中用一阶逻辑语言建立可信平台模块api的形式化模型,然后对建立的形式化模型进行逻辑推理分析。 以mascl为基础，定义了多智能体的协作过程的协作承诺等相关概念，提出了协作承诺的形式化模型。 接着，作者着眼于在客户订单分析中， olap如何支持形式化模型以及怎样通过形式化模型获得有用信息...
• 形式化测试    Junit没有很多功能（它只是一些类） ，但它确实对形式化测试过程有帮助。
• 形式化的    学科馆员制度走向形式化的深层原因分析 一种形式化的工作流网模型 等价类划分是一个更加形式化的设计测试用例的方法。 在解析过程中，通过形式化的描述方式，很好的达到容错和纠错效果。 影响中小企业人力资源管理形式化的因素 相反，形式化的类型可以保证多种交付品中重复使用设计。 本文通过形式化的对循环系统定义、性质的研究，得出了一些结果。 论文中使用一种形式化的方法? ? wk逻辑对...
• 形式化验证    从而对高安全级别操作系统的形式化验证进行了一些有益的探索。 此外，在本文中，还提出了用于顺序图与状态图的一致性、顺序图消息的连通性的形式化验证的算法。 通过在电子交易系统的实际应用和bzl逻辑的形式化验证，证明了提出的数字现金协议是一个强壮的协议。 工作流管理系统中一个重要的课题就是要为待描述的过程定义提供一种通用过程描述、表现能力强和便于形式化验证的工作流过程模型。 为了...
• 形式化群定律    形式化群定律 陈类的形式化属性依然相同，但有一个关键的不同:计算线丛的张量积的第一陈类的规则不是各个因子的(普通)加法而是一个形式化群定律(formal group law)。
• 形式化方法    本文利用形式化方法raise对分析模式进行形式化。 在本文中，我们首先对形式化方法作了一个概要的介绍。 同时也阐述了形式化方法的原理及主要内容。 本文以软件复用和形式化方法为主要研究对象。 为了它到这个目的，必须使用具有严格数学基础的形式化方法。 对于复杂的并发系统的刻画和分析，形式化方法是一种常用和有效的方法。 有效解决“软件危机”的一种重要途径是使用形式化方法来开发软件...
• 非形式化康乐活动    非形式化康乐活动
• 使一般化    这些工作的绝大部分属于20世纪，它们使一般化和抽象化的思想在现代数学中得到了充分的反映。 等离子体焰炬比一般化学火焰具有更高的温度，能使一般化学火焰难以激发的元素原子化、激发，所以有利于难激发元素的测定。 莫瓦桑的另外一种比人造金刚石更有实际意义的贡献是设计制造电炉，使一般化学反应能够在2000℃下进行，从而开辟了高温化学这一新的领域，例如制备金属钛和使碳升华。
• 使一体化    由于该算法充分利用了ward等值对相邻区域的功率、电压和结构信息的全面反映,使一体化潮流计算具有更好的收敛性与收敛精度。
• 使最小化    “使最大化” ，其反义词是minimize , “使最小化 必要时，还可以打开“Options”菜单，选中“Hide Help in Region Capture”选项，隐藏指定区域抓图时屏幕上的帮助信息；选中“Display Tray Icon Only”，使最小化时只是一个图标。
• 使愚使过    出处：宋?范仲淹《让观察使第一表》：“前春延安之战，大挫国威，朝廷有使愚使过之议，遂及于臣。
• 使君子科植物使君子    为使君子科植物使君子的叶片，植物形态详使君子条。
• 使贪使愚    托之以阴阳术数，则使贪使愚，兹不可废也。 存之，则余党不复增矣；废之，则使贪使愚之术从何而施哉。 存之，则余诡不复增矣；废之，则使贪使愚之术，从何而施哉？ 传》：“军法曰：‘使智使勇，使贪使愚，故智者乐立其功，勇者好行其志，贪者邀趋其利，愚者不计其死。 ?侯君集传》：“军法曰：‘使智使勇，使贪使愚，故智者乐立其功，勇者好行其志，贪者邀趋其利，愚者...
• 使嘴使舌    出处：清?西周生《醒世姻缘传》第六十三回：“相於廷专好使嘴使舌的说我，不知几时着了我手，也是这般一顿，方才解我积恨。
• 使智使勇    传》：“军法曰：‘使智使勇，使贪使愚，故智者乐立其功，勇者好行其志，贪者邀趋其利，愚者不计其死。 ?侯君集传》：“军法曰：‘使智使勇，使贪使愚，故智者乐立其功，勇者好行其志，贪者邀趋其利，愚者不计其死。 【出处】：《新唐书?侯君集传》：“军法曰：‘使智使勇，使贪使愚，故智者乐立其功，勇者好行其志，贪者邀趋其利，愚者不计其死。
• 使使眼色    也许是在公开场合，而且“上边”又没有明确说法的缘故吧，得到的回答是餐厅经理和服务员互相使使眼色，双双摆出了“无可奉告”的笑脸。
• 使功不如使过    公愍之曰：“使功不如使过。 联闻,使功不如使过。 高兴地对公卿说：“朕闻使功不如使过，李靖果展其效。 李渊大喜，对众公卿说：“使功不如使过，这一次做对了。 武臣以罪黜者，宜加容贷，不以一眚遂废，苟用之有恩，必得其死力，故曰使功不如使过也。 是“使功不如使过”的典型，曾试图揭发李渊谋反，因此几乎被李渊处死，幸而为李世民所救。 第二天早朝皇上提出重新启用和?之事有大臣支持并曰“...
• 有牛使牛，无牛使犊    王安友《协作》六：“俗话说：‘有牛使牛，无牛使犊。 yǒu niúshǐniú，wúniúshǐdúㄧㄡˇㄋㄧㄨ?ㄕㄧˇㄋㄧㄨ?，ㄨ?ㄋㄧㄨ?ㄕㄧˇㄉㄨ?有牛使牛，无牛使犊（有牛使牛，无牛使犊）比喻当达不到原有条件时，则降格以求。
• 都转盐运使司盐运使    明清相沿，其全称为“都转盐运使司盐运使”，简称“运司”。 元在产盐各省区设都转盐运使司盐运使，简称运司，又称转盐运使，专司盐运。