Click Add assertion, and the new assertion appears in the list.
单击addAssertion,新断言将会出现在列表中。
Since P1 and P2 were already in Normal form, the combining process is simply a matter of taking an assertion from each alternative and forming new alternatives that contain all the assertions.
由于P1和P2已经是标准化格式,组合过程只是简单的从每个替代中取出断言,最后形成一个包含所有断言的新的替代。
The application asks for a message and an identity, then it gives back a new message containing a SAML Authentication Assertion.
应用程序要求消息和身份,然后其返回包含SAML验证断言的新消息。
On the target server, configure a new application login to handle the identity assertion.
在目标服务器中,配置一个新的应用程序登录以处理标识断言。
On the sending server, configure a new application login to handle the identity assertion.
在发送服务器中,配置一个新的应用程序登录以处理标识断言。
Invokes the SAML Provider application (via RMI-IIOP), providing both message and identity, for getting a new message containing a signed SAML Authentication assertion.
调用SAMLProvider应用程序(通过RMI - IIOP),提供消息和身份,以取得新的包含签名SAML验证断言的消息。
The next figure shows our new mediation policy with our newly added assertion. The panel also shows
下图显示了新的中介策略和新添加的断言。
Now add another assertion to the test case to test the new balance after somebody calls the deposit() method. The testDeposit() method should now look like Listing 3
现在向测试案例添加另一种断言,以在某些人调用 deposit()方法后测试新的余额。
Miss Rappaport said that proof of Pavlov's assertion are in a documented conversation, held at Columbia University New York, he had with a fellow doctor, Mikhail Zernov, in Paris in 1928.
拉巴波特说巴甫洛夫教授的证据是1928年,巴甫洛夫与一名医生米凯尔·泽诺乌在巴黎的讨论会上,这次讨论会有文献记载。文献保存在纽约哥伦比亚大学。
Without Jenabean, each property assertion requires you to access the property from the model, create a literal, and assert the new statement into the model by calling setPropertyValue(...).
没有使用 Jenabean,每个属性断言要求您从模型访问属性、创建一个字母并通过调用setPropertyValue(...) 将声明断言到模型。
Some observers made similar predictive assertion after observation: a rudiment of a new country came into being in Shanganning Border Area.
在观察之后,一些观察者作出了相似的预测性断言:一个新国家的雏形已在陕甘宁边区形成。
Ground information is believed to be correlated with presupposition, given information and relative clause while figure is believed to be correlated with assertion and new information.
人们通常认为背景信息和预设、已知信息、关系分句联系在一起,而图形则是和断言、新信息相关。
The new viewpoints that assertion statement and resolved signal in VHDL should be synthesized are advanced, and the methods to synthesis assertion statement and resolved signal are presented.
文中论述了混合级综合、综合中的功能单元库等问题;提出分辨信号、断言语句应该综合,并给出了综合分辨信号、断言语句的方法;还给出了高级综合中复位信号和时钟信号的处理方法。
The new viewpoints that assertion statement and resolved signal in VHDL should be synthesized are advanced, and the methods to synthesis assertion statement and resolved signal are presented.
文中论述了混合级综合、综合中的功能单元库等问题;提出分辨信号、断言语句应该综合,并给出了综合分辨信号、断言语句的方法;还给出了高级综合中复位信号和时钟信号的处理方法。
应用推荐